We will use flat divisors, and canonically associated singular holomorphic foliations, to investigate some of the geometry of compact complex manifolds. The paper is mainly concerned with three distinct problems: the existence of fibrations, the topology of smooth hypersurfaces and the topological closure of transcendental leaves of foliations.
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.
We study lc pairs polarized by a nef and log big divisor. After proving the minimal model theory for projective lc pairs polarized by a nef and log big divisor, we prove the effectivity of the Iitaka fibrations and some boundedness results for dlt pairs polarized by a nef and log big divisor.
We give a simple geometric proof of the decomposition theorem in terms of Thom-Whitney stratifications by reduction to fibrations by normal crossings divisors over the strata and explain the relation with the local purity theorem an unpublished result of Deligne and Gabber.
Roughly speaking, by using the semi-stable minimal model program, we prove that the moduli part of an lc-trivial fibration coincides with that of a klt-trivial fibration induced by adjunction after taking a suitable generically finite cover. As an application, we obtain that the moduli part of an lc-trivial fibration is b-nef and abundant by Ambro's result on klt-trivial fibrations.
We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows us to treat $\mathbb{R}$-divisors and proper morphisms possibly with disconnected fibres. We also prove a theorem on extending a finite cover over a closed subvariety to that over a variety in arbitrary characteristic.
The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations.
In this paper we investigate non-rationality of divisors on 3-fold log Fano fibrations $(X,B)\to Z$ under mild conditions. We show that if $D$ is a component of $B$ with coefficient $\ge t>0$ which is contracted to a point on $Z$, then $D$ is birational to $\mathbb{P}^1\times C$ where $C$ is a smooth projective curve with gonality bounded depending only on $t$. Moreover, if $t>\frac{1}{2}$, then genus of $C$ is bounded depending only on $t$.
Using Gauss-Manin derivatives of normal functions, we arrive at some remarkable results on the non-triviality of the transcendental regulator for $K_m$ of a very general projective algebraic manifold. Our strongest results are for the transcendental regulator for $K_1$ of a very general $K3$ surface. We also construct an explicit family of $K_1$ cycles on $H \oplus E_8 \oplus E_8$-polarized $K3$ surfaces, and show they are indecomposable by a direct evaluation of the real regulator. Critical use is made of natural elliptic fibrations, hypersurface normal forms, and an explicit parametrization …
Transcendental Brauer elements are notoriously difficult to compute. Work of Wittenberg, and later, Ieronymou, gives a method for computing 2-torsion transcendental classes on surfaces that have a genus 1 fibration with rational 2-torsion in the Jacobian fibration. We use ideas from a descent paper of Poonen and Schaefer to remove this assumption on the rational 2-torsion.
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(西交利物浦大学数学科学系)
In this paper we are interested in the isotopy classes of symplectic log Calabi-Yau divisors in a fixed symplectic rational surface. We give several equivalent definitions and prove the stability, finiteness and rigidity results. Motivated by the problem of counting toric actions, we obtain a general counting formula of symplectic log Calabi-Yau divisors in a restrictive region of $c_1$-nef cone. A detailed count in the case of 2- and 3-point blow-ups of complex projective space for all symplectic forms is also given. In our framework the complexity of the combinatorics of analyzing Delzant po…
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$.
Let X be a smooth, complex Fano variety. For every prime divisor D in X, we set c(D):=dim ker(r:H^2(X,R)->H^2(D,R)), where r is the natural restriction map, and we define an invariant of X as c_X:=max{c(D)|D is a prime divisor in X}. In a previous paper we showed that c_X<9, and that if c_X>2, then either X is a product, or X has a flat fibration in Del Pezzo surfaces. In this paper we study the case c_X=2. We show that up to a birational modification given by a sequence of flips, X has a conic bundle structure, or an equidimensional fibration in Del Pezzo surfaces. We also show a weaker prope…
Given a complex projective manifold $X$ and a divisor $D$ with normal crossings, we say that the logarithmic tangent bundle $T_X(-\log D)$ is R-flat if its pull-back to the normalization of any rational curve contained in $X$ is the trivial vector bundle. If moreover $-(K_X+D)$ is nef, then the log canonical divisor $K_X+D$ is torsion and the maximally rationally chain connected fibration turns out to be a smooth locally trivial fibration with typical fiber $F$ being a toric variety with boundary divisor $D_{|F}$.
Given a generic $K3$ surface $Y_k$ of the Apéry-Fermi pencil, we use the Kneser-Nishiyama technique to determine all its non isomorphic elliptic fibrations. These computations lead to determine those fibrations with 2-torsion sections T. We classify the fibrations such that the translation by T gives a Shioda-Inose structure. The other fibrations correspond to a K3 surface identified by it transcendental lattice. The same problem is solved for a singular member $Y_2$ of the family showing the differences with the generic case. In conclusion we put our results in the context of relations betwee…
We study linear functions on fibrations whose central fibre is a linear free divisor. We analyse the Gauss-Manin system associated to these functions, and prove the existence of a primitive and homogenous form. As a consequence, we show that the base space of the semi-universal unfolding of such a function carries a Frobenius manifold structure.
Let $f \colon (X,Δ) \to Y$ be a fibration such that $K_X + Δ$ is torsion along the fibres of $f$. Assume that $Y$ has dimension 2, or that $Y$ has dimension 3 and the fibres have dimension at most 3. Then the restriction of the moduli part to its augmented base locus is semiample.
Let $X$ be a general divisor in $|3M+nL|$ on the rational scroll $\mathrm{Proj}(\oplus_{i=1}^{4}\mathcal{O}_{\mathbb{P}^{1}}(d_{i}))$, where $d_{i}$ and $n$ are integers, $M$ is the tautological line bundle, $L$ is a fibre of the natural projection to $\mathbb{P}^{1}$, and $d_{1}\geqslant...\geqslant d_{4}=0$. We prove that $X$ is rational $\iff$ $d_{1}=0$ and $n=1$.
In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors and cutting a facet of the pseudo-effective cone $\Eff(X)$, that is $\Nef(X)\cap\partial\overline{\Eff}(X)\neq\{0\}$. In particular this means that $X$ admits non-trivial and non-big numerically effective divisors. Geometrically this guarantees the existence of a fiber type contraction morphism over a smooth toric variety of dimension and Picard number lowe…
A known conjecture of Grinenko in birational geometry asserts that a Mori fibre space with the structure of del Pezzo fibration of low degree is birationally rigid if and only if its anticanonical class is an interior point in the cone of mobile divisors. The conjecture is proved to be true for smooth models (with a generality assumption for degree 3). It is speculated that the conjecture holds for, at least, Gorenstein models in degree 1 and 2. In this article, I present a (Gorenstein) counterexample in degree 2 to this conjecture.
We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by $p-1$. We deduce many consequences about the fibrations of the minimal model program: for example the general fibers of terminal $3$-fold Mori fiber spaces are normal in characteristic $p\geq 5$ and smooth in characteristic $p\geq 11$.
In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi-Fano type), especially the canonical fibrations associated to them. We show that: 1. the Albanese map for such variety is a locally constant fibration (that is, an analytic fibre bundle with connected fibres that $X$ is equal to the product of the universal cover of the Albanese torus by the fibre of the Albanese map quotient by a diagonal action of the fundamenatl group of the Albanese torus); 2. if the smooth locus is simply connected, the MRC fibration of …
Let $f: \mathbb{C} \to X$ be a transcendental holomorphic curve into a complex projective manifold $X$. Let $L$ be a very ample line bundle on $X$. Let $s$ be a very generic holomorphic section of $L$ and $D$ the zero divisor given by $s$. We prove that the \emph{geometric} defect of $D$ (defect of truncation $1$) with respect to $f$ is zero. We also prove that $f$ almost misses general enough analytic subsets on $X$ of codimension $2$.
We study the geometry of elliptic fibrations satisfying the conditions of Step 8 of Tate's algorithm. We call such geometries F$_4$-models, as the dual graph of their special fiber is the twisted affine Dynkin diagram $\widetilde{\text{F}}_4^t$. These geometries are used in string theory to model gauge theories with the exceptional Lie group F$_4$ on a smooth divisor $S$ of the base. Starting with a singular Weierstrass model of an F$_4$-model, we present a crepant resolution of its singularities. We study the fiber structure of this smooth elliptic fibration and identify the fibral divisors u…
We study the geometry of elliptic fibrations satisfying the conditions of Step 2 of Tate's algorithm with a discriminant of valuation 4. We call such geometries USp(4)-models, as the dual graph of their special fiber is the twisted affine Dynkin diagram of type C$_2$. These geometries are used in string theory to model gauge theories with the non-simply-laced Lie group USp(4) on a smooth divisor S of the base. Starting with a singular Weierstrass model of a USp(4)-model, we present a crepant resolution of its singularities. We study the fiber structure of this smooth elliptic fibration and ide…
We briefly review the formal picture in which a Calabi-Yau $n$-fold is the complex analogue of an oriented real $n$-manifold, and a Fano with a fixed smooth anticanonical divisor is the analogue of a manifold with boundary, motivating a holomorphic Casson invariant counting bundles on a Calabi-Yau 3-fold. We develop the deformation theory necessary to obtain the virtual moduli cycles of \cite{LT}, \cite{BF} in moduli spaces of stable sheaves whose higher obstruction groups vanish. This gives, for instance, virtual moduli cycles in Hilbert schemes of curves in $\Pee^3$, and Donaldson-- and Grom…
Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and henc…