Benutzer:Bocardodarapti/Talk in Zürich Oktober 2008/latex
\seitenueberschrift{ Deformations of vector bundles and the localization problem in tight closure theory}
Let $R$ be a noetherian domain of positive characteristic, let
\maabbeledisp {F} {R} {R
} {f} {f^p
} {,}
be the \definitionswort {Frobenius homomorphism}{} and
\maabbeledisp {F^e} {R} {R
} {f} {f^q
} {}
\zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{ q
}
{ = }{ p^e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
its $e$th iteration. Let $I$ be an ideal and set
\mavergleichskettedisp
{\vergleichskette
{ I^{[q]}
}
{ =} { \text{ extended ideal of } I \text{ under } F^e
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Then define the \definitionswort {tight closure}{} of $I$ to be the ideal
\mavergleichskettedisp
{\vergleichskette
{ I^*
}
{ =} { { \left\{ f \in R \mid \text{ there exists } z \neq 0
\mathdisplaybruch \text{ such that } zf^q \in I^{[q]} \text{ for all } q=p^e \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{The localization problem}
Let
\mavergleichskette
{\vergleichskette
{ S
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a multiplicative system and $I$ an ideal in $R$. Then the
\betonung{localization problem}{} of tight closure is the question whether the identity
\mavergleichskettedisp
{\vergleichskette
{ (I^*)_S
}
{ =} { (IR_S)^*
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
holds.
Here the inclusion $\subseteq$ is always true and $\supseteq$ is the problem. The problem means explicitly:
\einrueckung{if
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ (IR_S)^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
can we find an
\mavergleichskette
{\vergleichskette
{ h
}
{ \in }{ S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
such that
\mavergleichskette
{\vergleichskette
{ hf
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds in $R$?}
Why does localization often holds?
Because an element belongs to the tight closure because of a certain reason, and this reason often localizes/globalizes.
A typical reason for belonging to the tight closure is through
\betonung{plus closure}{.}
For an ideal
\mavergleichskette
{\vergleichskette
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in a domain $R$ define its \definitionswort {plus closure}{} by
\mavergleichskettedisp
{\vergleichskette
{ I^+
}
{ =} { { \left\{ f \in R \mid \text{there exists a finite domain extension } R \subseteq T \text{ such that } f \in IT \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Equivalent: Let $R^+$ be the
\betonung{absolute integral closure}{} of $R$. This is the integral closure of $R$ in an algebraic closure of the quotient field $Q(R)$
\zusatzklammer {first considered by Artin \cite{artinjoins}} {} {.}
Then
\mathdisp {f \in I^+ \text{ if and only if } f \in IR^+} { . }
The plus closure commutes with localization.
We also have the inclusion
\mavergleichskette
{\vergleichskette
{ I^+
}
{ \subseteq }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Here the question arises:
Question: Is
\mavergleichskette
{\vergleichskette
{ I^+
}
{ = }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{?}
This question is known as the
\betonung{tantalizing question}{} in tight closure theory.
One should think of the left hand side as a geometric condition and of the right hand side as a cohomological conditon (later).
In dimension two tight closure always localizes. However, a positive answer to the tantalizing question in dimenson two in general would imply the localization property in dimension three.
It is difficult in general to get hold of tight closure and plus closure, they are difficult to compute. We will describe now a specific situation where one has a kind of geometric interpretation for and a detailed understanding of tight closure.
\zwischenueberschrift{Forcing algebras}
Forcing algebras, introduced by Hochster, give a new interpretation of tight closure.
\inputdefinition
{}
{Let $R$ be a commutative ring and let
\mathl{f_1 , \ldots , f_n}{} and $f$ be elements in $R$. Then the $R$-algebra
\mathdisp {R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n - f \right) }} { }
is called the \stichwort {forcing algebra} {} of these elements
\zusatzklammer {or these data} {} {.}
}
If we fix a point
\mathl{P \in \operatorname{Spec} \, R}{}, then the fiber over $P$ of the spectrum of the forcing algebra,
\mathl{\operatorname{Spec} \,A}{,} is just
\mathdisp {\operatorname{Spec} \, \kappa(P)[T_1, \ldots , T_n]/(f_1(P) T_1 + \ldots + f_n(P)T_n + f(P) )} { . }
This is the solution set to an
\betonung{inhomogeneous linear equation}{} over $\kappa(P)$, so it is an
\betonung{affine space}{} (in the sense of linear algebra) (may be empty). If the ideal
\mathl{(f_1, \ldots ,f_n)}{} is primary to $\mathfrak m$, and
\mathl{f \in \mathfrak m}{,} then the fiber over $\mathfrak m$ has dimension $n$, whereas the dimensions of the other fibers are $n-1$.
The relation between tight closure and forcing algebras is given in the following theorem.
\inputfakt{Forcing algebras/Relation to tight closure/Local cohomology/Characterization/Fakt}{Theorem}{}
{Let $R$ be a normal excellent local domain with maximal ideal ${\mathfrak m}$ over a field of positive characteristic. Let
\mathl{f_1 , \ldots , f_n}{} generate an ${\mathfrak m}$-primary ideal $I$ and let $f$ be another element in $R$. Then
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mavergleichskettedisp
{\vergleichskette
{ H^{\dim (R)}_{\mathfrak m} (A)
}
{ \neq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
where
\mavergleichskette
{\vergleichskette
{ A
}
{ = }{ R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n +f \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denotes the forcing algebra of these elements.
}
If the dimension $d$ is at least two, then
\mathdisp {H^d_{\mathfrak m} (R) \longrightarrow H^d_{\mathfrak m} (A) \cong H^d_{\mathfrak m A } (A) \cong H^{d-1}(D({\mathfrak m A }), \mathcal O_{ A })} { . }
This means that we have to look at the cohomological properties of the complement of the exceptional fiber over the closed point. If the dimension is two, then we have to look whether the first cohomology of the structure sheaf vanishes. This is true if and only if the open subset
\mathl{D(\mathfrak m A )}{} is an
\betonung{affine scheme}{} (the spectrum of a ring).
We will restrict now to the two-dimensional homogeneous case in order to work on the corresponding projective curve. We want to find an object over the curve which corresponds to the forcing algebra.
\zwischenueberschrift{Geometric interpretation in dimension two}
Let $R$ be a two-dimensional standard-graded normal domain over an algebraically closed field $K$. Let
\mavergleichskette
{\vergleichskette
{ C
}
{ = }{ \operatorname{Proj} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be the corresponding smooth projective curve and let
\mavergleichskettedisp
{\vergleichskette
{ I
}
{ =} { { \left( f_1 , \ldots , f_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
be an $R_+$-primary homogeneous ideal with generators of degrees
\mathl{d_1 , \ldots , d_n}{.} Then we get on $C$ the short exact sequence
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } (m) \longrightarrow \bigoplus_{i=1}^n{\mathcal O}_C(m-d_i) \stackrel{f_1, \ldots ,f_n}{\longrightarrow} {\mathcal O}_C (m) \longrightarrow 0} { . }
Here
\mathl{\operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } (m)}{} is a vector bundle, called the
\betonung{syzygy bundle}{,} of rank
\mathl{n-1}{} and of degree
\mathdisp {((n-1)m - \sum_{i=1}^n d_i) \operatorname{deg} \, (C)} { . }
An element
\mavergleichskettedisp
{\vergleichskette
{ f
}
{ \in} { R_m
}
{ =} {\Gamma(C, {\mathcal O}_C(m))
}
{ } {
}
{ } {
}
}
{}{}{}
defines a cohomology class
\mavergleichskettedisp
{\vergleichskette
{ c
}
{ =} { \delta(f)
}
{ \in} { H^1(C, \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } (m))
}
{ } {
}
{ } {
}
}
{}{}{.}
With this notation we have
\mathdisp {f \in I^* \text{ if and only if there exists } z \neq 0} { }
\zusatzklammer {homogeneous of some degree $k$} {} {}
such that
\mavergleichskette
{\vergleichskette
{ zF^{e*}(c)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for all $e$. This cohomology class lives in
\mavergleichskettedisp
{\vergleichskette
{ H^1(C, F^{e*} ( \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } (m)) \otimes {\mathcal O}(k))
}
{ =} { H^1(C, \operatorname{Syz} { \left( f_1^q , \ldots , f_n^q \right) } (qm+k))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
For the plus closure we have a similar correspondence:
\einrueckung{
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ I^+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if there exists a curve
\maabb {\varphi} {C'} {C
} {}
such that the pull-back
\mathl{\varphi^*(c)}{} of the cohomology class vanishes.}
For a vector bundle ${\mathcal S}$ and a cohomology class
\mathl{c \in H^1(C, \mathcal S)}{} one can construct a geometric object: Because of
\mathl{H^1(C , \mathcal S) \cong \operatorname{Ext}^1(\mathcal O_{ C }, \mathcal S)}{,} the class defines an extension
\mathdisp {0 \longrightarrow {\mathcal S} \longrightarrow {\mathcal S'} \longrightarrow {\mathcal O}_{ C } \longrightarrow 0} { }
and hence projective bundles
\mathdisp {{\mathbb P}({\mathcal S}^{*}) \subset {\mathbb P}({\mathcal S'}^{*})} { }
and the corresponding torsor
\mathdisp {T={\mathbb P}({\mathcal S'}^{*})- {\mathbb P}({\mathcal S}^{*})} { . }
This geometric object is the
\betonung{torsor}{} or
\betonung{principal fiber bundle}{} or
\betonung{affine-linear bundle}{} given by $c$. The sheaf $\mathcal S$ acts on it by translations.
In the situation of a forcing algebra for homogeneous elements, this torsor $T$ can also be obtained as
\mathl{\operatorname{Proj} \, A}{,} where $A$ is the (not necessarily positively) graded forcing algebra. In particular, it follows that the containment
\mathl{f \in I^*}{} is equivalent to the property that $T$ is not an affine variety (and
\mathl{f \in I^+}{} if and only if $T$ contains a projective curve). For these properties, positivity (ampleness) properties of the syzygy bundle are crucial. We need the concept of semistability.
\inputdefinition
{semistable and strongly semistable}
{
Let ${\mathcal S}$ be a vector bundle on a smooth projective curve $C$. It is called \stichwort {semistable} {,} if
\mavergleichskette
{\vergleichskette
{ \mu( {\mathcal T} )
}
{ = }{ \frac{\deg( {\mathcal T} )}{ \operatorname{rk}( {\mathcal T} )}
}
{ \leq }{ \frac{\deg( {\mathcal S} )}{ \operatorname{rk}({\mathcal S} )}
}
{ = }{ \mu({\mathcal S} )
}
{ }{
}
}
{}{}{}
for all subbundles ${\mathcal T}$.
Suppose that the base field has positive characteristic
\mavergleichskette
{\vergleichskette
{ p
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then ${\mathcal S}$ is called \stichwort {strongly semistable} {,} if all
\zusatzklammer {absolute} {} {}
Frobenius pull-backs
\mathl{F^{e*}( {\mathcal S} )}{} are semistable.
}
For strongly semistable syzygy bundles we get the following
\betonung{degree formula}{}; the rational number occuring in it is called the
\betonung{degree bound for tight closure}{}.
\inputfakt{tight closure/degree bound for inclusion/strongly semistable/curve case/Fakt}{Theorem}{Brenner}
{Suppose that
\mathl{\operatorname{Syz} { \left( f_1 , \ldots , f_n \right) }}{} is strongly semistable. Then
\mathdisp {R_m \subseteq I^* \text{ for } m \geq \frac{\sum d_i}{n-1} \text{ and (for almost all prime numbers) } R_m \cap I^* \subseteq I \text{ for } m < \frac{\sum d_i}{n-1}} { . }
}
In general, there exists an exact criterion depending on
\mathl{c=\delta(f)}{} and the
\betonung{strong Harder-Narasimhan filtration}{} of $\operatorname{Syz}$.
If $K$ is finite, then the same criterion holds for plus closure. Therefore we get:
\inputfakt{Tight closure/Plus closure/2 dim, standard-graded/Brenner/Fakt}{Theorem}{Brenner}
{
\faktsituation {Let $R$ be a standard-graded, two-dimensional normal domain over
\zusatzklammer {the algebraic closure of} {} {} a finite field. Let $I$ be an $R_+$-primary graded ideal.}
\faktfolgerung {Then
\mavergleichskettedisp
{\vergleichskette
{ I^*
}
{ =} { I^+
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
The first chance for a counterexample to the localization property is in dimension three. We will look at a special case of the localization problem. Since we understand now the two-dimensional situation quite well, it is natural to look at a family of two-dimesional rings and corresponding families of projective curves.
\zwischenueberschrift{Deformations of two-dimensional tight closure problems}
Let $D \subseteq R$ flat, $f$ and $I$ in $R$. For every
\mathl{D \rightarrow K}{,} $K$ a field, we can consider $f$ and $I$ in
\mathl{R \otimes_DK}{.} In particular for
\mathl{K=\kappa({\mathfrak p})}{,}
\mathl{{\mathfrak p} \in \operatorname{Spec}\, D}{.}
How does the property
\mathdisp {f \in I^* \text{ in } R \otimes_D \kappa({\mathfrak p}) \,} { }
vary with ${\mathfrak p}$?
There are two cases:
\auflistungzwei{$D$ contains $\Z/(p)$. This is a
\betonung{geometric}{} or
\betonung{equicharacteristic deformation}{.} Example
\mathl{D=\Z/(p)[t]}{.}
}{$D$ contains
\mathl{\Z \subseteq D}{.} This is an
\betonung{arithmetic}{} or
\betonung{mixed characteristic deformation}{.} Example
\mathl{D = \Z}{.} }
We deal first with the arithmetic situation.
\inputexample{Brenner-Katzman}
{
Consider
\mathl{\Z[x,y,z]/ { \left( x^7+y^7+z^7 \right) }}{} and take the ideal
\mavergleichskette
{\vergleichskette
{ I
}
{ = }{ { \left( x^4,y^4, z^4 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and the element
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ x^3y^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Consider reductions
\mathl{\Z \rightarrow \Z/(p)}{.} Then
\mathdisp {f \in I^* \text{ holds in } \Z/(p) [x,y,z]/(x^7+y^7+z^7) \text{ for } p \equiv 3 \! \! \! \mod 7} { }
and
\mathdisp {f \not\in I^* \text{ holds in } \Z/(p) [x,y,z]/(x^7+y^7+z^7) \text{ for } p \equiv 2 \! \! \! \mod 7} { . }
In particular, the bundle
\mathl{\operatorname{Syz} { \left( x^4,y^4,z^4 \right) }}{} is semistable in the generic fiber, but not strongly semistable for any reduction
\mavergleichskette
{\vergleichskette
{ 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 particular, in this example, the syzygy bundle is semistable on the generic fiber in characteristic zero, but not strongly semistable for infinitely many prime numbers. A question of Miyaoka asks whether in such a situation it is always strongly semistable for at least infinitely many prime reductions \zusatzklammer {it is not for almost all prime reductions} {} {.}
We now show that the geometric deformations are a special case of the localization problem.
\inputfaktproof
{Tight closure/localization/geometric deformation over one dimensional domain/Fakt}
{Proposition}
{}
{Let
\mavergleichskette
{\vergleichskette
{ \Z/(p)
}
{ \subset }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a one-dimensional domain and
\mavergleichskette
{\vergleichskette
{ D
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
of finite type, and $I$ an ideal in $R$. Suppose that localization holds and that
\mathdisp {f \in I^* \text{ holds in } R \otimes_DQ(D) =R_{D^*} = R_{Q(D)}} { }
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ S
}
{ = }{ D^*
}
{ = }{ D \setminus \{0\}
}
{ }{
}
{ }{
}
}
{}{}{}
is the multiplicative system} {} {.}
Then
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds in
\mathl{R \otimes_D \kappa( {\mathfrak p} )}{} for almost all ${\mathfrak p}$ in Spec $D$.
}
{By localization, there exists
\mavergleichskette
{\vergleichskette
{ h
}
{ \in }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ h
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
such that
\mavergleichskette
{\vergleichskette
{ hf
}
{ \in }{ I^* \text{ in } R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
By persistence of tight closure
\zusatzklammer {under a ring homomorphism} {} {}
we get
\mathdisp {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
\mathl{R_{\kappa( {\mathfrak p} )}}{} and hence
\mathdisp {f \in I^* \text{ in } R_{\kappa({\mathfrak p})}} { }
for almost all ${\mathfrak p}$.
}
We will look at the easiest possibility of such a deformation:
\mathdisp {D= {\mathbb F}_p[t] \subset {\mathbb F}_p[t][x,y,z]/(g)} { }
where $t$ has degree $0$ and
\mathl{x,y,z}{} have degree one and $g$ is homogeneous. Then
\zusatzklammer {for
\mathl{{\mathbb F}_p[t] \rightarrow K}{}} {} {}
\mathdisp {R \otimes_{ {\mathbb F}_p [t]} K} { }
is a two-dimensional standard-graded ring over $K$. For residue class fields of points of
\mathl{{\mathbb A}^1_{ {\mathbb F}_p} =\operatorname{Spec} \, {\mathbb F}_p[t]}{} we have basically two possibilities.
\auflistungzwei{
\mathl{K={\mathbb F}_p(t)}{,} the function field. This is the
\betonung{generic}{} or
\betonung{transcendental}{} case.
}{
\mathl{K={\mathbb F}_q}{,} the
\betonung{special}{} or
\betonung{algebraic}{} or
\betonung{finite}{} case.}
Note that in the second case tight closure is plus closure. To analyze the behavior of tight closure in such a family we can use what we know in the two-dimensional standard-graded situation.
\zwischenueberschrift{A counterexample to the localization problem}
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 by Paul Monsky in 1997.
\inputexample{Monsky}
{
Let
\mavergleichskettedisp
{\vergleichskette
{ g
}
{ =} { z^4 +z ^2xy +z(x^3+y^3) +(t+t^2)x^2y^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Consider
\mavergleichskettedisp
{\vergleichskette
{ S
}
{ =} { {\mathbb F}_2[t,x,y,z]/(g)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Then Monsky proved the following results on the
\betonung{Hilbert-Kunz multiplicity}{}
of the maximal ideal
\mathl{(x,y,z)}{} in
\mathl{S \otimes_{ {\mathbb F}_2[t]} L}{,} $L$ a field:
\mavergleichskettedisp
{\vergleichskette
{ 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
\mathdisp {\operatorname{Syz}\, (x,y,z) = (\Omega_{ {\mathbb P}^2 })_C} { }
is strongly semistable in the transcendental case, but not strongly semistable in the algebraic case. In fact, for
\mathl{d=\deg(\alpha)}{,}
\mathl{t \mapsto \alpha}{,} where
\mathl{K=\mathbb F_2(\alpha)}{,} the $d$-th Frobenius pull-back destabilizes.
The maximal ideal
\mathl{(x,y,z)}{} can not be used directly. However, we look at the second Frobenius pull-back which is (characteristic two) just
\mathdisp {I=(x^4,y^4,z^4)} { . }
By the degree formula we have to look for an element of degree $6$. Let's take
\mathdisp {f=y^3z^3} { . }
This is our example
\zusatzklammer {\mathlk{x^3y^3}{} does not work} {} {.} First, by strong semistability in the transcendental case we have
\mathdisp {f \in I^* \text{ in } R \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
\mathl{{\mathbb F}_q={\mathbb F}_2(\alpha)}{,}
\mathl{t \mapsto \alpha}{.} Contrary to that we show that for all algebraic instances the element $f$ belongs never to the tight closure of $I$.
{Tight closure/Monsky-Quartic/explicit not inclusion/Fakt}
{Lemma}
{Monsky}
{Let
\mavergleichskette
{\vergleichskette
{ {\mathbb F}_q
}
{ = }{ {\mathbb F}_p(\alpha)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mathl{t \mapsto \alpha}{,}
\mavergleichskette
{\vergleichskette
{ \deg(\alpha)
}
{ = }{ d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Set
\mavergleichskette
{\vergleichskette
{ Q
}
{ = }{ 2^{d-1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then
\mavergleichskettedisp
{\vergleichskette
{ xy f^Q
}
{ \notin} { I^{[Q]}
}
{ } {
}
{ } {
}
{ } {
}
}
{This is an elementary but tedious computation \cite{brennermonskytightclosure}. }
{Tight closure/does not commute with localization/Fakt}
{Theorem}
{Brenner-Monsky}
{Tight closure does not commute with localization. }
{One knows in our situation that $xy$ is a so-called test element. Hence the previous Lemma shows that
\mavergleichskette
{\vergleichskette
{ f
}
{ \notin }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
{Tight closure/is not plus closure/graded dimension two/Fakt}
{Corollary}
{}
{Tight closure is not plus closure in graded dimension two for fields with transcendental elements. }
{Consider
\mavergleichskettedisp
{\vergleichskette
{ R
}
{ =} { {\mathbb F}_2(t)[x,y,z]/(g)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In this ring
\mavergleichskette
{\vergleichskette
{ y^3z^3
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mathl{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. }
\inputfaktproof
{Affine varieties/under geometric deformations/transcendental not affine, algebraic affine/Fakt}
{Corollary}
{}
{There is an example of a smooth projective
\zusatzklammer {relatively over the affine line} {} {}
variety $Z$ and an effective divisor
\mavergleichskette
{\vergleichskette
{ D
}
{ \subset }{ Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and a morphism
\mathdisp {Z \longrightarrow {\mathbb A}^{1}_{{\mathbb F}_2}} { }
such that
\mathl{(Z \setminus D)_\eta}{} is not an affine variety over the generic point $\eta$, but for every algebraic point $x$ the fiber
\mathl{(Z \setminus D)_x}{} is an affine variety.
}
{Take
\maabb {} {C} { {\mathbb A}^{1}_{{\mathbb F}_2}
} {}
to be the Monsky quartic and consider the syzygy bundle
\mavergleichskettedisp
{\vergleichskette
{ {\mathcal S}
}
{ =} { \operatorname{Syz} { \left( x^4,y^4,z^4 \right) } (6)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
together with the cohomology class $c$ determined by
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ y^3z^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
This class defines an extension
\mathdisp {0 \longrightarrow {\mathcal S} \longrightarrow {\mathcal S}' \longrightarrow {\mathcal O}_C \longrightarrow 0} { }
and hence
\mavergleichskette
{\vergleichskette
{ {\mathbb P}({\mathcal S} ^{*})
}
{ \subset }{ {\mathbb P}({ {\mathcal S}' }^{*})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then
\mathl{{\mathbb P}({ {\mathcal S}' }^{*}) \setminus {\mathbb P}({\mathcal S}^{*})}{} is an example with the stated properties by the previous results.