SearcharxivSearch

arXiv subjects

Adrian Clingher

Publications and source records attributed to Adrian Clingher.

At least 19 recordsLinked to original sources

On the Vinberg Family of K3 Surfaces

We study orthogonal modular forms associated with moduli spaces of lattice-polarized K3 surfaces whose generic transcendental lattices are of the form $T = H \oplus H \oplus L(-1)$ where $L$ is a root lattice of type $A_n$ or $D_n$. In Picard numbers $10$ through $17$, we use explicit Jacobian elliptic fibrations to construct modular forms on type IV domains associated with orthogonal groups $\mathrm{O}^+(T)$. We show that the coefficients of suitable Weierstrass models naturally realize generators for the corresponding graded rings of orthogonal modular forms.

math.AG

Kummer Surfaces, Isogenies and Theta Functions

The paper discusses geometric and computational aspects associated with $(n,n)$-isogenies for principally polarized Abelian surfaces and related Kummer surfaces. We start by reviewing the comprehensive Theta function framework for classifying genus-two curves, their principally polarized Jacobians, as well as for establishing explicit quartic normal forms for associated Kummer surfaces. This framework is then used for practical isogeny computations. A particular focus of the discussion is the $(n,n)$-Split isogeny case. We also explore possible extensions of Richelot's $(2,2)$-isogenies to higher order cases, with a view towards developing efficient isogeny computation algorithms.

math.AG

K3 Surfaces and Orthogonal Modular Forms

We determine explicit generators for the ring of modular forms associated with the moduli spaces of K3 surfaces with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ and of Picard rank 13 and higher. The K3 surfaces in question carry a canonical Jacobian elliptic fibration and the modular form generators appear as coefficients in the Weierstrass-type equations describing these fibrations.

math.AG

On projective K3 surfaces $\mathcal{X}$ with $\mathrm{Aut}(\mathcal{X})=(\mathbb{Z}/2\mathbb{Z})^2$

We prove that every K3 surface with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ admits an explicit birational model as a double sextic surface. This model is canonical for Picard number greater than 10. For Picard number greater than 9, the K3 surfaces in question possess a second birational model, in the form of a projective quartic hypersurface, generalizing the Inose quartic.

math.AG

On the duality of F-theory and the CHL string in seven dimensions

We show that the duality between F-theory and the CHL string in seven dimensions defines algebraic correspondences between K3 surfaces polarized by the rank-ten lattices $H \oplus N$ and $H\oplus E_8(-2)$. In the special case when the F-theory admits an additional anti-symplectic involution or, equivalently, the CHL string admits a symplectic one, both moduli spaces coincide. In this case, we derive an explicit parametrization for the F-theory compactifications dual to the CHL string, using an auxiliary genus-one curve, based on a construction given by André Weil.

math.AG

On two-elementary K3 surfaces with finite automorphism group

We study complex algebraic K3 surfaces of Picard ranks 11,12, and 13 of finite automorphism group that admit a Jacobian elliptic fibration with a section of order two. We prove that the K3 surfaces admit a birational model isomorphic to a projective quartic hypersurface and construct geometrically the frames of all supported Jacobian elliptic fibrations. We determine the dual graphs of all smooth rational curves for these K3 surfaces, the polarizing divisors, and the embedding of the reducible fibers in each frame into the corresponding dual graph.

math.AG

The duality between F-theory and the Heterotic String in $D=8$ with two Wilson lines

We construct non-geometric string compactifications by using the F-theory dual of the heterotic string compactified on a two-torus with two Wilson line parameters, together with a close connection between modular forms and the equations for certain K3 surfaces of Picard rank $16$. We construct explicit Weierstrass models for all inequivalent Jacobian elliptic fibrations supported on this family of K3 surfaces and express their parameters in terms of modular forms generalizing Siegel modular forms. In this way, we find a complete list of all dual non-geometric compactifications obtained by the partial higgsing of the heterotic string gauge algebra using two Wilson line parameters.

math.AG

Isogenies of certain K3 surfaces of rank 18

We construct geometric isogenies between three types of two-parameter families of K3 surfaces of Picard rank 18. One is the family of Kummer surfaces associated with Jacobians of genus-two curves admitting an elliptic involution, another is the family of Kummer surfaces associated with the product of two non-isogeneous elliptic curves, and the third is the twisted Legendre pencil. The isogenies imply the existence of algebraic correspondences between these K3 surfaces and prove that the associated four-dimensional Galois representations are isomorphic. We also apply our result to several subfamilies of Picard rank 19. The result generalizes work of van Geemen and Top.

math.AG

Geometry of Prym varieties for special bielliptic curves of genus three and five

We construct two pencils of bielliptic curves of genus three and genus five. The first pencil is associated with a general abelian surface with a polarization of type $(1,2)$. The second pencil is related to the first by an unramified double cover, the Prym variety of which is canonically isomorphic to the Jacobian of a very general curve of genus two. Our results are obtained by analyzing suitable elliptic fibrations on the associated Kummer surfaces and rational double covers among them.

math.AG

On N\'eron-Severi lattices of Jacobian elliptic K3 surfaces

We classify all Jacobian elliptic fibrations on K3 surfaces with finite automorphism group. We also classify all Jacobian elliptic fibrations with finite Mordell-Weil group on K3 surfaces with infinite automorphism group and 2-elementary N\'eron-Severi lattice. As part of the classification, we compute the lattice theoretic multiplicities of all Jacobian elliptic fibrations in both cases.

math.AG

On K3 surfaces of Picard rank 14

We study complex algebraic K3 surfaces with finite automorphism groups and polarized by rank-fourteen, 2-elementary lattices. Three such lattices exist, namely $H \oplus E_8(-1) \oplus A_1(-1)^{\oplus 4}$, $H \oplus E_8(-1) \oplus D_4(-1)$, and $H \oplus D_8(-1) \oplus D_4(-1)$. As part of our study, we provide birational models for these surfaces as quartic projective hypersurfaces and describe the associated coarse moduli spaces in terms of suitable modular invariants. Additionally, we explore the connection between these families and dual K3 families related via the Nikulin construction.

math.AG

On isogenies among certain abelian surfaces

We construct a three-parameter family of non-hyperelliptic and bielliptic plane genus-three curves whose associated Prym variety is two-isogenous to the Jacobian variety of a general hyperelliptic genus-two curve. Our construction is based on the existence of special elliptic fibrations with the section on the associated Kummer surfaces that provide a simple geometric interpretation for the rational double cover induced by the two-isogeny between the abelian surfaces.

math.AG

Six line configurations and string dualities

We study the family of K3 surfaces of Picard rank sixteen associated with the double cover of the projective plane branched along the union of six lines, and the family of its Van Geemen-Sarti partners, i.e., K3 surfaces with special Nikulin involutions, such that quotienting by the involution and blowing up recovers the former. We prove that the family of Van Geemen-Sarti partners is a four-parameter family of K3 surfaces with $H \oplus E_7(-1) \oplus E_7(-1)$ lattice polarization. We describe explicit Weierstrass models on both families using even modular forms on the bounded symmetric domain of type $IV$. We also show that our construction provides a geometric interpretation, called geometric two-isogeny, for the F-theory/heterotic string duality in eight dimensions. As a result, we obtain novel F-theory models, dual to non-geometric heterotic string compactifications in eight dimensions with two non-vanishing Wilson line parameters.

math.AG

Jacobian elliptic fibrations on the generalized Inose quartic of Picard rank sixteen

We consider the family of complex algebraic K3 surfaces $\mathcal{X}$ with Picard lattice containing the unimodular lattice $H \oplus E_7(-1) \oplus E_7(-1)$. The surface $\mathcal{X}$ admits a birational model isomorphic to a quartic hypersurface that generalizes the Inose quartic. We prove that a general member of this family admits exactly four inequivalent Jacobian elliptic fibrations and construct explicit pencils for them.

math.AG

Normal forms for Kummer surfaces

We determine normal forms for the Kummer surfaces associated with abelian surfaces of polarization of type $(1,1)$, $(1,2)$, $(2,2)$, $(2,4)$, and $(1,4)$. Explicit formulas for coordinates and moduli parameters in terms of Theta functions of genus two are also given. The normal forms in question are closely connected to the generalized Riemann identities for Theta functions of Mumford's.

math.AG

Nikulin involutions and the CHL string

We study certain even-eight curve configurations on a specific class of Jacobian elliptic K3 surfaces with lattice polarizations of rank ten. These configurations are associated with K3 double covers, some of which are elliptic but not Jacobian elliptic. Several non-generic cases corresponding to K3 surfaces of higher Picard rank are also discussed. Finally, the results and the construction in question are interpreted in the context of the string dualities linked with the eight-dimensional CHL string.

math.AG

On the geometry of (1,2)-polarized Kummer surfaces

We discuss several geometric features of a Kummer surface associated with a (1,2)-polarized abelian surface defined over the field of complex numbers. In particular, we show that any such Kummer surface can be modeled as the double cover of the projective plane branched along six lines, three of which meet a common point. The proof uses certain explicit pencils of plane quartic bielliptic genus-three curves whose associated Prym varieties are naturally (1,2)-polarized abelian surfaces.

math.AG

Special function identities from superelliptic Kummer varieties

We prove that the factorization of Appell's generalized hypergeometric series satisfying the so-called quadric property into a product of two Gauss' hypergeometric functions has a geometric origin: we first construct a generalized Kummer variety as minimal nonsingular model for a product-quotient surface with only rational double points from a pair of superelliptic curves of genus $2r-1$ with $r \in \mathbb{N}$. We then show that this generalized Kummer variety is equipped with two fibrations with fibers of genus $2r-1$. When periods of a holomorphic two-form over carefully crafted transcendental two-cycles on the generalized Kummer variety are evaluated using either of the two fibrations, the answer must be independent of the fibration and the aforementioned family of special function identities is obtained. This family of identities can be seen as a multivariate generalization of Clausen's Formula. Interestingly, this paper's finding bridges Ernst Kummer's two independent lines of research, algebraic transformations for the Gauss' hypergeometric function and nodal surfaces of degree four in $\mathbb{P}^3$.

math.AG