Available via license: CC BY 4.0
Content may be subject to copyright.
arXiv:2304.10919v1 [math.AG] 21 Apr 2023
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN
FIBRATION
A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
ABS TR ACT. Let Xbe a n-dimensional (smooth) intersection of two quadrics, and let T∗Xbe its cotangent
bundle. We show that the algebra of symmetric tensors on Xis a polynomial algebra in nvariables. The
corresponding map Φ : T∗X→Cnis a Lagrangian fibration, which admits an explicit geometric description;
its general fiber is a Zariski open subset of an abelian variety, quotient of a hyperelliptic Jacobian by a 2-
torsion subgroup. In dimension 3,Φis the Hitchin fibration of the moduli space of rank 2bundles with fixed
determinant on a curve of genus 2.
1. INTRODU CTI ON
Let X⊂Pn+2
Cbe a smooth n-dimensional complete intersection of two quadrics, with n≥2, and let
T∗Xbe its cotangent bundle. The C-algebra H0(T∗X, OT∗X)is canonically isomorphic to the algebra
of symmetric tensors H0(X, S•TX). Recall that T∗Xcarries a canonical symplectic structure. Our main
result is the following theorem:
Theorem. a) The vector space W:= H0(X, S2TX)has dimension n, and the natural map S•W→H0(X, S•TX)
is an isomorphism.
b) The corresponding map Φ : T∗X→W∗∼
=Cnis a Lagrangian fibration.
c) When Xis general, the general fiber of Φis of the form ArZ, where Ais an abelian variety and
codim Z≥2.
We will give a precise geometric description of the map Φand of the abelian variety Ain § 4 and 5.
1.1. Comments. 1) For n= 2, a) follows from Theorem 5.1 in [DO-L], while b) and c) are proved in [K-L].
The proof is based on the isomorphism TX∼
=Ω1
X(1). The Theorem also follows from the fact that Xis
a moduli space for parabolic rank 2 bundles on P1[C], so that Φ : T∗X→C2is identified to the Hitchin
fibration (see [B-H-K]).
For n= 3,Xis isomorphic to the moduli space of vector bundles of rank 2 and fixed determinant
of odd degree [N]; again the Theorem follows from the properties of the Hitchin fibration (see §2). It
would be interesting to have a modular interpretation of Φfor n≥4. Note that the Hitchin map for G-
bundles is homogeneous quadratic only when Gis SL(2) or a product of copies of SL(2) , so this limits
the possibilities of using it.
2) The map Φis an example of an algebraically completely integrable system — see for instance [V], and
Remark 5.1. Such a situation is rather exceptional: most varieties do not admit nonzero symmetric ten-
sors (for instance, hypersurfaces of degree ≥3[H-L-S]); when they do, even for varieties as simple as
quadrics, the algebra of symmetric tensors is fairly complicated. We do not have a conceptual explanation
for the particularly simple behaviour in our case.
J. Liu is supported by the National Key Research and Development Program of China (No. 2021YFA1002300), the NSFC grants
(No. 12001521 and No. 12288201) and the CAS Project for Young Scientists in Basic Research (No. YSBR-033).
1
2 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
3) For n= 2 or 3, the generality assumption on Xin c) is unnecessary. It seems likely that this is the
case for all n, but our method does not allow us to conclude.
1.2. Strategy. We will first treat the case n= 3 , which is independent of the rest of the paper (§ 2). For the
general case we will develop two different approaches. In the first one we exhibit a natural n-dimensional
subspace W⊂H0(X, S2TX), from which we deduce a map T∗X→W∗∼
=Cn(§ 3). We then show that
Φhas the required properties, which implies a), b) and c) for general X(5.1). In the second approach
(§ 7) we prove directly a) for all smooth X, by realizing Xas a double covering of a quadric.
1.3. Notations. Throughout the paper Xwill be a smooth complete intersection of two quadrics in Pn+2 ,
with n≥2. We denote by T∗Xits cotangent bundle and by PT∗Xits projectivization in the geometric
sense (not in the Grothendieck sense). If Vis a vector space, we denote by P(V)the associated projective
space Vr{0}/C∗parametrising one-dimensional subspaces of V.
2. THE CA SE n= 3
In this section we show how our general results can be obtained in the case n= 3 by interpretating X
as a moduli space.
As in 4.1 below, we associate to Xa genus 2 curve C, such that the variety of lines in Xis isomorphic
to JC . Let us fix a line bundle Non Cof degree 1; then Xis isomorphic to the moduli space Mof
rank 2 stable vector bundles on Cwith determinant N[N]. The cotangent bundle T∗Mis naturally
identified with the moduli space of Higgs bundles, that is pairs (E, u)with E∈Mand u:E→E⊗KC
a homomorphism with Tr u= 0. The Hitchin map Φ : T∗M→H0(K2
C)associates to a pair (E, u)the
section det uof K2
C. It is a Lagrangian fibration [H].
Let ω∈H0(K2
C).We assume in what follows that ωvanishes at 4distinct points. Let Cωbe the curve in
the cotangent bundle T∗Cdefined by z2=ω. The projection π:Cω→Cis a double covering, branched
along div(ω), and Cωis a smooth curve of genus 5. Let Pbe the Prym variety associated to π, that is,
the kernel of the norm map Nm : J Cω→J C ; it is a 3-dimensional abelian variety.
Proposition 2.1. The fiber Φ−1(ω)is isomorphic to the complement of a curve in P.
Proof : Recall that the map L7→ π∗Lestablishes a bijective correspondence between line bundles on
Cωand rank 2 vector bundles Eon Cendowed with a homomorphism u:E→E⊗KCsuch that
u2=ω·IdE, or equivalently, Tr u= 0 and det u=ω(see for instance [B-N-R]). To get (E, u)in Φ−1(ω)
we have to impose moreover det E=Nand Estable. Since det π∗L= Nm(L)⊗K−1
C, the first condition
means that Lbelongs to the translate PN:= Nm−1(KC⊗N)of P.
Then the vector bundle π∗Lis unstable if and only if it contains an invertible subsheaf Mof degree 1;
this is equivalent to saying that there is a nonzero map π∗M→L, that is, L=π∗M(p)for some point
p∈Cω. The condition L∈PNmeans M2(πp) = KC⊗N, so Mis determined by pup to the 2-torsion
of J C . Thus the locus of line bundles L∈PNsuch that π∗Lis unstable is a curve.
Let ρ:C→P1be the canonical double covering, and B⊂P1its branch locus. Since the homomor-
phism S2H0(KC)→H0(K2
C)is surjective, the divisor of ωis of the form ρ∗(p+q), for some p, q ∈P1;
by assumption we have p6=qand p, q /∈B.
Proposition 2.2. Let Γbe the double covering of P1branched along B∪ {p, q}. There is an exact sequence
0→Z/2→JΓ→P→0.
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 3
Proof : Let χ:P1→P1be the double covering branched along {p, q}. Since div(ω) = ρ∗(p+q), there is
a cartesian diagram of double coverings
Cω
ξ//
π
P1
χ
Cρ
//P1
which gives rise to two commuting involutions σ, τ of Cω, exchanging the two sheets of πand ξrespec-
tively. The field of rational functions on Cωis
C(x, y, z)|y2=f(x), z2=g(x)
where fand gare polynomials with div f=Band div g={p, q}. Then σand τchange the sign of y
and zrespectively.
The involution στ is fixed point free, so the quotient Γ := Cω/hστ ihas genus 3; its field of functions
is C(x, w)with w=yz and w2=f(x)g(x). We have again a cartesian square
Cω
ϕ//
π
Γ
ψ
Cρ
//P1.
Let α∈JΓ. We have Nmπϕ∗α=ρ∗Nmψα= 0, hence ϕ∗maps JΓinto P⊂JCω. Since ϕis ´etale, we
have Ker ϕ∗=Z/2; since dim JΓ = dim P= 3 ,ϕ∗is surjective.
3. DE FIN ITI ON OF Φ
Let Ybe a smooth degree dhypersurface in PN, defined by an equation f= 0. Recall that one
associates to fa section hfof S2Ω1
Y(d), the hessian or second fundamental form of f[G-H]: at a point yof
Y, the intersection of Ywith the tangent hyperplane Hto Yat yis a hypersurface in Hsingular at y,
and hf(y)is the degree 2 term in the Taylor expansion of f|Hat y.
Now let X⊂Pn+rbe a smooth complete intersection of rhypersurfaces of degree d; let
V⊂H0(Pn+r,OP(d))
be the r-dimensional subspace of degree dpolynomials vanishing on X. By restricting hf, for f∈V,
to X, we get a linear map
V⊗OX−→ S2Ω1
X(d)
which gives at each point x∈Xa linear space of quadratic forms on the tangent space Tx(X). Note
that, when d= 2 , the corresponding quadrics in P(Tx(X)) can be viewed geometrically as follows:
the projective space P(Tx(X)) can be identified with the space of lines in Pn+rpassing through xand
tangent to X; then for each q∈V, the quadric defined by hq(x)parameterizes the lines passing through
xand contained in the quadric {q= 0}.
Now we want to consider the “inverse” of the quadratic form hf(x)on Tx(X), that is, the form on
T∗
x(X)given in coordinates by the cofactor matrix. Intrinsically, each f∈Vgives a twisted symmetric
morphism
hf:TX−→ Ω1
X(d)
4 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
which induces a twisted symmetric morphism on (n−1)-th exterior powers, namely
∧n−1hf:^n−1TX−→ ^n−1Ω1
X((n−1)d).
We now observe that KX=OX(−n−1−r+dr), hence
^n−1TX∼
=Ω1
X(n+ 1 −r(d−1)) ,^n−1Ω1
X∼
=TX(−n−1 + r(d−1)) ,
so that ∧n−1hfis in fact a symmetric morphism from Ω1
X(n+1 −r(d−1)) to TX((n−1)d−n−1+r(d−1)) ,
hence provides a section
∧n−1hf∈H0(X, S2TX(d(n+ 2r−1) −2(n+r+ 1))).
Being locally given by the cofactor matrix, ∧n−1hfis homogeneous of degree n−1in f, hence we have
constructed a morphism
α:Sn−1V−→ H0(X, S2TX(d(n+ 2r−1) −2(n+r+ 1))) such that α(fn−1) = ∧n−1hf.
From now on, we restrict to the case d= 2, r = 2 , so Xis the complete intersection of two quadrics in
Pn+2 . The previous construction gives a morphism
α:Sn−1V−→ H0(X, S2TX).
Using the canonical isomorphism H0(T∗X, OT∗X) = H0(X, S•TX), we deduce from αa morphism
Φ : T∗X−→ Sn−1V∗∼
=Cn.
We have Φ(λv) = λ2Φ(v)for v∈T∗X,λ∈C, so Φinduces a rational map
ϕ:PT∗X99K Pn−1
whose indeterminacy locus Zis the image of Φ−1(0) .
Proposition 3.1. 1) αis injective.
2) Φ is surjective.
3) The image of Zby the structure map p:PT∗X→Xis a proper subvariety of X.
Proof : Let xbe a general point of X. We claim that the base locus in P(Tx(X)) of the pencil of quadratic
forms {hq(x)}q∈Vis smooth. Indeed, this locus can be viewed as the variety Fxof lines in Xpassing
through x. Let Fbe the Fano variety of lines contained in X, and let
G⊂F×X={(ℓ, y)|y∈ℓ}.
Then Fand therefore Gare smooth [R, Theorem 2.6], hence Fx, which is the fiber above xof the pro-
jection G→X, is smooth since xis general. It follows that, in an appropriate system of coordinates
(k1,...,kn)of Tx(X), the forms {hq(x)}can be written
tXk2
i+Xαik2
iwith αidistinct in C, t ∈C.
Then ∧n−1hq(x)is given by the diagonal matrix with entries βi:= Y
j6=i
(t+αj) (i= 1,...,n). These poly-
nomials in tare linearly independent, hence they generate the space of quadratic forms on T∗
xXwhich
are diagonal in the basis (ki). This linear system has dimension n, so αis injective; it has no base point,
so ϕinduces a finite, surjective morphism P(T∗
xX)→Pn−1. Thus Φis surjective, and Z∩P(T∗
xX) = ∅,
which gives 2) and 3).
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 5
We want to give a geometric construction of the rational map ϕ:PT∗X99K Pn−1. A point of PT∗X
is a pair (x, H ), where x∈Xand His a hyperplane in Tx(X). Restricting the pencil {hq(x)}q∈Vto H
gives a pencil of quadrics on H, which for (x, H )general contains n−1singular quadrics q1,...,qn−1.
The subset {q1,...,qn−1}of P(V)corresponds to a point ϕx,H of P(Sn−1V∗)– namely the hyperplane
in Sn−1Vspanned by qn−1
1, . . . , qn−1
n−1.
Proposition 3.2. ϕ(x, H ) = ϕx,H .
Proof : We can assume that xis general. We have seen that the restriction of ϕto P(T∗
xX)is the morphism
given by the linear system of quadratic forms W∼
=Sn−1Vspanned by the forms ∧n−1hq(x), for q∈V;
in other words, ϕmaps the point Hof P(T∗
xX)to the hyperplane of forms in Wvanishing at H.
On the other hand, ϕx,H is the hyperplane of Sn−1Vspanned by the qn−1for those q∈Vsuch that
hq(x)|His singular; this condition is equivalent to say that the form ∧n−1hq(x)on T∗
xXvanishes at H.
Therefore ϕx,H is spanned by quadratic forms vanishing at H, hence coincides with ϕ(x, H ).
Corollary 3.1. codim Z≥2.
Proof : Suppose Zcontains a component Z0of codimension 1; since p(Z)6=X, we have Z0=p−1(p(Z0)) .
We claim that this is impossible, in fact Zcannot contain a fiber p−1(x). Indeed this would mean that for
q∈V, the form hq(x)is singular along all hyperplanes H⊂TxX, that is, hq(x)has rank ≤n−2. But the
rank of hq(x)is the rank of the restriction of qto the projective tangent subspace to Xat x. Restricting
a quadratic form to a hyperplane lowers its rank by up to two. Since a general qin Vhas rank n+ 3, its
restriction to a codimension 2 subspace has rank ≥n−1.
4. FIBE RS OF ϕ
In an appropriate system of coordinates (x0,...,xn+2 ), our variety Xis defined by the equations
q1=q2= 0, with
q1=Xx2
i, q2=Xµix2
iwith µi∈Cdistinct.
Let Π = P(V) (∼
=P1)be the pencil of quadrics containing X. We choose a coordinate ton Πso that
the quadrics of Πare given by tq1−q2= 0 . Then the singular quadrics of Πcorrespond to the points
µ0,...,µn+2 .
The goal of this section is to describe the general fiber of the rational map ϕ:PT∗X99K Sn−1Π (∼
=Pn−1).
For λ= (λ1,...,λn−1)∈Sn−1Π, let Cµ,λ denote the hyperelliptic curve y2=Q(t−µi)Q(t−λj), of
genus n. We will prove:
Proposition 4.1. For λgeneral in Sn−1Π, the fiber ϕ−1(λ)is birational to the quotient of the Jacobian J Cµ,λ by
the group Γ := {±1JC} × Γ+, where Γ+∼
=(Z/2Z)n−2is a group of translations by 2-torsion elements.
4.1. Odd-dimensional intersection of 2 quadrics. We briefly recall here the results of Reid’s thesis ([R],
see also [D-R]). Let Y⊂P2g+1 be a smooth intersection of 2 quadrics, and let Ξ (∼
=P1)be the pencil of
quadrics containing Y. Let Σ⊂Ξbe the subset of 2g+ 2 points corresponding to singular quadrics,
and let Cbe the double covering of Ξbranched along Σ– this is a hyperelliptic curve of genus g.
The intermediate Jacobian JY of Yis isomorphic to JC (as principally polarized abelian varieties).
The variety Fof (g−1) -planes contained in Yis also isomorphic to JC , but this isomorphism is not
canonical.
6 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
In an appropriate system of coordinates, the equations of Yare of the form
Xx2
i=Xαix2
i= 0 with αi∈Cdistinct;
then Σ = {α1,...,α2g+2}. The group Γ := (Z/2Z)2g+1 acts on Y(hence also on F) by changing the
signs of the coordinates. Let Γ+⊂Γbe the subgroup of elements which change an even number of
coordinates. For an appropriate choice of the isomorphism F∼
−→ J C , the image of Γ+in Aut(JC)is
the group T2of translations by 2-torsion elements of J C , and the image of Γis T2× {±1J C }[D-R,
Lemma 4.5].
4.2. An auxiliary construction. We consider the projective space P2n+1 equipped with the system of
homogeneous coordinates
x0,...,xn+2;y1, . . . , yn−1
and the affine space An−1equipped with the affine coordinates λ1,...,λn−1. Let
X⊂P2n+1 ×An−1
be the complete intersection of the two quadrics with equations
Q1=Q2= 0 with Q1=
n+2
X
i=0
x2
i+
n−1
X
j=1
y2
j, Q2=
n+2
X
i=0
µix2
i+
n−1
X
j=1
λjy2
j.
The second projection X→An−1gives a family of complete intersections of two quadrics Xλof dimen-
sion 2n−1parameterized by An−1. Note that Xis the intersection of Xwith the subspace Pn+2 ⊂P2n+1
defined by y1=...=yn−1= 0 .
Let p:F→An−1be the family of (n−1) -planes contained in the Xλ, that is
F={(P, λ)|λ∈An−1, P (n−1)-plane ⊂Xλ}.
For λgeneral, the fiber Fλis isomorphic to the Jacobian of the hyperelliptic curve Cµ,λ (4.1).
Let (P, λ)be a general point of F. Then P∩Pn+2 is a point xof X. Let π:P2n+1 99K Pn+2 be
the projection (xi, yj)7→ (xi). Since the differentials of Qiand qicoincide at x, the derivative π∗maps
Tx(P)⊂Tx(X)into Tx(X). Since Pis general, π∗Tx(P)is a hyperplane in Tx(X)– this will follow
from the proof of Proposition 4.2 1) below, where we construct explicitely pairs (P, λ)with this property.
Therefore we have a rational map
ψ:F99K PT∗X(P, λ)7→ (x=P∩Pn+2 , π∗Tx(P)) .
The symmetric group Sn−1acts on P2n+1 by permuting the yj, and the group (Z/2Z)n−1by changing
their signs; this gives an action of the semi-direct product G:= (Z/2Z)n−1⋊Sn−1. We make Gact on
An−1through its quotient Sn−1, by permutation of the λi. This induces an action of Gon Xand there-
fore on F, compatible via pwith the action on the base. The map ψis invariant under this action, hence
factors through the quotient F/G. By passing to the quotient we get a map p♯:F/G →An−1/Sn−1.
Proposition 4.2. 1) ψinduces a birational map ψ♯:F/G 99K PT∗X.
2) There is a commutative diagram
F/G ψ♯
//❴❴❴❴❴
p♯
PT∗X
ϕ
✤
✤
✤
An−1/Sn−1σ
∼//An−1⊂Pn−1
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 7
where p♯is deduced from p, and σis the isomorphism given by symmetric functions.
Proof : 1) Let (x, H )∈PT∗X; we want to describe the pairs (P, λ)such that P∩Pn+2 ={x}and
π∗Tx(P) = H. The latter condition says that, via the decomposition
Tx(P2n+1) = Tx(Pn+2 )⊕Ker π∗,
Tx(P)identifies with the graph of a linear map
α:H→Ker π∗.
Using the basis (∂
∂y1,..., ∂
∂yn−1)of Ker π∗, we have α= (α1,...,αn−1), where the αiare linear forms on
H. The condition P⊂Xλimplies that the hessians hQ1(x)and hQ2(x)vanish on Tx(P), which gives
(1) hq1(x)|H=−X
i
α2
i, hq2(x)|H=−X
i
λiα2
i.
This is a simultaneous diagonalization of the quadratic forms hq1(x)|Hand hq2(x)|H; when they are in
general position, this determines the λiup to permutation and the αiup to sign and permutation, which
proves 1).
2) Let (P, λ)∈F, and let (x, H ) := ψ(P, λ). According to Proposition 3.2, ϕ(x, H )is given by the
(n−1)-uple of quadrics q∈Πsuch that the form hq(x)|His singular. Using (α1,...,αn−1)as coordinates
on H, we see from (1) that this (n−1)-uple is given by (λ1,...,λn−1), which proves 2).
4.3. Proof of Proposition 4.1. Let λbe a general element of An−1. Let us denote by Γthe subgroup
(Z/2Z)n−1of G. From Proposition 4.2 and the cartesian diagram
F/Γ//
p
F/G
p♯
An−1//An−1/Sn−1
we see that the fiber ϕ−1(λ)is birational to the quotient Fλ/Γ. By (4.1) Fλis isomorphic to J Cµ,λ ,
and one can choose the isomorphism so that Γacts on J Cµ,λ as {±1J} × Γ+, where Γ+is a group of
translations by 2-torsion elements. This proves the Proposition.
5. FIBE RS OF Φ
5.1. Results. We keep the settings of the previous section. Recall that our parameter λlives in
An−1⊂Sn−1Π∼
=Pn−1. For λin An−1, we denote by ˜
λa lift of λin Cnfor the quotient map
Cnr{0} → Pn−1.
Theorem 5.1. Assume that Xis general. For λ∈An−1general, the fiber Φ−1(˜
λ)is isomorphic to ArZ,
where :
•Ais the abelian variety quotient of JCµ,λ by a 2-torsion subgroup, isomorphic to (Z/2Z)n−2;
•Zis a closed subvariety of codimension ≥2in A.
Corollary 5.1. For every smooth complete intersection of two quadrics X⊂Pn+2 , the fibration Φ : X→Cnis
Lagrangian.
8 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
Proof : Assume first that Xis general. The symplectic form on T∗Xis dη , where ηis the Liouville form.
By the Theorem and the Hartogs principle, the pull back of ηto a general fiber of Φis the restriction of a
1-form on an abelian variety, hence is closed. This implies the result.
Let p:X→Bbe a complete family of smooth intersection of two quadrics in Pn+2 . The constructions
of §3 can be globalized over B: we have a rank 2 vector bundle Vover Bwhose fiber at a point b∈Bis
the space of quadratic forms vanishing on Xb. We get a homomorphism Sn−1V→p∗TX/B , which gives
rise to a morphism Φ:T∗(X/B)→Sn−1V∗over Bwhich induces over each point b∈Bour map Φ.
There is a natural Liouville form ηon T∗(X/B); since dηvanishes on a general fiber of Φ, it vanishes
on all fibers.
Corollary 5.2. Assume that Xis general. The multiplication map S•H0(X, S2TX)→H0(X, S•TX)is an
isomorphism.
(We will give in § 7 a proof valid with no generality assumption.)
Proof : The Theorem implies that every function on a general fiber of Φis constant, hence the pull back
Φ∗:H0(Cn,OCn)→H0(T∗X, OT∗X)is an isomorphism. The right hand space is canonically isomorphic
to H0(X, S•TX), hence we get an algebra isomorphism C[t1,...,tn]∼
−→ H0(X, S•TX). By construction
the tiare mapped to elements of H0(X, S2TX), so the Corollary follows.
Remark 5.1.Let V1,...,Vnbe the Hamiltonian vector fields on T∗Xassociated to the components of Φ.
For λgeneral in Cn, let us identify Φ−1(λ)to ArZas in the Theorem. Then by Hartogs’ principle the
Vilinearize on A— that is, they extend to a basis of H0(A, TA). This allows in principle to write explicit
solutions of the Hamilton equations for Φiin terms of theta function.
5.2. Proof of the Theorem: lemmas. We fix a general point λ∈An−1. We denote by Fothe open subset
of Fwhere the rational map ψis well-defined, and by Fo
λits intersection with the fiber Fλ. Since λis
general, the complement of Fo
λin Fλhas codimension ≥2. The rational map ψinduces a morphism
ψo:Fo→PT∗X; we denote by ψo
λits restriction to Fo
λ. Let Z⊂PT∗Xbe the indeterminacy locus of
ϕ(§ 3), and let Fbad
λ:= (ψo
λ)−1(Z)⊂Fo
λ.
Proposition 5.1. Fbad
λhas codimension ≥2in Fλ.
We postpone the proof of the Proposition to the next section, and first show how it implies Theorem
5.1.
Let 0X⊂T∗Xbe the zero section, and let q:T∗Xr0X→PT∗Xbe the quotient map. Let
ϕo:PT∗XrZ→Pn−1be the morphism induced by ϕ. We have q(Φ−1(˜
λ)) = (ϕo)−1(λ), and the
restriction
qλ: Φ−1(˜
λ)→(ϕo)−1(λ)
is an ´etale double cover, with Galois involution ιinduced by (−1T∗X).
We put Foo
λ:= Fo
λrFbad
λ, and consider the restriction
ψo
λ:Foo
λ→(ϕo)−1(λ)of ψo.
Lemma 5.1. The fiber Φ−1(˜
λ)is Lagrangian, and has trivial tangent bundle.
Proof : The ´etale double cover qλinduces by fibered product an ´etale double cover
π:f
Foo
λ→Foo
λ
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 9
such that ψo
λlifts to a morphism ˜
ψo
λ:f
Foo
λ→Φ−1(˜
λ).
By Proposition 5.1, the complement of Foo
λin Fλhas codimension ≥2, so πextends to an ´etale
double cover f
Fλ→Fλ, where f
Fλis an abelian variety or the disjoint union of two abelian varieties. The
morphism ˜
ψo
λ:f
Foo
λ→Φ−1(˜
λ)is generically of maximal rank. Again by Proposition 5.1, the holomorphic
1-forms on f
Foo
λare closed, hence by pull back the same holds for the holomorphic 1-forms on Φ−1(˜
λ).
As in the proof of Corollary 5.1, this implies that Φ−1(˜
λ)is Lagrangian. The second assertion is a basic
property of Lagrangian fibers.
Lemma 5.2. The morphism ψo
λlifts to a morphism ˜
ψo
λ:Foo
λ→Φ−1(˜
λ).
Proof : It suffices to show that the double covering π:f
Foo
λ→Foo
λsplits.
Assume the contrary, so that f
Fλis an abelian variety. By Lemma 5.1 H0(Φ−1(˜
λ),Ω1)has dimension
n. It follows that the pull back (˜
ψo
λ)∗:H0(Φ−1(˜
λ),Ω1)→H0(f
Foo
λ,Ω1)is bijective. Since the Galois
involution of the double covering πacts trivially on holomorphic 1-forms, the same holds for the Galois
involution ιof the double covering qλ: Φ−1(˜
λ)→(ϕo)−1(λ).
Now we observe that the 1-forms on Φ−1(˜
λ)are “pure”, that is, extend to any smooth projective
compactification of Φ−1(˜
λ): this follows from the fact that this holds after pull back to f
Foo
λ. But the
quotient Φ−1(˜
λ)/ι is isomorphic to a Zariski open subset of ϕ−1(λ), which by Proposition 4.1 has no
nonzero holomorphic 1-forms, so that any Zariski open set has no nonzero closed pure holomorphic
1-forms. This contradiction proves the Lemma.
5.3. Proof of Theorem 5.1. Lemma 5.2 gives a factorization
ψo
λ:Foo
λ
˜
ψo
λ
−−−→ Φ−1(˜
λ)qλ
−−→ (ϕo)−1(λ).
By Proposition 4.1, ψo
λinduces a birational morphism
ψo
λ,Γ:Foo
λ/Γ−→ (ϕo)−1(λ) ;
it follows that for some subgroup Γ′⊂Γof index 2, the morphism ˜
ψo
λ:Foo
λ→Φ−1(˜
λ)factors through
a birational morphism
˜
ψo
λ,H′:Foo
λ/Γ′−→ Φ−1(˜
λ).
By Lemma 5.1, the cotangent bundle of Φ−1(˜
λ)is trivial. Therefore the cotangent bundle of Foo
λ/Γ′is
generically generated by its global sections. This implies that Γ′acts trivially on holomorphic 1-forms,
hence is the subgroup Γ+of Γgenerated by translations, isomorphic to (Z/2Z)n−2; thus Fλ/Γ′is an
abelian variety A.
To simplify notation, we put Ao:= Foo
λ/Γ′and u:= ˜
ψo
λ,H′. The rational map u−1: Φ−1(˜
λ)99K Ais
everywhere defined (see e.g. [B-L, Theorem 4.9.4]), so we have two morphisms
Aou
−−→ Φ−1(˜
λ)u−1
−−−→ A
whose composition is the inclusion Ao֒→A. Since the tangent bundles of Aand Φ−1(˜
λ)are trivial, the
determinant of T u :TAo→u∗TΦ−1(˜
λ)is a function on Ao, hence constant by Proposition 5.1. Therefore u
is ´etale and birational, hence an open embedding. This implies that every function on Φ−1(e
λ)is constant
(because its restriction to Aois constant). Then the previous argument shows that u−1is also an open
embedding, so that Φ−1(˜
λ)is isomorphic to an open subset of Acontaining Ao. This proves the Theorem.
10 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
6. PROO F OF PRO POSIT ION 5.1
We keep the notations of (4.2). Recall that we have coordinates (x0,...,xn+2;y1,...,yn−1)on P2n+1 ,
and subspaces Pn+2 and Pn−2in P2n+1 defined by y= 0 and x= 0.
Let q1(x) = q2(x) = 0 be the equations defining Xin Pn+2 , and let Rbe the vector space of quadratic
forms in y= (y1,...,yn−1). We define an extended family Xe⊂P2n+1 ×R2by
Xe={(x, y); (r1, r2)∈P2n+1 ×R2|q1(x) + r1(y) = q2(x) + r2(y) = 0}.
The fiber Xe
rat a point r= (r1, r2)of R2is the intersection in P2n+1 of the two quadrics q1(x) + r1(y) =
q2(x) + r2(y) = 0. Let Gbe the Grassmannian of (n−1) -planes in P2n+1 ; we define as before
Fe:= {(P, r)∈G×R2|P⊂Xe
r}
and the extended rational map ψe:Fe99K PT∗X, which maps a general P⊂Xe
rto the pair (x, H)
with {x}=P∩Pn+2 ,H=π∗Tx(P).
We observe that a general pair r= (r1, r2)of R2is simultaneously diagonalizable, so the restriction
of ψeto Fe
rcoincides, for an appropriate choice of the coordinates (yi), with the map ψλthat we want
to study. Thus Proposition 5.1 will follow from the following Proposition:
Proposition 6.1. Assume that Xis general.
1) Let Γ⊂Febe the locus of points (P, r)such that either dim P∩Pn+2 >0, or P∩Pn−26=∅. Then Γ
has codimension ≥2in Fe.
2) There exists no divisor in FerΓwhich dominates R2and is mapped to the base-locus Z⊂PT∗Xby ψe.
Proof : 1) Let Qbe the vector space of quadratic forms on P2n+1 of the form q(x)+r(y)for some quadratic
forms qand r. For each pair of integers (k, l)with k≥0,l≥ −1, let Gk,l be the locally closed subvariety
of (n−1)-planes P∈Gsuch that
dim(P∩Pn+2) = k , dim(P∩Pn−2) = l .
(We put by convention l=−1if P∩Pn−2=∅.) Let
FQ:= {(P, (Q1, Q2)) ∈G×Q2|Q1|P=Q2|P= 0},
FQ
k,l := FQ∩(Gk,l ×Q2).
The general fiber of the projection FQ→Q2is an abelian variety, and we recover Feby restricting FQ
to pairs of quadratic forms of the form (q1(x) + r1(y), q2(x) + r2(y)) . It thus suffices to prove the result
for the larger family FQ, that is, to show that FQ
k,l has codimension ≥2in FQ.
This is done by a dimension count. For P∈G, let ϕPbe the restriction map Q→H0(P, OP(2)). The
fiber of the projection FQ→Gis the vector space (Ker ϕP)⊕2. For Pgeneral, ϕPis surjective: this is
the case for instance if Pis contained in the (n+ 2) -plane in P2n+1 defined by yi=xi(i= 1,...,n−1).
However ϕPis not surjective for P∈Gk,l , because the forms r(y)|Pare singular along P∩Pn+2 and
the forms q(x)|Pare singular along P∩Pn−2: this implies that the subspaces P∩Pn+2 and P∩Pn−2
are apolar for all forms in Im ϕP. Therefore the corank of ϕPis ≥(k+ 1)(l+ 1), and there is equality
when Pis contained in the subspace defined by x0=... =xn+1−k=y1=... =yn−2−l= 0 , hence for
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 11
Pgeneral in Gk,l . Thus our assertion follows from:
codim(FQ
k,l,FQ) = codim(Gk,l ,G)−2(k+ 1)(l+ 1)
=k(k+ 1) + (l+ 1)(l+ 4) −2(k+ 1)(l+ 1)
= (k−l)(k−l−1) + 2(l+ 1)
≥2if k≥1or l≥0.
2) The base locus Z⊂PT∗Xhas codimension ≥2(Corollary 3.1). Note that ψeis well-defined in
FerΓ. If Dis a divisor in FerΓwith ψe(D)⊂Z, the map ψehas not maximal rank along D. This
contradicts the following Lemma:
Lemma 6.1. ψehas maximal rank on FerΓ.
Proof : Let (x, H)be a point of T∗X; we view Has a hyperplane in the projective tangent space to xat
X. The fiber of ψe:FerΓ→PT∗Xat (x, H)is the locus
(ψe)−1(x, H) = {(P, r1, r2)∈G×R2|P∩Pn+2 ={x}, P ∩Pn−2=∅, π(P) = H, (2)
(qi(x) + ri(y))|P= 0 (i= 1,2)}.(3)
The equations (2) define a smooth, locally closed subvariety Gx,H of G. Let P∈Gx,H , and let χP:R→H0(P, OP(2))
be the restriction map. We will show below that the image of χPis the space of quadratic forms on P
which are singular at x. Since the forms qi|Pare singular at x, this implies that the solutions of (3) form
an affine space over (Ker χP)⊕2. Therefore (ψe)−1(x, H )admits an affine fibration over Gx,H , hence is
smooth.
Clearly the quadrics in Im χPare singular at x. To prove the opposite inclusion, choose the coordinates
(xi)so that x= (1,0,...,0). Since P∩Pn+2 ={x}, there exist linear forms ℓ1,...,ℓn+2 in the yjso that
Pis defined by xi=ℓi(y)for i= 1,...,n+ 2. Then a quadratic form on P2n+1 singular at xcan be
written as a form in x1,...,xn+2;y1,...,yn−1, hence its restriction to Pis in Im χP. This proves the
Lemma, hence also the Proposition.
7. SY MME TRIC TE NSO RS:S ECO ND A PPR OAC H
7.1. The cotangent bundle of a smooth quadric. We consider a smooth quadric Q⊂Pn+1 , defined by
an equation q= 0 . Its cotangent bundle PT∗Qparameterizes pairs (x, P )with x∈Qand Pa(n−1) -
plane tangent to Qat x. Thus we get a morphism γfrom PT∗Qto the grassmannian Gof (n−1) -planes
in Pn+1 , which is the morphism defined by the linear system |OPT∗Q(1)|. It is birational onto its image,
but contracts the subvariety C⊂PT∗Qconsisting of pairs (x, P )such that Pis tangent to Qalong a
line ℓ⊂Q, and x∈ℓ: then γ−1(P)consists of the pairs (x, P )with x∈ℓ.
Let hq∈H0(Q, S2Ω1
Q(2)) be the hessian form of q(§3). Choosing coordinates (xi)such that q(x) = Px2
i,
we have hq=P(dxi)2(note that this is, up to a scalar, the unique element of H0(Q, S2Ω1
Q(2)) invari-
ant under Aut(Q)). Then hq(x)is non-degenerate at each point xof Q, so hqinduces an isomorphism
Ω1
Q(1) ∼
−→ TQ(−1), hence also S2Ω1
Q(2) ∼
−→ S2TQ(−2). The image in H0(Q, S2TQ(−2)) of hqby this iso-
morphism is h′
q=P∂2
j. We will view h′
qas an element of H0(PT∗Q, OPT∗Q(2) ⊗p∗OQ(−2)) , where
p:PT∗Q→Qis the projection.
Proposition 7.1. The divisor of h′
qis C. The projection p|C:C→Qis a smooth quadric fibration, and Cis a
prime divisor for n≥3.
12 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
Proof : Let x∈Q; the hyperplane tangent to xat Qcuts down a cone over the smooth quadric
Qx⊂P(Tx(Q)) defined by hq(x) = 0 (§ 3). The isomorphism Tx(Q)∼
−→ T∗
x(Q)given by hq(x)car-
ries Qxinto the dual quadric Q∗
xin P(T∗
x(Q)). On the other hand, a point y∈p−1(x)corresponds to
a hyperplane Hy⊂P(Tx(Q)) , and ybelongs to Cif and only if Hyis tangent to Qx, that is y∈Q∗
x.
This proves the equality C= div(h′
q). Thus the fiber of p|C:C→Qat xis Qx, which is smooth, and
connected if n≥3.
Remark 7.1.The variety Cis an example of a total dual VMRT [H-L-S], for the proof of the Theorem we
will combine this tool with the birational transformation of PT∗Xdefined by a double cover, cf. [A-H].
We will have to consider the following situation. Let Q′be another quadric in Pn+1 , such that the
intersection B:= Q∩Q′is a smooth hypersurface in Q. The surjection TQ→NB/Q gives a section of
PT∗Qover B, hence an embedding s:B ֒→PT∗Q.
Lemma 7.1. The image s(B)is not contained in C.
Proof : Let x∈B. The point s(x)in P(T∗
x(Q)) corresponds to the hyperplane image of Tx(B)in Tx(Q);
we must show that this hyperplane is not tangent to the quadric Qx:= hq(x). In terms of projective
space, this means that the projective tangent space to Q′at xis not tangent to the cone Q∩PTx(Q)at a
smooth point yof Q.
Suppose this is the case, with y= (y0,...,yn+1 ). We can assume that Q′is defined by Pαix2
i= 0,
with αi∈Cdistinct. Then the (projective) tangent space to Q′at x, given by P(αixi)ξi= 0, must
coincide with the tangent space to Qat y, given by Pyiξi= 0. This implies y= (α0x0,...,αn+1 xn+1 ).
Thus the point xmust satisfy Xx2
i=Xαix2
i=Xα2
ix2
i= 0 .
If these relations hold for all xin B, the quadric Pα2
ix2
i= 0 must belong to the pencil spanned by Q
and Q′. This means that there exist scalars λ, µ, ν such that
λα2
i+µαi+ν= 0 for all i ,
which is impossible since the αiare distinct. Therefore there exists x∈Bsuch that s(x)/∈C.
7.2. Explicit description of symmetric tensors. Wekeep the notation of the previous sections: X⊂P=Pn+2
is defined by q1=q2= 0, with
q1=
n+2
X
i=0
x2
i, q2=
n+2
X
i=0
µix2
iwith µi∈Cdistinct.
We put ∂i:= ∂
∂xi
. We have an exact sequence
0→TX→TP|X
(dq1,dq2)
−−−−−−−→ OX(2)2→0,
where dqimaps the restriction of a vector field Von Pto V·qi. This gives an exact sequence of symmetric
tensors
(4) 0→S2TX→S2TP|X
(dq1,dq2)
−−−−−−−→ TP|X(2)2,
where dqi(V1V2) = (V1·qi)V2+ (V2·qi)V1for V1, V2in H0(X, TP|X).
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 13
Proposition 7.2. The quadratic vector fields si:= X
j6=i
(xi∂j−xj∂i)2
µj−µi
in H0(X, S2TP|X)belong to the image of
H0(X, S2TX).
Proof : According to the exact sequence (4) we have to prove dq1(si) = dq2(si) = 0 .
We have (xi∂j−xj∂i)·q1= 0 , hence dq1(si) = 0, and (xi∂j−xj∂i)2·q2= 2(µj−µi)xixj(xi∂j−xj∂i),
hence, using Pxj∂j= 0 and q1|X= 0:
dq2(si) = 2x2
iX
j6=i
xj∂j−(2xi∂i)X
j6=i
x2
j= 0 ,which proves the Proposition.
Fron now on we will consider the sias elements of H0(X, S2TX).
7.3. The double cover. Let p:Pn+2 99 K Pn+1 be the projection (x0,...,xn+2 )7→ (x1,...,xn+2 ). The
image p(X)is the smooth quadric Qin Pn+1 defined by
n+2
X
i=1
(µi−µ0)x2
i= 0 .
The restriction π:X→Qof pis a double covering, branched along the subvariety B⊂Qdefined by
n+2
X
i=1
x2
i=
n+2
X
i=1
µix2
i= 0 .
It is a smooth complete intersection of 2 quadrics in Pn+1 . The ramification locus R⊂Xof π(isomorphic
to B) is the hyperplane section x0= 0 of X.
The tangent map of π:X→Qgives a morphism
τ:TX→π∗TQ
which is an isomorphism outside of R. Consider the normal exact sequence
0→TR→TX|R→NR/X →0.
The involution ι: (x0,...,xn+2 )7→ (−x0, x1,...,xn+2)acts on TX|R; this splits the exact sequence,
giving a decomposition
TX|R=TR⊕NR/X
into eigenspaces for the eigenvalues +1 and −1. Let ρ:TX|R→TRbe the projection on the first
summand. We deduce from ρa sequence of homomorphisms
hk:H0(X, SkTX)−→ H0(X, SkTX|R)Skρ
−−−→ H0(R, SkTR).
Since ι∗∂0=−∂0and ι∗∂j=∂jfor j > 0, we have
(5) h2(s0) = 0 and h2(si) = X
j>0
j6=i
(xi∂j−xj∂i)2
µj−µi
for i > 0 ;
in other words, h2maps s1, . . . , sn+2 to the elements ˆs1,...,ˆsn+2 of H0(R, S2TR)constructed in Propo-
sition 7.2 applied to R.
14 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
Let π∗PT∗Qbe the pull back under πof the projective bundle PT∗Q→Q. The homomorphism
τ:TX→π∗TQgives rise to a birational map g:π∗PT∗Q99K PT∗X. Following the geometric descrip-
tion of the tangent map as an elementary transformations of vector bundles in the sense of Maruyama
[M1],[M2, Corollary 1.1.1], one has a commutative diagram
(6) Γ
µ
{{✈✈✈✈✈✈✈✈✈ν
""
❋
❋
❋
❋
❋
❋
❋
❋
❋
π∗PT∗Qg//❴❴❴❴❴❴❴
p
##
❍
❍
❍
❍
❍
❍
❍
❍
❍
PT∗X
q
||①
①
①
①
①
①
①
①
①
X
where pand qare the canonical projections, ν: Γ →PT∗Xis the blow-up along the subspace PT∗R⊂PT∗X
defined by the projection ρ,µ: Γ →π∗PT∗Qis the blow-up of the image B′of the embedding
B ֒→π∗PT∗Qdeduced from the surjective homomorphism π∗TQ→π∗NB /X .
Let Eµbe the exceptional divisor of µ. By [M2, Theorem 1.1], there is an isomorphism
(7) µ∗Oπ∗PT∗Q(1) ⊗OΓ(−Eµ)∼
=ν∗OPT∗X(1) ,
as well as the equality
(8) ν∗Eµ=q∗R .
7.4. The divisor of s0.We now consider the divisor C⊂PT∗Qdefined in (7.1), and the cartesian dia-
gram
π∗PT∗Qπ′
//
PT∗Q
Xπ//Q .
Put C′:= π′−1(C). The projection C′→Xis again a smooth quadric fibration, so C′is smooth, and
connected for n≥3.
Recall that we have defined the element s0:=
n+2
X
j=1
(x0∂j−xj∂0)2
µj−µ0
∈H0(X, S2TX)(7.2). We will view
s0as an element of H0(PT∗X, O(2)) .
Proposition 7.3. Assume n≥3. We have g∗C′= div(s0).
Proof : We first show that g∗C′∈ |OPT∗X(2)|. By Proposition 7.1 we have C′∈ |Oπ∗PT∗Q(2) ⊗p∗OX(−2)|.
Using (7), (8) and the projection formula, we get the linear equivalences
ν∗µ∗C′∼2ν∗µ∗(c1(Oπ∗PT∗Q(1) −p∗R)) ∼2(c1(OPT∗X(1)) + q∗R)−2q∗R=c1(OPT∗X(2)) .
Thus it is enough to prove that ν∗µ∗C′is irreducible. Since C′is irreducible and µis the blow-up
along B′⊂π∗PT∗Q, it suffices to show that B′is not contained in C′. If this is the case, we have
π′(B′)⊂π′(C′) = C. But π′(B′) = s(B), where s:B ֒→PT∗Qis the embedding defined by the
surjective homomorphism TQ→NB/Q . Then the result follows from Lemma 7.1.
Since g∗C′and div(s0)are linearly equivalent effective divisors and g∗C′is irreducible, it suffices to
show that their restrictions to PT∗
xXcoincide for a general point x∈X.
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 15
Fix a point x= [x0,...,xn+2]∈XrR, so that x06= 0 . Then the tangent map T π (x) : Tx(X)→Tπ(x)(Q)
is an isomorphism; in the diagram (6), the maps µ, ν and grestricted over the fibers at xare all isomor-
phisms. Let us show that C′and T π (div(s0)) define the same quadric in P(Tπ(x)(Q)).
Now C′∩P(T∗
x(X)) = C∩P(T∗
π(x)(Q)) is the quadric defined by the element h′
qof (7.1). In the
coordinates (zi)defined by zi= (µi−µ0)1/2xi, the equation of Qis
n+2
X
j=1
z2
j= 0, so
h′
q=
n+2
X
j=1
∂
∂zj2=
n+2
X
j=1
∂2
j
µj−µ0
·
On the other hand, since π(x0,...,xn+2 ) = (x1,...,xn+2), we have T π(∂0) = 0 and T π(∂j) = ∂jfor
j > 0, hence
T π(s0) = x2
0
n+2
X
j=1
∂2
j
µj−µ0
·
Since x06= 0, this proves the Proposition.
7.5. Proof of part a) of the Theorem. Suppose now that n≥3. Consider the double cover π:X→Q
and the ramification divisor R⊂X. The restriction maps hkdefined in (7.3) yield a homomorphism of
graded C-algebras
h:S(X) := H0(X, S•TX)−→ H0(R, S•TR) =: S(R).
Proposition 7.4. The kernel Iof his the ideal generated by s0.
Proof : Since Iis a homogeneous ideal, it suffices to prove that every homogeneous element s∈Ican
be written as s=s′s0for some element s′∈S(X).
Fix an element s∈Iof degree k. It corresponds to an effective Cartier divisor Gin the linear system
|OPT∗X(k)|. Recall the commutative diagram (6)
Γ
µ
{{✈✈✈✈✈✈✈✈✈ν
""
❋
❋
❋
❋
❋
❋
❋
❋
❋
π∗PT∗Qg//❴❴❴❴❴❴❴
p
##
❍
❍
❍
❍
❍
❍
❍
❍
❍
PT∗X
q
||①
①
①
①
①
①
①
①
①
X
Put ˆ
G:= µ∗ν∗G⊂π∗PT∗Q. By (7), ˆ
Gbelongs to the linear system |Oπ∗PT∗Q(k)|.
Here comes the key observation: since s∈I, the divisor ˆ
G⊂π∗PT∗Qcontains p∗R. Indeed, since
(π∗TQ)|Ris invariant under ι, the homomorphism τ|Rfactors as
τ|R:TX|R
ρ
−→ TR−→ (π∗TQ)|R.
Therefore we have a commutative diagram
H0(X, SkTX)hk
//
Skτ
H0(R, SkTR)
H0(X, Skπ∗TQ)//H0(R, Sk(π∗TQ)|R)
16 A. BEAUVILLE, A. ETESSE, A. H ¨
ORING, J. LIU, AND C. VOISIN
so that Skτ(s)vanishes on R. But ˆ
Gis the divisor of Skτ(s), viewed as a section of Oπ∗PT∗Q(k), hence
ˆ
Gcontains p∗R.
Now we want to show that the divisor C′⊂π∗PT∗Qis a component of ˆ
G−p∗R. Recall (7.1) that Cis
the union of the lines ℓwhich are contracted by the morphism γ:PT∗Q→G, so that c1(OPT∗Q(1))·ℓ= 0 .
Thus the curves ℓ′:= π′∗ ℓcover C′, and satisfy c1(Oπ∗PT∗Q(1)) ·ℓ′= 0 . On the other hand the divisor
R⊂Xis a hyperplane section, so p∗R·ℓ′=R·p∗ℓ′>0. Therefore
(ˆ
G−p∗R)·ℓ′<0,
so C′is a component of ˆ
G. Thus g∗C′is a component of G. Since g∗C′= div(s0)by Proposition 7.3,
this proves the Proposition.
The following Proposition implies part a) of our main Theorem:
Proposition 7.5. Assume n≥2. For any choice of indices 0≤i1< . . . < in≤n+ 2, the homomorphism
C[t1,...,tn]→S(X)which maps tjto sij, with deg(ti) = 2 , is an isomorphism of graded C-algebras.
Proof : We argue by induction on n. The statement for n= 2 follows from [DO-L, Theorem 5.1], except
the fact that any two of the sigenerate H0(X, S2TX). Up to permuting of the coordinates, it suffices to
prove that s0and s1are linearly independent. But h2:H0(X, S2TX)→H0(R, S2TR)maps s0to zero
and si, for i > 0, to the corresponding elements ˆsiof H0(R, S2TR); this implies our assertion.
Assume n≥3. By the induction hypothesis, the homomorphism C[t1,...,tn−1]→S(R)which maps
tito ˆsiis an isomorphism of graded C-algebras (with deg(ti) = 2 ). It follows that his surjective, and that
(s0,...,sn−1)form a basis of H0(X, S2TX)and generate the C-algebra S(X). Thus we have a surjective
homomorphism u:C[t0,...,tn−1]→S(X), with u(ti) = si.
In particular, the Krull dimension of S(X)is at most n. On the other hand, the ring S(X)is a domain
and s0is neither zero nor a unit. Thus, by Krull’s Hauptidealsatz, the Krull dimension of S(X)is equal
to n, hence uis an isomorphism. By permutation of the coordinates we get the same result for any choice
of nelements in {s0,...,sn+2}, hence the Proposition.
REF ERE NC ES
[A-H] F. Anella, A. H¨oring :
The cotangent bundle of a K3 surface of degree two
. Preprint arXiv:2207.09294.
[B-H-K] I. Biswas, Y.I. Holla, C. Kumar :
On moduli spaces of parabolic vector bundles of rank 2 over
CP1. Michigan Math. J. 59
(2010), no. 2, 467-475.
[B-L] C. Birkenhake, H. Lange :
Complex abelian varieties
. Grundlehren der mathematischen Wissenschaften 302. Springer-
Verlag, Berlin, 1992.
[B-N-R] A. Beauville, M.S. Narasimhan, S. Ramanan :
Spectral curves and the generalised theta divisor
. J. Reine Angew. Math. 398
(1989), 169-179.
[C] C. Casagrande :
Rank
2
quasiparabolic vector bundles on
P1
and the variety of linear subspaces contained in two odd-
dimensional quadrics
. Math. Z. 280 (2015), no. 3-4, 981-988.
[DO-L] B. De Oliveira, C. Langd on :
Twisted symmetric differentials and the quadric algebra of subvarieties of
PN
of low codi-
mension
. Eur. J. Math. 5(2019), no. 2, 454-475.
[D-R] U. Desale, S. Ramanan :
Classification of vector bundles of rank
2
on hyperelliptic curves
. Invent. Math. 38 (1976/77), no.
2, 161-185.
[G-H] P. Griffiths,J. Harris :
Algebraic geometry and local differential geometry
. Ann. Sci. ´
Ecole Norm. Sup. (4) 12 (1979), no. 3,
355-452.
[H] N. Hitchin :
Stable bundles and integrable systems
. Duke Math. J. 54 (1987), no. 1, 91-114.
SYMMETRIC TENSORS ON THE INTERSECTION OF TWO QUADRICS AND LAGRANGIAN FIBRATION 17
[H-L-S] A. H¨oring, J. Liu, F. Shao:
Examples of Fano manifolds with non-pseudoeffective tangent bundle
. J. Lond. Math. Soc. (2)
106 (2022), no. 1, 27-59.
[K-L] H. Kim, Y. Lee :
Lagrangian fibration structure on the cotangent bundle of a del Pezzo surface of degree
4. Preprint
arXiv:2210.01317.
[M1] M. Maruyama :
On a family of algebraic vector bundles
, Dissertation Kyoto University,
https://doi.org/10.14989/doctor.r2072, 1972.
[M2] M. Maruyama :
On a family of algebraic vector bundles
. Number theory, algebraic geometry and commutative algebra, in
honor of Yasuo Akizuki, pp. 95-146. Kinokuniya, Tokyo, 1973.
[N] P. Newstead :
Stable bundles of rank
2
and odd degree over a curve of genus
2. Topology 7(1968), 205-215.
[R] M. Reid :
The complete intersection of two or more quadrics
. PhD thesis, Cambridge University, 1972.
[V] P. Vanhaecke :
Integrable systems in the realm of algebraic geometry
. Lecture Notes in Mathematics 1638. Springer-Verlag,
Berlin, 1996.
UNI VER SI T ´
ECˆ
OT E D’AZU R, C NRS – L ABO RAT OIRE J .-A . DI EU DO NN ´
E, PARC VA LR OS E , F- 06 108 N I CE C EDE X 2, FR AN C E
Email address:arnaud.beauville@univ-cotedazur.fr
INS TI TUT MAT H ´
EM ATI QUE DE TOUL OU S E, U NIVE RS IT ´
EPAUL SABAT I ER , 118 RTE D E NA RB ON N E, 31400 TO U LO US E
Email address:antoine.etesse@ens-lyon.fr
UNI VER SI T ´
ECˆ
OT E D’AZU R, C NRS – L ABO RAT OIRE J .-A . DI EU DO NN ´
E, PARC VA LR OS E , F- 06 108 N I CE C EDE X 2, FR AN C E
Email address:Andreas.Hoering@univ-cotedazur.fr
INS TI T UT E O F MAT H EM ATIC S, A CAD EM Y O F MATHE MAT I CS A ND SY S TE MS SC I EN C E, C HI N ES E AC AD EM Y O F SC IE NCE S, B E I-
JI NG , 100190, CH IN A
Email address:jliu@amss.ac.cn
SOR BO N NE UN IV ERS IT ´
E AN D UN IV ERS IT ´
EPARI S CI T ´
E, CN RS , IMJ -PRG , F-75 005 PAR I S, F RAN CE
Email address:claire.voisin@imj-prg.fr