相关论文: Exactness, integrality, and log modifications
In this paper we characterize the Blowing-up maps of ordinary singularities for which there exists a natural Gysin morphism, i.e. a bivariant class $\theta \in Hom_{D(Y)}(R\pi_*\mathbb Q_X, \mathbb Q_Y)$, compatible with pullback and with…
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…
We give a new proof of Raynaud-Gruson's theorem regarding flattening by blow-ups. The proof is direct, by working directly on the inverse limit of admissible blow-ups, which is a valuative space similar to the classical Zariski-Riemann…
Using the flatification by blow-up result of Raynaud and Gruson, we obtain new results for submersive and subtrusive morphisms. We show that universally subtrusive morphisms, and in particular universally open morphisms, are morphisms of…
We prove that for any singular integral affine variety $X$ of finite presentation over a perfect field defined over $\mathbb Z$, there exists a smooth morphism from $Y$ onto $X$ such that $Y$ admits a resolution. That is, there exists a…
The main purpose of this paper is to establish some useful partial resolutions of singularities for pairs from the minimal model theoretic viewpoint. We first establish the existence of log canonical modifications of normal pairs under some…
We prove the decomposition theorem for Hodge modules with integral structure along proper K\"ahler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of…
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 give the definitions of log Fano varieties and log Calabi-Yau varieties in the framework of theory of log schemes of Fontain-Illusie-Kato and give congruences of the cardinalities of rational points of them over the log…
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 define the Frobenius morphism of certain class of noncommutative blowups in positive characteristic. Thanks to a nice property of the class, the defined morphism is flat. Therefore we say that the noncommutative blowups in this class are…
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…
We prove that the pull-back of a quasi-log scheme by a smooth quasi-projective morphism has a natural quasi-log structure. We treat an application to log Fano pairs. This paper also contains a proof of the simple connectedness of log Fano…
We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by…
This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…
This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at…
For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…
In their work on a sharp compactness theorem for the Yamabe problem, Khuri, Marques and Schoen apply a refined blow-up analysis (what we call `second order blow-up argument' in this article) to obtain highly accurate approximate solutions…
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…
This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on…