Maximal Families of Calabi–Yau Manifolds with Minimal Length Yukawa Coupling

Original Article

Abstract

For each natural odd number n≥3, we exhibit a maximal family of n-dimensional Calabi–Yau manifolds whose Yukawa coupling length is 1. As a consequence, Shafarevich’s conjecture holds true for these families. Moreover, it follows from Deligne and Mostow (Publ. Math. IHÉS, 63:5–89, 1986) and Mostow (Publ. Math. IHÉS, 63:91–106, 1986; J. Am. Math. Soc., 1(3):555–586, 1988) that, for n=3, it can be partially compactified to a Shimura family of ball type, and for n=5,9, there is a sub \({\mathbb{Q}}\)-PVHS of the family uniformizing a Zariski open subset of an arithmetic ball quotient.

Keywords

Calabi–Yau Yukawa Coupling Hodge Theory 

Mathematics Subject Classification (2010)

14D07 14J32 

1 Introduction

The local Torelli theorem for Calabi–Yau (abbreviated as CY) manifolds says that the Kodaira–Spencer map for a versal local deformation of a CY manifold is an isomorphism. This important fact has a consequence on the Yukawa coupling length which is introduced in the work [13]. For a family \(f: {\mathcal{X}}\to S\) of CY manifolds of dimension n, let
$$\biggl(E=\bigoplus_{p+q=n}E^{p,q},\theta= \bigoplus_{p+q=n}\theta^{p,q}\biggr) $$
be the associated Higgs bundle, where \(E^{p,q}=R^{q}f_{*}\varOmega^{p}_{{\mathcal{X}}/S}\) and the Higgs field
$$\theta^{p,q}: E^{p,q}\to E^{p-1,q+1}\otimes \varOmega_S $$
is given by the cup product with the Kodaira–Spencer map. The length of the Yukawa coupling ς(f) of f is then defined by
$$\varsigma(f)=\min\bigl\{i\geq1, \theta^i=0\bigr\}-1, $$
where θi is the ith iterated Higgs field
$$\theta^i: E^{n,0}\stackrel{\theta^{n,0}}{ \longrightarrow} E^{n-1,1}\otimes \varOmega_S\stackrel{ \theta^{n-1,1}}{\longrightarrow}\cdots \stackrel{\theta^{n-i+1,i-1}}{ \longrightarrow} E^{n-i,i}\otimes S^{i}\varOmega_S. $$
The local Torelli theorem implies that, for a non-isotrivial family f of n-dimensional CY manifolds, it holds true that 1≤ς(f)≤n. The connection of Yukawa coupling length with Shararevich’s conjecture for CY manifolds has been intensively studied (see e.g., [5, 14]). It has been shown that, for example, if the Yukawa coupling length of f is maximal, i.e., ς(f)=n, then f is rigid. The maximality of Yukawa coupling length seems to be very often for moduli spaces of CY manifolds as anti-canonical classes of a toric variety (it is the case for moduli spaces of CY manifolds with a maximal degeneration point). Our motivation is then to look for many examples of moduli spaces of CY manifolds whose Yukawa coupling lengths are minimal, i.e., 1. As far as we know, higher dimensional examples are rare in the literature. What we have obtained in this paper is an infinite series of maximal families of n-dimensional CY manifolds with Yukawa coupling length 1 for any odd n≥3. Here a family f is said to be maximal if it is locally a versal deformation of each CY closed fiber of f. Our main result is summarized as follows.

Theorem 1.1

Letn≥3 be an odd number and\(\mathfrak{M}_{n,n+3}\)be the moduli space ofn+3 hyperplane arrangements of\({\mathbb{P}}^{n}\)in general position. Let\(f_{n}: {\mathcal{X}}_{n}\to\mathfrak{M}_{n,n+3}\)be the family of\(\frac {n+3}{2}\)-fold cyclic covers of\({\mathbb{P}}^{n}\)branched along then+3 hyperplanes in general position. Then the following statements are true:
  1. (i)

    The familyfnadmits a simultaneous resolution\(\tilde{f}_{n}: \tilde{\mathcal{X}}_{n}\to\mathfrak{M}_{n,n+3}\)which is a maximal family ofn-dimensional projective CY manifolds.

     
  2. (ii)

    \(\varsigma(\tilde{f}_{n})=1\). Consequently, Shafarevich’s conjecture holds for\(\tilde{f}_{n}\).

     
  3. (iii)

    The family\(\tilde{f}_{3}\)admits a partial compactification to a Shimura family over an arithmetic quotient of\({\mathbb{B}}^{3}\).

     
  4. (iv)

    The families\(\tilde{f}_{5},\tilde{f}_{9}\)have a sub\({\mathbb{Q}}\)-PVHS which uniformizes a Zariski open subset of an arithmetic ball quotient.

     

2 The Cyclic Cover and Its Crepant Resolution

The meaning of letters in the tuple (n,m,r) will be fixed throughout the paper: n is a natural odd number ≥3, m=n+3 and \(r=\frac{m}{2}\).

Remark 2.1

The technique of this section can be applied equally to a tuple (n,m,r) where n is a natural number, r a positive factor of m and \(m=n+1+\frac{m}{r}\), and yields the same result as the special case.

2.1 The Cyclic Cover of \({\mathbb{P}}^{n}\)

An hyperplane arrangement \(\mathfrak{A}=(H_{1},\ldots,H_{m})\) in \({\mathbb{P}}^{n}\) is said to be in general position if no n+1 hyperplanes in \(\mathfrak{A}\) do meet. One constructs the r-fold cyclic cover \(\pi:X\rightarrow{\mathbb{P}}^{n}\) branched along H=H1+⋯+Hm as follows. For the line bundle \(L=\mathcal{O}_{{\mathbb{P}}^{n}}(2)\) over \({\mathbb{P}}^{n}\), one denotes \({\rm Tot}(L)\) for the total space of L. There is the tautological section \(s\in\varGamma({\rm Tot}(L),p^{*}L)\) of the pull-back of L via the natural projection \(p: {\rm Tot}(L)\to {\mathbb{P}}^{n}\). Suppose the hyperplane Hi,1≤im is defined as the zero locus of the section \(s_{i}\in \varGamma({\mathbb{P}}^{n},\mathcal{O}(1))\), then we have the pull-back section \(p^{*}s_{i}\in\varGamma({\rm Tot}(L),p^{*}\mathcal{O}(1))\). The r-fold cover X is defined as the zero locus of the section
$$s^{r}-p^{*}s_{1}\otimes\cdots\otimes p^{*}s_{m}\in\varGamma\bigl({\rm Tot}(L),p^{*} \mathcal{O}(m)\bigr). $$
The natural projection p induces the one \(\pi: X\to{\mathbb{P}}^{n}\). It is generically étale and Galois, whose Galois group is cyclic of order r, and singular over H. The variety X is projective with trivial KX. It is a singular CY variety whose singular locus under π is exactly the singularity of H.

2.2 The Crepant Resolution

In this paragraph we aim to obtain a good smooth model of the cyclic cover X. First recall the order function on a smooth variety. Let M be a smooth variety over an algebraically closed field and \(\mathcal{I}\) be an ideal sheaf on M. For any point xM, the order of \(\mathcal{I}\) at x is defined as \({\rm Ord}_{x}\mathcal{I}:=\max\{r\mid \mathcal{I}_{x}\subset m_{x}^{r}{\mathcal{O}}_{M,x}\}\), where mx is the maximal ideal of the local ring \({\mathcal{O}}_{M,x}\). For a smooth and irreducible closed subvariety Z of M, the order of \(\mathcal{I}\) along Z is defined as \({\rm Ord}_{Z}\mathcal{I}:= {\rm Ord}_{p}\mathcal{I}\), where pZ is the generic point of Z. We have the following well-known formula for the canonical bundle under a blow-up.

Lemma 2.2

LetMbe a smooth variety over an algebraically closed field andXMbe a (possibly singular and non-reduced) hypersurface. Suppose\(\mathcal{I}(X)\)is the defining ideal sheaf ofXin M. LetZXbe a smooth and irreducible closed subvariety of M, with codimension\({\rm codim}(Z,M)=n\). Suppose that the order of\(\mathcal{I}(X)\)alongZis\({\rm Ord}_{Z}\mathcal{I}(X)=r\). Consider the blow-up ofMalongZ: \(\tilde{M}\xrightarrow{\tilde{\pi}}M\). Let\(\tilde{X}=Bl_{Z}X\xrightarrow{\pi}X\)be the strict transform ofXand\(E=\tilde{\pi}^{-1}(Z)\)the exceptional divisor. Then we have the following formula relating the canonical bundles of\(\tilde{X}\)andX:
$$K_{\tilde{X}}\simeq \pi^{*}K_{X}+(n-r-1){\mathcal{O}}_{\tilde{M}}(E)|_{\tilde{X}}. $$
In particular, if\({\rm codim}(Z,M)=2\)and\({\rm Ord}_{Z}\mathcal{I}(X)=1\), then\(K_{\tilde{X}}\simeq\pi^{*}K_{X}\).

Proof

The proof is a direct application of the adjunction formula. □

In order to fix notation, we recall the following definition.

Definition 2.3

If M is a smooth variety, and E1,…,Ek are divisors of M, we say E1,…,Ek meet transversally at a closed point xM if one can choose a regular system of parameters \(z_{1},\ldots, z_{l}\in\mathcal{O}_{M,x}\) at x such that for each 1≤ik
  1. (1)

    either xEi, or

     
  2. (2)

    Ei=(zc(i)=0) in a neighborhood of x for some c(i), and

     
  3. (3)

    c(i)≠c(i′) if ii′.

     
and the regular system of parameters \(z_{1},\ldots, z_{l}\in \mathcal{O}_{M,x}\) is called a coordinate system at x admissible to E1,…,Ek. E1,…,Ek are said to meet transversally if they meet transversally at each closed point of M. In this case, \(D=\sum_{i=1}^{k}E_{i}\) is called a simple normal crossing divisor on M and a subvariety ZM is said to meet transversally with E1,…,Ek if at each closed point xZ, one can choose z1,…,zl as above such that in addition
  1. (4)

    \(Z=(z_{j_{1}}=\cdots=z_{j_{s}}=0)\) for some j1,…,js, again in some open neighborhood of x.

     
In particular, Z is smooth, and some of the Ei are allowed to contain Z.
Let M be a smooth variety, and \(\mathfrak{E}=\{E_{1},\ldots, E_{s}\}\), \(\mathfrak{F}=\{F_{1},\ldots, F_{t}\}\) be sets of smooth divisors of M such that the s+t divisors E1,…,Es,F1,…,Ft meet transversally on M. A reduced and irreducible hypersurface XM is called pre-binomial with respect to \((\mathfrak{E}, \mathfrak{F})\) if for any closed point xX,
  1. (1)

    either X,E1,…,Es,F1,…,Ft meet transversally at x, or

     
  2. (2)
    there exists a coordinate system (y1,…,ym,x1,…,xn) at x admissible to E1,…,Es,F1,…,Ft (refer to Definition 2.3 for the notation) such that
    • the defining equation of X is
      $$y_{1}^{a_{1}}\cdots y_{p}^{a_{p}}-x_{1} \cdots x_{q}=0 $$
      in a nonempty open neighborhood of x, where the integers satisfy
      $$1\leq p\leq m,\quad 1\leq q\leq n,\quad a_{1}\geq1,\quad\ldots,\quad a_{p} \geq1, $$
      and
    • for each 1≤ip, yi=0 is a defining equation for some \(E_{c_{i}}\in\mathfrak{E}\) in a nonempty open neighborhood of x, and

    • for each 1≤jq, xj=0 is a defining equation for some \(F_{d_{j}}\in\mathfrak{F}\) in a nonempty open neighborhood of x.

     
If X is a pre-binomial hypersurface of M with respect to \((\mathfrak{E}, \mathfrak{F})\), keeping the notations in the above definition, then for any closed point xX, for any \(E\in \mathfrak{E}\), \(F\in\mathfrak{F}\), define It is not difficult to verify that the above definitions of e(E,x),e(F,x) do not depend on the choice of local coordinates, so they are well-defined nonnegative integers.
Let M, \(\mathfrak{E}\), \(\mathfrak{F}\) be as above, then a hypersurface X of M is called binomial with respect to \((\mathfrak{E},\mathfrak{F})\) if it is pre-binomial with respect to \((\mathfrak{E},\mathfrak{F})\) and satisfies the following two additional conditions:
  1. (3)

    \(\forall E\in\mathfrak{E}\cup\mathfrak{F}\), ∀ closed points x1,x2EX, e(E,x1)=e(E,x2).

     
  2. (4)

    \(\forall E\in\mathfrak{E}\), \(\forall F\in\mathfrak{F}\), if there exists a closed point xX such that e(E,x)>0 and e(F,x)>0, then EFX.

     
Our key observation is the following stable proposition for binomial hypersurfaces.

Proposition 2.4

LetM, \(\mathfrak{E}=\{E_{1},\ldots, E_{s}\}\), \(\mathfrak{F}=\{F_{1},\ldots, F_{t}\}\)be as above. SupposeXis a hypersurface ofMbinomial with respect to\((\mathfrak{E}, \mathfrak{F})\)and there exists a closed pointxXsuch thate(E1,x)>0 ande(F1,x)>0. Let\(M_{1}=Bl_{Z}M\xrightarrow{\pi}M\)be the blow-up ofMalongZ=E1F1Xand\(X_{1}, E_{1}',\ldots,E_{s}', F_{1}',\ldots, F_{t}'\)be the strict transforms ofX,E1,…,Es,F1,…,Ft, respectively. Let\(\mathfrak{E}_{1}=\{ E_{1}',\ldots, E_{s}', E_{s+1}'\}\), \(\mathfrak{F}_{1}=\{F_{1}',\ldots, F_{t}'\}\), where\(E_{s+1}'=\pi^{-1}(Z)\)is the exceptional divisor. Then
  1. (1)

    \(\mathfrak{E}_{1}\cup\mathfrak{F}_{1}\)is a set of smooth divisors meeting transversally onM1, andX1is a hypersurface ofM1binomial with respect to\((\mathfrak{E}_{1}, \mathfrak{F}_{1})\).

     
  2. (2)

    Each irreducible component of the singular locus ofX, say\(\operatorname{Sing}(X)\), has the form\(E_{i_{1}}\cap F_{j_{1}}\cap F_{j_{2}}\subset X\)or\(E_{i_{1}}\cap E_{i_{2}}\cap F_{j_{1}}\cap F_{j_{2}}\subset X\), for 1≤i1i2s, 1≤j1j2t.

     
  3. (3)

    For the induced morphism\(X_{1}\xrightarrow{\pi_{1}}X\)we have\(\pi_{1}^{-1}(E_{1}\cap F_{1}\cap \operatorname{Sing}(X))\rightarrow E_{1}\cap F_{1}\cap \operatorname{Sing}(X)\)is a\({\mathbb{P}}^{1}\)-bundle, and\(\pi _{1}^{-1}(X-E_{1}\cap F_{1}\cap \operatorname{Sing}(X))\rightarrow X-E_{1}\cap F_{1}\cap \operatorname{Sing}(X)\)is an isomorphism.

     
  4. (4)
    Let\(\mathfrak{T}=\{E_{i_{1}}', \ldots, E_{i_{k}}', F_{j_{1}}',\ldots, F_{j_{l}}'\}\subset\mathfrak{E}_{1} \cup \mathfrak{F}_{1}\)be a subset of\(\mathfrak{E}_{1} \cup\mathfrak {F}_{1}\)satisfying\(V=E_{i_{1}}'\cap\cdots\cap E_{i_{k}}'\cap F_{j_{1}}'\cap\cdots\cap F_{j_{l}}'\subset X_{1}\), thenV=∅ if\(\{E_{1}', F_{1}'\}\subset\mathfrak{T}\). SupposeV≠∅, then
    $$ \nonumber \pi(V)=\left \{ \begin{array}{l@{\quad}l} E_{i_{1}}\cap\cdots\cap E_{i_{k}}\cap F_{j_{1}}\cap\cdots\cap F_{j_{l}}, & \textit{if } E_{s+1}'\notin\mathfrak{T}; \\ [4pt] E_{1}\cap F_{1}\cap E_{i_{2}}\cap\cdots\cap E_{i_{k}}\cap F_{j_{1}}\cap\cdots\cap F_{j_{l}}, & \textit{if } E_{i_{1}}'=E_{s+1}'. \end{array} \right . $$
     
  5. (5)

    Notations as in (4). If\(\{E_{1}', F_{1}'\}\cap \mathfrak{T}\neq\emptyset\), then the induced morphism\(V\xrightarrow {\tilde{\pi}} \pi(V)\)is an isomorphism. If\(\{E_{1}', F_{1}'\} \cap\mathfrak{T}= \emptyset\), then the induced morphism\(V\xrightarrow{\tilde{\pi}} \pi(V)\)satisfies that\(\tilde{\pi }^{-1}(E_{1}\cap F_{1}\cap\pi(V))\rightarrow E_{1}\cap F_{1}\cap\pi (V)\)is a\({\mathbb{P}}^{1}\)-bundle, and\(\tilde{\pi}^{-1}(\pi (V)-E_{1}\cap F_{1})\rightarrow\pi(V)-E_{1}\cap F_{1}\)is an isomorphism.

     

Proof

The verification is straightforward in local coordinates. □

Let M, \(\mathfrak{E}=\{E_{1},\ldots, E_{s}\}\), \(\mathfrak{F}=\{F_{1},\ldots, F_{t}\}\) be as above. Suppose X is a hypersurface of M binomial with respect to \((\mathfrak{E}, \mathfrak{F})\). In order to get a resolution of X, we define a function on X to measure the singularities on it. For any closed point xX, define \(g_{1}(x)=\sum_{F\in\mathfrak{F}}e(F,x)\), \(g_{2}(x)=\sum_{E\in\mathfrak{E}}e(E,x)\). Then we get a function on X:
$$ \nonumber g: X\rightarrow\mathbb{N}\times\mathbb{N},\quad x\mapsto \bigl(g_{1}(x),g_{2}(x)\bigr). $$
It is easy to see that if g(x)≠(0,0), then g−1(g(x)) is a disjoint union of smooth subvarieties of X. In this case, let n(x) be the number of irreducible components of g−1(g(x)). Then we define the following function: Given the lexicographic order, \(\mathbb{N}\times\mathbb{N}\times\mathbb{N}\) is a well-ordered set, i.e., for
$$(a_{1},b_{1},c_{1}),\quad (a_{2},b_{2},c_{2}) \in\mathbb{N}\times\mathbb{N}\times\mathbb{N}, $$
(a1,b1,c1)<(a2,b2,c2) if and only if a1<a2, or a1=a2 and b1<b2, or a1=a2 and b1=b2 and c1<c2. Then it is easy to see that f is an upper semi-continuous function on X. Therefore we get the following algorithm (∗) to resolve the singularity of X:
  1. (0)

    If the maximal value maxxXf(x)=(0,0,0), then X is already a smooth variety meeting transversally with the divisors in \(\mathfrak{E}\cup\mathfrak{F}\).

     
  2. (1)
    If maxxXf(x)>(0,0,0), take any closed point xX such that f(x) attains the maximal value of f. It is not difficult to see that we can choose \(E_{i}\in\mathfrak{E}\), \(F_{j}\in \mathfrak{F}\) such that e(Ei,x)>0 and e(Fj,x)>0. Then blow up M along Z=EiFj (we have Z=EiFjX by the definition of binomial hypersurfaces). Let E be the exceptional divisor. Let M1=BlZM, and \(X_{1},E_{1}',\ldots ,E_{s}', F_{1}',\ldots, F_{t}'\) be the strict transforms of X,E1,…,Es,F1,…,Ft, respectively. Let \(\mathfrak{E}_{1}=\{E, E_{1}',\ldots, E_{s}'\}\), \(\mathfrak {F}_{1}=\{F_{1}',\ldots, F_{t}'\}\), then according to Proposition 2.4, X1 is a hypersurface of M1 binomial with respect to \((\mathfrak {E}_{1},\mathfrak{F}_{1})\). So we can define a function \(f_{1}:X_{1}\rightarrow\mathbb{N}\times\mathbb{N}\times\mathbb {N}\) in the same way as above. Let π1:X1X be the blow-up morphism. Then it is direct to verify:
    • for any point xX1, f1(x)≤f(π1(x)), and

    • the maximal value drops strictly, i.e. \(\max_{x\in X_{1}}f_{1}(x)< \max_{x\in X}f(x)\).

    Note also that since Z has codimension 2 everywhere in M, and X has order 1 at the generic point of each irreducible component of Z, we have \(K_{X_{1}}\simeq\pi_{1}^{*}K_{X}\), according to Lemma 2.2.
     
  3. (2)
    If \(\max_{x\in X_{1}}f_{1}(x)>(0,0,0)\), then continue to blow up M1 and get
    $$M_{2},\quad X_{2},\quad \mathfrak{E}_{2},\quad \mathfrak{F}_{2},\quad f_{2}. $$
     
We summarize the above discussions in the following theorem.

Theorem 2.5

LetM, \(\mathfrak{E}=\{E_{1},\ldots, E_{s}\}\), \(\mathfrak{F}=\{F_{1},\ldots, F_{t}\}\)be as above. SupposeXis a hypersurface ofMbinomial with respect to\((\mathfrak{E}, \mathfrak{F})\). Then the above algorithm (∗) terminates after finite steps. Suppose it terminates afterNsteps, then we get\(M_{N}, X_{N}, \mathfrak{E}_{N},\mathfrak{F}_{N}\)such thatXNis a smooth hypersurface ofMNmeeting transversally with the set of divisors\(\mathfrak{E}_{N}\cup\mathfrak{F}_{N}\). Moreover, letπ=πN∘⋯∘π1:XNXbe the composition of blow-up morphisms, then
  • πis crepant, i.e. \(K_{X_{N}}\simeq\pi^{*}K_{X}\);

  • πis a strong resolution ofX, i.e. if\(U=X-\operatorname{Sing}(X)\)is the regular part ofX, thenπinduces an isomorphism\(\pi ^{-1}(U)\xrightarrow{\sim} U\);

  • πis a projective morphism, moreover, it is a composition of blow-ups along smooth centers.

Proof

Most of the theorem follows from the above discussions. We just explain why π is a strong resolution. Note that in each blow-up step the smooth center Zi is contained completely in Xi. So in the regular part of Xi, we just blow up a Cartier divisor. Therefore, the regular part of Xi remains unchanged. □

Now we give an application of Theorem 2.5. Suppose Q is a smooth variety, and \(D=\sum_{j=1}^{t}F_{j}\) is a simple normal crossing divisor on Q defined by the section \(s_{D}\in\varGamma(Q,\mathcal{O}_{Q}(D))\). Let a be a positive integer and \(L\in{\rm Pic}(Q)\) such that aL=D. Then in the total space of L: \(M={\rm Tot}(L)\xrightarrow{p} Q\), we have the tautological section s0Γ(M,pL). The hypersurface X of M defined by the equation \(s_{0}^{a}=p^{*}s_{D}\) is called the a-fold cyclic cover of Q branched along D. It is easy to verify that X is a hypersurface of M binomial with respect to \((\mathfrak{E}, \mathfrak{F})=(\{E_{0}=(s_{0}=0)\},\{p^{*}F_{1},\ldots, p^{*}F_{t}\})\). So we can apply Theorem 2.5 to get a crepant resolution of X. That is, we have the following corollary.

Corollary 2.6

SupposeQis a smooth variety and\(D=\sum_{j=1}^{t}F_{j}\)is a simple normal crossing divisor onQ, for anya≥1, if there existsL∈Pic(Q) such thataL=D, then thea-fold cyclic cover ofQbranched alongDadmits a crepant resolution, which can be obtained by applying the crepant resolution algorithm (∗).

For the cyclic cover X constructed in Sect. 2.1, we can simply apply the above result to obtain a crepant resolution \(\sigma: \tilde{X} \to X\).

2.3 The Middle Cohomology Does Not Change Under Resolution

In this paragraph we show that \(\sigma: \tilde{X}\to X\) induces an isomorphism on the middle cohomologies. To start with, we show first that the Hodge structure \(H^{n}(X,{\mathbb{Q}})\) is actually pure. This is mostly easy if one notices that there is another CY, Y arising from the same hyperplane arrangement as X, which is indeed smooth. We follow [3, Sect. 2.2] for the construction of Y, the Kummer cover associated with \(\mathfrak{A}\). Let A be a matrix whose columns define the hyperplane arrangement \(\mathfrak{A}\) and B=(bij) a matrix fitting into a short exact sequence
$$0 \to {\mathbb{C}}^{m-2}\stackrel{A}{\longrightarrow} {\mathbb{C}}^{m}\stackrel {B}{\longrightarrow} {\mathbb{C}}^2\to 0. $$
We define Y to be the complete intersection of \(\frac{m}{r}=2\) degree r hypersurfaces in \({\mathbb{P}}^{m-1}=\mathrm{Proj}\ {\mathbb{C}}[z_{0}:\cdots:z_{m-1}]\) defined by
$$b_{i1}z_{0}^{r}+\cdots+b_{im}z_{m-1}^r=0, \quad i=1,2. $$
Using the Jacobian criterion, one sees easily that Y is smooth, and by the adjunction formula has trivial canonical bundle. The structure of Y as a Kummer cover is seen as follows. Put \(G_{1}=\bigoplus_{i=1}^{m}{\mathbb{Z}}/r/\triangle({\mathbb{Z}}/r)\). Here △ denotes for the diagonal embedding \({\mathbb{Z}}/r\to\bigoplus _{i=1}^{m}{\mathbb{Z}}/r\). For a=(a0,…,am)∈G1, we define an automorphism \(\sigma_{a}: {\mathbb{P}}^{m-1}\rightarrow{\mathbb{P}}^{m-1}\) by
$$ \nonumber \sigma_{a}(z_{0}:\cdots:z_{m-1})=\bigl( \zeta_r^{a_{0}}z_{0}:\cdots:\zeta _r^{a_{m-1}}z_{m-1}\bigr), $$
where ζr is a primitive rth root of unit. The matrix A defines a linear embedding \(j: {\mathbb{P}}^{n}\to{\mathbb{P}}^{m-1}\) of projective spaces. Similar to Lemma 2.4 loc. cit., one sees that the map
$${\mathbb{P}}^{m-1}\to{\mathbb{P}}^{m-1},\quad (z_0: \cdots:z_{m-1})\mapsto\bigl(z_0^{r}: \cdots:z_{m-1}^r\bigr) $$
realizing Y as the Kummer cover \(Y\to j({\mathbb{P}}^{n})\) with Galois group G1 and with branch locus j(H). The group G1 contains a distinguished normal subgroup N1G1 of index r, the kernel of the map \(a\mapsto\sum_{i=0}^{m-1}a_{i}\). We state the following result whose proof is referred to Proposition 2.5 loc. cit.

Lemma 2.7

We haveXY/N1. Consequently, there is an isomorphism of pure polarized\({\mathbb{Q}}\)-Hodge structures
$$H^n(X,{\mathbb{Q}})\simeq H^n(Y,{\mathbb{Q}})^{N_1}. $$

Proposition 2.8

Ifp,q≥0 andpq, thenσinduces an isomorphism
$$\sigma^{*}: H^{p,q}(X)\xrightarrow{\sim}H^{p,q}( \tilde{X}). $$
In particular, one has the isomorphism of\({\mathbb{Q}}\)-PVHS:
$$\sigma^{*}: H^{n}(X, {\mathbb{Q}})\xrightarrow{ \sim}H^{n}(\tilde{X}, {\mathbb{Q}}). $$

We need some lemmas.

Lemma 2.9

Let\(f: \tilde{X}\rightarrow X\)be a proper modification with discriminantD. PutE=f−1(D). Forp,q≥0, ifHp,q(X)=Hp,q(E)=0, then\(H^{p,q}(\tilde{X})=0\).

Proof

This follows directly from [10, Corollary-Definition 5.37]. □

Lemma 2.10

Let\(\pi: \tilde{V}\rightarrow V\)be a surjective morphism between projective varieties, ZVa closed subvariety such that\(\pi^{-1}(Z)\xrightarrow{\pi}Z \)is a\({\mathbb{P}}^{1}\)-bundle and\(\pi^{-1}(V-Z)\xrightarrow{\pi}V-Z\)is an isomorphism. Forp,q≥0 andpq, ifHp,q(Z)=0, then the natural homomorphism\(H^{p,q}(V)\xrightarrow{\pi^{*}} H^{p,q}(\tilde{V})\)is surjective.

Proof

This follows from Lemma 2.9 and the Leray–Hirsch Theorem for the \({\mathbb{P}}^{1}\)-bundle \(\pi^{-1}(Z)\xrightarrow{\pi}Z \). □

We come to the proof of Proposition 2.8.

Proof

Set \(M={\rm Tot}(L)\) and E1={s=0},Fj={psj=0} divisors in M. Put
$$\mathfrak{E}=\{E_{1}\},\quad\quad \mathfrak{F}=\{F_{1}, \ldots, F_{m}\}. $$
Then X is a binomial hypersurface of M with respect to \((\mathfrak{E},\mathfrak{F})\). The crepant resolution algorithm applied to the data \(X, M, (\mathfrak{E},\mathfrak{F})\) provides us with the blow-up sequence
$$ \nonumber \tilde{X}=X_{N}\xrightarrow{\sigma_{N}}X_{N-1} \xrightarrow{\sigma _{N-2}}\cdots \xrightarrow{\sigma_{1}}X $$
such that for any i=1,2,…,N, Xi is a binomial hypersurface of Mi with respect to \((\mathfrak{E}_{i},\mathfrak{F}_{i})\), and \(\tilde{X}=X_{N}\) is smooth and meet transversally to the divisors in \(\mathfrak{E}_{N}\cup\mathfrak{F}_{N}\). An induction using Proposition 2.4 and Lemma 2.10 shows that for any i=1,2,…,N, for any elements \(D_{1},\ldots, D_{k}\in \mathfrak{E}_{i}\cup\mathfrak{F}_{i}\), if D1∩⋯∩DkXi, then Hp,q(D1∩⋯∩Dk)=0, for any p,q≥0 and pq. Then a further induction using (3) of Proposition 2.4 and Lemma 2.10 shows that \(H^{p,q}(X)\xrightarrow{\sigma^{*}}H^{p,q}(\tilde{X})\) is surjective, for any p,q≥0 and pq, where σ=σN∘⋯∘σ1. [10, Theorem 5.41] shows that \(H^{p,q}(X)\xrightarrow{\sigma^{*}}H^{p,q}(\tilde{X})\) is injective, for any p,q≥0. So we finally find that \(H^{p,q}(X)\xrightarrow{\sigma^{*}}H^{p,q}(\tilde{X})\) is an isomorphism, for any p,q≥0 and pq. □

Corollary 2.11

Let\(\pi: X\rightarrow{\mathbb{P}}^{n}\)be ther-fold cyclic cover of\({\mathbb{P}}^{n}\)branched alongmhyperplanes in general position in Sect2.1. Let\(\tilde{X}\xrightarrow{\sigma} X\)be the crepant resolution constructed after Corollary 2.6. The obtained\(\tilde{X}\)is a smooth projective CY manifold.

Proof

By Theorem 2.5, \(\tilde{X}\) is smooth. Also, as the morphism \(\sigma: \tilde{X}\rightarrow X\) is projective by the same result, \(\tilde{X}\) is projective whose canonical bundle is trivial. By Proposition 2.8, for any 0<i<n, we have
$$H^{i}(\tilde{X}, {\mathcal{O}}_{\tilde{X}})\simeq H^{0,i}( \tilde{X})\simeq H^{0,i}(X)=H^{0,i}(Y)^{N_1}=0. $$
This shows the result. □

3 The Hodge Structure of the Cyclic Cover

Let \(\pi: X\to{\mathbb{P}}^{n}\) be the r-fold cyclic cover branched along \(H=\sum_{i=1}^{m}H_{i}\) where {H1,…,Hm} is a hyperplane arrangement of \({\mathbb{P}}^{n}\) in general position. In this section we investigate the Hodge structure \(H^{n}(X,{\mathbb{Q}})\). We first record its Hodge numbers.

Lemma 3.1

Lethp,q=dimHp,q(X) forp,q≥0 andp+q=n. One has
$$ \nonumber h^{p,q}(X)=\left \{ \begin{array}{l@{\quad}l} q+1, & \textit{if $q$ is even;} \\ n+1-q, & \textit{if $q$ is odd.} \end{array} \right . $$

Proof

By Lemma 2.7, we can derive the Hodge numbers of X from those of Y, which is a smooth complete intersection. By the work of Terasoma [12], one can represent the cohomology classes of Y by a certain Jacobian ring, together with an explicit description of the action of G1. After the computation has been implemented, we found that [2, Lemma 8.2] actually contains our result (set \(\mu=(\frac{1}{r},\ldots,\frac{1}{r})\) in the cited lemma). The detail is therefore omitted. □

3.1 The Cyclic Cover of \({\mathbb{P}}^{1}\) Branched Along m Distinct Points

For m distinct points pi,1≤im in \({\mathbb{P}}^{1}\), we consider the r-fold cyclic cover of \({\mathbb{P}}^{1}\) branched along ∑ipi. Call it the curve C, and let \(p: C\to{\mathbb{P}}^{1}\) be the natural projection. Fix a generator \(\iota\in \mathrm{Aut}(C\mid {\mathbb{P}}^{1})\). Let \({\mathbb{Q}}(\zeta_{r})\subset {\mathbb{C}}\) be the rth cyclotomic field. The induced action ι on \(V_{{\mathbb{Q}}}:=H^{1}(C,{\mathbb{Q}})\) induces a decomposition of \(V_{{\mathbb{Q}}(\zeta_{r})}:=V_{{\mathbb{Q}}}\otimes {\mathbb{Q}}(\zeta_{r})\) into direct sum of \({\mathbb{Q}}(\zeta_{r})\)-PHSs:
$$V_{{\mathbb{Q}}(\zeta_r)}=\bigoplus_{i=0}^{r-1}V_i, $$
where Vi is the eigenspace of ι with eigenvalue \(\zeta_{r}^{i}\). The following lemma is well known.

Lemma 3.2

Let\(V_{i}\otimes{\mathbb{C}}=V_{i}^{1,0}\oplus V_{i}^{0,1}\)be the induced Hodge decomposition from the weight 1 PHS ofC. We have\(\overline{V_{i}^{1,0}}=V_{r-i}^{0,1}\)and
$$\dim V_0=0, \quad\quad\dim V_i^{1,0}=2i-1,\quad 1 \leq i\leq r-1. $$

Proof

See for example [6, Lemma 4.2]. □

The next lemma is purposed for a later use.

Lemma 3.3

The weightn\({\mathbb{Q}}\)-PHS\(\bigwedge^{n}V_{{\mathbb{Q}}}\)admits a decomposition
$$\bigwedge^nV_{{\mathbb{Q}}}=W_{1,{\mathbb{Q}}} \oplus W_{2,{\mathbb{Q}}} $$
with\(W_{1,{\mathbb{Q}}}\otimes {\mathbb{Q}}(\zeta_{r})=\bigoplus_{i=1}^{r-1}\bigwedge^{n}V_{i}\). Furthermore, only forn=3,5,9, one has a further decomposition of\({\mathbb{Q}}\)-PHS
$$W_{1,{\mathbb{Q}}}=W_{\mathrm{unif}, {\mathbb{Q}}}\oplus W_{1,{\mathbb{Q}}}' $$
such that
$$W_{\mathrm{unif},{\mathbb{Q}}}\otimes{\mathbb{Q}}(\zeta_r)=\bigwedge ^n V_1\oplus\bigwedge ^n V_{r-1}. $$

Proof

Consider the Galois action on the decomposition Here I=(i1,…,i|I|) for 1≤i1<⋯<i|I|n is a multi-index, rI=(r1,…,r|I|) is a sequence of nonnegative integers satisfying ∑ri=n and
$$\bigwedge^{r_I}V_I=\bigwedge ^{r_1}V_{i_1}\otimes\cdots \otimes\bigwedge ^{r_{|I|}}V_{i_{|I|}}. $$
It is clear that ⨁inVi is invariant under the Galois action. So is the other factor. Thus they underlie \({\mathbb{Q}}\)-subspaces of \(\bigwedge^{n} V_{{\mathbb{Q}}}\). Consider furthermore the Galois orbit of ⋀nV1. It contains at least ⋀nVr−1, and ⋀nV1⊕⋀nVr−1 has a sub \({\mathbb{Q}}\)-structure iff the Galois orbit contains no more direct summand. As the Galois group is isomorphic to the unit group of \({\mathbb{Z}}/r\) and it is an elementary fact that the unit group is of order two only if r=3,4,6, it follows that only when n=3,5,9, ⋀nV1⊕⋀nVr−1 underlie a sub \({\mathbb{Q}}\)-structure. The lemma is proved. □

Now we perform a similar construction to the one taken in [3, Sect. 2.3]. Let \(\gamma: ({\mathbb{P}}^{1})^{n}\to\mathrm {Sym}^{n}({\mathbb{P}}^{1})={\mathbb{P}}^{n}\) be the Galois cover with Galois group Sn, the permutation group of n letters, and the identification attaches to a divisor of degree n the ray of its equation in \(H^{0}({\mathbb{P}}^{1},{\mathcal{O}}(n))\).

Lemma 3.4

Put\(H_{i}=\gamma(\{p_{i}\}\times({\mathbb{P}}^{1})^{n-1})\). Then (H1,…,Hm) is a hyperplane arrangement in\({\mathbb{P}}^{n}\)in general position.

Proof

The divisors of degree n in \({\mathbb{P}}^{1}\) containing a given point form a hyperplane and, as a divisor of degree n cannot contain n+1 distinct points, no n+1 hyperplanes in the arrangement do meet. □

In this case, we have more: for any natural number n (not necessarily odd), we will show that any (ordered) m hyperplane arrangement in \({\mathbb{P}}^{n}\) is projectively equivalent to a(n) (ordered) one arising from the above way. In fact, we will prove a stronger statement. Let \(\mathfrak{M}_{1,n+3}\) be the moduli space of ordered n+3 distinct points in \({\mathbb{P}}^{1}\) and similarly \(\mathfrak {M}_{n,n+3}\) ordered n+3 hyperplane arrangements in \({\mathbb{P}}^{n}\) in general position.

Lemma 3.5

The map\(\gamma: ({\mathbb{P}}^{1})^{n}\to{\mathbb{P}}^{n}\)induces an isomorphism
$$\varGamma: \mathfrak{M}_{1,n+3}\simeq\mathfrak{M}_{n,n+3}, \quad \bigl[(p_1,\ldots,p_m)\bigr]\mapsto \bigl[(H_1, \ldots,H_{m})\bigr]. $$

Proof

We adopt an elementary but direct proof. The two moduli spaces admit affine descriptions. Any ordered m=n+3 distinct points in \({\mathbb{P}}^{1}\) is transformed into a unique tuple (0,t1,…,tn−1,∞,1,tn) with \(t_{i}\in{\mathbb{C}}\) and \(\mathfrak{M}_{1,n+3}\) is therefore identified with the complement of the following hyperplanes in \({\mathbb{C}}^{n}=\mathrm{Spec}\ {\mathbb{C}}[t_{1},\ldots,t_{n}]\) defined by
$$\{t_i, t_i-1, t_i-t_j, 1\leq i,j\leq n\}. $$
Similarly, the following matrix represents a unique point in \(\mathfrak{M}_{n,n+3}\):
$$\left ( \begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c} 1 & \ldots& 0 & 1 & 1 \\ 0 & \ddots& 0 & 1 & s_1 \\ \vdots& \ddots& \vdots& \vdots& \vdots\\ 0 & \ldots& 1 & 1 & s_n \\ \end{array} \right )_{n+1\times n+3}, $$
where (s1,…,sn) is a point in \({\mathbb{C}}^{n}=\mathrm{Spec}\ {\mathbb{C}}[s_{1},\ldots,s_{n}]\) away from the union of hyperplanes
$$\{s_i, s_i-1, s_i-s_j, 1\leq i,j\leq n\}. $$
The following claim implies the lemma:

Claim 3.6

Under the above affine coordinates, one has
$$\varGamma(t_1,\ldots,t_{n-1},t_n)=\biggl( \frac {t_{n}(t_1-1)}{t_1-t_{n}},\ldots,\frac{t_{n}(t_{n-1}-1)}{t_{n-1}-t_{n}},t_n\biggr). $$

Proof

The following Vandermonde-type matrix of size (n+1)×(n+3) gives the defining equations of the hyperplane arrangement corresponding to
$$(0,t_1,\ldots,t_{n-1},\infty,1,t_n) $$
under γ:
$$A=\left ( \begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c} 1 & 1&\ldots&1 & 0 & 1 & 1 \\ 0 & t_1&\ldots&t_{n-1} & 0 & 1 & t_n \\ \vdots&\vdots& \vdots&\vdots& \vdots& \vdots& \vdots\\ 0 &t_1^{n}& \ldots& t_{n-1}^{n}&1 & 1 & t_n^n \\ \end{array} \right ). $$
The first n+1 columns make the square matrix
$$B=\left ( \begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c} 1 & 1&\ldots&1 & 0 \\ 0 & t_1&\ldots&t_{n-1} & 0 \\ \vdots&\vdots& \vdots&\vdots& \vdots\\ 0 &t_1^{n}& \ldots& t_{n-1}^{n}&1 \\ \end{array} \right ). $$
By Cramer’s rule, one uses the determinant of a Vandermonde matrix to determine the vector
$$(\lambda_1,\ldots,\lambda_{n+1})^t=B^{-1}(1, \ldots,1)^t, $$
as well as the vector
$$(\mu_1,\ldots,\mu_{n+1})^t=B^{-1} \bigl(1,t_n,\ldots,t_{n}^n\bigr)^t. $$
Put \(D=\rm{diag}\{\lambda_{1},\ldots,\lambda_{n+1}\}\). Then the invertible (n+1)×(n+1) matrix \(P=\lambda_{1}\mu_{1}^{-1}D^{-1}B^{-1}\) transforms the hyperplane arrangement defined by A to the one by columns of the matrix
$$\left ( \begin{array}{c@{\quad}c@{\quad}c@{\quad}c@{\quad}c} 1 & \ldots& 0 & 1 & 1 \\ 0 & \ddots& 0 & 1 & \frac{t_{n}(t_1-1)}{t_1-t_{n}} \\ \vdots& \ldots& \vdots& \vdots& \vdots\\ 0& \ldots& 0&1& \frac{t_{n}(t_{n-1}-1)}{t_{n-1}-t_{n}}\\[3pt] 0 & \ldots& 1 & 1 & t_n \\ \end{array} \right ). $$
 □
Let \(p: C\to{\mathbb{P}}^{1}\) as above. The n-fold product
$$h: C^{n}\stackrel{p^n}{\longrightarrow} \bigl({\mathbb{P}}^1\bigr)^{n}\stackrel{\gamma}{\longrightarrow} {\mathbb{P}}^n $$
is a Galois cover with Galois group NSn, where N=〈ι1,…,ιn〉 is the group generated by the cyclic automorphisms on factors. The group N has a natural normal subgroup N′ given by the kernel of the trace map
$$N\simeq({\mathbb{Z}}/r)^{\times n}\stackrel{\sum}{\longrightarrow } {\mathbb{Z}}/r. $$
It has a set of generators {δi}1≤ir−1 with
$$\delta_i=\bigl\langle id, \ldots, \iota,\iota^{-1},\ldots, id\bigr\rangle, $$
where ι appears at the ith component and ι−1 the i+1th component and the identity elsewhere. Consider the quotient Cn/G with G=N′⋊Sn. Similar to Lemma 2.8 loc. cit., one checks that the natural map \(C^{n}/G\to{\mathbb{P}}^{n}\) induced by h is a Galois cover with Galois group \({\mathbb{Z}}/r\) and its branch locus is exactly H1+⋯+Hm. As the Picard group of a projective space has no torsion, one concludes that Cn/G is isomorphic to the r-fold cyclic cover XC of \({\mathbb{P}}^{n}\) branched along ∑iHi.

3.2 The Abel–Jacobi Map and the Hodge Structure of the Cyclic Cover

Recall that (see e.g. [4, Chap. 2]) the Abel–Jacobi map \(\phi: C\to\mathrm{Jac}(C)={\mathbb{C}}^{g}/\varLambda\) is defined by the period integral
$$q\mapsto\biggl(\int_{q_0}^{q} \omega_1,\ldots,\int_{q_0}^{q} \omega_g\biggr), $$
where q0C is a chosen base point and {ωi}1≤ig is a basis of holomorphic one forms on C. Here Λ denotes for the period lattice of C. Let (z1,…,zg) be the standard coordinates of \({\mathbb{C}}^{g}\). Then one sees that ϕ induces an isomorphism \(H^{1}(\mathrm{Jac}(C),{\mathbb{Q}})\simeq H^{1}(C,{\mathbb{Q}})\) such that ϕ(dzi)=ωi,1≤ig. The Abel–Jacobi map induces the natural morphism
$$\phi_n: C^n\to\mathrm{Jac}(C),\quad (q_1, \ldots,q_n)\mapsto \sum_{i=1}^n \phi(q_i). $$
We are in the situation to study the following diagram of morphisms: Here the map δ:CnCn/G is the natural projection. Note that after Lemma 3.5 any r-fold cyclic cover X in Sect. 2.1 is isomorphic to an XC. The consequence of the morphisms on the level of \({\mathbb{Q}}\)-PHS is summarized in the following.

Proposition 3.7

The morphisms in the above diagram induces an isomorphism of\({\mathbb{Q}}\)-PHS:
$$H^n(X_C,{\mathbb{Q}})\simeq W_{1,{\mathbb{Q}}}, $$
where\(W_{1,{\mathbb{Q}}}\)is the PHS in Lemma 3.3.

Proof

By labeling the curve factors of Cn by Ci,1≤in, we obtain from the Künneth decomposition a decomposition of \({\mathbb{Q}}\)-PHS: Denote \(\kappa: H^{n}(C^{n},{\mathbb{Q}})\to\bigotimes_{i=1}^{n}H^{1}(C_{i},{\mathbb{Q}})\) for the projection onto the first factor. We claim that the composite
$$W_{1,{\mathbb{Q}}}\subset\bigwedge^nH^1(C,{ \mathbb{Q}})\stackrel{\phi ^*}{\simeq} H^n\bigl(\mathrm{Jac}(C),{ \mathbb{Q}}\bigr)\stackrel{\phi_n^*}{\longrightarrow }H^n \bigl(C^n,{\mathbb{Q}} \bigr)\stackrel{\kappa}{\longrightarrow} \bigotimes_{i=1}^{n}H^1(C_i,{ \mathbb{Q}}) $$
is injective and the image is G-invariant. Assuming the claim, the result follows. As
$$H^n(X_C,{\mathbb{Q}})\simeq H^n \bigl(C^n/G,{\mathbb{Q}}\bigr)=H^n\bigl(C^n,{ \mathbb{Q}}\bigr)^G $$
and \(W_{1,{\mathbb{Q}}}\) have the same dimensions by Lemmas 3.1 and 3.2 (both are equal to 2(r−1)2), the injective map \(W_{1,{\mathbb{Q}}}\hookrightarrow H^{n}(C^{n},{\mathbb{Q}})^{G}\) of \({\mathbb{Q}}\)-PHSs is indeed an isomorphism. Notice that by Lemma 3.2 we can take the basis {ωi}1≤ig in the above description of ϕ as eigenvectors with respect to the action of ι on \(V_{{\mathbb{C}}}\). This implies that the corresponding dzi to ωi is an eigenvector with the same eigenvalue with respect to the induced natural action of ι on Jac(C). This will make the verification of the invariance of the resulting class under G-action straightforward. Let πi:CnC,1≤in be the ith projection. Then the induced map \(\phi_{n}^{*}\) on the level of differential one forms is given by
$$\phi_n^*(dz_i)=\sum_{l=1}^{n} \pi_l^*\omega_i, \quad\quad\phi^*(d\bar{z}_i)=\sum _{l=1}^{n}\pi_l^*\bar{\omega}_i, \quad 1\leq i\leq g. $$
Therefore the map \(\phi_{n}^{*}: H^{n}(\mathrm{Jac}(C),{\mathbb{C}})\to H^{n}(C^{n},{\mathbb{C}})\) on the degree n cohomology groups is given by sending \([dz_{i_{1}}\wedge \cdots\wedge dz_{i_{p}}\wedge d\bar{z}_{j_{1}}\wedge\cdots\wedge d\bar{z}_{j_{n-p}}]\) to
$$\biggl[\sum_l \pi_l^* \omega_{i_1}\wedge\cdots\wedge\sum_l \pi_l^*\omega_{i_p}\wedge \sum _l \pi_l^*\bar{\omega}_{j_1}\wedge \cdots\wedge\sum_l \pi_l^*\bar{\omega}_{j_{n-p}}\biggr]. $$
The bracket means the cohomology class of the differential form. Now for each direct factor \(\bigwedge^{n}V_{k}\subset W_{1,{\mathbb{Q}}}\otimes {\mathbb{Q}}(\zeta_{r})\), we claim that the image of its element under \(\kappa\circ\phi_{n}^{*}\) is invariant under G-action. Note that the map ϕn factors as
$$C^n\stackrel{/S_n}{\longrightarrow}S^nC\to \mathrm{Jac}(C). $$
Thus it suffices to show the invariant property under the subgroup N′ of G. It is also equivalent to show this property for elements in \(\bigwedge^{n}(V_{k}\otimes{\mathbb{C}})\), which for dimension reason, is just equal to
$$\bigwedge^{2k-2}V_k^{1,0}\otimes\bigwedge^{n-2k+2}V_k^{0,1} \oplus \bigwedge^{2k-1}V_k^{1,0}\otimes \bigwedge^{n-2k+1}V_k^{0,1}. $$
Let \(\{dz_{i_{1}},\ldots,dz_{i_{2k-1}}\}\) (resp. \(\{d\bar{z}_{j_{1}},\ldots,d\bar{z}_{j_{n-2k+2}}\}\)) be the basis of \(V_{k}^{1,0}\) (resp. \(V_{k}^{0,1}\)). Consider the image under \(\phi_{n}^{*}\) of a typical element (omitting \(dz_{i_{2k-1}}\) in the wedge product)
$$[\alpha]:=[dz_{i_1}\wedge\cdots\wedge dz_{i_{2k-2}}\wedge d\bar{z}_{j_1}\wedge \cdots d\bar{z}_{j_{n-2k+2}}]\in\bigwedge^{2k-2}V_k^{1,0} \otimes \bigwedge^{n-2k+2}V_k^{0,1}. $$
For clarity we set
$$\alpha_1=\omega_{i_1},\quad\ldots,\quad \alpha_{2k-2}=\omega _{i_{2k-2}},\quad\alpha_{2k-1}=\bar{\omega}_{j_1},\quad\ldots,\quad\alpha_{n}=\bar{\omega}_{j_{n-2k+2}}. $$
Then it follows that
$$\kappa\circ\phi_n^*\bigl([\alpha]\bigr)=\sum _{\nu\in S_n}(-1)^{\rm{Sign}(\nu)}\bigl[\pi_1^* \alpha_{\nu(1)}\wedge\cdots \wedge \pi_n^*\alpha_{\nu(n)} \bigr]. $$
(For \(n=3 \operatorname{mod}4\), we have \(\kappa\circ\phi_{n}^{*}([\alpha])=\phi_{n}^{*}([\alpha])\).) Now one sees its invariance under N′-action immediately. One tests simply the action of any generator δi of N′ and it acts on \(\pi_{1}^{*}\alpha_{\nu(1)}\wedge\cdots\wedge\pi_{n}^{*}\alpha_{\nu(n)}\) by multiplying \(\zeta_{r}^{k}\zeta_{r}^{-k}=1\). This completes the proof. □

4 Maximal Families of CY Manifolds with Length 1 Yukawa Coupling

Our aim in this section is to exhibit families of CY manifolds with claimed properties, and make some complements to these families at the end.

Recall that in the proof of Lemma 3.5 we have explained that \(\mathfrak {M}_{n,n+3}\) is identified with an open subset of \({\mathbb{C}}^{n}\). Call it Un with coordinates s=(s1,…,sn). Let [x0:⋯:xn] be the homogeneous coordinates of \({\mathbb{P}}^{n}\). Put
$$t_1=x_0,\quad\ldots,\quad t_{m-2}=x_{n}, \quad t_{m-1}=\sum_{i=0}^{n}x_i, \quad t_m=x_0+\sum_{i=1}^ns_ix_i. $$
They give m sections of \({\mathcal{O}}(1)\) whose zero divisors in \({\mathbb{P}}^{n}\) meet transversally. Let pi,i=1,2 be the projection of \({\rm Tot}(L)\times U_{n}\) to the ith factor. Define
$${\mathcal{X}}_n\subset{\rm Tot}(L)\times U_n $$
to be the zero locus of the section
$$p_1^*s^r-\bigotimes_{i=1}^{m}(p \circ p_1)^*t_i\in\varGamma\bigl({\rm Tot}(L)\times U_n,(p\circ p_1)^*{\mathcal{O}}(m)\bigr), $$
and \(f_{n}: {\mathcal{X}}_{n}\to U_{n}\) the composite \({\mathcal{X}}_{n}\subset {\rm Tot}(L)\times U_{n}\stackrel{p_{2}}{\to} U_{n}\). The is the family of r-fold cyclic covers of \({\mathbb{P}}^{n}\) branched along a universal family of n+3 hyperplane arrangements of \({\mathbb{P}}^{n}\) in general position. We can do the simultaneous crepant resolution of the family fn. The divisors of \({\rm Tot}(L)\times U_{n}\) given by
$$\tilde{E}_{0}:=\bigl(p_{1}^{*}s=0\bigr),\quad \tilde{E}_{1}:=\bigl((p\circ p_1)^*t_{1}=0 \bigr),\quad\ldots,\quad \tilde{E}_{m}:=\bigl((p\circ p_1)^*t_{m}=0 \bigr) $$
meet transversally and the hypersurface \(\mathcal{X}\) is binomial with respect to
$$\bigl(\mathfrak{E}=\{\tilde{E}_{0}\}, \mathfrak{F}=\{ \tilde{E}_{1},\ldots, \tilde{E}_{m}\}\bigr). $$
By Theorem 2.5, we can apply the crepant resolution algorithm to \(\mathcal{X}\) and get a simultaneous crepant resolution of fn: This is not unique and a different choice leads to a fiberwise birationally equivalent family of CY manifolds. We choose one and call \(\tilde{f}_{n}: \tilde{\mathcal{X}}_{n}\to U_{n}=\mathfrak{M}_{n,n+3}\)the family of CY manifolds by our construction.
We can also consider \(\mathfrak{M}_{1,n+3}\) and obtain a family \(g_{n}: {\mathcal{C}}\to \mathfrak{M}_{1,n+3}\) whose fibers are r-fold cyclic covers of \({\mathbb{P}}^{1}\) branched along n+3 distinct points. The nth self product \((g_{n})^{n}: {\mathcal{C}}^{n}\to\mathfrak{M}_{1,n+3}\) of gn admits a natural action of G which acts fiberwisely as what we have described at the end of Sect. 3.1. For
$$h_n: {\mathcal{C}}^n/G\stackrel{\overline{(g_n)^n}}{\longrightarrow} \mathfrak{M}_{1,n+3}\stackrel{\varGamma}{ \longrightarrow}\mathfrak{M}_{n,n+3}, $$
there is an isomorphism Some notations before the main computational result. Write \({\mathbb{V}}_{{\mathbb{Q}}}=R^{1}g_{n*}{\mathbb{Q}}\). By Lemma 3.2, the fiberwise cyclic automorphism induces a decomposition of \({\mathbb{Q}}(\zeta_{r})\)-PVHS:
$${\mathbb{V}}_{{\mathbb{Q}}}\otimes{\mathbb{Q}}(\zeta_r)=\bigoplus _{i=1}^{r-1}{\mathbb{V}}_i. $$
By Lemma 3.3, there is a decomposition of \({\mathbb{Q}}\)-PVHSs:
$$\bigwedge^n{\mathbb{V}}_{\mathbb{Q}}={\mathbb{W}}_{1,{\mathbb{Q}}}\oplus{\mathbb{W}}_{2,{\mathbb{Q}}} $$
such that \({\mathbb{W}}_{1,{\mathbb{Q}}}\otimes {\mathbb{Q}}(\zeta_{r})=\bigoplus_{i=1}^{r-1}\bigwedge^{n}{\mathbb{V}}_{i}\). Write \({\mathbb{H}}_{n}=R^{n}{\tilde{f}}_{n*}{\mathbb{Q}}\).

Theorem 4.1

Let\(\tilde{f}_{n}: \tilde{\mathcal{X}}_{n}\to\mathfrak{M}_{n,n+3}\)be the family ofn-dimensional CY manifolds. Then one has an isomorphism of\({\mathbb{Q}}\)-PVHSs:
$${\mathbb{H}}_n\simeq{\mathbb{W}}_{1,{\mathbb{Q}}}. $$

Proof

It follows from Propositions 2.8 and 3.7. □

Remark 4.2

Note that, for and only for n=3,5,9, the \({\mathbb{Q}}(\zeta_{r})\)-PVHS
$$\bigwedge^n{\mathbb{V}}_1\oplus \bigwedge^n{\mathbb{V}}_{r-1} $$
underlies a sub \({\mathbb{Q}}\)-PVHS \({\mathbb{W}}_{\mathrm{unif},{\mathbb{Q}}}\) of \({\mathbb{W}}_{1,{\mathbb{Q}}}\). Write \({\mathbb{H}}_{\mathrm{unif},{\mathbb{Q}}}\) to be the sub \({\mathbb{Q}}\)-PVHS of \({\mathbb{H}}_{n}\) corresponding to \({\mathbb{W}}_{\mathrm{unif},{\mathbb{Q}}}\) under the above isomorphism.

Corollary 4.3

The following statements are true:
  1. (i)

    The family\(\tilde{f}_{n}\)is maximal.

     
  2. (ii)

    \(\varsigma(\tilde{f}_{n})=1\). Consequently, Shafarevich’s conjecture holds true for\(\tilde{f}_{n}\).

     
  3. (iii)

    A suitable partial compactification of the family\(\tilde{f}_{3}\)is a Shimura family ofU(1,3)-type.

     
  4. (iv)

    Forn=5,9, the sub\({\mathbb{Q}}\)-PVHS\({\mathbb{H}}_{\mathrm{unif},{\mathbb{Q}}}\subset{\mathbb{H}}_{n}\)gives a uniformization to a Zariski open subset of an arithmetic ball quotient.

     

Proof

Let (F,η) be the corresponding Higgs bundle to \({\mathbb{V}}_{\mathbb{Q}}\), (E,θ) to \({\mathbb{H}}_{n}\). The above theorem on PVHS implies the corresponding result on Higgs bundles, that is,
$$(F,\eta)=\bigoplus_{i=1}^{r-1}(F_i, \eta_i),\quad\quad(E,\theta)\simeq \bigoplus _{i=1}^{r-1}\bigwedge^n(F_i, \theta_i). $$
Lemma 3.2 implies that
$${\rm rank}\bigl(F_i^{1,0}\bigr)=2i-1,\quad\quad{\rm rank} \bigl(F_i^{0,1}\bigr)=n+2-2i. $$
Adding the information on the Hodge components, one has a more explicit description of the Higgs bundle (E,θ), which is equal to together with isomorphisms of Higgs bundles Note that the family \(g_{n}: {\mathcal{C}}\to\mathfrak{M}_{1,n+3}\) is in connection with the theory of Deligne–Mostow [1] (see also [6]). It follows from Proposition 3.9 loc. cit. that
$$\eta_{r-1}: F^{1,0}_{r-1}\to F^{0,1}_{r-1} \otimes \varOmega_{\mathfrak{M}_{1,n+3}} $$
is an isomorphism. So is θn,0. This shows (i). It follows also that \(\varsigma(\tilde{f}_{n})=1\) as
$$\theta^{n-1,1}: E^{n-1,1}\to E^{n-2,2}\otimes \varOmega_{\mathfrak{M}_{n,n+3}} $$
is simply zero. As \(\tilde{f}_{n}\) is maximal, the length of the Yukawa coupling of the corresponding coarse moduli is also equal to 1. By [5, Theorem 6], Shafarevich’s conjecture holds for this coarse moduli. This shows (ii). The eigen-PVHS \({\mathbb{V}}_{1}\) is a special case of \({\mathbb{C}}\)-PVHSs over \(\mathfrak{M}_{1,n+3}\) studied by Deligne–Mostow loc. cit. In our case,
$$\mu=\biggl(\mu_1=\frac{1}{r},\ldots,\mu_{m}= \frac{1}{r}\biggr) $$
in the notation of loc. cit. It is shown in Sect. 10 loc. cit. that when the condition INT (see Theorem 3.11 loc. cit. for its meaning) is satisfied, the monodromy representation of \({\mathbb{V}}_{1}\) has discrete image in \(\mathrm{Aut}({\mathbb{B}}^{n})\). The condition to guarantee the discreteness of the image has been relaxed by Mostow [8] to \(\mathbf{\sum INT}\), which turns out to be also sufficient by Mostow [9]. In the appendix of [9], he gives also a complete list of μ satisfying \(\mathbf{\sum INT}\) for n≥3. Checking the list, one finds immediately that there are exactly three cases labeled as No. 1, No. 8 and No. 23 which have equal μis, and they come exactly from \({\mathbb{V}}_{1}\) for n=3,5,9. Moreover, in these three cases, the monodromy groups are actually arithmetic. Note that
$${\mathbb{H}}_{\mathrm{unif},{\mathbb{Q}}}\otimes{\mathbb{Q}}(\zeta_r)\simeq \Bigl({ \mathbb{V}}_1\oplus{\mathbb{V}} _{r-1}\Bigr) \otimes{\mathbb{Q}}(\zeta_r) (2-r), $$
and \({\mathbb{V}}_{1}, {\mathbb{V}}_{r-1}\) are dual to each other. The period map of \({\mathbb{H}}_{\mathrm{unif},{\mathbb{Q}}}\) gives an open embedding of \(\mathfrak {M}_{n,n+3}\) into an arithmetic ball quotient. For the case n=3, it is even more special. In this case, one has
$${\mathbb{H}}_3={\mathbb{H}}_{\mathrm{unif},{\mathbb{Q}}}\simeq{\mathbb{V}}_{{\mathbb{Q}}}\otimes{\mathbb{Q}}(-1). $$
By Deligne–Mostow [1], the family \(g_{3}:{\mathcal{C}}\to \mathfrak{M}_{1,6}\) can be partially compactified so that the image of its period map in the moduli space of principally polarized Abelian 4-folds with a suitable level structure is an arithmetic quotient of \({\mathbb{B}}^{3}\). See a recent work [7] by Moonen on the classification of Shimura subvarieties in the Jacobian locus of moduli spaces of principally polarized Abelian varieties arising from cyclic covers of \({\mathbb{P}}^{1}\). This example appears as No. (10) in Table 1 loc. cit. It is quite obvious that the partial compactification of g3 yields the one of f3 and also of \(\tilde{f}_{3}\). The detail is omitted since what it will involve is not closely relevant to the paper. This completes the proof. □

We conclude the paper with the following remark.

Remark 4.4

(i) For n=3, the Hodge numbers of \(\tilde{X}\) read h1,1=51,h2,1=3. Rohde has constructed in his doctor thesis (see [11]) a maximal family of CY 3-folds with the same Hodge numbers which is also a Shimura family. Note that the parameter of his family comes also from \(\mathfrak{M}_{1,6}\). Are these two families birationally equivalent?

(ii) One constructs more maximal families of CY manifolds from the moduli space of hyperplane arrangements in a projective space. Do our families exhaust all possibilities with length 1 Yukawa coupling?

(iii) We have shown that \({\mathbb{H}}_{\mathrm{unif},{\mathbb{Q}}}\subset {\mathbb{H}}_{n}\) exists only for n=3,5,9, which are the unique three cases appeared in Mostow’s list with equal μis. Is there some deeper reason than a mere coincidence?

Notes

Acknowledgements

This work is supported by the SFB/TR 45 ‘Periods, Moduli Spaces and Arithmetic of Algebraic Varieties’ of the DFG, and partially supported by the University of Science and Technology of China.

We would like to thank Guitang Lan for helpful discussions, particularly in Lemma 3.5. Our special thanks go to Igor Dolgachev who has drawn our attention to the n=3 case of the paper.

References

  1. 1.
    Deligne, P., Mostow, G.D.: Monodromy of hypergeometric functions and non-lattice integral monodromy. Publ. Math. IHÉS 63, 5–89 (1986) CrossRefMATHMathSciNetGoogle Scholar
  2. 2.
    Dolgachev, I., Kondō, S.: Moduli of K3 surfaces and complex ball quotients. In: Arithmetic and Geometry Around Hypergeometric Functions. Lecture Notes of a CIMPA Summer School, held at Galatasaray University, Istanbul (2005) Google Scholar
  3. 3.
    Gerkmann, R., Sheng, M., van Straten, D., Zuo, K.: On the monodromy of the moduli space of Calabi–Yau threefolds coming from eight planes in \({\mathbb{P}}^{3}\). Math. Ann. (2012). doi:10.1007/s00208-012-0779-z Google Scholar
  4. 4.
    Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Pure and Applied Mathematics. Wiley-Interscience, New York (1978) MATHGoogle Scholar
  5. 5.
    Liu, K.-F., Todorov, A., Yau, S.-T., Zuo, K.: Finiteness of subfamilies of Calabi–Yau n-folds over curves with maximal length of Yukawa coupling. Pure Appl. Math. Q. 7(4), 1585–1598 (2011) CrossRefMATHMathSciNetGoogle Scholar
  6. 6.
    Looijenga, E.: Uniformization by Lauricella functions an overview of the theory of Deligne–Mostow, arithmetic and geometry around hypergeometric functions. Prog. Math. 260, 207–244 (2007) CrossRefMathSciNetGoogle Scholar
  7. 7.
    Moonen, B.: Special subvarieties arising from families of cyclic covers of the projective line (2010). arXiv:1006.3400v2
  8. 8.
    Mostow, G.D.: Generalized Picard lattices arising from half-integral conditions. Publ. Math. IHÉS 63, 91–106 (1986) CrossRefMATHMathSciNetGoogle Scholar
  9. 9.
    Mostow, G.D.: On discontinuous action of monodromy groups on the complex n-ball. J. Am. Math. Soc. 1(3), 555–586 (1988) MATHMathSciNetGoogle Scholar
  10. 10.
    Peters, C., Steenbrink, J.: Mixed Hodge Structures. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3., vol. 52. Springer, Berlin (2008) MATHGoogle Scholar
  11. 11.
    Rohde, J.: Cyclic coverings, Calabi–Yau manifolds and complex multiplication. Lecture Notes in Mathematics. Springer, Berlin (1975). 2009 Google Scholar
  12. 12.
    Terasoma, T.: Infinitesimal variation of Hodge structures and the weak global Torelli theorem for complete intersections. Ann. Math. 132(2), 213–225 (1990) CrossRefMATHMathSciNetGoogle Scholar
  13. 13.
    Viehweg, E., Zuo, K.: Complex multiplication, Griffiths–Yukawa couplings, and rigidity for families of hypersurfaces. J. Algebr. Geom. 14(3), 481–528 (2005) CrossRefMATHMathSciNetGoogle Scholar
  14. 14.
    Zhang, Y.: Rigidity for families of polarized Calabi–Yau varieties. J. Differ. Geom. 68(2), 185–222 (2004) MATHGoogle Scholar

Copyright information

© School of Mathematical Sciences, University of Science and Technology of China and Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.School of Mathematical SciencesUniversity of Science and Technology of ChinaHefeiChina
  2. 2.Institut für MathematikUniversität MainzMainzGermany

Personalised recommendations