Related papers: How to make log structures
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…
A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…
We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…
We define log Hochschild co/homology for log schemes that behaves well for simple normal crossing pairs $(X,D)$ or toroidal singularities. We prove a Hochschild-Kostant-Rosenberg isomorphism for log smooth schemes, as well as an equivariant…
This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…
We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions…
We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…
We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…
Let $X$ be a fs logarithmic scheme that is generically logarithmically smooth, and that admits a strict closed embedding into a logarithmically smooth scheme $Y$ over a field $\kk$ of characteristic zero. We construct a simple and fast…
Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…
Let $M$ be a smooth projective variety and $\mathbf{D}$ an ample normal crossings divisor. From topological data associated to the pair $(M, \mathbf{D})$, we construct, under assumptions on Gromov-Witten invariants, a series of…
By using the representational power of Chu spaces we define the notion of a generalized topological space (or GTS, for short), i.e., a mathematical structure that generalizes the notion of a topological space. We demonstrate that these…
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log \'etale maps and use this to define derived log stacks.
We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log spaces are new, even in the algebraic…
This is my PhD Thesis, part of it has published in Acta Mathematica Sinica. In this paper, a class of morphisms which have a kind of singularity weaker than normal crossing is considered. We construct the obstruction such that the so-called…
We study complex Dirac structures, that is, Dirac structures in the complexified generalized tangent bundle. These include presymplectic foliations, transverse holomorphic structures, CR-related geometries and generalized complex…
In [Kat94b], Kato defined his notion of a log regular scheme and studied the local behavior of such schemes. A toric variety equipped with its canonical logarithmic structure is log regular. And, these schemes allow one to generalize toric…
We present a general framework for constructing polynomial integrable systems on linearizations of Poisson varieties that admit log-canonical systems. Our construction is in particular applicable to Poisson varieties with compatible cluster…
In this paper, we establish an innovative framework in logarithmic Hodge theory for toroidal varieties, introducing weighted toroidal structures and developing a systematic obstruction theory for Hodge classes. Building upon recent advances…
The main purpose of this paper is to define the {\it net logarithmic tangent sheaf}, as a generalization of the logarithmic tangent sheaf introduced by P.~Deligne, over the field of complex numbers, and prove some basic properties and give…