We first classify the possible configurations of fibrations which are not semi-stable on extremal elliptic K3 surfaces. Then we give a complete list of extremal elliptic K3 surfaces whose singular fibers are all not of type $I_n$.
This paper is concerned with the construction of extremal elliptic K3 surfaces. It gives a complete treatment of those fibrations which can be derived from rational elliptic surfaces by easy manipulations of their Weierstrass equations. In particular, this approach enables us to find explicit equations for 38 semi-stable extremal elliptic K3 fibrations, 32 of which are indeed defined over the rationals. They are realized as pull-back of non-semi-stable extremal rational elliptic surfaces via base change. This is related to work of J. Top and N. Yui which exhibited the same procedure for the se…
We develop an algorithm computing the transcendental lattice and the Mordell--Weil group of an extremal elliptic surface. As an example, we compute the lattices of four exponentially large series of surfaces
In this paper we determine a minimal set of generators for the Cox rings of extremal rational elliptic surfaces. Moreover, we develop a technique for computing the ideal of relations between them which allows, in all but three cases, to provide a presentation of the Cox ring.
We study K3 surfaces over a number field $k$ which are double covers of extremal rational elliptic surfaces. We provide a list of all elliptic fibrations on certain K3 surfaces together with the degree of a field extension over which each genus one fibration is defined and admits a section. We show that the latter depends, in general, on the action of the cover involution on the fibers of the genus 1 fibration.
Miranda and Persson classified all extremal rational elliptic surfaces in characteristic zero. We show that each surface in Miranda and Persson's classification has an integral model with good reduction everywhere (except for those of type X_{11}(j), which is an exceptional case), and that every extremal rational elliptic surface over an algebraically closed field of characteristic p > 0 can be obtained by reducing one of these integral models mod p.
We present a complete list of extremal elliptic K3 surfaces. There are altogether 325 of them. The first 112 coincides with Miranda-Persson's list for semi-stable ones. The data include the transcendental lattice which determines uniquely the K3 surface by a result of Shioda and Inose, the singular fibre type and the Mordell Weil group. As an application, we give a sufficient condition for the topological fundamental group of complement to an ADE-configuration of smooth rational curves on a K3 surface to be trivial.
We give a systematic method to calculate some homological data from the global monodromy of a topological elliptic surface. We apply this method to the cases 1) the transcendental lattice of an extremal elliptic K3 surface, 2) the torsion part of Mordell-Weil group of a general elliptic surface, and 3) the Mordell-Weil lattice of a rational elliptic surface. We present possible list of global monodromies of rational elliptic surface and extremal elliptic $K3$ surface which reproduce to the classification obtained by Oguiso-Shioda and Shimada-Zhang respectively.
We discuss the equivalence between the categories of certain ribbon graphs and subgroups of the modular group $Γ$ and use it to construct exponentially large families of not Hurwitz equivalent simple braid monodromy factorizations of the same element. As an application, we also obtain exponentially large families of {\it topologically} distinct algebraic objects such as extremal elliptic surfaces, real trigonal curves, and real elliptic surfaces.
We prove that the lengths of extremal rays of log canonical Fano surfaces with Picard number one satisfy the ascending chain condition. This confirms the 2-dimensional case of a conjecture stated by Fujino and Ishitsuka
We consider a rational surface with a relatively minimal fibration. Picard number of a such fibred surface is bounded in terms of the genus of a general fibre. When Picard number is the maximum for any given genus, we characterize a such fibred surface whose Mordell-Weil group is trivial by singular fibres. Furthermore, we describe the defining equation explicitly.
Let $\mathcal{X}$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $\mathbb{K}$ of odd characteristic $p\ge 0$, and let $\rm{Aut}(\mathcal{X})$ be the group of all automorphisms of $\mathcal{X}$ which fix $\mathbb{K}$ element-wise. For any a subgroup $G$ of $\rm{Aut}(\mathcal{X})$ whose order is a power of an odd prime $d$ other than $p$, the bound proven by Zomorrodian for Riemann surfaces is $|G|\leq 9(g-1)$ where the extremal case can only be obtained for $d=3$. We prove Zomorrodian's result for any $\mat…
Given an algebraic surface $X$, the Hilbert scheme $X^{[n]}$ of $n$-points on $X$ admits a contraction morphism to the $n$-fold symmetric product $X^{(n)}$ with the extremal ray generated by a class $β_n$ of a rational curve. We determine the two point extremal GW-invariants of $X^{[n]}$ with respect to the class $dβ_n$ for a simply-connected projective surface $X$ and the quantum first Chern class operator of the tautological bundle on $X^{[n]}$. The methods used are vertex algebraic description of $H^*(X^{[n]})$, the localization technique applied to $X=\mathbb P^2$, and a generalization of …
We show that there are exactly, up to isomorphisms, seven extremal log Enriques surfaces Z and construct all of them; among them types D_{19} and A_{19} have been shown of certain uniqueness by M. Reid. We also prove that the (degree 3 or 2) canonical covering of each of these seven Z has either X_3 or X_4 as its minimal resolution. Here X_3 (resp. X_4) is the unique K3 surface with Picard number 20 and discriminant 3 (resp. 4), which are called the most algebraic K3 surfaces by Vinberg and have infinite automorphism groups (by Shioda-Inose and Vinberg).
We will give a criterion to assure that an extremal contraction of a K3 surface which is not a Mori Dream Space produces a singular surface which is a Mori Dream Spaces. We list the possible Néron--Severi groups of K3 surfaces with this property and an extra geometric condition such that the Picard number is greater then or equal to 10. We give a detailed description of two geometric examples for which the Picard number of the K3 surface is 3, i.e. the minimal possible in order to have the required property. Moreover we observe that there are infinitely many examples of K3 surfaces with the re…
We study the geometry of the smooth projective surfaces that are defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree. We call these surfaces $\textit{extremal surfaces}$, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Frobenius split cubic surfaces of characteristic two, which are examples of extremal surfaces. For example, we show that an extremal surface $X$ contains $d^2(d^2-3d+3)$ lines where $d$ is the degree, which…
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…
Let $f\colon X\to S$ be an extremal contraction from a threefold with only terminal singularities to a surface. We study local analytic structure such contractions near degenerate fiber $C$ in the case when $C$ is irreducible and $X$ has on $C$ only one non-Gorenstein point.
In this paper we study a local structure of extrmal contractions $f\colon X\to S$ from threffolds $X$ with only terminal singularities onto a surface $S$. If the surface $S$ is non-singular and $X$ has a unique non-Gorenstein point on a fiber we prove that either the linear system $|-K_X|$, $|-2K_X|$ or $|-3K_X|$ contains a "good" divisor.
In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we conjecture to be equivalent to the existence of an extremal metric in the polarisation class. A variant for a complete extremal metric on the complement of a smooth divisor is also given. On toric surfaces we prove a Jordan-Holder type theorem for decomposing semistable surfaces into stable pieces. On a ruled surface we compute the infimum of the Calabi funct…
We provide an explicit resolution of the existence problem for extremal Kaehler metrics on toric 4-orbifolds M with second Betti number b2(M)=2. More precisely we show that M admits such a metric if and only if its rational Delzant polytope (which is a labelled quadrilateral) is K-polystable in the relative, toric sense (as studied by S. Donaldson, E. Legendre, G. Szekelyhidi et al.). Furthermore, in this case, the extremal Kaehler metric is ambitoric, i.e., compatible with a conformally equivalent, oppositely oriented toric Kaehler metric, which turns out to be extremal as well. These results…
We derive formulas for the construction of all inequivalent Jacobian elliptic fibrations on the Kummer surface of two non-isogeneous elliptic curves from extremal rational elliptic surfaces by rational base transformations and quadratic twists. We then show that each such decomposition yields a description of the Picard-Fuchs system satisfied by the periods of the holomorphic two-form as either a tensor product of two Gauss' hypergeometric differential equations, an Appell hypergeometric system, or a GKZ differential system. As the answer must be independent of the fibration used, identities r…
We consider the 33 conjugacy classes of genus zero, torsion-free modular subgroups, computing ramification data and Grothendieck's dessins d'enfants. In the particular case of the index 36 subgroups, the corresponding Calabi-Yau threefolds are identified, in analogy with the index 24 cases being associated with K3 surfaces. In a parallel vein, we study the 112 semi-stable elliptic fibrations over P^1 as extremal K3 surfaces with six singular fibres. In each case, a representative of the corresponding class of subgroups is identified by specifying a generating set for that representative.