p-Adic estimates of abelian Artin L-functions on curves

The purpose of this article is to prove a ‘Newton over Hodge’ result for finite characters on curves. Let X be a smooth proper curve over a finite field $\mathbb {F}_q$ of characteristic $p\geq 3$ and let $V \subset X$ be an affine curve. Consider a nontrivial finite character $\rho :\pi _1^{et}(V) \to \mathbb {C}^{\times }$ . In this article, we prove a lower bound on the Newton polygon of the L-function $L(\rho ,s)$ . The estimate depends on monodromy invariants of $\rho $ : the Swan conductor and the local exponents. Under certain nondegeneracy assumptions, this lower bound agrees with the irregular Hodge filtration introduced by Deligne. In particular, our result further demonstrates Deligne’s prediction that the irregular Hodge filtration would force p-adic bounds on L-functions. As a corollary, we obtain estimates on the Newton polygon of a curve with a cyclic action in terms of monodromy invariants.

Serre–Tate theory for Calabi–Yau varieties

Classical Serre–Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips the base of its universal deformation with a Frobenius lifting and canonical multiplicative coordinates. A variant of this theory has been obtained for ordinary K3 surfaces by Nygaard and Ogus. In this paper, we construct canonical liftings modulo p 2 {p^{2}} of varieties with trivial canonical class which are ordinary in the weak sense that the Frobenius acts bijectively on the top cohomology of the structure sheaf. Consequently, we obtain a Frobenius lifting on the moduli space of such varieties. The quite explicit construction uses Frobenius splittings and a relative version of Witt vectors of length two. If the variety has unobstructed deformations and bijective first higher Hasse–Witt operation, the Frobenius lifting gives rise to canonical coordinates. One of the key features of our liftings is that the crystalline Frobenius preserves the Hodge filtration. We also extend Nygaard’s approach from K3 surfaces to higher dimensions, and show that no non-trivial families of such varieties exist over simply connected bases with no global one-forms.

Variation of Mixed Hodge Structures Associated to an Equisingular One-dimensional Family of Calabi-Yau Threefolds

We study the variations of mixed Hodge structures (VMHS) associated with a pencil ${\mathcal{X}}$ of equisingular hypersurfaces of degree $d$ in $\mathbb{P}^{4}$ with only ordinary double points as singularities, as well as the variations of Hodge structures (VHS) associated with the desingularization of this family $\widetilde{{\mathcal{X}}}$ . The notion of a set of singular points being in homologically good position is introduced, and, by requiring that the subset of nodes in (algebraic) general position is also in homologically good position, we can extend Griffiths’ description of the $F^{2}$ -term of the Hodge filtration of the desingularization to this case, where we can also determine the possible limiting mixed Hodge structures (LMHS). The particular pencil ${\mathcal{X}}$ of quintic hypersurfaces with 100 singular double points with 86 of them in (algebraic) general position that served as the starting point for this paper is treated with particular attention.

Computation of the unipotent Albanese map on elliptic and hyperelliptic curves

We study the unipotent Albanese map appearing in the non-abelian Chabauty method of Minhyong Kim. In particular we explore the explicit computation of the p-adic de Rham period map $$j^{dr}_n$$ j n dr on elliptic and hyperelliptic curves over number fields via their universal unipotent connections $${\mathscr {U}}$$ U . Several algorithms forming part of the computation of finite level versions $$j^{dr}_n$$ j n dr of the unipotent Albanese maps are presented. The computation of the logarithmic extension of $${\mathscr {U}}$$ U in general requires a description in terms of an open covering, and can be regarded as a simple example of computational descent theory. We also demonstrate a constructive version of a lemma of Hadian used in the computation of the Hodge filtration on $${\mathscr {U}}$$ U over affine elliptic and odd hyperelliptic curves. We use these algorithms to present some new examples describing the co-ordinates of some of these period maps. This description will be given in terms iterated p-adic Coleman integrals. We also consider the computation of the co-ordinates if we replace the rational basepoint with a tangential basepoint, and present some new examples here as well.

IRREGULAR HODGE FILTRATION OF SOME CONFLUENT HYPERGEOMETRIC SYSTEMS

We determine the irregular Hodge filtration, as introduced by Sabbah, for the purely irregular hypergeometric${\mathcal{D}}$-modules. We obtain, in particular, a formula for the irregular Hodge numbers of these systems. We use the reduction of hypergeometric systems from GKZ-systems as well as comparison results to Gauss–Manin systems of Laurent polynomials via Fourier–Laplace and Radon transformations.

On -modules related to the -function and Hamiltonian flow

Let $f$ be a quasi-homogeneous polynomial with an isolated singularity in $\mathbf{C}^{n}$. We compute the length of the ${\mathcal{D}}$-modules ${\mathcal{D}}f^{\unicode[STIX]{x1D706}}/{\mathcal{D}}f^{\unicode[STIX]{x1D706}+1}$ generated by complex powers of $f$ in terms of the Hodge filtration on the top cohomology of the Milnor fiber. When $\unicode[STIX]{x1D706}=-1$ we obtain one more than the reduced genus of the singularity ($\dim H^{n-2}(Z,{\mathcal{O}}_{Z})$ for $Z$ the exceptional fiber of a resolution of singularities). We conjecture that this holds without the quasi-homogeneous assumption. We also deduce that the quotient ${\mathcal{D}}f^{\unicode[STIX]{x1D706}}/{\mathcal{D}}f^{\unicode[STIX]{x1D706}+1}$ is nonzero when $\unicode[STIX]{x1D706}$ is a root of the $b$-function of $f$ (which Saito recently showed fails to hold in the inhomogeneous case). We obtain these results by comparing these ${\mathcal{D}}$-modules to those defined by Etingof and the second author which represent invariants under Hamiltonian flow.

LOCAL VANISHING AND HODGE FILTRATION FOR RATIONAL SINGULARITIES

Given an $n$-dimensional variety $Z$ with rational singularities, we conjecture that if $f:Y\rightarrow Z$ is a resolution of singularities whose reduced exceptional divisor $E$ has simple normal crossings, then $$\begin{eqnarray}\displaystyle R^{n-1}f_{\ast }\unicode[STIX]{x1D6FA}_{Y}(\log E)=0. & & \displaystyle \nonumber\end{eqnarray}$$ We prove this when $Z$ has isolated singularities and when it is a toric variety. We deduce that for a divisor $D$ with isolated rational singularities on a smooth complex $n$-dimensional variety $X$, the generation level of Saito’s Hodge filtration on the localization $\mathscr{O}_{X}(\ast D)$ is at most $n-3$.