Related papers: Test ideals in non-Q-Gorenstein rings
We prove that the finitistic test ideal $\tau_{\rm fg}(R, \Delta, \mathfrak{a}^t)$ coincides with the big test ideal $\tau_{\rm b}(R, \Delta, \mathfrak{a}^t)$ if the pair $(R,\Delta)$ is numerically log $\mathbb{Q}$-Gorenstein.
Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results…
Suppose $(X, \Delta)$ is a log-$\bQ$-Gorenstein pair. Recent work of M. Blickle and the first two authors gives a uniform description of the multiplier ideal $\mJ(X;\Delta)$ (in characteristic zero) and the test ideal $\tau(X;\Delta)$ (in…
The test ideal $\tau(R)$ of a ring $R$ of prime characteristic is an important object in the theory of tight closure. In this paper, we study a generalization of the test ideal, which is the ideal $\tau(\a^t)$ associated to a given ideal…
Suppose that $R$ is a ring essentially of finite type over a perfect field of characteristic $p > 0$ and that $a \subseteq R$ is an ideal. We prove that the set of $F$-jumping numbers of $\tau_b(R; a^t)$ has no limit points under the…
Hara and Smith independently proved that in a normal $\mQ$-Gorenstein ring of characteristic $p \gg 0$, the test ideal coincides with the multiplier ideal associated to the trivial divisor. We extend this result for a pair $(R, \Delta)$ of…
Many results are known about test ideals and $F$-singularities for ${\bf Q}$-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra $O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ...$…
Consider a pair $(R, \ba^t)$ where $R$ is a ring of positive characteristic, $\ba$ is an ideal such that $a \cap $R^{\circ} \neq \emptyset$, and $t > 0$ is a real number. In this situation we have the ideal $\tau_R(\ba^t)$, the generalized…
Let $R=k[x_1, ..., x_n]/(x_1^d + ... + x_n^d)$, where $k$ is a field of characteristic $p$, $p$ does not divide $d$ and $n \geq 3$. We describe a method for computing the test ideal for these diagonal hypersurface rings. This method…
Let $(X, \Delta)$ be a log pair in characteristic $p>0$ and $P$ be a (not necessarily closed) point of $X$. We show that there exists a constant $\delta>0$ such that $\tau(X, \Delta)_P= \tau(X, \Delta + D)_P$ for each effective…
Utilizing ultraproducts, Schoutens constructed a big Cohen-Macaulay algebra $\mathcal{B}(R)$ over a local domain $R$ essentially of finite type over $\mathbb{C}$. We show that if $R$ is normal and $\Delta$ is an effective $\mathbb{Q}$-Weil…
We prove that the $F$-jumping numbers of the test ideal $\tau(X; \Delta, \ba^t)$ are discrete and rational under the assumptions that $X$ is a normal and $F$-finite variety over a field of positive characteristic $p$, $K_X+\Delta$ is…
Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$…
The generalized test ideals introduced in [HY] are related to multiplier ideals via reduction to characteristic p. In addition, they satisfy many of the subtle properties of the multiplier ideals, which in characteristic zero follow via…
Assume that $X$ is an affine toric variety of characteristic $p > 0$. Let $\Delta$ be an effective toric $Q$-divisor such that $K_X+\Delta$ is $Q$-Cartier with index not divisible by $p$ and let $\phi_{\Delta}:F^e_* O_X \to O_X$ be the…
We provide a formula to compute the big Cohen-Macaulay test ideal for triples $((R,\Delta),\mathfrak{a}^{t})$ where $R$ is a mixed characteristic toric ring and $\mathfrak{a}$ is a monomial ideal. Of particular interest is that this result…
We introduce a new variant of tight closure associated to any fixed ideal $\a$, which we call $\a$-tight closure, and study various properties thereof. In our theory, the annihilator ideal $\tau(\a)$ of all $\a$-tight closure relations,…
This paper is concerned with existence of big tight closure test elements for a commutative Noetherian ring $R$ of prime characteristic $p$. Let $R^{\circ}$ denote the complement in $R$ of the union of the minimal prime ideals of $R$. A big…
We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed…
We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic $p$ for complete rings over a field $K$. Then we prove some results showing that Jacobian ideals…