Search

Let X be a K3 surface and let H be a very ample line bundle on X of sectional genus g ≤ 9. In this paper, we characterize the destabilizing sheaf of the Lazarsfeld-Mukai bundle EC,Z of rank 2 associated with a smooth curve C ∈ |H| and a base point free divisor Z on C with h0(OC(Z)) = 2, in the case where it is not H-slope stable.

A CHL model is the quotient of $\mathrm{K3} \times E$ by an order $N$ automorphism which acts symplectically on the K3 surface and acts by shifting by an $N$-torsion point on the elliptic curve $E$. We conjecture that the primitive Donaldson-Thomas partition function of elliptic CHL models is a Siegel modular form, namely the Borcherds lift of the corresponding twisted-twined elliptic genera which appear in Mathieu moonshine. The conjecture matches predictions of string theory by David, Jatkar and Sen. We use the topological vertex to prove several base cases of the conjecture. Via a degeneration to $\mathrm{K3} \times \mathbb{P}^1$ we also express the DT partition functions as a twisted trace of an operator on Fock space. This yields further computational evidence. An extension of the conjecture to non-geometric CHL models is discussed. We consider CHL models of order $N=2$ in detail. We conjecture a formula for the Donaldson-Thomas invariants of all order two CHL models in all curve classes. The conjecture is formulated in terms of two Siegel modular forms. One of them, a Siegel form for the Iwahori subgroup, has to our knowledge not yet appeared in physics. This discrepancy is discussed in an appendix with Sheldon Katz.

We study a K3 surface, which appears in the two-loop mixed electroweak-quantum chromodynamic virtual corrections to Drell--Yan scattering. A detailed analysis of the geometric Picard lattice is presented, computing its rank and discriminant in two independent ways: first using explicit divisors on the surface and then using an explicit elliptic fibration. We also study in detail the elliptic fibrations of the surface and use them to provide an explicit Shioda--Inose structure. Moreover, we point out the physical relevance of our results.

The Gauss-Manin connection of a family of hypersurfaces governs the change of the period matrix along the family. This connection can be complicated even when the equations defining the family look simple. When this is the case, it is computationally expensive to compute the period matrices of varieties in the family via homotopy continuation. We train neural networks that can quickly and reliably guess the complexity of the Gauss-Manin connection of a pencil of hypersurfaces. As an application, we compute the periods of 96% of smooth quartic surfaces in projective 3-space whose defining equation is a sum of five monomials; from the periods of these quartic surfaces, we extract their Picard numbers and the endomorphism fields of their transcendental lattices., Comment: 30 pages

In this paper, we study smooth complex projective 4-folds which are topologically equivalent. First we show that Fano fourfolds are never oriented homeomorphic to Ricci-flat projective fourfolds and that Calabi-Yau manifolds and hyperkahler manifolds in dimension ≥ 4 are never oriented homeomorphic. Finally, we give a coarse classification of smooth projective fourfolds which are oriented homeomorphic to a hyperkahler fourfold which is deformation equivalent to the Hilbert scheme S[2] of two points of a projective K3 surface S.

In [5], Eklund showed that a general (ℤ/2ℤ)4 -invariant quartic K3 surface contains at least 320 conics. In this paper, we analyse the field of definition of those conics as well as their Monodromy group. As a result, we prove that the moduli space of (ℤ/2ℤ)4-invariant quartic K3 surface with a certain marked conic has 10 irreducible components.

We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal K3 surface. The decomposition has terms supported on Noether-Lefschetz loci which are not visible in the Beauville-Voisin decomposition for a fixed K3 surface. As a result of our universal decomposition, we prove the conjecture of Marian-Oprea-Pandharipande: the full tautological ring of the moduli space of K3 surfaces is generated in Chow by the classes of the Noether-Lefschetz loci. Explicit boundary relations are constructed for all kappa classes. More generally, we propose a connection between relations in the tautological ring of the moduli spaces of curves and relations in the tautological ring of the moduli space of K3 surfaces. The WDVV relation in genus 0 is used in our proof of the MOP conjecture., Comment: 41 pages

We provide explicit equations of some smooth complex quartic surfaces with many lines, including all 10 quartics with more than 52 lines. We study the relation between linear automorphisms and some configurations of lines such as twin lines and special lines. We answer a question by Oguiso on a determinantal presentation of the Fermat quartic surface., 22 pages, the last unknown quartic surface with more than 52 lines has been added

Let C be a curve of genus g = 11 {g=11} or g ≥ 13 {g\geq 13} on a K3 surface whose Picard group is generated by the curve class [ C ] {[C]} . We use wall-crossing with respect to Bridgeland stability conditions to generalise Mukai’s program to this situation: we show how to reconstruct the K3 surface containing the curve C as a Fourier–Mukai transform of a Brill–Noether locus of vector bundles on C.

We study automorphisms of the Hilbert scheme of ???? points on a generic projective ????3 surface ????, for any ???? ≥ 2. We show that Aut(????[????]) is either trivial or generatedby a non-symplectic involution and we determine numerical and divisorial conditionswhich allow us to distinguish between the two cases. As an application of these results we prove that, for any ???? ≥ 2, there exist infinitely many admissible degrees for thepolarization of the ????3 surface ???? such that ????[????] admits a non-natural involution. This provides a generalization of the results of [7] for ???? = 2

Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over arbitrary base fields, and give examples illustrating how behaviour can differ from the algebraically closed case.

In any characteristic different from 2 and 5, Kond\=o gave an example of a K3 surface with a purely non-symplectic automorphism of order 50. The surface was explicitly given as a double plane branched along a smooth sextic curve. In this note we show that, in any characteristic $p\neq 2, 5$, a K3 surface with a cyclic action of order 50 is isomorphic to the example of Kond\=o., Comment: 7 pages. arXiv admin note: substantial text overlap with arXiv:1402.6803, arXiv:1204.1711

We prove that for every smooth prime Fano $3$-fold $V$, the Hilbert scheme $\operatorname{Hilb}^{sc} V$ of smooth connected curves on $V$ contains a generically non-reduced irreducible component of Mumford type. We also study the deformations of degenerate curves $C$ in $V$, i.e., curves $C$ contained in a smooth anti-canonical member $S \in |-K_V|$ of $V$. We give a sufficient condition for $C$ to be stably degenerate, i.e., every small (and global) deformation of $C$ in $V$ is contained in a deformation of $S$ in $V$. As a result, by using the Hilbert-flag scheme of $V$, we determine the dimension and the smoothness of $\operatorname{Hilb}^{sc} V$ at the point $[C]$, assuming that the class of $C$ in $\operatorname{Pic} S$ is generated by $-K_V\big{\vert}_S$ together with the class of a line, or a conic on $V$., 20 pages, final version, to appear in Mathematische Nachrichten

We show that a general elliptic K3 surface with a section is determined uniquely by its discriminant, which is a configuration of 24 points on the projective line. It follows that a general elliptic K3 surface with a section can be reconstructed from its Gromov-Hausdorff limit as the volume of the fiber goes to zero.

We consider K3 surfaces which are double cover of rational elliptic surfaces. The former are endowed with a natural elliptic fibration, which is induced by the latter. There are also other elliptic fibrations on such K3 surfaces, which are necessarily induced by special linear systems on the rational elliptic surfaces. We describe these linear systems. In particular, we observe that every conic bundle on the rational surface induces a genus 1 fibration on the K3 surface and we classify the singular fibers of the genus 1 fibration on the K3 surface it terms of singular fibers and special curves on the conic bundle on the rational surface., Comment: 28 pages

We consider a class of area-preserving, piecewise affine maps on the 2-sphere. These maps encode degenerating families of K3 surface automorphisms and are profitably studied using techniques from tropical and Berkovich geometries., Comment: 58 pages, 15 figures. Accepted, Journal of Modern Dynamics

Let $(X,H)$ be a polarized K3 surface with $\mathrm{Pic}(X) = \mathbb Z H$, and let $C\in |H|$ be a smooth curve of genus $g$. We give an upper bound on the dimension of global sections of a semistable vector bundle on $C$. This allows us to compute the higher rank Clifford indices of $C$ with high genus. In particular, when $g\geq r^2\geq 4$, the rank $r$ Clifford index of $C$ can be computed by the restriction of Lazarsfeld-Mukai bundles on $X$ corresponding to line bundles on the curve $C$. This is a generalization of the result by Green and Lazarsfeld for curves on K3 surfaces to higher rank vector bundles. We also apply the same method to the projective plane and show that the rank $r$ Clifford index of a degree $d(\geq 5)$ smooth plane curve is $d-4$, which is the same as the Clifford index of the curve., 25 pages, 6 figures, comments are very welcome!

In this paper we consider the class of K3 surfaces defined as hypersurfaces in weighted projective space, and admitting a non-symplectic automorphism of non-prime order, excluding the orders 4, 8, and 12. We show that on these surfaces the Berglund-H\"ubsch-Krawitz mirror construction and mirror symmetry for lattice polarized K3 surfaces constructed by Dolgachev agree; that is, both versions of mirror symmetry define the same mirror K3 surface., Comment: 23 pages, includes magma code used

This survey article is an outline of author's talk at the RIMS Workshop Algebraic Number Theory and Related Topics (2017). We study arithmetic properties of K3 surfaces with complex multiplication (CM) generalizing the results of Shimada for K3 surfaces with Picard number 20. Then, following Taelman's strategy and using Matsumoto's good reduction criterion for K3 surfaces with CM, we construct K3 surfaces over finite fields with given L-function, up to finite extensions of the base fields. We also prove the Tate conjecture for self-products of K3 surfaces over finite fields by CM lifts and the Hodge conjecture for self-products of K3 surfaces with CM proved by Mukai and Buskin.

The extensive computer-aided search applied in [arXiv:2010.10519] to find the minimal charge sourced by the fluxes that stabilize all the (flux-stabilizable) moduli of a smooth K3xK3 compactification uses differential evolutionary algorithms supplemented by local searches. We present these algorithms in detail and show that they can also solve our minimization problem for other lattices. Our results support the Tadpole Conjecture: The minimal charge grows linearly with the dimension of the lattice and, for K3xK3, this charge is larger than allowed by tadpole cancelation. Even if we are faced with an NP-hard lattice-reduction problem at every step in the minimization process, we find that differential evolution is a good technique for identifying the regions of the landscape where the fluxes with the lowest tadpole can be found. We then design a "Spider Algorithm," which is very efficient at exploring these regions and producing large numbers of minimal-tadpole configurations., Comment: 37 pages, 6 figures

Despite the transcendental nature of the twistor construction, the algebraic fibres of the twistor space of a K3 surface share certain arithmetic properties. We prove that for a polarized K3 surface with complex multiplication, all algebraic fibres of its twistor space away from the equator have complex multiplication as well., Comment: 21 pages. Revision takes into account various insightful comments of two anonymous referees. In particular the equation of the CM extension for the twistor fibre (Corollary 3.10) has been corrected and from Section 3.2 the assumption (\ell'.\ell')>0 has been added. To appear in IMRN

We construct an action of the Neron--Severi part of the Looijenga-Lunts-Verbitsky Lie algebra on the Chow ring of the Hilbert scheme of points on a K3 surface. This yields a simplification of Maulik and Negut's proof that the cycle class map is injective on the subring generated by divisor classes as conjectured by Beauville. The key step in the construction is an explicit formula for Lefschetz duals in terms of Nakajima operators. Our results also lead to a formula for the monodromy action on Hilbert schemes in terms of Nakajima operators., 10 pages, final version

We show that the results we had previously obtained on diagonals of 9- and 10-parameter families of rational functions in three variables x, y, and z, using creative telescoping, yielding modular forms expressed as pullbacked 2F1 hypergeometric functions, can be obtained much more efficiently by calculating the j-invariant of an elliptic curve canonically associated with the denominator of the rational functions. These results can be drastically generalized by changing the parameters into arbitrary rational functions of the product p=xyz. In other cases where creative telescoping yields pullbacked 2F1 hypergeometric functions, we extend this algebraic geometry approach to other families of rational functions in three or more variables. In particular, we generalize this approach to rational functions in more than three variables when the denominator can be associated to an algebraic variety corresponding to products of elliptic curves, or foliations in elliptic curves. We also extend this approach to rational functions in three variables when the denominator is associated with a genus-two curve such that its Jacobian is a split Jacobian, corresponding to the product of two elliptic curves. We sketch the situation where the denominator of the rational function is associated with algebraic varieties that are not of the general type, having an infinite set of birational automorphisms. We finally provide some examples of rational functions in more than three variables, where the telescopers have pullbacked 2F1 hypergeometric solutions, because the denominator corresponds to an algebraic variety that has a selected elliptic curve.

Funder: University of Cambridge, We prove Kontsevich’s homological mirror symmetry conjecture for certain mirror pairs arising from Batyrev–Borisov’s ‘dual reflexive Gorenstein cones’ construction. In particular we prove HMS for all Greene–Plesser mirror pairs (i.e., Calabi–Yau hypersurfaces in quotients of weighted projective spaces). We also prove it for certain mirror Calabi–Yau complete intersections arising from Borisov’s construction via dual nef partitions, and also for certain Calabi–Yau complete intersections which do not have a Calabi–Yau mirror, but instead are mirror to a Calabi–Yau subcategory of the derived category of a higher-dimensional Fano variety. The latter case encompasses Kuznetsov’s ‘K3 category of a cubic fourfold’, which is mirror to an honest K3 surface; and also the analogous category for a quotient of a cubic sevenfold by an order-3 symmetry, which is mirror to a rigid Calabi–Yau threefold.

While the Chow groups of 0-dimensional cycles on the moduli spaces of Deligne-Mumford stable pointed curves can be very complicated, the span of the 0-dimensional tautological cycles is always of rank 1. The question of whether a given moduli point [C,p_1,...,p_n] determines a tautological 0-cycle is subtle. Our main results address the question for curves on rational and K3 surfaces. If C is a nonsingular curve on a nonsingular rational surface of positive degree with respect to the anticanonical class, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the virtual dimension in Gromov-Witten theory of the moduli space of stable maps. If C is a nonsingular curve on a K3 surface, we prove [C,p_1,...,p_n] is tautological if the number of markings does not exceed the genus of C and every marking is a Beauville-Voisin point. The latter result provides a connection between the rank 1 tautological 0-cycles on the moduli of curves and the rank 1 tautological 0-cycles on K3 surfaces. Several further results related to tautological 0-cycles on the moduli spaces of curves are proven. Many open questions concerning the moduli points of curves on other surfaces (Abelian, Enriques, general type) are discussed., Épijournal de Géométrie Algébrique, 4, ISSN:2491-6765

The BHK mirror symmetry construction stems from work Berglund and Huebsch, and applies to certain types of Calabi-Yau varieties that are birational to finite quotients of Fermat varieties. Their definition involves a matrix $A$ and a certain finite abelian group $G$, and we denote the corresponding Calabi-Yau variety by $Z_{A,G}$. The transpose matrix $A^T$ and the so-called dual group $G^T$ give rise to the BHK mirror variety $Z_{A^T,G^T}$. In the case of dimension 2, the surface $Z_{A,G}$ is a K3 surface of BHK type. Let $Z_{A,G}$ be a K3 surface of BHK type, with BHK mirror $Z_{A^T,G^T}$. Using work of Shioda, Kelly shows that the geometric Picard number of $Z_{A,G}$ may be expressed in terms of a certain subset of the dual group $G^T$. We simplify this formula significantly to show that this Picard number depends only upon the degree of the mirror polynomial $F_{A^T}$., 17 pages

We give more details to our examples in [9] of K3 surfaces over C such that they have infinite automorphism group but it preserves some elliptic pencil of the K3, 12 pages

For a moduli space of Bridgeland-stable objects on a K3 surface, we show that the Chow class of a point is determined by the Chern class of the corresponding object on the surface. This establishes a conjecture of Junliang Shen, Qizheng Yin, and the second author.

By a Pythagorean quadruplet $(a,b,c,d)$, we mean an integer solution to the quadratic equation $a^2 + b^2 = c^2 + d^2$. We use this notion to construct infinite families of elliptic curves of higher rank as far as possible. Furthermore, we give particular examples of rank eight.

We prove that the moduli stacks of marked and labelled Hodge-special Gushel-Mukai fourfolds are isomorphic. As an application, we construct rational maps from the stack of Hodge-special Gushel-Mukai fourfolds of discriminant $d$ to the moduli space of (twisted) degree-$d$ polarized K3 surfaces. We use these results to prove a counting formula for the number of 4-dimensional fibers of Fourier-Mukai partners of very general Hodge-special Gushel-Mukai fourfolds with associated K3 surface, and a lower bound for this number in the case of a twisted associated K3 surface., 16 pages

Let $K_0(\mathrm{Var}_{\mathbb{Q}})[1/\mathbb{L}]$ denote the Grothendieck ring of $\mathbb{Q}$-varieties with the Lefschetz class inverted. We show that there exists a K3 surface X over $\mathbb{Q}$ such that the motivic zeta function $\zeta_X(t) := \sum_n [\mathrm{Sym}^n X]t^n$ regarded as an element in $K_0(\mathrm{Var}_{\mathbb{Q}})[1/\mathbb{L}][[t]]$ is not a rational function in $t$, thus disproving a conjecture of Denef and Loeser., Comment: 25 pages

Various experimentally verified values of physical parameters indicate that the universe evolves close to the topological phase of exotic smoothness structures on R 4 and K3 surface. The structures determine the &alpha, parameter of the Starobinski model, the number of e-folds, the spectral tilt, the scalar-to-tensor ratio and the GUT and electroweak energy scales, as topologically supported quantities. Neglecting exotic R 4 and K3 leaves these free parameters undetermined. We present general physical and mathematical reasons for such preference of exotic smoothness. It appears that the spacetime should be formed on open domains of smooth K 3 # C P 2 &macr, at extra-large scales possibly exceeding our direct observational capacities. Such potent explanatory power of the formalism is not that surprising since there exist natural physical conditions, which we state explicitly, that allow for the unique determination of a spacetime within the exotic K3.