<ph f="cmr"> </ph><ph f="cmbx">Apolar schemes of algebraic forms</ph>

Jaydeep Chipalkatti

A b s t r a c t . T h i s i s a n o t e o n t h e c l a s s i c a l W a r i n g ' s p r o b l e m f o r a l g e b r a i c f o r m s . F i x i n t e g e r s ( n , d , r , s ) , a n d l e t Λ b e a g e n e r a l r - d i m e n s i o n a l s u b s p a c e o f d e g r e e d h o m o g e n e o u s p o l y n o m i a l s i n n + 1 v a r i a b l e s . L e t A d e n o t e t h e v a r i e t y o f s - s i d e d p o l a r p o l y h e d r a o f Λ . W e c a r r y o u t a c a s e - b y - c a s e s t u d y o f t h e s t r u c t u r e o f A f o r s e v e r a l s p e c i f i c v a l u e s o f ( n , d , r , s ) . I n t h e f i r s t b a t c h o f e x a m p l e s , A i s s h o w n t o b e a r a t i o n a l v a r i e t y . I n t h e s e c o n d b a t c h , A i s a f i n i t e s e t o f w h i c h w e c a l c u l a t e t h e c a r d i n a l i t y .   M a t h e m a t i c s S u b j e c t C l a s s i f i c a t i o n ( 2000 ) : 14 N 05 , 14 N 15 . K e y w o r d s : W a r i n g ' s p r o b l e m , a p o l a r i t y , p o l a r p o l y h e d r o n .  

1 Introduction

We begin with a classical example to illustrate the theme of this paper. Let F 1 , F 2   be general quadratic forms in variables x 0 , . . . , x n   , with coefficients in C   . It is then possible to diagonalize the F i   simultaneously (see [17,Ch. 22] ), i.e., one can find linear forms L 1 , . . . , L n + 1   such that F i = c i 1 L 1 2 + ⋅ ⋅ ⋅ + c i ( n + 1 ) L n + 1 2 ,   for i = 1 , 2   , and some constants c i j ∈ C   . Moreover, up to rescaling there is a unique choice for the set { L 1 , . . . , L n + 1 }   . This result naturally leads to similar questions about forms of higher degree, where much less is known in general.
Now assume that F 1 , . . . , F r   are forms of degree d   in x 0 , . . . , x n   . Let Z = { L 1 , . . . , L s }   be a collection of linear forms in the x i   , such that it is possible to write F i = c i 1 L 1 d + ⋅ ⋅ ⋅ + c i s L s d , 1 ≤ i ≤ r ;   for some constants c i j ∈ C   . In nineteenth century terminology (introduced by Reye), Z   is then called a polar s   -hedron (polar s   -seit ) of the { F i }   . It corresponds to a collection of hyperplanes in P n   which stands in some geometric relation to the system of hypersurfaces defined by the F i   . The precise nature of this relation is very sensitive to the values ( n , d , r , s )   , but in any event it is invariant under the automorphisms of P n   .
For instance, in the example above, let Π i   be the hyperplane defined by L i = 0   . Then the n + 1   points P k = Π 1 ∩ ⋅ ⋅ ⋅ ∩ Π ^ k ⋅ ⋅ ⋅ ∩ Π n + 1 , ( k = 1 , . . . , n + 1 )   are exactly the vertices of the singular quadrics belonging to the pencil { F 1 + λ F 2 = 0 } λ ∈ P 1   .

1.1 A Summary of Results

Fix degree d   forms { F 1 , . . . , F r }   as above. Then the polar s   -hedra of this collection move in an algebraic family, denoted by A   . (See Definition  2.5  et seq. for the precise statement.) In this note we deduce results about the birational structure of A   for several specific quadruples ( n , d , r , s )   , in each case assuming that the F i   are chosen generally. A parameter count shows that the dimension of the variety A   is `expected' to be s ( n + r ) − r ( n + d d )   (more on this in § 2 below). For the quadruples ( 2 , 4 , 2 , 8 ) , ( 2 , 3 , 4 , 7 ) , ( 3 , 2 , 6 , 7 ) ( 2 , 3 , 7 , 8 ) ,   it is shown here that A   is a rational variety of expected dimension.
For the cases ( 2 , 3 , 8 , 8 ) , ( 3 , 2 , 7 , 7 ) , ( 2 , 4 , 3 , 9 ) ( 3 , 3 , 2 , 8 ) , ( 2 , 3 , 3 , 6 ) ,   the variety A   is expected to be (and is) a finite set of points; in each case we determine its cardinality. The calculation for ( 2 , 3 , 3 , 6 )   was done by Franz London over a century ago; a more rigorous and modern version of his proof is given here.
Along the way, we deduce some miscellaneous results for the quadruples ( 2 , 3 , 2 , 6 ) , ( 2 , 4 , 2 , 8 ) , ( 3 , 2 , 3 , 9 ) .   For instance, the result for ( 2 , 3 , 2 , 6 )   says the following: let F 1 , F 2   be two general ternary cubics and E   a smooth planar cubic curve apolar to F 1 , F 2   (in the sense explained below). Then E   passes through exactly three sextuples in A   .
In each of the cases above, there is a specific feature of the free resolution of s   general points in P n   which is exploited to deduce the answer. For the arguments to work smoothly, we require a technical condition on the polar s   -hedra, namely that they be `resolution-general' (in the sense of Definition  2.4 ). Although the specific technique used depends on the case at hand, two general themes are identifiable: the geometry of associated points and intersection theory on symmetric products of elliptic curves. I do not know of any technique which would apply uniformly to all ( n , d , r , s )   .
This subject is broadly referred to as `reduction to canonical form' or `Waring's problem for algebraic forms'; see [2, 6, 15, 20] for an introduction and further references. The paper [23] is an excellent compendium of known results about the structure of A   when r = 1   . For a discussion of ternary cubics (the case n = 2 , d = 3   ), see [22, 24] .
Acknowledgements: I would like to thank Anthony V. Geramita, Leslie Roberts and Queen's University for financial support while this work was in progress. The program Macaulay-2 has been useful, and I am grateful to its authors Dan Grayson and Mike Stillman.

2 Preliminaries

In this section we establish notation and describe the basic set-up of apolarity. The proofs may be found in [20] , also see [7, 8, 15, 19] .
The base field is C   . Let V   be an ( n + 1 )   -dimensional C   -vector space and consider the symmetric algebras R = ⊕ i ≥ 0 Sym i V * , S = ⊕ j ≥ 0 Sym j V .   If u ̲ = { u 0 , . . . , u n } , x ̲ = { x 0 , . . . , x n }   , are dual bases of V *   and V   respectively, then R = C [ u 0 , . . . , u n ] , S = C [ x 0 , . . . , x n ] .   There are internal product maps R i ⊗ S j ⟶ f i j S j − i   (see e.g. [14,p. 476] ), so S   acquires the structure of a graded R   -module. With the identification u ℓ = ∂ ∂ x ℓ   , the internal product can be seen as partial differentiation:
if φ ∈ R i   and F ∈ S j   , then f i j ( φ ⊗ F )   is obtained by applying the differential operator φ ( ∂ ∂ x 0 , . . . , ∂ ∂ x n )   to F ( x 0 , . . . , x n )   . We will write φ ∘ F   for f i j ( φ ⊗ F )   .
Let Λ ⊆ S d   be an r   -dimensional subspace of degree d   forms in the x ̲   , defining a point in the Grassmannian G ( r , S d )   . Let
Λ ⊥ = { φ ∈ R : φ ∘ F = 0 for every F in Λ } . (1)
Then Λ ⊥ = ⊕ i Λ i ⊥   is a graded ideal in R   , with Λ i ⊥ = R i   for i > d   . (It follows that the quotient R / Λ ⊥   is an artin level algebra of socle degree d   and type r   , but we will not use this explicitly.) For i ≤ d   , the codimension of Λ i ⊥   in R i   equals the dimension of the image of the internal product map R d − i ⊗ Λ ⟶ S i   Hence
dim Λ i ⊥ ≥ max { 0 , dim R i − r . dim R d − i } . (2)
Equality always holds for i = d   , and it holds for all i < d   if Λ   is a general point in G ( r , S d )   .
We will commonly use geometric language in the sequel, e.g., if n = 3   , then a point in G ( 2 , S 4 )   will be called a pencil of planar quartics.
Remark 2.1. If φ ∘ F = 0   , then φ , F   were classically said to be apolar to each other; and sometimes the entire set-up is called apolarity.
Of course, all of the above is subsumed in the statement that R , S   are dual Hopf algebras such that all structure maps are S L ( V )   -equivariant.
Henceforth we set P n = P S 1 = Proj R   . Usually Z ⊆ P n   will denote a closed subscheme with (saturated) ideal I Z ⊆ R   .
Definition 2.2. (cf. [20,Definition5.1] ) The scheme Z   is said to be apolar to Λ   , if I Z ⊆ Λ ⊥   .
The point of the definition is the following:
Theorem 2.3 (Reye). If Z   consists of s   distinct points { L 1 , . . . , L s } ⊆ P n   , then Z   is apolar to Λ   if and only if Λ ⊆ span { L 1 d , . . . , L s d }   .
We would like to consider the family of such Z   , but for technical reasons, we single out those schemes whose ideals are well-behaved.
Definition 2.4. A (zero-dimensional) length s   scheme Z ⊆ P n   will be called resolution-general, if the graded Betti numbers in the minimal resolution of I Z   are the same as those in the resolution of s   general points.
For instance, a length 7   subscheme Z ⊆ P 2   is resolution-general iff its minimal resolution looks like 0 → R ( − 5 ) ⊕ R ( − 4 ) → R ( − 3 ) 3 → R → R / I Z → 0 .   In particular, Z   does not lie on a conic.
Definition 2.5. A zero-dimensional scheme Z ⊆ P n   will be called a polar polyhedron of Λ   , if it is apolar to Λ   and resolution-general.
Let Hilb ( s , P n )   be the Hilbert scheme parametrising length s   subschemes of P n   . Let A ( s , Λ )   denote the set of polar s   -hedra of Λ   , it is then a constructible subset of Hilb ( s , P n )   . We will write A   for A ( s , Λ )   if no confusion is likely.
Remark 2.6. In the literature there is no unanimity on the definition of a `polar polyhedron', in particular the approaches in [7] and [23] are different from ours and from each other. It is understood that if Z = { L 1 , . . . , L s }   are s   general points, then morally Z   should count as a polar s   -hedron of any Λ ⊆ span { L i d }   . However, it is not obvious which degenerations of Z   should be allowed, and it seems that (within reason) we should tailor our definition to the specific problem at hand.
Many of our results depend on a free resolution of I Z   , and hence `resolution-general' seems to be the most suitable notion. This issue never arises in [22] , because there it is tacitly assumed that all geometric configurations are nondegenerate.
If A ( s , Λ )   is nonempty, so is A ( t , Λ )   for any t > s   . It is the case that every Λ   in G ( r , S d )   admits a polar ( n + d d )   -hedron. An elementary parameter count (see [2] ) shows that a general Λ   in G ( r , S d )   will admit a polar s   -hedron only if
s ≥ r ( n + d d ) n + r . (3)
Definition 2.7. A quadruple ( n , d , r , s )   which satisfies ( 3 ) is said to be nondegenerate, if a general Λ   admits a polar s   -hedron.
A quadruple satisfying ( 3 ) is degenerate if the set { Λ : A ( s , Λ ) ≠ ∅ }   fails to be dense in G ( r , S d )   . Very few such examples are known (see [2] for the list), but none of them is without its geometric peculiarity.
In general it is not trivial to prove that a particular quadruple is nondegenerate.
For r = 1   , we have the following classification theorem by Alexander and Hirschowitz.
Theorem 2.8 (see [19] ). Assuming r = 1   and d > 2   , the only degenerate cases are ( n , d , s ) = ( 2 , 4 , 5 ) , ( 3 , 4 , 9 ) , ( 4 , 4 , 14 )   and ( 4 , 3 , 7 )   .
For r > 1   we have the following results by Dionisi and Fontanari.
Theorem 2.9. Assume r > 1   . Then
  • (i) for n = 2   , the only degenerate quadruple is ( 2 , 3 , 2 , 5 )   ;
  • (ii) there are no degenerate quadruples with r ≥ n + 1   .
The proofs may be found in [4, 12] respectively. Part (i) was claimed by Terracini [27] , but his proof is obscure.
If ( n , d , r , s )   is nondegenerate, then with a slight abuse of notation we will write A   for A ( s , Λ )   , where Λ   is understood to be a general point of G ( r , S d )   . It has dimension s ( n + r ) − r ( n + d d )   .

3 Associated systems of points

Recall ([10,p. 313] ) that if Γ   is a zero-dimensional Gorenstein scheme, then any closed subscheme Γ ′ ⊆ Γ   has a residual scheme Γ ′ ′ ⊆ Γ   , such that deg Γ ′ + deg Γ ′ ′ = deg Γ .   In particular this applies if Γ   is a (global) complete intersection in P n   , which is the only case we will need.
Now let Λ   denote a general pencil of planar quartics. Then A = A ( 8 , Λ )   is 2   -dimensional; we will show that it is rational. Every Z ∈ A   has a Hilbert-Burch resolution 0 → R ( − 5 ) 2 → μ R ( − 4 ) ⊕ R ( − 3 ) 2 → R → R / I Z → 0 .   (See [3] for the basic theory behind the Hilbert-Burch theorem.) In particular dim ( I Z ) 3 = 2   , so Z   has an associated point α ( Z )   , defined to be the residual intersection of cubics passing through Z   . The matrix of the map μ   has the form
M = [ 2 ̲ 2 ̲ 1 ̲ 2 ̲ 2 ̲ 1 ̲ ] , (4)
with the convention that j ̲   stands for a degree j   form.
Theorem 3.1. Let Λ   be a general pencil of planar quartics. Then the morphism α : A ⟶ P 2   admits a rational inverse, hence A   is a rational surface.
Proof. Fix a general point in the image of α   , by change of coordinates we assume it to be P = [ 0 , 0 , 1 ]   . We would like to show that there is a unique resolution general length 8   scheme Z   with associated point P   .
Now P   is defined by the vanishing of the rightmost column in ( 4 ), hence, after row-operations, M   can be brought into the form M = [ q 1 q 2 u 0 q 3 q 4 u 1 ] , q i ∈ R 2 .   We start with the 24   -dimensional vector space of 2 × 2   matrices V 1 = { N = [ q 1 q 2 q 3 q 4 ] : q i ∈ R 2 } .   For N ∈ V 1   , write
θ N = u 1 q 1 − u 0 q 3 , θ N ′ = u 1 q 2 − u 0 q 4 , ω N = q 1 q 4 − q 2 q 3 , (5)
and let J N   be the ideal generated by θ N , θ N ′ , ω N   . Thus V 1   is a parameter space for all Hilbert-Burch matrices as above. For a dense open set of elements N   in V 1   , the ideal J N   defines a planar length 8   scheme.
We let G L 2 ( C )   act on V 1   by right multiplication, i.e., for g = [ α β γ δ ] ∈ G L 2   , and N   as above,
N g = [ q 1 α + q 2 γ q 1 β + q 2 δ q 3 α + q 4 γ q 3 β + q 4 δ ] (6)
Define V 2 = { N ∈ V 1 : θ N , θ N ′ ∈ Λ 3 ⊥ }   , which is a 12   -dimensional subspace of V 1   . (If F ∈ Λ   , then θ N ∘ F = θ N ′ ∘ F = 0   is a set of six linear equations. In all, V 2   is defined by 12   linear equations which are independent for a general Λ   , hence dim V 2 = 12   .) Inside V 2   , there is a 6   -dimensional subspace V 3 = { [ a u 0 b u 0 a u 1 b u 1 ] : a , b ∈ R 1 } .   (Since θ N , θ N ′ = 0   for N ∈ V 3   , the containment V 3 ⊆ V 2   is clear.) Form the 6   -dimensional space W = V 2 / V 3   . For N ∈ V 2   , write [ N ]   for the corresponding point in the projective space P W ≃ P 5   . Since V 3 ⊆ V 2 ⊆ V 1   are inclusions of G L 2   -modules, W   is also a (right) G L 2   -module; in particular P G L 2   acts on P W   . The point of this construction lies in the following lemma:
Lemma 3.2.
  • (i) If N , N ~ ∈ V 2   are such that [ N ] , [ N ~ ]   lie in the same P G L 2   -orbit of P W   , then J N = J N ~   .
  • (ii) Let Z ∈ α − 1 ( P )   . Consider two minimal resolutions of I Z   with corresponding Hilbert-Burch matrices M , M ~   , and let N , N ~   denote their leftmost minors. Then [ N ] , [ N ~ ]   lie in the same P G L 2   -orbit in P W   .
Proof. By straightforward calculation,
θ N g = α θ N + γ θ N ′ , θ N g ′ = β θ N + δ θ N ′ , ω N g = det ( g ) ω N , (7)
so J N = J N g   . Let Q = [ a u 0 b u 0 a u 1 b u 1 ] ∈ V 3   . Then
θ N + Q = θ N , θ N + Q ′ = θ N ′ , ω N + Q = ω N − a θ N ′ + b θ N , (8)
so J N + Q = J N   . This proves (i).
Any two minimal resolutions of I Z   are isomorphic (see [9,§20.1] ), which translates into the statement that N   and some G L 2   -translate of N ~   must differ by an element of V 3   . This says that [ N ] , [ N ~ ]   must be in the same orbit, which is (ii). □ Now define a subvariety Y = { [ N ] ∈ P W : ω N ∘ Λ = 0 } ⊆ P W   .
Formulae ( 8 ) imply that ω N + Q ∘ Λ = 0 ⟺ ω N ∘ Λ = 0   (since θ N ∘ Λ = θ N ′ ∘ Λ = 0   ), hence this definition is meaningful. The inclusion Y ⊆ P W   is a P G L 2   -stable by formulae ( 7 ). By the previous lemma, each Z ∈ α − 1 ( P )   defines an orbit Ω Z ⊆ Y   . The P G L 2   -stabilizer of a point in Ω Z   is trivial, hence dim Ω Z = 3   . The union of { Ω Z } Z ∈ α − 1 ( P )   fills a dense open subset in Y   . Hence it is enough to show that Y   contains only one three-dimensional component, this will imply that α − 1 ( P )   is singleton. Define
Γ 1 = { [ N ] ∈ P W : N = [ q 1 0 q 3 0 ] for some q i and θ N ∘ Λ = 0 } ,
Γ 2 = { [ N ] ∈ P W : N = [ 0 q 2 0 q 4 ] for some q i and θ N ′ ∘ Λ = 0 } ,
each of which is a copy of P 2   in Y   . Define a birational map h : Γ 1 ⟶ Γ 2   as follows. Let [ N ] ∈ Γ 1   , then there is a 4   -dimensional family of solutions ( q 2 , q 4 )   to the equations θ N ′ ∘ Λ = ω N ∘ Λ = 0 .   (This is so because q 2 , q 4   together depend upon 12   parameters and there are 8   equations.) However, if ( q 2 , q 4 )   is one such solution, then ( q 2 + a u 0 , q 4 + a u 1 )   is also one for any a ∈ R 1   , and this accounts for all the solutions. Hence the class in P W   of the matrix [ 0 q 2 0 q 4 ]   is uniquely determined. We define h ( [ N ] )   to be this class. (The reader should verify that this definition is independent of the choice of coset representative for [ N ]   .) Now a general element in Y   can be written as a sum [ N ] + [ h ( N ) ]   for [ N ] ∈ Γ 1   , i.e., the ruled join of Γ 1 , Γ 2   along h   contains a dense open subset of Y   . Since this join is irreducible (it is the image of the Segre imbedding P 2 × P 1 ⊆ P 5   ), we are done. □ The argument for the following proposition is similar. As before, ( 2 , 3 , 4 , 7 )   is nondegenerate by Theorem  2.9 .
Proposition 3.3. Let Λ   be a general web of planar cubics. Then A ( 7 , Λ )   is a rational surface.
Proof. The Hilbert-Burch matrix for Z ∈ A   is [ 1 ̲ 1 ̲ 1 ̲ 2 ̲ 2 ̲ 2 ̲ ]   . For a general Z   , the linear forms in the top row are independent, hence after column operations we can assume the matrix to be [ u 0 u 1 u 2 q 0 q 1 q 2 ] , q i ∈ R 2 .   Let V 1   denote the 18   -dimensional vector space { [ q 0 , q 1 , q 2 ] : q i ∈ R 2 }   , and V 2   the 3   -dimensional subspace { [ a u 0 , a u 1 , a u 2 ] : a ∈ R 1 }   . Let W = V 1 / V 2   . Then the 12   equations { ( u i q j − u j q i ) ∘ Λ = 0 }   cut out a 2   -plane in P W   which is birational to A   . □ Now let ( n , d , r , s ) = ( 3 , 2 , 6 , 7 )   , we will show that A   is birational to the projective 3   -space. The ideal of every Z ∈ A   is generated by three quadrics and and a cubic. The associated point α ( Z )   is defined to the residual intersection of the quadrics through Z   .
Proposition 3.4. Let Λ   be a general point of G ( 6 , S 2 )   . Then the map α : A ⟶ P 3   is birational.
Proof. Let Z   be a resolution-general scheme of length 7   . It is apolar to Λ   iff the three generating quadrics lie in Λ 2 ⊥   .
Let P   be a general point of P 3   , and let W ⊆ Λ 2 ⊥   be the 3   -dimensional subspace of forms vanishing at P   . Then W   defines a length 8   scheme Y   . Now the residual scheme of P   in Y   is the only point of A   mapping to P   . □
Remark 3.5. The case ( 2 , 3 , 7 , 8 )   has a similar geometry, where A   is birational to P 2   . For ( 2 , 3 , 8 , 8 )   (resp. ( 3 , 2 , 7 , 7 )   ), A   is a finite set consisting of 9   (resp. 8   ) points.

4 Symmetric Products of Elliptic Curves

For the examples in this section, the determination of A   reduces to an intersection-theoretic calculation on the symmetric product of an elliptic curve. If E   is a smooth projective curve, then E ( m )   will denote its m   -th symmetric product. This is a smooth projective variety whose points are naturally seen as effective degree m   divisors on E   .
Let Λ   be a general net of planar quartics. Since ( 2 , 4 , 3 , 9 )   is nondegenerate, A   is a finite set. In the next theorem we calculate its cardinality.
Theorem 4.1. Let Λ   be a general net of planar quartics. Then Λ   admits 4   polar enneahedra.
Proof. The ideal of Z ∈ A   is generated by one cubic and 3   quartics.
The space Λ 3 ⊥   is one-dimensional, i.e., Λ   is apolar to a unique cubic curve E ⊆ P 2   . Since Λ   is general, we may (and will) assume that E   is smooth. If H   denotes the hyperplane divisor on E   , then we have an identification H 0 ( E , 4 H ) = R 4 / ( I E ) 4   . This is a 12   -dimensional space, denoted U   .
Let W = Λ 4 ⊥ / ( I E ) 4   , which is a 9   -dimensional space inside U   . Every scheme Z ⊆ P 2   of length 9   which is apolar to Λ   is contained in E   , and thus defines an effective divisor on E   . Then the 3   -dimensional space H 0 ( E , 4 H − Z )   , which is a priori inside U   , is in fact contained in W   .
The argument shows that the following diagram is a fibre square: A − − − → G ( 3 , W ) ↓ i 1 ↓ E ( 9 ) − − − → i 2 G ( 3 , U )   Here i 1   is the natural inclusion and i 2 ( Z ) = H 0 ( E , 4 H − Z )   . Since the images of both inclusions have complementary codimensions, it is enough to take the intersection of their classes inside H * ( G ( 3 , U ) , Z )   in order to calculate the degree of A   as a zero-cycle.
Conventions. The notation for Schubert calculus follows [13,§14.7] .
We refer to [1] for some basic cohomological calculations on curves. If X 1 , X 2   are varieties, then denote projections by π i : X 1 × X 2 ⟶ X i   . All cohomology is with Z   -coefficients. If α   is a class in H * ( X 1 )   (resp. H * ( X 2 )   ), then its pullback to H * ( X 1 × X 2 )   is denoted α ⊗ 1   (resp. 1 ⊗ α   ). Cup product is written as juxtaposition.
Firstly, we should find the rank 3   subbundle of U ⊗ O E ( 9 )   which defines the inclusion i 2   . Let Δ   denote the universal divisor on E ( 9 ) × E   (see [1,Ch.IV] ), so that Δ | { Z } × E = Z × E   . Define a line bundle ℳ = π 2 * ( O E ( 4 H ) ) ⊗ O ( − Δ )   on E ( 9 ) × E   . Applying π 1 *   to the inclusion ℳ ⊆ π 2 * ( O E ( 4 H ) ) ,   we have ( G = ) π 1 * ( ℳ ) ⊆ U ⊗ O E ( 9 ) .   A moment's reflection will show that i 2   is induced by the last inclusion.
The image of i 2   has class { 3 , 3 , 3 }   . Hence by the Jacobi-Trudi identity, the class of A   in H 18 ( E ( 9 ) )   is given by c 3 ( G * ) 3   , which we now calculate.
The cohomology rings of E   and E ( 9 )   . Let δ 1 , δ 2 ∈ H 1 ( E )   be a symplectic basis, it will then generate H * ( E )   . The product η = δ 1 δ 2 ∈ H 2 ( E )   is the class of a point.
Let ℒ   be a Poincaré line bundle ([1,Ch.IV] ) on E × Pic 9 ( E )   , then ℰ = π 2 * ( ℒ )   is a rank 9   bundle on Pic 9 ( E )   . Fix an isomorphism Pic 9 ( E ) = E   , then by the calculation of [1,p. 336] , c 1 ( ℰ ) = − η   . Now let ξ = c 1 ( O P ℰ ( 1 ) ) ∈ H 2 ( P ℰ )   . With the identification P ℰ = E ( 9 )   , the ring H * ( E ( 9 ) )   is generated by ξ   and (the pullbacks of ) δ 1 , δ 2   , subject to the relation ξ 9 = ξ 8 η   .
The Chern class of ℳ   and G-R-R. Let − γ = ( δ 1 ⊗ 1 ) ( 1 ⊗ δ 2 ) − ( δ 2 ⊗ 1 ) ( 1 ⊗ δ 1 ) ,   a class in H 1 , 1 ( E ( 9 ) × E )   . By [1,p. 337-338] , c 1 ( O ( Δ ) ) = ξ ⊗ 1 + γ + 9 ( 1 ⊗ η ) ,   hence c 1 ( ℳ ) = − ξ ⊗ 1 − γ + 3 ( 1 ⊗ η ) .   Now we apply Grothendieck–Riemann–Roch to ℳ   along the projection E ( 9 ) × E ⟶ π 1 E ( 9 )   . Thus ch ( π 1 ! ℳ ) td ( E ( 9 ) ) = π 1 * ( ch ( ℳ ) td ( E ( 9 ) × E ) ) .   Since R i π 1 * ℳ = 0   for i > 0   and td ( E ) = 1   , this simplifies to ch ( G ) = π 1 * ( e c 1 ( ℳ ) ) .   Let n i   denote the i   -th Newton class of G   (i.e., the sum of i   -th powers of the Chern roots of G   ), then ch ( G ) = ∑ i ≥ 0 n i / i !   . Now we expand the exponential series, and apply π 1 *   term by term, to get
n 0 = 3 , n 1 = 1 2 ( − 6 ξ − 2 η ) ,
n 2 = 1 3 ( 9 ξ 2 + 6 ξ η ) , n 3 = 1 4 ( − 12 ξ 3 − 12 ξ 2 η ) .
Then c 3 ( G ) = 1 6 n 1 3 − 1 2 n 1 n 2 + 1 3 n 3 = − ( ξ 3 + ξ 2 η ) .   Hence finally c 3 ( G * ) 3 = ( ξ 3 + ξ 2 η ) 3 = 4 ξ 8 η .   Since ξ 8 η   is the class of a point on E ( 9 )   , we deduce that A   has degree 4   .
In order to show that A   is reduced and hence consists of 4   geometric points, we use Kleiman's transversality result (see [18,Theorem10.8] ).
We can reformulate the entire construction in the following way: start with a smooth E   and hence U   , then specifying a codimension 3   subspace W ⊆ U   is tantamount to specifying Λ   . Since G ( 3 , U )   is a homogeneous space for G L ( U )   , the intersection is transversal for a general W   , so A   is reduced. □ The next example is that of a pencil of cubic surfaces. We need to show that ( 3 , 3 , 2 , 8 )   is nondegenerate, the proof is given in § 6 .
Proposition 4.2. Let Λ   be a general pencil of cubic surfaces. Then Λ   admits 3   polar octahedra.
Proof. The calculation is very similar to Theorem  4.1 . The ideal of 8   general points in P 3   is generated by 2   quadrics and 4   cubics. Now Λ 2 ⊥   is 2   -dimensional, hence generates the ideal of a smooth normal elliptic quartic E ⊆ P 3   apolar to Λ   , and every Z ∈ A   is in fact contained in E   . Let U = R 3 / ( I E ) 3 , W = Λ 3 ⊥ / ( I E ) 3 ,   which are spaces of dimension 12 , 10   respectively. Define i 1 , i 2   as before, then the following diagram is a fibre square A − − − → G ( 4 , W ) ↓ i 1 ↓ E ( 8 ) − − − → i 2 G ( 4 , U )   Now i 2   is induced by a rank 4   bundle G   on E ( 8 )   . The class of A   in E ( 8 )   equals c 4 ( G * ) 2 = ( ξ 4 + ξ 3 η ) 2 = 3 ξ 7 η .   The argument for transversality is the same as before. □ Using similar calculations, we can give alternate proofs of the following results by Schlesinger [26,p. 212] ). The original argument uses ϑ   -functions.
Proposition 4.3 (Schlesinger).
  • (1) Let Λ   be a general pencil of planar cubics. Fix a general elliptic curve E ⊆ P 2   apolar to Λ   . Then there are 3   polar hexahedra of Λ   which are contained in E   .
  • (2) Let Λ   be a general pencil of planar quartics. Fix a general elliptic curve E ⊆ P 2   apolar to Λ   . Then there are 3   polar octahedra of Λ   which are contained in E   .
Proof. We will only prove (1), the argument for (2) is identical in essence. Recall that the ideal of 6   general planar points is generated by 4   cubics. Since ( 2 , 3 , 2 , 6 )   is nondegenerate1 , A ( 6 , Λ )   is 4   -dimensional.
Consider the incidence correspondence Φ ⊆ A × P Λ 3 ⊥ , Φ = { ( Z , E ) : Z ⊆ E } .   The projection π 1 : Φ ⟶ A   is generically a P 3   -bundle, so dim Φ = 7   . Fix a general elliptic curve E   apolar to Λ   , and consider the diagram G ( 3 , Λ 3 ⊥ / ( I E ) 3 ) i 1 ↓ E ( 6 ) − − − → i 2 G ( 3 , R 3 / ( I E ) 3 )   As usual, i 1   is the inclusion and i 2 ( Z ) = H 0 ( E , 3 H − Z )   . Then i 2 ( Z )   lies in the image of i 1   , iff Z   is apolar to Λ   . Calculating as before, the product [ image i 1 ] . [ image i 2 ]   equals thrice the class of a point. Hence π 2 − 1 ( E )   must be nonempty. This implies that π 2 : Φ ⟶ P Λ 3 ⊥ ( ≃ P 7 )   is dominant. But then it is generically finite, hence for a general E   , the fibre π 2 − 1 ( E )   consists of 3   points. □ It is shown in [2] (using a machine calculation) that ( 5 , 2 , 3 , 9 )   is nondegenerate. Now there is a (unique) elliptic sextic curve passing through 9   general points of P 5   . (The classical reference is [25] , also see [5]  for a proof using Gale duality.) Hence if Λ   is a general net of quadrics in P 5   and Z   a set of 9   general points apolar to Λ   , then the elliptic sextic passing through Z   is apolar to Λ   .
Proposition 4.4. Let Λ   be a general net of quadrics in P 5   . Fix a general elliptic sextic curve E ⊆ P 5   apolar to Λ   . Then there are 4   polar enneahedra of Λ   which are contained in E   .
Proof. Similar to above. Use the fact that the ideal of 9   general points (resp. an elliptic sextic curve) is generated by 12   (resp. 9   ) quadrics. □

1 This is the smallest s   possible, because ( 2 , 3 , 2 , 5 )   is degenerate by [2] .

5 The ( 2 , 3 , 3 , 6 )   case

Now we come to London's beautiful calculation in [22] , where he determines the number of polar hexahedra of a general net of cubic curves. I have rewritten the proof so as to make it more transparent, but all the key ideas are already in the original.
Let Λ   be such a net. By Theorem  2.9 (i), Λ   has a finite number of polar hexahedra. We will count them by setting up a correspondence on a certain elliptic curve.

5.1

We begin by motivating the constructions which are to follow. Say { F 1 , F 2 , F 3 }   is a basis of Λ   and Z = { L 1 , . . . , L 6 }   one of its polar hexahedra. We have expressions F j = c 1 j L 1 3 + ⋅ ⋅ ⋅ + c 6 j L 6 3 , j = 1 , 2 , 3 .   Let ψ ∈ R 2   be the form which defines the conic passing through { L 2 , . . . , L 6 } ⊆ P S 1   . Since ψ   annihilates L 2 3 , . . . , L 6 3   , we have ψ ∘ F j = constant × L 1   for every j   , so ψ ∘ Λ   is only a 1   -dimensional vector space.
It will be seen below (§ 5.2 ) that all ψ   with this property lie on a curve.
Similarly if l 1 , l 1 ′ ∈ R 1   annihilate L 1   , then the six derivatives { l 1 ∘ F j , l 1 ′ ∘ F j : j = 1 , 2 , 3 }   span only a 5   -dimensional space. It will be seen below (§ 5.3 ) that all 2   -dimensional spaces span { l 1 , l 1 ′ } ⊆ R 1   with this property lie on a curve, isomorphic to the previous one.

5.2

Now we come to the actual constructions. The symbol ( ↫   ) will appear frequently, it is explained in Remark  5.2 . Consider the vector bundle morphism on P R 2 ( = P 5 )   f 23 : O P 5 ( − 1 ) ⊗ Λ ⟶ S 1   coming from the internal product map of § 2 . Define the degeneracy locus Ψ = { rank f 23 ≤ 1 }   . For a general Λ   , it is a degree 6   normal elliptic curve in P 5   ( ↫   ). Note that Λ 2 ⊥ = 0   by the generality of Λ   , so rank f 23   is exactly 1   at each ψ ∈ Ψ   .

5.3

Now identify P S 1   with the Grassmannian G ( 2 , R 1 )   , the latter is equipped with a rank two tautological bundle ℬ ⊆ R 1 ⊗ O G   . The internal product f 13   gives a morphism f 13 : ℬ ⊗ Λ ⟶ S 2   The locus E = { rank f 13 ≤ 5 } = { det f 13 = 0 }   is given by a section of O P S 1 ( 3 )   , hence it is a smooth ( ↫   ) degree 3   curve in P S 1   . By the generality of Λ   , the rank of f 13   is exactly 5   at every L ∈ E   ( ↫   ).

5.4

We have an isomorphism α : E ⟶ Ψ   defined as follows: let L ∈ E   , and U = L ⊥   . By hypothesis, the space f 13 ( U ⊗ Λ )   is 5   -dimensional, so it is annihilated by a unique form in P R 2   , we declare α ( L )   to be this form. It is clear that f 23 ( α ( L ) ⊗ Λ )   is only 1   -dimensional (since U   annihilates it), so α ( L ) ∈ Ψ   .
If Z   is as in § 5.1 above, then α ( L 1 )   is the conic envelope containing the lines defined by L 2 , . . . , L 6   .

5.5

Define a correspondence T   on E   as follows: ( L , M ) ∈ T   iff M   lies on the conic defined by α ( L )   . For a fixed L   , there are 6   positions of M   such that ( L , M ) ∈ T   . For a fixed M   , the elements of Ψ   which vanish at M   lie on a hyperplane section of Ψ   . Via α − 1   , the points of this hyperplane section correspond to 6   positions of L   . This shows that T   has degree ( 6 , 6 )   and valence zero.

5.6

By the general theory of correspondences (see [16,§2.5] ), there are 12   elements in T   of the form ( L , L )   , they are called the united points of T   .
Moreover T , T − 1   have 72   common points, i.e., pairs ( L , M )   such that ( L , M ) , ( M , L ) ∈ T   . Hence there are 72 − 12 = 60   such pairs where ( L , M )   are distinct.
It is clear that starting from Z   , the pairs ( L 1 , L 2 )   etc. are common to T , T − 1   . The next lemma says that the implication is reversible.
Lemma 5.1. Assume ( L , M ) , ( M , L ) ∈ T   , and L ≠ M   . Let the conics α ( L ) , α ( M )   intersect in { P 1 , P 2 , P 3 , P 4 }   . Then Z = { L , M , P 1 , . . . , P 4 }   is a polar hexahedron of Λ   .
Proof. Recall that the ideal of 6   general points is generated by 4   cubics. Let l , l ′ ∈ R 1   be generators of L ⊥   , and m , m ′   of M ⊥   . Consider the four cubic forms { l α ( L ) , l ′ α ( L ) , m α ( M ) , m ′ α ( M ) } .   They are linearly independent and each of them vanishes at all points of Z   . Hence together they generate ( I Z ) 3   . Moreover, the definition of α   implies that each of them annihilates Λ   . Hence I Z ⊆ Λ ⊥   . □ Now a polar hexahedron of Λ   gives 2 ( 6 2 ) = 30   pairs ( L i , L j )   common to T , T − 1   . Alternately, starting from a common point we can reconstruct a polar hexahedron as shown above. Hence, following London, we conclude that Λ   has 60 ÷ 30 = 2   polar hexahedra.
Remark 5.2. At several points in the proof we need to argue that our construction satisfies a certain `good' property, for instance Ψ   has codimension 4   as expected and is smooth. This follows from the generality of Λ   , as soon as we verify that it holds for a specific Λ   . Such points are marked by ( ↫   ), and I have verified the property in question by a direct computer calculation for a general net in the span of x 0 3 , x 1 3 , x 2 3 , ( x 0 + x 1 + x 2 ) 3 , ( x 0 − x 1 + x 2 ) 3 , ( x 0 − 2 x 1 + 3 x 2 ) 3 .   This was carried out in Macaulay-2. For instance, to verify the last point in § 5.3 , we choose two basis elements with indeterminate entries for an element of G ( 2 , R 1 )   , represent f 13   by a matrix and check that the ideal defined by all 5 × 5   minors defines the empty scheme.

6 Nondegeneracy of ( 3 , 3 , 2 , 8 )  

To prove this result, we will use the notion of a grove, which was introduced in [2] . The general definition is meaningful for any ( n , d , r , s )   , but we will formulate it only for the case at hand.
Let p ̲ = { p 1 , . . . , p 8 }   (resp. Q ̲ = { Q 1 , . . . , Q 8 }   ) be points in P 1   (resp. in P 3   ).
Definition 6.1. A grove for the data p ̲ , Q ̲   is a linear system Γ ⊆ P H 0 ( P 3 , O P ( 3 ) )   of projective dimension (say) t   , satisfying the following conditions:
  • (1) The base locus of Γ   contains all the Q i   ,
  • (2) t = 0   or 1   , and
  • (3) either t = 0   and the generator of Γ   is singular at all Q i   , or t = 1   and there is an isomorphism γ : P 1 ⟶ Γ   such that for every i   , the hypersurface γ ( p i )   is singular at Q i   .
Now [2,Theorem2.6] says the following: the quadruple ( 3 , 3 , 2 , 8 )   is nondegenerate iff there does not exist a grove for general points p ̲ , Q ̲   as above. Existence of a grove is an open property of p ̲ , Q ̲   (loc. cit.), so it is enough to exhibit some collection of points which does not admit a grove. I concede that the definition of a grove is awkward, in defence one can only say that it is a proof-generated concept in the sense of Lakatos (see [21,Appendix2] ). We begin with a preliminary lemma.
Lemma 6.2. Let E   be an elliptic curve and ℳ   a line bundle on E   of degree 4   . Let Q 1 , . . . , Q 8   be distinct points on E   . Then it is possible to find points p 1 , . . . , p 8   on P 1   , such that there is no morphism f : E ⟶ P 1   satisfying the following conditions:
  • A. 2 ≤ deg f ≤ 4   , and if deg f = 4   then f * ( O P 1 ( 1 ) ) ≃ ℳ   ;
  • B. the equality f ( Q i ) = p i   holds for at least 4 + deg f   values of i   .
Proof. Since h 0 ( ℳ ) = 4   , there are ∞ 4   g 4 1   's coming from ℳ   . However, modulo automorphisms of P 1   there are ∞ 5   octuples ( p 1 , . . . , p 8 )   . Hence for a general octuple, there is no such map of degree 4   .
Similarly there are ∞ 3   (resp. ∞ 1   ) g 3 1   's (resp. g 2 1   's) on E   . Since (B) imposes 4   (resp. 3   ) conditions in these cases, for a general choice of p i   none of the possibilities can hold. The lemma is proved. □ Now w , x , y , z   be the coordinates in P 3   . Consider the normal elliptic quartic E ⊆ P 9   defined by the two quadrics G 1 = w x + x y + y z + z w , G 2 = w y + x z .   Choose points
Q 1 = [ 1 , 0 , 0 , 0 ] , Q 3 = [ 0 , 0 , 1 , 0 ] , Q 5 = [ − 1 , 1 , 1 , 1 ] , Q 7 = [ 1 , 1 , − 1 , 1 ] ,
Q 2 = [ 0 , 1 , 0 , 0 ] , Q 4 = [ 0 , 0 , 0 , 1 ] , Q 6 = [ 1 , − 1 , 1 , 1 ] , Q 8 = [ 1 , 1 , 1 , − 1 ] ,
all lying on E   , and the p i = [ p i 1 , p i 2 ]   general in P 1   .
Assume by way of contradiction that Γ   is a grove for the data. If t = 0   , then the generator of Γ   contains at least 16   points of E   (counting each Q i   as two), hence it contains E   by Bézout's theorem.
Case 1. Assume that Γ   contains E   as a fixed component (with t   possibly 0   or 1   ). Then Γ   is spanned by two cubics of the form C 1 = L 1 G 1 + L 2 G 2 , C 2 = L 1 ′ G 1 + L 2 ′ G 2 ,   where L 1 , L 1 ′   etc are linear forms and p i 1 C 1 + p i 2 C 2   is singular at Q i   for i = 1 , . . . , 8   . (The case C 1 =   (constant). C 2   corresponds to t = 0   .) An elementary linear algebra computation on the Jacobian matrix shows that this is impossible for general p i   .
Case 2. Assume that E   is not contained in the base locus of Γ   (hence necessarily t = 1   ). Let λ   be the linear series obtained by restricting Γ   to E   and removing the base divisor ∑ Q i   . Thus λ   is a g 4 1   . Let f : E ⟶ P 1   be the corresponding morphism (of course, only well-defined up to automorphisms of P 1   ). Let H   denote the hyperplane divisor on E   and ℳ = O E ( 4 H − ∑ Q i )   .
Case 2.1. If λ   is base point free (i.e., if Γ   has no additional base point on E   away from ∑ Q i   ), then deg f = 4   and f * ( O P 1 ( 1 ) ) ≃ ℳ   .
Since the quartic γ ( p i )   passes doubly through Q i   , we have f ( Q i ) = p i   for all i   .
Case 2.2. If λ   has base points, then deg f ≤ 3   . The base locus of λ   can contain at most 4 − deg f   points from the set { Q i }   , hence f ( Q i ) = p i   holds for at least 4 + deg f   values of i   .
Now the previous lemma implies that either subcase is impossible for general choice of p i   , hence no such grove can exist. We have proved that ( 3 , 3 , 2 , 8 )   is nondegenerate. □

7 Open problems

Whenever A   is a finite set, we have the obvious enumerative problem of counting its cardinality. Beyond a handful of cases (see [23] ) it is entirely open. In particular, I do not know the cardinality of A   for ( 2 , 4 , 4 , 10 )   or ( 3 , 3 , 3 , 10 )   .
It is also of interest to consider the family of positive dimensional schemes (with a fixed Hilbert polynomial) apolar to Λ   . For instance, it is known that there are two twisted cubics apolar to a general web of quadrics in P 3   (see [11,p. 32] ).
It is known that a general net of quadrics in P 5   does not admit a polar octahedron (see [2] ), contrary to what one would expect by counting parameters. However it is not known if such a net always admits an apolar rational normal quintic curve. A solution to this would help in elucidating the case ( 5 , 2 , 3 , 8 )   .
References

  1. E. Arbarello, M. Cornalba, P. A. Griffiths, J. Harris. Geometry of Algebraic Curves, Volume I. Grundlehren der mathematischen Wissenschaften, No. 267. Springer–Verlag, New York, 1985.
  2. E. Carlini, J. Chipalkatti. On Waring's problem for several algebraic forms. Comment. Math. Helv., vol. 78, no. 3, pp. 494–517, 2003.
  3. C. Ciliberto, A. V. Geramita, F. Orecchia. Remarks on a theorem of Hilbert-Burch. Boll. Unione Mat. Ital. B(7). vol. 2, no. 3, pp. 463–483, 1988.
  4. C. Dionisi, C. Fontanari. Grassmann defectivity à la Terracini. To appear in Le Matematiche.
  5. I. Dolgachev. On certain families of elliptic curves in projective space. Ann. Mat. Pura Appl. (4), vol. 183, no. 3, pp. 317–331, 2004.
  6. I. Dolgachev. Dual homogeneous forms and varieties of sums of powers. Milan J. of Math. 72, pp. 163–187, 2004.
  7. I. Dolgachev, V. Kanev. Polar covariants of cubics and quartics. Adv. in Math., vol. 98, no. 2, pp. 216–301, 1993.
  8. R. Ehrenborg, G.-C. Rota. Apolarity and canonical forms for homogeneous polynomials. Europ. J. of Combinatorics, vol. 14, no. 3, pp. 157–181, 1993.
  9. D. Eisenbud. Commutative Algebra, with a View Toward Algebraic Geometry. Graduate Texts in Mathematics. Springer–Verlag, New York, 1995.
  10. D. Eisenbud, M. Green, J. Harris. Cayley-Bacharach theorems and conjectures. Bulletin of the A.M.S. (new series), vol. 33, no. 3, pp. 295–324, 1996.
  11. G. Ellingsrud, S.A. Strømme. The number of twisted cubic curves on a quintic threefold. Math. Scand., vol. 76, no. 1, pp. 5–34, 1995.
  12. C. Fontanari. On Waring's problem for many forms and Grassmann defective varieties. J. of Pure and Appl. Alg., vol. 174, no. 3, pp. 243–247, 2002.
  13. W. Fulton. Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3 Folge. Springer–Verlag, Berlin, 2nd edition, 1998.
  14. W. Fulton, J. Harris. Representation Theory, A First Course. Graduate Texts in Mathematics. Springer–Verlag, New York, 1991.
  15. A.V. Geramita. Inverse Systems of Fat Points. Queen's Papers in Pure and Applied Mathematics, Vol. X. Queen's University, 1995.
  16. P. A. Griffiths, J. Harris. Principles of Algebraic Geometry. Wiley Interscience, New York, 1978.
  17. J. Harris. Algebraic Geometry, A First Course. Graduate Texts in Mathematics. Springer–Verlag, New York, 1992.
  18. R. Hartshorne. Algebraic Geometry. Graduate Texts in Mathematics. Springer–Verlag, New York, 1977.
  19. A. Iarrobino. Inverse system of a symbolic power II. The Waring problem for forms. J. of Algebra, vol. 174, no. 3, pp. 1091–1110, 1995.
  20. A. Iarrobino, V. Kanev. Power Sums, Gorenstein Algebras and Determinantal Loci. Springer Lecture Notes in Mathematics No. 1721, 1999.
  21. I. Lakatos. Proofs and Refutations. Cambridge University Press, 1976.
  22. F. London. Über die Polarfiguren der ebenen Curven dritter Ordnung. Math. Ann., vol. 36, pp. 535–584, 1890.
  23. K. Ranestad, F.-O. Schreyer. Varieties of sums of powers. J. Reine Angew. Math., band 525, pp. 147–181, 2000.
  24. B. Reichstein, Z. Reichstein. Surfaces parametrizing Waring presentation of smooth plane cubics. Mich. Math. J., vol. 40, pp. 95–118, 1993.
  25. T. G. Room. The Geometry of Determinantal Loci. Cambridge University Press, Cambridge, 1938.
  26. O. Schlesinger. Ueber die Verwerthung der ϑ   -Functionen. Math. Ann., vol. 31, pp. 183–219, 1888.
  27. A. Terracini. Sulla rappresentazione delle coppie di forme ternarie mediante somme di potenze di forme lineari. Annali di Matematica, Serie III, Tomo XXIV, 1915.

J a y d e e p V . C h i p a l k a t t i D e p a r t m e n t o f M a t h e m a t i c s U n i v e r s i t y o f M a n i t o b a W i n n i p e g , M B R 3 T 2 N 2 , C a n a d a . e m a i l : c h i p a l k a @ c c . u m a n i t o b a . c a