Kurs:Vector bundles and ideal closure operations (MSRI 2012)/Lecture 2/latex
\setcounter{section}{2}
\zwischenueberschrift{Torsors of vector bundles}
We have seen that
\mathl{V=\operatorname{ Spec}_{ } ^{ } { \left( R[T_1 , \ldots , T_n]/(f_1T_1 + \cdots + f_nT_n) \right) }}{} acts on the spectrum of a forcing algebra
\mathl{T=\operatorname{ Spec}_{ } ^{ } { \left( R[T_1 , \ldots , T_n]/(f_1T_1 + \cdots + f_nT_n+f) \right) }}{} by addition. The restriction of $V$ to
\mathl{U=D(f_1 , \ldots , f_n)}{} is a vector bundle, and $T$ restricted to $U$ becomes a $V$-torsor.
\inputdefinition
{}
{
Let $V$ denote a geometric vector bundle over a scheme $X$. A scheme
\maabb {} {T} {X
} {}
together with an action
\maabbdisp {\beta} {V \times_X T } {T
} {}
is called a geometric
\zusatzklammer {Zariski} {} {-}\stichwort {torsor} {}
for $V$
\zusatzklammer {or a
\stichwortpraemath {V} {principal fiber bundle}{}
or a
\stichwort {principal homogeneous space} {}} {} {}
if there exists an open covering
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and isomorphisms
\maabbdisp {\varphi_i} { T {{|}}_{U_i} } { V{{|}}_{U_i}
} {}
such that the diagrams
\zusatzklammer {we set
\mathkor {} {U = U_i} {and} {\varphi= \varphi_i} {}} {} {}
\mathdisp {\begin{matrix} V {{|}}_U \times_U T {{|}}_U & \stackrel{ \beta }{\longrightarrow} & T {{|}}_U & \\ \!\!\!\!\! \operatorname{Id} \times \varphi \downarrow & & \downarrow \varphi \!\!\!\!\! & \\ V {{|}}_U \times_U V {{|}}_U & \stackrel{ \alpha }{\longrightarrow} & V {{|}}_U & \!\!\!\!\! \\ \end{matrix}} { }
commute, where $\alpha$ is the addition on the vector bundle.
}
The torsors of vector bundles can be classified in the following way.
\inputfaktproof
{Vektorbündel auf Schema/Torsor und H^1/Korrespondenz/en/Fakt}
{Proposition}
{}
{
\faktsituation {Let $X$ denote a noetherian separated scheme and let
\maabbdisp {p} {V} {X
} {}
denote a geometric vector bundle on $X$ with sheaf of sections ${\mathcal S}$.}
\faktfolgerung {Then there exists a correspondence between first cohomology classes
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1 (X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and geometric $V$-torsors.}
\faktzusatz {}
\faktzusatz {}
}
{
We describe only the correspondence.
\teilbeweis {}{}{}
{Let $T$ denote a $V$-torsor. Then there exists by definition an open covering
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
such that there exist isomorphisms
\maabbdisp {\varphi_i} {T {{|}}_{U_i} } { V {{|}}_{U_i}
} {}
which are compatible with the action of
\mathl{V {{|}}_{U_i}}{} on itself. The isomorphisms $\varphi_i$ induce automorphisms
\maabbdisp {\psi_{ij} = \varphi_j \circ \varphi_i^{-1}} { V {{|}}_{U_i \cap U_j} } { V {{|}}_{U_i \cap U_j}
} {.}
These automorphisms are compatible with the action of $V$ on itself, and this
means that they are of the form
\mavergleichskettedisp
{\vergleichskette
{ \psi_{ij}
}
{ =} {
\operatorname{Id}_{ V } {{|}}_{U_i \cap U_j} +s_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
with suitable sections
\mavergleichskette
{\vergleichskette
{s_{ij}
}
{ \in }{ \Gamma(U_i \cap U_j,{\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
This family defines a \v{C}ech cocycle for the covering and gives therefore a cohomology class in
\mathl{H^1(X, {\mathcal S} )}{.}}
{}
\teilbeweis {}{}{}
{For the reverse direction, suppose that the cohomology class
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1(X, {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is represented by a \v{C}ech cocycle
\mavergleichskette
{\vergleichskette
{ s_{ij}
}
{ \in }{ \Gamma (U_i \cap U_j , {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for an open covering
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Set
\mavergleichskette
{\vergleichskette
{ T_i
}
{ \defeq }{ V {{|}}_{U_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
We take the morphisms
\maabbdisp {\psi_{ij}} {T_i {{|}}_{U_i \cap U_j} = V{{|}}_{U_i \cap U_j} } {V{{|}}_{U_i \cap U_j} = T_j {{|}}_{U_i \cap U_j}
} {}
given by
\mavergleichskette
{\vergleichskette
{ \psi_{ij}
}
{ \defeq }{
\operatorname{Id}_{ V } {{|}}_{U_i \cap U_j} +s_{ij}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
to glue the $T_i$ together to a scheme $T$ over $X$. This is possible since the cocycle condition guarantees the glueing condition for schemes(see \cite[0, 4.1.7]{EGAI}).
The action of
\mavergleichskette
{\vergleichskette
{ T_i
}
{ = }{ V{{|}}_{U_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
on itself glues also together to give an action on $T$.}
{}
It follows immediately that for an affine scheme
\zusatzklammer {i.e. a scheme of type \mathlk{\operatorname{ Spec}_{ } ^{ } { \left( R \right) }}{}} {} {}
there are no non-trivial torsor for any vector bundle. There will however be in general many non-trivial torsors on the punctured spectrum
\zusatzklammer {and on a projective variety} {} {.}
We mention an alternative description of the torsor corresponding to a first cohomology class in a locally free sheaf which is better suited for the projective situation.
\inputremark
{}
{
Let ${\mathcal S}$ denote a locally free sheaf on a scheme $X$. For a cohomology class
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1(X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
one can construct a geometric object: Because of
\mavergleichskette
{\vergleichskette
{ H^1(X ,{\mathcal S})
}
{ \cong }{ \operatorname{Ext}^1( {\mathcal O}_{ X }, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the class defines an extension
\mathdisp {0 \longrightarrow {\mathcal S} \longrightarrow { {\mathcal S}'} \longrightarrow {\mathcal O}_{ X } \longrightarrow 0} { . }
This extension is such that under the connecting homomorphism of cohomology,
\mavergleichskette
{\vergleichskette
{ 1
}
{ \in }{ \Gamma(X, {\mathcal O}_X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is sent to
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1(X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
The extension yields a projective subbundle
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb P}({\mathcal S}^{\vee })
}
{ \subset} { {\mathbb P}({ {\mathcal S}'}^{\vee})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
If $V$ is the corresponding geometric vector bundle of ${\mathcal S}$, one may think of
\mathl{{\mathbb P}({\mathcal S}^{\vee})}{} as
\mathl{{\mathbb P}(V)}{} which consists for every base point
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
of all the lines in the fiber
\mathl{V_x}{} passing through the origin. The projective subbundle
\mathl{{\mathbb P}(V)}{} has codimension one inside
\mathl{{\mathbb P}(V')}{,} for every point it is a projective space lying
\zusatzklammer {linearly} {} {}
inside a projective space of one dimension higher. The complement is then over every point an affine space. One can show that the global complement
\mavergleichskettedisp
{\vergleichskette
{ T
}
{ =} { {\mathbb P}({ {\mathcal S} '}^{\vee}) \setminus {\mathbb P}({\mathcal S}^{\vee})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is another model for the torsor given by the cohomology class. The advantage of this viewpoint is that we may work, in particular when $X$ is projective, in an entirely projective setting.
}
\zwischenueberschrift{Forcing algebras and induced torsors}
Let
\mathl{T=\operatorname{ Spec}_{ } ^{ } { \left( B \right) }}{} be the spectrum of a forcing algebra. As $T{{|}}_U$ is a $V{{|}}_U$-torsor, and as every $V$-torsor is represented by a unique cohomology class, there should be a natural cohomology class coming from the forcing data. To see this, let $R$ be a noetherian ring and
\mathl{I = (f_1 , \ldots , f_n)}{} be an ideal. Then on
\mathl{U= D(I)}{} we have the short exact sequence
\mathdisp {0 \longrightarrow \operatorname{ Syz}_{ } ^{ } { \left( f_1 , \ldots , f_n \right) } \longrightarrow {\mathcal O}^n_U \longrightarrow {\mathcal O}_U \longrightarrow 0} { . }
An element
\mathl{f \in R}{} defines an element
\mathl{f \in \Gamma(U, {\mathcal O}_U)}{} and hence a cohomology class
\mathl{\delta(f) \in H^1(U , \operatorname{ Syz}_{ } ^{ } { \left( f_1 , \ldots , f_n \right) } )}{.} Hence $f$ defines in fact a
\mathl{\operatorname{ Syz}_{ } ^{ } { \left( f_1 , \ldots , f_n \right) }}{-}torsor over $U$. We will see that this torsor is induced by the forcing algebra given by
\mathl{f_1 , \ldots , f_n}{} and $f$.
\inputfaktproof
{Erzwingende Algebra/Primäres Ideal/Induzierter Torsor/en/Fakt}
{Theorem}
{}
{
\faktsituation {Let $R$ denote a noetherian ring, let
\mavergleichskette
{\vergleichskette
{ I
}
{ = }{ { \left( f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denote an ideal and let
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be another element. Let
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1(D(I), \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be the corresponding cohomology class and let
\mavergleichskettedisp
{\vergleichskette
{ B
}
{ =} { R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n -f \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
denote the forcing algebra for these data.}
\faktfolgerung {Then the scheme
\mathl{\operatorname{Spec} { \left( B \right) } {{|}}_{D(I)}}{} together with the natural action of the syzygy bundle on it is isomorphic to the torsor given by $c$.}
\faktzusatz {}
\faktzusatz {}
}
{
We compute the cohomology class
\mavergleichskette
{\vergleichskette
{ \delta(f)
}
{ \in }{ H^1(U, \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and the cohomology class given by the forcing algebra. For the first computation we look at the short exact sequence
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } \longrightarrow {\mathcal O}^n_U \stackrel{f_1 , \ldots , f_n}{ \longrightarrow } {\mathcal O}_U \longrightarrow 0} { . }
On
\mathl{D(f_i)}{,} the element $f$ is the image of
\mathl{\left( 0 , \ldots , 0 , \, { \frac{ f }{ f_i } } , \, 0 , \ldots , 0) \right)}{}
\zusatzklammer {the non-zero entry is at the $i$th place} {} {.}
The cohomology class is therefore represented by the family of differences
\mathdisp {\left( 0 , \ldots , 0 , \, { \frac{ f }{ f_i } } , \, 0 , \ldots , 0 , \, -{ \frac{ f }{ f_j } } , \, 0 , \ldots , 0 \right) \in \Gamma(D(f_i) \cap D(f_j),\operatorname{Syz} { \left( f_1 , \ldots , f_n \right) })} { . }
On the other hand, there are isomorphisms
\maabbeledisp {} {V {{|}}_{D(f_i)} } { T {{|}}_{D(f_i)}
} {\left( s_1 , \ldots , s_n \right) } {\left( s_1 , \ldots , s_{i-1} , \, s_i + { \frac{ f }{ f_i } } , \, s_{i+1} , \ldots , s_n \right)
} {.}
The composition of two such isomorphisms on
\mathl{D(f_if_j)}{} is the identity plus the same section as before.
\inputexample{}
{
Let
\mathl{(R, {\mathfrak m} )}{} denote a two-dimensional normal local noetherian domain and let
\mathkor {} {f} {and} {g} {}
be two parameters in $R$. On
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{ D( {\mathfrak m} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have the short exact sequence
\mathdisp {0 \longrightarrow {\mathcal O}_U \cong \operatorname{Syz} { \left( f,g \right) } \longrightarrow {\mathcal O}_U^2 \stackrel{f,g}{\longrightarrow } {\mathcal O}_U \longrightarrow 0} { }
and its corresponding long exact sequence of cohomology,
\mathdisp {0 \longrightarrow R \longrightarrow R^2 \stackrel{f,g}{\longrightarrow } R \stackrel{\delta}{\longrightarrow} H^1(U, {\mathcal O}_{ X } ) \longrightarrow \ldots} { . }
The connecting homomorphism $\delta$ sends an element
\mavergleichskette
{\vergleichskette
{ h
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
to
\mathl{{ \frac{ h }{ fg } }}{.} The torsor given by such a cohomology class
\mavergleichskette
{\vergleichskette
{ c
}
{ = }{{ \frac{ h }{ fg } }
}
{ \in }{ H^1 { \left( U, {\mathcal O}_X \right) }
}
{ }{
}
{ }{
}
}
{}{}{}
can be realized by the forcing algebra
\mathdisp {R[T_1,T_2]/ { \left( fT_1 +gT_2 -h \right) }} { . }
Note that different forcing algebras may give the same torsor, because the torsor depends only on the spectrum of the forcing algebra restricted to the punctured spectrum of $R$. For example, the cohomology class
\mavergleichskette
{\vergleichskette
{ { \frac{ 1 }{ fg } }
}
{ = }{ { \frac{ fg }{ f^2g^2 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
defines one torsor, but the two fractions yield the two forcing algebras
\mathkor {} {R[T_1,T_2]/ { \left( fT_1+gT_2-1 \right) }} {and} {R[T_1,T_2]/ { \left( f^2 T_1+g^2 T_2-fg \right) }} {,}
which are quite different. The fiber over the maximal ideal of the first one is empty, whereas the fiber over the maximal ideal of the second one is a plane.
If $R$ is regular, say
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ K[X,Y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {or the localization of this at \mathlk{(X,Y)}{} or the corresponding power series ring} {} {}
then the first cohomology classes are $K$-linear combinations of
\mathbed {{ \frac{ 1 }{ x^iy^j } }} {}
{i,j \geq 1} {}
{} {} {} {.}
They are realized by the forcing algebras
\mathdisp {K[X,Y,T_1,T_2]/ { \left( X^iT_1+Y^jT_2 -1 \right) }} { . }
Since the fiber over the maximal ideal is empty, the spectrum of the forcing algebra equals the torsor. Or, the other way round, the torsor is itself an affine scheme.
}
The closure operations we have considered in the first lecture and in the tutorial can be characterized by some property of the forcing algebra. However, they can not be characterized by a property of the corresponding torsor alone. For example, for
\mathl{R=K[X,Y]}{,} we may write
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ XY } }
}
{ =} { { \frac{ X }{ X^2Y } }
}
{ =} { { \frac{ XY }{ X^2Y^2 } }
}
{ =} { { \frac{ X^2Y^2 }{ X^3Y^3 } }
}
{ } {
}
}
{}{}{,}
so the torsors given by the forcing algebras
\mathdisp {R[T_1,T_2]/( XT_1+YT_2 +1), \, R[T_1,T_2]/( X^2T_1+YT_2 + X) , \, R[T_1,T_2]/( X^2T_1+Y^2T_2 + XY) \text{ and } R[T_1,T_2]/( X^3T_1+Y^3 T_2 +X^2Y^2)} { }
are all the same
\zusatzklammer {the restriction over \mathlk{D(X,Y)}{}} {} {,}
but their global properties are quite different. We have a non-surjection, a surjective non submersion, a submersion which does not admit
\zusatzklammer {for \mathlk{K={\mathbb C}}{}} {} {}
a continuous section and a map which admits a continuous section.
\zwischenueberschrift{Tight closure and solid closure}
We deal now with closure operations which depend only on the torsor which the forcing algebra defines, so they only depend on the cohomology class of the forcing data inside the syzygy bundle. Our main example is tight closure, a theory developed by Hochster and Huneke, and related closure operations like solid closure and plus closure.
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\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The element $f$ defines the cohomology class
\mathl{c \in H^1(D(I), \operatorname{ Syz}_{ } ^{ } { \left( f_1 , \ldots , f_n \right) })}{.} Suppose that $R$ is normal and that $I$ has height at least $2$
\zusatzklammer {think of a local normal domain of dimension at least $2$ and an ${\mathfrak m}$-primary ideal $I$} {} {.}
Then the $e$th Frobenius pull-back of the cohomology class is
\mathdisp {F^{e*} (c) \in H^1(D(I), F^{e*} ( \operatorname{ Syz}_{ } ^{ } { \left( f_1 , \ldots , f_n \right) } )) \cong H^1(D(I), \operatorname{ Syz}_{ } ^{ } { \left( f_1^q , \ldots , f_n^q \right) })} { }
\zusatzklammer {\mathlk{q=p^e}{}} {} {}
and this is the cohomology class corresponding to $f^q$. By the height assumption,
\mathl{z F^{e*} (c) = 0}{} if and only if
\mathl{zf^q \in (f_1^q , \ldots , f_n^q)}{,} and if this holds for all $e$ then
\mathl{f \in I^*}{} by definition. This shows already that tight closure under the given conditions does only depend on the cohomology class.
This is also a consequence of the following theorem of Hochster which gives a characterization of tight closure in terms of forcing algebra and local cohomology.
\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} (B)
}
{ \neq} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
where
\mavergleichskette
{\vergleichskette
{ B
}
{ = }{ 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} (B) \cong H^d_{\mathfrak m B} (B) \cong H^{d-1}(D({\mathfrak m B), \mathcal O_B})} { . }
This means that we have to look at the cohomological properties of the complement of the exceptional fiber over the closed point, i.e. the torsor given by these data. If the dimension is two, then we have to look whether the first cohomology of the structure sheaf vanishes. This is true
\zusatzklammer {by Serre's
cohomological criterion
for affineness} {} {}
if and only if the open subset
\mathl{D(\mathfrak m B)}{} is an
\betonung{affine scheme}{}
\zusatzklammer {the spectrum of a ring} {} {.}
The right hand side of this equivalence \zusatzgs {the non-vanishing of the top-dimensional local cohomology} {} is independent of any characteristic assumption, and can be taken as the basis for the definition of another closure operation, called \stichwort {solid closure} {.} So the theorem above says that in positive characteristic tight closure and solid closure coincide. There is also a definition of tight closure for algebras over a field of characteristic $0$ by reduction to positive characteristic.
In the following we will deal with some important questions from tight closure theory, namely the relation to plus closure and whether tight closure commutes with localization. The geometric interpretation with bundles will guide us through these questions.
\zwischenueberschrift{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.
In terms of forcing algebras and their torsors, the containment inside the plus closure means that there exists a $d$-dimensional closed subscheme inside the spectrum of the forcing algebra which meets the exceptional fiber \zusatzklammer {the fiber over the maximal ideal} {} {} in only finitely many points. This also means that the superheight of the extended ideal is $d$. In this case the local cohomological dimension of the torsor must be $d$ as well, since it contains a closed subscheme with this cohomological dimension. So also the plus closure depends only on the torsor. One should think of tight closure as a cohomological property and of plus closure as a geometric property of torsors.
One of the main results about tight closure and plus closure is the following theorem due to K. Smith.
\inputfakt{Tight closure/Plus closure/parameter ideals/Smith/Fakt/en}{Theorem}{}
{Let $R$ be local and excellent. If $I$ is a parameter ideal (generated by a (sub-)system of parameters), then
\mathdisp {I^*=I^+ \,} { }
and the tight closure of commutes with localization. }
