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

Zur Navigation springen Zur Suche springen

Geometric interpretation in dimension two

We will restrict now to the two-dimensional normal graded case in order to work on the corresponding smooth projective curve.

Let ${\displaystyle {}R}$ be a two-dimensional standard-graded normal domain over an algebraically closed field ${\displaystyle {}K}$. Let ${\displaystyle {}C=\operatorname {Proj} {\left(R\right)}}$ be the corresponding smooth projective curve and let

${\displaystyle I=(f_{1},\ldots ,f_{n})}$

be an ${\displaystyle {}R_{+}}$-primary homogeneous ideal with generators of degrees ${\displaystyle {}d_{1},\ldots ,d_{n}}$. Then we get on ${\displaystyle {}C}$ the short exact sequence

${\displaystyle 0\longrightarrow \operatorname {Syz} \,(f_{1},\ldots ,f_{n})(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 ${\displaystyle {}\operatorname {Syz} \,(f_{1},\ldots ,f_{n})(m)}$ is a vector bundle, called the syzygy bundle, of rank ${\displaystyle {}n-1}$ and of degree

${\displaystyle ((n-1)m-\sum _{i=1}^{n}d_{i})\operatorname {deg} \,(C).}$

Thus a homogeneous element ${\displaystyle {}f}$ of degree ${\displaystyle {}m}$ defines a cohomology class ${\displaystyle {}\delta (f)\in H^{1}(C,\operatorname {Syz} _{}^{}{\left(f_{1},\ldots ,f_{n}\right)}(m))}$. Again we have that ${\displaystyle {}f\in I^{*}}$ if and only if ${\displaystyle {}\delta (f)}$ is tightly zero. The advantages to work on the projective curve are:

1. We may work in dimension ${\displaystyle {}1}$.
2. The projective curve is smooth, we do not need to worry about singularities.
3. We can use the well-developed theory of vector bundles on curves, in particular the notion of degree, of semistable bundles and the existence of moduli spaces.
4. We can use ampleness results. Tight closure is then related to positivity and negativity of bundles.
5. We can work within projective bundles, so that everything can be embedded into a smooth projective situation.

The following example shows already that one can not expect a sharp degree bound for primary non-parameter ideals. It also shows that one can compute tight closure whenever one has a nice decomposition of the syzygy bundle. This is always the case when the ideal has finite projective dimension. The notion of strong Harder-Narasimhan filtration which we introduce below is a replacement of such a decomposition.

## Example

We consider the ideal ${\displaystyle {}I=(x^{4},y^{4},xy^{3})}$ in ${\displaystyle {}S=K[x,y]}$ and in finite graded extensions ${\displaystyle {}S\subseteq R}$ (e.g. ${\displaystyle R=K[x,y,z]/(F)}$, where ${\displaystyle {}F}$ is a homogeneous integral equation for ${\displaystyle {}z}$ over ${\displaystyle K[x,y]}$) and describe an algorithm to compute the tight closure ${\displaystyle {}I^{*}}$. The graded resolution of the ideal is

${\displaystyle 0\longrightarrow S(-5)\oplus S(-7)\longrightarrow S(-4)\oplus S(-4)\oplus S(-4){\stackrel {x^{4},y^{4},xy^{3}}{\longrightarrow }}S\longrightarrow S/I\longrightarrow 0,}$

where the map on the left is given by sending the generators to

${\displaystyle (0,x,-y){\text{ and }}(y^{3},0,-x^{3}).}$

On the projective line ${\displaystyle {}{\mathbb {P} }_{K}^{1}}$ this corresponds to

${\displaystyle 0\longrightarrow {\mathcal {O}}(-5)\oplus {\mathcal {O}}(-7)=\operatorname {Syz} (x^{4},y^{4},xy^{3})\longrightarrow {\mathcal {O}}(-4)\oplus {\mathcal {O}}(-4)\oplus {\mathcal {O}}(-4){\stackrel {x^{4},y^{4},xy^{3}}{\longrightarrow }}{\mathcal {O}}\longrightarrow 0.}$

We may pull back this sequence along the finite morphism

${\displaystyle C=\operatorname {Proj} (R)\longrightarrow {\mathbb {P} }_{K}^{1}}$

to obtain the corresponding exact sequence over the curve ${\displaystyle {}C}$ which can be used to compute the tight closure of the ideal in ${\displaystyle {}R}$. A homogeneous element ${\displaystyle {}h\in R}$ of degree ${\displaystyle {}m}$ yields a cohomology class in

${\displaystyle H^{1}(C,\operatorname {Syz} (x^{4},y^{4},xy^{3})(m))\cong H^{1}(C,{\mathcal {O}}_{C}(m-5))\oplus H^{1}(C,{\mathcal {O}}_{C}(m-7)),}$

which can be easily computed using Čech cohomology. On ${\displaystyle {}D_{+}(x)}$, ${\displaystyle {}h}$ comes from ${\displaystyle {}\left({\frac {h}{x^{4}}},0,0\right)}$ and on ${\displaystyle {}D_{+}(y)}$ it comes from ${\displaystyle {}\left(0,{\frac {h}{y^{4}}},0\right)}$. Their difference, the syzygy

${\displaystyle \left({\frac {h}{x^{4}}},-{\frac {h}{y^{4}}},0\right)}$
equals
${\displaystyle -{\frac {h}{xy^{4}}}\left(0,x,-y\right)+{\frac {h}{x^{4}y^{3}}}\left(y^{3},0,-x^{3}\right).}$

Hence the components of this cohomology class are

${\displaystyle -{\frac {h}{xy^{4}}}\in H^{1}(C,{\mathcal {O}}_{C}(m-5)){\text{ and }}{\frac {h}{x^{4}y^{3}}}\in H^{1}(C,{\mathcal {O}}_{C}(m-7)).}$

Therefore the issue whether ${\displaystyle {}h}$ belongs to the tight closure of ${\displaystyle {}I}$ depends on these two components, which both correspond to a parameter situation.

First of all, if ${\displaystyle {}m\geq 7}$, then both degrees are non-negative and therefore these classes are tightly ${\displaystyle {}0}$ by (the proof of) Theorem 1.5. If ${\displaystyle {}m=6}$, we only have to look at the second component inside ${\displaystyle {}H^{1}(C,{\mathcal {O}}_{C}(-1))}$. For the monomial ${\displaystyle {}y^{3}z^{3}}$ the second component is ${\displaystyle {}0}$ (independent of ${\displaystyle {}F}$), hence it belongs to the tight closure, though the first component need not be ${\displaystyle {}0}$. The monomial ${\displaystyle {}x^{2}y^{2}z^{2}}$ yields ${\displaystyle {}{\frac {z^{2}}{x^{2}y}}}$, which is not ${\displaystyle {}0}$ unless the equation has low degree. This class is (with some exceptions in small characteristics) not tightly ${\displaystyle {}0}$. Hence ${\displaystyle {}x^{2}y^{2}z^{2}}$ does not belong to the tight closure. For ${\displaystyle {}m=5}$, still only the second component is interesting, therefore ${\displaystyle {}y^{3}z^{2}}$ belongs to the tight closure, but ${\displaystyle {}xy^{2}z^{2}}$ not (under the same restrictions). For ${\displaystyle {}m\leq 4}$ both components lie in negative degree, so an element will belong to the tight closure only if it belongs to the ideal itself. For the element ${\displaystyle {}y^{3}z}$ the second component is ${\displaystyle {}0}$, but not the first component.

Torsors

A cohomology class ${\displaystyle {}c\in H^{1}(C,{\mathcal {S}})}$ in a locally free sheaf ${\displaystyle {}{\mathcal {S}}}$ has a geometric realization (or a geometric model), namely a so-called ${\displaystyle {}{\mathcal {S}}}$-torsor (or a principal fiber bundle). This is an affine-linear bundle over ${\displaystyle {}C}$ on which ${\displaystyle {}{\mathcal {S}}}$ acts by translations. The relation between cohomology classes and ${\displaystyle {}{\mathcal {S}}}$-torsors holds over any noetherian separated scheme by a general construction. 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.

## Remark

Let ${\displaystyle {}{\mathcal {S}}}$ denote a locally free sheaf on a scheme ${\displaystyle {}X}$. For a cohomology class ${\displaystyle {}c\in H^{1}(X,{\mathcal {S}})}$ one can construct a geometric object: Because of ${\displaystyle {}H^{1}(X,{\mathcal {S}})\cong \operatorname {Ext} ^{1}({\mathcal {O}}_{X},{\mathcal {S}})}$, the class defines an extension

${\displaystyle 0\longrightarrow {\mathcal {S}}\longrightarrow {{\mathcal {S}}'}\longrightarrow {\mathcal {O}}_{X}\longrightarrow 0.}$

This extension is such that under the connecting homomorphism of cohomology, ${\displaystyle {}1\in \Gamma (X,{\mathcal {O}}_{X})}$ is sent to ${\displaystyle {}c\in H^{1}(X,{\mathcal {S}})}$. The extension yields a projective subbundle[1]

${\displaystyle {\mathbb {P} }({\mathcal {S}}^{\vee })\subset {\mathbb {P} }({{\mathcal {S}}'}^{\vee }).}$
If ${\displaystyle {}V}$ is the corresponding geometric vector bundle of ${\displaystyle {}{\mathcal {S}}}$, one may think of ${\displaystyle {}{\mathbb {P} }({\mathcal {S}}^{\vee })}$ as ${\displaystyle {}{\mathbb {P} }(V)}$ which consists for every base point ${\displaystyle {}x\in X}$ of all the lines in the fiber ${\displaystyle {}V_{x}}$ passing through the origin. The projective subbundle ${\displaystyle {}{\mathbb {P} }(V)}$ has codimension one inside ${\displaystyle {}{\mathbb {P} }(V')}$, for every point it is a projective space lying

(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

${\displaystyle 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 ${\displaystyle {}X}$ is projective, in an entirely projective setting.

Properties of a cohomology class are equivalent to geometric properties of the corresponding torsor ${\displaystyle {}T}$. The property of being tightly zero (itself equivalent to ${\displaystyle f\in I^{*}}$, if the cohomology class is ${\displaystyle \delta (f)}$) is equivalent to the property that ${\displaystyle {}T}$ is not an affine variety (i.e. not isomorphic to the spectrum of a ring). This rests on the reinterpretation of tight closure as solid closure. For this (non) affineness property, positivity (ampleness) properties of the bundle are crucial.

Semistability of vector bundles

For inclusion and exclusion results we need the concept of (Mumford-) semistability.

## Definition

Let ${\displaystyle {}{\mathcal {S}}}$ be a vector bundle on a smooth projective curve ${\displaystyle {}C}$. It is called semistable, if ${\displaystyle {}\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 ${\displaystyle {}{\mathcal {T}}}$.

Suppose that the base field has positive characteristic ${\displaystyle {}p>0}$. Then ${\displaystyle {}{\mathcal {S}}}$ is called strongly semistable, if all (absolute) Frobenius pull-backs ${\displaystyle {}F^{e*}({\mathcal {S}})}$ are semistable.

An important property of a semistable bundle of negative degree is that it can not have any global section ${\displaystyle {}\neq 0}$. Note that a semistable vector bundle need not be strongly semistable, the following is probably the simplest example.

## Example

Let ${\displaystyle {}C}$ be the smooth Fermat quartic given by ${\displaystyle {}x^{4}+y^{4}+z^{4}}$ and consider on it the syzygy bundle ${\displaystyle {}\operatorname {Syz} {\left(x,y,z\right)}}$ (which is also the restricted cotangent bundle from the projective plane). This bundle is semistable. Suppose that the characteristic is ${\displaystyle {}3}$. Then its Frobenius pull-back is ${\displaystyle {}\operatorname {Syz} {\left(x^{3},y^{3},z^{3}\right)}}$. The curve equation gives a global non-trivial section of this bundle of total degree ${\displaystyle {}4}$. But the degree of ${\displaystyle {}\operatorname {Syz} {\left(x^{3},y^{3},z^{3}\right)}(4)}$ is negative, hence it can not be semistable anymore.

## Example

Let ${\displaystyle {}R=K[x,y,z]/{\left(x^{3}+y^{3}+z^{3}\right)}}$, where ${\displaystyle {}K}$ is a field of positive characteristic ${\displaystyle {}p\neq 3}$, ${\displaystyle {}I={\left(x^{2},y^{2},z^{2}\right)}}$, and ${\displaystyle {}C=\operatorname {Proj} _{}^{}{\left(R\right)}}$. The equation ${\displaystyle {}x^{3}+y^{3}+z^{3}=0}$ yields the short exact sequence

${\displaystyle 0\longrightarrow {\mathcal {O}}_{C}\longrightarrow \operatorname {Syz} {\left(x^{2},y^{2},z^{2}\right)}(3)\longrightarrow {\mathcal {O}}_{C}\longrightarrow 0.}$

This shows that ${\displaystyle {}\operatorname {Syz} {\left(x^{2},y^{2},z^{2}\right)}}$ is strongly semistable.

For a strongly semistable vector bundle ${\displaystyle {}{\mathcal {S}}}$ on ${\displaystyle {}C}$ and a cohomology class ${\displaystyle {}c\in H^{1}(C,{\mathcal {S}})}$ with corresponding torsor we obtain the following affineness criterion in any characteristic.

## Theorem

Let ${\displaystyle {}C}$ denote a smooth projective curve over an algebraically closed field ${\displaystyle {}K}$ and let ${\displaystyle {}{\mathcal {S}}}$ be a strongly semistable vector bundle over ${\displaystyle {}C}$ together with a cohomology class ${\displaystyle {}c\in H^{1}(C,{\mathcal {S}})}$.

Then the torsor ${\displaystyle {}T(c)}$ is an affine scheme if and only if ${\displaystyle {}\operatorname {deg} _{}^{}{\left({\mathcal {S}}\right)}<0}$ and ${\displaystyle {}c\neq 0}$ (${\displaystyle {}F^{e}(c)\neq 0}$ for all ${\displaystyle {}e}$ in positive characteristic[2]).

This result rests on the ampleness of ${\displaystyle {}{\mathcal {S}}'^{\vee }}$ occuring in the dual exact sequence ${\displaystyle {}0\rightarrow {\mathcal {O}}_{C}\rightarrow {\mathcal {S}}'^{\vee }\rightarrow {\mathcal {S}}^{\vee }\rightarrow 0}$ given by ${\displaystyle {}c}$ (work of Hartshorne and Gieseker). It implies for a strongly semistable syzygy bundle the following degree formula for tight closure.

## Theorem

Suppose that ${\displaystyle {}\operatorname {Syz} _{}^{}{\left(f_{1},\ldots ,f_{n}\right)}}$ is strongly semistable. Then
${\displaystyle 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}}.}$

We indicate the proof of the inclusion result. The degree condition implies that ${\displaystyle {}c=\delta (f)\in H^{1}(C,{\mathcal {S}})}$ is such that ${\displaystyle {}{\mathcal {S}}=\operatorname {Syz} _{}^{}{\left(f_{1},\ldots ,f_{n}\right)}(m)}$ has nonnegative degree. Then also all Frobenius pull-backs ${\displaystyle {}F^{*}({\mathcal {S}})}$ have nonnegative degree. Let ${\displaystyle {}{\mathcal {L}}={\mathcal {O}}(k)}$ be a twist of the tautological line bundle on ${\displaystyle {}C}$ such that its degree is larger than the degree of ${\displaystyle {}\omega _{C}^{-1}}$, the dual of the canonical sheaf. Let ${\displaystyle {}z\in H^{0}(C,{\mathcal {L}})}$ be a non-zero element. Then ${\displaystyle {}zF^{e*}(c)\in H^{1}(C,F^{e*}({\mathcal {S}})\otimes {\mathcal {L}})}$, and by Serre duality we have

${\displaystyle H^{1}(C,F^{e*}({\mathcal {S}})\otimes {\mathcal {L}})\cong H^{0}(C,F^{e*}({\mathcal {S}}^{*})\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 nontrivial section. Hence ${\displaystyle {}zF^{e*}=0}$ and therefore ${\displaystyle {}f}$ belongs to the tight closure.

Harder-Narasimhan filtration

In general, there exists an exact criterion depending on ${\displaystyle {}c}$ and the strong Harder-Narasimhan filtration of ${\displaystyle {}{\mathcal {S}}}$. For this we give the definition of the Harder-Narasimhan filtration.

## Definition

Let ${\displaystyle {}{\mathcal {S}}}$ be a vector bundle on a smooth projective curve ${\displaystyle {}C}$ over an algebraically closed field ${\displaystyle {}K}$. Then the (uniquely determined) filtration

${\displaystyle 0={\mathcal {S}}_{0}\subset {\mathcal {S}}_{1}\subset \ldots \subset {\mathcal {S}}_{t-1}\subset {\mathcal {S}}_{t}={\mathcal {S}}}$

of subbundles such that all quotient bundles ${\displaystyle {}{\mathcal {S}}_{k}/{\mathcal {S}}_{k-1}}$ are semistable with decreasing slopes ${\displaystyle {}\mu _{k}=\mu ({\mathcal {S}}_{k}/{\mathcal {S}}_{k-1})}$, is called the Harder-Narasimhan filtration of ${\displaystyle {}{\mathcal {S}}}$.

The number ${\displaystyle {}\mu _{1}}$ is called the maximal slope and the number ${\displaystyle {}\mu _{t}}$ is called the minimal slope of ${\displaystyle {}{\mathcal {S}}}$. In Example 2.1 the Harder-Narasimhan filtration of ${\displaystyle {}\operatorname {Syz} \,(x^{4},y^{4},xy^{3})}$ is

${\displaystyle {\mathcal {O}}_{C}(-5)\subset \operatorname {Syz} \,(x^{4},y^{4},xy^{3}),}$

the quotient is ${\displaystyle {}{\mathcal {O}}_{C}(-7)}$. This Harder-Narasimhan filtration is strong, since any line bundle is strongly semistable. The (strong) Harder-Narasimhan filtration is a replacement for the easy decomposition we had in this example.

The Harder-Narasimhan filtration exists and is uniquely determined by its properties (by a theorem of Harder and Narasimhan). A Harder-Narasimhan filtration is called strong if all the quotients ${\displaystyle {}{\mathcal {S}}_{k}/{\mathcal {S}}_{k-1}}$ are strongly semistable. A Harder-Narasimhan filtration is not strong in general, however, by a Theorem of A. Langer, there exists some Frobenius pull-back ${\displaystyle {}F^{e*}({\mathcal {S}})}$ such that its Harder-Narasimhan filtration is strong.

## Theorem

Let ${\displaystyle {}C}$ denote a smooth projective curve over an algebraically closed field ${\displaystyle {}K}$ and let ${\displaystyle {}E}$ be a vector bundle over ${\displaystyle {}C}$ together with a cohomology class ${\displaystyle {}c\in H^{1}(C,{\mathcal {S}})}$. Let

${\displaystyle E_{1}\subset E_{2}\subset \ldots \subset E_{t-1}\subset E_{t}=F^{e*}(E)}$

be a strong Harder-Narasimhan filtration. We choose ${\displaystyle {}i}$ such that ${\displaystyle {}E_{i}/E_{i-1}}$ has degree ${\displaystyle {}\geq 0}$ and that ${\displaystyle {}E_{i+1}/E_{i}}$ has degree ${\displaystyle {}<0}$. We set ${\displaystyle {}{\mathcal {Q}}=F^{e*}(E)/E_{i}}$.

Then the following are equivalent.

1. The torsor ${\displaystyle {}T(c)}$ is not an affine scheme.
2. Some Frobenius power of the image of ${\displaystyle {}F^{e*}(c)}$ inside ${\displaystyle {}H^{1}(X,{\mathcal {Q}})}$ is ${\displaystyle {}0}$.

## Remark

A notion of strong semistabilty exists also on higher dimensional normal projective varieties (depending on a polarization). If ${\displaystyle {}\operatorname {Syz} _{d}\,}$ is the top-dimensional syzygy bundle for a homogeneous ideal ${\displaystyle {}I\subseteq R}$ and ${\displaystyle {}m}$ is such that the minimal slope of ${\displaystyle {}\operatorname {Syz} _{d}(m)}$ is nonnegative, then ${\displaystyle {}R_{\geq m}\subseteq I^{*}}$. It is however more difficult to determine the degree of this syzygy bundle and to obtain exclusion results. Even if this bundle is strongly semistable there is no known inclusion/exclusion degree bound.

We describe two important consequences from this characterization of tight closure in terms of vector bundles.

Plus closure

Recall that the plus closure ${\displaystyle {}I^{+}}$ of an ideal ${\displaystyle {}I}$ is given by ${\displaystyle {}f\in I^{+}}$ if and only if there exists a finite extension (of domains) ${\displaystyle {}R\subseteq S}$ such that ${\displaystyle {}f\in IS}$. In terms of the torsor this is equivalent to the property that there exists a projective curve inside the torsor, or that the corresponding cohomology class can be annihilated by a finite morphism of projective curves. Over a finite field, the same criterion along the strong Harder-Narasimhan filtration which holds for tight closure also holds for (graded) plus closure. Therefore we get.

## Theorem

Let ${\displaystyle {}R}$ be a standard-graded, two-dimensional normal domain over (the algebraic closure of) a finite field. Let ${\displaystyle {}I}$ be an ${\displaystyle {}R_{+}}$-primary graded ideal.

Then

${\displaystyle I^{*}=I^{+}.}$

This is also true for non-primary graded ideals and also for submodules in finitely generated graded submodules. Moreover, G. Dietz has shown that one can get rid also of the graded assumption (of the ideal or module, but not of the ring).

Test exponents

The problem with an algorithmic computation of tight closure is that we have to check infinitely many conditions. For a test element ${\displaystyle {}z}$ (a well established theory) a test exponent is a number ${\displaystyle {}e_{0}}$ such that ${\displaystyle {}zf^{q}\in I^{[q]}}$ for all ${\displaystyle {}q=p^{e}}$ and ${\displaystyle {}e\leq e_{0}}$ implies ${\displaystyle {}f\in I^{*}}$. This makes also sense for a restricted class of ideals. But even for parameter ideals nothing substantial is known.

The following variant is more promising and has the same computational effect: Let ${\displaystyle {}\tau }$ denote the test ideal of ${\displaystyle {}R}$. We call ${\displaystyle {}e_{0}}$ a test ideal exponent (for a class of ideals) if

${\displaystyle zf^{q}\in I^{[q]}{\text{ for all }}z\in \tau }$

and for all ${\displaystyle {}q=p^{e}}$ and ${\displaystyle {}e\leq e_{0}}$ implies ${\displaystyle {}f\in I^{*}}$. For this one has to know the test ideal, but this is known in many cases. For the class of parameter ideals in the Gorenstein case this works, because then ${\displaystyle {}I^{*}=(I:\tau )}$ and so we can take even ${\displaystyle {}0}$ as test ideal exponent.

The methods from above allow us to extend this to homogeneous primary ideals in a standard-graded two-dimensional domain over a finite field. The test ideal exponent is however huge and not suitable for computations. It depends on the genus, the number of ideal generators and most importantly on the number of elements in the field (via the finite number of semistable bundles in the moduli space).

## Theorem

Let ${\displaystyle {}R}$ be a standard-graded, two-dimensional (geometrically) normal Gorenstein domain over a finite field. Fix ${\displaystyle {}n}$ and suppose that ${\displaystyle {}p\geq 4(g-1)(n-1)^{3}}$, where ${\displaystyle {}g}$ is the genus of the curve.

Then there exists a test ideal component for the class of primary homogeneous ideals generated by ${\displaystyle {}n}$ elements.

The finite field assumption in the last two statements is necessary. Both proofs rely on the fact that for fixed rank and degree there exists only finitely many semistable sheaves defined over the field with these numerical data.

Footnotes
1. ${\displaystyle {}{\mathcal {S}}^{\vee }}$ denotes the dual bundle. According to our convention, the geometric vector bundle corresponding to a locally free sheaf ${\displaystyle {}{\mathcal {T}}}$ is given by ${\displaystyle {}\operatorname {Spec} _{}^{}{\left(\oplus _{k\geq 0}S^{k}({\mathcal {T}})\right)}}$ and the projective bundle is ${\displaystyle {}\operatorname {Proj} _{}^{}{\left(\oplus _{k\geq 0}S^{k}({\mathcal {T}})\right)}}$, where ${\displaystyle {}S^{k}}$ denotes the ${\displaystyle {}k}$th symmetric power.
2. Here one has to check only finitely many ${\displaystyle {}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.