We study the order of automorphism groups of cyclic covering fibrations of a ruled surface. Arakawa and later Chen studied it for hyperelliptic fibrations and gave the upper bound. The purpose of present paper is to pursue the analog for cyclic covering fibrations.
We give an algorithm to classify singular fibers of finite cyclic covering fibrations of a ruled surface by using singularity diagrams. As the first application, we classify all fibers of 3-cyclic covering fibrations of genus 4 of a ruled surface and show that the signature of a complex surface with this fibration is non-positive by computing the local signature for any fiber. As the second application, we classify all fibers of hyperelliptic fibrations of genus 3 into 12 types according to the Horikawa index. We also prove that finite cyclic covering fibrations of a ruled surface have no mult…
For a relatively minimal surface fibration $f: X\to C$, the equivariant automorphism group of $f$ is, roughly speaking, the group of automorphisms of $X$ preserving the fibration structure. We present a classification of such fibrations of fibre genus $g\ge 1$ with smooth generic fibre over an arbitrary algebraically closed field $\mathbf{k}$ whose equivariant automorphism group is infinite.
We show that the generic fiber of a family of smooth $\mathbb{A}^{1}$-ruled affine surfaces always carries an $\mathbb{A}^{1}$-fibration, possibly after a finite extension of the base. In the particular case where the general fibers of the family are irrational surfaces, we establish that up to shrinking the base, such a family actually factors through an $\mathbb{A}^{1}$-fibration over a certain scheme, induced by the MRC-fibration of a relative smooth projective model of the family. For affine threefolds fibered by irrational $\mathbb{A}^{1}$-ruled surfaces, this induced $\mathbb{A}^{1}$-fib…
We develop technics of birational geometry to study automorphisms of affine surfaces admitting many distinct rational fibrations, with a particular focus on the interactions between automorphisms and these fibrations. In particular, we associate to each surface $S$ of this type a graph encoding equivalence classes of rational fibrations from which it is possible to decide for instance if the automorphism group of $S$ is generated by automorphisms preserving these fibrations.
We analyze K3 surfaces admitting an elliptic fibration $E$ and a finite group $G$ of symplectic automorphisms preserving this elliptic fibration. We construct the quotient elliptic fibration $E/G$ comparing its properties to the ones of $E$. We show that if $E$ admits an $n$-torsion section, its quotient by the group of automorphisms induced by this section admits again an $n$-torsion section. Considering automorphisms coming from the base of the fibration, we can describe the Mordell--Weil lattice of a fibration described by Kloosterman. We give the isometries between lattices described by th…
We study slopes of finite cyclic covering fibrations of a fibered surface. We give the best possible lower bound of the slope of these fibrations. We also give the slope equality of finite cyclic covering fibrations of a ruled surface and observe the local concentration of the global signature of these surfaces on a finite number of fiber germs. We also give an upper bound of the slope of finite cyclic covering fibrations of a ruled surface.
Nikulin has classified all finite abelian groups acting symplectically on a K3 surface and he has shown that the induced action on the K3 lattice $U^3\oplus E_8(-1)^2$ depends only on the group but not on the K3 surface. For all the groups in the list of Nikulin we compute the invariant sublattice and its orthogonal complement by using some special elliptic K3 surfaces.
We study the maximal Salem degree of automorphisms of K3 surfaces via elliptic fibrations. By generalizing \cite{EOY14}, we establish a characterization of such maximum in terms of elliptic fibrations with infinite automorphism groups. As an application, we show that any supersingular K3 surface in odd characteristic has an automorphism the entropy of which is the natural logarithm of a Salem number of degree $22$.
We study Fourier--Mukai partners of elliptic ruled surfaces. We also describe the autoequivalence group of the derived categories of ruled surfaces with an elliptic fibration, by using \cite{Ue15}.
For a complex surface of general type with a relatively minimal genus 2 fibration, the bounds of the orders of the automorphism group of the fibration, of its abelian subgroups and of its cyclic subgroups are determined as linear functions of $c^2_1$. Most of them are the best.
Let $Σ$ be a smooth projective surface, let $f' : S' \to Σ$ be a double cover of $Σ$ and let $μ: S \to S'$ be the canonical resolution. Put $f = f'\circμ$. An irreducible curve $C$ on $Σ$ is said to be a splitting curve with respect to $f$ if $f^*C$ is of the form $C^+ + C^- + E$, where $C^- = σ_f^*C^+$, $σ_f$ being the covering transformation of $f$ and all irreducible components of $E$ are contained in the exceptional set of $μ$. In this article, we show that a kind of "reciprocity" of splitting curves holds for a certain pair of curves on rational ruled surfaces. As an application, we consi…
Nishiyama introduced a lattice theoretic classification of the elliptic fibrations on a $K3$ surface. In a previous paper we used his method to exhibit $52$ elliptic fibrations, up to isomorphisms, of the singular $K3$ surface of discriminant $-12$. We prove here that the list is complete with a $53$th fibration, thanks to a remark of Elkies and Schütt. We characterize the fibration both theoretically and with a Weierstrass model.
Automorphism groups and Homogeneous fibrations on projective varieties with nef anticanonical divisors
Department of Mathematics, Southern University of Science and Technology(南方科技大学数学系);Department of Mathematical Sciences, Xi’an Jiaotong-Liverpool University(西交利物浦大学数学科学系)
Nikulin and Vinberg proved that there are only a finite number of lattices of rank $\geq 3$ that are the Néron-Severi group of projective K3 surfaces with a finite automorphism group. The aim of this paper is to provide a more geometric description of such K3 surfaces $X$, when these surfaces have moreover no elliptic fibrations. In that case we show that such K3 surface is either a quartic with special hyperplane sections or a double cover of the plane branched over a smooth sextic curve which has special tangencies properties with some lines, conics or cuspidal cubic curves. We then study th…
We bound the slope of sweeping curves in the fourgonal locus of the moduli space of genus g algebraic curves. Our results follow from some Bogomolov-type inequalities for weakly positive rank two vector bundles on ruled surfaces.
We classify complex K3 surfaces of zero entropy admitting an elliptic fibration with only irreducible fibers. These surfaces are characterized by the fact that they admit a unique elliptic fibration with infinite automorphism group. We furnish an explicit list of 32 Néron-Severi lattices corresponding to such surfaces. Incidentally, we are able to decide which of these 32 classes of surfaces admit a unique genus 1 fibration. Finally, we prove that all K3 surfaces with Picard rank >=19 and infinite automorphism group have positive entropy.
We show that hyperelliptic symplectic Lefschetz fibrations are symplectically birational to two-fold covers of rational ruled surfaces, branched in a symplectically embedded surface. This reduces the classification of genus 2 fibrations to the classification of certain symplectic submanifolds in rational ruled surfaces.
We consider the stable ruled surface $S_1$ over an elliptic curve. There is a unique foliation on $S_1$ transverse to the fibration. The minimal self-intersection sections also define a 2-web. We prove that the 4-web defined by the fibration, the foliation and the 2-web is locally parallelizable.
We establish the slope equality and give an upper bound of the slope for finite cyclic covering fibrations of an elliptic surface including bielliptic fibrations of genus greater than 5. We also give an upper bound of the slope for triple cyclic covering fibrations of a ruled surface and hyperelliptic fibrations, which provides a new proof of Xiao's upper bound.
We study the polynomial fibration induced by the equation of the Klein surfaces obtained as quotient of finite linear groups of automorphisms of the plane; this surfaces are of type A, D, E, corresponding to their singularities. The generic fibre of the polynomial fibration is a surface defined over the function field of the line. We proved that it is not rational in cases D, E, although it is obviously rational in the case A. The group of automorphisms of the Klein surfaces is also described, and is linear and of finite dimension in cases D, E; this result being obviously false in case A.
Atiyah classifies vector bundles on elliptic curves $E$ over an algebraically closed field of any characteristic. On the other hand, a rank $2$ vector bundle on $E$ defines a surface $S$ with a $\mathbb{P}^1$-bundle structure on $E$. We study when $S$ has an elliptic fibration according to the Atiyah's classification, and what kinds of singular fibers appear.
We consider K3 surfaces of Picard rank 14 which admit a purely nonsymplectic automorphism of order 16. The automorphism acts on the second cohomology group with integer coefficients and we compute the invariant sublattice for the action. We show that all of these K3 surfaces admit an elliptic fibration and we compute the invariant lattices in a geometric way by using special curves of the elliptic fibration. The computation of these lattices plays an important role when one wants to study moduli spaces and mirror symmetry for lattice polarized K3 surfaces.
We calculate the automorphism group of certain Enriques surfaces. The Enriques surfaces that we investigate include very general $n$-nodal Enriques surfaces and very general cuspidal Enriques surfaces. We also describe the action of the automorphism group on the set of smooth rational curves and on the set of elliptic fibrations.
Let $X$ be a projective surface or a hyperkähler manifold and $G \le Aut(X)$. We give a necessary and sufficient condition for the existence of a non-trivial $G$-equivariant fibration on $X$. We also show that two automorphisms $g_i$ of positive entropy and polarized by the same nef divisor are the same up to powers, provided that either $X$ is not an abelian surface or the $g_i$ share at least one common periodic point. The surface case is known among experts, but we treat this case together with the hyperkähler case using the same language of hyperbolic lattice and following Ratcliffe or Ogu…
This paper classifies surfaces of general type $S$ with $p_g=q=1$ having an involution $i$ such that $S/i$ has non-negative Kodaira dimension and that the bicanonical map of $S$ factors through the double cover induced by $i.$ It is shown that $S/i$ is regular and either: a) the Albanese fibration of $S$ is of genus 2 or b) $S$ has no genus 2 fibration and $S/i$ is birational to a $K3$ surface. For case a) a list of possibilities and examples are given. An example for case b) with $K^2=6$ is also constructed.
We give a system of generators of the automorphism group of the singular $K3$ surface of discriminant 7. This system of generators consists of the inversion involutions of some elliptic fibrations with a section together with ${\rm PGL}_2(7)$.
The present paper concerns the invariants of generically nef vector bundles on ruled surfaces. By Mehta - Ramanathan Restriction Theorem and by Miyaoka characterization of semistable vector bundles on a curve, the generic nefness can be considered as a weak form of semistability. We establish a Bogomolov type inequality for generically nef vector bundles with nef general fiber restriction on ruled surfaces with no negative section. This gives an affermative answer in this case to a problem posed by Th. Peternell. Concerning ruled surfaces with a negative section, we prove a a similar result fo…
We describe all the elliptic fibrations with section on the Kummer surface X of the Jacobian of a very general curve C of genus 2 over an algebraically closed field of characteristic 0, modulo the automorphism group of X and the symmetric group on the Weierstrass points of C. In particular, we compute elliptic parameters and Weierstrass equations for the 25 different fibrations and analyze the reducible fibers and Mordell-Weil lattices. This answers completely a question posed by Kuwata and Shioda in 2008.
We show that the automorphism group of a certain subclass of smooth Gizatullin surfaces with a distinguished and rigid extended divisor is generated by automorphisms of A1-fibrations. Moreover, such surfaces provide examples of smooth Gizatullin surfaces with a non-transitive action of the automorphism group. Thus, they represent counterexamples to Gizatullin's conjecture. For such surfaces we give explicit orbits of the natural action of the automorphism group in some special cases. Further, we present their automorphism groups as amalgamated products of two subgroups.
This is mainly a review of my results related to the title. We discuss, how many elliptic fibrations and elliptic fibrations with infinite automorphism group (or the Mordell-Weil group) an algebraic K3 surface over an algebraically closed field can have. This was the subject of my talk at Oberwolfach Workshop "Higher dimensional elliptic fibrations" in October 2010.
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…
In 1980, Gizatullin classified rational surfaces endowed with an automorphism whose action on the Neron-Severi group is parabolic: these surfaces are endowed with an elliptic fibration invariant by the automorphism. The aim of this expository paper is to present for non-experts the details of Gizatullin's original proof, and to provide an introduction to a recent paper by Cantat and Dolgachev.
We classify possible finite groups of symplectic automorphisms of K3 surfaces of order divisible by 11. The characteristic of the ground field must be equal to 11. The complete list of such groups consists of five groups: the cyclic group of order 11, $11\rtimes 5$, $L_2(11)$ and the Mathieu groups $M_{11}$, $M_{22}$. We also show that a surface $X$ admitting an automorphism $g$ of order 11 admits a $g$-invariant elliptic fibration with the Jacobian fibration isomorphic to one of explicitly given elliptic K3 surfaces.
In this paper we investigate the numerical properties of relatively minimal isotrivial fibrations $φ\colon X \lr C$, where $X$ is a smooth, projective surface and $C$ is a curve. In particular we prove that, if $g(C) \geq 1$ and $X$ is neither ruled nor isomorphic to a quasi-bundle, then $K_X^2 \leq 8 χ(\mO_X)-2$; this inequality is sharp and if equality holds then $X$ is a minimal surface of general type whose canonical model has precisely two ordinary double points as singularities. Under the further assumption that $K_X$ is ample, we obtain $K_X^2 \leq 8 χ(\mO_X)-5$ and the inequality is al…
The Gromov-Witten theory of threefolds admitting a smooth K3 fibration can be solved in terms of the Noether-Lefschetz intersection numbers of the fibration and the reduced invariants of a K3 surface. Toward a generalization of this result to families with singular fibers, we introduce completed Noether-Lefschetz numbers using toroidal compactifications of the period space of elliptic K3 surfaces. As an application, we prove quasi-modularity for some genus 0 partition functions of Weierstrass fibrations over ruled surfaces, and show that they satisfy a holomorphic anomaly equation.
We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that except for two exceptions, these surfaces $X \setminus B$ admit infinitely many families of $\mathbb{A}^1$-fibrations over the projective line with irreducible fibers and a unique singular fiber of arbitrarily large multiplicity. For $\mathbb{A}^1$-fibrations over the affine line, we give a new and essentially self-contained proof that the set of equivalence cla…
We study the connected algebraic groups acting on Mori fibrations $X \to Y$ with $X$ a rational threefold and $\mathrm{dim}(Y) \geq 1$. More precisely, for these fibre spaces we consider the neutral component of their automorphism groups and study their equivariant birational geometry. This is done using, inter alia, minimal model program and Sarkisov program and allows us to determine the maximal connected algebraic subgroups of $\mathrm{Bir}(\mathbb{P}^3)$, recovering most of the classification results of Hiroshi Umemura in the complex case.
We show that automorphism groups of Hopf and Kodaira surfaces have unbounded finite subgroups. For elliptic fibrations on Hopf, Kodaira, bielliptic, and K3 surfaces, we make some observations on finite groups acting along the fibers and on the base of such a fibration.
The aim of this paper is to study algebraic K3 surfaces (defined over the complex number field) with a symplectic automorphism of prime order. In particular we consider the action of the automorphism on the second cohomology with integer coefficients. We determine the invariant sublattice and its perpendicular complement, and show that the latter coincides with the Coxeter-Todd lattice in the case of automorphism of order three. We also compute many explicit examples, with particular attention to elliptic fibrations.
We classify, up to automorphisms, the elliptic fibrations on the singular K3 surface $X$ whose transcendental lattice is isometric to $\langle 6\rangle\oplus \langle 2\rangle$.
We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.
We call a flag variety admissible if its automorphism group is the projective general linear group. (This holds in most cases.) Let $K$ be a field of characteristic $0$, containing all roots of unity. Let the $K$-variety $X$ be a form of an admissible flag variety. We prove that $X$ is either ruled, or the automorphism group of $X$ is bounded, meaning that, there exists a constant $C\in\mathbb{N}$ such that if $G$ is a finite subgroup of $Aut_K(X)$, then the cardinality of $G$ is smaller than $C$.
A Gizatullin surface is a normal affine surface $V$ over $\bf C$, which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $\bf C^*$-actions and $\bf A^1$-fibrations on such a surface $V$ up to automorphisms. The latter fibrations are in one to one correspondence with $\bf C_+$-actions on $V$ considered up to a "speed change". Non-Gizatullin surfaces are known to admit at most one $\bf A^1$-fibration $V\to S$ up to an isomorphism of the base $S$. Moreover an effective $\bf C^{*}$-action on them, if it doe…
We determine the automorphism group for a large class of affine quadric hypersurfaces over a field, viewed as affine algebraic varieties. In particular, we find that the group of real polynomial automorphisms of the n-sphere is just the orthogonal group O(n+1) whenever n is a power of 2. It is not known whether the same is true for arbitrary n. The proof uses Karpenko's theorem that certain projective quadrics over a field are not ruled. That is, they are not birational over the given field to the product of any variety with the projective line. We also formulate a general result on automorphi…
Automorphism groups of toroidal horospherical varieties
Center for Complex Geometry, Institute for Basic Science (IBS)(基础科学研究院复杂几何中心);Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院数学天元基金中心)
We introduce the notion of induced automorphisms in order to state a criterion to determine whether a given automorphism on a manifold of $K3^{[n]}$ type is, in fact, induced by an automorphism of a $K3$ surface and the manifold is a moduli space of stable objects on the $K3$. This criterion is applied to the classification of non-symplectic prime order automorphisms on manifolds of $K3^{[2]}$ type and we prove that almost all cases are covered. Variations of this notion and the above criterion are introduced and discussed for the other known deformation types of irreducible symplectic manifol…
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 show that a compact Kaehler manifold X is a complex torus if both the continuous part and discrete part of some automorphism group G of X are infinite groups, unless X is bimeromorphic to a non-trivial G-equivariant fibration. Some applications to dynamics are given.