R ENDICONTI
del
S EMINARIO M ATEMATICO
della
U NIVERSITÀ DI P ADOVA
L EONARD R OTH
On irregular varieties which contain cyclic involutions
Rendiconti del Seminario Matematico della Università di Padova, tome 30 (1960), p. 149-160
<http://www.numdam.org/item?id=RSMUP_1960__30__149_0>
© Rendiconti del Seminario Matematico della Università di Padova, 1960, tous droits réservés.
L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
CONTAIN CYCLIC INVOLUTIONS
Nota
(*)
di LEONARD ROTH(a Londra)
1.
Introduction. -
Thepresent
notegeneralises
some fami-liar results of De Franchis and Comessatti
concerning
irre-gular multiple planes.
In the firstplace,
a classical theorem of De Franchis[4, 5]
statesthat,
on any doubleplane
of irre-gularity
q >0,
the branch curve isreducible, consisting
of anumber of curves
belonging
to apencil;
it follows from this that any surfaceV 2
which is asimple
model of the doubleplane
must contain apencil,
of genus q, of curves.The theorem in
question
is establishedby computing
thesimple integrals
of the first kind attached toV2. Actually,
yit is the second of the above results which is
significant,
forit means that
V2
cannot possess a proper modelV 2 *
on itsPicard-Severi
variety (see [9]).
Thus we may conclude that the existence onZ’2
of a rational involution12
of order 2implies
the non-existence ofV 2
andhence, by
a theorem of Severi[10],
y thatV 2
contains apencil
of genus q. From this the resultconcerning
the branch curve can be deduced.Now it appears that the De Franchis theorem is
merely
a
special
case of aproposition
aboutsuperficially irregular algebraic
varietiesV,.
of any dimensionr > 2
which carry su-perficially regular
involutionsDenoting by
thenumber of
linearly independent
differential forms of the first kind and ofdegree k( = 1, 2, ... , r)
attached to theimage varietv
of we show that:----
’
(*) Pervenuta in Redazione il 26 marzo 1960.
Indirizzo dell’A. : Imperial College of Science, London SW 7 (In- ghilterra).
If a variety of superficial irregularity
q > 0 car-ries an involution
1 2
such that thenVT
must eantain a congruence
of (of
sontethe congruence
having superficial irregularity
q.Moreover,
wereadily
see that the coincidence locusof 12 always belongs
to the congruence inquestion.
We show further that this result is itself a
special
caseof the
following
theorem:If a variety of superficial irregularity
q > 0 car-ries an involution
I2
such thatgl (I2) 0,
1vhilefor
an y even valueof k ( r), (q),
k then must contain anirregu-
lar congruence
(of superficial irreg-ularity q).
The limitation
q > r
isrequired
for the method ofproof;
the restriction
is, how ever, inessential,
sincewhenever q r, Vr
must contain some congruence ofsuperficial irregularity
q
([10]).
We then indicate how the same methods can be
applied
to the case where
Vr
carries asuperficially regular cyclic
in-volution
1m
of any orderm~3. Here, however,
the results areless
precise,
since - in constrast with the case m 2there are now various
types
of associated involution of orderm on the Picardian
Vq
ofMoreover,
unlike the case m= 2,
we have now
always
to deal withsingular
transformations ofVq ,
y and thesenecessarily give
rise toproblems
of existence.Examples
ofirregular cyclic planes quoted by
Comessatti[2]
demonstrate that
general
resultsanalogous
to those obtained in the case m 2 cannot be established.Finally
we remark that theprevious
considerations may be extended to the case where the involution1m
is noncyclic, provided
that the associated involution onVQ
isgenerable by
a
(finite)
group ofautomorphisms
ofV ;
the results then ob- tained areexactly
similar to those mentioned above.2.
Generalities. -
Consider anon-singular algebraic
va-riety Vr(rj2) having superficial irregularity q > r ;
in all that follows the case q r can be set aside since we know thatVr
will then contain a congruence ofsuperficial irregu-
larity
q([10]). Assuming
thatVr
does not contain such a congruence we may obtain forVr
a model(simple
ormultiple)
of dimension r on the second Picardian or Picard-Severi va-
riety VQ
constructed with theperiod
matrix associated with thelinearly independent simple integrals u,(I=1, 2, ... , q)
of the first kind attached to
Vr (see [1, 9, 13]). Denoting by
x a
point
current onV,. ,
we write andtake ui
for coordinates on
Vq ;
then the locus of thecorresponding point (u)
onVq
is an irreduciblealgebraic variety V r *.
Thiswill be a
simple
model ofVT
if andonly
if the congruenceswhere s,
y arepoints
ofV,. ,
ingeneral
admit asingle
solu-tion. If instead for
arbitrary
theequations (1)
admitv ( > 1) solutions,
it follows that is av-ple
model of to apoint
ofVr*
there thencorresponds
a set of v distinctpoints
on
Vr , belonging
to thef undamental
involutionsIv .
In eithercase we shall assume that
V,.#
isnon-singular;
such ahypo-
thesis may
possibly
be restrictive.We observe that a necessary and
suf ficient
condition for the existence ofVr~
onVQ
is thatVr
should not contain any congruenceof superficial irregularity
q( [10] ).
Suppose
now thatVr
carries an involution I of order2;
this
generates
anautomorphism
betweenpoints P,
P’ ofVr ,
under which all the
integrals ui
must be invariant. Hence wehave a transformation from to
u;’ (P’ )
of the formwhere
Àti,
tJ.i are constants.Evidently
the transformation(2), applied
toV T *,
is subor-dinate to a transformation of the entire
variety VQ
whichgenerates
an involutionJ,
likewise of order2,
onV q
* fromthe
theory
of Picard varieties it is known([7])
that J can berepresented by
the canonical formwhere
the ai
are constants(possibly zero)
and where p is thesuperficial irregularity
of J. We note that ifVQ
hasgeneral moduli,
there arejust
twopossibilities: either p = 0
or p=q.In all other cases we have a
singular
transformation ofV q
which can exist
only
forparticular
values of the moduli ofVQ ([3]).
It is
clear, by comparison
ofequations (1)
and(3),
thatif v > 1,
I cannotbelong
to thefundamental
involution1,.
In the case v
1,
the sets of I are in birational correspon- dence with the sets of an involution I* of order 2 onV*
which is subordinate to J. When » >
1,
we have instead that I i8mapped
on av-f old
involution I*(likewise of
order2)
onV,*,
which is 8ubordinate toJ;
this followsby comparing equations (1)
and(3).
Inparticular,
when q r, coincideswith
VQ
and I* with J.3.
On the characters
qx - - We denoteby = 1, 2, ... , r)
the number oflinearly independent
differential forms of the first kind and ofdegree k
which are attached toVr . Here gr
is thegeometric
genusP,(Vr),
while gl is the super- ficialirregularity
q ofVr .
The arithmetic genus is thengiven by
the Severi-Kodaira relation([11])
Defining
the r-dimensionalirregularity
qr as the diffe-rence
Pg Pa ,
we then introduce the set of k-dimensionalirregularities qk (k 2, 3, ... , r 1 ) by taking appropriate
linear sections of
Vr
andapplying (4)
to each in turn. We thus obtain the relations( [ 11, 13]):
’
We say that
Vf
iscompletely regular
if andonly
if qk = 0(lc - 2. 3, ... ,
2r 1). Clearly
a necessary and sufficient condi- tion for thecomplete regularity
ofV,
isg. = 0 (s 1,
2,
... , r- 1).
Suppose
now thatVr
ismapped
on amultiple non-singular variety Vr’ ;
in that case we have theinequalities
It follows from
(5)
and(6) that, i f V, is conipletely regular,
then so also is
V,’. For,
if for somes (I s r- I)
we hadgs(V/)
>0,
then we should havegs ( Vr)
>0,
whenceVr
couldnot be
completely regular.
One last
preliminary
remark: suppose thatVr
containsa congruence r of some
positive superficial irregularity ( q2) ;
then r will be
mapped by
a congruence r’ of subvarietieson
Now,
in the case whereVr’
issuperficially regular, r’
will
perforce
besuperficially regular;
this means that h’ can-not
correspond birationally,
element forelement,
to r.Ap- plying
this result to the case we have toconsider,
letV,.’
denote a birational
image
of the involution I onV,. ;
if I issuperficially regular,
we deduce that to a member of r’ there willcorrespond
two members ofr,
ingeneral
distinct. Moreo-ver, the coincidence locus of I must
belong
tor,
and thebranch locus on
VT
mustbelong
to r’.4. On the
Wirtinger involution. - Returning
to thePicard
variety V q,
we consider the case where the involution J is8uperficially regular ;
theinvolution, represented by
equa- tions(32),
then has forimage
ageneralised Wirtinger
va-riety 1) (in
the caser ~,
ageneralised
Kummersurface)
which we shall denote
by W .
Now every differential form of the first kind and of
degree
1~ attached to
WQ
must arise from ananalogous
form attached toV ;
and it is known([12])
that every such form isgiven by
anexpression
of thetype duldu2 ... Evidently
thisfurnishes a
corresponding
differential form onWQ
if andonly
if it is invariant under the transformation
(3~).
We thus(1) The name of Wirtinger variety is usually restricted to the case where
YQ
has all its divisors equal to unity; we may call this theordinary Wirtinger variety (for r - 2, the ordinary Kummer surface).
obtain the results
In these
formulae,
k takes the values1, 2,
... , r. It now follows from(4)
that the arithmetic genusPa
ofWq
isgiven by
This result was obtained
by
Grobner[3]
for theordinary Wirtinger variety by computing
the Hilbert characteristic function for the manifold inquestion
and thenapplying
theSeveri
postulation
formula.5. First
applications. -
With the notation of n.2,
sup- pose that the involution I carriedby Vr
hassuperficial
irre-gularity p(0p~~);
this means thatprecisely p linearly independent
differential forms of the first kind and firstdegree
- saydul ,
ydu2,..., du~
- take the same values atcorresponding points P, P’
of I. Theequations (2)
for I assu-me the form
(3).
If
Vq
hasgeneral moduli,
and thus admitsonly ordinary transformations,
we must q. Ifinstead p q,
wehave a
singular transformation; evidently
the involution J is nowpseudo-
Abelian oftype
p([8]).
HenceVr*
must con-tain a
superficially irregular
congruence, and thus so also mustV,..
Whence the result:If
I h assuperficial irregularity p(0 p q), Vr
m.ust contain asuperficially irregular
con-gruence.
Suppose
next that I issuperficially regular
and - asusual - that
Vr
does not contain any congruence of super- ficialirregularity q ( ~rl ) ;
in this case the model1’:
onVI, certainly
exists and if q r, coincides withVq .
The equa- tions(1)
now take the form(32),
so that J is ageneralised Wirtinger (or Kummer) involution,
whose charactersyk(J)
are given by (7);
inparticular, then,
we haveg2(J) = (q). 2
Now the number
g2 (I ~ )
w illequal g2 (J) provided
thatVr*’
does not contain a
superficially irregular
congruence, for in that case none of the differential formsduiduj
can vanishidentically
on([12]).
In anyevent,
since we know thatV,~ certainly
does not contain any congruence ofsuperficial irregularity
q(n. 2),
not all theintegrals ui
attached toyr
can be functions of one
integral
alone([12]),
and thereforew-e must have
,g2 (I~‘ ) > 0 ; hence,
whatever the valueof v,
itfollows that
g2 (I )
>0, by equations (6).
ThusIf 1’r
carries an involution Io f
the second order suchgl (I ) 0, g~ (I ) 0,
theirI’T
1n1lst contain a congruenceof
1irregularity
q.As remarked in n.
3,
the membersof
the corcgruence are in I, and the coincidence locusof
Ibelongs
to tjtecongruence.
In the case where
r~3,
it follows from(5) that,
if thecharacters gl
and g2
are both zero, then q 2 and q3 are also zero, and vice-versa. ThusIf
carries an involution Iof
the second order isbidi-mensionally
a1?d alsotridimensionally regular,
then
Vr
rnust contain a congruenceof superficial irregula- rity
q.In
particular, then,
if I is unirational orbirational, Vr
must contain a congruence of
superficial irregularity
q.6. The double space
Sr - -
Consider first the case r2 ;
suppose that contains a rational involutions
I,
which meansthat
V,
can bemapped
on a doubleplane S2
ofirregularity
q.By
theprevious theorem, yT2
must contain an irrational pen-cil;
of genus q, and the coincidence locus of I must consist of curvesbelonging
to thepencil.
Hence the branch curveconsists of a number curves of curves
belonging
to apencil
in
82,
and thegeneral
curve of thispencil
maps apair
ofcurves
of V.,;
this result is due to De Francliis[4].
Next,
letr=3;
then the doubleplanes
in the correspon-ding
double space83
aregeneric >> surf aces, having irregu-
larity
q.Hence, by
theprevious result,
the branch surface in~3
consists of a number of surfaces of apencil,
from w hichit follows that
V.
must contain apencil,
of genus q, of sur- faces.Proceeding by induction,
we thus obtain the result:Every
double space
of superficial irregularity
q > 0 con-tdins ac
pencil, o f
genus q,of hypersurfaces;
and the branchlocus in
Sr
consistsof
a nunibero f primals belonging
to apencil.
It is clear that the
image
of thepencil
onVr
is ahype- relliptic
curve, since to a member of the(linear) pencil
inSr
which maps it therecorresponds
apair
ofhypersurfaces,
in
general
distinct. Thistype
ofdouble Sr
has been studiedby
Gallarati[6],
who has calculated the invariants in the case where the base of thepencil
inSr
is irreducible andnon-singular.
7.
Extension
ofprevious
results.I. - Let q r; in this case, if
v 1,
the involution I is coincident with thegeneralised Wirtinger
involutionJ,
andits characters are
given by (7).
If v >1,
we haveIt follows
that,
in order that the modelshould
exist,
theinequalities
must be satisfied for ,klevery even value of k.
Hence,
If,
when q r, thevariety Vr
carrie.s asuperficially
regu- lar involution Iof
the second order suchthat, f or
any even valueof k, gk(I) (k)
q , thenV,
must contain a congruenceof 8uperficial irregularity
q.II. - In the case where q
> r,
we can obtain a result which is moregeneral
than that of n. 5.Previously
we have allowedVr
to contain someirregular
congruence(necessarily
of super- ficialirregularity q). Suppose
now thatVr
contains nosuperficially irregular
congruencewhatever;
thisentails
thatV,.~
also can contain no such congruence. On thishypothesis
the differential forms of the first kind of any
degree k r
attached to J mustgive
rise toprecisely
the same numberof differential forms of the first kind and of like
degree
attached to I*. We thus
have,
for every even value ofTherefore, i f Vr
carries asuper f icially regular
involutionI
of
the second order suchthat, for
any even valueof ~; ( r), gk (I ) (q),
thenVr
must contain anirregular
congruence(of
k
super f icial q).
As
remarked,
in n.3,
the members of this congruence must beconjugate
inI,
so that the coincidence locus of Ibelongs
to the congruence in
question.
8. Notes and
examples. -
We add a few comments upon thepreceding
results.In the first
place
we remark that the conditions of n. 5are not necessary in order that
V r
should contain a con-gruence of
superficial irregularity
q.Thus,
consider aproduct variety
X t(~1)?
whereVt
t is thesimple
modelof a double space
St ;
inparticular,
whent 1, Vt
is ahype- relliptic
curve. In this caseV r
carries an involution I which ismapped by
theproduct St X Vr-t; hence,
if we assume thatwe shall have
91(1) =
0. Now in this case,92(1) = 92 ( V r_t ),
from which it follows that the charactercan have any
non-negative
value whatever.Evidently
the va-riety Vr
contains a congruence of varietiesV r-t,
which ismapped by
thepoints
ofVt ,
y and which has maximum super- ficialirregularity gl(Vt)
= q.Returning
to thegeneral
case we observethat,
from thecorrespondence
betweenV,
and I we have(n. 3),
for every%k% r),
For theparticular
double spacesSr
consideredby
Gallarati[6],
we havegk(V,)=O (k=2, 3, ... , r - 1).
Thissuggests
aninteresting problem:
what arethe most
general
conditions ofvalidity
for this last result?In the second
place,
since for any birational involution I onV,
we havegk (I) = 0 (all k),
it followsthat,
in the pre-vious
example, (k=2, 3, ... , r 1).
This sug-gests
anotherproblem:
under what conditions can we assert that this set of relations will hold? Ananalogous question
can of course be raised for any
involutions, superficially
regu-lar or
not,
carriedby
agiven variety
but the answer isunknown even in the
relatively simple
casejust considered,
atany rate for a
variety Vr
ofgeneral
character.A certain amount
is, however,
knowconcerning
invo-lutions on a Picard
variety VQ ([9]). Thus,
for an invo-lution I of any order on
Vq ,
the sole condition qensures that the
image
of I should also be a Picardvariety.
But the effect of other
analogous
conditions on the nature of I has notyet
beeninvestigated.
Thecyclic
involutions- to which u e now turn - on
Vq
have been studiedby
Lefschetz
[7].
9. The
general cyclic involutions Im(m>3). -
Considernext the case where
Vr
carries acyclic
involutionI m
of any orderm~3;
such an involution isgenerated by
an automor-phism
ofVr
to which the remarks made in n. 2apply.
Wehave now a
system
ofequations analogous
to(3),
which areof the form
where p is the
superficial irregularity
of the associated invo- lution J on the Picard - Severivariety Vq ,
whichcertainly
exists
provided Vr
contains no congruence ofsuperficial
irre-gularity
q ; and where ej denotes an m th root ofunity,
otherthan
unity
itself([7]).
Precisely
as in n. 5 we seethat : i f 1m
has8superficial
irre-g-ularity p(0
pq),
thenVr
must contain asuperficially irregular
congruenee.Supposing
instead thatgl (I m) ©,
wehave
~(7~)==0~
in whichcase p = 0
inequations (8).
On this
hypothesis,
we mayproceed
to calculate the char-acters
fork 1, 2, ... ,
r. Tobegin with,
we haveg2 (J)
isequal
to the number ofproducts
where are
different
numbers(k ~ 1) occurring
in(8),
which are
equal
tounity.
Andsimilarly
for theremaining
characters
An essential difference between the
present
case and thepreceding
isthat,
while form 2, p 0,
we have an ordi-nary transformation of
V, ,
for m >2, p = 0,
w ealways
havea
singular
transformation. Such transformations can existonly
on varieties
Vq
withparticular
moduli([3]);
and in everycase which is a
priori possible
it must be shown that the cor-responding VQ
caneffectively
be constructed.Moreover,
sincethere is now a number of different involutions J for any
given
value of m, the results arenecessarily
lessprecise.
Wehave the
following analogue
of theprevious
theorems:If Vr
carries acyclic
involutions such thatgk(Im) = 0 (all k),
then either there exists an associated invo- lution J onVq for
which = 0(all k),
or else1’r
containsa
superficially irregular
congruence.The
proof
isexactly
as before. It should be notedthat,
inthe case where the above-mentioned involution ~T
actually exists,
nogeneral
conclusion can be drawn. Thus Comes- satti[2],
in his classification of theirregular cyclic triple planes (r 2, m=3)
has shown that all such surfaces con-tain irrational
pencils, though
notnecessarily
of genus q;this had been
previously
noticedby Bagnera
and De Fran-chis in their
study
of thehyperelliptic
surfaces. Comessatti alsoquotes
anexample
of anirregular quintuple plane (r 2, m=5)
which contains no irrationalpencil
whatever.In
conclusion,
wepoint
out that theprevious
methodswill
apply
also to the casewhere,
instead of thecyclic
invo-lution
J,
we have onVq
anysuperficially regular
involutionJm (»a > 3), provided always
that it isgenerable by
a groupi3 (of
orderyn)
ofautomorphisms
ofVq .
* It is known([9])
that a
sufficient,
but not a necessary, condition forJm
to beso
generable
is that theimage variety
ofJm
should have somepositive plurigenus.
When thegroup § exists,
it may berepresented analytically by
a number of sets ofequations
such as
(8);
in that case the characters may be calcu- lated from theseequations,
and we may then deduce results similar to thepreceding.
REFERENCES
[1] A. ANDREOTTI: Mem. Ac. roy. Belgique, 27 (1952), fasc. 4.
[2] A. COMESSATTI, Rend. Palermo, 31 (1911), 1.
[3] F. CONFORTO, Abelsche Funktionen und algebraische Geometrie, Berlin, 1956.
[4] M. DE FRANCHIS, Rend. Acc. Lincei, (5), 13 (1904), 688.
[5] 2014 2014 Rend. Palermo, 20 (1905). 49.
[6] D. GALLABATI, Boll. U.M.I., (3), 14 (1959), 175.
[7] S. LEFSCHETZ, Trans. Amer. Math. Soc., 22 (1921), 327 : 407.
[8] L. ROTH, Rend. Sem. Mat. Padova, 23 (1954), 277.
[9] - - Sulla varietà di Picard e le sue applicazioni, Rend. Sem.
Mat., Milano, 30 (1960).
[10] F. SEVERI, Annali di Mat., (4), 21 (1942), 1.
[11] - - Annali di Mat., (4), 41 (1956), 161.
[12] - - Rend. Acc. Lincei, (8), 20 (1956), 7.
[13] 2014 2014 Geometria dei sistemi algebrici sopra una superficie e so- pra una varietà algebrica, (vol. II ) , Roma, 1959.