Related papers: Log differentiable spaces and manifolds with corne…

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…

We discuss log flat topology and log flat descents of log schemes

It is given the diffeomorphism classification on generic singularities of tangent varieties to curves with arbitrary codimension in a projective space. The generic classifications are performed in terms of certain geometric structures and…

We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in…

We study moduli spaces of logarithmic stable maps to proper toric surfaces with prescribed tangency conditions to the toric boundary. Fixing a surface, we define a chamber decomposition on the space of all tangencies such that as a function…

We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…

We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient…

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic)…

These notes are based on a series of lectures given by the author at the Max Planck Institute for Mathematics in the Sciences in Leipzig. Addressed topics include affine and projective toric varieties, abstract normal toric varieties from…

The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as…

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…

This paper develops a systematic approach to infinitesimal variations of Hodge structure for singular and equisingular families by means of logarithmic geometry and residue theory. The central idea is that logarithmic vector fields encode…

We introduce loop spaces (in the sense of derived algebraic geometry) into the representation theory of reductive groups. In particular, we apply the theory developed in our previous paper arXiv:1002.3636 to flag varieties, and obtain new…

We argue for the addition of category theory to the toolkit of toric topology, by surveying recent examples and applications. Our case is made in terms of toric spaces X_K, such as moment-angle complexes Z_K, quasitoric manifolds M, and…

We study holomorphic foliations on normal crossings varieties arising as semistable degenerations. We do so by we exploring the notion of foliated d-semistability using the language of logarithmic structures in the sense of…

We develop the foundations of logarithmic structures beyond the standard finiteness conditions. The motivation is the study of semistable models over general valuation rings. The key new notion is that of a morphism of finite presentation…

This work explores the space of foliations on projective spaces over algebraically closed fields of positive characteristic, with a particular focus on the codimension one case. It describes how the irreducible components of these spaces…

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…

The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…

Stable fold maps are fundamental tools in studying a generalized theory of the theory of Morse functions on smooth manifolds and its application to geometry of the manifolds. It is important to construct explicit fold maps systematically to…