Resolution of Singularities for 3-folds in positive characteristic
Steven Dale Cutkosky
备注:
55 pages. In this final version, which is to appear in the American Journal of Mathematics, complete details of the proof of embedded resolution of surfaces have been added in. Two sections have been added after the introduction, giving an outline of the proof, and discussing related results and extensions of the material proved in this paper
In this paper a concise, complete proof of resolution of singularities of 3-folds in positive characteristic (>5) is given. The first proof of this theorem was given by Abhyankar in 1966. The resolution morphism in our proof is an isomorphism over the nonsingular locus.
Normally one assumes isolated surface singularities to be normal. The purpose of this paper is to show that it can be useful to look at nonnormal singularities. By deforming them interesting normal singularities can be constructed, such as isolated, non Cohen-Macaulay threefold singularities. They arise by a small contraction of a smooth rational curve, whose normal bundle has a sufficiently positive subbundle. We study such singularities from their nonnormal general hyperplane section.
This paper gives a simple example of a family of Calabi-Yaus of any dimension with canonical singularities of dimension one, whose Kuranishi space is singular. Thus the Bogomolov-Tian-Todorov unobstructedness theorem is not true for Calabi-Yaus with canonical singularities.
This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.
We prove a type of the Lefschetz hyperplane section theorem on Q-Fano 3-folds with Picard number one and $1/2(1,1,1)$-singularities by using some degeneration method. As a byproduct, we obtain a new example of a Calabi-Yau 3-fold $X$ with Picard number one whose invariants are $$(H_X^3, c_2 (X) \cdot H_X, {e} (X)) = (8, 44, -88),$$ where $H_X$, $e(X)$ and $c_2(X)$ are an ample generator of $\Pic(X)$, the topological Euler characteristic number and the second Chern class of $X$ respectively.
We prove the following main result: Let X be a Fano 3-fold with terminal Q-factorial singularities and X does not have a small extremal ray and a face of Kodaira dimension 1 or 2 for Mori polyhedron of X. Then the Picard number ρ(X) < 8.
In this article, we prove that any Q-Calabi-Yau 3-fold with only ordinary terminal singularities and any Q-Fano 3-fold of Fano index 1 with only terminal singularities have Q-smoothings.
We shall investigate a flipping contraction g : X -> Y from a 4-fold X with at most isolated complete intersection singularities. If Y has an anti-bi-canonical divisor (=bi-elephant) with only rational singularities, then g carries an inductive structure chained up by blow-ups (La Torre Pendente), and in particular the flip exists. This naturally contains Miles Reid's `Pagoda' as an anti-canonical divisor (=elephant) and its proper transforms.
As an application of universal polynomials for local and multi-singularities of maps, we revisit classical enumerative formulae of Salmon-Cayley-Zeuthen for projective surfaces and analogous formulae of Segre-(B.)Severi-Roth for projective $3$-folds. In particular, several examples of actual computation are given using universal polynomials for computing weighted Euler characteristics of singularity loci.
We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is of type c$A/n$ then any such contraction is a suitable weighted blow-up; and that if otherwise then the discrepancy is $1/n$ with a few exceptions. Every such exception has an example. Some exceptions allow the discrepancy to be arbitrarily large, but any contraction in this case is described as a weighted blow-up of a singularity of type c$D/2$ embedded int…
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of characteristic zero, is discussed here in positive characteristic.
Let X be the germ of a Gorenstein 3-fold singularity and C a smooth curve through it such that the general hyperplane section S of X containing D is DuVal of type E6 or E7. In this paper we obtain criteria for the existence of a terminal divisorial extremal neighborhood f: Y-->X contracting an irreducible divisor E onto C and classify all such neighborhoods.
We study the deformation theory of a Q-Fano 3-fold with only terminal singularities. First, we show that the Kuranishi space of a Q-Fano 3-fold is smooth. Second, we show that every Q-Fano 3-fold with only "ordinary" terminal singularities is Q-smoothable, that is, it can be deformed to a Q-Fano 3-fold with only quotient singularities. Finally, we prove Q-smoothability of a Q-Fano 3-fold assuming the existence of a Du Val anticanonical element. As an application, we get the genus bound for primary Q-Fano 3-folds with Du Val anticanonical elements.
We consider families of Calabi-Yau n-folds containing singular fibres and study relations between the occurring singularity structure and the decomposition of the local Weil zeta-function. For 1-parameter families, this provides new insights into the combinatorial structure of the strong equivalence classes arising in the Candelas - de la Ossa - Rodrigues-Villegas approach for computing the zeta-function. This can also be extended to families with more parameters as is explored in several examples, where the singularity analysis provides correct predictions for the changes of degree in the dec…
For any integer $k$ we construct an explicit example of a twistor space which contains a one--parameter family of jumping rational curves, where the normal bundle changes from $O(1)+O(1)$ to $O(k)+O(2-k)$. For $k>3$ the resulting anti--self--dual Ricci-flat manifold is a Zariski cone in the space of holomorphic sections of $O(k)$. In the case $k=2$ we recover the canonical example of Hitchin's folded hyper-Kahler manifold, where the jumping lines form a three--parameter family. We show that in this case there exist normalisable solutions to the Schrodinger equation which extend through the fol…
Let C be a smooth curve on an index 1 terminal 3-fold. We investigate the existence of extremal terminal divisorial contractions Y-->X that contract an irreducible surface E to C. We consider cases in respect to the singularities of the general hypersurface section S of X through C. We completely classify such contractions in the case that S has A_i, i < 4 and D_2n for any n, type singularities.
We show that there exists a positive real number $δ>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less than $1$, then the minimal log discrepancy of $X$ is not greater than $1-δ$. As applications, we show that the set of all non-canonical klt Calabi-Yau $3$-folds are bounded modulo flops, and the global indices of all klt Calabi-Yau $3$-folds are bounded from above.
We study singularities f in K[[x_1,...,x_n]] over an algebraically closed field K of arbitrary characteristic with respect to right respectively contact equivalence, and we establish that the finiteness of the Milnor respectively the Tjurina number is equivalent to finite determinacy. We give improved bounds for the degree of determinacy in positive characteristic. Moreover, we consider different non-degeneracy conditions of Kouchnirenko, Wall and Beelen-Pellikaan in positive characteristic, and we show that planar Newton non-degenerate singularities satisfy Milnor's formula mu=2 delta-r+1. Th…
We investigate some coboundary map associated to a $3$-dimensional terminal singularity which is important in the study of deformations of singular $3$-folds. We prove that this map vanishes only for quotient singularities and a $A_{1,2}/4$-singularity, that is, a terminal singularity analytically isomorphic to a $\mathbb{Z}_4$-quotient of the singularity $ (x^2+y^2 +z^3+u^2=0)$. As an application, we prove that a $\mathbb{Q}$-Fano $3$-fold with terminal singularities can be deformed to one with only quotient singularities and $A_{1,2}/4$-singularities. We also treat the $\mathbb{Q}$-smoothabi…
Assume that there exists a hypersurface singularity which cannot be resolved by iterated monoidal transformations in positive characteristic. We show that in the set of defining functions of hypersurface singularities which cannot be resolved, we can find a function satisfying very strong conditions. By these conditions we may be able to deduce a contradiction under the above assumption. Besides, we introduce fundamental concepts for the study of resolution of singularities of germs such as space germs, iterated analytic monoidal transforms with a normal crossing, Weierstrass representations, …
This paper gives a leisurely introduction to Calabi-Yau manifolds and special Lagrangian submanifolds from the differential geometric point of view, followed by a survey of recent results on singularities of special Lagrangian submanifolds, and their application to the SYZ Conjecture. It is aimed at graduate students in Geometry, String Theorists, and others wishing to learn the subject, and is designed to be fairly self-contained. It is based on lecture courses given at Nordfjordeid, Norway and MSRI, Berkeley in June and July 2001. We introduce Calabi-Yau m-folds via holonomy groups, Kahler g…
The main purpose of this article is to lay the foundations for a classification of isolated hypersurface singularities in positive characteristic. Although our article is in the spirit of Arnol'd who classified real an complex hypersurfaces in the 1970's with respect to right equivalence, several new phenomena occur in positive characteristic. Already the notion of isolated singularity is different for right resp. contact equivalence over fields of characteristic other than zero. The heart of this paper consists of the study of different notions of non-degeneracy and the associated piecewise f…
We study deformations of a pair of a $\mathbb{Q}$-Fano $3$-fold $X$ with only terminal singularities and its elephant $D \in |{-}K_X|$. We prove that, if there exists $D \in |{-}K_X|$ with only isolated singularities, the pair $(X,D)$ can be deformed to a pair of a $\mathbb{Q}$-Fano $3$-fold with only quotient singularities and a Du Val elephant. When there are only non-normal elephants, we reduce the existence problem of such a deformation to a local problem around the singular locus of the elephant. We also give several examples of $\mathbb{Q}$-Fano $3$-folds without Du Val elephants.
Let $X$ be a projective minimal Gorenstein 3-fold of general type with canonical singularities. We prove that the 5-canonical map is birational onto its image.
We complete the proof given earlier by one of us that the singularities of the perfect cone compactification $A_g^P$ of the coarse moduli space $A_g$ of principally polarized abelian $g$-folds are terminal if $g\ge 6$, and canonical if $g=5$.
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
The problem of resolution of singularities in positive characteristic can be reformulated as follows: Fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open problem (in positive characteristic) is to prove that there is an $n$-sequence such that the final strict transform of $X$ has no points of multiplicity $n$ (no $n$-fold points). In characteristic zero, …
In this survey paper we give an overview on some aspects of singularities of algebraic varieties over an algebraically closed field of arbitrary characteristic. We review in particular results on equisingularity of plane curve singularities, classification of hypersurface singularities and determinacy of arbitrary singularities. The section on equisingularity has its roots in two important early papers by Antonio Campillo. One emphasis is on the differences between positive and zero characteristic and on open problems.
The objective of this paper is to discuss invariants of singularities of algebraic schemes over fields of positive characteristic, and to show how they yield the simplification of singularities. We focus here on invariants which arise in an inductive manner, namely by successive elimination of variables. When applied to hypersurface singularities they lead us to a refinement of the notion of multiplicity. The main theorem proves that, under some numerical conditions expressed by these invariants, singularities can be simplified by blowups at centers prescribed by this refinement.
This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.
We classify Fano 3-folds with canonical Gorenstein singularities whose anticanonical linear system has no base points but does not give an embedding, and we classify anticanonically embedded Fano 3-folds with canonical Gorenstein singularities which are not intersections of quadrics. We also study the rationality questions for most of these varieties.
The problem of classification of real and complex singularities was initiated by Arnol'd in the sixties who classified simple, unimodal and bimodal w.r.t. right equivalence. The classification of right simple singularities in positive characteristic was achieved by Greuel and the author in 2014. In the present paper we classify right unimodal and bimodal singularities in positive characteristic by giving explicit normal forms. Moreover we completely determine all possible adjacencies of simple, unimodal and bimodal singularities. As an application we prove that, for singularities of right moda…
A sequence of monoidal transformations is defined, in terms of invariants, for a singular hypersurface embedded in a smooth scheme of positive characteristic. Some examples are added to illustrate the improvement of singularities by this procedure.
Let M be a two--dimensional complete intersection. We show how to check whether a mapping f: M-->R^2 is 1-generic with only folds and cusps as singularities. In this case we give an effective method to count the number of positive and negative cusps of a polynomial f, using the signatures of some quadratic forms.
In this paper, we prove abundance for non-uniruled 3-folds with non-trivial Albanese maps, over an algebraically closed field of characteristic $p > 5$. As an application we get a characterization of abelian 3-folds.
A 3-fold terminal quotient singularity X=C^3/G admits the economic resolution Y-> X, which is "close to being crepant". This paper proves that the economic resolution Y is isomorphic to a distinguished component of a moduli space of certain G-equivariant objects using the the King stability condition $θ$ introduced by Kędzierski.
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a form of simplification of the singularities, also known as a reduction to the monomial case.
We present enumerative results for holomorphic foliations by curves on $\mathbb{P}^n$, $n\geq 3$, with singularities of positive dimension. Some of the results presented improve previous ones due to Corrêa--Fernández-Pérez--Nonato Costa--Vidal Martins and Nonato Costa. We also present an enumerative result bounding the number of isolated singularities in a projective subvariety invariant by a holomorphic foliation by curves on $\mathbb{P}^n$ with a singularity of positive dimension.
We study Fano 3-folds with Fano index 2: that is, 3-folds X with rank Pic(X) = 1, Q-factorial terminal singularities and -K_X = 2A for an ample Weil divisor A. We give a first classification of all possible Hilbert series of such polarised varieties X,A and deduce both the nonvanishing of H^0(X,-K_X) and the sharp bound (-K_X)^3 >= 8/165. We list families that can be realised in codimension up to 4.
The SYZ Conjecture explains Mirror Symmetry between mirror Calabi-Yau 3-folds M,M' in terms of special Lagrangian fibrations f : M --> B and f' : M' --> B over the same base B, whose fibres are dual 3-tori, except for singular fibres. One of the main problems in proving the SYZ Conjecture (or even in finding the right statement of it) is that the singularities of special Lagrangian 3-folds and fibrations are poorly understood. This paper studies the singularities of special Lagrangian fibrations. Our main rigorous results are the construction of examples of special Lagrangian fibrations on ope…
We show an example of non-simply connected non-liftable Calabi-Yau threefold over an algebraically closed field of characteristic $3$. It is constructed from a simply connected example by S.~Schröer.
In this paper we show that any hypersurface singularities of germs of varieties in positive characteristic can be resolved by iterated monoidal transformations in centers in smooth subvarieties, if we have a valuation ring of iterated divisor type associated with the germ. Besides, we introduce fundamental concepts for the study of resolution of singularities of germs such as space germs, iterated analytic monoidal transformations with a normal crossing, Weierstrass representations, reduction sequences, and so forth.
We prove that a weak $\mathbb{Q}$-Fano $3$-fold with terminal singularities has unobstructed deformations. By using this result and computing some invariants of a terminal singularity, we provide two results on global deformation of a weak $\mathbb{Q}$-Fano $3$-fold. We also treat a stacky proof of the unobstructedness of deformations of a $\mathbb{Q}$-Fano $3$-fold.
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$.
The paper is motivated on the open problem of resolution of singularities in positive characteristic. The aim is to present a form of induction which is different from that used by Hironaka. In characteristic zero induction is formulated by restriction to smooth hypersurfaces (hypersurfaces of maximal contact). Our alternative approach, introduced here, replaces restrictions to smooth sub-schemes by generic projections on smooth schemes of smaller dimension. We also introduce a generalization of the discriminant, and our result makes use of the elimination theory. In the case of fields of char…
It is well known that the Gauss map for a complex plane curve is birational, whereas the Gauss map in positive characteristic is not always birational. Let $q$ be a power of a prime integer. We study a certain plane curve of degree $q^2+q+1$ for which the Gauss map is inseparable with inseparable degree $q$. As a special case, we show a relation between the dual curve of the Fermat curve of degree $q^2+q+1$ and the Ballico-Hefez curve.