Bounds for test exponents

The Frobenius test exponent $\operatorname{Fte}(R)$ of a local ring $(R,\mathfrak{m})$ of prime characteristic $p > 0$ is the smallest $e_0 \in \mathbb{N}$ such that for every ideal $\mathfrak{q}$ generated by a (full) system of parameters, the Frobenius closure $\mathfrak{q}^F$ has $(\mathfrak{q}^F)^{[p^{e_0}]} = \mathfrak{q}^{[p^{e_0}]}$. We establish a suffcient condition for $\operatorname{Fte}(R)<\infty$ and use it to show that if $R$ is such that the Frobenius closure o...

It was previously known, by work of Smith-Swanson and of Sharp-Nossem, that the linear growth property of primary decompositions of Frobenius powers of ideals in rings of prime characteristic has strong connections to the localization problem in tight closure theory. The localization problem has recently been settled in the negative by Brenner and Monsky, but the linear growth question is still open. We study growth of primary decompositions of Frobenius powers of dimension o...

We prove that the tight closure and the graded plus closure of a homogeneous ideal coincide for a two-dimensional N-graded domain of finite type over the algebraic closure of a finite field. This answers in this case a ``tantalizing question'' of Hochster.

This article extends the notion of a Frobenius power of an ideal in prime characteristic to allow arbitrary nonnegative real exponents. These generalized Frobenius powers are closely related to test ideals in prime characteristic, and multiplier ideals over fields of characteristic zero. For instance, like these well-known families of ideals, Frobenius powers also give rise to jumping exponents that we call critical Frobenius exponents. In fact, the Frobenius powers of a prin...

Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is $F$-finite (that is, is finitely generated when viewed as a module over itself via the Frobenius homomorphism). Two of the afore-mentioned three sets have links to tight closure, via test ideals. Among the aims of the paper are a proof that two ...

In the ring R=K[X,Y,Z]/(X^3+Y^3+Z^3), where K is a field of prime characteristic p other than 3, determining the tight closure of the ideal (X^2, Y^2, Z^2)R had existed as a classic example of the difficulty involved in tight closure computations. We settle this question, compute the Frobenius closure of this ideal, and generalize these results to the diagonal hypersurfaces K[X_1,...,X_n]/(X_1^n + ... + X_n^n).

In this paper we show that the Frobenius test exponent for parameter ideals of a local ring of prime characteristic is always bigger than or equal to its Hartshorne-Speiser-Lyubeznik number. Our argument is based on an isomorphism of Nagel and Schenzel on local cohomology that we will provide an elementary proof.

Let $\mathbf{k}$ be a field which is either finite or algebraically closed and let $R = \mathbf{k}[x_1,\ldots,x_n].$ We prove that any $g_1,\ldots,g_s\in R$ homogeneous of positive degrees $\le d$ are contained in an ideal generated by an $R_t$-sequence of $\le A(d)(s+t)^{B(d)}$ homogeneous polynomials of degree $\le d,$ subject to some restrictions on the characteristic of $\mathbf{k}.$ This yields effective bounds for new cases of Ananyan and Hochster's theorem A in arXiv:1...

Over an arbitrary field $\mathbb{F}$, Harbourne conjectured that $$I^{(N (r-1)+1)} \subseteq I^r$$ for all $r>0$ and all homogeneous ideals $I$ in $S = \mathbb{F} [\mathbb{P}^N] = \mathbb{F} [x_0, \ldots, x_N]$. The conjecture has been disproven for select values of $N \ge 2$: first by Dumnicki, Szemberg, and Tutaj-Gasi\'{n}ska in characteristic zero, and then by Harbourne and Seceleanu in odd positive characteristic. However, the ideal containments above do hold when, for in...

Let $R=k[x_1,\dots,x_n]/I$ be a standard graded $k$-algebra where $k$ is a field of prime characteristic and let $J$ be a homogeneous ideal in $R$. Denote $(x_1,\dots,x_n)$ by $\mathfrak{m}$. We prove that there is a constant $C$ (independent of $e$) such that the regularity of $H^s_{\mathfrak{m}}(R/J^{[p^e]})$ is bounded above by $Cp^e$ for all $e\geq 1$ and all integers $s$ such that $s+1$ is at least the dimension of the locus where $R/J$ doesn't have finite projective dim...