Adjoint asymptotic multiplier ideal sheaves associated to potential triples

Abstract

In this paper, we explore the geometry of potential triples $(X,Δ,D)$, which by definition consists of a pair $(X,Δ)$ and an $\mathbb{R}$-Cartier pseudoeffective divisor $D$ on $X$. We define and study the asymptotic multiplier ideal sheaf $\mathcal{J}(X,Δ,\lVert D\rVert)$ associated to a potential triple $(X,Δ,D)$. As a first main result, when $D$ is big, we prove that the condition $\mathcal{J}(X,Δ,\lVert D\rVert)=\mathcal{O}_{X}$ is equivalent to the triple $(X,Δ,D)$ being potentially klt, which is a klt analog of the pair $(X,Δ)$. We also study the closed set defined by the ideal sheaf $\mathcal{J}(X,Δ,\lVert D\rVert)$ and prove a Nadel type cohomology vanishing theorem for $\mathcal{J}(X,Δ,\lVert D\rVert)$. As an application of the main result, we prove that we can run the $(K_X+Δ+D)$-MMP with scaling of an ample divisor for a pklt triple $(X,Δ,D)$.

Theorems & Definitions (54)

• Theorem 1.1
• Theorem 1.2
• Theorem 1.3
• Lemma 2.1: Nak
• Definition 2.2
• Definition 2.3
• Definition 2.4
• Lemma 2.5
• proof
• Proposition 2.6