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 admitting a semistable fibration with s=6 and g=3 and of a surface of general type admitting a semistable fibration with s=7 and g=4 are provided.
We give a systematic method for computation of Beilinson's regulator map on K_1 of a fibration of curves which has a totally degenerate semistable fiber.
This paper has been withdrawn. A completely rewritten new version will be soon submitted. In order to obtain the inequality $6(g-1) \le K_f^2$ some additional conditions must be imposed on the fibration, involving the number on certain exceptional curves.
We study the $E_1$-degeneration of the logarithmic Hodge to de Rham spectral sequence of the special fiber of a semistable family over a discrete valuation ring. On the one hand, we prove that the $E_1$-degeneration property is invariant under admissible blow-ups. Assuming functorial resolution of singularities over $\mathbb{Z}$, this implies that the $E_1$-degeneration property depends only on the generic fiber. On the other hand, we show by explicit examples that the decomposability of the logarithmic de Rham complex is not invariant under admissible blow-ups, which answer negatively an open…
Given any field $k$ (not necessarily perfect), we study the smoothing of a semistable Fano variety over $k$. In characteristic 0, the reduced semistable Fano degenerate fibers of Mori fibrations are classified. In positive characteristic, under a suitable $W_2$ lifting assumption, we prove that a semistable Fano variety always appears as a degenerate fiber in a semistable family if it has a global log structure (in the sense of Fontaine-Illusie-Kato) of semistable type. A similar smoothing result over a mixed characteristic base is also obtained.
Consider a family of Fano varieties $π: X \longrightarrow B\ni o$ over a curve germ with a smooth total space $X$. Assume that the generic fiber is smooth and the special fiber $F=π^{-1}(o)$ has simple normal crossings. Then $F$ is called a semistable degeneration of Fano varieties. We show that the dual complex of $F$ is a simplex of dimension $\leq \mathrm{dim}\ F$. Simplices of any admissible dimension can be realized for any dimension of the fiber. Using this result and the Minimal Model Program in dimension $3$ we reproduce the classification of the semistable degenerations of del Pezzo s…
In this paper, we shall prove Beauville's conjecture: if $f:S \to P^1$ is a non-trivial semistable fibration of genus g>1, then $f$ admits at least 5 singular fibers. We have also constructed an example of genus 2 with 5 singular fibers. This paper will appear in the Journal of Algebraic Geometry.
In this work we describe a construction of semistable fibrations over an elliptic curve with one unique singular fibre and we give effective examples using monodromy of curves.
We study Mori fiber spaces over a two-dimensional base which satisfy the semistability assumption. As an application of our technique we give a new proof of the existence of semistable 3-fold flips.
Let $X\rightarrow C$ be a totally real semistable degeneration over a smooth real curve $C$ with degenerate fiber $X_0$. Assuming that the irreducible components of $X_0$ are simple from a cohomological point of view, we give a bound for the individual Betti numbers of a real smooth fiber near $0$ in terms of the complex geometry of the degeneration. This generalizes previous work of Renaudineau-Shaw, obtained via combinatorial techniques, for tropical degenerations of hypersurfaces in smooth toric varieties. The main new ingredient is the use of real logarithmic geometry, which allows to work…
We construct a new infinite series of irreducible components of the Gieseker-Maruyama moduli scheme $\mathcal{M}(k), ~ k \geq 3$ of coherent semistable rank 2 sheaves with Chern classes $c_1=0,~ c_2=k,~ c_3=0$ on $\mathbb{P}^3$ whose general points are sheaves with singularities of mixed dimension. These sheaves are constructed by elementary transformations of stable and properly $μ$-semistable reflexive sheaves along disjoint union of collections of points and smooth irreducible curves which are rational or complete intersection curves. As a special member of this series we obtain a new compo…
Let S be a torsion section of an elliptic surface with only I_n fibers. This article addresses the question: which components of singular fibers can S pass through? We give necessary criteria for the "component numbers", and show an equidistribution result for torsion sections of prime order.
We describe new irreducible components of the Gieseker-Maruyama moduli scheme $\mathcal{M}(3)$ of semistable rank 2 coherent sheaves with Chern classes $c_1=0,\ c_2=3,\ c_3=0$ on $\mathbb{P}^3$, general points of which correspond to sheaves whose singular loci contain components of dimensions both 0 and 1. These sheaves are produced by elementary transformations of stable reflexive rank 2 sheaves with $c_1=0,\ c_2=2,\ c_3=2$ or 4 along a disjoint union of a projective line and a collection of points in $\mathbb{P}^3$. The constructed families of sheaves provide first examples of irreducible co…
In this paper we prove a comparison theorem between the category of certain modules with integrable connection on the complement of a normal crossing divisor of the generic fiber of a proper semistable variety over a DVR and the category of certain log overconvergent isocystrals on the special fiber of the same open.
The modular invariants of a family of semistable curves are the degrees of the corresponding divisors on the image of the moduli map. The singularity indices were introduced by G. Xiao to classify singular fibers of hyperelliptic fibrations and to compute global invariants locally. In the semistable case, we show that the modular invariants corresponding with the boundary classes are just the singularity indices. As an application, we show that the formula of Xiao for relative Chern numbers is the same as that of Cornalba-Harris in the semistable case.
Studying degenerations of moduli spaces of semistable principal bundles on smooth curves leads to the problem of constructing and studying moduli spaces on singular curves. In this note, we will see that the moduli spaces of $δ$-semistable pseudo bundles on a nodal curve constructed by the first author become, for large values of $δ$, the moduli spaces for semistable singular principal bundles. The latter are reasonable candidates for degenerations and a potential basis of further developments as on irreducible nodal curves. In particular, we find a notion of semistability for principal bundle…
Given a Mumford curve $X$ over $\bar{\mathbb Q_p}$, we show that for every semistable model $\mathcal X$ of $X$ and every closed point $x$ of this semistable model, there exists a finite étale cover $Y$ of $X$ such that every semistable model of $Y$ has a vertical component above $X$. We then give applications of this to the tempered fundamental group. In particular, we prove that two punctured Tate curves $\bar{\mathbb Q_p}$ with isomorphic tempered fundamental groups are isomorphic over $\mathbb Q_p$.
This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully faithful algebraization functor from the category of certain log overconvergent isocrystals on the special fiber to the category of modules with regular integrable connection on the generic fiber. In this paper, we prove that, with convenable hypothesis, this functor is a tensor functor whose essential image is closed under extensions and subquotients. As a consequ…
We construct a compactification of the universal moduli space of semistable principal $G$-bundles over $\overline{\textrm{M}}_{g}$, the fibers of which over singular curves are the moduli spaces of $δ$-semistable singular principal G-bundles.
We investigate degenerations of syzygy bundles on plane curves over $p$-adic fields. We use Mustafin varieties which are degenerations of projective spaces to find a large family of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamen…
Let $k $ be the algebraic closure of a finite field of odd characteristic $p$ and $X$ a smooth projective scheme over the Witt ring $W(k)$ which is geometrically connected in characteristic zero. We introduce the notion of Higgs-de Rham flow and prove that the category of periodic Higgs-de Rham flows over $X/W(k)$ is equivalent to the category of Fontaine modules, hence further equivalent to the category of crystalline representations of the étale fundamental group $π_1(X_K)$ of the generic fiber of $X$, after Fontaine-Laffaille and Faltings. Moreover, we prove that every semistable Higgs bund…
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli spaces of semistable sheaves on the curve. For rank zero, the moduli spaces are symmetric powers of the curve whilst for a fixed positive rank there are only a finite number of non-isomorphic spaces. We prove similar results for the relative semistable moduli spaces on an arbitrary genus one fibration with no conditions either on the base or on the total sp…
This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then the families are equivalent to morphisms of curves into M. In order to have complete moduli for such families, one needs to compactify the stack of stable maps into M. It turns out that in the boundary, the curve must acquire extra structure and you'd better read the paper to see what that structure is. Applications to fibered surfaces (see math.AG/9804097), a…
We give a criterion for the good reduction of semistable $K3$ surfaces over $p$-adic fields using purely $p$-adic methods. We use neither $p$-adic Hodge theory nor transcendental methods as in the analogous proofs of criteria for good reduction of curves or $K3$ surfaces. We achieve our goal by realizing the special fiber $X_s$ of a semistable model $X$ of a $K3$ surface over the $p$-adic field $K$, $X_K$ as a special fiber of a log-family in characteristic $p$ and use an arithmetic version of the Clemens-Schimd exact sequence in order to obtain a Kulikov-Persson-Pinkham classification theorem…
We prove that if $X$ and $S$ are smooth varieties and $f\colon X\to S$ is an elliptic fibration with singular fibers curves of types I$_N$ with $N\geq 1$, II, III and IV, then the relative Jacobian $\hat{f}\colon \bar{M}_{X/S}\to S$ of $f$, defined as the relative moduli space of semistable pure dimension one sheaves of rank 1 and degree 0 on the fibers of $f$, is an elliptic fibration such that all its fibers are irreducible. This extends known results when fibers are integral or of type I$_2$.
On a Weierstraß elliptic surface $X$, we define a `limit' of Bridgeland stability conditions, denoted as $Z^l$-stability, by moving the polarisation towards the fiber direction in the ample cone while keeping the volume of the polarisation fixed. We describe conditions under which a slope stable torsion-free sheaf is taken by a Fourier-Mukai transform to a $Z^l$-stable object, and describe a modification upon which a $Z^l$-semistable object is taken by the inverse Fourier-Mukai transform to a slope semistable torsion-free sheaf. We also study wall-crossing for Bridgeland stability, and show th…
This paper studies deformations and birational maps between singular moduli spaces of semistable sheaves with 2-divisible Mukai vectors on K3 surfaces. It is showed that under certain conditions, two such moduli spaces of the same dimension can be connected by deformations and birational maps.
Let $X$ be a geometrically irreducible smooth projective curve defined over a field $k$. Assume that $X$ has a $k$-rational point; fix a $k$-rational point $x\in X$. From these data we construct an affine group scheme ${\mathcal G}_X$ defined over the field $k$ as well as a principal ${\mathcal G}_X$-bundle $E_{{\mathcal G}_X}$ over the curve $X$. The group scheme ${\mathcal G}_X$ is given by a ${\mathbb Q}$--graded neutral Tannakian category built out of all strongly semistable vector bundles over $X$. The principal bundle $E_{{\mathcal G}_X}$ is tautological. Let $G$ be a linear algebraic gr…
Sheaves on non-reduced curves can appear in moduli space of 1-dimensional semistable sheaves over a surface, and moduli space of Higgs bundles as well. We estimate the dimension of the stack $\mathbf{M}_{X}(nC,χ)$ of pure sheaves supported at the non-reduced curve $nC~(n\geq 2)$ with $C$ an integral curve on $X$. We prove that the Hilbert-Chow morphism $h_{L,χ}:\mathcal{M}^H_X(L,χ)\rightarrow |L|$ sending each semistable 1-dimensional sheaf to its support have all its fibers of the same dimension for $X$ Fano or with trivial canonical line bundle and $|L|$ contains integral curves.
In a family of curves, the Chern numbers of a singular fiber are the local contributions to the Chern numbers of the total space. We will give some inequalities between the Chern numbers of a singular fiber as well as their lower and upper bounds. We introduce the dual fiber of a singular fiber, and prove a duality theorem. As an application, we will classify singular fibers with large or small Chern numbers.
In part I of this paper we constructed certain fibered Calabi-Yaus by a quotient construction in the context of weighted hypersurfaces. In this paper look at the case of K3 fibrations more closely and study the singular fibers which occur. This differs from previous work since the fibrations we discuss have constant modulus, and the singular fibers have torsion monodromy.
We prove the existence of log canonical modifications for a log pair. As an application, together with Kollär's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized varieties can only have semi-log-canonical singularities.
Let $π:X\rightarrow\mathbb{P}^n$ be a (holomorphic) Lagrangian fibration that is very general in the moduli space of Lagrangian fibrations. We conjecture that the singular fibres in codimension one must be semistable degenerations of abelian varieties. We prove a partial result towards this conjecture, and describe an example that provides further evidence.
Moduli spaces of semistable sheaves on a K3 or abelian surface with respect to a general ample divisor are shown to be locally factorial, with the exception of symmetric products of a K3 or abelian surface and the class of moduli spaces found by O'Grady. Consequently, since singular moduli space that do not belong to these exceptional cases have singularities in codimension $\geq4$ they do no admit projective symplectic resolutions.
We compute the motivic Milnor fiber of a complex plane curve singularity in an inductive and combinatoric way using the extended simplified resolution graph. The method introduced in this article has a consequence that one can study the Hodge-Steenbrink spectrum of such a singularity in terms of that of a quasi-homogeneous singularity.
We analyze and completely describe the four cases when the Hitchin fibration on a $2$-dimensional moduli space of irregular Higgs bundles over $\mathbb{C}P^{1}$ has a single singular fiber. The case when the fiber at infinity is of type $I_0^*$ is further analyzed, and we give constructions of all the possible configurations of singular curves inelliptic fibrations having this type of singular fiber at infinity.
We give in this work an explicit combinatorial algorithm for the description of the Milnor fiber of a Newton non degenerate surface singularity as a graph manifold. This is based on a previous work by the author describing a general method for the computation of the boundary of the Milnor fiber of any reduced non isolated singularity of complex surface.
To each variety $X$ and a nonnegative integer $m$, there is a space $X_m$ over $X$, called the jet scheme of $X$ of order $m$, parametrizing $m$-th jets on $X$. Its fiber over a singular point of $X$ is called a singular fiber. For a surface with a rational double point, Mourtada gave a one-to-one correspondence between the irreducible components of the singular fiber of $X_m$ and the exceptional curves of the minimal resolution of $X$ for $m \gg 0$. In this paper, for a surface $X$ over complex number with a singularity of $A_n$ or $D_4$-type, we study the intersections of irreducible compone…
We prove the "Gluing Conjecture" on the spectral side of the categorical geometric Langlands correspondence. The key tool is the structure of crystal on the category of singularities, which allows to reduce the conjecture to the question of homological triviality of certain homotopy types. These homotopy types are obtained by gluing from a global version of Springer fibers.
We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model.
Let $f:\,X \to \mathbb{P}^1$ be a non-isotrivial semi-stable family of varieties of dimension $m$ over $\mathbb{P}^1$ with $s$ singular fibers. Assume that the smooth fibers $F$ are minimal, i.e., their canonical line bundles are semiample. Then $κ(X)\leq κ(F)+1$. If $κ(X)=κ(F)+1$, then $s>\frac{4}m+2$. If $κ(X)\geq 0$, then $s\geq\frac{4}m+2$. In particular, if $m=1$, $s=6$ and $κ(X)=0$, then the family $f$ is Teichmüller.
Given X a K3 surface, a mirror dual to X can be identified with a component of the moduli space of semistable sheaves on X. We consider fibrations by K3 surfaces over a one dimensional base that are Calabi-Yau and we obtain a dual fibration that turns to be derived equivalent to the original one and we relate the problem to mirror symmetry.
We study the problem of how the dual complex of the special fiber of an snc degeneration $\cX_R$ changes under products. We view the dual complex as a skeleton inside the Berkovich space associated to $X_K$. Using the Kato fan, we define a skeleton $\Sk(\cX_R)$ when the model $\cX_R$ is log-regular. We show that if $\cX_R$ and $\cY_R$ are log-regular, and at least one is semistable, then $\Sk(\cX_R\times_R \cY_R) \simeq \Sk(\cX_R)\times \Sk(\cY_R)$. The essential skeleton $\Sk(X_K)$, defined by Mustaţă and Nicaise, is a birational invariant of $X_K$ and is independent of the choice of $R$-mode…
In this paper, we first prove a Donaldson-Uhlenbeck-Yau theorem over projective normal varieties smooth in codimension two. As a consequence we deduce the polystability of (dual) tensor products of stable reflexive sheaves, and we give a new proof of the Bogomolov-Gieseker inequality, along with a precise characterization of the case of equality. This also improves several previously known algebro-geometric results on normalized tautological classes. We study the limiting behavior of semistable bundles over a degenerating family of projective normal varieties. In the case of a family of stable…
We prove that moduli spaces of semistable parabolic bundles and generalized parabolic sheaves (GPS) with a fixed determinant on a smooth projective curve are globally F-regular type. As an application, we prove vanishing theorems on the moduli spaces of semistable parabolic sheaves on a singular curve, which combining with Factorization theorems in [24] and [25] give two recurrence relations among dimensions of spaces of generalized theta functions. By using of these recurrence relations, we prove an explicit formula (Verlinde formula) for the dimension of spaces of generalized theta functions…
We give the first (as far as we know) complete description of the boundary of the Milnor fiber for some non-isolated singular germs of surfaces in ${\bf C}^3$. We study irreducible (i.e. $gcd (m,k,l) = 1$) non-isolated (i.e. $1 \leq k < l$) Hirzebruch hypersurface singularities in ${\bf C}^3$ given by the equation $z^m - x^ky^l = 0$. We show that the boundary $L$ of the Milnor fiber is always a Seifert manifold and we give an explicit description of the Seifert structure. From it, we deduce that : 1) $L$ is never diffeomorphic to the boundary of the normalization. 2) $L$ is a lens space iff $m…
This paper is concerned with projective rationally connected surfaces $X$ with canonical singularities and having non-zero pluri-forms, i.e. $(Ω_X^1)^{[\otimes m]}$ has non-zero global sections for some m > 0, where $(Ω_X^1)^{[\otimes m]}$ is the reflexive hull of $(Ω_X^1)^{\otimes m}$. We show that any such surface can be obtained from a rational ruled surface by a very explicit sequence of blow-ups and blow-downs. Moreover, we interpret the existence of non-zero pluri-forms in terms of semistable reduction.
