Abstract. We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair (X, ∆) is plt if and only if the modulo p reduction of (X, ∆) is divisorially F-regular for all large p ≫ 0. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe [10] in terms of Frobenius splitting.
IntroductionThe multiplier ideal sheaf J (X, D) associated to a log pair (X, D) (i.e., X is a normal complex variety and D is an R-divisor on X) is defined in terms of resolution of singularities and discrepancy divisors, and one can view this ideal sheaf as measuring how singular the pair (X, D) is. However, when X is smooth and D is a (Cartier) integral divisor on X, the multiplier ideal sheaf J (X, D) is nothing but O X (−D) and does not reflect the singularities of (X, D). On the other hand, the adjoint ideal sheaf adj(X, ∆) of a boundary ∆ (i.e., ∆ = i d i ∆ i is an R-divisor with 0 ≤ d i ≤ 1) on X is a variant of the multiplier ideal sheaf J (X, ∆), and it encodes much information on the singularities of (X, ∆) even when ∆ is a Cartier integral divisor. Ein-Lazarsfeld [6] and Debarre-Hacon [4] used the adjoint ideal sheaf to study the singularities of ample divisors of low degree on abelian varieties. Kawakita [16] used the adjoint ideal sheaf to prove inversion of adjunction on log canonicity. The purpose of this paper is to give an interpretation of the adjoint ideal sheaf via a variant of tight closure.Tight closure is an operation defined on ideals or modules in positive characteristic. It was introduced by Hochster-Huneke [13] in the 1980s. The notions of F-regular rings and F-rational rings are defined via tight closure, and they turned out to correspond to log terminal and rational singularities, respectively ([7], [10], [21], [23]). This result is generalized to the correspondence of the test ideal and the multiplier ideal of the trivial divisor ([8], [24]). Here, the test ideal τ (R) of a Noetherian local ring (R, m) of prime characteristic p is the annihilator ideal of the tight closure 0 * E R (R/m) of the zero submodule in the injective hull E R (R/m) of the residue field R/m of R, and it plays a central role in the theory of tight closure. Since we can enjoy the usefulness of multiplier ideals only when they are associated to various ideals or divisors, Hara- In this paper, we introduce another generalization of tight closure associated to any given boundary, called divisorial tight closure, and investigate its properties. Let (R, m) be a Noetherian normal local ring of characteristic p > 0 and ∆ be a boundary on X := Spec R. Then the divisorial ∆-tight closure I div * ∆ of an ideal I ⊆ R is the ideal consisting of all elements x ∈ R for which there exists c ∈ R not in any minimal prime ideal of H 0 (X, O X (−⌊∆⌋)) such thatfor all large q = p e , where I [q] is the ideal generated by the q-th powers of elements of I. If N ⊆ M are R-modules, then the divisorial ∆-tig...