Related papers: Compactifications of Log Morphisms

This paper is concerned with the derivation and properties of differential complexes arising from a variety of problems in differential equations, with applications in continuum mechanics, relativity, and other fields. We present a…

In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces.…

There are several compactification procedures in topology, but there is only one standard discretization, namely, replacing the original topology with the discrete topology. We give a notion of discretization which is dual (in categorical…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…

A regularization procedure developed in [1] for the integral curvature invariants on manifolds with conical singularities is generalized to the case of squashed cones. In general, the squashed conical singularities do not have rotational…

We construct natural relative compactifications for the relative Jacobian over a family $X/S$ of reduced curves. In contrast with all the available compactifications so far, ours admit a universal sheaf, after an etale base change. Our…

Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…

On a smooth manifold, we associate to any closed differential form a mapping cone complex. The cohomology of this mapping cone complex can vary with the de Rham cohomology class of the closed form. We present a novel Morse theoretical…

We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…

We make some remarks about bubbling on, not necessarily proper, champs de Deligne-Mumford, i.e. compactification of the space of mappings from a given (wholly scheme like) curve, so, in particular, on quasi-projective projective varieties.…

In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…

We give a sufficient condition under which the moduli space of morphisms between logarithmic schemes is quasifinite under the moduli space of morphisms between the underlying schemes. This implies that the moduli space of stable maps from…

In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…

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…

For a smooth scheme over a perfect field of characteristic p>0, we generalise a definition of Bloch and introduce overconvergent de Rham-Witt connections. This provides a tool to extend the comparison morphisms of Davis, Langer and Zink…

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…

Using log convergent topoi, %In the derived category of filtered complexes of %sheaves of modules over %an isostructure we define two fundamental filtered complexes $(E_{conv},P)$ and $(C_{conv},P)$ for the log scheme obtained by a smooth…

We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric…

In this paper, We develop the stratified de Rham theory on singular spaces using modern tools including derived geometry and stratified structures. This work unifies and extends the de Rham theory, Hodge theory, and deformation theory of…