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 construction involving toroidal crossing varieties whose irreducible components are toric varieties. This duality reproduces a version of Batyrev's construction of mirror pairs for hypersurfaces in toric varieties, but it applies to a larger class, including degenerate abelian varieties.
Toroidal 3-orbifolds $(S^1)^6/G$, for $G$ a finite group, were some of the earliest examples of Calabi-Yau 3-orbifolds to be studied in string theory. While much mathematical progress towards the predictions of string theory has been made in the meantime, most of it has dealt with hypersurfaces in toric varieties. As a result, very little is known about curve-counting theories on toroidal orbifolds. In this paper, we initiate a program to study mirror symmetry and the Landau-Ginzburg/Calabi-Yau (LG/CY) correspondence for toroidal orbifolds. We focus on the simplest example $[E^3/μ_3],$ where $…
We give explicit estimates for the volume of the Green-Griffiths jet differentials of any order on a toroidal compactification of a ball quotient. To this end, we first determine the growth of the logarithmic Green-Griffiths jet differentials on these objects, using a natural deformation of the logarithmic jet space of a given order, to a suitable weighted projective bundle. Then, we estimate the growth of the vanishing conditions that a logarithmic jet differential must satisfy over the boundary to be a standard one.
Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' \to X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first step in our program to apply logarithmic desingularization to a morphism $Z \to B$, aiming to prove functorial semistable reduction theorems.
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 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 construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
Let $X$ be any variety in characteristic zero. Let $V \subset X$ be an open subset that has toroidal singularities. We show the existence of a canonical desingularization of $X$ except for V. It is a morphism $f: Y \to X$ , which does not modify the subset $ V $ and transforms $X$ into a toroidal embedding $Y$, with singularities extending those on $V$. Moreover, the exceptional divisor has simple normal crossings on $Y$. The theorem naturally generalizes the Hironaka canonical desingularization. It does not modify the nonsingular locus $V$ and transforms $X$ into a nonsingular variety $Y$. Th…
We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal Abelian category, which we argue can be thought of as the categorical substrate for logarithmic Hodge theory of $U$. We show that its Hochschild homology theory coincides with the theory of log-forms on $X$ with logarithmic structure induced by $D$, and in particular, that the noncommutative Hodge-to de Rham sequence on $\operatorname{Qcoh}_{log}(U, X, D)$ r…
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…
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.
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.
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
We make an observation which enables one to deduce the existence of an algebraic stack of log maps for all generalized Deligne--Faltings log structures (in particular simple normal crossings divisor) from the simplest case with log structures given by a Cartier divisor (essentially the smooth divisor case).
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（伦敦国王学院数学系）
We consider a version of the Lipman-Zariski conjecture for logarithmic vector fields and logarithmic $1$-forms on pairs. Let $(X,D)$ be a pair consisting of a normal complex variety $X$ and an effective Weil divisor $D$ such that the sheaf of logarithmic vector fields (or dually the sheaf of reflexive logarithmic $1$-forms) is locally free. We prove that in this case the following holds: If $(X,D)$ is dlt, then $X$ is necessarily smooth and $\lfloor D\rfloor $ is snc. If $(X,D)$ is lc or the logarithmic $1$-forms are locally generated by closed forms, then $(X,\lfloor D\rfloor)$ is toroidal.
In this paper, we give a criterion for the existence of logarithmic embeddings -- which was first introduced by Steenbrink -- for general normal crossing varieties. Using this criterion, we also give a new proof of the theorem of Kawamata--Namikawa which states a criterion for the existence of the log structures of semistable type.
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.
Let $M$ be a smooth complex projective toric variety equipped with an action of a torus $T$, such that the complement $D$ of the open $T$--orbit in $M$ is a simple normal crossing divisor. Let $G$ be a complex reductive affine algebraic group. We prove that an algebraic principal $G$--bundle $E_G\to M$ admits a $T$--equivariant structure if and only if $E_G$ admits a logarithmic connection singular over $D$. If $E_H\to M$ is a $T$-equivariant algebraic principal $H$--bundle, where $H$ is any complex affine algebraic group, then $E_H$ in fact has a canonical integrable logarithmic connection si…
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…
We provide a new proof of the following result: Let $X$ be a variety of finite type over an algebraically closed field $k$ of characteristic 0, let $Z\subset X$ be a proper closed subset. There exists a modification $f:X_1 \rar X$, such that $X_1$ is a quasi-projective nonsingular variety and $Z_1 = f^{-1}(Z)_\red$ is a strict divisor of normal crossings. Needless to say, this theorem is a weak version of Hironaka's well known theorem on resolution of singularities. Our proof has the feature that it builds on two standard techniques of algebraic geometry: semistable reduction for curves, and t…
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 smooth complete complex toric variety such that the boundary is a simple normal crossing divisor, and let E be a holomorphic vector bundle on X. We prove that E admits an equivariant structure if and only if E admits a logarithmic connection singular over D. More precisely, we show that an equivariant vector bundle on X has a tautological integrable logarithmic connection singular over D. This is used in computing the Chern classes of the equivariant vector bundles on X. We also prove a version of the result for holomorphic vector bundles on log parallelizable G-pairs (X,D), where G…
Rheinische Friedrich-Wilhelms-Universität Bonn（波恩莱茵弗里德里希·威廉大学）；Technische Universität München（慕尼黑工业大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
Let $ \mathcal{D} = \{D_{1}, ..., D_{\ell}\} $ be a multi-degree arrangement with normal crossings on the complex projective space $ \mathbf{P}^{n} $, with degrees $ d_{1}, ..., d_{\ell} $; let $ Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) $ be the logarithmic bundle attached to it. First we prove a Torelli type theorem when $ \mathcal{D} $ has a sufficiently large number of components by recovering them as unstable smooth irreducible degree-$ d_{i} $ hypersurfaces of $ Ω_{\mathbf{P}^{n}}^{1}(\log \mathcal{D}) $. Then, when $ n = 2 $, by describing the moduli spaces containing $ Ω_{\mathbf{P}^{2}…
This is a part of our joint program. The purpose of this paper is to study smooth toroidal compactifications of Siegel varieties and their applications, we also try to understand the Kähler-Einstein metrics on Siegel varieties through the compactifications. Let $A_{g,Γ}:=H_g/Γ$ be a Siegel variety, where $H_g$ is the genus-$g$ Siegel space and $Γ$ is an arithmetic subgroup in $Aut(H_g)$. There are four aspects of this paper : 1.There is a correspondence between the category of degenerations of Abelian varieties and the category of limits of weight one Hodge structures. We show that any cusp of…
Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let Ω^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that Ω^{1}_{P^n}(log D) admits a resolution of lenght 1 which explicitly depends on the degrees and on the equations of D_{1},...,D_{l}. Then we prove a Torelli type theorem when all the D_{i}'s have the same degree d and l >= {{n+d} \choose {d}}+3: indeed, we recover the components of D as unstable smooth hypersurfaces of Ω^{1}_{P^n}(log D). Finally we analyze the cases of one q…
In this note, we prove the logarithmic $p$-adic comparison theorem for open rigid analytic varieties. We prove that a smooth rigid analytic variety with a strict simple normal crossing divisor is locally $K(π,1)$ (in a certain sense) with respect to $\mathbb{F}_p$-local systems and ramified coverings along the divisor. We follow Scholze's method to produce a pro-version of the Faltings site and use this site to prove a primitive comparison theorem in our setting. After introducing period sheaves in our setting, we prove aforesaid comparison theorem.
We study the Berkovich analytification of the space of genus $0$ logarithmic stable maps to a toric variety $X$ and present applications to both algebraic and tropical geometry. On algebraic side, insights from tropical geometry give two new geometric descriptions of this space of maps -- (1) as an explicit toroidal modification of $\overline M_{0,n}\times X$ and (2) as a tropical compactification in a toric variety. On the combinatorial side, we prove that the tropicalization of the space of genus $0$ logarithmic stable maps coincides with the space of tropical stable maps, giving a large new…
Let $ \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} $ be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space $ \mathbb{P}^{n} $ and let $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ be the logarithmic bundle attached to it. Our aim is to study the injectivity of the correspondence $ \mathcal{D} \longrightarrow Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. In order to do that, we first show that $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ admits a resolution of length $ 1 $ depending on the degrees and on the equations of $ D_{1}, \ldots, D_{\ell} $. Then, we pro…
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…
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…
We establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is singular: when the cohomology class of a symplectic structure satisfies certain linear equations with integer coefficients, its polar divisor can be partially smoothed, yielding adjacent irreducible components of the moduli space that correspond to possibly non-normal crossings structures. These components are indexed by combinatorial data we call smoothing di…
