Related papers: Integral morphisms and log blow-ups

In this paper we discuss log blow-up's, introduced by Kazuya Kato, and define the concept of log modifications. Using this concept we prove that any morphism f: X ---> Y of locally noetherian fs log schemes with underlying structures of f…

In the category of log schemes, it is unclear how to define the blow-ups for non-strict closed immersions. In this article, we introduce the notion of divided log spaces. We obtain the category of divided log spaces by locally inverting log…

Many concepts in logarithmic geometry are invariant under log blowups. To formalize this invariance, we introduce the m-open, m-\'etale, m-smooth, m-fppf, and m-fpqc topologies for fs log schemes. These refine the standard topologies from…

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…

For proper morphisms, we give a functorial flatification algorithm by blow-ups in the spirit of Hironaka's flatification algorithm. In characteristic zero, this gives functorial flatification by blow-ups in smooth centers. We also give a…

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.

In this article, we construct the Gysin isomorphisms in the axiomatic motivic setting for fs log schemes. We formulate the purity transformations for log smooth morphisms. We show that the purity transformations are isomorphisms for certain…

We discuss automorphisms and pseudo-automorphisms on blowups of complex projective space with an eye to finding ones with interesting dynamical behavior.

We show that saturated base change of a dominant toroidal morphism is also toroidal. For completeness, we give full details on equivalence between definitions regarding toroidal embeddings and toroidal morphisms in literature. Moreover, we…

We consider a filtration on the cohomology of the structure sheaf indexed by (not necessarily reduced) divisors ``at infinity''. We show that the filtered pieces have transfers morphisms, fpqc descent, and are so called cube invariant. In…

In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result…

In our previous paper, given an integral log smooth morphism $X\to S$ of fine log schemes of characteristic $p>0$, we studied the Azumaya nature of the sheaf of log differential operators of higher level and constructed a splitting module…

We prove that every log crepant birational morphism between log terminal surfaces is decomposed into log-flopping type divisorial contraction morphisms and log blow-downs. Repeating these two kinds of contractions we reach a minimal log…

We prove that intersection multiplicity of two plane curves defined by Fulton's axioms is equivalent to the multiplicity computed using blowup. The algorithm based on the latter is presented and its complexity is estimated. We compute for…

Let (S, BS) be the log-pair associated with a compactification of a given smooth quasi-projective surface V . Under the assumption that the boundary BS is irreducible, we propose an algorithm, in the spirit of the (log) Sarkisov program, to…

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 Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…

We study the problem of resolving singularities via the blow-up of the module of derivations. Our main results are a positive answer for the case of curves and log-canonical surface singularities, i.e., a finite sequence of blow-ups along…

Let $S^{\log}$ be a locally Noetherian fs log scheme and $\blacklozenge/S^{\log}$ a set of properties of fs log schemes over $S^{\log}$. In the present paper, we shall mainly be concerned with the properties "reduced", "quasi-compact over…