Related papers: Logarithmically Regular Morphisms

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…

In this paper, we give the rigidity theorem for a log morphism as an extension of a fixed scheme morphism. We also give several applications of the rigidity theorem.

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…

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 $\mathcal{O}$ be a valuation ring of height one of residual characteristic exponent $p$ and with algebraically closed field of fractions. Our main result provides a best possible resolution of the monoidal structure $M_X$ of a log…

We give cohomological criteria for logarithmic good reduction of elliptic surfaces up to modification. Along the way, we prove several more general results about such surfaces in positive characteristic, as well as about log smooth…

In this paper, we prove compatibilities of various definitions of relatively unipotent log de Rham fundamental groups for certain proper log smooth integral morphisms of fine log schemes of characteristic zero. Our proofs are purely…

The goal of this paper is to give a general theory of logarithmic Gromov-Witten invariants. This gives a vast generalization of the theory of relative Gromov-Witten invariants introduced by Li-Ruan, Ionel-Parker, and Jun Li, and completes a…

We show that there is a logarithmic algebraic space parameterizing logarithmic morphisms between fixed logarithmic schemes when those logarithmic schemes satisfy natural hypotheses. As a corollary, we obtain the algebraicity of the stack of…

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,…

Given a morphism $X \to S$ of fine log schemes, we develop a geometric description of the sheaves of higher-order differentials $\Omega^n_{X/S}$ for $n > 1$, as well as a definition of the de Rham complex in terms of this description.

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…

Let G be a connected simply-connected reductive algebraic group. In this article, we consider the normal algebraic varieties equipped with a horospherical G-action such that the quotient of a G-stable open subset is a curve. Let X be such a…

We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of strong and uniform equivalence with their characterizations,…

A typical result in graph theory says that a graph $G$, satisfying certain conditions, has some property $\cal P$. Once such a theorem is established, it is natural to ask how strongly $G$ satisfies $\cal P$. Can one strengthen the result…

We present two new classes of orthogonal functions, log orthogonal functions (LOFs) and generalized log orthogonal functions (GLOFs), which are constructed by applying a $\log$ mapping to Laguerre polynomials. We develop basic approximation…

Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the…

We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the…

Let $X$ be a smooth projective variety over $\mathbb{C}$ with a simple normal crossings divisor $D\subset X$. We compare the notions of stable log maps to $(X,D)$ in algebraic geometry and symplectic topology. In particular, we prove an…

We introduce the notion of a logarithmic stable map from a minimal log prestable curve to a log twisted semi-stable variety of form $xy=0$. We study the compactification of the moduli spaces of such maps and provide a perfect obstruction…