Kurs:Computation of tight closure (Ann Arbor 2012)/Lecture 3

In this lecture we want to discuss how tight closure inclusion or non-inclusion behaves when we change the data a little bit. We may change the characteristic, or some parameters in the equations defining the rings, or some parameters in the generators defining the ideals. If ${}\operatorname {Syz} {\left(f_{1},\ldots ,f_{n}\right)}(m)$ is strongly semistable and of positive (or negative) degree, then it is ample (or antiample). This is an open property, so deforming some parameters will not change tight closure inclusion or exclusion. However, if ${}\operatorname {Syz} {\left(f_{1},\ldots ,f_{n}\right)}(m)$ is strongly semistable of degree ${}0$, then small pertubations may destroy strong semistability and hence affect tight closure inclusion or exclusion.

Affineness under deformations

We consider a base scheme ${}B$ and a morphism

$Z\longrightarrow B$

together with an open subscheme ${}W\subseteq Z$. For every base point ${}b\in B$ we get the open subset

${}W_{b}\subseteq Z_{b}\,$

inside the fiber ${}Z_{b}$. It is a natural question to ask how properties of ${}W_{b}$ vary with ${}b$. In particular we may ask how the cohomological dimension of ${}W_{b}$ varies and how the affineness may vary.

In the algebraic setting we have a ${}D$-algebra ${}S$ and an ideal ${}{\mathfrak {a}}\subseteq S$ (so ${}B=\operatorname {Spec} {\left(D\right)}$, ${}Z=\operatorname {Spec} {\left(S\right)}$ and ${}W=D({\mathfrak {a}})$) which defines for every prime ideal ${}{\mathfrak {p}}\in \operatorname {Spec} {\left(D\right)}$ the extended ideal ${}{\mathfrak {a}}_{\mathfrak {p}}$ in ${}S\otimes _{D}\kappa ({\mathfrak {p}})$.

This question is already interesting when ${}B=\operatorname {Spec} {\left(D\right)}$ is an affine one-dimensional integral scheme, in particular in the following two situations.

1. ${}B=\operatorname {Spec} {\left(\mathbb {Z} \right)}$. Then we speak of an arithmetic deformation and want to know how affineness varies with the characteristic and what the relation is to characteristic zero.
2. ${}B={\mathbb {A} }_{K}^{1}=\operatorname {Spec} {\left(K[t]\right)}$, where ${}K$ is a field. Then we speak of a geometric deformation and want to know how affineness varies with the parameter ${}t$, in particular how the behavior over the special points where the residue class field is algebraic over ${}K$ is related to the behavior over the generic point.

It is fairly easy to show that if the open subset in the generic fiber is affine, then also the open subsets are affine for almost all special points.

We will deal with this question when ${}W$ is a torsor over a family of smooth projective curves (or a torsor over a punctured two-dimensional spectrum). The arithmetic as well as the geometric variant of this question are directly related to questions in tight closure theory. Because of the degree criteria in the strongly semistable case explained in the last lecture, a weird behavior of the affineness property of torsors is only possible if we have a weird behavior of strong semistability.

Arithmetic deformations

We start with the arithmetic situation, the following example is due to Brenner and Katzman.

Example

Consider ${}\mathbb {Z} [x,y,z]/{\left(x^{7}+y^{7}+z^{7}\right)}$ and take the ideal ${}I={\left(x^{4},y^{4},z^{4}\right)}$ and the element ${}f=x^{3}y^{3}$. Consider reductions ${}\mathbb {Z} \rightarrow \mathbb {Z} /(p)$. Then

$f\in I^{*}{\text{ holds in }}\mathbb {Z} /(p)[x,y,z]/(x^{7}+y^{7}+z^{7}){\text{ for }}p\equiv 3\!\!\!\mod 7$

and

$f\not \in I^{*}{\text{ holds in }}\mathbb {Z} /(p)[x,y,z]/(x^{7}+y^{7}+z^{7}){\text{ for }}p\equiv 2\!\!\!\mod 7.$

In particular, the bundle ${}\operatorname {Syz} {\left(x^{4},y^{4},z^{4}\right)}$ is semistable in the generic fiber, but not strongly semistable for any reduction ${}p\equiv 2\!\!\!\mod 7$. The corresponding torsor is an affine scheme for infinitely many prime reductions and not an affine scheme for infinitely many prime reductions.

In terms of affineness (or local cohomology) this example has the following properties: the ideal

${}(x,y,z)\subseteq \mathbb {Z} /(p)[x,y,z,s_{1},s_{2},s_{3}]/{\left(x^{7}+y^{7}+z^{7},s_{1}x^{4}+s_{2}y^{4}+s_{3}z^{4}+x^{3}y^{3}\right)}\,$

has cohomological dimension ${}1$ if ${}p=3\mod 7$ and has cohomological dimension ${}0$ (equivalently, $D(x,y,z)$ is an affine scheme) if ${}p=2\mod 7$.

Geometric deformations - A counterexample to the localization problem

Let ${}S\subseteq R$ be a multiplicative system and ${}I$ an ideal in ${}R$. Then the localization problem of tight closure is the question whether the identity

${}(I^{*})_{S}=(IR_{S})^{*}\,$

holds.

Here the inclusion ${}\subseteq$ is always true and ${}\supseteq$ is the problem. The problem means explicitly:

if ${}f\in (IR_{S})^{*}$, can we find an ${}h\in S$ such that ${}hf\in I^{*}$ holds in ${}R$?

Proposition

Let

${}\mathbb {Z} /(p)\subset D$ be a one-dimensional domain and ${}D\subseteq R$ of finite type, and ${}I$ an ideal in ${}R$. Suppose that localization holds and that

$f\in I^{*}{\text{ holds in }}R\otimes _{D}Q(D)=R_{D^{*}}=R_{Q(D)}$

(${}S=D^{*}=D\setminus \{0\}$ is the multiplicative system). Then ${}f\in I^{*}$ holds in ${}R\otimes _{D}\kappa ({\mathfrak {p}})$ for almost all ${}{\mathfrak {p}}$ in Spec ${}D$.

Proof

By localization, there exists

${}h\in D$, ${}h\neq 0$, such that ${}hf\in I^{*}{\text{ in }}R$.

By persistence of tight closure (under a ring homomorphism) we get

$hf\in I^{*}{\text{ in }}R_{\kappa ({\mathfrak {p}})}.$

The element ${}h$ does not belong to ${}{\mathfrak {p}}$ for almost all ${}{\mathfrak {p}}$, so ${}h$ is a unit in ${}R_{\kappa ({\mathfrak {p}})}$ and hence

$f\in I^{*}{\text{ in }}R_{\kappa ({\mathfrak {p}})}$

for almost all ${}{\mathfrak {p}}$.

$\Box$

In order to get a counterexample to the localization property we will look now at geometric deformations:

${}D={\mathbb {F} }_{p}[t]\subset {\mathbb {F} }_{p}[t][x,y,z]/(g)=S\,,$

where ${}t$ has degree ${}0$ and ${}x,y,z$ have degree ${}1$ and ${}g$ is homogeneous. Then (for every field ${}{\mathbb {F} }_{p}[t]\subseteq K$)

$S\otimes _{{\mathbb {F} }_{p}[t]}K$

is a two-dimensional standard-graded ring over ${}K$. For residue class fields of points of ${}{\mathbb {A} }_{{\mathbb {F} }_{p}}^{1}=\operatorname {Spec} {\left({\mathbb {F} }_{p}[t]\right)}$ we have basically two possibilities.

• ${}K={\mathbb {F} }_{p}(t)$,

the function field. This is the generic or transcendental case.

${}K={\mathbb {F} }_{q}$, the special or algebraic or finite case.

How does ${}f\in I^{*}$ vary with ${}K$? To analyze the behavior of tight closure in such a family we can use what we know in the two-dimensional standard-graded situation.

In order to establish an example where tight closure does not behave uniformly under a geometric deformation we first need a situation where strong semistability does not behave uniformly. Such an example was given, in terms of Hilbert-Kunz theory, by Paul Monsky in 1998.

Example

Let

${}g=z^{4}+z^{2}xy+z(x^{3}+y^{3})+(t+t^{2})x^{2}y^{2}\,.$

Consider

${}S={\mathbb {F} }_{2}[t,x,y,z]/(g)\,.$

Then Monsky proved the following results on the Hilbert-Kunz multiplicity of the maximal ideal ${}(x,y,z)$ in ${}S\otimes _{{\mathbb {F} }_{2}[t]}L$, ${}L$ a field:

${}e_{HK}(S\otimes _{\mathbb {F} _{2}[t]}L)={\begin{cases}3{\text{ for }}L={\mathbb {F} }_{2}(t)\\3+{\frac {1}{4^{d}}}{\text{ for }}L={\mathbb {F} }_{q}={\mathbb {F} }_{2}(\alpha ),\,(t\mapsto \alpha ,\,d=\deg(\alpha ))\,.\end{cases}}\,$

By the geometric interpretation of Hilbert-Kunz theory this means that the restricted cotangent bundle

${}\operatorname {Syz} {\left(x,y,z\right)}=(\Omega _{{\mathbb {P} }_{}^{2}}){|}_{C}\,$

is strongly semistable in the transcendental case, but not strongly semistable in the algebraic case. In fact, for ${}d=\deg(\alpha )$, ${}t\mapsto \alpha$, where ${}L=\mathbb {F} _{2}(\alpha )$, the ${}d$-th Frobenius pull-back destabilizes (meaning that it is not semistable anymore).

The maximal ideal ${}(x,y,z)$ can not be used directly. However, we look at the second Frobenius pull-back which is (characteristic two) just

${}I={\left(x^{4},y^{4},z^{4}\right)}\,.$

By the degree formula we have to look for an element of degree ${}6$. Let's take ${}f=y^{3}z^{3}$. This is our example ($x^{3}y^{3}$ does not work). First, by strong semistability in the transcendental case we have

$f\in I^{*}{\text{ in }}S\otimes {\mathbb {F} }_{2}(t)$

by the degree formula. If localization would hold, then ${}f$ would also belong to the tight closure of ${}I$ for almost all algebraic instances ${}{\mathbb {F} }_{q}={\mathbb {F} }_{2}(\alpha )$, ${}t\mapsto \alpha$. Contrary to that we show that for all algebraic instances the element ${}f$ belongs never to the tight closure of ${}I$.

Lemma

Let

${}{\mathbb {F} }_{q}={\mathbb {F} }_{p}(\alpha )$, ${}t\mapsto \alpha$, ${}\deg(\alpha )=d$. Set ${}Q=2^{d-1}$. Then

${}xyf^{Q}\notin I^{[Q]}\,.$

Proof

This is an elementary but tedious computation.

$\Box$

Theorem

Tight closure does not commute with localization.

Proof

One knows in our situation that ${}xy$ is a so-called test element. Hence the previous Lemma shows that ${}f\notin I^{*}$.

$\Box$

In terms of affineness (or local cohomology) this example has the following properties: the ideal

${}(x,y,z)\subseteq {\mathbb {F} }_{2}(t)[x,y,z,s_{1},s_{2},s_{3}]/{\left(g,s_{1}x^{4}+s_{2}y^{4}+s_{3}z^{4}+y^{3}z^{3}\right)}\,$

has cohomological dimension ${}1$ if ${}t$ is transcendental and has cohomological dimension ${}0$ (equivalently, $D(x,y,z)$ is an affine scheme) if ${}t$ is algebraic.

Corollary

Tight closure is not plus closure in graded dimension two for fields with transcendental elements.

Proof

Consider

${}R={\mathbb {F} }_{2}(t)[x,y,z]/(g)\,.$

In this ring ${}y^{3}z^{3}\in I^{*}$,

but it can not belong to the plus closure. Else there would be a curve morphism ${}Y\to C_{{\mathbb {F} }_{2}(t)}$ which annihilates the cohomology class ${}c$ and this would extend to a morphism of relative curves almost everywhere.

$\Box$

Generic results

Is it more difficult to decide whether an element belongs to the tight closure of an ideal or to the ideal itself? We discuss one situation where this is easier for tight closure.

Suppose that we are in a graded situation of a given ring (or a given ring dimension) and have fixed a number (at least the ring dimension) of homogeneous generators and their degrees. Suppose that we want to know the degree bound for (tight closure or ideal) inclusion for generic choice of the ideal generators. Generic means that we write the coefficients of the generators as indeterminates and consider the situation over the (large)

affine space corresponding to these indeterminates or over its function field. This problem is already interesting and difficult for the polynomial ring: Suppose we are in ${}P=K[X,Y,Z]$ and want to study the generic inclusion bound for say ${}n\geq 4$ generic polynomials ${}F_{1},\ldots ,F_{n}$ all of degree ${}a$. What is the minimal degree number ${}m$ such that ${}P_{\geq m}\subseteq (F_{1},\ldots ,F_{n})$. The answer is

$\left\lceil {\frac {1}{2(n-1)}}{\left(3-3n+2an+{\sqrt {1-2n+n^{2}+4a^{2}n}}\right)}\right\rceil .$

This rests on the fact that the Fröberg conjecture is solved in dimension ${}3$ by D. Anick

(the Fröberg conjecture gives a precise description of the Hilbert function for an ideal in a polynomial ring which is generically generated. Here we only need to know in which degree the Hilbert function of the residue class ring becomes ${}0$).

The corresponding generic ideal inclusion bound for arbitrary graded rings depends heavily (already in the parameter case) on the ring itself. Surprisingly, the generic ideal inclusion bound for tight closure does not depend on the ring and is only slightly worse than the bound for the polynomial ring. The following theorem is due to Brenner and Fischbacher-Weitz.

Theorem

Let ${}d\geq 1$ and ${}a_{1},\ldots ,a_{n}$ be natural numbers, ${}n\geq d+1$. Let ${}K[x_{0},x_{1},\ldots ,x_{d}]\subseteq R$ be a finite extension of standard-graded domains (a graded Noether normalization). Suppose that there exist ${}n$ homogeneous polynomials ${}g_{1},\ldots ,g_{n}$ in ${}P=K[x_{0},x_{1},\ldots ,x_{d}]$ with ${}\operatorname {deg} \,(g_{i})=a_{i}$ such that ${}P_{\geq m}\subseteq {\left(g_{1},\ldots ,g_{n}\right)}$.

Then

1. ${}R_{m+d}\subseteq {\left(f_{1},\ldots ,f_{n}\right)}^{*}$ holds in the generic point of the parameter space of homogeneous elements ${}f_{1},\ldots ,f_{n}$ in ${}R$ of this degree type (the coefficients of the ${}f_{i}$ are taken as indeterminates).
2. If ${}R$ is normal, then ${}R_{m+d+1}\subseteq {\left(f_{1},\ldots ,f_{n}\right)}^{F}\subseteq {\left(f_{1},\ldots ,f_{n}\right)}^{*}$ holds for (open) generic choice of homogeneous elements ${}f_{1},\ldots ,f_{n}$ in ${}R$ of this degree type.

Example

Suppose that we are in ${}K[x,y,z]$ and that ${}n=4$ and ${}a=10$. Then the generic degree bound for ideal inclusion in the polynomial ring is ${}19$. Therefore by Theorem 3.7 the generic degree bound for tight closure inclusion in a three-dimensional graded ring is ${}21$.

Example

Suppose that ${}n=d+1$ in the situation of Theorem 3.7. Then the generic elements ${}f_{1},\ldots ,f_{d+1}$ are parameters. In the polynomial ring ${}P=K[x_{0},x_{1},\ldots ,x_{d}]$ we have for parameters of degree ${}a_{1},\ldots ,a_{d+1}$ the inclusion

${}P_{\geq \sum _{i=0}^{d}a_{i}-d}\subseteq {\left(f_{1},\ldots ,f_{d+1}\right)}\,,$

because the graded Koszul resolution ends in ${}R(-\sum _{i=0}^{d}a_{i})$ and

$(H_{\mathfrak {m}}^{d+1}(P))_{k}=0{\text{ for }}k\geq -d.$

So the theorem implies for a graded ring ${}R$ finite over ${}P$ that ${}\subseteq (f_{1},\ldots ,f_{d+1})^{*}$ holds for generic elements. But by the graded Briançon-Skoda Theorem (see Theorem 1.5) this holds for parameters even without the generic assumption.

Footnotes

Pdf-version