Search arXiv⌕ Search

arXiv · 1312.4421

On the Classification of Elliptic Fibrations modulo Isomorphism on K3 Surfaces with large Picard Number

Abstract

Motivated by a problem originating in string theory, we study elliptic fibrations on K3 surfaces with large Picard number modulo isomorphism. We give methods to determine upper bounds for the number of inequivalent K3 surfaces sharing the same frame lattice. For any given Neron--Severi lattice $S_X$, such a bound on the `multiplicity' can be derived by investigating the quotient of the isometry group of $S_X$ by the automorphism group. The resulting bounds are strongest for large Picard numbers and multiplicities of unity do indeed occur for a number of K3 surfaces with Picard number 20. Under a few extra conditions, a more refined analysis is also possible by explicitly studying the embedding of $S_X$ into the even unimodular lattice ${\rm II}_{1,25}$ and exploiting the detailed structure of the isometry groups of $S_X$ and ${\rm II}_{1,25}$. We illustrate these methods in examples and derive bounds for the number of elliptic fibrations on Kummer surfaces of Picard numbers 17 and 20. As an intermediate step, we also discuss coarser classification schemes and review known results.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andreas P. Braun, Yusuke Kimura, Taizan Watari. 2013-12-16. On the Classification of Elliptic Fibrations modulo Isomorphism on K3 Surfaces with large Picard Number. https://arxiv.org/abs/1312.4421

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Beyond Harnack Rigidity

The boundary of a plane amoeba is always contained in its contour, and equality is a characteristic feature of simple Harnack curves. We show that the converse fails, even under strong smoothness and nondegeneracy assumptions. For every two-dimensional lattice polygon, except unimodular triangles, we construct a smooth Newton-nondegenerate curve with smooth logarithmic critical locus and smooth embedded contour satisfying $\mathcal C(\mathscr A_f)=\partial\mathscr A_f$, although the curve is not Harnack. We also provide explicit primitive and nonprimitive families that are not torus-equivalent to simple Harnack curves. A concrete primitive example is certified by exact elimination and Sturm root counting. These results disprove contour--boundary rigidity and show that the contour as a set does not detect the real structure or the multiplicity of coincident critical sheets, thereby refining the compensation problem proposed by Lang, Shapiro, and Shustin.

math.AG↗

Special Cohen--Macaulay sheaves on partial resolutions of rational surfaces singularities

We introduce the categories $\CM(X)$ and $\SCM(X)$ of reflexive sheaves on a minimal partial resolution $f\colon X \to \Spec R$ of a rational surface singularity $\Spec R$. The main result of this paper establishes that $\SCM(X)$ possesses a natural Frobenius structure, serving as a geometric counterpart to the algebraic Frobenius structure on special Cohen--Macaulay $R$-modules, introduced by Iyama--Wemyss and Iyama--Kalck--Wemyss--Yang. Utilizing this geometric framework, we establish an exact equivalence between $\SCM(X)$ and the category of special Cohen--Macaulay $R$-modules equipped with a specific exact structure, which induces a triangle equivalence between their stable categories. Consequently, this provides a direct, geometric proof of the Iyama--Kalck--Wemyss--Yang equivalence and yields a Buchweitz-type equivalence $\underline{\SCM}(X) \simeq D_{\sg}(X)$.

math.AG↗