This paper studies the arithmetic of the extremal elliptic K3 surface with configuration of singular fibres [19,1,1,1,1,1]. We give a model over Q such that the Neron Severi group is generated by divisors over Q, and we describe the local Hasse-Weil zeta-functions in terms of a modular form of weight 3. Furthermore we verify the Tate conjecture for the reduction at 3 and comment on a conjecture of T. Shioda concerning the similarity of the lattice of transcendental cycles and a lattice resulting from supersingular reduction.
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.
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 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 $S \to C$ be a Kodaira fibration. Here we show that whether or not the algebraic surface $S$ is defined over a number field depends only on the biholomorphic class of its universal cover.
Looking in positive characteristic for failures of the Bertini-Sard theorem, we determine, up to birational equivalence, the separable proper morphisms of smooth algebraic varieties in characteristic two, whose fibres are non-smooth curves of arithmetic genus two.
This article treats smooth weak Fano 3-folds having an extremal ray of type D. Smooth weak Fano 3-folds with an extremal ray of type D except of degree 6 are classified into 47 deformation types.
Consider a fibred compact Kähler manifold X endowed with a relatively ample line bundle, such that each fibre admits a constant scalar curvature Kähler metric and has discrete automorphism group. Assuming the base of the fibration admits a twisted extremal metric where the twisting form is a certain Weil-Petersson type metric, we prove that X admits an extremal metric for polarisations making the fibres small. Thus X admits a constant scalar curvature Kähler metric if and only if the Futaki invariant vanishes. This extends a result of Fine, who proved this result when the base admits no contin…
The geometry of elliptic fibrations translates to the physics of gauge theories in F-theory. We systematically develop the dictionary between arithmetic structures on elliptic curves as well as desingularized elliptic fibrations and symmetries of gauge theories on a circle. We show that the Mordell-Weil group law matches integral large gauge transformations around the circle in Abelian gauge theories and explain the significance of Mordell-Weil torsion in this context. We also use Higgs transitions and circle large gauge transformations to introduce a group law for genus-one fibrations with mu…
We prove that the Brauer-Manin obstruction is the only obstruction to the Hasse principle and to the weak approximation for zero-cycles on certain fibrations over a smooth curve or over the projective space. The principal novelty is that the arithmetic hypotheses are supposed only on the fibres over a generalized Hilbertian subset.
Let E be an elliptic curve over the function field Q(t). Suppose that for every number field L\not=Q and every element tau\in L such that the specialization E_tau is smooth, the curve E_tau has a non-trivial torsion point over L. We show that E has a non-trivial torsion point over Q(t). This provides evidence in support of a question of Graber-Harris-Mazur-Starr on rational pseudo-sections of arithmetic surjective morphisms.
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$.
We study arithmetic of the algebraic varieties defined over number fields by applying Lagrange interpolation to fibrations. Assuming the finiteness of the Tate-Shafarevich group of a certain elliptic curve, we show, for Châtelet surface bundles over curves, that the violation of Hasse principle being accounted for by the Brauer-Manin obstruction is not invariant under an arbitrary finite extension of the ground field.
We consider the problem of counting the number of varieties in a family over $\mathbb{Q}$ with a rational point. We obtain lower bounds for this counting problem for some families over $\mathbb{P}^1$, even if the Hasse principle fails. We also obtain sharp results for some multinorm equations and for specialisations of certain Brauer group elements on higher dimensional projective spaces, where we answer some cases of a question of Serre. Our techniques come from arithmetic geometry and additive combinatorics.
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.
PhD dissertation consists in three lines of investigation involving rational elliptic surfaces, namely 1) a study of conic bundles on these surfaces; 2) an investigation of the possible intersection numbers of two sections and 3) a theorem regarding the set of fibers whose Mordell-Weil ranks are at least 3 units higher than the generic rank of the elliptic fibration.
We classify quartic del Pezzo surface fibrations over the projective line via numerical invariants, giving explicit examples for small values of the invariants. For generic such fibrations, we describe explicitly the geometry of spaces of sections to the fibration, and mappings to the intermediate Jacobian of the total space. We exhibit examples where these are birational, which has applications to arithmetic questions, especially over finite fields.
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves of given invariants. This makes the moduli space of spectral sheaves to a generic torus fibration over the moduli space of curves of given arithmetic genus on the Calabi-Yau manifold.
In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group $G$ and for any open subset $U$ of $G$ with codim$(G\setminus U, G)\geq 2$, we prove that (i) if $G$ is $k$-isotropic, then $U$ satisfies strong approximation off any one (hence any finitely many) place; (ii) if $G$ is the spin group of a non-degenerate quadratic form which is non-compact over archimedean places, then $U$ satisfies strong approximation off all…
We discuss the birational geometry and the Kodaira dimension of certain varieties previously constructed by Schreieder, proving that in any dimension they admit an elliptic fibration and they are not of general type. The $l$-dimensional variety $Y_n^l$, which is the quotient of the product of a certain curve $C_n$ by itself $l$ times by a group $G\simeq\left(\mathbb{Z}/n\mathbb{Z}\right)^{l-1}$ of automorphisms, was constructed by Schreieder to obtain varieties with prescribed Hodge numbers. If $n=3^c$ Schreieder constructed an explicit smooth birational model of it, and Flapan proved: the Kod…
We introduce a new model for elliptic fibrations endowed with a Mordell-Weil group of rank one. We call it a Q$_7(\mathscr{L},\mathscr{S})$ model. It naturally generalizes several previous models of elliptic fibrations popular in the F-theory literature. The model is also explicitly smooth, thus relevant physical quantities can be computed in terms of topological invariants in straight manner. Since the general fiber is defined by a cubic curve, basic arithmetic operations on the curve can be done using the chord-tangent group law. We will use this model to determine the spectrum of singular f…
This paper proposes a new geometric construction of Enriques surfaces. Its starting point are K3 surfaces with jacobian elliptic fibration which arise from rational elliptic surfaces by a quadratic base change. The Enriques surfaces obtained in this way are characterised by elliptic fibrations with a rational curve as bisection which splits into two sections on the covering K3 surface. The construction has applications to the study of Enriques surfaces with specific automorphisms. It also allows us to answer a question of Beauville about Enriques surfaces whose Brauer groups show an exceptiona…
We produce a criterion for open sets in projective $n$-space over a separably closed field to have étale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which étale cohomological dimension is smaller than what a conjecture of G.~Lyubeznik predicts; the discrepancy is of arithmetic nature. For a monomial ideal, we relate extremal graded Betti numbers and étale cohomological dimension of the complement of the corresponding subspace arrangement. Moreover, we derive upper bounds for its arithmetic rank in terms of invariants distilled from the lcm-lattice.
Let $M=P(E)$ be the complex manifold underlying the total space of the projectivization of a holomorphic vector bundle $E \to Σ$ over a compact complex curve $Σ$ of genus $\ge 2$. Building on ideas of Fujiki, we prove that $M$ admits a Kähler metric of constant scalar curvature if and only if $E$ is polystable. We also address the more general existence problem of extremal Kähler metrics on such bundles and prove that the splitting of $E$ as a direct sum of stable subbundles is necessary and sufficient condition for the existence of extremal Kähler metrics in sufficiently small Kähler classes.…
We study F-theory compactifications with U(1)xU(1) gauge symmetry on elliptically fibered Calabi-Yau manifolds with a rank two Mordell-Weil group. We find that the natural presentation of an elliptic curve E with two rational points and a zero point is the generic Calabi-Yau onefold in dP_2. We determine the birational map to its Tate and Weierstrass form and the coordinates of the two rational points in Weierstrass form. We discuss its resolved elliptic fibrations over a general base B and classify them in the case of B=P^2. A thorough analysis of the generic codimension two singularities of …
We exhibit new examples of double Kodaira fibrations by using finite Galois covers of a product $Σ_b \times Σ_b$, where $Σ_b$ is a smooth projective curve of genus $b \geq 2$. Each cover is obtained by providing an explicit group epimorphism from the pure braid group $\mathsf{P}_2(Σ_b)$ to some finite Heisenberg group. In this way, we are able to show that every curve of genus $b$ is the base of a double Kodaira fibration; moreover, the number of pairwise non-isomorphic Kodaira fibred surfaces fibering over a fixed curve $Σ_b$ is at least $\boldsymbolω(b+1)$, where $\boldsymbolω \colon \mathbb…
Let G be a simple and simply connected complex linear algebraic group. In this paper, we discuss the generalization of the parabolic construction of holomorphic principal G-bundles over a smooth elliptic curve to the case of a singular curve of arithmetic genus one and to a fibration of Weierstrass cubics over a base B. Except for G of type E_8, the method gives a family of weighted projective spaces associated to a sum of line bundles over B. Working with the universal family of Weierstrass curves over affine two-space and its natural C^*-action, we determine the line bundles that arise in th…
Hierarchical Locally Recoverable Codes on surfaces
IMPA（巴西数学纯应用与计算研究所）；Colorado College Department of Mathematics and Computer Science（科罗拉多学院数学与计算机科学系）；Department of Mathematics and Statistics, Oakland University（奥克兰大学数学与统计系）；Faculty of Science and Engineering - Bernoulli Institute, University of Groningen（格罗宁根大学理学院伯努利研究所）
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 show that Lang's hyperbolic and function version conjectures hold for surfaces $S$ of general type having a fibration of general type onto a curve $C$. The notion of multiplicity used is natural, but not classical, which leds to orbifold versions of Mordell's conjectures not reducible by ramified covering tricks to the already solved cases. These are solved here in the two above case (hyperbolic and function field cases). But the arithmetic case (which follows from the abc conjecture) is left open. We also give an example of a simply connected surface of general type having a fibration of g…
We settle a question that originates from results and remarks by Kollár on extremal ray in the minimal model program: In positive characteristics, there are no Mori fibrations on threefolds with only terminal singularities whose generic fibers are geometrically non-normal surfaces. To show this we establish some general structure results for del Pezzo surfaces over imperfect ground fields. This relies on Reid's classification of non-normal del Pezzo surfaces over algebraically closed fields, combined with a detailed analysis of geometrical non-reducedness over imperfect fields of p-degree one.
We prove a new sharp asymptotic with the lower order term of zeroth order on $\mathcal{Z}_{\mathbb{F}_q(t)}(\mathcal{B})$ for counting the semistable elliptic curves over $\mathbb{F}_q(t)$ by the bounded height of discriminant $Δ(X)$. The precise count is acquired by considering the moduli of nonsingular semistable elliptic fibrations over $\mathbb{P}^{1}$, also known as semistable elliptic surfaces, with $12n$ nodal singular fibers and a distinguished section. We establish a bijection of $K$-points between the moduli functor of semistable elliptic surfaces and the stack of morphisms $\mathcal…
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.
Given a connected smooth projective surface X over the complex numbers, together with a simple normal crossings divisor D on it, we study finite normal covers Y of X that are unramified outside D. Given moreover a fibration of X onto a curve C, we prove that the `height' of Y over C is bounded linearly in terms of the degree of Y over X. We indicate how an arithmetic analogue of this result, if true, can be auxiliary in proving the existence of a polynomial time algorithm that computes the mod-l Galois representations associated to a given smooth projective geometrically connected surface over…
