Shifting local exponents of Picard-Fuchs operators

We investigate the operation of shifting local exponents and study its effects on the monodromy representation of a one-parameter family of Calabi-Yau threefolds. The main result is a characterization of shifts of geometric operators which are also geometric. We use this description to construct some Picard-Fuchs operators with interesting properties.

💡 Research Summary

The paper investigates the operation of shifting local exponents of Picard‑Fuchs differential operators associated with one‑parameter families of Calabi‑Yau threefolds, and analyses how this operation influences the monodromy representation and the underlying symplectic structure. A Picard‑Fuchs operator (P) of order four arises from period integrals (\int_{\gamma_t}\omega_t) of a holomorphic three‑form (\omega_t) over a moving three‑cycle (\gamma_t). Such operators are Fuchsian (regular singular) and, because of the cup‑product on (H^3), their monodromy group preserves a non‑degenerate alternating form, hence lies in a Zariski‑dense subgroup of (\operatorname{Sp}(4,\mathbb Z)).

The authors define a “shift” by replacing the logarithmic derivative (\Theta=t\frac{d}{dt}) with (\Theta-\alpha), producing a new operator (P(\alpha)=P(\Theta-\alpha,t)). Lemma 2 shows that (P(\alpha)) remains Fuchsian and that its local exponents at a point are simply the original exponents increased by (\alpha). Moreover, if (y(t)) solves (P y=0), then (t^{\alpha}y(t)) solves (P(\alpha)z=0).

The central question is: for which (\alpha) does the shifted operator remain “geometric”, i.e. still arise from a Calabi‑Yau family and retain a monodromy group conjugate to a subgroup of (\operatorname{Sp}(4,\mathbb Z))? Two constraints are identified. First, Lemma 3 proves that the determinant condition (\det(e^{2\pi i\alpha}M_0)=1) forces (4\alpha\in\mathbb Z); thus only shifts by multiples of (1/4) can preserve the symplectic nature of the monodromy. Second, even when this arithmetic condition holds, the existence of a global, non‑degenerate alternating form is not automatic. By introducing the groups (G_1=\langle M_0,\dots,M_n\rangle\subset\operatorname{Sp}(4,\mathbb Q)) and (G_2=\langle iM_0,M_1,\dots,M_n\rangle), Lemma 4 demonstrates that any (G_2)‑invariant alternating form must be degenerate, because the factor (i) rotates the eigenvalues of the local monodromy and destroys the compatibility with a non‑degenerate symplectic form. Consequently, a shifted operator may have a symplectic local monodromy (quasi‑unipotent and satisfying the eigenvalue condition) while lacking a global symplectic pairing; such an operator cannot be the Picard‑Fuchs operator of any genuine Calabi‑Yau family.

Two applications illustrate the power of this analysis. The first constructs an operator obtained by shifting the Picard‑Fuchs operator of a family of double octics by (\alpha=\frac12). The resulting operator has quasi‑unipotent local monodromy and its local exponents are symmetric, yet the global monodromy fails to preserve any non‑degenerate alternating form, showing that the operator is not geometric despite its locally “nice’’ properties.

The second application addresses the index of the monodromy group in (\operatorname{Sp}(4,\mathbb Z)). Prior work (reference