Abstract
In this paper we introduce some variation functions associated to the rank of the Infinitesimal Variations of Hodge Structure for a family of smooth projective complex curves. We give some bounds and inequalities and, in particular, we prove that if X is a smooth plane curve, then, there exists a first order deformation \(\xi \in H^1(T_X)\) which deforms X as plane curve and such that \(\xi \cdot :H^0(\omega _X)\rightarrow H^1({\mathcal O}_{X})\) is an isomorphism. We also generalize the notions of variation functions to higher dimensional case and we analyze the link between IVHS and the weak and strong Lefschetz properties of the Jacobian ring of a smooth hypersurface.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The period mapping associates a variation of Hodge structure (VHS) (see [15, 16]) to a family of complex algebraic varieties. This operation can be seen as a partially linearization functor. The periods of an algebraic variety are objects of transcendental nature, whereas its differential is of algebraic nature. This leads to the infinitesimal variation of Hodge structure (IVHS) (see [5, 6, 13, 17, 18]), which is a complete linearization functor.
The IVHS has been proved to be an important tool to tackle several interesting problems and in dealing with lot of applications. For several families of varieties, e.g. many smooth projective hypersurfaces, IVHS was proved powerful enough to give a complete reconstruction of the algebraic variety, a Torelli-type theorem (see [7, 8, 19, 30], for example, but also [26, 27]).
Recently the IVHS of families of curves has been studied in connection with the Fujita decomposition (see [14]), the Xiao conjecture (see [1, 2, 10]) and holomorphic forms on some moduli spaces (see [11]). In these articles, very roughly, the authors tried to use the rank of differential of the period mapping in a systematic way. Accordingly, in this paper we introduce some functions, associated to families of smooth curves (which we generalise then to the case of families of arbitrary smooth varieties) that give a quantitative measure of the variation of the family. We can call them variation functions. If the simplest one is the dimension of the image of the modular map (this has been studied in many papers—see [20, Section 2.3], for example—and again in the recent article [9]), we consider some variation functions which take into account the IVHS.
To be more concrete, if \(\pi :{\mathcal X}\rightarrow B\) is a family of algebraic smooth curves and \(0\in B\) let \(X=\pi ^{-1}(0)\) be an element of this family. The differential \(d_0{\mathcal P}\) of the period map \({\mathcal P}\) in 0 is the composition of two maps. The first one is the Kodaira–Spencer map \(KS:T_{B,0}\rightarrow H^1(T_X)\) and second is the IVHS map
which sends \(\eta \in H^1(T_X)\) to the cup product by \(\eta \) and it is the dual of the multiplication map between canonical sections \(H^0(\omega _X)^{\otimes 2}\rightarrow H^0(\omega _X^{\otimes 2})\). Inspired by the importance of the study of the ranks of these maps in many of the papers cited above, we introduce two functions \(d_M\) and \(d_m\) which compute, respectively the maximal rank and the minimal rank of the cup product by elements in \(KS(T_{B,0}){\setminus }\{0\}\) (for detail see Definition 1.1). Then we use \(d_M\) and \(d_m\) to define the variation functions \(\delta _M,\delta _m,\delta _M'\) and \(\delta _m'\) associated to \(\pi :{\mathcal X}\rightarrow B\), which take into account all the elements of the family (see Definition 1.4). We say that a family \(\pi \) has I -maximal variation if \(\delta _M'(\pi )=\min _{b\in B} d_M(KS(T_{B,b}))\) is equal to the genus of the curves of \(\pi \). In particular, a family \(\pi :{\mathcal X}\rightarrow B\) has I-maximal variation if for all \(b\in B\) there exists \(\xi \in KS(T_{B,b})\) such that \(\xi \cdot \) is an isomorphism.
The structure of the paper is as follows: first of all, in Sect. 1, we introduce the variation functions and prove some general bounds on them. We also propose one of the possible generalizations to the case of (families of) smooth varieties of dimension n: the Yukawa-Coupling map (see [19, Construction 1, pag. 53] but also [22, 29])
sending \(\bigotimes _{i=1}^{n}\xi _i\) to the cup product by \(\Pi _{i=1}^{n}\xi _i\). In Sect. 2, we introduce some notations and prove some technical results that are needed in the following sections. In Sect. 3 we focus on the case of families of smooth plane curves and prove:
Theorem
(Theorem 3.1) Smooth plane curves of degree d have I-maximal variations as smooth curves, i.e. if \(\pi \) is the family of smooth curves induced by \(|{\mathcal O}_{{\mathbb P}^2}(d)|,\) we have that \(\delta _M'(\pi )=(d-1)(d-2)/2\).
The techniques involved are a mix of results on Jacobian rings, geometric constructions and the Castelnuovo Uniform Position Theorem (see Proposition 3.2), used to bound the dimension of certain decomposable elements contained in the Jacobian ideal, which could be interesting on its own.
We notice that our main Theorem is complementary to a result in [10], where the minimum of the variation function for a family of plane curves of degree \(d\ge 5\) was computed (see Proposition 1.9). Finally, in Sect. 4, we analyze the higher dimensional case: we prove that the general hypersurface of degree d in \({\mathbb P}^n\) has I-maximal variation as hypersurface of \({\mathbb P}^n\) (see Proposition 4.2).
When X is a smooth hypersurface in \({\mathbb P}^n\), the cohomology of X is codified in its jacobian ring R, which is an Artinian graded standard algebra. For such algebras there are two properties that have been studied a lot and whose interest is still very appealing nowadays: the Weak and Strong Lefschetz Properties (see Sect. 2 for a description of these properties and some related results). There is a clear link between SLP and our variation functions: indeed, it is easy to see that if the jacobian ring of an hypersurface X of \({\mathbb P}^n\) has the SLP, then X, as hypersurface in \({\mathbb P}^n\), has I-maximal variation (see Lemma 2.8).
Among the various results about these topics we would like to highlight the one which implies that Fermat hypersurfaces of degree d in \({\mathbb P}^n\) have jacobian rings which satisfy the SLP. These results can be used to prove also our Proposition 4.2. Nevertheless, we decided to leave our proof since in the literature there are several and very different proofsFootnote 1 of the above result (see Remark 2.6 for the precise statement). Our proof relies on a induction argument performed by using partial derivatives and the Euler identity.
Finally, we would like to remark that our main result, i.e. the fact that plane curves have maximal variation (as plane curves), is not a consequence of any known result regarding either the WLP or the SLP. The SLP is conjectured to hold (see Remark 2.6) for standard graded Artinian algebras of codimension 3. Hence the main result of this article (Theorem 3.1), gives an evidence for the validity of this important conjecture.
2 Variation Functions
Let X be a smooth projective curve over \({\mathbb C}\). Let
be the map induced by the infinitesimal variation of the periods. It is the dual map of the multiplication map \(H^0(\omega _C)^{\otimes 2}\rightarrow H^0(\omega _C^{\otimes 2})\). We give two numbers to measure the variation on subspaces of \(H^1(T_X)\).
Definition 1.1
Let \(U\ne \{0\}\) be a vector subspace of \(H^1(T_X)\). We set
and
and call them variations of U. We say that U has I -maximal variation if \(d_M(U)=g\), i.e. there exists \(\xi \in U\) such that \(\varphi (\xi )\) is an isomorphism.
Remark 1.2
If X is a smooth projective curve of genus \(g\ge 3\) we have \(d_m(H^1(T_X))\in \{0,1\}\) with \(d_m(H^1(T_X))=1\) if and only if X is not hyperelliptic. If \(g\ge 2\) we have \(d_m(H^1(T_X))=1\).
Using a result in [23, Lemma 2.3] one can prove that for the very general non-hyperelliptic curve, \(H^1(T_X)\) has maximal variation. The following proposition strengthens this result by extending it to any smooth curve.
Lemma 1.3
Let X be a smooth curve of genus g. Then \(d_M(H^1(T_X))=g,\) i.e. \(H^1(T_X)\) has I-maximal variation.
Proof
The aim is to prove that there exists \(\xi \in H^1(T_X)\) such that the cup product \(\xi \cdot : H^0(\omega _X)\rightarrow H^1({\mathcal O}_X)\) is an isomorphism or, equivalently, injective. Assume, by contradiction, that this is not the case, so \(\xi \cdot \) is never injective. Take \(\xi \) such that \(\xi \cdot \) is of maximal rank and let \(\alpha \in H^0(\omega _X){\setminus }\{0\}\) be such that \(\xi \cdot \alpha =0\). We will prove that \(\xi '\alpha ^2=0\) for all \(\xi '\in H^1(T_X)\) and then see that this yields a contradiction.
Let \(\xi '\in H^1(T_X)\). If \(\xi '\alpha =0\) then we have also \(\xi '\alpha ^2=0\) and there is nothing to prove. If, instead, \(\xi '\alpha \ne 0\) consider \(h_t=\xi +t\xi '\). Since \(\xi \) is such that \(\varphi (\xi )\) has maximal rank and is not injective we have also that \(\varphi (\xi )\) has kernel of minimal dimension. In particular, \(h_t\) has non trivial kernel for all t. Let \(\gamma \) such that \(\gamma (t)\in {{\,\mathrm{Ker}\,}}(h_t)\) for all t and \(\gamma (0)=\alpha \). By considering the expansion of \(\gamma (t)\), we can assume that the first non-zero term of the expansion of \(\gamma \) has order \(k\ge 1\). Then \(\gamma (t)=\alpha +\alpha ' t^k+o(k+1)\) and we have
which is impossible unless \(k=1\) since \(\xi '\alpha \ne 0\). Then \(k=1\) and we get \(\xi '\alpha +\xi \alpha '=0\). Then, by multiplying by \(\alpha \) we have
as claimed.
Since \(\alpha ^2\in H^0(\omega _X^2)\) and \(\xi '\in H^1(T_X)=H^0(\omega _X^2)^*\), having \(\xi '\alpha ^2=0\) for all \(\xi '\) is possible only if \(\alpha ^2=0\). But this is impossible since we have assumed \(\alpha \ne 0\). Therefore, there exists \(\xi \in H^1(T_X)\) such that \(\xi \cdot :H^0(\omega _X)\rightarrow H^1({\mathcal O}_X)\) is an isomorphism. \(\square \)
We now specialize the notion of variations just introduced to families of curves. If \(\pi :{\mathcal X}\rightarrow B\) is a family of smooth curves of genus g over a smooth base B, then for any \(b\in B\) we have the Kodaira–Spencer map \(KS:T_{B,b}\rightarrow H^1(T_{X_b})\) where \(X_b=\pi ^{-1}(b)\).
We define now the variation functions discussed informally in the introduction.
Definition 1.4
We set
and call them variations functions related to \(\pi \). We will say that the family has I-maximal variation if \(\delta _M(\pi )=g.\) Given a smooth projective surface S and a smooth curve X in |L| where L is a line bundle on S, we define \(\delta _M(L),\delta _M'(L),\delta _m(L)\) and \(\delta _m'(L)\) when we consider the family of smooth curves defined by the sections of L.
We have the following consequence of Lemma 1.3.
Corollary 1.5
For a family \(\pi :{\mathcal X}\rightarrow B\) for which the moduli map is dominant (e.g. for a versal family), we have \(\delta _M(\pi )=\delta _M'(\pi )=g\) by Lemma 1.3. We have \(\delta _m(\pi )=\delta _m'(\pi )=1\) with possible exceptions when the family contains hyperelliptic curves.
Remark 1.6
If S is a surface, L is a line bundle and \(f\in H^0(L){\setminus }\{0\}\) is smooth (i.e. f is such that \(X=Z(f)\) is smooth), the family induced by |L| has base B which is an open set in \({\mathbb P}(H^0({\mathcal O}_S(X)))\) and \(T_{B,X}\simeq H^0({\mathcal O}_S(X))/\langle f\rangle \). If we consider the restriction \(|_X:H^0({\mathcal O}_S(X))\rightarrow H^0(N_{X/S})\) induced by
and the coboundary map \(\partial :H^0(N_{X/S})\rightarrow H^1(T_X)\) of the tangent sequence, the Kodaira–Spencer map is described as the composition \(\partial \circ |_X=KS'\).
We will say that X has I-maximal variation in S if the subspace \(U=KS'(H^0({\mathcal O}_S(X)))={{\,\mathrm{Im}\,}}(KS)\) has maximal variation for X.
Proposition 1.7
Let S be a surface and L an ample line bundle with a smooth section. Then \(\delta _M(L)\le g-q(S)\) where g is the genus of the general curve in |L|.
Proof
Let \(Z(f)=X\in |L|\) be a smooth element and fix the notation as in Remark 1.6. By Kodaira vanishing, we have the inclusions \(|_X:H^0(\Omega _S^1)\hookrightarrow H^0(\Omega _S^1|_X)\) and \(j:H^0(\Omega _S^1|_X)\rightarrow H^0(\omega _X)\) (the latter is induced by the cotangent sequence). We have then two commutative diagrams
where \(\gamma \) is simply the restriction \(H^0(\Omega _S^1)\rightarrow H^0(\Omega _X^1)\) of 1-forms on S to X. Hence, by varying \(X\in |L|\), we have that \(H^0(\omega _X)\) contains a constant part which comes from \(H^0(\Omega _S^1)\). We want to show that these 1-forms annihilate the elements in the image of the Kodaira–Spencer map. Consider \(\omega \in H^0(\Omega _S^1)\) and \(\eta \in H^0({\mathcal O}_S(X))\). The cup product \(KS'(\eta )\cdot \gamma (\omega )\in H^1({\mathcal O}_X)\) can be computed by factorising \(KS'\) and \(\gamma \) as \(\partial \circ |_X\) and \(j\circ |_X\) respectively and by using the commutativity of Diagram (3).
The vertical sequence on the right is the exact sequence induced in cohomology by the cotangent sequence tensored by \({\mathcal O}_X(X)\). Hence, by Diagram (3), we have
as claimed. Then, for all \(\eta \in {{\,\mathrm{Im}\,}}(KS)\) we have \(\gamma (H^0(\Omega _S^1))\subset {{\,\mathrm{Ker}\,}}(\eta \cdot : H^0(\omega _X)\rightarrow H^1({\mathcal O}_X))\) as claimed. \(\square \)
Remark 1.8
Let \(f:S\rightarrow B\) be a non-isotrivial fibration with S and B smooth (of dimension 2 and 1 respectively) and let \(F_b=f^{-1}(b)\) be a smooth fiber with genus \(g\ge 2\). If \(q_f\) is the relative irregularity of f and \(\xi _b\in H^1(T_{F_b})\) is the first order deformation of \(F_b\) induced by f, then
(see, for instance, [1]). Notice that the above inequality can be strict (see, for example, [12, 14]). If \(f'=f|_U:U\rightarrow B_o\) where \(U=f^{-1}(B^o)\) and \(B^o\subset B\) is the open set which parametrizes smooth fibers, the above inequality implies
Now we will focus on families of plane curves. First of all we will reinterpret a result of the authors (see [10]) in the framework of variation functions.
Proposition 1.9
For all \(d\ge 5\) we have \(\delta _m'({\mathcal O}_{{\mathbb P}^2}(d))=d-3\) and \(\delta _m({\mathcal O}_{{\mathbb P}^2}(d))\ge d-3\).
Proof
Consider a smooth curve of degree \(d\ge 5\) on \(S={\mathbb P}^2\) and let \(\pi :{\mathcal C}\rightarrow B\) be the family of smooth plane curves of degree d. In [10, Theorem 1.3], it is proved that the rank of the cup product by \(\xi \in {{\,\mathrm{Im}\,}}(KS)\) is at least \(d-3\), unless \(\xi =0\). Then \(\delta _m({\mathcal O}_{{\mathbb P}^2}(d))\ge d-3\) and \(\delta _m'({\mathcal O}_{{\mathbb P}^2}(d))=d-3\) since for Fermat curve of degree d one can easily write an infinitesimal deformation with rank \(d-3\). \(\square \)
One of the main result of this paper is that the family of curves in \({\mathbb P}^2\) has I-maximal variation (see Theorem 3.1). This will be stated and proved in Sect. 3.
We conclude this section by giving one of the possible generalizations (perhaps, the more extreme) of our definition of variations to the case of higher dimensional varieties.
Definition 1.10
Let X be a smooth complete projective variety of dimension n. Let
be the Yukawa coupling mapping [19, Construction 1, pag. 53], i.e. the map sending \(\bigotimes _{i=1}^{n}\xi _i\) to the cup product by \(\Pi _{i=1}^{n}\xi _i\). For any \(\xi \in H^1(T_X)\) write \(\varphi (\xi ^{\otimes n})=\xi ^n\cdot : H^0(\omega _X)\rightarrow H^n({\mathcal O}_X)\). We say then that \(\xi \) has I -maximal variation if \(\xi ^n\) induces an isomorphism. We set, for \(U\subset H^1(T_X)\),
Accordingly, we can define the numbers \(\delta _M,\delta _M',\delta _m\) and \(\delta _m'\) associated to a family of varieties and of line bundles.
3 SAGAs and Lefschetz Properties
In this section we fix some notations, we recall some well known facts and we prove two lemmas. Good references for Jacobian rings, their relation to cohomology of hypersurfaces and the IVHS of the latter are the books [4, 21, 31, 32] or the original works [6, 15,16,17,18].
Definition 2.1
Let \({\mathbb K}\) be a field and consider a standardFootnote 2 graded Artinian \({\mathbb K}\)-algebra \(R=\bigoplus _{s=0}^N R^{s}\). Then R is Gorenstein if the following holds:
-
\(R^s=0\) if \(s>N\) or \(s<0\) and \(R^0\simeq R^N\simeq {\mathbb K}\) as vector spaces;
-
the multiplication map \(R^{a}\times R^{N-a}\rightarrow R^N\) is a perfect pairing for all \(0\le a\le N\).
The graded piece of degree N, namely \(R^N\), is called socle of R whereas we refer to the second property as “Gorenstein duality” (since it induces isomorphisms \(R^{N-a}\simeq (R^{a})^*\)). For brevity, we will call SAGA a standard Artinian Gorenstein \({\mathbb K}\)-algebra.
Example 2.2
If \(X=V(F)\) is a smooth hypersurface in \({\mathbb P}^n\) of degree d and \(J=(F_{x_0},\dots ,F_{x_n})\) is the Jacobian ideal associated to F, we have that \(R={\mathbb K}[x_0,\dots ,x_n]/J\) is a SAGA with socle in degree \(N=(n+1)(d-2)\). It is called the Jacobian ring associated to X.
Let \(R=\oplus R^s\) be a SAGA with socle in degree N. Take \(\alpha \in R^e{\setminus }\{0\}\) and consider the multiplication map \(\mu :R {\mathop {\rightarrow }\limits ^{\cdot \alpha }}R\). Since \(\alpha \in R^e\), we have that
is a graded morphism and we can set \(K_{s}(\alpha )=\ker (\alpha \cdot :R^s\rightarrow R^{s+e})\). The quotient ring \(R_{\alpha }=R/(0:\alpha )\) has then a natural graded structure with \((R_{\alpha })^s=R^s/K_{s}(\alpha )\). Denote by \(r_j\) and \(k_j(\alpha )\) (or simply \(k_j\), if no confusion arises) the dimension of \(R^j\) and of \(K_{\alpha }^j\) respectively.
Lemma 2.3
Let \(R=\oplus R^s\) be a SAGA with socle in degree N. For all \(\alpha \in R^e{\setminus }\{0\}\) we have that \(R_{\alpha }=R/(0:\alpha )\) is a SAGA with socle in degree \(N_{\alpha }=N-e\). Moreover
for all s with \(0\le s\le N-e\).
Proof
First of all, notice that \(R_{\alpha }^{N-e}\) is one dimensional. Indeed, the map \(\alpha \cdot R^{N-e}\rightarrow R^N\) is surjective (by Gorenstein duality in R, as \(\alpha \ne 0\)). Then \(k_{N-e}=r_{N-e}-1\) and \(\dim (R_{\alpha }^{N-e})=r_{N-e}-k_{N-e}=1\) as claimed. Now we show that Gorenstein duality holds for \(R_{\alpha }\). Let \([\beta ]\in R_{\alpha }^{s}{\setminus }\{[0]\}\) with \(0\le s\le N_{\alpha }=N-e\). Since \([\beta ]\ne [0]\) we have that \(\alpha \beta \ne 0\) in \(R^{s+e}\). Then, by Gorenstein duality on R, there exists \(\gamma \in R^{N-s-e}\) such that \(\alpha \beta \cdot \gamma \ne 0\) in \(R^{N}\). In particular, \((\beta \gamma )\cdot \alpha \ne 0\) so \(\beta \gamma \not \in K_{N-e}(\alpha )\), i.e. \([\beta \gamma ]\ne 0\) in \(R_{\alpha }^{N_{\alpha }}\) and Gorenstein duality holds for \(R_{\alpha }\) as claimed. The relation among \(r_j\) and \(k_j\) simply follows from \(\dim (R_{\alpha }^s)=\dim (R_{\alpha }^{N_{\alpha }-s})\). \(\square \)
Using Gorenstein duality instead of the duality between \(H^1(T_X)\) and \(H^0(\omega _X^{2})\) we are able to prove the following lemma which is an analogue of Lemma 1.3.
Lemma 2.4
Let \(R=\bigoplus _{k=0}^{N}\) be a SAGA with socle in degree N and fix \(0\le d,e,\le N\) with \(d+2e\le N\). Then, for all \(\eta \in R^d\) with \(\eta \cdot :R^{e}\rightarrow R^{d+e}\) of maximal rank and for all \(\alpha \in K_s(\eta )\) we have \(\alpha ^2=0\).
Proof
The proof is similar to the one of Lemma 1.3. Let \(\eta \in R^{d}\) of maximal rank. If \(\eta \) is injective the thesis holds trivially so we can assume that \(\ker (\mu _e(\eta ))=K_{e}(\eta )\ne \{0\}\) and \(d\ne 0,N\). Let \(\alpha \in K_{e}(\eta ){\setminus }\{0\}\) and consider \(\eta '\in R^d\). If \(\eta '\alpha =0\) then we have also \(\eta '\alpha ^2=0\). We want to show that \(\eta '\alpha ^2=0\) also if \(\eta '\alpha \ne 0\). As in Lemma 1.3, one can find a curve \(\gamma \) such that \(\gamma (0)=\alpha \) and \(\gamma (t)\in K_e((\eta +t\eta ')\cdot ){\setminus }\{0\}\). Then we have \(\eta \alpha '+\eta ' \alpha =0\). Then, by multiplying by \(\alpha \) we would have
since \(\eta \alpha =0\). Hence, as claimed, \(\eta '\alpha ^2=0\) for all \(\eta '\in R^d\) and this proves that \(\alpha ^2=0\) by the non-degeneracy of the product \(R^d\times R^{2e}\rightarrow R^{2d+e}\) (which follows from the Gorenstein duality \(R^d\times R^{N-d}\rightarrow R^{N}\)). \(\square \)
We conclude the section by recalling the definition of weak and strong Lefschetz properties. The reader can refer to [21] for a comprehensive text about the Lefschetz properties.
Definition 2.5
Let \({\mathbb K}\) be a field and consider a standard Artinian graded \({\mathbb K}\)-algebra \(R=\bigoplus _{s=0}^{N} R^k\). We say that R satisfies the
-
Weak Lefschetz Property (WLP) if there exists \(L\in R^1\) such that \(L\cdot :R^k\rightarrow R^{k+1}\) has maximal rank for all k;
-
Strong Lefschetz Property (SLP) if there exists \(L\in R^1\) such that \(L^d\cdot :R^k\rightarrow R^{k+d}\) has maximal rank for all k, d.
The codimension of R is, by definition, the number of generators of \(R^1\) as \({\mathbb K}\)-vector space.
We summarize here some results and conjectures relevant with respect to the topics of our article.
Remark 2.6
Let R be a standard Artinian graded \({\mathbb K}\)-algebra. Then:
-
if R has codimension 2 or less, then R satisfies the SLP;
-
if R has codimension 3 and it is a complete intersection ring, then R satisfies the WLP;
-
No examples of complete intersection rings with codimension 3 which does not satisfy either WLP or SLP are known;
-
if R is a complete intersection ring, then it is conjectured that R satisfies also SLP;
-
Theorem: let \({\mathbb K}\) be a field of characteristic zero. Then \(R={\mathbb K}[x_0,\dots ,x_n]/(x_0^{a_0},\dots , x_n^{a_n})\) satisfies the SLP.
As specified in the introduction, several proofs of the latter statement exist in literature. Up to our knowledge, the first proof of the Theorem can be found in [3].
Remark 2.7
If X is a smooth hypersurface in \({\mathbb P}^n\) and R is its Jacobian ring, then R is a SAGA with socle in degree \(N=(d-1)(n+1)\) of codimension \(n+1\) which is also a complete intersection ring (since it is a regular ring). In particular, it is conjectured (see Remark 2.6) that R satisfies SLP.
The following lemma states the link between the variation functions for hypersurfaces in \({\mathbb P}^n\) and the SLP.
Lemma 2.8
Let X be a smooth hypersurface of \({\mathbb P}^n\) and let R be its Jacobian ring. If R has the SLP then X has I-maximal variation as hypersurface of \({\mathbb P}^n\).
Proof
If R satisfies the SLP then there exists \(L\in R^1=H^0({\mathcal O}_{{\mathbb P}^n}(1))\) such that \(L^{d(n+1)}\cdot :R^{d-n-1}\rightarrow R^{N-d-1}\) is an isomorphism. Since \(R^{d-n-1}=H^0({\mathcal O}_{{\mathbb P}^n}(d-n-1))\simeq H^0(\omega _X)\) by adjunction and by the results of Griffiths, Green and Donagi about the cohomology of hypersurfaces of \({\mathbb P}^n\) and the IVHS of the latter, we have that the above multiplication map is simply the map \(\varphi (L^{\otimes d(n-1)})=L^{\otimes d(n-1)}\cdot :H^0(\omega _X)\rightarrow H^{n-1}({\mathcal O}_X)\). Then, we have that X, as hypersurface, has I-maximal variation. \(\square \)
In particular, by Remark 2.7, it is conjectured that hypersurfaces in \({\mathbb P}^n\) should have I-maximal variation as hypersurfaces. The main result of this article proves this conjecture for the case \(n=2\), i.e. for plane curves (see Theorem 3.1).
4 Plane Curves
In this section we prove the main theorem of the article:
Theorem 3.1
Smooth plane curves of degree \(d\ge 3\) have I-maximal variation as plane curves. More precisely, \(\delta _M({\mathcal O}_{\mathbb {P}^{2}}(d))=\delta _M'({\mathcal O}_{\mathbb {P}^{2}}(d))=\frac{(d-1)(d-2)}{2}\) for \(d\ge 3\).
Before the proof, we introduce some notation and prove two technical propositions. Let \(X=V(F)\) be a smooth plane curve of degree d and let \(g=(d-1)(d-2)/2\) be its genus. We will denote by S the algebra \(\bigoplus _{k\ge 0}S^k\) where \(S^k=H^0({\mathcal O}_{{\mathbb P}^2}(k))\) and by J the Jacobian ideal associated to X, i.e. the ideal spanned by partial derivatives of F: \(J=(F_{x_0},F_{x_1},F_{x_2})\). As recalled in Example 2.2, the associated Jacobian ring \(R=S/J\) is a SAGA with socle in degree \(N=3d-6\). The graded pieces of R are \(R^k=S^k/J^k\) where \(J^k=S^k\cap J\).
If \(\alpha \in R^e\), we recall that we have set \(K_{m}(\alpha )=\ker (\alpha \cdot R^{m}\rightarrow R^{m+e})\) and \(k_{m}=k_m(\alpha )=\dim (K_{m}(\alpha ))\). Since we defined \(r_k\) to be equal to \(\dim (R^k)\), it is convenient to set \(s_k=\dim (S^k)=h^0({\mathcal O}_{{\mathbb P}^2}(k))\).
If \(p\ge 0\), according to the parity of p, we define \({\tilde{s}}\) to be one of the following Segre-like morphisms:
We also denote by \(D^{p}\) the image of \({\tilde{s}}\) and by \(D_J^{p}\) the intersection \(D^p\cap {\mathbb P}(J^{p})\). In other words, elements of \(D_J^p\) are (particular) decomposable elements which are also in the Jacobian ideal.
If p is an integer such that \(d-1\le p\le 2d-2\) we have that \(S^{p-d+1}\) and \(J^{p}\) are non-trivial (and \(S^{p-d}=0\) if and only if \(p=d-1\)). Then we can carry on the following construction. For any \(v=(v_0,v_1,v_2)\ne (0,0,0)\) let \(F_v\) be the directional derivative \(v\cdot \nabla F=v_0F_{x_0}+v_1F_{x_1}+v_2F_{x_2}\). If one denotes by \(f_v\) the map
we have that \(f_v\) is bilinear and injective. Indeed, having \((A,B)\ne (0,0)\) such that \(AF+BF_v=0\) would yield \(AF=-BF_v\) which is impossible. Indeed, F can not divide \(BF_v\) since it is irreducible and \(\deg (B)\lneq \deg (F)\) as we are assuming \(p\le 2d-2\).
Notice that, by construction, we have \({{\,\mathrm{Im}\,}}(f_v)\subseteq J^{p}\). Let \(\tilde{f_v}\) be the projectivization of \(f_v\) and denote by
its image in \({\mathbb P}(J^{p})\).
If \(p\ge d\) we have then the diagram
where the vertical morphisms are induced by the inclusion \(J^{p}\subset S^{p}\).
Proposition 3.2
Assume that \(d-1 \le p\le 2d-4\) and take v as above and general.
Then \(D_J^{p}\cap E_v^{p}\) is empty. In particular,
where \({\tilde{s}}\) is the Segre morphism defined above.
Proof
Assume that \(p=d-1\). Then \(J^p=J^{d-1}\) is a linear system without base points and, by Bertini’s Theorem, its general element is irreducible. On the other hand, if \(p=d-1\) we have that \(E_v^{p}=\{[F_v]\}\) is a single point so for v general \(E_v^{d-1}\cap D_J^{d-1}=\emptyset \). Since \(s_{p-d}=0\) and \(s_{p-d+1}=1\), Inequality 5 holds.
Assume now that \(p=2k\ge d\) so, by the hypothesis on p, we have
Suppose, by contradiction, that there exists an element in \(E^{2k}_v\cap D^{2k}_J\). Then, there exist \(\beta _1,\beta _2\in S^{k}{\setminus }\{0\}\) and \(A\in S^{2k-d},B\in S^{2k-d+1}\) such that
The dual map of the curve X fits into the diagram
where \(\nabla F\) is the gradient of F. It is the morphism induced by the subsystem \(|J^{d-1}|\) of \(|S^{d-1}|\). It is well known that \(\nu \) is a birational morphism and that \(X^*\) is a curve of degree \(d(d-1)\). Any choice of \(v=(v_0,v_1,v_2)\ne (0,0,0)\) corresponds to the choice of a line in \(({\mathbb P}^2)^*\), namely the line \(L_v:v_0z_0+v_1z_1+v_2z_2=0\), if the \(z_i\)’s are projective coordinates on \(({\mathbb P}^2)^*\). If v is general, the corresponding line is also general so it cuts \(X^*\) in exactly \(d(d-1)\) distinct points. Since v is general, we can also assume that the preimages of these points are distinct. Since \((\nabla F)^*(L_v)\) is the curve with equation \(F_v=0\), we have produced a set P of \(d(d-1)\) distinct points on X, which, by construction, also annihilate the polynomial \(AF+BF_v\). In particular, we have that the product \(\beta _1\beta _2\) vanishes on all these points. Notice that neither \(\beta _1\) nor \(\beta _2\) can vanish on all the \(d(d-1)\) points of P since \(\beta _i\in S^{k}=H^0({\mathcal O}_{{\mathbb P}^2}(k))\) cuts on X a divisor of degree kd and by Inequality (6) we have \(k\le d-2\). Hence one of them (say \(\beta _1\), for example) vanishes on m of these points with
and does not vanish on at least one of the other \(d(d-1)-m\) points.
Let \(\{p_1,\dots ,p_m\}\) be the points of P in the support of the divisor cut by \(\beta _1\) on X and let \(P_{m+1}\) be another point chosen among the \(d(d-1)\) points. By the Uniform Position Theorem, by following loops around \(L_v\) we can permute the points \(\{p_1,\dots ,p_m,p_{m+1}\}\) via monodromy in any way we would like (since the monodromy is the full symmetric group of the fiber). Then we are able to construct \(m+1\) sections \(\omega _1,\dots ,\omega _{m+1}\) of \({\mathcal O}_{X}(k)\) such that \(\omega _i(p_j)=\lambda _i\delta _{ij}\) where \(\lambda _i\ne 0\) and \(\omega _{m+1}=\beta _1|_{X}\). The above vanishing conditions ensure that these forms are also independent so we have \(m+1\le h^0({\mathcal O}_{X}(k))\). By Inequality (6) and since \(\{s_k\}\) is an increasing sequence, we have \(h^0({\mathcal O}_{X}(k))=h^0({\mathcal O}_{{\mathbb P}^2}(k))=s_k\le s_{d-2}\). Then, by Inequality (7) we have the condition
which leads easily to a contradiction. The proof for \(p\ge d\) with p odd is analogous.
Since we have proved that \(D_j^p\) and \(E_v^{p}\) are disjoint we have also
The last claim of the proposition, i.e. formula (5), follows from the last inequality since, for \(p\ge d\), we have \(\dim (E_v^{p})=s_{p-d}+s_{p-d+1}-1\) by construction. \(\square \)
The next corollary won’t be used in what follow but, in our opinion is worth to be mentioned since it has a relevant geometric meaning.
Corollary 3.3
Assume that \(d\ge 3\). Then, the intersection \(D_J^{2d-4}=D^{2d-4}\cap {\mathbb P}(J^{2d-4})\) has the expected dimension in \({\mathbb P}(S^{2d-4})\).
Proof
Since \(d\ge 3\) we have \(d-1\le 2d-4\) and we can apply Proposition 3.2 with \(p=2d-4\) and \(k=d-2\). By Gorenstein duality we have \((R^{2d-4})^*\simeq R^{d-2}\simeq S^{d-2}\) so
On the other hand
so we have that the expected dimension \({{\,\mathrm{Edim}\,}}(D_J^{2d-4})\) of the intersection \(D_J^{2d-4}=D^{2d-4}\cap {\mathbb P}(J^{2d-4})\) is
Comparing this with the inequality given by Proposition 3.2 we get
so \(D_J^{2d-4}\) has actually the expected dimension. \(\square \)
The following proposition gives a criterion which we will use to prove the main theorem.
Proposition 3.4
Let X be a smooth plane curve of degree \(d\ge 5\) and genus g. If \(\dim (D_J^{2d-6})< g-1\) we have that X has I-maximal variation as plane curve.
Proof
Assume that X is not of I-maximal variation. We will prove that \(\dim (D_J^{2d-6})\ge g-1\). Since \(d\ge 5\) we have \(2d-6\ge d-1\) and then \(J^{2d-6}\) is not empty. Recall that, according to Equation (4), for \(p=2d-6\), we have the Segre morphism \({\tilde{s}}:{\mathbb P}(S^{d-3})\times {\mathbb P}(S^{d-3})\rightarrow {\mathbb P}(S^{2d-6})\) such that \(([\alpha ],[\beta ])\mapsto [\alpha \beta ]\) and \(D^{2d-6}_J\) is, by definition, the intersection of \({\mathbb P}(J^{2d-6})\) with the image of \({\tilde{s}}\).
In order to prove the desired inequality, set
and consider the incidence correspondence
with its projection \(\pi _1\) and \(\pi _2\). Then we have a diagram
where \(\psi :Z\rightarrow {\mathbb P}(J^{2d-6})\) is the multiplication morphism \(\psi ([\alpha ],[\beta ])=[\alpha \beta ]\). Note that it has image in \(D^{2d-6}_J\) by construction and it is finite since it is the restriction of the Segre morphism \({\tilde{s}}\). Then, we have \(\dim (D^{2d-6}_J)\ge \dim ({{\,\mathrm{Im}\,}}(\psi ))=\dim Z\). By construction \(\pi _1\) is surjective (indeed, if \([\alpha ]\in Y\), we have \(([\alpha ],[\alpha ])\in Z\)) and \(\pi _1^{-1}([\alpha ])=[\alpha ]\times {\mathbb P}(K_{d-3}(\alpha ))\) so, for \(\alpha \) general we have
In particular, in order to conclude the proof, it is enough to prove that
Consider the incidence correspondence
with its projections \(p_1\) and \(p_2\). Since X is not of I-maximal variation we have that \(p_1\) is surjective. Then, there is an irreducible component \({\mathcal I}\) of \({\tilde{{\mathcal I}}}\) which dominates \({\mathbb P}(R^{d})\) via \(p_1\). We will denote by \(p_i\) also the restriction of \(p_i\) to \({\mathcal I}\) for brevity. Since \(p_1\) is dominant we have
Let U be the open dense subset of \({\mathcal I}\) whose elements are exactly the pairs \(([\eta ],[\alpha ])\) with \(\eta \alpha \in J\) and \(\eta \cdot :R^{d-3}\rightarrow R^{2d-3}\) of maximal rank. Then, by Lemma 2.4, if \(([\eta ],[\alpha ])\in U\) we have \(\alpha ^2\in J^{2d-6}\). Hence \(p_2|_U:U\rightarrow Y\) and \(\dim (p_2(U))=\dim (p_2({\mathcal I}))\le \dim (Y)\). Then we can write
By Inequality (9) and since the fiber over \([\alpha ]\in p_2({\mathcal I})\) is \(p_2^{-1}([\alpha ])={\mathbb P}(K_{d}(\alpha ))\times [\alpha ]\), we have
In particular, by Lemma 2.3, it follows that
which yields Inequality (8), as claimed. \(\square \)
We are now ready to prove our main theorem.
Proof
The Theorem is true for \(d=3\). Indeed, let \(\pi :{\mathcal X}\rightarrow B\) be the family of smooth plane curves of degree 3. Then, for all \(b\in B\) we have that \(KS_b:T_{B,b}\rightarrow H^1(T_{X_b})\simeq {\mathbb C}\) is not zero and so it is surjective. Then, by Lemma 1.3 we have that \(X_b\) has I-maximal variation as plane curve.
Assume now \(d\ge 4\) and proceed by contradiction by assuming also that X is not of I-maximal variation.
If \(d=4\), for \(\eta \in R^4\) general we have that \(\eta \cdot : R^1\rightarrow R^5\) has non trivial kernel. If \(\alpha \in K_{1}(\eta )\), by Lemma 2.4, we would have \(\alpha ^2\in J^{2}\). Since \(J^{2}=\{0\}\) (as J is generated in degree \(d-1=3\)) we have \(\alpha =0\) which gives a contradiction. One can also prove the thesis in this case by using the fact that quartic curves are canonical.
Let \(d\ge 5\). Under this assumption we can apply Proposition 3.4. By doing so, we have the inequality
Notice that, if we assume \(d=5\), this yields \(\dim (D_J^{4})\ge 5\) which is impossible since \(\dim (D_J^{4})\le \dim ({\mathbb P}(J^4))=2\). Hence, we can assume that \(d\ge 6\).
Inequality (12) gives us a bound for the dimension of \(D_J^{2d-6}\) from below. We aim now to get a bound from above. Since \(d\ge 6\), if we set \(k=d-3\) and \(p=2k\) we have \(d\le p\le 2d-4\) so we can apply Proposition 3.2 to obtain
Since \((R^{2d-6})^*\simeq R^{d}\), by Gorenstein duality, we have
so the above inequality yields
We can conclude the proof of the Theorem by observing that Inequalities (12) and (13) lead to a contradiction. Indeed, from these inequalities we get
and, consequently, \(d(d-3)<(d-1)(d-4)\) which is true if and only if \(d<2\). Then plane curves of degree \(d\ge 3\) have I-maximal variation. \(\square \)
5 Yukawa Coupling for Hypersurfaces
Let \(n\ge 2\) and consider \(S={\mathbb K}[x_0,\dots ,x_n]\), the homogenous coordinate ring of \(\mathbb {P}^n_{{\mathbb K}}\) with the standard graduation \(S=\bigoplus _{m\ge 0} S^m\). Consider the Fermat polynomial of degree d, i.e. \(F_d=\sum _{i=0}^nx_i^d\), and its Jacobian ideal
We set
so that \(\sigma _d\) is a generator for the socle of the Jacobian ring \(R_d=S/J_d\).
For \(d,k\ge 0\) consider the following property:
Lemma 4.1
Property \((\star )_{d,k}\) is true if \(d\ge n+1\) and \(k\le d-n-1\).
Proof
First of all, notice that it is enough to prove the statement for \(k=d-n-1\). Indeed, if \((\star )_{d,d-n-1}\) holds and if \(G'\in S^{k}\) with \(G'\ne 0\) and \(G'\cdot H^{d(n-1)}\in J_d^{k+d(n-1)}\) for some \(k<d-n-1\), then we would have \(G'\cdot H^{d(n-1)}\cdot H^{e} \in J_d^{k+d(n-1)+e}\) for all \(e\ge 1\). In particular, for \(e=d-n-1-k\),
which is impossible since \(G'\cdot H^{d-n-1-k}\in S^{d-n-1}{\setminus } \{0\}\) and we are assuming \((\star )_{d,d-n-1}\). Hence \((\star )_{d,k}\) holds also for \(k<d-n-1\).
Set \(k=d-n-1\). We will prove now that \((\star )_{d,k}\) holds by induction on \(d\ge n+1\). First of all notice that if \(d=n+1\) we have \(k=0\) and the claim is equivalent to say that \(H^{d(n-1)}\not \in J_d\). Since \(d=n+1\) we have
so \(H^{d(n-1)}\) is equal to \(\lambda \cdot \sigma _d\) in \(R_d\) with \(\lambda \ne 0\). Since \(\sigma _d\) generates the socle of \(R_d\) we have that \(H^{d(n-1)}\not \in J_d\), as claimed.
Assume now, as induction hypothesis, that \((\star )_{l,l-n-1}\) is true for \(l\le d-1\). Let \(G\in S^{d-n-1}\) and assume \(L=G\cdot H^{d(n-1)}\in J_d^{dn-n-1}\). In order to conclude our proof we need to show that \(G=0\).
For simplicity we will introduce the following notations. Set \(I_n=\{0,1,\dots , n\}\). If \(I\subseteq I_n\) we set |I| to be the cardinality of I. We will call it length of I. For any polynomial \(g\in S^m\) and \(I=\{i_1,\dots ,i_r\}\subseteq I_n\) we denote by \(\partial _I(g)\) the derivative of g with respect to all the variables \(\{x_{i_1},\dots ,x_{i_r}\}\). If \(I\subseteq I_n\) we set \({\hat{I}}=I_n{\setminus } I\) and \(\hat{\partial }_I:=\partial _{{\hat{I}}}\), i.e. the derivative with respect to all the variables with indices not in I. For brevity, we will write \(\partial _i\) and \(\hat{\partial }_i\) instead of \(\partial _{\{i\}}\) and \(\hat{\partial }_{\{i\}}\).
Since \(L= G\cdot H^{d(n-1)}\in J^{n(d-1)-1}_d=(x_0^{d-1},\dots ,x_n^{d-1})\) we can write it as
for suitable \(f_i\in S^{n(d-1)-n}\). We claim that \(\hat{\partial }_{j}(L)\in J_{d-1}\) for all j. This follows easily, since \(J_{d-1}\) is generated by the monomials \(x_0^{d-2},\dots ,x_n^{d-2}\) and since
Now we want to express the difference \(\hat{\partial }_i(L)-\hat{\partial }_j(L)\) (which, as we have just shown, is an element of \(J_{d-1}\)). In order to do so, notice that, for \(I\subseteq \{0,\dots ,n\}\) and \(s\ge |I|\) we have
In particular, by using Eq. (15), we can write
where all the coefficients \(\lambda _m\) are strictly positive for \(m=0,\dots ,n\) and \(\lambda _n=1\). Hence, if \(i\ne j\), we have
Then, the sum in the square bracket is 0 by the induction hypothesis \((\star )_{d-1,(d-1)-n-1}\) since it is an element of \(S^{(d-1)-n-1}\) which falls into in \(J_{d-1}\) if multiplied by \(H^{(d-1)(n-1)}\). Hence we can write:
If \(|J|=m\) and \(i,j\in J\) then |J| does not give contribution to the above sum. On the other hand the same is true if both i and j are not in J since the contributions cancel out. If J give a contribution to the sum then either \(i\not \in J\) and \(J=J'\cup \{j\}\) or \(j\not \in J\) and \(J=J'\cup \{j\}\). Then we can write
and we have proven that for all \(i\ne j\), if we set \(G_{i,j}=(\partial _j-\partial _i)(G)\), \(G_{i,j}'\) satisfies the differential equation
and with \(\lambda _m\) strictly positive and \(\Gamma _{i,j}^{0}={{\,\mathrm{id}\,}}\).
We claim now that \(G_{i,j}=0\). Notice that \(\lambda _1\ne 0\) and \(\Gamma _{i,j}^{0}={{\,\mathrm{id}\,}}\) imply that \(G_{i,j}\) is divisible by H so we can write \(G_{i,j}=HG_{i,j}'\). We claim that \(G_{i,j}'\) satisfies a differential equation like the one in (18) (with different coefficients \(\lambda _m\) but always strictly positive). If \(I=\{i_1,\dots ,i_m\}\) then
Hence, from Eq. (18) we have
By dividing by H we get
Since \(\lambda _m>0\) we have, as claimed, that the coefficients of the differential equation are strictly positive. In particular, \(\lambda _1'\ne 0\) and so we obtain, as before, that \(G_{i,j}'\) is divisible by H and we can iterate this process. After a finite number of iterations of this process we have \(G_{i,j}=H^{d-n-3}\cdot G_{i,j}''\) with \(G_{i,j}''\in S^1\) that satisfies an equation like Eq. (18) with coefficients \(\lambda _m''>0\) for all m. Since \(G_{i,j}''\in S^1\) we have \(\Gamma _{i,j}^{m-1}(G_{i,j}'')=0\) as soon as \(m\ge 2\). Then the differential equation satisfied by \(G_{i,j}''\) is simply \(\lambda _1''G_{i,j}''=0\) which yields \(G_{i,j}''=0\) and then, finally, \(G_{i,j}=H^{d-n-3}\cdot 0=0\) as claimed.
Since \(G_{i,j}=(\partial _i-\partial _j)(G)=0\) for all i, j we have \(\partial _i(G)=\partial _j(G)\) for all i, j. We claim that \(K\in S^m\) with \(\partial _0(K)=\cdots =\partial _n(K)\) can be written as \(\alpha H^{m}\) for suitable \(\alpha \). If \(m=1\) this is clear. If we assume that the claim holds till \(m-1\) and \(K\in S^m\) with \(\partial _0(K)=\cdots =\partial _n(K)=D\) we have that \(D\in S^{m-1}\) and it satisfies the same condition. Indeed, if i, j are two different indices, we have \(\partial _i(D)=\partial _i(\partial _j K)=\partial _j(\partial _i K)=\partial _j(D)\). Then, by induction, we obtain \(D=\alpha 'H^{m-1}\). Using Euler relation we get
as claimed and also \(G=\alpha H^{d-n-1}\).
Since \(G=\alpha H^{d-n-1}\) and \(G\cdot H^{d(n-1)}\in J_d\) we have that \(\alpha H^{d(n-1)+d-n-1}\) is 0 in the Jacobian ring \(R_d\). Hence, \(\alpha H^{d(n-1)+d-n-1}\cdot H^{d-n-1}=\alpha H^{(n+1)(d-2)}\) is also 0 in the Jacobian ring. As \(H^{(d-2)(n-1)}=\lambda \cdot \sigma _d\) in R with \(\lambda \ne 0\) as observed at the beginning of this proof, we have \(0=\alpha \lambda \sigma _d\) in R which is only possible if and only if \(\alpha =0\), i.e. if and only if \(G=0\). \(\square \)
Proposition 4.2
The general hypersurface \(Y\subseteq {\mathbb P}^n\) of degree \(d\ge n+1\) has I-maximal variation, i.e. \(\delta _M({\mathcal O}_{{\mathbb P}^n}(d))=h^0(\omega _Y)=h^0({\mathcal O}_{{\mathbb P}^{n}}(d-n-1))\).
Proof
Let Y be a Fermat hypersurface in \({\mathbb P}^n\) of degree \(d\ge n+1\). Then the Yukawa coupling associated to Y is generically an isomorphism by Lemma 4.1. By semicontinuity, this holds also for the general hypersurface in \({\mathbb P}^n\) of degree \(d\ge n+1\). In particular, \(\delta _M({\mathcal O}_{{\mathbb P}^n}(d))\) is maximal. \(\square \)
As already said in the introduction, the above proposition can be also seen as a consequence of the Theorem recalled in Remark 2.6 and the discussions in the Remark 2.7 and Lemma 2.8.
Notes
This means that R is generated, as \({\mathbb K}\)-algebra, by \(R^1\), i.e. the vector space of elements of R of degree 1.
References
Barja, M.A., González-Alonso, V., Naranjo, J.C.: Xiao’s conjecture for general fibred surfaces. J. Reine Angew. Math. 739, 297–308 (2018). https://doi.org/10.1515/crelle-2015-0080
Beorchia, V., Pirola, G.P., Zucconi, F.: Trigonal deformations of rank one and Jacobians. Int. Math. Res. Not. (2019). https://doi.org/10.1093/imrn/rnz216
de Bruijn, N.G., van Ebbenhorst Tengbergen, C., Kruyswijk, D.: On the set of divisors of a number. Nieuw Arch. Wiskunde 2(23), 191–193 (1951)
Bruns, W., Herzog, J.: Cohen–Macaulay Rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Carlson, J., Griffiths, P.A.: Infinitesimal variations of Hodge structure and the global Torelli problem. Journées de Géometrie Algébrique d’Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn—Germantown, Md., 51–76 (1980)
Carlson, J., Green, M., Griffiths, P.A., Harris, J.: Infinitesimal variations of Hodge structure. I. Compos. Math. 50(2–3), 109–205 (1983)
Donagi, R.: Generic Torelli for projective hypersurfaces. Compos. Math. 50(2–3), 325–353 (1983)
Donagi, R., Green, M.L.: A new proof of the symmetrizer lemma and a stronger weak Torelli theorem for projective hypersurfaces. J. Differ. Geom. 20(2), 459–461 (1984)
Dutta, Y., Huybrechts, D.: Maximal variation of curves on K3 surfaces. Preprint (2021). arXiv:2105.04787
Favale, F.F., Naranjo, J.C., Pirola, G.P.: On the Xiao conjecture for plane curves. Geom. Dedicata 195, 193–201 (2018). https://doi.org/10.1007/s10711-017-0283-4
Favale, F.F., Pirola, G.P., Torelli, S.: Holomorphic 1-forms on the moduli space of curves. Preprint (2019). arXiv:2009.10490v2
Flamini, F.: Moduli of nodal curves on smooth surfaces of general type. J. Algebraic Geom. 11(4), 725–760 (2002). https://doi.org/10.1090/S1056-3911-02-00322-3
Frediani, P., Ghigi, A., Pirola, G.P.: Fujita decomposition and Hodge loci. J. Inst. Math. Jussieu 19(4), 1389–1408 (2020). https://doi.org/10.1017/s1474748018000452
González-Alonso, V., Torelli, S.: Families of curves with Higgs field of arbitrarily large kernel. Bull. Lond. Math. Soc. 53(2), 493–506 (2021). https://doi.org/10.1112/blms.12437
Griffiths, P.A.: Periods of integrals on algebraic manifolds. I. Construction and properties of the modular varieties. Am. J. Math. 90, 568–626 (1968). https://doi.org/10.2307/2373545
Griffiths, P.A.: Periods of integrals on algebraic manifolds. II. Local study of the period mapping. Am. J. Math. 90, 805–865 (1968). https://doi.org/10.2307/2373485
Griffiths, P.A.: Infinitesimal variations of Hodge structure. III. Determinantal varieties and the infinitesimal invariant of normal functions. Compos. Math. 50(2–3), 267–324 (1983)
Griffiths, P.A., Harris, J.: Infinitesimal variations of Hodge structure. II. An infinitesimal invariant of Hodge classes. Compos. Math. 50(2–3), 207–265 (1983)
Griffiths, P.A., Tu, L.: Infinitesimal variation of Hodge structure. In: Topics in Transcendental Algebraic Geometry. Princeton, N.J. (1981/1982). Annals of Mathematical Studies, vol. 106, pp. 51–61. Princeton University Press, Princeton (1984)
Guerra, L., Pirola, G.P.: On rational maps from a general surface in \({\mathbb{P} }^3\) to surfaces of general type. Adv. Geom. 8(2), 289–307 (2008). https://doi.org/10.1515/ADVGEOM.2008.018
Harima, T., Maeno, T., Morita, H., Numata, Y., Wachi, A., Watanabe, J.: The Lefschetz Properties. Lecture Notes in Mathematics, vol. 2080. Springer, Heidelberg (2013)
Kovács, S.J.: Strong non-isotriviality and rigidity. In: Recent Progress in Arithmetic and Algebraic Geometry. Contemporary Mathematics, vol. 386, pp. 47–55. American Mathematical Society, Providence (2005). https://doi.org/10.1090/conm/386/07217
Lee, Y., Pirola, G.P.: On rational maps from the product of two general curves. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 16(4), 1139–1152 (2016)
Lindsey, M.: A class of Hilbert series and the strong Lefschetz property. Proc. Am. Math. Soc. 139(1), 79–92 (2011). https://doi.org/10.1090/S0002-9939-2010-10498-7
Reid, L., Roberts, L.G., Roitman, M.: On complete intersections and their Hilbert functions. Can. Math. Bull. 34(4), 525–535 (1991). https://doi.org/10.4153/CMB-1991-083-9
Rizzi, L., Zucconi, F.: Generalized adjoint forms on algebraic varieties. Ann. Mat. Pura Appl. (4) 196(3), 819–836 (2017). https://doi.org/10.1007/s10231-016-0597-0
Rizzi, L., Zucconi, F.: On Green’s proof of the infinitesimal Torelli theorem for hypersurfaces. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29(4), 689–709 (2018). https://doi.org/10.4171/RLM/829
Stanley, R.P.: Hilbert functions of graded algebras. Adv. Math. 28(1), 57–83 (1978). https://doi.org/10.1016/0001-8708(78)90045-2
Viehweg, E., Zuo, K.: Complex multiplication, Griffiths-Yukawa couplings, and rigidity for families of hypersurfaces. J. Algebraic Geom. 14(3), 481–528 (2005). https://doi.org/10.1090/S1056-3911-05-00400-5
Voisin, C.: Schiffer variations and the generic Torelli theorem for hypersurfaces. Preprint (2020). arXiv:2004.09310
Voisin, C.: Hodge Theory and Complex Algebraic Geometry. I. Cambridge Studies in Advanced Mathematics, vol. 76. Cambridge University Press, Cambridge (2007). Reprint of the 2002 English edition. Translated from the French by Leila Schneps
Voisin, C.: Hodge Theory and Complex Algebraic Geometry. II. Cambridge Studies in Advanced Mathematics, vol. 77. Cambridge University Press, Cambridge (2007). Reprint of the 2003 English edition. Translated from the French by Leila Schneps
Watanabe, J.: The Dilworth number of Artinian rings and finite posets with rank function. In Commutative Algebra and Combinatorics (Kyoto, 1985). Advanced Studies in Pure Mathematics, vol. 11, pp. 303–312. North-Holland, Amsterdam (1987). https://doi.org/10.2969/aspm/01110303
Acknowledgements
The authors are thankful to Enrico Schlesinger for helpful discussion on the topics of the paper. The authors want to express their gratitude to the anonymous referee for his/her helpful remarks and keen suggestions and for pointing out an error in a previous version of the paper. The authors are partially supported by INdAM-GNSAGA. The first named author was partially supported by “2017-ATE-0253” (Dipartimento di Matematica e Applicazioni-Università degli Studi di Milano-Bicocca). Both authors were partially supported by PRIN 2017 “Moduli spaces and Lie theory” and by (MIUR): Dipartimenti di Eccellenza Program (2018-2022)-Dept. of Math. Univ. of Pavia.
Funding
Open access funding provided by Università degli Studi di Pavia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
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
Favale, F.F., Pirola, G.P. Infinitesimal Variation Functions for Families of Smooth Varieties. Milan J. Math. 90, 209–228 (2022). https://doi.org/10.1007/s00032-022-00353-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00032-022-00353-2