Abstract
We give a new practical method for computing subvarieties of projective hypersurfaces. By computing the periods of a given hypersurface X, we find algebraic cohomology cycles on X. On well picked algebraic cycles, we can then recover the equations of subvarieties of X that realize these cycles. In practice, a bulk of the computations involve transcendental numbers and have to be carried out with floating point numbers. However, if X is defined over algebraic numbers then the coefficients of the equations of subvarieties can be reconstructed as algebraic numbers. A symbolic computation then verifies the results. As an illustration of the method, we compute generators of the Picard groups of some quartic surfaces. A highlight of the method is that the Picard group computations are proved to be correct despite the fact that the Picard numbers of our examples are not extremal.
Introduction
The Hodge conjecture asserts that on a smooth projective variety over \(\mathbb {C}\), the \(\mathbb {Q}\)span of cohomology classes of algebraic cycles and of Hodge cycles coincide [11]. One difficulty of this conjecture lies in the general lack of techniques that can reconstruct algebraic cycles from their cohomology classes. In this article, we take a computational approach to this reconstruction problem and develop Algorithm 3.1. The highlight of this algorithm is its practicality. We have a computer implementation of the method that allows us to give rigorous Picard group computations, see Sect. 3.1.
Our approach parallels that of [13] where it is proven that the periods of a general curve in a high degree surface in \(\mathbb {P}^3_{\mathbb{C}}\) are sufficient to reconstruct the equations of the curve. Because period computations are expensive in practice, our intended applications are towards low degree hypersurfaces where the periods give partial, but substantial, information. The computation of the Picard rank of quartic surfaces in Sect. 3 is an example. On another note, we expect that one can experiment with reconstructing Hodge cycles in hypersurfaces where the Hodge conjecture is not known, using [21, 24] and the arguments here.
Outline of the method
For a smooth hypersurface \(X \subset \mathbb {P}^{n+1}_{\mathbb {C}}\) of degree d, Griffiths residues [15] establishes a connection between homogeneous polynomials p on \(\mathbb {P}^{n+1}_\mathbb {C}\) and cohomology classes \(\omega _p\) on X, see Sect. 2.1 for a precise statement. Let \(S_u\) be the space of degree \(u \in \mathbb {Z}\) homogeneous forms on \(\mathbb {P}^{n+1}_\mathbb {C}\), with \(S_u=0\) if \(u<0\). For a topological cycle \(\delta \in \mathrm {H}_n(X,\mathbb {Z})\) and \(u,v \in \mathbb {Z}\) with \(u+v = (n/2+1)dn2\) we consider the following pairing:
and the associated map \(\varphi _{\delta ,u} :S_u \rightarrow S_v^\vee\) with kernel \(\tilde{I}_{\delta ,u}\). See Sect. 3 and Algorithm 3.1 in particular on how to compute \(\tilde{I}_{\delta ,u}\).
If \(\delta =[Y]\) for a subvariety \(Y \subset X\) then the ideal \(\tilde{I} = \bigoplus _{u\in \mathbb {N}} \tilde{I}_{\delta ,u}\) contains the ideal I(Y) of polynomials vanishing on Y (Proposition 2.2). However, the inclusion can be strict. When Y is a complete intersection in \(\mathbb {P}^{n+1}_\mathbb {C}\) an observation of [9] implies that the ideals \(\tilde{I}_{\delta }\) and I(Y) coincide up to some explicit degree m (Corollary 2.7). This property is not limited to complete intersections, as we demonstrate by recovering the ideals of twisted cubics on quartic surfaces, see Sects. 2.3 and 3.2. We currently do not know how to compute m a priori—unless Y is a complete intersection—but m is often easy to find once \(\tilde{I}\) is computed.
Applications to quartic surfaces
Starting with the defining equation of the hypersurface X, we can numerically approximate its periods [24], deduce Hodge cycles \(\delta\) on the cohomology of X [21], and compute the associated ideals \(\tilde{I}_\delta\) (Sect. 3). In this manner, it is now possible to construct rigorous lower bounds for the group of Hodge cycles on X. In order to demonstrate the method, we prove that the following two quartic surfaces
have Picard numbers 8 and 14 respectively (Sect. 3.1).
The novelty of the method is that it bypasses the need to symbolically search for points in Hilbert schemes of X, which is prohibitively expensive to carry out with present day computers. Once the periods of X are computed, simple linear algebra gives (an approximation of) the equations cutting out subvarieties on X.
Explicit determination of algebraic cycles on the surface X gives a lower bound on its Picard group. As our method places these classes inside the integral homology of X, we can saturate the lattice they generate. To claim that this saturation is the Picard group we need to find a (sharp) upper bound on the Picard number. We search for this complementary upper bound by reducing to finite characteristic, see [1] or [8].
Perfect Hodge cycles
This work prompts the question: Which algebraic subvarieties are reconstructible from their periods in general? A major step forward would be to determine if all the equations obtained from the periods of an algebraic cycle are caused by a representative of that cycle.
The notion of a perfect Hodge class given in Definition 2.10 makes this requirement precise. We demonstrate by way of example that knowing if a cycle is perfect has strong implications for the reconstruction step: Proposition 2.13 states that if the class of a twisted cubic in a quartic surface is perfect then this twisted cubic can be reconstructed from its periods.
We ask in Question 2.12 if all algebraic classes are perfect, believing that an investigation of this problem will be fruitful.
Fields of definition of algebraic cycles
In the last section of this article we study smooth projective varieties in general, only with the assumption that they are defined over a subfield \(\mathsf{k}\subset \mathbb {C}\) of the complex numbers. In this generality, we can not use Griffiths’ basis for cohomology and our method does not generalize. Nevertheless, we want to facilitate the search for algebraic cycles with the aid of periods.
We ask “Given the periods of an algebraic subvariety Y on X, what can we recover about Y?” If \(\mathsf{k}_Y/\mathsf{k}\) is the field generated by the periods of Y over \(\mathsf{k}\) then there exists an integer m and an algebraic cycle Z on X defined over \(\mathsf{k}_Y\) such that the cohomology class of Z is equal to the cohomology class of mY (Proposition 4.4). In practice, having bounds on m for which such a cycle Z exists is desirable. Working with divisors \(Y \subset X\) and assuming \(\mathrm {H}^1(X,\mathcal {O}_X)=0\), we compute an explicit bound for m (Theorem 4.5). It follows that if, in addition, \(H^2(X,\mathbb {Z})\) has no torsion and \(X(\mathsf{k})\ne \emptyset\) then we may take \(m=1\). The point of this result is that it simplifies the search for explicit divisors whose classes generate the Picard group of a given variety.
The foundational results in the last section are wellknown, but we hope our exposition, with an eye towards computation, will be of help in developing the techniques further.
Notation
Throughout this paper, \(\mathsf{k}\) will be a subfield of the complex numbers \(\mathbb {C}\). We will denote by \(S=\mathsf{k}[x_0,\dots ,x_{n+1}]\) the homogeneous coordinate ring of \(\mathbb {P}^{n+1}_{\mathsf{k}}\) and by \(S_u \subset S\) the subspace of degree \(u \in \mathbb {Z}\) homogeneous forms in S. For a smooth projective variety \(X/\mathsf{k}\) the symbols \(\mathrm {H}^m_{\mathrm{dR}}(X/\mathsf{k})\), \(\mathrm {H}^{p,q}_{\mathrm{dR}}(X/\mathsf{k})\) refer to the algebraic de Rahm cohomology of X [16]. The Hodge filtration on cohomology is denoted by \(F^\ell \mathrm {H}^m_{\mathrm{dR}}(X/\mathsf{k}) \simeq \bigoplus _{p \ge \ell }\mathrm {H}^{p,mp}\). We will write \(\mathrm {H}^m(X,\mathbb {Z})\), \(\mathrm {H}^m(X,\mathbb {Q})\), \(\mathrm {H}_m(X,\mathbb {Z})\) and \(\mathrm {H}_m(X,\mathbb {Q})\) for the singular homology and cohomology groups of the underlying complex analytic variety \(X^{\mathrm{an}}\) of X. The canonical pairing between a cohomology class and a homology class will be denoted by the integration symbol.
Reconstructing equations of effective Hodge cycles
Let \(X \subset \mathbb {P}^{n+1}_\mathsf{k}\), \(\mathsf{k}\subset \mathbb {C}\), be an even dimensional smooth hypersurface given by the zero set of a homogeneous polynomial \(f\in S=\mathsf{k}[x_0,\dots ,x_{n+1}]\), and \(Y \subset X\) a subvariety of dimension n/2. By periods of Y we mean the following linear map:
In this section we construct an ideal \(\tilde{I}_{[Y]}\) from the periods of Y and study how much of the ideal of Y can be recovered from \(\tilde{I}_{[Y]}\). Combining this with previous work to compute periods, we find the equations for conics and twisted cubics inside quartic surfaces. We also ask if the ideal \(\tilde{I}_{[Y]}\) is entirely geometric in origin, that is, if it is spanned by the ideals of subvarieties of X whose primitive cohomology classes are proportional to that of Y. We demonstrate how such a result can be used (or falsified) with the example of a twisted cubic on a quartic surface.
A quotient \(I_{\delta }\) of the ideal \(\pi (\tilde{I}_\delta )\) appears in the literature in the context of the tangent spaces of the Hodge and Noether–Lefschetz loci [26, §6.2], [9, 25, 23, §11]. See Sect. 2.2 for the relation between these two ideals.
An ideal attached to Hodge cycles
Let \(X=Z(f) \subset \mathbb {P}^{n+1}_\mathsf{k}\) be a hypersurface of degree d with n even. Let \(h^{n/2} \in \mathrm {H}^{n}(X,\mathbb {Z})\) be the polarization on X, that is, the Poincaré dual of a \((n/2+1)\)plane section of X. For any ring \(\mathsf{K}\) we will write \(\mathrm {PH}^{n}(X,\mathsf{K}) \subset \mathrm {H}^{n}(X,\mathsf{K})\) for the primitive cohomology groups, i.e., the space orthogonal to \(h^{n/2}\).
Denote by \(S = \mathsf{k}[x_0,\dots ,x_{n+1}]\) the coordinate ring of \(\mathbb {P}^{n+1}_\mathsf{k}\) and for each \(u \in \mathbb {Z}\) let \(S_u \subset S\) be the space of homogenous polynomials of degree u, with \(S_u=0\) if \(u <0\). For a variety \(Y \subset \mathbb {P}^{n+1}_\mathsf{k}\) let \(I(Y) \subset S\) be the ideal of Y. Let
and for each \(\ell \ge 0\) denote the Griffiths residue maps [15] as follows:
where
and hat denotes omission. In this paper we will identify Hodge cycles in homology and cohomology using Poincaré duality and write
Definition 2.1
For each \(u \in \mathbb {Z}\) let \(v=N+\frac{n}{2}du\) and, for each Hodge class \(\delta \in {{\,\mathrm{Hdg}\,}}^{n/2}(X)\), consider the pairing:
Expressed differently, we have a map \(\varphi _{\delta ,u} :S_u\otimes \mathbb {C}\rightarrow S_v^\vee \otimes \mathbb {C}\) and the kernel
Let \(\tilde{I}_\delta = \bigoplus _{u \ge 0} \tilde{I}_{\delta ,u} \subset S\) and observe that \(\tilde{I}_\delta\) is an ideal.
Proposition 2.2
If \(\delta = [Y]\) for a subvariety \(Y \subset X\) then \(I(Y) \subset \tilde{I}_{[Y]}\).
Proof
Since \(S_{<0}=0\), for any \(u>N+\frac{n}{2}d\) we trivially have \(\tilde{I}_{\delta ,u}=S_u\). For \(u\le N+\frac{n}{2}d\), \(p \in I(Y)_u\) and any \(q \in S_v\) we have \(pq \in I(Y)_{N+\frac{n}{2}d}\). Therefore, it will be sufficient to show that for any \(p \in I(Y)_{N+\frac{n}{2}d}\) we have \(\int _Y \omega _p = 0\).
Since \(\omega _p \in {{\mathcal {F}}}^{n/2}\mathrm {H}^n_\mathrm{dR}(X) = \bigoplus _{i \le n/2} \mathrm {H}^{ni,i}(X)\) we can write \(\omega _p = \sum _{i \ge n/2} (\omega _p)^{i,ni}\) respecting the Hodge structure. Since \(\delta =[Y]\) is algebraic, \(\int _{\delta } \omega _p = \int _Y (\omega _p)^{n/2,n/2}\). As computed in [4], the class \((\omega _p)^{n/2,n/2}\) admits a simple representation as a Čeck cohomology class in \(\mathrm {PH}^{n/2}(X,\Omega ^{n/2}_{X/k})\). Let us write \(U_j \subset X\) for the open locus where the jth derivative \(f_j := \partial f/\partial x_j\) does not vanish, and let \(\iota _j\) be the operator which contracts forms by \(\partial /\partial x_j\). Given a tuple \(J=(j_0,\dots ,j_q) \in \{0,\dots ,n+1\}^{q+1}\) write \(U_J = \cap _{j \in J}U_j\), \(\iota _J = \iota _{j_q} \circ \dots \circ \iota _{j_0}\), \(\Omega _J = \iota _J \Omega\) and \(f_J = \prod _{j \in J} f_j\). We then have the following equivalence of Čeck cocycles (modulo coboundary):
When \(p\in I(Y)\), the form representing \((\omega _p)^{n/2,n/2}\) will pullback to zero on Y. Therefore \(\int _Y (\omega _p)^{n/2,n/2} = 0\). \(\square\)
First consequences
Let \(S = \mathsf{k}[x_0,\dots ,x_{n+1}]\) be the coordinate ring of \(\mathbb {P}^{n+1}_\mathsf{k}\) and \({{\,\mathrm{Jac}\,}}(f) = (f_0,\dots ,f_{n+1}),\ \ f_i:=\frac{\partial f}{\partial x_i}\) be the Jacobian ideal of f, \(R=S/{{\,\mathrm{Jac}\,}}(f)\) and \(\pi :S \rightarrow R\) the quotient map. We will write \(R_u = \pi (S_u)\) and for each \(\delta \in {{\,\mathrm{Hdg}\,}}^{n/2}(X)\) write \(I_{\delta }=\pi (\tilde{I}_\delta )\).
Lemma 2.3
For any \(\delta \in {{\,\mathrm{Hdg}\,}}^{n/2}(X)\) we have \(\tilde{I}_\delta = \pi ^{1}(I_\delta )\).
Proof
We need to show that \({{\,\mathrm{Jac}\,}}(f) \subset \tilde{I}_\delta\). It will be sufficient to show that if \(p \in {{\,\mathrm{Jac}\,}}(f) \cap S_{N+\frac{n}{2}d}\) then \(\omega _p\) annihilates \(\delta\). The residue map \({{\,\mathrm{res}\,}}:S_{N+\ell d} \rightarrow F^{n\ell }\mathrm {H}^n_\mathrm{dR}(X)\) can be factored into an isomorphism taking the form \(R_{n+\ell d} \overset{\sim }{\rightarrow }F^{n\ell }\mathrm {H}^n_\mathrm{dR}(X)/F^{n\ell +1}\mathrm {H}^n_\mathrm{dR}(X) : p \mapsto (\omega _p)^{n\ell ,\ell }\). Combine this observation with the fact that \(F^{n/2+1}\mathrm {H}^n_\mathrm{dR}(X)\) annihilates \({{\,\mathrm{Hdg}\,}}^{n/2}(X)\). \(\square\)
For \(\delta \in {{\,\mathrm{Hdg}\,}}^{n/2}(X)\) write \(\delta _\mathrm{prim}\in \mathrm {PH}^{n/2}(X,\mathbb {Q})\) for the primitive part of \(\delta\).
Lemma 2.4
For any \(\delta , \delta ' \in {{\,\mathrm{Hdg}\,}}^{n/2}(X)\) we have \(I_\delta = I_{\delta '}\) if \(\mathbb {Q}\langle \delta _{\mathrm{prim}} \rangle = \mathbb {Q}\langle \delta '_{\mathrm{prim}} \rangle\).
Proof
Since every form \(\omega _p\) annihilates the polarization \(h^{n/2}\), we have \(I_\delta =I_{\delta _\mathrm{prim}}\). On the other hand, the kernel of the linear form \(p \mapsto \int _{\delta _{\mathrm{prim}}} \omega _p\) depends only on the line spanned by the class \(\delta _{\mathrm{prim}}\). \(\square\)
Suppose \(Y \subset X\) is a complete intersection of dimension n/2 in \(\mathbb {P}^{n+1}_\mathsf{k}\) and write \(Y=Z(g_0,\dots ,g_{n/2})\). Assuming that \(d_i = \deg g_i < d\) we can find homogeneous forms \(h_0,\dots ,h_{n/2} \in S\) such that \(f = g_0h_0 + \dots + g_{n/2}h_{n/2}\).
Proposition 2.5
(Proposition 2.14 [9]) With \(Y \subset X\) as above, we have
Corollary 2.6
We have
Proof
This follows from Proposition 2.5 and Lemma 2.3. \(\square\)
Corollary 2.7
If there exists an \(m \in \mathbb {N}\) such that for all i, \(d_i < d  m\) then \(\tilde{I}_{[Y],\le m} = I(Y)_{\le m}\).
Proof
Since \(\deg h_i = dd_i\) and \(\deg f_i = d1\) the result follows from Corollary 2.6. \(\square\)
Example 2.8
Suppose \(Y \subset X\) is an \(\frac{n}{2}\)plane and \(\deg X \ge 3\). Then, we can recover the equations cutting out Y from its Hodge class, since Corollary 2.7 implies \(I(Y)_1 = \tilde{I}_{[Y],1}\).
Example 2.9
Suppose \(n=2\) and \(C \subset X \subset \mathbb {P}^3_\mathsf{k}\) is a smooth conic (\(d_1=1,\ d_2=2\)). If \(d \ge 5\) then by Corollary 2.7 the ideal cutting out C is generated by \(\tilde{I}_{[C],\le 2}\). However, if \(d=4\) then \(\dim \tilde{I}_{[C],1}=1\) but \(\dim \tilde{I}_{[C],2}=6\) although \(\dim I(C)_2 = 5\). The interference with the quadrics is predicted by Lemma 2.4: if H is the plane containing C then \(H \cap X = C \cup C'\), where \(C'\) is a possibly singular conic with \([C]_{\mathrm{prim}}=[C']_{\mathrm{prim}}\). Indeed, Proposition 2.5 implies \(\tilde{I}_{[C],2} = I(C)_2 + I(C')_2\).
Perfect Hodge classes and the twisted cubic
Lemma 2.4 gives a natural source for polynomials appearing in \(\tilde{I}_{\delta }\). We distinguish the Hodge classes for which this is the only source.
Definition 2.10
A Hodge class \(\delta \in {{\,\mathrm{Hdg}\,}}^{n/2}(X)\) is called perfect at level m if there exists \(Y_1,\dots ,Y_s \subset X\) of codimension n/2 such that \(\mathbb {Q}\langle [Y_i]_{\mathrm{prim}} \rangle = \mathbb {Q}\langle \delta _{\mathrm{prim}} \rangle\) and \(I_{\delta ,\le m} = \sum _{i=1}^s \pi (I(Y_i)_{\le m})\). If \(I_{\delta } = \sum _{i=1}^s \pi (I(Y_i))\) then \(\delta\) is perfect.
Example 2.11
Hodge classes supported on a complete intersection variety \(Y=Z(g_0,\dots ,g_{n/2})\) with \(\deg g_i < d\) are perfect. In fact, the inclusion of the elements \(g_i,h_i \in I_\delta\) in Proposition 2.5 uses the following observation: Let \(Y_i=Z(g_0,\dots ,g_{i1},h_i,g_{i+1},\dots ,g_{n/2}) \subset X\) and note that \(Y \cup Y_i = X \cap Z(g_0,\dots ,g_{i1},g_{i+1},\dots ,g_{n/2})\). This implies that \([Y]_{\mathrm{prim}} = [Y_i]_{\mathrm{prim}}\). Now apply Lemma 2.4.
Question 2.12
Are all algebraic Hodge classes perfect?
If the answer to this question is negative, it would be beneficial to have a general principle to detect if a given effective algebraic class is perfect. As we demonstrate below, it would then be possible to determine if an algebraic subvariety representing a given perfect class can be reconstructed from its periods.
Twisted cubics in quartic surfaces
We now consider the simplest nontrivial noncomplete intersection: a twisted cubic T in a smooth quartic surface \(X \subset \mathbb {P}^3_\mathsf{k}\). We prove below that T is perfect at level 2 if and only if I(T) can be recovered from \(\tilde{I}_{[T]}\) (i.e. \(\dim \tilde{I}_{[T],2} = 3\)).
Proposition 2.13
Let T be a twisted cubic in a smooth quartic surface \(X \subset \mathbb {P}^3_\mathsf{k}\). The class [T] is perfect at level 2 if and only if \(\tilde{I}_{[T],1}=0\) and \(\dim \tilde{I}_{[T],2}=3\).
Proof
Since \(I(T)_1 = 0\) and \(\dim I(T)_2 = 3\) the “if” implication is immediate. We now assume that [T] is perfect and compute \(\tilde{I}_{[T],m}\) for \(m=1,2\).
We begin with \(m=1\). If \(\tilde{I}_{[T],1}\) is nonzero then (by hypothesis) there exists a curve \(C \subset X\) lying in a plane Z(h), \(h \in \tilde{I}_{[T],1}\), such that \(\mathbb {Q}\langle [C]_{\mathrm{prim}} \rangle = \mathbb {Q}\langle [T]_{\mathrm{prim}} \rangle\). Since \([C]_{\mathrm{prim}} \ne 0\), [C] is either a line, a (possibly singular) conic or an elliptic curve. The self intersection numbers of [C] in each case are \(2\), \(2\) and 0 respectively. Since \([C]_{\mathrm{prim}} = [C]  \frac{d}{4}h\), where d is the degree of C, we have \([C]_{\mathrm{prim}}^2 = 9/4,\, 3,\, 9/4\) respectively. Whereas, \([T]_{\mathrm{prim}}^2 = 23^2/4=17/4\). Since \(a[T]_{\mathrm{prim}} = b[C]_{\mathrm{prim}}\) for nonzero integers a, b the quotient \([C]_{\mathrm{prim}}^2/[T]_{\mathrm{prim}}^2 \in \{12/17, 9/17\}\) must be the square of a rational number. As this is not the case, we conclude \(\tilde{I}_{[T],1}=0\).
Now we consider \(m=2\). If \(\dim \tilde{I}_{[T],2} > 3\) then there exists a curve \(C \subset X\), possibly with nonreduced components, lying in a quadric surface \(Q=Z(q)\) such that q does not vanish on T, \(q \in \tilde{I}_{[T],2}\) and \(\mathbb {Q}\langle [C]_{\mathrm{prim}} \rangle = \mathbb {Q}\langle [T]_{\mathrm{prim}} \rangle\). Note that we are not free to pick any q in \(\tilde{I}_{[T],2} \setminus I(T)_2\) and so we may not assume Q is smooth.
Case I: Q is smooth. Now \(C \in Q \simeq \mathbb {P}^1\times \mathbb {P}^1\) is of bidegree (a, b) for some \(1 \le a \le b \le 4\). Note \((a,b) \ne (1,1)\) or (4, 4), because the former would imply that C is contained in a plane and the latter would imply \([C]_{\mathrm{prim}}=0\). Since both X and Q are smooth the curve C is a local complete intersection in both, therefore the dualizing sheaf \(\omega _{C/k}\) exists and can be computed by adjunction on either X or Q [20, §6.4.2]. In particular, equating the two expressions for the degree of \(\deg \omega _{C/k}\) by computing it on X and on Q respectively we obtain \([C]^2=b(a2)+a(b2)\). Since the degree of C is \(a+b\) we find \([C]_{\mathrm{prim}}^2 = b(a2)+a(b2)  (a+b)^2/4\). As before, the quotient \([C]_{\mathrm{prim}}^2/[T]_{\mathrm{prim}}^2\) must be the square of a rational number. In the given range of possibilities of a, b this can only be realized if \((a, b) = (1,2)\) or (2, 3) and in both cases \([C]_{\mathrm{prim}}^2 = 17/4 = [T]_{\mathrm{prim}}^2\). As these primitive classes are proportional, we conclude \([C]_{\mathrm{prim}} = \pm [T]_\mathrm{prim}\) and \([C] = \pm [T]_{\mathrm{prim}} + \frac{a+b}{4} h\). Since C is contained in a quadric not containing T, the intersection number \(C \cdot T\) must be an integer between 0 and 6. For \((a,b) = (1,2)\) or (2, 3) this is not the case. Therefore, no such C exists.
Case II: Q is an irreducible cone. Pass to the desingularization \(\tilde{Q} \rightarrow Q\) and let \(\tilde{C} \subset \tilde{Q}\) be the proper transform of C. This time we have \(\deg \omega _{\tilde{C}} \le \deg \omega _{C} = [C]^2\) and we can compute the left hand side by adjunction on \(\tilde{Q}\). The surface \(\tilde{Q}\) is a Hirzebruch surface of degree 2, we refer to [18, §V.2] for general properties of such surfaces. We have \({{\,\mathrm{Pic}\,}}(\tilde{Q}) = \mathbb {Z}\langle e,f \rangle\) where \(e^2=2, e\cdot f=1, f^2=0\). Here e represents the class of the exceptional divisor E and f the class of the proper transform of a line in Q. Let us write \(\tilde{c} :=[\tilde{C}] = ae + bf\), where b equals the degree of C in \(\mathbb {P}^3_\mathsf{k}\).
Since \(\tilde{C}\) has no component supported on E the relations \(e\cdot \tilde{c} , f \cdot \tilde{c} \ge 0\) imply \(b \ge 2a \ge 0\). The class of a plane section is \(h=e+2f\) and since C is a component of \(X \cap Q\), the class \(4h\tilde{c}\) must also be effective. These give the additional constraints \(a \le 4\) and \(b\le 8\). We may assume C is not planar, and since any curve of degree \(\le 2\) in Q is planar we conclude \(b >2\). Furthermore, \(C\ne X \cap Q\) thus \(b < 8\). Moreover, if \(b=7\) then C differs from being the complete intersection \(X\cap Q\) by the class of a line L. Thus \([L]_{\mathrm{prim}}\) is proportional to \([T]_{\mathrm{prim}}\) in X, which is a contradiction. This ensures \(b < 7\).
Now \(\deg \omega _{\tilde{C}} = 2(a^2  ab + b) \le [C]^2\) and \(\deg C = b\) so that \(2(a^2  ab + b)b^2/4 \le [C]_{\mathrm{prim}}^2 < 0\). We see that there are no pairs (a, b) in the specified range which allows for \([C]_{\mathrm{prim}}^2/[T]_{\mathrm{prim}}^2\) to be the square of a rational number and for \([C] \cdot [T] \in \{0,\dots ,6\}\).
Case III: Q is the union of two distinct planes. This time \(C=C_1+C_2\) with \(C_i\)’s lying in different planes and with C not planar. Since each \(C_i\) is a plane curve of degree 1, 2 or 3 we can readily compute the possible range of values of \(([C]^2,\deg (C))\). None of these pairs give a primitive class proportional to \([T]_{\mathrm{prim}}\).
Case IV: Q is a double plane. Now [C] must be the sum of components of \(H \cap X\) for a plane H, but with multiplicities between 0, 1, 2. As we can always pass to \(2[H \cap X][C]\) without changing the span of the primitive part of [C], we can reduce to the planar case unless \(H \cap X\) has at least three components and all three coefficients 0, 1, 2 must appear in their sum [C]. There are only three cases to consider and they are all eliminated as above. \(\square\)
Remark 2.14
Sampling tens of thousands of quartics containing a twisted cubic, we observed that the class [T] is perfect at level 2 on all of these examples. See Sect. 3.2.2.
Twisted cubics in higher degree surfaces
It is clear from Definition 2.1 that we can find more relevant equations as the degree of the of the surface increases. This suggests that it should be easier to reconstruct curves of fixed degree and genus as we view them in higher degree surfaces. This is also the nature of the result [13, Corollary 4.a.8]. We now observe this phenomenon with twisted cubics, giving a specific bound on the degree on the surface for reconstructability.
Proposition 2.15
Let \(T \subset X\) be a twisted curve in a smooth surface \(X=Z(f) \subset \mathbb {P}^3\) of degree \(d\ge 5\). The ideal of T can be reconstructed from its periods in X.
Proof
We claim \(\tilde{I}_{[T],2} = I_{T,2}\). Suppose to the contrary that there is \(q \in \tilde{I}_{[T],2} \setminus I_{T,2}\). Pick \(g \in {{\,\mathrm{Jac}\,}}(f)\) such that \(Z(g)\cap Z(q) \cap T = \emptyset\). We set \(V = R/I_T\) and note \(V \simeq \mathbb {C}[t_0,t_1]\) as \(T\simeq \mathbb {P}^1\) is projectively normal. The linear system \(W = q_T \cdot V_{3d9} + g_T \cdot V_0 \subset V_{3d3}\) has dimension \(3d7\) and no base locus. The lemma of Gieseker [19, p. 194] implies that either \(W \cdot V_s = V_{3d3+s}\) or \(\dim (W \cdot V_s) = \dim W + 2s = 3d7+2s\). Therefore, if \(s \ge 5\) then \(W \cdot V_s = V_{3d3+s}\).
On the other hand, \(\tilde{I}_{[T],2d4} \ne R_{2d4}\), since the primitive part of [T] is nonzero. Alternatively, \(R/\tilde{I}_{[T]}\) is Artinian–Gorenstein with socle at degree \(2d4\) [25, Remark 4]. Therefore, when \(s=3(2d4)3d3=3d9\) we must have \(W \cdot V_s \ne V_{3d3+s}\). Hence \(3d9 < 5\), which is a contradiction. \(\square\)
Remark 2.16
This result and its proof was generously suggested to us by the anonymous referee. Any mistake in transcription is due to us.
Implementation
Let \(X = Z(f) \subset \mathbb {P}^{n+1}_{\mathsf{k}}\) be an even dimensional smooth hypersurface with \(\mathsf{k}\subset \mathbb {C}\). For the code we have written we assume f to have rational coefficients, i.e. \(\mathsf{k}= \mathbb {Q}\), although in principle algebraic coefficients would work. The examples in this section are computed using PeriodSuite^{Footnote 1}. We will now describe how the computation of \(\tilde{I}_{\delta ,u}\) is carried out.
Throughout we use the grevlex monomial basis for the quotient \(R=S/{{\,\mathrm{Jac}\,}}(f)\). The period computations in [24] takes f as input and returns an approximation \(\mathcal {Q}\in \mathbb {C}^{s\times s}\) of the isomorphism \(R\otimes \mathbb {C}\overset{\sim }{\rightarrow }\mathrm {PH}^{n}(X,\mathbb {Z})\otimes \mathbb {C}\) with respect to some basis \(\gamma _1,\dots ,\gamma _s \in \mathrm {PH}^n(X,\mathbb {Z})\).
Let \(\pi :S \rightarrow R/{{\,\mathrm{Jac}\,}}(f)\) denote the quotient map. The product \(S_u \times S_v \rightarrow S_{u+v} \twoheadrightarrow R_{u+v}\) can be computed explicitly with respect to the grevlex monomial basis on R and monomial bases for \(S_u\), \(S_v\). We can compute the lattice of Hodge classes inside \(\mathrm {H}^n(X,\mathbb {Z}) \simeq \mathbb {Z}^{s+1}\) using these periods [21], provided sufficient precision is used. For a Hodge cycle \(\delta\), let \(v_\delta =(v_{\delta ,i})_{i=1}^s \in \mathbb {Z}^s\) such that \(\delta _{\mathrm{prim}} = \sum _{i=1}^s v_{\delta ,i} \gamma _i\). The approximation of the vector space \(\tilde{I}_{\delta ,u} \subset S_u\) now reduces to numerical linear algebra (Algorithm 3.1).
In PeriodSuite the command PolynomialsVanishingOnHodgeCycle returns \(\tilde{I}_{\delta ,u}\) for given \(\delta\) and u. The most expensive step is the computation of the approximation \(\mathcal {Q}\) of the period isomorphism, everything else typically takes less than a second.
Conics in quartic surfaces
We will now demonstrate how the Picard number computations relying on approximate periods can be made rigorous in some instances. The proof of the following proposition can be automated, therefore we give another example afterwards.
Let us begin by recalling the maps \(\varphi _{\delta ,u}\) following Definition 2.1 for a quartic \(X=Z(f)\). Here the only nonzero maps are those that come from degrees \(u=0,\dots ,4\). For each u, the complementary degree is \(v=4u\) and the maps are defined by
where \(R=S/{{\,\mathrm{Jac}\,}}(f)\) and \(\delta \in \mathrm {H}_2(X,\mathbb {Z})\) is a Hodge class.
In the proofs below, \(\delta\) will be the class of a conic and \(u=1\). In light of Corollary 2.6 the kernel of \(\varphi _{\delta ,1}\) is spanned by the equation of the plane containing the conic representing \(\delta\).
Proposition 3.1
The quartic surface \(X=Z(f) \subset \mathbb {P}^3_{\mathbb {C}}\) defined by the polynomial \(f=x^4 + x^3z  xy^3 + y^4 + z^4 + w^4\) has Picard number 8. In fact, X contains 56 conics consisting of 28 coplanar bitangent pairs. The classes of these conics generate \({{\,\mathrm{Pic}\,}}(X)\).
Proof
First, we show symbolically that X contains no lines. Anticipating the reconstruction step ahead we compute the periods of X to 5000 digits [24]. We then find a rank 8 lattice \(\Lambda \subset \mathrm {H}^2(X,\mathbb {Z})\simeq \mathbb {Z}^{22}\), together with a polarization \(h \in \Lambda\); this lattice is the Picard group of X with high confidence [21]. There are 56 elements \(\delta \in \Lambda\) such that \(\delta ^2=2\) and \(h \cdot \delta =2\), these must be the classes of conics. For each class \(\delta\) containing a conic, the numerical computation of \(\tilde{I}_{\delta ,1}\) is straightforward.
We pick the class \(\delta\) of one conic and denote by \(h=a_0x_0+a_1x_1+a_2x_2+a_3x_3\) a generator of \(\tilde{I}_{\delta ,1}\). Scaling h so that \(a_0=1\), we observe \(a_3=0\) and that \(a_1\) minimally satisfies the following equation:
We also express \(a_2\) in terms of powers of \(a_1\) using LLL, but we do not write this expression as it requires \(\sim 4000\) characters. Let \(K/\mathbb {Q}\) be the field extension defined by the minimal polynomial of \(a_1\) and express h as a linear form defined over K. Now, working over K (defined symbolically as an abstract field) we will prove that \(X\cap Z(h)\) is a pair of conics.
We used Magma [2] to show that the singular subvariety S of \(X\cap Z(h)\) is of degree 6 and that the reduced subvariety of S is a degree 2 irreducible point over K. Therefore, over \(\mathbb {C}\), the curve \(X\cap Z(h)\) must contain two singular points with the Jacobian of the curve cutting each of them out with multiplicity three. This means the singularities can not be nodes or cusps and, by the degree–genus formula for plane curves, the curve can not be irreducible. Since X contains no lines, \(X \cap Z(h)\) is a pair of conics bitangent to one another.
Each of the 28 embeddings of K into \(\mathbb {C}\) will give another pair of conics, proving that we have at least 56 conics in X.
We can now prove that X has Picard number 8. For \(B >0\) let \({{\,\mathrm{Pic}\,}}(X)_B=\mathbb {Z}\langle \xi \in {{\,\mathrm{Pic}\,}}(X) \mid \xi _{\mathrm{prim}}^2 < B \rangle\). The lattice \(\Lambda \subset \mathrm {H}^2(X,\mathbb {Z})\) contains \({{\,\mathrm{Pic}\,}}(X)_B\) for some explicit \(B \gg 10^{1000}\) [21]. Therefore, we could not have missed the class of any conic in X. As we found 56 conics in X and 56 conic classes in \(\Lambda\), all of the conic classes in \(\Lambda\) are truly in \({{\,\mathrm{Pic}\,}}(X)\). As \(\Lambda\) is integrally generated by these conic classes, we have \(\Lambda ={{\,\mathrm{Pic}\,}}(X)_B\), which implies \({{\,\mathrm{rk}\,}}{{\,\mathrm{Pic}\,}}(X) \ge {{\,\mathrm{rk}\,}}\Lambda = 8\).
By computing the Zeta function of the reduction of X over \(\mathbb {F}_{101}\) we show \({{\,\mathrm{rk}\,}}{{\,\mathrm{Pic}\,}}(X) \le 8\) [1, 5]. For this last step we used controlledreduction^{Footnote 2} [7]. \(\square\)
Proposition 3.2
The quartic surface \(X=Z(5x^4  4x^2zw + 8y^4  5z^4 + 4zw^3 ) \subset \mathbb {P}^3_{\mathbb {C}}\) has Picard number 14. In fact, X contains 102 conics and 4 lines whose classes generate \({{\,\mathrm{Pic}\,}}(X)\).
Proof
The general outline of the proof follows that of Proposition 3.1. We will mention the peculiarities of this quartic. First, it is readily checked that X contains four coplanar lines. In particular, any plane containing a smooth conic of X will contain another smooth conic. The set of planes containing a conic in X break into three Galois orbits. The first orbit consists of 24 planes, each of the form \(Z(x+a_2z+a_3w)\) and containing a pair of bitangent conics. The second orbit also has 24 planes, but of the form \(Z(y+a_2z+a_3w)\) and containing a pair of transversal conics. The third orbit has size 3, elements of the form \(Z(z+a_3w)\), \(25a_3^3 + 4a_3 + 20\), containing a pair of bitangent conics. The Zeta function for the reduction was computed over the prime 101. \(\square\)
Twisted cubics in quartic surfaces revisited
A single example
Consider the quartic surface cut out by \(x^4 + x^3z + y^4 + z^4 + w^4\). This has Picard number 18, contains 16 lines, 288 conics and 1536 twisted cubics. We computed the \(\tilde{I}_{\delta ,2}\) for the class \(\delta\) for each of the twisted cubics and found \(\dim \tilde{I}_{\delta ,2} = 3\) in each case. We thus have a floating point representation of the coordinates of \(\tilde{I}_{\delta ,2} \subset S_2\) in the Grassmannian \({{\,\mathrm{Gr}\,}}(3,10)\). As these coordinates must be algebraic numbers, we may once again reconstruct them exactly recovering \(\tilde{I}_{\delta ,2}\) and therefore I(T).
Many examples
Now let \(T \subset X\) be any twisted cubic in a smooth quartic. By general considerations, the ideal \(\tilde{I}_{\delta }\) gives rise to an Artinian–Gorenstein quotient \(S/\tilde{I}_{\delta }\) of socle degree 4 [25, Remark 4]. Upto translation of \(\mathbb {P}^3_\mathbb {C}\) we can put T into the standard form and randomly sample quartics X containing T, so that we know \(I':={{\,\mathrm{Jac}\,}}(X)+I(T)\) but not \(I_{[T]}\). It turns out that, in tens of thousands of random examples, \({{\,\mathrm{codim}\,}}I'_4=1\). If g is the quartic form apolar to \(I'\) then \(I_{[T]}\) is the apolar ideal of g (using Macaulay’s correspondance theorem for graded Artinian–Gorenstein algebras [12, §1.3]). In each of our random examples we thus computed \(I_{[T],2}\) and observed that \(\dim I_{[T],2} =3\). This point of view will be investigated in a future paper.
Fields generated by periods
Let X be a smooth projective variety defined over a subfield \(\mathsf{k}\) of \(\mathbb {C}\) and let \(\overline{\mathsf{k}}\subset \mathbb {C}\) be the algebraic closure of \(\mathsf{k}\) in \(\mathbb {C}\). Denote by \(X^\mathrm{an}\) the underlying complex analytic manifold of X. In the following, \(m\in \mathbb {N}\) is an even number.
Definition 4.1
A homology class \(\delta \in \mathrm {H}_{m}(X^\mathrm{an},\mathbb {Q})\) and its Poincaré dual are called algebraic if there exists subvarieties \(Z_1,\dots ,Z_a \subset X\) of dimension \(\frac{m}{2}\) such that \(\delta\) is a rational linear combination of \([Z_i]\).
The de Rham cohomology can be defined purely algebraically [16] giving rise to the \(\mathsf{k}\)vector spaces \(\mathrm {H}_{\mathrm{dR}}^m(X/\mathsf{k})\) equipped with a canonical isomorphism \(\mathrm {H}_{\mathrm{dR}}^m(X/\mathsf{k})\otimes _\mathsf{k}\mathbb {C}\simeq \mathrm {H}^m(X^\mathrm{an}, \mathbb {C})\) for each \(m \ge 0\). For a field extension \(\mathsf{K}/\mathsf{k}\) we will write \(\mathrm {H}_{\mathrm{dR}}^m(X/\mathsf{K})\) for the algebraic de Rham cohomology of the base change of X to \(\mathsf{K}\); recall that there is a natural isomorphism \(\mathrm {H}_{\mathrm{dR}}^m(X/\mathsf{K}) \simeq \mathrm {H}_{\mathrm{dR}}^m(X/\mathsf{k}) \otimes _\mathsf{k}\mathsf{K}\). For the general discussion on algebraic de Rham cohomology see Deligne’s lecture notes [10]. Our point of departure is the following fact.
Proposition 4.2
(Proposition 1.5 [10]) If \(\delta \in \mathrm {H}_m(X,\mathbb {Q})\) is algebraic, then for every \(\omega \in \mathrm {H}^m_{\mathrm{dR}}(X/\mathsf{k})\) the following period integrals are in \(\overline{\mathsf{k}}\):
Definition 4.3
Given an algebraic cycle \(\delta =[Z]\) we will denote by \(\mathsf{k}_\delta\), and by \(\mathsf{k}_Z\), the field spanned over \(\mathsf{k}\) by the set of all period integrals \(p_\omega (\delta )\).
Fields of definition of algebraic cycles
The field \(\mathsf{k}_\delta\) is the smallest field containing \(\mathsf{k}\) such that \(\delta\) induces a cycle class in \(H^{2nm}_\mathrm{dR}(X/\mathsf{k}_\delta )\). Therefore, if \(\delta =[Z]\) then the field of definition of Z must contain \(\mathsf{k}_\delta\). It is possible that Z is defined over a transcendental extension of \(\mathsf{k}\), e.g., if Z is a transcendental fiber of a continuous family of algebraic cycles inside X.
Proposition 4.4
For any algebraic cycle \(\delta \in \mathrm {H}_m(X^{\mathrm{an}},\mathbb {Z})\) , there are subvarieties \(Z_1,Z_2,\ldots , Z_s \subset X\) of pure dimension \(\frac{m}{2}\) defined over \(\mathsf{k}_\delta\) and integers \(a_0,\dots ,a_s,\ a_0>0\) such that
Proof
We may write \(\delta =[Z]\) for an algebraic cycle Z on \(X_{\mathbb {C}}\) and arguing as in the proof of [10, Del+I.1.5] we may assume Z is defined over a finite extension \(\mathsf{k}'\) of \(\mathsf{k}\). As noted earlier, \(\mathsf{k}_\delta \subset \mathsf{k}'\) is forced and we may assume \(\mathsf{k}'/\mathsf{k}_\delta\) is Galois. Let G be the Galois group \(\mathrm{Gal}(\mathsf{k}'/\mathsf{k}_\delta )\). We define the algebraic cycle
which is invariant under G and therefore defined over \(\mathsf{k}_\delta\). As the cohomology class [Z] is defined over \(k_{\delta }\) it is fixed by G. Therefore, \(\forall \sigma \in G\), \([\sigma Z] = \sigma [Z] = [Z]\) and \([Z']=[Z]\) in \(\mathrm {H}_m(X^{\mathrm{an}},\mathbb {Q})\).
To get the expression (4.2) in \(\mathrm {H}_m(X^{\mathrm{an}},\mathbb {Z})\) clear denominators in (4.3) to get an identity modulo torsion. A sufficient multiple of this identity will kill the torsion, giving an equality. \(\square\)
The statement of Proposition 4.4 is false if we require \(a_0=1\), see Remark 4.8. What estimates can we put on the minimal possible \(a_0\)? We provide an answer in the setting of the following theorem.
Theorem 4.5
Let X be a smooth projective variety over \(\mathsf{k}\subset \mathbb {C}\) with \(H^1(X,{{\mathcal {O}}}_X)=0\), \(d_1\) an integer annihilating torsion in \(\mathrm {H}^2(X^{\mathrm{an}},\mathbb {Z})\) and \(d_2\) an integer such that X has a rational point over a field extension \(\mathsf{k}'/\mathsf{k}\) of degree \(d_2\). For any divisor in Z on \(X_{\mathbb {C}}\) the following are true.

1.
The divisor \(d_1d_2 Z\) is linearly equivalent to a divisor defined over \(\mathsf{k}_Z\).

2.
If \(d_1 Z\) is effective then the family of divisors linearly equivalent to \(d_1 Z\) are parametrized by a Brauer–Severi variety defined over \(\mathsf{k}_Z\).
Proof
Let \(\mathcal {L}=\mathcal {O}_{X^\mathrm{an}}(Z)\) be the line bundle corresponding to Z. Our hypothesis \(H^1(X_,{{\mathcal {O}}}_X)=0\) implies that \({{\,\mathrm{Pic}\,}}(X/\overline{\mathsf{k}})={{\,\mathrm{Pic}\,}}(X^\mathrm{an}) \hookrightarrow \mathrm {H}^2(X^{\mathrm{an}},\mathbb {Z})\) so that \(\mathcal {L}\) is defined over \(\overline{\mathsf{k}}\). By Poincaré duality we have
where \(c_1(\mathcal {L})\) is \(2\pi i\) times the topological Chern class of \(\mathcal {L}\), and in fact \(c_1(\mathcal {L})\in H^2_{\mathrm{dR}}(X/\overline{\mathsf{k}})\). The cup product \(H^{2n2}(X/\mathsf{k})\times H^{2}(X/\mathsf{k})\rightarrow H^{2n}(X/\mathsf{k})\) and the trace map \(\mathrm{Tr}:H^{2n}(X/\mathsf{k})\cong \mathsf{k}\) can be defined for \(X/\mathsf{k}\). The composition of these two maps is a nondegenerate \(\mathsf{k}\)bilinear map and, by our hypothesis on the periods of Z, \(\mathrm{Tr}(\cdot \cup c_1(\mathcal {L}))\) has values in \(\mathsf{k}_Z\), thus \(c_1(\mathcal {L})\in H^2_{\mathrm{dR}}(X/\mathsf{k}_Z)\). Since \(\mathrm {H}^1(X,\mathcal {O}_X)=0\), the kernel of the Galois invariant map \(c_1:{{\,\mathrm{Pic}\,}}(X/\overline{\mathsf{k}}) \rightarrow \mathrm {H}^2_{\mathrm{dR}}(X/\overline{\mathsf{k}})\) is contained in the torsion subgroup of \(\mathrm {H}^2(X^{\mathrm{an}},\mathbb {Z})\). Therefore, \(\mathcal {L}^{d_1} \in {{\,\mathrm{Pic}\,}}(X/\overline{\mathsf{k}})^{\mathrm{Gal}(\overline{\mathsf{k}}/\mathsf{k}_Z)}\). This does not mean \(\mathcal {L}^{d_1}\) is defined over \(\mathsf{k}_Z\), see Remark 4.8. However, if \(d_1 Z\) is effective then the \(\overline{\mathsf{k}}\)projective space \(\mathrm {H}^0(X/\overline{\mathsf{k}},\mathcal {L}^{d_1})\) descends to a Brauer–Severi variety defined over \(\mathsf{k}_Z\), see [3, 17]. Item 2 is now proven.
As for Item 1, the map \({{\,\mathrm{Pic}\,}}(X/ \mathsf{k}') \rightarrow {{\,\mathrm{Pic}\,}}(X/\overline{\mathsf{k}})^{\mathrm{Gal}(\overline{\mathsf{k}}/\mathsf{k}')}\) is surjective [6, Corollary 2.3]. Moreover, via [6, Proposition 2.2] the cokernel of \({{\,\mathrm{Pic}\,}}(X/ \mathsf{k}_Z) \rightarrow {{\,\mathrm{Pic}\,}}(X/\overline{\mathsf{k}})^{\mathrm{Gal}(\overline{\mathsf{k}}/\mathsf{k}_Z)}\) is annihilated by \([\mathsf{k}':\mathsf{k}_Z]\), which divides \(d_2=[\mathsf{k}':\mathsf{k}]\). Therefore, \((\mathcal {L}^{d_1})^{d_2}\) is contained in \({{\,\mathrm{Pic}\,}}(X/\mathsf{k}_Z)\). Any rational section of \(\mathcal {L}^{d_1d_2}\) will give a divisor defined over \(\mathsf{k}_Z\) linearly equivalent to \(d_1d_2 Z\). \(\square\)
Remark 4.6
With X as in Theorem 4.5 and \(d_1=1\), if \(Z \subset X^\mathrm{an}\) is an effective divisor isolated in its linear system then Z is defined over \(\mathsf{k}_Z\) even if X has no \(\mathsf{k}_Z\) points. In this case, we use the fact that a zero dimensional Brauer–Severi variety is a point.
Remark 4.7
A smooth surface X in \(\mathbb {P}^3_\mathsf{k}\) fulfills the hypotheses of Theorem 4.5 with \(d_1=1\) and \(d_2=\deg X\): the first follows by Lefschetz hyperplane theorem and the latter by intersecting X with a line.
Remark 4.8
Galois invariance of the isomorphism class of a line bundle does not imply that a line bundle in the isomorphism class can be defined over the expected base field. Take the curve X defined by \(x^2+y^2+z^2\) in \(\mathbb {P}^2_\mathbb {Q}\) which has no \(\mathbb {Q}\) points and therefore has no line bundles of degree 1. On the other hand, since \({{\,\mathrm{Pic}\,}}(X/\overline{\mathsf{k}}) \simeq \mathbb {Z}\), the isomorphism class of a line bundle depends only on the degree, therefore the isomorphism class of line bundles of degree 1 is fixed by the Galois action. The Brauer–Severi variety associated to this class is the curve \(X/\mathbb {Q}\) itself.
Bounds on the degree of the field extension \(\mathsf{k}_Z\)
For a smooth algebraic variety X over \(\mathsf{k}\) let Z be an algebraic cycle of dimension \(\frac{m}{2}\) in \(X/\overline{\mathsf{k}}\). In this section we will give bounds on the degree \([\mathsf{k}_Z:\mathsf{k}]\).
Let \(\omega _1,\omega _2,\ldots ,\omega _b\) be a basis for the primitive cohomology \(\mathrm {PH}^m_\mathrm{dR}(X/\mathsf{k})\) and consider the period vector \(p(Z):=\left( p_{\omega _1}(Z),\ p_{\omega _2}(Z),\cdots , p_{\omega _b}(Z)\right) \in \overline{\mathsf{k}}^b\), where we used the notation and statement of Proposition 4.2. Let \(\Lambda _Z \subset \overline{\mathsf{k}}^b\) be the \(\mathbb {Z}\)module generated by the Galois conjugates of p(Z) and let \(\lambda _Z = {{\,\mathrm{rk}\,}}\Lambda _Z\). Our bounds rely on the following theorem.
Theorem 4.9
(Minkowski [14, 22]) The size of the largest finite group in \({{\,\mathrm{GL}\,}}(n,\mathbb {Z})\) divides
Lemma 4.10
For any integer \(\lambda \ge \lambda _Z\), the degree \([\mathsf{k}_Z : \mathsf{k}]\) is bounded above by \(M(\lambda )\).
Proof
Let \(\mathsf{K}_Z/\mathsf{k}\) be the Galois closure of \(\mathsf{k}_Z\) in \(\mathbb {C}\) and let \(G=\mathrm{Gal}(\mathsf{K}_Z/\mathsf{k})\). Note that \([\mathsf{k}_Z : \mathsf{k}]\) divides \([\mathsf{K}_Z : \mathsf{k}]=G\) and any bound for the latter will bound the former.
Let \(v_1,v_2,\ldots , v_{\lambda _Z} \in \mathsf{K}_Z^b\) be a \(\mathbb {Z}\)basis for the saturation of \(\Lambda _Z\). We thus get the following Galois representation:
It is easy to see that \(\mathsf{K}_Z\) is generated over \(\mathsf{k}\) by all the entries of \(v_i\)’s, therefore the representation h is faithful. Consequently, \(G=h(G)\) is bounded above by \(M(\lambda _Z)\) as a result of Theorem 4.9. The observation \(M(\lambda _Z) \le M(\lambda )\) finishes the proof. \(\square\)
Lemma 4.11
Let \(X\subset \mathbb {P}^{n+1}_{\mathsf{k}}\) be a smooth projective variety, \(\rho ={{\,\mathrm{rk}\,}}{{\,\mathrm{Hdg}\,}}^m(X)\) and \(\delta \in {{\,\mathrm{Hdg}\,}}^m(X)\) an effective Hodge cycle. Then the field extension \(\mathsf{k}_\delta / \mathsf{k}\) has degree at most \(M(\rho 1)\).
Proof
Let h be the hyperplane class on X and project \({{\,\mathrm{Hdg}\,}}^m(X)\) to \((h^m)^{\perp }\). The Galois orbit of the projection of \(\delta\) has dimension at most \(\rho 1\). The primitive periods of \(\delta\) and of its projection are the same. Now apply Lemma 4.10. \(\square\)
Theorem 4.12
Let \((X,d_1,d_2)\) be as in Theorem 4.5 and let \(\rho\) be the Picard number of X. Then \({{\,\mathrm{Pic}\,}}(X)\) admits a \(\mathbb {Q}\)basis \([Z_i], i=1,2,..,\rho ,\) where each \(Z_i\) is defined over an extension of \(\mathsf{k}\) of degree at most \(M(\rho 1)\). If \(d_1=d_2=1\) then a \(\mathbb {Z}\)basis of this form exists.
Proof
Let \(Y_1,\dots ,Y_\rho \in {{\,\mathrm{Pic}\,}}(X_{\mathbb {C}})\) be a \(\mathbb {Q}\)basis. Using Theorem 4.5 we can find divisors \(Z_1,\dots ,Z_\rho\) where \(Z_i\) is defined over \(\mathsf{k}_{Y_i}\) and \([Z_i] = d_1d_2[Y_i]\). By Lemma 4.11 we conclude \([\mathsf{k}_{Y_i}:\mathsf{k}] \le M(\rho 1)\). If \(d_1=d_2=1\) then begin with an integral basis \(\{Y_i\}_{i=1}^{\rho } \subset {{\,\mathrm{Pic}\,}}(X_\mathbb {C})\). \(\square\)
Remark 4.13
The values of M(n) for \(n=1,\dots ,20\) are listed below:
Proposition 4.14
If \(X\subset \mathbb {P}^3_{\mathsf{k}}\) is a smooth surface of degree d with Picard number 2 then there exists a curve \(C \subset X\) defined over a field extension \(\mathsf{k}'/\mathsf{k}\) of degree at most 2d such that [C] generates \({{\,\mathrm{Pic}\,}}(X)\) together with the hyperplane class.
Proof
Let \(v_1,v_2 \in {{\,\mathrm{Pic}\,}}(X) \simeq \mathbb {Z}^2\) be a basis and let \(h \in {{\,\mathrm{Pic}\,}}(X)\) be the hyperplane class. Writing \(h=a_1v_1+a_2v_2\) we note \(\mathrm{gcd}(a_1,a_2)=1\) since h is indivisible. Take \(b_1,b_2 \in \mathbb {Z}\) such that \(b_1a_1+b_2a_2=1\) and let \(w=b_1v_1+b_2v_2\) so that h, w is a basis for \({{\,\mathrm{Pic}\,}}(X)\). By replacing w with \(w+ch\) for \(c \gg 1\) we may assume w is effective. Lemma 4.11 implies that the field \(\mathsf{k}_w\) is at most a quadratic extension of \(\mathsf{k}\). If \(X(\mathsf{k}) \ne \emptyset\) we can apply Theorem 4.5 for the existence of a curve \(C/\mathsf{k}_w\) representing w. Otherwise, intersecting X with a line we see that X admits a point over an extension of \(\mathsf{k}\) of degree at most d. \(\square\)
References
Abbott, T.G., Kedlaya, K.S., Roe, D.: Bounding picard numbers of surfaces using \(p\)adic cohomology. In: Arithmetics, Geometry, and Coding Theory (AGCT): ser. Sémin. Congr. Vol. 21, Soc. Math. France, Paris 2010, 125–159 (2005)
Bosma, W., Cannon, J., Playoust, C.: The magma algebra system. i. the user language. J. Symb. Comput. vol. 24, no. 3–4, pp. 235–265, 1997, Computational algebra and number theory (London). ISSN: 07477171 (1993)
Bruin, N., Flynn, E.V.: Rational divisors in rational divisor classes. English, in Algorithmic number theory. In: 6th International Symposium, ANTSVI, Burlington, VT, USA, June 13–18, 2004. Proceedings. Berlin: Springer, pp. 132–139, ISBN: 3540221565/pbk (2004)
Carlson, J.A., Griffiths, P.A.: Infinitesimal variations of Hodge structure and the global torelli problem. In: Journées de Géometrie Algébrique d’Angers, Juillet 1979, Algebraic Geometry, Angers: Sijthoff & Noordhoff, Alphen aan den RijnGermantown. Md. 1980, 51–76 (1979)
Costa, E., Harvey, D., Kedlaya, K.S.: Zeta functions of nondegenerate hypersurfaces in toric varieties via controlled reduction in padic cohomology. In: Proceedings of the Thirteenth Algorithmic Number Theory Symposium, Mathematical Sciences Publishers, pp. 221–238 (2019)
Coray, D., Manoil, C.: On large Picard groups and the Hasse principle for curves and K3 surfaces. English, Acta Arith., vol. 76, no. 2, pp. 165–189, ISSN: 00651036; 17306264/e (1996)
Costa, E.: Effective computations of Hasse–Weil zeta functions. ProQuest LLC, Ann Arbor, MI, p. 78, Thesis (Ph.D.)New York University, ISBN: 9781321953923 (2015)
Costa, E., Sertöz, E.C.: Effective obstruction to lifting tate classes from positive characteristic. arXiv: 2003.11037 (2020)
Dan, A.: Noether–Lefschetz locus and a special case of the variational hodge conjecture: using elementary techniques. In: Analytic and Algebraic Geometry, pp. 107–115. New Delhi, Hindustan Book Agency (2017)
Deligne, P., Milne, J.S., Ogus, A., Shih, K.Y.: Hodge cycles, motives, and Shimura varieties, ser. Lecture Notes in Mathematics, vol. 900, pp. ii+414, Philosophical Studies Series in Philosophy, 20. SpringerVerlag, Berlin. ISBN: 3540111743 (1982)
Deligne, P.: The Hodge conjecture. English. In: The Millennium Prize Problems, Providence, RI: American Mathematical Society (AMS), pp. 45–53. Clay Mathematics Institute, Cambridge. ISBN: 082183679X/hbk (2006)
Dolgachev, I.V.: Classical algebraic geometry. A modern view, pp. xii+639. Cambridge University Press, Cambridge (2012)
Griffiths, P., Harris, J.: Infinitesimal variations of Hodge structure. II: an in finitesimal invariant of Hodge classes. English, Compos. Math., vol. 50, pp. 207–264, ISSN: 0010437X; 15705846/e (1983)
Guralnick, R.M., Lorenz, M.: Orders of finite groups of matrices. In: Groups, Rings and Algebras, Series Contemporary Mathematics Vol. 420, pp. 141–161 . American Mathematical Society, Providence, RI (2006)
Griffiths, P.A.: On the periods of certain rational integrals. i, II, Ann. Math. (2) 90 (1969), 460–495; ibid. (2), vol. 90, pp. 496–541 (1969)
Grothendieck, A.: On the de rham cohomology of algebraic varieties. Inst. Hautes Études Sci. Publ. Math. 29, 95–103 (1966)
Gille, P., Szamuely, T.: Central simple algebras and Galois cohomology, ser. Cambridge Studies in Advanced Mathematics, vol. 101, pp. xii+343. Cambridge University Press, Cambridge, ISBN: 9780521861038; 0521861039 (2006)
Hartshorne, R.: Algebraic geometry. Graduate Texts in Mathematics, No. 52, pp. xvi+496. SpringerVerlag, New YorkHeidelberg (1977)
Harris, J.: The genus of space curves. English, Math. Ann. vol. 249, pp. 191–204, ISSN: 00255831; 14321807/e (1980)
Liu, Q.: Algebraic geometry and arithmetic curves, ser. Oxford Graduate Texts in Mathematics. Oxford University Press, Oxford, vol. 6, pp. xvi+576, Translated from the French by Reinie Erné, Oxford Science Publications, ISBN: 0198502842 (2002)
Lairez, P., Sertöz, E.C.: A numerical transcendental method in algebraic geometry: computation of Picard groups and related invariants. English, SIAM J. Appl. Algebra Geom., vol. 3, no. 4, pp. 559–584, ISSN: 24706566/e (2019)
Minkowski, H.: Zur theorie der positiven quadratischen formen. J. Reine Angew. Math. vol. 101, pp. 196–202, ISSN: 00754102 (1887)
Movasati, H., Villafor Loyola, R.: A course in hodge theory: periods of alge braic cycles, in preparation. [Online]. Available: http://w3.impa.br/ hossein/ myarticles/hodgetheoryII.pdf
Sertöz, E.C.: Computing periods of hypersurfaces. English, Math. Comput., vol. 88, no. 320, pp. 2987–3022, ISSN: 00255718; 10886842/e (2019)
Villaflor Loyola, R.: Periods of complete intersection algebraic cycles. arXiv: 1812. 03964 [math.AG]
Voisin, C.: Hodge theory and complex algebraic geometry. II, English, ser. Cambridge Studies in Advanced Mathematics, vol. 77, pp. x+351. Cambridge University Press, Cambridge, Translated from the French by Leila Schneps, ISBN: 9780521 718028 (2007)
Acknowledgements
We are grateful to Pierre Deligne for his detailed comments on an earlier draft of this paper which shaped the present version. We also benefited from our conversations with Daniele Agostini, Moritz Firsching, Uwe Nagel, Frank Schreyer and Bernd Sturmfels. The second author would like to thank IMPA for additional funding and hospitality during his visit. We are indebted to the anonymous referee for giving valuable insight and contributing Proposition 2.15.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Movasati, H., Sertöz, E.C. On reconstructing subvarieties from their periods. Rend. Circ. Mat. Palermo, II. Ser 70, 1441–1457 (2021). https://doi.org/10.1007/s1221502000562x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1221502000562x
Keywords
 Algebraic geometry
 Transcendental methods
 Hodge theory
 Computational aspects
Mathematics Subject Classification
 32J25
 14Q10
 32G20