Related papers: Test ideals in non-Q-Gorenstein rings
Let $(R,m)$ be a Noetherian local ring and $I$ an ideal with finite projective dimension. If $R/I$ satisfies some property $\mathcal{P}$, it is natural to ask whether $R$ would also satisfy this property $\mathcal{P}$. This is called the…
This paper explores the duality between ideals of the ring $B_1(X)$ of all real valued Baire one functions on a topological space $X$ and typical families of zero sets, called $Z_B$-filters, on $X$. As a natural outcome of this study, it is…
We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$.
Given an Artinian local ring $R$, we define its Gorenstein colength $g(R)$ to measure how closely we can approximate $R$ by a Gorenstein Artin local ring. In this paper, we show that $R = T/I$ satisfies the inequality $g(R) \leq…
We consider standard graded toric rings $R_{\Delta}$ whose generators correspond to the faces of a simplicial complex $\Delta$. When $R_{\Delta}$ is normal, it is shown that its divisor class group is free. For a flag complex $\Delta$ which…
Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B…
Let $R$ be a commutative Noetherian local ring, $\mathfrak{G}$ a Gabriel topology on $R$, and $\mathfrak{G}^\ast$ the set of all maximal elements of Spec($R)\backslash \mathfrak{G}$. We determine all simple $\mathfrak{G}$-torsion free…
We prove that if R is a principal ideal ring and A\in\M_n(R) is a matrix with trace zero, then A is a commutator, that is, A=XY-YX for some X,Y\in\M_n(R). This generalises the corresponding result over fields due to Albert and Muckenhoupt,…
We study criteria for a ring - or more generally, for a small category - to be Gorenstein and for a module over it to be of finite projective dimension. The goal is to unify the universal coefficient theorems found in the literature and to…
For a graded domain $R=k[X_0,...,X_m]/J$ over an arbitrary domain $k$, it is shown that the ideal generated by elements of degree $\geq mA$, where $A$ is the least common multiple of the weights of the $X_i$, is a normal ideal.
Let $J$ be any ideal in a strongly $F$-regular, diagonally $F$-split ring $R$ essentially of finite type over an $F$-finite field. We show that $J^{s+t} \subseteq \tau(J^{s - \epsilon}) \tau(J^{t-\epsilon})$ for all $s, t, \epsilon > 0$ for…
For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…
Given a minimal set of generators $\bold{x}$ of an ideal $I$ of height d in a regular local ring ($R, m, k$) we prove several cases for which the map $K_d(\bold{x}; R) \otimes k \to \Tor_d^R (R/I, k)$ is the 0-map. As a consequence of the…
The third named author and P\'{e}rez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the…
Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$.…
For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…
Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…
Let $I$ be a homogeneous ideal in $R=\mathbb K[x_0,\ldots,x_n]$, such that $R/I$ is an Artinian Gorenstein ring. A famous theorem of Macaulay says that in this instance $I$ is the ideal of polynomial differential operators with constant…
Let $X$ be a normal, excellent, noetherian scheme over $\operatorname{Spec}\mathbb{Q}$ with a dualizing complex. In this note, we find an alternate characterization of the multiplier ideal of $X$, as defined by de Fernex-Hacon, by…
Let $R$ be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let $I$ be an $R$--ideal with $g=\height I >0$, analytic spread $\ell$, and let $J$ be a minimal reduction of $I$. We further assume that $I$…