Working in characteristic two, I classify nonsmooth Enriques surfaces with normal crossing singularities. Using Kato's theory of logarithmic structures, I show that such surfaces are smoothable and lift to characteristic zero, provided they are d-semistable.
We use wall-crossing in the Bridgeland stability manifold to systematically study the birational geometry of the moduli space $M_σ(\mathbf{v})$ of $σ$-semistable objects of class $\mathbf{v}$ for a generic stability condition $σ$ on an arbitrary Enriques surface $X$. In particular, we show that for any other generic stability condition $τ$, the two moduli spaces $M_τ(\mathbf{v})$ and $M_σ(\mathbf{v})$ are birational. As a consequence, we show that for primitive $\mathbf{v}$ of odd rank $M_σ(\mathbf{v})$ is birational to a Hilbert scheme of points. Similarly, in even rank we show that $M_σ(\mat…
Using wall-crossing for K3 surfaces, we establish birational equivalence of moduli spaces of stable objects on generic Enriques surfaces for different stability conditions. As an application, we prove in the case of a Mukai vector of odd rank that they are birational to Hilbert schemes. The argument makes use of a new Chow-theoretic result, showing that moduli spaces on an Enriques surface give rise to constant cycle subvarieties of the moduli spaces of the covering K3.
We construct moduli spaces of semistable objects on an Enriques surface for generic Bridgeland stability condition and prove their projectivity. We further generalize classical results about moduli spaces of semistable sheaves on an Enriques surface to their Bridgeland counterparts. Using Bayer and Macrì's construction of a natural nef divisor varying with the stability condition, we begin a systematic exploration of the relation between wall-crossing on the Bridgeland stability manifold and the minimal model program for these moduli spaces. We give three applications of our machinery to obtai…
We introduce a dual logarithmic residue map for hypersurface singularities and use it to answer a question of Kyoji Saito. Our result extends a theorem of Lê and Saito by an algebraic characterization of hypersurfaces that are normal crossing in codimension one. For free divisors, we relate the latter condition to other natural conditions involving the Jacobian ideal and the normalization. This leads to an algebraic characterization of normal crossing divisors. As a side result, describe all free divisors with Gorenstein singular locus.
We generalize Friedman's notion of d-semistability, which is a necessary condition for spaces with normal crossings to admit smoothings with regular total space. Our generalization deals with spaces that locally look like the boundary divisor in Gorenstein toroidal embeddings. In this situation, we replace d-semistability by the existence of global log structures for a given gerbe of local log structures. This leads to cohomological descriptions for the obstructions, existence, and automorphisms of log structures. We also apply toroidal crossings to mirror symmetry, by giving a duality constru…
We construct relative Gromov--Witten theory with expanded degenerations in the normal crossings setting and establish a degeneration formula for the resulting invariants. Given a simple normal crossings pair $(X,D)$, we show that there exist proper moduli spaces of curves in $X$ with prescribed boundary conditions along $D$, equipped with virtual classes. Each point in such a moduli space parameterizes a map from a nodal curve to an expanded degeneration of $X$ that is dimensionally transverse to the strata. In the context of maps to a simple normal crossings degeneration, the virtual fundamen…
This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of logarithmic structures and deformations is used in order to prove that X is smoothable by a smooth variety, if and only if T^1(X)=O_D, where D is the singular locus of X.
The logarithmic leaf complex and foliated d-semistability
Dipartimento di Matematica, Università degli Studi di Bari(巴里大学数学系);Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires and IMAS (UBA-CONICET)(布宜诺斯艾利斯大学自然科学与精确科学学院及IMAS(UBA-CONICET));Department of Mathematics, King’s College London(伦敦国王学院数学系)
The objective of this article is to give an effective algebraic characterization of normal crossing hypersurfaces in complex manifolds. It is shown that a hypersurface has normal crossings if and only if it is a free divisor, has a radical Jacobian ideal and a smooth normalization. Using K. Saito's theory of free divisors, also a characterization in terms of logarithmic differential forms and vector fields is found and and finally another one in terms of the logarithmic residue using recent results of M. Granger and M. Schulze.
A projective log variety (X, D) is called "a log Fano manifold" if X is smooth and if D is a reduced simple normal crossing divisor on X with -(K_X+D) ample. The n-dimensional log Fano manifolds (X, D) with nonzero D are classified in this article when the log Fano index r of (X, D) satisfies either r\geq n/2 with ρ(X)\geq 2 or r\geq n-2. This result is a partial generalization of the classification of logarithmic Fano threefolds by Maeda.
Kyoji Saito defined a residue map from the logarithmic differential 1-forms along a reduced complex analytic hypersurface to the meromorphic functions on the hypersurface. He studied the condition that the image of this map coincides with the weakly holomorphic functions, that is, with the functions on the normalization. With Michel Granger, the author proved that this condition is equivalent to the hypersurface being normal crossing in codimension one. In this article, the condition is given a natural interpretation in terms of regular differential forms beyond the hypersurface case. For redu…
We prove that the cycle-valued logarithmic Gromov--Witten theory of a product of simple normal crossings pairs $X\times Y$ decomposes into a product of pieces coming from $X$ and $Y$, provided that the decomposition is considered over a blowup of the moduli space of curves. The result is established by applying the toroidal semistable reduction theorem to the stabilization morphism on the stack of maps to the Artin fans. Since products of smooth pairs are naturally simple normal crossings pairs, the result provides a direct avenue of access to questions in logarithmic Gromov--Witten theory via…
Our previous papers introduce topological notions of normal crossings symplectic divisor and variety, show that they are equivalent, in a suitable sense, to the corresponding geometric notions, and establish a topological smoothability criterion for normal crossings symplectic varieties. The present paper constructs a blowup, a complex line bundle, and a logarithmic tangent bundle naturally associated with a normal crossings symplectic divisor and determines the Chern class of the last bundle. These structures hav applications in constructions and analysis of various moduli spaces. As a coroll…
Let $X$ be a compact Kähler manifold and $D$ be a simple normal crossing divisor. If $D$ is the support of some effective $k$-ample divisor, we show $$ H^q(X,Ω^p_X(\log D))=0,\quad \text{for}\quad p+q>n+k.$$
In this paper, we establish a criterion for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal crossing divisor. This is a generalization of a result of Kedlaya, who treated the case of unipotent monodromy. Our result is regarded as a $p$-adic analogue of the theory of canonical extension of regular singular integrable connections on smooth varieties of characteristic 0.
We introduce topological notions of normal crossings symplectic divisor and variety and establish that they are equivalent, in a suitable sense, to the desired geometric notions. Our proposed concept of equivalence of associated topological and geometric notions fits ideally with important constructions in symplectic topology. This partially answers Gromov's question on the feasibility of defining singular symplectic (sub)varieties and lays foundation for rich developments in the future. In subsequent papers, we establish a smoothability criterion for symplectic normal crossings varieties, in …
In a previous paper [FT1], for any logarithmic symplectic pair (X,D) of a symplectic manifold X and a simple normal crossings symplectic divisor D, we introduced the notion of log pseudo-holomorphic curve and proved a compactness theorem for the moduli spaces of stable log curves. In this paper, we introduce a natural set up for studying the deformation theory of log (and relative) curves. As a result, we obtain a logarithmic analog of the space of Ruan-Tian perturbations for these moduli spaces. For a generic compatible pair of an almost complex structure and a log perturbation term, we prove…
In this paper we characterize logarithmic surfaces which admit Kähler-Einstein metrics with negative scalar curvature and small edge singularities along a normal crossing divisor.
Any arrangement of hyperplanes in general position in $P^n$ can be regarded as a divisor with normal crossing. We study the bundles of logarithmic 1-forms corresponding to such divisors` from the point of view of classification of vector bundles on $P^n$. It turns out that all such bundles are stable. The study of jumping lines of these bundles gives a unified treatment of several classical constructions associating a curve to a collection of points in $P^n$. The main result of the paper is "Torelli theorem" which says that the collection of hyperplanes can be recovered from the isomorphism cl…
Inspired by the log Gromov-Witten (or GW) theory of Gross-Siebert/Abramovich-Chen, we introduce a geometric notion of log J-holomorphic curve relative to a simple normal crossings symplectic divisor defined in [FMZ1]. Every such moduli space is characterized by a second homology class, genus, and contact data. For certain almost complex structures, we show that the moduli space of stable log J-holomorphic curves of any fixed type is compact and metrizable with respect to an enhancement of the Gromov topology. In the case of smooth symplectic divisors, our compactification is often smaller than…