Lattice Polarized K3 Surfaces and Siegel Modular Forms

The goal of the present paper is two-fold. First, we present a classification of algebraic K3 surfaces polarized by the lattice H+E_8+E_7. Key ingredients for this classification are: a normal form for these lattice polarized K3 surfaces, a coarse moduli space and an explicit description of the inverse period map in terms of Siegel modular forms. Second, we give explicit formulas for a Hodge correspondence that relates these K3 surfaces to principally polarized abelian surfaces. The Hodge correspondence in question underlies a geometric two-isogeny of K3 surfaces

Modular Invariants for Lattice Polarized K3 Surfaces

We study the class of complex algebraic K3 surfaces admitting an embedding of H+E8+E8 inside the Neron-Severi lattice. These special K3 surfaces are classified by a pair of modular invariants, in the same manner that elliptic curves over the field of complex numbers are classified by the J-invariant. Via the canonical Shioda-Inose structure we construct a geometric correspondence relating K3 surfaces of the above type with abelian surfaces realized as cartesian products of two elliptic curves. We then use this correspondence to determine explicit formulas for the modular invariants.Comment: 29 pages, LaTe

Nonzero solutions of perturbed Hammerstein integral equations with deviated arguments and applications

We provide a theory to establish the existence of nonzero solutions of perturbed Hammerstein integral equations with deviated arguments, being our main ingredient the theory of fixed point index. Our approach is fairly general and covers a variety of cases. We apply our results to a periodic boundary value problem with reflections and to a thermostat problem. In the case of reflections we also discuss the optimality of some constants that occur in our theory. Some examples are presented to illustrate the theory.Comment: 3 figures, 23 page

The BSSN formulation is a partially constrained evolution system

Relativistic simulations in 3+1 dimensions typically monitor the Hamiltonian and momentum constraints during evolution, with significant violations of these constraints indicating the presence of instabilities. In this paper we rewrite the momentum constraints as first-order evolution equations, and show that the popular BSSN formulation of the Einstein equations explicitly uses the momentum constraints as evolution equations. We conjecture that this feature is a key reason for the relative success of the BSSN formulation in numerical relativity.Comment: 8 pages, minor grammatical correction

Catching a planet: A tidal capture origin for the exomoon candidate Kepler 1625b I

The (yet-to-be confirmed) discovery of a Neptune-sized moon around the ~3.2 Jupiter-mass planet in Kepler 1625 puts interesting constraints on the formation of the system. In particular, the relatively wide orbit of the moon around the planet, at ~40 planetary radii, is hard to reconcile with planet formation theories. We demonstrate that the observed characteristics of the system can be explained from the tidal capture of a secondary planet in the young system. After a quick phase of tidal circularization, the lunar orbit, initially much tighter than 40 planetary radii, subsequently gradually widened due to tidal synchronization of the spin of the planet with the orbit, resulting in a synchronous planet-moon system. Interestingly, in our scenario the captured object was originally a Neptune-like planet, turned into a moon by its capture.Comment: Accepted for publication in ApJL. 7 pages, 5 figure

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$.Comment: 46 pages, 2 figure