K3 surfaces with maximal complex multiplication

Eva Bayer-Fluckiger

2024-08-21

Abstract:Following Valloni, we study complex projective K3 surfaces having complex multiplication by rings of integers.

Algebraic Geometry

What problem does this paper attempt to address?

K3 surfaces with real or complex multiplication

Eva Bayer-Fluckiger,Bert van Geemen,Matthias Schütt

2024-03-27

Abstract:Let $E$ be a totally real number field of degree $d$ and let $m \geqslant 3$ be an integer. We show that if $md \leqslant 21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by $E$. Analogous results are proved for CM number fields and also for all known higher-dimensional hyperkähler manifolds.

Algebraic Geometry,Number Theory
On families of K3 surfaces with real multiplication

Bert van Geemen,Matthias Schütt

2023-11-24

Abstract:We exhibit large families of K3 surfaces with real multiplication, both abstractly using lattice theory, the Torelli theorem and the surjectivity of the period map, as well as explicitly using dihedral covers and isogenies.

Algebraic Geometry
On two-elementary K3 surfaces with finite automorphism group

Adrian Clingher,Andreas Malmendier,Flora Poon

2024-10-22

Abstract: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.

Algebraic Geometry
Motivic Modularity of CM K3 Surfaces

Rikuto Ito

2024-07-29

Abstract:The author proves the potential modularity of K3 surfaces with complex multiplication in this paper. This is an application of the main theorem of complex multiplication for K3 surfaces by J. Rizov. As some examples, we discuss Fermat quartic and Kummer surfaces

Number Theory,Algebraic Geometry
K3 surfaces with two involutions and low Picard number

Dino Festi,Wim Nijgh,Daniel Platt

DOI: https://doi.org/10.1007/s10711-024-00900-8

2024-03-14

Geometriae Dedicata

Abstract:Let X be a complex algebraic K3 surface of degree 2 d and with Picard number . Assume that X admits two commuting involutions: one holomorphic and one anti-holomorphic. In that case, when and when . For , the first example defined over with was produced already in 2008 by Elsenhans and Jahnel. A K3 surface provided by Kondō, also defined over , can be used to realise the minimum for all . In these notes we construct new explicit examples of K3 surfaces over the rational numbers realising the minimum for . We also show that a nodal quartic surface can be used to realise the minimum for infinitely many different values of d . Finally, we strengthen a result of Morrison by showing that for any even lattice N of rank and signature there exists a K3 surface Y defined over such that .

mathematics
K3 surfaces with a symplectic action of $(\mathbb Z/2\mathbb Z)^2$

Benedetta Piroddi

2024-08-01

Abstract:We study the symplectic action of the group (Z/2Z)^2 on a K3 surface X: we describe its action on H^2(X,Z) and the maps induced in cohomology by the rational quotient maps; we give a lattice-theoretic characterization of the resolution of singularities of the quotient X/i, where i is any of the involutions in (Z/2Z)^2. Assuming X is projective, we describe the correspondence between irreducible components of its moduli space, and those of the resolution of singularities of its quotients: this being the first description of this correspondence for a non-cyclic action, we see new phenomena, of which we provide explicit examples assuming $X$ has a polarization of degree 4.

Algebraic Geometry
K3 Surfaces and Orthogonal Modular Forms

Adrian Clingher,Andreas Malmendier,Brandon Williams

2024-11-09

Abstract: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.

Algebraic Geometry,Number Theory
Complex Projective 3-Fold with Non-Negative Canonical Euler-Poincare Characteristic

Meng Chen,Kang Zuo

DOI: https://doi.org/10.4310/cag.2008.v16.n1.a5

2008-01-01

Communications in Analysis and Geometry

Abstract:We work over the complex number field C. In this paper, we study multi-canonical systems |mKV | on complex projective 3-folds V of general type. On a smooth complex complete curve C of genus g(C) ≥ 2, it is well known that the 3-canonical map φ3 := Φ|3KC | is always an embedding. On a smooth minimal projective surface S of general type, Bombieri [2] proved that the m-canonical map is a birational morphism for all m ≥ 5. The work of Tsuji [31], Hacon–McKernan [13] and Takayama [28] says that there exists a universal constant r3 such that the r3-canonical map Φr3 is birational for all smooth projective 3-folds of general type. We note that Tsuji [31] announced a very large r3. Recently Chen and the first author [5] have given an explicit r3 (≤77). Under extra assumptions there have been already the following optimal results about r3 for minimal projective 3-folds X of general type with Q-factorial terminal singularities:
On projective K3 surfaces $\mathcal{X}$ with $\mathrm{Aut}(\mathcal{X})=(\mathbb{Z}/2\mathbb{Z})^2$

Adrian Clingher,Andreas Malmendier,Xavier Roulleau

2024-11-03

Abstract: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.

Algebraic Geometry
Topological K-Theory of Complex Projective Spaces

Virgil Chan

DOI: https://doi.org/10.48550/arXiv.1303.3959

2013-03-16

Abstract:We compute the K-theory of complex projective spaces. There are three major ingredients: the exact sequence of K-groups, the theory of Chern character and the Bott Periodicity Theorem.

K-Theory and Homology
Automorphisms of K3 surfaces, cyclotomic polynomials and orthogonal groups

Eva Bayer-Fluckiger

2024-05-01

Abstract:Let X be a complex projective K3 surface, and let T(X) be its transcendental lattice; the characteristic polynomials of the isometries of T(X) induced by automorphisms of X are powers of cyclotomic polynomials. Which powers of cyclotomic polynomials occur ? The aim of this note is to answer this question, as well as related ones, and give an alternative approach to some results of Kondo, Machida, Oguiso, Vorontsov, Xiao and Zhang; this leads to questions and results concerning orthogonal groups of lattices.

Algebraic Geometry,Number Theory
K3 surfaces of Kummer type in characteristic two

Igor V. Dolgachev

DOI: https://doi.org/10.1112/blms.13033

IF: 1.036

2024-03-28

Bulletin of the London Mathematical Society

Abstract:We discuss K3 surfaces in characteristic two that contain the Kummer configuration of smooth rational curves.

mathematics
Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence

Sarah Frei,Brendan Hassett,Anthony Várilly-Alvarado

DOI: https://doi.org/10.1515/crelle-2022-0056

2022-10-01

Journal fur die reine und angewandte Mathematik

Abstract:Given a smooth projective variety over a number field and an element of its Brauer group, we consider the specialization of the Brauer class at a place of good reduction for the variety and the class. We are interested in the case of K3 surfaces. We show that a Brauer class on a very general polarized K3 surface over a number field becomes trivial after specialization at a set of places of positive natural density. We deduce that there exist cubic fourfolds over number fields that are conjecturally irrational, with rational reduction at a positive proportion of places. We also deduce that there are twisted derived equivalent K3 surfaces which become derived equivalent after reduction at a positive proportion of places.

mathematics
A gluing construction of K3 surfaces

Takayuki Koike,Takato Uehara

2023-06-30

Abstract:We develop a new method for constructing K3 surfaces. We construct such a K3 surface $X$ by patching two open complex surfaces obtained as the complements of tubular neighborhoods of elliptic curves embedded in blow-ups of the projective planes at general nine points. Our construction has $19$ complex dimensional degrees of freedom. For general parameters, the K3 surface $X$ is neither Kummer nor projective. By the argument based on the concrete computation of the period map, we also investigate which points in the period domain correspond to K3 surfaces obtained by such construction.

Complex Variables,Algebraic Geometry
Non-Measure Hyperbolicity of Complex K3 Surfaces

Gunhee Cho,David R. Morrison

2024-09-27

Abstract:We show that the non-measure hyperbolicity of K3 surfaces -- which M. Green and P. Griffiths verified for certain cases in 1980 -- holds for all K3 surfaces. As a byproduct, we prove the non-measure hyperbolicity of any Hilbert schemes of points on K3 surfaces. We also obtain a new proof of the non-measure hyperbolicity of any Enriques surface.

Algebraic Geometry
Curves on K3 surfaces and modular forms

D. Maulik,R. Pandharipande,R. P. Thomas

DOI: https://doi.org/10.1112/jtopol/jtq030

2012-04-19

Abstract:We study the virtual geometry of the moduli spaces of curves and sheaves on K3 surfaces in primitive classes. Equivalences relating the reduced Gromov-Witten invariants of K3 surfaces to characteristic numbers of stable pairs moduli spaces are proven. As a consequence, we prove the Katz-Klemm-Vafa conjecture evaluating $\lambda_g$ integrals (in all genera) in terms of explicit modular forms. Indeed, all K3 invariants in primitive classes are shown to be governed by modular forms. The method of proof is by degeneration to elliptically fibered rational surfaces. New formulas relating reduced virtual classes on K3 surfaces to standard virtual classes after degeneration are needed for both maps and sheaves. We also prove a Gromov-Witten/Pairs correspondence for toric 3-folds. Our approach uses a result of Kiem and Li to produce reduced classes. In Appendix A, we answer a number of questions about the relationship between the Kiem-Li approach, traditional virtual cycles, and symmetric obstruction theories. The interplay between the boundary geometry of the moduli spaces of curves, K3 surfaces, and modular forms is explored in Appendix B by A. Pixton.

Algebraic Geometry,High Energy Physics - Theory
Complex multiplication, rationality and mirror symmetry for abelian varieties

Meng Chen

DOI: https://doi.org/10.1016/j.geomphys.2008.01.001

2006-02-22

Abstract:We show that complex multiplication on abelian varieties is equivalent to the existence of a constant rational Kähler metric. We give a sufficient condition for a mirror of an abelian variety of CM-type to be of CM-type as well. We also study the relationship between complex multiplication and rationality of a toroidal lattice vertex algebra.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics
Normal functions, Picard-Fuchs equations, and elliptic fibrations on K3 surfaces

Xi Chen,Charles Doran,Matt Kerr,James Lewis

DOI: https://doi.org/10.48550/arXiv.1108.2223

2012-09-26

Abstract:Using Gauss-Manin derivatives of normal functions, we arrive at some remarkable results on the non-triviality of the transcendental regulator for $K_m$ of a very general projective algebraic manifold. Our strongest results are for the transcendental regulator for $K_1$ of a very general $K3$ surface. We also construct an explicit family of $K_1$ cycles on $H \oplus E_8 \oplus E_8$-polarized $K3$ surfaces, and show they are indecomposable by a direct evaluation of the real regulator. Critical use is made of natural elliptic fibrations, hypersurface normal forms, and an explicit parametrization by modular functions.

Algebraic Geometry
Line configurations and K3 surfaces

Elias Sink

2023-09-28

Abstract:We study the realization spaces of $10_3$ line configurations. Answering a question posed by Sturmfels in 1991, we use elliptic surface techniques to show that realizations over $\mathbb{Q}$ are dense in those over $\mathbb{R}$ for all $10_3$ configurations. We find that for exactly four of the ten configurations, the realization space admits a compactification by a K3 surface. We show that these have Picard number 20 and compute their discriminants. Finally, we use geometric invariant theory to give an elegant interpretation of these K3 surfaces as moduli spaces.

Algebraic Geometry
On the component group of the algebraic monodromy group of a K3 surface

Andreas-Stephan Elsenhans,Jörg Jahnel

DOI: https://doi.org/10.1016/j.jalgebra.2024.02.005

IF: 0.908

2024-05-01

Journal of Algebra

Abstract:We provide a lower bound for the number of components of the algebraic monodromy group in the situation of a K3 surface over a number field k. In the CM case, our bound is sharp. As an application, we describe, in the case of CM, the jump character [3, Definition 2.4.6] entirely in terms of the endomorphism field and the geometric Picard rank.

mathematics

K3 surfaces with maximal complex multiplication

K3 surfaces with real or complex multiplication

On families of K3 surfaces with real multiplication

On two-elementary K3 surfaces with finite automorphism group

Motivic Modularity of CM K3 Surfaces

K3 surfaces with two involutions and low Picard number

K3 surfaces with a symplectic action of $(\mathbb Z/2\mathbb Z)^2$

K3 Surfaces and Orthogonal Modular Forms

Complex Projective 3-Fold with Non-Negative Canonical Euler-Poincare Characteristic

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

Topological K-Theory of Complex Projective Spaces

Automorphisms of K3 surfaces, cyclotomic polynomials and orthogonal groups

K3 surfaces of Kummer type in characteristic two

Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence

A gluing construction of K3 surfaces

Non-Measure Hyperbolicity of Complex K3 Surfaces

Curves on K3 surfaces and modular forms

Complex multiplication, rationality and mirror symmetry for abelian varieties

Normal functions, Picard-Fuchs equations, and elliptic fibrations on K3 surfaces

Line configurations and K3 surfaces

On the component group of the algebraic monodromy group of a K3 surface