Related papers: Logarithmic Flatness

Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…

In \cite{tva}, Bertrand Toen and Michel Vaquie defined a scheme theory for a closed monoidal category $(C,\otimes,1)$. In this article, we define a notion of smoothness in this relative (and not necesarilly additive) context which…

This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full…

Let $X$ be a monoid scheme. We will show that the stalk at any point of $X$ defines a point of the topos $\Qc(X)$ of quasi-coherent sheaves over $X$. As it turns out, every topos point of $\Qc(X)$ is of this form if $X$ satisfies some…

We find and describe unexpected isomorphisms between two very different objects associated to hypersurface singularities. One object is the Milnor algebra of a function, while the other object associated to a singularity is the local ring…

We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the…

We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…

Let $X$ be a normal projective variety over an algebraically closed field of characteristic zero. Let $D$ be a reduced Weil divisor on $X$. Let $G$ be a reductive linear algebraic group. We introduce the notion of a logarithmic connection…

We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to…

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…

For $L \hookrightarrow X$ a Lagrangian embedding associated with a real homogeneous space, we construct the moduli space of stable holomorphic discs mapping to $(X,L)$ as an orbifold with corners equipped with a group action. Some essential…

The classical clutching and gluing maps between the moduli stacks of stable marked algebraic curves are not logarithmic, i.e. they do not induce morphisms over the category of logarithmic schemes, since they factor through the boundary.…

A Lie algebroid on a variety X/k is an extension \alpha: g_X \to T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of…

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 Y be a compact reduced subspace of a complex manifold X, and let F be a subsheaf of the tangent bundle T_X which is closed under the Lie bracket. This paper discusses criteria to guarantee that infinitesimal deformations of the…

In this paper, we construct in characteristic zero a derived foliation on derived mapping stacks $\underline{\mathbf{Map}}_S(X,Y)$, for $S$ a base derived stack, $X$ a proper schematic, flat, and local complete intersection derived stack…

Inspired by the theory of classifying topoi for geometric theories, we define rounded sketches and logoi and provide the notion of classifying logos for a rounded sketch. Rounded sketches can be used to axiomatise all the known fragments of…

Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $\mathcal{D}(R)$ denote the derived category of $R$-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let $X$ be a…

This paper investigates the derived and spectral analogs of logarithmic geometry. We develop the deformation theory for animated log rings and $\mathbb{E}_\infty$-log rings and examine the corresponding theories of derived and spectral log…