In this paper, we proved that a log smooth family of log general type klt pairs with a special (in the sense of Campana) quasi-projective base is isotrivial. As a consequence, we proved the generalized Kebekus-Kovács conjecture \cite[Conjecture 1.1]{WW19}, for smooth families of general type varieties as well as log smooth families of log canonical pairs of log general type, assuming the existence of relative good minimal models.
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.
In this paper we prove that a smooth family of canonically polarized manifolds parametrized by a special (in the sense of Campana) quasi-projective variety is isotrivial.
We study non-isotrivial projective families of elliptic surfaces of Kodaira dimension one, over complex projective curves. If the base is an elliptic curve, we show that the family must have a singular fibre, and that over the projective line it must have at least three singular fibres. Similar results, for families of surfaces of general type, have been obtained by Migliorini and Kovács, and they are well-known for projective families of surfaces of Kodaira dimension zero. Revised version: We corrected some minor errors and ambiguities, and we completed the list of references.
Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-a…
Let $K=k(C)$ be the function field of a smooth projective curve $C$ over an infinite field $k$, let $X$ be a projective variety over $k$. We prove two results. First, we show with some conditions that a $K$-morphism $ϕ: X_K \to X_K$ of degree at least two is isotrivial if and only if $ϕ$ has potential good reduction at all places $v$ of $K$. Second, let $(X,ϕ), (Y,ψ)$ be dynamical systems where $X,Y$ are defined over $k$ and $g:X_{K} \to Y_{K}$ a dominant $K$-morphism, such that $g \circ ϕ= ψ\circ g$. We show under certain conditions that if $ϕ$ is defined over $k$, then $ψ$ is defined over $k…
In this paper, we prove the Kobayashi hyperbolicity of the coarse moduli spaces of canonically polarized or polarized Calabi-Yau manifolds in the sense of complex $V$-spaces (a generalization of complex $V$-manifolds in the sense of Satake). As an application, we prove the following hyperbolic version of Campana's isotriviality conjecture: for the smooth family of canonically polarized or polarized Calabi-Yau manifolds, when the Kobayashi pseudo-distance of the base vanishes identically, the family must be isotrivial, that is, any two fibers are isomorphic. We also prove that for the smooth pr…
We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $ϕ: U \to Y$. A special case is the following result. Call a morphism $ϕ: X \to Y$ a "fibration with fiber $F$" if $ϕ$ is flat and all fibers are (reduced and) isomorphic to $F$. Then an affine fibration with fiber $F$ admits an etale dominant morphism $μ: U \to Y$ such that the pull-back is a trivial fiber bundle: $U\times_Y X \simeq U\times F$. As an application we give short proofs of the …
We show the isotriviality of families of simply-connected hyperk\" ahler manifolds without algebraic factor, and general tori,provided the total space of the family is compact K\" ahler.
The family of varieties of minimal rational tangents on a quasi-homogeneous projective manifold is isotrivial. Conversely, are projective manifolds with isotrivial varieties of minimal rational tangents quasi-homogenous? We will show that this is not true in general, even when the projective manifold has Picard number 1. In fact, an isotrivial family of varieties of minimal rational tangents needs not be locally flat in differential geometric sense. This leads to the question for which projective variety Z, the Z-isotriviality of varieties of minimal rational tangents implies local flatness. O…
For a smooth family $V \to U$ of polarized manifolds with semi-ample canonical sheaves, we show the following result: any entire curve must be contained in the fibers of the classifying map from the base space $U$ to the moduli space. This settles the Relative Isotriviality Conjecture, \cite[Conjecture 1.5]{DLSZ}.
The goal of this paper is to define families of toric varieties and to study their properties. These families are locally trivial fibrations over some base, whose fibres are isomorphic to a fixed complete toric variety. The study is motivated by the occurence of such families in the context of gauged sigma models for toric varieties.
We show that the Picard rank is constant in families of Fano varieties (in arbitrary characteristic) and we moreover investigate the constancy of the index.
Under the condition that the Prym map is injective in characteristic $p$, we prove that the special subvarieties in the moduli space of abelian varieties of dimension $l$ and polarization type $D$, $A_{l,D}$, arising from families of abelian covers of $¶^1$ are of a very restrictive nature. In other words, if the family is one-dimensional or if it contains an eigenspace of certain type for the group action on the cohomology of fibers, then the Shimura varieties arising from such families can only be constructed by the group action of the family.
We discuss Hironaka's theorem on resolution of singularities in charactetistic 0 as well as more recent progress, both on simplifying and improving Hironaka's method of proof and on new results and directions on families of varieties, leading to joint work on toroidal orbifolds with Michael Temkin and Jarosław Włodarczyk.
We study families of rational curves on certain irreducible holomorphic symplectic varieties. In particular, we prove that any ample linear system on a projective holomorphic symplectic variety of K3[n]-type contains a uniruled divisor. As an application we provide a generalization of the Beauville-Voisin result on the Chow group of 0-cycles on such varieties.
Batyrev (et. al.) constructed a family of Calabi-Yau varieties using small toric degenerations of the full flag variety G/B. They conjecture this family to be mirror to generic anti-canonical hypersurfaces in G/B. Recently Alexeev and Brion, as a part of their work on toric degenerations of spherical varieties, have constructed many degenerations of G/B. For any such degeneration we construct a family of varieties, which we prove coincides with Batyrev's in the small case. We prove that any two such families are birational, thus proving that mirror families are independent of the choice of deg…
The Losev-Manin moduli space parametrizes pointed chains of projective lines. In this paper we study a possible generalization to families of pointed degenerate toric varieties. Geometric properties of these families, such as flatness and reducedness of the fibers, are explored via a combinatorial characterization. We show that such families are described by a specific type of polytope fibration which generalizes the twisted Cayley sums, originally introduced to characterize elementary extremal contractions of fiber type associated to projective $\mathbb{Q}$-factorial toric varieties with posi…
Given a fixed product of non-isogenous abelian varieties at least one of which is general, we show how to construct complete families of indecomposable abelian varieties whose very general fiber is isogenous to the given product and whose connected monodromy group is a product of symplectic groups or is a unitary group. As a consequence, we show how to realize any product of symplectic groups of total rank $g$ as the connected monodromy group of a complete family of $g'$-dimensional abelian varieties for any $g'\ge g$. These methods also yield a construction of a new Kodaira fibration with fib…
In this paper we study the singularities of the invariant metric of the Poincaré bundle over a family of abelian varieties and their duals over a base of arbitrary dimension. As an application of this study we prove the effectiveness of the height jump divisors for families of pointed abelian varieties. The effectiveness of the height jump divisor was conjectured by Hain in the more general case of variations of polarized Hodge structures of weight $-1$.
We study the monodromies and the limit mixed Hodge structures of families of complete intersection varieties over a punctured disk in the complex plane. For this purpose, we express their motivic nearby fibers in terms of the geometric data of some Newton polyhedra. In particular, the limit mixed Hodge numbers and some part of the Jordan normal forms of the monodromies of such a family will be described very explicitly.
Let $\mathscr{X}\to W$ be a flat family of generically irreducible hypersurfaces of degree $d\geq 2$ in $\PP^n$ with singular locus of dimension $t$, with $W$ unirational of dimension $r$. We prove that if $n$ is large enough with respect to $d$, $r$ and $t$, then $\mathscr{X}$ is unirational. This extends results in \cite {Pre, HMP}.
Determining the number of singular fibers in a family of varieties over a curve is a generalization of Shafarevich's Conjecture and has implications for the types of subvarieties that can appear in the corresponding moduli stack. We consider families of log canonically polarized varieties over $¶^1$, i.e. families $g:(Y,D)\to ¶^1$ where $D$ is an effective snc divisor and the sheaf $ω_{Y/¶^1}(D)$ is $g$-ample. After first defining what it means for fibers of such a family to be singular, we show that with the addition of certain mild hypotheses (the fibers have finite automorphism group, $\sO_…
We study invariant divisors on the total spaces of the homogeneous deformations of rational complexity-one T-varieties constructed by Ilten and Vollmert. In particular, we identify a natural subgroup of the Picard group for any general fiber of such a deformation, which is canonically isomorphic to the Picard group of the special fiber. This isomorphism preserves Euler characteristic, intersection numbers, and the canonical class.
We construct one-parameter complex analytic families whose special fibers are complete toric varieties. Under some assumptions, the general fibers of these families also become toric varieties and we can explicitly describe the corresponding fans from the data of the fans corresponding to the special fibers. Using these families, we give a deformation family for a certain toric weakened Fano 3-fold. Moreover, we get some examples of toric weakened Fano 4-folds.
This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of …
Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture
Université de Strasbourg（斯特拉斯堡大学）；Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）；Saitama University（埼玉大学）；Universität Bielefeld（比勒费尔德大学）
We construct several new families of Fano varieties of K3 type. We give a geometrical explanation of the K3 structure and we link some of them to projective families of irreducible holomorphic symplectic manifolds.
Let f: X -> Y be a smooth family of canonically polarized complex varieties over a smooth base. Generalizing the classical Shafarevich hyperbolicity conjecture, Viehweg conjectured that Y is necessarily of log general type if the family has maximal variation. A somewhat stronger and more precise version of Viehweg's conjecture was shown by the authors in arXiv:math/0511378 in the case where Y is a quasi-projective surface. Assuming that the minimal model program holds, this very short paper proves the same result for projective base manifolds Y of arbitrary dimension.
Shafarevich's hyperbolicity conjecture asserts that a family of curves over a quasi-projective 1-dimensional base is isotrivial unless the logarithmic Kodaira dimension of the base is positive. More generally it has been conjectured by Viehweg that the base of a smooth family of canonically polarized varieties is of log general type if the family is of maximal variation. In this paper, we relate the variation of a family to the logarithmic Kodaira dimension of the base and give an affirmative answer to Viehweg's conjecture for families parametrized by surfaces.
The Poincaré torsor of a Shimura family of abelian varieties can be viewed both as a family of semi-abelian varieties and as a mixed Shimura variety. We show that the special subvarieties of the latter cannot all be described in terms of the group subschemes of the former. This provides a counter-example to the relative Manin-Mumford conjecture, but also some evidence in favour of Pink's conjecture on unlikely intersections in mixed Shimura varieties. The main part of the article concerns mixed Hodge structures and the uniformization of the Poincaré torsor, but other, more geometric, approache…
We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties.
Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomology for function fields over an algebraically closed field.
A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with $\mathbb{Z}_2$ coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope $Δ$ there are families of hypersurfaces with the Newton polytopes $(λΔ)_{λ\in \mathbb{N}}$ that are asymptotically maximal when $λ$ tends to infinity. We also show that these results ge…
These are notes from talks of the authors on some explicit examples of families of Calabi-Yau threefolds which are parametrised by a Shimura variety. We briefly review the periods of Calabi-Yau threefolds and we discuss a recent result on Picard-Fuchs equations for threefolds which are hypersurfaces with many automorphisms. Next various examples of families parametrised by Shimura varieties are given. Most of these are due to J.C. Rohde. The examples with an automorphism of order three are given in some detail. We recall that such families do not have maximally unipotent monodromy and that the…
A theory of simultaneous resolution of singularities for families of embedded varieties (over a field of characteristic zero) parametrized by the spectrum of a suitable artinian ring, and compatible with a given algorithm of resolution, is presented. As usually, this a simple consequence of a similar theory for analogous families of basic objects, to which the main portion of this article is devoted.
We provide a sufficient condition for a general hypersurface in a $\mathbb Q$-Fano toric variety to be a Calabi-Yau variety in terms of its Newton polytope. Moreover, we define a generalization of the Berglund-Hübsch-Krawitz construction in case the ambient is a $\mathbb Q$-Fano toric variety with torsion free class group and the defining polynomial is not necessarily of Delsarte type. Finally, we introduce a duality between families of Calabi-Yau hypersurfaces which includes both Batyrev and Berglund-Hübsch-Krawitz mirror constructions. This is given in terms of a polar duality between pairs …
It is well known that the category of quasi-coherent sheaves on a gerbe banded by a diagonalizable group decomposes according to the characters of the group. We establish the corresponding decomposition of the unbounded derived category of complexes of sheaves with quasi-coherent cohomology. This generalizes earlier work by Lieblich for gerbes over schemes whereas our gerbes may live over arbitrary algebraic stacks. By combining this decomposition with the semi-orthogonal decomposition for a projectivized vector bundle, we deduce a semi-orthogonal decomposition of the derived category of a fam…
We show that if a family of complex varieties over a base B admits a section when restricted to a very general curve in B, then the family must contain a subfamily of rationally connected varieties dominating B. As an application, we deduce the existence of one parameter families of Enriques surfaces with no section.
We discuss recent developments in the study of semiorthogonal decompositions of algebraic varieties with an emphasis on their behaviour in families. First, we overview new results concerning homological projective duality. Then we introduce residual categories, discuss their relation to small quantum cohomology, and compute Serre dimensions of residual categories of complete intersections. After that we define simultaneous resolutions of singularities and describe a construction that works in particular for nodal degenerations of even-dimensional varieties. Finally, we introduce the concept of…
This is a continuation of a series of papers studying the birational Mori fiber structures of anticanonically embedded $\mathbb{Q}$-Fano $3$-fold weighted complete intersections of codimension $2$. We have proved that $19$ families consists of birationally rigid varieties and $14$ families consists of birationally birigid varieties. The aim of this paper is to continue the work systematically and prove that, among the remaining $52$ families, $21$ families consist of birationally birigid varieties.
We give a general criterion for two toric varieties to appear as fibers in a flat family over the projective line. We apply this to show that certain birational transformations mapping a Laurent polynomial to another Laurent polynomial correspond to deformations between the associated toric varieties.
In his work on deformation quantization of algebraic varieties Kontsevich introduced the notion of algebroid as a certain generalization of a sheaf of algebras. We construct algebroids which are given locally by NC-smooth thickenings in the sense of Kapranov, over two classes of smooth varieties: the bases of miniversal families of vector bundles on projective curves, and the bases of miniversal families of quiver representations.
In this paper we show that an affine space is determined by the abstract group structure of its group of regular automorphisms in the category of connected affine varieties. To prove this we study commutative subgroups of the group of automorphisms of affine varieties.
We prove that under some conditions on the monodromy, families of abelian covers of the projective line do not give rise to (higher dimensional) Shimura subvarieties in $A_g$. This is achieved by a reduction to $p$ argument. We also use another method based on monodromy computations to show that two dimensional subvarieties in the above locus are not special. In particular it is shown that such families have usually large monodromy groups. Together with our earlier results, the above mentioned results contribute to classifying the special families in the moduli space of abelian varieties and p…
In this note, we give two applications of \cite[Theorem 3.1]{Hwang}. We first study the free family $\mathcal{K}$ of hyperplane sections of the smooth hypersurface $X\subset\mathbb{P}^{n+1}$ of degree $d\ge 3$. We prove that $X$ is determined by the free family $\mathcal{K}$ if $\dim(X)\ge 4$. As an application, we deduce that for $n\ge 4$, the hyperplane section of $X$ varies maximally in the moduli space of the smooth hypersurface of degree $d\ge 3$ in $\mathbb{P}^n$. We then study the free family of hyperplane sections of the smooth projective surface $X$ with Kodaira dimension $κ(X)\ge 0$.…
We develop a novel theory of one-parameter families of multi-view varieties. These families are induced by quotient lattices over discrete valuation rings and generalise the notion of \textit{Mustafin varieties}. We study the geometry and the combinatorics of the limit of these families.
