On the variety of sum of powers of certain complete intersection forms

Theorem 1.1 follows from Theorem 3.11 and Theorem 3.22. Theorem 1.2 follows from Theorem 3.11 and Corollary 3.25.

Recall the definition of e-computability from [CCCGW18, Definition 3.5]. In Theorem 2.2, the rank of F is computed by h, as can be see from equation (3.1) in the proof of [BCMS26, Proposition 3.2]. Applying [CCCGW18, Proposition 3.6] we get

By Equation (Proof) we have h is a nonzerodivisor on I(\mathbb{X}). Hence we have

where H(T/I(\mathbb{X}), t) denotes the Hilbert series of T/I(\mathbb{X}) in the variable t. Similarly, h is also a nonzerodivisor in T/J. Therefore

By Equation (Proof), RHS of Equations (Proof) and (Proof) are equal. Hence we obtain

for i \geqslant 0. This completes the proof of the Proposition.

Let J be the ideal (f_0,\ldots,f_{k-1},f_{k+1},\ldots,f_n). We first claim that

Note that we have I(\mathbb{X}) \subset F^{\perp} \subset J+(h^2). Hence, I(\mathbb{X}) +(h^2) \subseteq J+(h^2). By (Proof), h is a nonzerodivisor on T/I(\mathbb X) and so the same is true for h^2. Clearly, h^2 is a nonzerodivisor on T/J. This gives

By Proposition 3.1, the extremes are equal and so we have equality everywhere in the above. This shows that I(\mathbb{X}) +(h^2) = J+(h^2).

Next we claim that (F^\perp:h^2)=J+(g). If h^2x=j+h^2gp, where j\in J, then h^2(x-gp)\in J, which shows that x-gp\in J. It follows that (F^\perp:h^2)\subset J+(g). The other inclusion is obvious. This proves the claim.

Since F^{\perp} \subset J+(h^2), by equation (Proof) we obtain F^{\perp}\subseteq I(\mathbb X)+(h^2). Hence, for u \in F^{\perp}, there exist v \in I(\mathbb{X}) and h' \in T such that

Note that u-v \in F^{\perp}. Therefore

Moreover, F^{\perp}:(h^2) = J+(g). Substituting this in Equation (?) we obtain

Hence we obtain u \in I(\mathbb{X}) +(h^2)J+(f_k). Therefore, F^{\perp} \subseteq I(\mathbb{X}) +(h^2)J+(f_k). Since the reverse inclusion is trivial, we obtain the equality

Suppose I(\mathbb{X}) +(f_k)\subsetneqq F^{\perp}. Choose a homogeneous polynomial H\in F^{\perp}\setminus (I(\mathbb{X}) +(f_k)) of least degree possible. Using (?), write H=v+ h^2v' where v\in I(\mathbb X)+(f_k) and v' \in J. Since \deg v' <\deg H, v' \in I(\mathbb X)+(f_k). This means that H=v+ h^2v'\in I(\mathbb X)+(f_k), a contradiction. This completes the proof of the Lemma.

By Lemma ?, we have F^{\perp} = I(\mathbb{X})+(f_k) for any minimal apolar ideal I(\mathbb{X}) to F. Therefore, for each 0 \leqslant i \leqslant n, and i\neq k, we have

for some \phi_i \in T_{a_i-a_k}. Let I :=\big(f_i - \phi_if_k \;\big|\; i \in \{0,\ldots,n\}\setminus\{k\}\big). Note that I+(f_k) = F^{\perp}. Hence, I is generated by a regular sequence. Since I \subset I(\mathbb{X}) and both have the same Hilbert function, it follows that we have equality.

Let \beta_0:=\beta. We will find a sequence of elements \beta_i, for i\geqslant 1, such that \beta_{i-1}=(-1)^i\beta_if_k. Then it will follow that \beta=0. Since \beta \in \mathcal I, there exist \delta_i, for i\in\{0,1,\ldots, n\}\setminus \{k\}, such that

where

is the decomposition in J_{d-a_k}\oplus C_{d-a_k}. Since \beta_1\in C_{d-a_k} we obtain \beta_1f_k\in C_d. Clearly, J_{d-a_k}f_k\subset J_d and so

Hence, \beta_0+\beta_1f_k\in C_d\cap J_d=0. Thus, \beta_0=-\beta_1f_k. As (\mathcal I:f_k)=\mathcal I, we obtain \beta_1\in \mathcal I_{d-a_k}\cap C_{d-a_k}. Proceeding in this fashion we see that \beta_0=-\beta_1f_k=\beta_2f_k^2=\ldots. This shows that \beta=0.

There exist \alpha_i\in T_{a_j-a_i} such that

By rearranging the terms we obtain

Since f_0, \ldots, f_n is a regular sequence and 1-\alpha_j\in \mathbb C we get \alpha_j=1.

Substitute this in Equation (Proof), we get

By Lemma 3.15 we obtain (\phi_j-\psi_j)f_k\in \mathcal I_{a_j}\cap C_{a_j}, and so is zero. Hence, \phi_j=\psi_j.

We first establish, by induction on d, that for d we have the containment

Base case d= a_k-1. Since d<a_k, the ideal J_{\leqslant d} is generated by those f_i for which a_i<a_k. Similarly, \mathcal I_{\leqslant d} is generated by those f_i-\phi_if_k for which a_i<a_k. But note that since \phi_i\in T_{a_i-a_k} we get \phi_i=0. It follows that J_{\leqslant d}=\mathcal I_{\leqslant d}. Thus, (Proof) holds for every d<a_k.

Inductive step. Suppose (Proof) holds in every degree strictly less than d, and let d \geqslant a_k. First,

since writing f_l = (f_l - \phi_lf_k) + \phi_lf_k gives

Now decompose T_{d-a_k} = J_{d-a_k} \oplus C_{d-a_k}, so that f_kT_{d-a_k} = f_kJ_{d-a_k} + f_kC_{d-a_k}. By the inductive hypothesis applied in degree d-a_k < d,we obtain

By using f_kC_{d-2a_k} \subset C_{d-a_k}, we get

Combining Equation (?) with (?) gives

Hence we obtain Equation (Proof) in degree d, completing the induction.

Let N=\{0,1,\ldots,n\}\setminus \{k\}. Let N_{< t}:=\{j\in N\,|\, a_j< t\}. For t\geqslant 0, suppose we have defined \psi_j for j\in N_{<t}. Set

so \mathcal I^{(0)} = \mathcal I. We will inductively construct \psi_j \in C_{a_j-a_k} and show \mathcal I^{(t)} = \mathcal I for every t\geqslant 0.

Base case t=0. \mathcal I^{(0)} = \mathcal I by definition.

Inductive step. Suppose \mathcal I^{(t)} = \mathcal I for some t \geqslant 0. If N_{<t}=N_{<t+1}, then clearly \mathcal I^{(t+1)} = \mathcal I and there is nothing to prove. So let us assume that N_{<t}\subsetneqq N_{<t+1}. We construct \psi_j \in C_{a_j-a_k} for j\in N_{<t+1}\setminus N_{<t} and show that \mathcal I^{(t+1)} = \mathcal I^{(t)} =\mathcal I.

Let j\in N_{<t+1}\setminus N_{<t}. Write \phi_j = \alpha_j + \beta_j with \alpha_j \in J_{a_j-a_k} and \beta_j \in C_{a_j-a_k}. By (Proof) applied in degree a_j-a_k,

By the inductive hypothesis, \mathcal I = \mathcal I^{(t)}, so u_j\in \mathcal I^{(t)}_{a_j-a_k}. Moreover, since {\rm deg}(u_j)<a_j, it is a T-combination of generators whose degree is strictly less than a_j. Note that as j\in N_{<t+1}\setminus N_{<t}, we have a_j=t, and so u_j is a T-combination of generators of \mathcal I^{(t)} whose degree is strictly less than t, which is precisely

Define \psi_j := \beta_j + f_k\sigma_j. Since f_k\sigma_j \in f_kC_{a_j-2a_k} \subset C_{a_j-a_k} and C_{a_j-a_k} is a subspace, \psi_j \in C_{a_j-a_k}. Moreover

Thus, we may consider the generator f_j - \phi_jf_k of \mathcal I^{(t)} and write

Since u_j\in (f_l-\psi_lf_k\,|\,{l\in N_{<t}}), it follows

Hence f_j-\psi_jf_k\in \mathcal I^{(t)}. It also shows that in \mathcal I^{(t)} we may replace the generator f_j-\phi_jf_k with f_j-\psi_jf_k. We may do this for every j\in N_{<t+1}\setminus N_{<t}. Hence

Thus, \mathcal I^{(t)}=\mathcal I^{(t+1)}. By induction, \mathcal I^{(t)} = \mathcal I for all t\geqslant 0. Taking t\gg 0 gives

with \psi_i \in C_{a_i-a_k} for each i, as required.

We argue as in the proof of [BBT13, Proposition 28]. Let

Consider the open subset U\subset \mathcal B' consisting of elements (\psi_{0},\ldots, \psi_{k-1},\psi_{k+1},\ldots,\psi_n) such that the ideal \mathcal I=(f_0-\psi_{0}f_k,\ldots,f_{k-1}-\psi_{k-1}f_k,f_{k+1}-\psi_{k+1}f_k,\ldots, f_n-\psi_nf_k) defines a reduced subscheme of \mathbb P^n. By Theorem 3.11 and Lemma 3.18 it follows that U maps surjectively onto \mathcal V. By Lemma 3.16 it follows that this map U\to \mathcal V is a bijection. Thus, {\rm VSP}(F) is irreducible of dimension equal to {\rm dim}(U)={\rm dim}(\mathcal B').

Let Z denote the subscheme of \mathbb P^n defined by the homogeneous ideal (f_0,\ldots,f_{n-1}). Then Z is zero-dimensional. Consider the following exact sequence of sheaves on \mathbb P^n, which is part of the Koszul resolution of \mathcal O_{Z} (after twisting by b):

corresponding to the regular sequence (f_0,\ldots,f_{n-1}). Let \tilde I denote the ideal sheaf of the scheme Z. Then \tilde I(b) is the image of the leftmost sheaf in the above sequence.

If 0\to \mathcal F' \to \mathcal F \to \mathcal F''\to 0 is a short exact sequence of sheaves, \mathcal F' is (m+1)-regular and \mathcal F is m-regular, then \mathcal F'' is m-regular. The sheaf \mathcal O(-m) is m-regular. Using the Koszul resolution of \tilde I, it easily follows that \tilde I is \left(\left(\sum\nolimits_{i=0}^{n-1}a_i\right)-n+1\right)-regular. It follows that for all b\geqslant \left(\sum\nolimits_{i=0}^{n-1}a_i\right)-n we have an exact sequence of vector spaces

Let \ell denote a general linear form which does not vanish at any point in the support of Z. Then

is an isomorphism. Assume b\geqslant \left(\sum\nolimits_{i=0}^{n-1}a_i\right)-n+2. Then from the above discussion, we have the following commutative square in which the vertical arrows are surjections:

Thus, if b\geqslant \left(\sum\nolimits_{i=0}^{n-1}a_i\right)-n+2 then the composite map

is surjective. Let f_n be any form of degree a_n\geqslant \left(\sum\nolimits_{i=0}^{n-1}a_i\right)-n+2. It follows that there is a form g of degree a_n-2 such that f_n-\ell^2g is in the kernel of the map

From (?) it follows that f_n-\ell^2g\in (f_0,f_1,\ldots,f_{n-1}). Thus, (f_0,\ldots,f_{n})=(f_0,\ldots,f_{n-1},\ell^2g).

Using Proposition 3.23 it follows that f_n=\ell^2g for some linear form \ell. As the subscheme V(f_0,f_1,\ldots,f_{n-1})\subset \mathbb P^n is reduced, we obtain that all the f_i are reduced for 0\leqslant i\leqslant n-1. Now we apply Theorem 3.22 to obtain the result.