Related papers: Pull-back of quasi-log structures

We construct the relative log de Rham-Witt complex. This is a generalization of the relative de Rham-Witt complex of Langer-Zink to log schemes. We prove the comparison theorem between the hypercohomology of the log de Rham-Witt complex and…

We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…

We define log Hochschild co/homology for log schemes that behaves well for simple normal crossing pairs $(X,D)$ or toroidal singularities. We prove a Hochschild-Kostant-Rosenberg isomorphism for log smooth schemes, as well as an equivariant…

For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…

In this paper we study certain algebraic properties of the quantum homology algebra for the class of symplectic toric Fano manifolds. In particular, we examine the semi-simplicity of the quantum homology algebra, and the more general…

We prove the existence of log canonical modifications for a log pair. As an application, together with Koll\"ar's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized…

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 plurisubharmonic weight is log canonical if it is at the critical point of turning non-integrable. Given a log canonical plurisubharmonic weight, we show that locally there always exists a log canonical `holomorphic' weight having the…

The aim of the paper is to characterize Kawamata log terminal singularities and log canonical singularities by dimensions of jet schemes. It is a generalization of Mustata's result.

Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$…

We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article…

We prove that the monodromy of an irreducible cohomologically complex rigid local system with finite determinant and quasi-unipotent local monodromies at infinity on a smooth quasiprojective complex variety $X$ is integral. This answers…

We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification,…

This paper is devoted to the study of various aspects of deformations of log pairs, especially in connection to questions related to the invariance of singularities and log plurigenera. In particular, using recent results from the minimal…

We study some symplectic geometric aspects of rationally connected 4-folds. As a corollary, we prove that any smooth projective 4-fold symplectic deformation equivalent to a Fano 4-fold of pseudo-index at least 2 or a rationally connected…

We prove that the K-theory of an exact quasicategory can be computed via a higher categorical variant of the Q construction. This construction yields a quasicategory whose weak homotopy type is a delooping of the K-theory space. We show…

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…

We develop a theory of motives with compact support for logarithmic schemes over a field. Starting from the notion of finite logarithmic correspondences with compact support, we define the logarithmic motive with compact support analogous…

Cohomology support loci of rank one local systems of a smooth quasiprojective complex algebraic variety are finite unions of torsion-translated complex subtori of the character variety of the fundamental group. Tangent spaces of the…

We show Fujita's spectrum conjecture for $\epsilon$-log canonical pairs and Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize the pseudo-effective threshold of a single divisor to multiple divisors and establish…