Vector bundles and tight closure (Triest 2023)/Lecture 2/latex
\setcounter{section}{2}
\subtitle {Tight closure}
\inputdefinition
{ }
{
Let $R$ be a noetherian domain of positive characteristic and let
\mathrelationchain
{\relationchain
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be an ideal. The \definitionword {tight closure}{} of $I$ is the ideal
\mathrelationchaindisplay
{\relationchain
{ I^*
}
{ =} { { \left\{ f \in R \mid \text{ there exists } z \neq 0 \text{ such that } zf^q \in I^{[q]} \text{ for all } q=p^e \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
}
This theory was introduced by M. Hochster and C. Huneke. There is a direct relation between Hilbert-Kunz multiplicity and tight closure.
\inputfakt
{Tight closure/Relation to Hilbert-Kunz multiplicity/Fact}
{Theorem}
{}
{
\factsituation {Let \mathl{(R, {\mathfrak m})}{} be an analytically unramified and formally equidimensional local noetherian ring of positive characteristic, let
\mathrelationchain
{\relationchain
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be an ${\mathfrak m}$-primary ideal. Let
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\factconclusion {Then
\mathdisp {f \in I^* \text{ if and only if } e_{HK} ((I,f)) = e_{HK} (I)} { . }
}
\factextra {}
We try to understand tight closure from the perspective of bundles and will have again a look at the syzygy bundle. Let $R$ denote a noetherian normal domain and let
\mathrelationchain
{\relationchain
{ I
}
{ = }{ { \left( f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denote an ideal of height $I$ at least $2$
\extrabracket {think of a local normal domain of dimension at least $2$ and an ${\mathfrak m}$-primary ideal $I$, or the graded version of this} {} {.}
Let
\mathrelationchain
{\relationchain
{ U
}
{ = }{ D(I)
}
{ \subseteq }{ \operatorname{Spec} { \left( R \right) }
}
{ }{
}
{ }{
}
}
{}{}{}
and consider again the short exact sequence
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } {{|}}_U \longrightarrow {\mathcal O}_{ U }^n \stackrel{ f_1 , \ldots , f_n}{\longrightarrow} {\mathcal O}_{ U } \longrightarrow 0} { }
of locally free sheaves on $U$. Another element
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ R
}
{ = }{ \Gamma(U, {\mathcal O}_{ U } )
}
{ }{
}
{ }{
}
}
{}{}{}
\extrabracket {because of the height condition} {} {}
defines via the long exact sequence of cohomology the cohomology class
\mathrelationchain
{\relationchain
{ c
}
{ = }{\delta(f)
}
{ \in }{ H^1( U , \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) })
}
{ }{
}
{ }{
}
}
{}{}{.}
When $R$ contains a field of positive characteristic, we try to understand tight closure in terms of this cohomology class. Quite directly, we have the $e$th absolute Frobenius on $U$. As the sheaves are locally free, we have
\mathrelationchaindisplay
{\relationchain
{ F^{e*} { \left( \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } \right) }
}
{ =} { \operatorname{Syz} { \left(f_1^q , \ldots , f_n^q \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
and the $e$th Frobenius pull-back of the cohomology class is
\mathrelationchaindisplay
{\relationchain
{ F^{e*} (c)
}
{ \in} { H^1(U, F^{e*} { \left( \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } \right) }
}
{ \cong} { H^1(U, \operatorname{Syz} { \left(f_1^q , \ldots , f_n^q \right) })
}
{ } {
}
{ } {
}
}
{}{}{}
\extrabracket {\mathrelationchainb
{\relationchainb
{ q
}
{ = }{ p^e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
and this is the cohomology class corresponding to $f^q$. By the height assumption, we have
\mathrelationchain
{\relationchain
{ z F^{e*} (c)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mathrelationchain
{\relationchain
{ zf^q
}
{ \in }{ { \left( f_1^q , \ldots , f_n^q \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
and this holds for all $e$ if and only if
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
by definition. This shows already that under the given conditions, tight closure does only depend on the cohomology class. In the graded case, we can also translate the tight closure question
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for homogeneous data into the question whether the corresponding cohomology class
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1(Y, \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } (m))
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
on \mathl{\operatorname{Proj} { \left( R \right) }}{} is tightly zero in the sense that
\mathrelationchain
{\relationchain
{ z F^{e*} (c)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for some homogeneous
\mathrelationchain
{\relationchain
{ z
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\extrabracket {$z$ considered inside some ample invertible sheaf \mathl{{\mathcal O}_Y(\ell)}{}} {} {.}
This property of being tightly zero is relevant for every cohomology class in any locally free sheaf. Here, this translation is in particular helpful for inclusion results. For exclusion results we have to go another way and consider torsors.
\subtitle {Torsors and forcing algebras}
We come back to the situation of a system of linear homogeneous equations over a field $K$ with which we tried to motivate the concept of a vector bundle. However, we now consider a system of linear inhomogeneous equations,
\mathrelationchaindisplay
{\relationchain
{ f_{11} t_1 + \cdots + f_{1n} t_n
}
{ =} { f_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathrelationchaindisplay
{\relationchain
{ f_{21}t_1 + \cdots + f_{2n} t_n
}
{ =} { f_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathdisp {\vdots} { }
\mathrelationchaindisplay
{\relationchain
{ f_{m1}t_1 + \cdots + f_{m n} t_n
}
{ =} { f_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The solution set $T$ of this inhomogeneous system may be empty, but nevertheless it is tightly related to the solution space of the homogeneous system. First of all, there exists an action
\mathdisp {V \times T \longrightarrow T
, (v,t) \longmapsto v+t} { , }
because the sum of a solution of the homogeneous system and of a solution of the inhomogeneous system is again a solution of the inhomogeneous system. This action is a group action of the group \mathl{(V,+,0)}{} on the set $T$. Moreover, if we fix one solution
\mathrelationchain
{\relationchain
{ t_0
}
{ \in }{ T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\extrabracket {supposing that at least one solution exists} {} {,}
then there exists a bijection
\mathdisp {V \longrightarrow T
, v \longmapsto v+t_0} { . }
This means that the group $V$ acts simply transitive on $T$, and so $T$ can be identified with the vector space $V$, however not in a canonical way.
Suppose now that $X$ is a geometric object and we have functions
\mathdisp {f_{ij} , f_i \colon X \longrightarrow K} { }
on $X$
\extrabracket {which are continuous, or differentiable, or algebraic} {} {.}
As before, we get for the $f_{ij}$ a bundle with an addition and such that the fibers are vector spaces.
Then we can form the set
\mathrelationchaindisplay
{\relationchain
{ T
}
{ =} { { \left\{ (P;t_1 , \ldots , t_n) \mid A (P) \begin{pmatrix} t_1 \\\vdots\\ t_n \end{pmatrix} = \begin{pmatrix} f_1(P) \\\vdots\\ f_n(P) \end{pmatrix} \right\} }
}
{ \subseteq} { X \times K^n
}
{ } {
}
{ } {
}
}
{}{}{}
with the projection to $X$. Again, every fiber \mathl{T_P}{} of $T$ over a point
\mathrelationchain
{\relationchain
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is the solution set to the system of inhomogeneous linear equations which arises by inserting $P$ into \mathl{f_{ij}}{} and $f_i$. The actions of the fibers $V_P$ on $T_P$
\extrabracket {coming from linear algebra} {} {}
extend to an action
\mathdisp {V \times_X T \longrightarrow T
, (P;t_1 , \ldots , t_n;s_1 , \ldots , s_n) \longmapsto (P;t_1+s_1 , \ldots , t_n+s_n)} { . }
Also, if a
\extrabracket {continuous, differentiable, algebraic} {} {}
map
\mathdisp {s \colon X \longrightarrow T} { }
with
\mathrelationchain
{\relationchain
{ s(P)
}
{ \in }{ T_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
exists, then we can construct a
\extrabracket {continuous, differentiable, algebraic} {} {}
isomorphism between
\mathcor {} {V} {and} {T} {.}
However, different from the situation in linear algebra
\extrabracket {which corresponds to the situation where $X$ is just one point} {} {,}
such a section does rarely exist.
These objects $T$ have new and sometimes difficult global properties which we try to understand. We will work mainly in an algebraic setting and restrict to the situation where just one equation
\mathrelationchaindisplay
{\relationchain
{ f_1T_1 + \cdots + f_nT_n
}
{ =} { f
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is given. Then in the homogeneous case
\extrabracket {
\mathrelationchain
{\relationchain
{ f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
the fibers are vector spaces of dimension
\mathcor {} {n-1} {or} {n} {,}
and the latter holds exactly for the points
\mathrelationchain
{\relationchain
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
where
\mathrelationchain
{\relationchain
{ f_1(P)
}
{ = }{ \cdots
}
{ = }{ f_n(P)
}
{ = }{ 0
}
{ }{}
}
{}{}{.}
In the inhomogeneous case the fibers are either empty or of dimension
\mathcor {} {n-1} {or} {n} {.}
We give a typical example.
\inputexample{}
{
Let $X$ denote a plane
\extrabracket {like \mathlk{K^2, \R^2, {\mathbb A}^{2}_{K}}{}} {} {}
with coordinate functions
\mathcor {} {x} {and} {y} {.}
We consider an inhomogeneous linear equation of type
\mathrelationchaindisplay
{\relationchain
{ x^a t_1 +y^b t_2
}
{ =} { x^cy^d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The fiber of the solution set $T$ over a point \mathl{\neq (0,0)}{} is one-dimensional, whereas the fiber over \mathl{(0,0)}{} has dimension two
\extrabracket {for
\mathrelationchainb
{\relationchainb
{ a,b,c,d
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Many properties of $T$ depend on these four exponents.
}
In \extrabracket {most of} {} {} these example, we can observe the following behavior. On an open subset, the dimension of the fibers is constant and equals \mathl{n-1}{,} whereas the fiber over some special points degenerates to an $n$-dimensional solution set \extrabracket {or becomes empty} {} {.}
\inputdefinition
{ }
{
Let $V$ denote a geometric vector bundle over a scheme $X$. A scheme
$T \rightarrow X$
together with an action
\mathdisp {\beta \colon V \times_X T \longrightarrow T} { }
is called a geometric
\extrabracket {Zariski} {} {-}\definitionword {torsor}{}
for $V$
\extrabracket {or a
\definitionword {principal fiber bundle}{}
or a
\definitionword {principal homogeneous space}{}} {} {}
if there exists an open covering
\mathrelationchain
{\relationchain
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and isomorphisms
\mathdisp {\varphi_i \colon T {{|}}_{U_i} \longrightarrow V{{|}}_{U_i}} { }
such that the diagrams
\extrabracket {we set
\mathcor {} {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}} { }
}
The torsors of vector bundles can be classified in the following way.
\inputfakt
{Vector bundle on scheme/Torsor and H^1/Correspondence/Fact}
{Proposition}
{}
{
\factsituation {Let $X$ denote a noetherian separated scheme and let
\mathdisp {p \colon V \longrightarrow X} { }
denote a geometric vector bundle on $X$ with sheaf of sections ${\mathcal S}$.}
\factconclusion {Then there exists a correspondence between first cohomology classes
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1 (X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and geometric $V$-torsors.}
\factextra {}
\inputremark {}
{
Let ${\mathcal S}$ denote a locally free sheaf on a scheme $X$. For a cohomology class
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1(X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
one can construct a geometric object: Because of
\mathrelationchain
{\relationchain
{ 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,
\mathrelationchain
{\relationchain
{ 1
}
{ \in }{ \Gamma(X, {\mathcal O}_X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is sent to
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1(X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
The extension yields a projective subbundle\extrafootnote {${\mathcal S}^{\vee }$ denotes the dual bundle. According to our convention, the geometric vector bundle corresponding to a locally free sheaf ${\mathcal T}$ is given by $\operatorname{Spec} { \left( \oplus_{k \geq 0} S^k({\mathcal T}) \right) }$ and the projective bundle is $\operatorname{Proj} { \left( \oplus_{k \geq 0} S^k({\mathcal T}) \right) }$, where $S^k$ denotes the $k$th symmetric power} {.} {}
\mathrelationchaindisplay
{\relationchain
{ {\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
\mathrelationchain
{\relationchain
{ 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
\extrabracket {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
\mathrelationchaindisplay
{\relationchain
{ 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.
}
Within the algebraic setting, torsors can also be realized as open subsets of spectra of forcing algebras.
\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 \definitionword {forcing algebra}{} of these elements
}
\inputfakt
{Forcing algebra/Primary ideal/Induced torsor/Fact}
{Theorem}
{}
{
\factsituation {Let $R$ denote a noetherian ring, let
\mathrelationchain
{\relationchain
{ I
}
{ = }{ { \left( f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denote an ideal and let
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be another element. Let
\mathrelationchain
{\relationchain
{ c
}
{ = }{ \delta(f)
}
{ \in }{ H^1(D(I), \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } )
}
{ }{
}
{ }{
}
}
{}{}{}
be the corresponding cohomology class and let
\mathrelationchaindisplay
{\relationchain
{ B
}
{ =} { R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n -f \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
denote the forcing algebra for these data.}
\factconclusion {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$.}
\factextra {}
Forcing algebras provide a natural framework for closure operations in general, it is however a special feature of tight closure that the induced torsor contains the relevant information.
\subtitle {Tight closure and solid closure}
Forcing algebras occurred in the work of Hochster on solid closure. The following theorem of Hochster \cite[Theorem 8.6]{hochstersolid} gives a characterization of tight closure in terms of forcing algebra and local cohomology.
\inputfakt
{Forcing algebra/Relation to tight closure/Local cohomology/Characterization/Fact}
{Theorem}
{}
{
\factsituation {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$.}
\factconclusion {Then
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if
\mathrelationchain
{\relationchain
{ H^{\dim (R)}_{\mathfrak m} (A)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
where
\mathrelationchain
{\relationchain
{ A
}
{ = }{ R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n +f \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denotes the forcing algebra of these elements.}
\factextra {}
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
\mathrelationchain
{\relationchain
{ H^{d-1} (D({\mathfrak m} B), {\mathcal O}_{ B } )
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
then this is true for all quasicoherent sheaves instead of just the structure sheaf. This property can be expressed by saying that the \keyword {cohomological dimension} {} of \mathl{D ({\mathfrak m} B)}{} is \mathl{\leq d-2}{} and thus smaller than the cohomological dimension of the punctured spectrum \mathl{D( {\mathfrak m} )}{,} which is exactly \mathl{d-1}{.} So belonging to tight closure can be rephrased by saying that the formation of the corresponding torsor does not change the cohomological dimension.
If the dimension is two, then we have to look whether the first cohomology of the structure sheaf vanishes. This is true
\extrabracket {by Serre's
cohomological criterion
for affineness} {} {}
if and only if the open subset \mathl{D( {\mathfrak m} B)}{} is an
\emphasize{affine scheme}{}
\extrabracket {the spectrum of a ring} {} {.}
The right hand side of the equivalence in Theorem 2.9 \extrabracket {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 \keyword {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.
\subtitle {The graded two-dimensional case}
In the situation of a forcing algebra of homogeneous elements, this torsor $T$ can also be obtained as \mathl{\operatorname{Proj} { \left( B \right) }}{,} where $B$ is the
\extrabracket {not necessarily positively} {} {}
graded forcing algebra. In particular, it follows that the containment
\mathrelationchain
{\relationchain
{ f
}
{ \in }{ I^*
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is equivalent to the property that $T$ is not an affine variety. For this properties, positivity (ampleness) properties of the syzygy bundle are crucial. We need again the concept of semistability introduced in the first lecture.
For a strongly semistable vector bundle ${\mathcal S}$ on $C$ and a cohomology class
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1(C, {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with corresponding torsor we obtain the following affineness criterion.
\inputfakt
{Torsor over projective curve/Strongly semistable/Affineness criterion/Fact}
{Theorem}
{}
{
\factsituation {Let $C$ denote a smooth projective curve over an algebraically closed field $K$ and let ${\mathcal S}$ be a strongly semistable vector bundle over $C$ together with a cohomology class
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1(C, {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\factconclusion {Then the torsor \mathl{T(c)}{} is an affine scheme if and only if
\mathrelationchain
{\relationchain
{ \operatorname{deg} { \left( {\mathcal S} \right) }
}
{ < }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mathrelationchain
{\relationchain
{ c
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\extrabracket {\mathrelationchainb
{\relationchainb
{ F^e(c)
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for all $e$ in positive characteristic\extrafootnote {Here one has to check only finitely many $e$s and there exist good estimates how far one has to go. Also, in a relative situation, this is only an extra condition for finitely many prime numbers} {.} {}} {} {.}}
\factextra {}
This result rests on the ampleness of \mathl{{\mathcal S}'^\vee}{} occuring in the dual exact sequence \mathl{0 \rightarrow {\mathcal O}_C \rightarrow {\mathcal S}'^\vee \rightarrow {\mathcal S}^\vee \rightarrow 0}{} given by $c$
\extrabracket {this rests on work of Gieseker and Hartshorne(see \cite{giesekerample}, \cite{hartshorneamplecurve}} {} {.}
It implies for a strongly semistable syzygy bundle the following
\emphasize{degree formula}{} for tight closure.
\inputfakt
{Tight closure/Curve/Degree bound for inclusion/Strongly semistable/Fact}
{Theorem}
{}
{
\factsituation {Suppose that \mathl{\operatorname{Syz} { \left(f_1 , \ldots , f_n \right) }}{} is strongly semistable.}
\factconclusion {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}} { . }
}
\factextra {}
If we take on the right hand side $I^F$, the \keyword {Frobenius closure} {} of the ideal, instead of $I$, then this statement is true for all characteristics. As stated, it is true in a relative setting for $p$ large enough.
We indicate the proof of the inclusion result. The degree condition implies that
\mathrelationchain
{\relationchain
{ c
}
{ = }{ \delta(f)
}
{ \in }{ H^1(C, {\mathcal S})
}
{ }{
}
{ }{
}
}
{}{}{}
is such that
\mathrelationchain
{\relationchain
{ {\mathcal S}
}
{ = }{ \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } (m)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
has non-negative degree. Then also all Frobenius pull-backs \mathl{F^*( {\mathcal S} )}{} have non-negative degree. Let
\mathrelationchain
{\relationchain
{ {\mathcal L}
}
{ = }{ {\mathcal O}(k)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a twist of the tautological line bundle on $C$ such that its degree is larger than the degree of \mathl{\omega_C^{-1}}{,} the dual of the canonical sheaf. Let
\mathrelationchain
{\relationchain
{ z
}
{ \in }{ H^0(Y, {\mathcal L})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a non-zero element. Then
\mathrelationchain
{\relationchain
{ z F^{e*}(c)
}
{ \in }{ H^1(C, F^{e*}( {\mathcal S} ) \otimes {\mathcal L})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
and by Serre duality we have
\mathrelationchaindisplay
{\relationchain
{ H^1(C, F^{e*} ( {\mathcal S} ) \otimes {\mathcal L})
}
{ \cong} { H^0 ( F^{e*}( {\mathcal S}^{\vee} ) \otimes {\mathcal L}^{-1} \otimes \omega_C)^{\vee}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
On the right hand side we have a semistable sheaf of negative degree, which can not have a non-trivial section. Hence
\mathrelationchaindisplay
{\relationchain
{ zF^{e*} (c)
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
and therefore $f$ belongs to the tight closure.
In general, there exists an exact criterion for the affineness of the torsor \mathl{T(c)}{} depending on $c$ and the
\emphasize{strong Harder-Narasimhan filtration}{} of ${\mathcal S}$.
\inputfakt
{Torsor over curve/Strong Harder-Narasimhan filtration/Affineness criterion/Fact}
{Theorem}
{}
{
\factsituation {Let $C$ denote a smooth projective curve over an algebraically closed field $K$ and let ${\mathcal S}$ be a vector bundle over $C$ together with a cohomology class
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ H^1(C, {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Let
\mathrelationchaindisplay
{\relationchain
{ {\mathcal S}_1
}
{ \subset} { {\mathcal S}_2
}
{ \subset \ldots \subset} { {\mathcal S}_{t-1}
}
{ \subset} { {\mathcal S}_{t}
}
{ =} { F^{e*}( {\mathcal S})
}
}
{}{}{}
be a strong Harder-Narasimhan filtration. We choose $i$ such that \mathl{{\mathcal S}_{i}/ {\mathcal S}_{i-1}}{} has degree $\geq 0$ and that \mathl{{\mathcal S}_{i+1}/ {\mathcal S}_{i}}{} has degree $< 0$. We set
\mathrelationchain
{\relationchain
{ {\mathcal Q}
}
{ = }{ F^{e*}( {\mathcal S})/ {\mathcal S}_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\factsegue {Then the following are equivalent.}
\factconclusion {\enumerationtwo {The torsor \mathl{T(c)}{} is not an affine scheme.
} {Some Frobenius power of the image of \mathl{F^{e*}(c)}{} inside \mathl{H^1(X, {\mathcal Q} )}{} is $0$.
}}
\factextra {}