Related papers: On the arithmetic of tight closure

We show that for ideals primary to a maximal ideal in a normal domain of finite type over the complex numbers, its tight closure is contained inside the continuous closure.

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…

It is well known that a triangulation of a closed 2-manifold is tight with respect to a field of characteristic two if and only if it is neighbourly; and it is tight with respect to a field of odd characteristic if and only if it is…

It is an open question whether tight closure commutes with localization in quotients of a polynomial ring in finitely many variables over a field. Katzman showed that tight closure of ideals in these rings commutes with localization at one…

This paper continues the investigation of quasilength, of content of local cohomology with respect to generators of the support ideal, and of robust algebras begun in joint work of Hochster and Huneke. We settle several questions raised by…

The F-threshold $c^J(\a)$ of an ideal $\a$ with respect to the ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We show that under mild assumptions, we can detect…

We define a closure operation for ideals in a commutative ring which has all the good properties of solid closure (at least in the case of equal characteristic) but such that also every ideal in a regular ring is closed. This gives in…

Let $(S, m)$ be an $n$-dimensional regular local ring essentially of finite type over a field and let $I$ be an ideal of $S$. We prove that if $\text{depth} S/I \ge 3$, then the cohomological dimension $\mathrm{cd}(S, I)$ of $I$ is less…

This paper is concerned with tight closure in a commutative Noetherian ring $R$ of prime characteristic $p$, and is motivated by an argument of K. E. Smith and I. Swanson that shows that, if the sequence of Frobenius powers of a proper…

We use geometric and cohomological methods to show that given a degree bound for membership in ideals of a fixed degree type in the polynomial ring P=k[x_0,..., x_d], one obtains a good generic degree bound for membership in the tight…

In this paper we give an upper bound, in characteristic 0, for the cohomological dimension of a graded ideal in a polynomial ring such that the quotient has depth at least 3. In positive characteristic the same bound holds true by a…

The following system of equations {x_1 \cdot x_1=x_2, x_2 \cdot x_2=x_3, 2^{2^{x_1}}=x_3, x_4 \cdot x_5=x_2, x_6 \cdot x_7=x_2} has exactly one solution in ({\mathbb N}\{0,1})^7, namely (2,4,16,2,2,2,2). Hypothesis 1 states that if a system…

A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…

The purpose of this note is to show a new series of examples of homogeneous ideals $I$ in ${\mathbb K}[x,y,z,w]$ for which the containment $I^{(3)}\subset I^2$ fails. These ideals are supported on certain arrangements of lines in ${\mathbb…

This paper is concerned with the tight closure of an ideal $I$ in a commutative Noetherian ring $R$ of prime characteristic $p$. The formal definition requires, on the face of things, an infinite number of checks to determine whether or not…

Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite…

In this paper we exhibit an example of a three-dimensional regular local domain (A, n) having a height-two prime ideal P with the property that the extension PA^ of P to the n-adic completion A^ of A is not integrally closed. We use a…

We give an algebraic characterization of the affine $3$-space over an algebraically closed field of arbitrary characteristic. We use this characterization to reformulate the following question. Let $$A=k[X, Y, Z, T]/(XY+Z^{p^e}+T+T^{sp})$$…

Twisted complex $K$-theory can be defined for a space $X$ equipped with a bundle of complex projective spaces, or, equivalently, with a bundle of C$^*$-algebras. Up to equivalence, the twisting corresponds to an element of $H^3(X;\Z)$. We…

We prove the characteristic zero case of Zilber's Restricted Trichotomy Conjecture. That is, we show that if $\mathcal M$ is any non-locally modular strongly minimal structure interpreted in an algebraically closed field $K$ of…