The existence of a Kodaira fibration, i.e., of a fibration of a compact complex surface $S$ onto a complex curve $B$ which is a differentiable but not a holomorphic bundle, forces the geographical slope $ ν(S) = c_1^2 (S) / c_2 (S)$ to lie in the interval $(2,3)$. But up to now all the known examples had slope $ ν(S) \leq 2 + 1/3$. In this paper we consider a special class of surfaces admitting two such Kodaira fibrations, and we can construct many new examples, showing in particular that there are such fibrations attaining the slope $ ν(S) = 2 + 2/3$. We are able to explicitly describe the moduli space of such class of surfaces, and we show the existence of Kodaira fibrations which yield rigid surfaces. We observe an interesting connection between the problem of the slope of Kodaira fibrations and a 'packing' problem for automorphisms of algebraic curves of genus $\geq 2$.
A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose…
Kodaira fibred surfaces are a remarkable example of projective classifying spaces, and there are still many intriguing open questions concerning them, especially the slope question. The topological characterization of Kodaira fibrations is emblematic of the use of topological methods in the study of moduli spaces of surfaces and higher dimensional complex algebraic varieties, and their compactifications. The paper contains some new results but is mostly a survey paper, dealing with fibrations, questions on monodromy and factorizations in the mapping class group, old and new results on Variatio…
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.
In this paper, we will prove subadditivity of Kodaira dimensions for a fibration with possibly singular geometric generic fiber, under certain nefness and relative semi-ampleness conditions. As an application, for a fibration $f: X \to Y$ of a smooth projective threefold over an algebraically closed field of characteristic $p>5$, under the assumption that $Y$ is of general type and non-uniruled, we prove subadditivity of Kodaira dimensions when general fibers are smooth or when $K_{X/Y}$ is relatively big over $Y$.
We study pluricanonical systems on smooth projective varieties of positive Kodaira dimension, following the approach of Hacon-McKernan, Takayama and Tsuji succesfully used in the case of varieties of general type. We prove a uniformity result for the Iitaka fibration of smooth projective varieties of positive Kodaira dimension, provided that the base of the Iitaka fibration is not uniruled, the variation of the fibration is maximal, and the generic fiber has a good minimal model.
We describe explicitly the possible degenerations of a class of double Kodaira fibrations in the moduli space of stable surfaces. Using deformation theory we also show that under some assumptions we get a connected component of the moduli space of stable surfaces.
In this note, we verify that the complex Kodaira dimension $κ^h$ equals the symplectic Kodaira dimension $κ^s$ for smooth 4-manifolds with complex and symplectic structures. We also calculate the Kodaira dimension for many Lefschetz fibrations.
A Kodaira fibration is a compact, complex surface admitting a holomorphic submersion onto a complex curve, such that the fibers have nonconstant moduli. We consider Kodaira fibrations X with nontrivial invariant rational cohomology in degree 1, proving that if the dimension of the holomorphic invariants is 1 or 2, then X admits a branch covering over a product of curves inducing an isomorphism on rational cohomology in degree 1. We also study the class of Kodaira fibrations possessing a holomorphic section, and demonstrate that having a section imposes no restriction on possible monodromies.
Let $f:X\rightarrow Z$ be a separable fibration of relative dimension 1 between smooth projective varieties over an algebraically closed field $k$ of positive characteristic. We prove the subadditivity of Kodaira dimension $κ(X)\geqκ(Z)+κ(F)$, where $F$ is the generic geometric fiber of $f$, and $κ(F)$ is the Kodaira dimension of the normalization of $F$. Moreover, if $\dim X=2$ and $\dim Z=1$, we have a stronger inequality $κ(X)\geq κ(Z)+κ_1(F)$ where $κ_1(F)=κ(F,ω^o_F)$ is the Kodaira dimension of the dualizing sheaf $ω_F^o$.
Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. …
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, using [14], that a smooth projective fibration f : X $\rightarrow$ Y between connected complex quasi-projective manifolds satisfies the equality $κ$(X) = $κ$(X y) + $κ$(Y) of Logarithmic Kodaira dimensions if its fibres X y admit a good minimal model. Without the last assumption, this was conjectured in [11]. Several cases are established in [13], which inspired the present text. Although the present results overlap with those of [13] in the projective case, the approach here is different, based on the r{ô}le played by birationally isotrivial fibrations, special manifolds and the core…
Kodaira fibrations are surfaces of general type with a non-isotrivial fibration, which are differentiable fibre bundles. They are known to have positive signature divisible by $4$. Examples are known only with signature 16 and more. We review approaches to construct examples of low signature which admit two independent fibrations. Special attention is paid to ramified covers of product of curves which we analyse by studying the monodromy action for bundles of punctured curves. As a by-product we obtain a classification of all fix-point-free automorphisms on curves of genus at most $9$.
Being inspired by Ross' construction of unstable products of certain smooth curves, we show that the product $C\times C$ of every smooth curve $C$ of genus at least 2 is not slope semistable with respect to certain polarisations. Besides, we produce examples of Kodaira-fibred surfaces of nonzero signature, which are not slope semistable with respect to some polarisations, and so they admit Kähler classes that do not contain any constant scalar curvature Kähler metrics.
We construct classes of Kähler groups that do not have finite classifying spaces and are not commensurable to subdirect products of surface groups. Each of these groups is the fundamental group of the generic fibre of a holomorphic map from a product of Kodaira fibrations onto an elliptic curve.
The fundamental group $π$ of a Kodaira fibration is, by definition, the extension of a surface group $Π_b$ by another surface group $Π_g$, i.e. \[ 1 \rightarrow Π_g \rightarrow π\rightarrow Π_b \rightarrow 1. \] Conversely, we can inquire about what conditions need to be satisfied by a group of that sort in order to be the fundamental group of a Kodaira fibration. In this short note we collect some restriction on the image of the classifying map $m \colon Π_b \to Γ_g$ in terms of the coinvariant homology of $Π_g$. In particular, we observe that if $π$ is the fundamental group of a Kodaira fibr…
A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the mapping class group of the fiber.
We study some special systems of generators on finite groups, introduced in previous work by the first author and called "diagonal double Kodaira structures", in order to investigate non-abelian, finite quotients of the pure braid group on two strands $\mathsf{P}_2(Σ_b)$, where $Σ_b$ is a closed Riemann surface of genus $b$. In particular, we prove that, if a finite group $G$ admits a diagonal double Kodaira structure, then $|G|\geq 32$, and equality holds if and only if $G$ is extra-special. In the last section, as a geometrical application of our algebraic results, we construct two $3$-dimen…
We study several geometric and group theoretical problems related to Kodaira fibrations, to more general families of Riemann surfaces, and to surface-by-surface groups. First we provide constraints on Kodaira fibrations that fiber in more than two distinct ways, addressing a question by Catanese and Salter about their existence. Then we show that if the fundamental group of a surface bundle over a surface is a ${\rm CAT}(0)$ group, the bundle must have injective monodromy (unless the monodromy has finite image). Finally, given a family of closed Riemann surfaces (of genus $\ge 2$) with injecti…
A D5 elliptic fibration is a fibration whose generic fiber is modeled by the complete intersection of two quadric surfaces in P3. They provide simple examples of elliptic fibrations admitting a rich spectrum of singular fibers (not all on the list of Kodaira) without introducing singularities in the total space of the fibration and therefore avoiding a discussion of their resolutions. We study systematically the fiber geometry of such fibrations using Segre symbols and compute several topological invariants. We present for the first time Sen's (orientifold) limits for D5 elliptic fibrations. T…
As was recently pointed out by McMullen and Taubes [Math. Res. Lett. 6 (1999) 681-696], there are 4-manifolds for which the diffeomorphism group does not act transitively on the deformation classes of orientation-compatible symplectic structures. This note points out some other 4-manifolds with this property which arise as the orientation-reversed versions of certain complex surfaces constructed by Kodaira [J. Analyse Math. 19 (1967) 207-215]. While this construction is arguably simpler than that of McMullen and Taubes, its simplicity comes at a price: the examples exhibited herein all have la…
Moduli spaces of stably irreducible sheaves on Kodaira surfaces belong to the short list of examples of smooth and compact holomorphic symplectic manifolds, and it is not yet known how they fit into the classification of holomorphic symplectic manifolds by deformation type. This paper studies a natural Lagrangian fibration on these moduli spaces to determine that they are not Kähler or simply connected, ruling out most of the known deformation types of holomorphic symplectic manifolds.
In this paper we want to study the non-Kodaira fibres in a smooth equidimensional elliptic threefold. If the morphism to the Weierstrass model of the fibration is crepant, then we can locate the non-Kodaira fibres and give a description of their structure. In particular, they lie over the singular points of the (reduced) discriminant of the fibration and are contraction of a Kodaira fibre, whose type can be predicted using Tate's algorithm.
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…
We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor.
Modifying the notion of numerically trivial foliation of a pseudo-effective line bundle L introduced by the author in math.AG/0304312 it can be shown that the leaves of this foliation have codimension bigger or equal to the numerical dimension of L as defined by Boucksom, Demailly, Paun and Peternell, math.AG/0405285. Furthermore, if the Kodaira dimension of L equals its numerical dimension the Kodaira-Iitaka fibration is its numerically trivial foliation. Both statements together yield a sufficient criterion for L not being abundant.
We prove that for any smooth complex projective threefold of Kodaira dimension one, the $m$-th pluricanonical map is birational to the Iitaka fibration for every $m\geq5868$ and divisible by $12$.
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.
A vector bundle on a smooth projective variety, if it is generically generated by global sections, yields a rational map to a Grassmannian, called Kodaira map. We investigate the asymptotic behaviour of the Kodaira maps for the symmetric powers of a vector bundle, and we show that these maps stabilize to a map dominating all of them, as it happens for a line bundle via the Iitka fibration. Through this Iitaka-type construction, applied to the cotangent bundle, we give a new characterization of Abelian varieties.
In this paper we will prove a uniformity result for the Iitaka fibration $f:X \rightarrow Y$, provided that the generic fiber has a good minimal model and the variation of $f$ is zero or that $κ(X)=\rm{dim}(X)-1$.
Arakelov-Parshin rigidity is concerned with varieties mapping rigidly to the moduli stack M_h of canonically polarized manifolds. Affirmative answer for any class of maps implies finiteness of the given class. This article studies Arakelov-Parshin rigidity on an open subspace of M_h, on the locus KF_h of iterated Kodaira fibrations. First, we prove rigidity for all complete curves mapping finitely onto KF_h. Then, for generic affine curves mapping into KF_h, rigidity is shown when deg h =2. The method used in the latter part is showing that the iterated Kodaira-Spencer map is injective.
We show that the M-canonical map of an n-dimensional complex projective manifold X of Kodaira dimension two is birational to an Iitaka fibration for a computable positive integer M. M depends on the index b of a general fibre F of the Iitaka fibration and on the Betti number of the canonical covering of F, In particular, M is a universal constant if the dimension n is smaller than or equal to 4.
We prove the effectiveness of the log Iitaka fibration in Kodaira codimension two for varieties of dimension$\le 4$. In particular, we finish the proof of effective log Iitaka fibration in dimension two. Also, we show that for the log Iitaka fibration, if the fiber is of dimension two, the denominator of the moduli part is bounded.
We give a Kodaira-type classification of general singular fibers of a holomorphic Lagrangian fibration in Fujiki's class $\mathcal C$. Our approach is based on the study of the characteristic vector field of the discriminantal hypersurface, which naturally arises from the defining equation of the hypersurface via the symplectic form. As an application, we show that the characteristic foliation of the discriminantal hypersurface has algebraic leaves which are either rational curves or smooth elliptic curves.
We classify singular fibres over general points of the discriminant locus of projective complex Lagrangian fibrations on 4-dimensional holomorphic symplectic manifolds. The singular fibre F is the following either one: F is isomorphic to the product of an elliptic curve and a Kodaira singular fibre up to finite unramified covering or F is a normal crossing variety consisting of several copies of a minimal elliptic ruled surface of which the dual graph is Dynkin diagram of type A_n, $\tilde{A_n}$, $\tilde{D_n}$ or D_n.
This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the …
For every smooth complex projective variety $W$ of dimension $d$ and nonnegative Kodaira dimension, we show the existence of a universal constant $m$ depending only on $d$ and two natural invariants of the very general fibres of an Iitaka fibration of $W$ such that the pluricanonical system $|mK_W|$ defines an Iitaka fibration. This is a consequence of a more general result on polarized adjoint divisors. In order to prove these results we develop a generalized theory of pairs, singularities, log canonical thresholds, adjunction, etc.
We prove an analogue of Fujino and Mori's ``bounding the denominators'' in the log canonical bundle formula (see also Prokhorov and Shokurov) for Kawamata log terminal pairs of relative dimension one. As an application we prove that for a klt pair $(X,Δ)$ of Kodaira codimension one and dimension at most three such that the coefficients of $Δ$ are in a DCC set $\mathcal{A}$, there is a natural number $N$ that depends only on $\mathcal{A}$ for which the round down of $\N(K_X+Δ)$ induces the Iitaka fibration. We also prove a birational boundedness result for klt surfaces of general type.
Let $f:X@>>>\Bbb P^1$ be a fibered surface with fibers of genus g>1. If f is semistable and non isotrivial we prove that X of non negative Kodaira dimension implies that the number s of singular fibers is at least 5. Information about the nature of X if s=6,5 and g<6 is given. If f is any relatively minimal fibration we bound by below K_f^2, the bound depending on g and the Kodaira dimension of X, a classification of rational surfaces with minimal K_f^2 is given. Moreover, we prove several properties of positivity for the linear system K_X+F (F a fibre of f). Examples of a K3 surfaces admittin…
Kodaira's classification of singular fibers in elliptic fibrations and its translation into the language of monodromies and Lefschetz fibrations has been a boon to the study of 4-manifolds. In this article, we begin the work of translating between singular fibers of genus 2 families of algebraic curves and the positive Dehn twist factorizations of Lefschetz fibrations for a certain subset of the singularities described by Namikawa and Ueno in the 70s. We look at four families of hypersurface singularities in $\mathbb{C}^3$. Each hypersurface comes equipped with a fibration by genus 2 algebraic…
In this paper we classify the elliptic fibrations on K3 surfaces which are the double cover of a blow up of $\mathbb{P}^2$ branched along rational curves and we give equations for many of these elliptic fibrations. Thus we obtain a classification of the van Geemen--Sarti involutions (which are symplectic involutions induced by a translation by a 2-torsion section on an elliptic fibration) on such a surface. Each van Geemen--Sarti involution induces a 2-isogeny between two K3 surfaces, which is described in this paper.
Bounds on the Mordell-Weil rank of elliptic fibrations
Università di Bologna（博洛尼亚大学）；INFN（意大利国家核物理研究所）；University of Pennsylvania（宾夕法尼亚大学）；Colorado State University（科罗拉多州立大学）；Indian Institute of Science Education and Research, Mohali（印度科学教育与研究学院，穆哈利分校）；University at Buffalo - SUNY（纽约州立大学布法罗分校）；Universität Hamburg（汉堡大学）
We establish a duality within the spectral sequence that governs the holomorphic double fibration transform. It has immediate application to the questions of injectivity and range characterization for this transform. We discuss some key examples and an improved duality that holds in the Hermitian holomorphic case.
We argue that M-theory compactified on an arbitrary genus-one fibration, that is, an elliptic fibration which need not have a section, always has an F-theory limit when the area of the genus-one fiber approaches zero. Such genus-one fibrations can be easily constructed as toric hypersurfaces, and various $SU(5)\times U(1)^n$ and $E_6$ models are presented as examples. To each genus-one fibration one can associate a $τ$-function on the base as well as an $SL(2,\mathbb{Z})$ representation which together define the IIB axio-dilaton and 7-brane content of the theory. The set of genus-one fibration…
