Vector bundles and tight closure (Triest 2023)/Lecture 1/latex
\setcounter{section}{1}
\subtitle {Hilbert-Kunz theory}
In 1969, Kunz was the first to consider the following function and the corresponding limit.
\inputdefinition
{ }
{
Let $K$ denote a field of positive characteristic $p$, let
\mathrelationchain
{\relationchain
{ K
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a noetherian ring and let
\mathrelationchain
{\relationchain
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be an ideal which is primary to some maximal ideal. Then the \definitionword {Hilbert-Kunz function}{} is the function
\mathdisp {\varphi_I \colon \N \longrightarrow \N
, e \longmapsto \varphi_I(e) = \operatorname{length} \, (R/I^{[p^e]})} { , }
where \mathl{I^{[p^e]}}{} is the extended ideal under the $e$-th iteration of the Frobenius homomorphism
\mathdisp {R \longrightarrow R
}
\inputdefinition
{ }
{
Let $K$ denote a field of positive characteristic $p$, let
\mathrelationchain
{\relationchain
{ K
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a noetherian ring and let
\mathrelationchain
{\relationchain
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be an ideal which is primary to some maximal ideal of height $d$. Then the \definitionword {Hilbert-Kunz multiplicity}{} of $I$ is the limit
\extrabracket {if it exists} {} {}
\mathrelationchaindisplay
{\relationchain
{ \lim_{e \rightarrow \infty} { \frac{ \operatorname{length} \, (R/I^{[p^e]}) }{ p^{ e d } } }
}
{ =} { \lim_{e \rightarrow \infty} { \frac{ \varphi_I(e) }{ p^{ e d } } }
}
{ } {
}
{ } {
}
{ } {
}
}
}
The Hilbert-Kunz multiplicity of the maximal ideal of a local noetherian ring $R$ is called the \keyword {Hilbert-Kunz multiplicity} {} of $R$. The existence of Hilbert-Kunz multiplicity was proven by Monsky.
\inputfakt
{Noetherian ring/Positive characteristic/Existence of Hilbert-Kunz multiplicity/Fact}
{Theorem}
{}
{
\factsituation {Let $K$ denote a field of positive characteristic $p$, let
\mathrelationchain
{\relationchain
{ K
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a noetherian ring and let
\mathrelationchain
{\relationchain
{ I
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be an ideal which is primary to some maximal ideal.}
\factconclusion {Then the Hilbert-Kunz multiplicity \mathl{e_{HK}(I)}{} exists and is a positive real number.}
\factextra {}
With the help of the Hilbert-Kunz multiplicity of a local noetherian ring one may characterize when $R$ is regular, as the following theorem shows
\extrabracket {which was initiated by Kunz in 1969 but finally proven by Watanabe and Yoshida in 2000} {} {.}
\inputfakt
{Regular ring/Characterication with Hilbert-Kunz multiplicity/Fact}
{Theorem}
{}
{
\factsituation {Let $R$ be a local noetherian ring of positive characteristic.}
\factsegue {Then the following hold.}
\factconclusion {\enumerationtwo {The Hilbert-Kunz multiplicity of $R$ is
\mathrelationchain
{\relationchain
{ e_{HK} (R)
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {If $R$ is unmixed, then
\mathrelationchain
{\relationchain
{ e_{HK} (R)
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if $R$ is regular.
}}
\factextra {}
\subtitle {Vector bundles}
We will have a look at Hilbert-Kunz theory and tight closure (to be introduced in the next lecture) from the viewpoint of vector bundles. To motivate this concept, which exists in algebraic geometry, differential geometry, topology, mathematical physics, we go back to linear algebra. Let $K$ be a field. We consider a system of linear homogeneous equations over $K$,
\mathrelationchaindisplay
{\relationchain
{ f_{11}t_1 + \cdots + f_{1n} t_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathrelationchaindisplay
{\relationchain
{ f_{21}t_1 + \cdots + f_{2n} t_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathdisp {\vdots} { }
\mathrelationchaindisplay
{\relationchain
{ f_{m1}t_1 + \cdots + f_{m n} t_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
where the \mathl{f_{ij}}{} are elements in $K$. The solution set to this system of homogeneous equations is a vector space $V$ over $K$
\extrabracket {a linear subspace of $K^n$} {} {,}
its dimension is \mathl{n- \operatorname{rk}(A)}{,} where
\mathrelationchaindisplay
{\relationchain
{ A
}
{ =} { { \left( f_{ij} \right) }_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is the matrix given by these elements. Suppose now that $X$ is a geometric object
\extrabracket {a topological space, a manifold, a variety, a scheme, the spectrum of a ring} {} {}
and that instead of elements in the field $K$ we have functions
\mathdisp {f_{ij} \colon X \longrightarrow K} { }
on $X$
\extrabracket {which are continuous, or differentiable, or algebraic} {} {.}
We form the matrix of functions
\mathrelationchain
{\relationchain
{ A
}
{ = }{ { \left( f_{ij} \right) }_{ij}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
which yields for every point
\mathrelationchain
{\relationchain
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
a matrix \mathl{A(P)}{} over $K$. Then we get from these data the space
\mathrelationchaindisplay
{\relationchain
{ V
}
{ =} { { \left\{ (P;t_1 , \ldots , t_n) \mid A (P) \begin{pmatrix} t_1 \\\vdots\\ t_n \end{pmatrix} = 0 \right\} }
}
{ \subseteq} { X \times K^n
}
{ } {
}
{ } {
}
}
{}{}{}
together with the projection to $X$. For a fixed point
\mathrelationchain
{\relationchain
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the fiber \mathl{V_P}{} of $V$ over $P$ is the solution space in $K^n$ to the corresponding system of homogeneous linear equations given by inserting $P$ into \mathl{f_{ij}}{.} In particular, all fibers of the map
\mathdisp {V \longrightarrow X} { , }
are vector spaces
\extrabracket {maybe of non-constant dimension} {} {.}
These vector space structures yield an addition
\mathdisp {V \times_X V \longrightarrow V
, (P;s_1 , \ldots , s_n;t_1 , \ldots , t_n) \longmapsto (P;s_1+t_1 , \ldots , s_n+t_n)} { . }
Here, \mathl{V \times_X V}{} is the fiber product of \mathl{V \rightarrow X}{} with itself, only points in the same fiber can be added. The mapping
\mathdisp {X \longrightarrow V
, P \longmapsto (P;0 , \ldots , 0)} { , }
is called the \keyword {zero-section} {.} If we have just one equation with functions \mathl{f_1 , \ldots , f_n}{} and if
\mathrelationchain
{\relationchain
{ U
}
{ \subseteq }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denotes the open subset where not all $f_i$ vanish, then we get
a short exact sequence
\mathdisp {0 \longrightarrow V {{|}}_U \longrightarrow U \times K^n \longrightarrow U \times K \longrightarrow 0} { . }
If
\mathrelationchain
{\relationchain
{ D(f_i)
}
{ \subseteq }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
denotes the locus where $f_i$ does not vanish, then we get a linear isomorphism
\mathdisp {V {{|}}_{D(f_i)} \longrightarrow D(f_i) \times K^{n-1}
, \left( t_1 , \, \ldots , \, t_n \right) \longmapsto \left( t_1 , \, \ldots , \, t_{i-1} , \, t_{i+1} , \, , \ldots , , \, t_n \right)} { , }
as we can reconstruct
\mathrelationchaindisplay
{\relationchain
{ t_i
}
{ =} { - { \frac{ 1 }{ f_i } } { \left( t_1f_1 + \cdots + t_{i-1}f_{i-1} + t_{i+1}f_{i+1} + \cdots + t_n f_n \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
from the other variables. This local trivialization also shows that, on the intersection \mathl{D(f_i) \cap D(f_j)}{,} the transformation between two trivializations is linear. So locally, the object \mathl{V {{|}}_U}{} is trivial, but globally it might be complicated.
We now consider the scheme version of a vector bundle and in particular of a syzygy bundle
\extrabracket {kernel bundle} {} {,}
trying to keep the idea that we are dealing with objects from linear algebra, but over a varying base. Let $R$ denote a commutative ring, let $I$ denote an ideal and fix generators
\mathrelationchain
{\relationchain
{ I
}
{ = }{ { \left( f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
This defines a short exact sequence of $R$-modules
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } \longrightarrow R^n \stackrel{ f_1 , \ldots , f_n}{\longrightarrow} I \longrightarrow 0} { . }
The syzygy module \mathl{\operatorname{Syz} { \left(f_1 , \ldots , f_n \right) }}{} is in general not locally free on
\mathrelationchain
{\relationchain
{ X
}
{ = }{ \operatorname{Spec} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
However, on the open subset
\mathrelationchaindisplay
{\relationchain
{ U
}
{ =} { D(I)
}
{ =} { \bigcup_{i = 1}^n D(f_i)
}
{ \subseteq} { X
}
{ } {
}
}
{}{}{}
defined by the ideal, this module will be locally free, since it is free on each $D(f_i)$, using the same trivialization as above. Moreover, on $U$ we get 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 coherent sheaves. Later on, $I$ will be an ${\mathfrak m}$-primary ideal in a local noetherian ring $R$ and then
\mathrelationchaindisplay
{\relationchain
{ U
}
{ =} { X \setminus \{ {\mathfrak m} \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
will be the punctured spectrum of $R$. The sheaves occurring in the last sequence are locally free in the following sense.
\inputdefinition
{ }
{
A coherent ${\mathcal O}_X$-module ${ \mathcal F }$ on a scheme $X$ is called
\definitionword {locally free}{}
of rank $r$, if there exists an open covering
\mathrelationchain
{\relationchain
{X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and ${\mathcal O}_{U_i}$-module-isomorphisms
\mathrelationchain
{\relationchain
{ { \mathcal F } {{|}}_{U_i}
}
{ \cong }{ { \left( {\mathcal O}_{U_i} \right) }^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for every
\mathrelationchain
{\relationchain
{i
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
}
An equivalent concept of a locally free sheaf is the concept of a geometric vector bundle.
\inputdefinition
{ }
{
Let $X$ denote a scheme. A scheme $V$ equipped with a morphism
\mathdisp {p \colon V \longrightarrow X} { }
is called a
\definitionword {geometric vector bundle}{}
of rank $r$ over $X$ if there exists an open covering
\mathrelationchain
{\relationchain
{X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and $U_i$-isomorphisms
\mathdisp {\psi_i \colon U_i \times { {\mathbb A}_{ }^{ r } } = { {\mathbb A}_{ U_i }^{ r } } \longrightarrow V {{|}}_{U_i} = p^{-1} (U_i )} { }
such that for every open affine subset
\mathrelationchain
{\relationchain
{U
}
{ \subseteq }{ U_i \cap U_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the transition mappings
\mathdisp {\psi_j^{-1} \circ \psi_i \colon { {\mathbb A}_{ U_i }^{ r } } {{|}}_U \longrightarrow { {\mathbb A}_{ U_j }^{ r } } {{|}}_U} { }
}
We will work with both concepts and switch between them as needed.
\subtitle {The graded case}
We will restrict now to the standard-graded case in order to work on the corresponding projective variety. Let $R$ be a standard-graded normal domain over an algebraically closed field $K$. Let
\mathrelationchaindisplay
{\relationchain
{ Y
}
{ =} { \operatorname{Proj} { \left( R \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
be the corresponding projective variety and let
\mathrelationchaindisplay
{\relationchain
{ 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 $Y$ the short exact sequence
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } (m) \longrightarrow \bigoplus_{i=1}^n {\mathcal O}_Y (m-d_i) \stackrel{f_1 , \ldots , f_n}{\longrightarrow} {\mathcal O}_Y (m) \longrightarrow 0} { . }
Here \mathl{\operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } (m)}{} is a vector bundle, called the
\emphasize{syzygy bundle}{,} its rank is \mathl{n-1}{.}
Our approach to the computation of the Hilbert-Kunz multiplicity is by using the presenting sequence
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } \longrightarrow \bigoplus_{i=1}^n{\mathcal O}_Y(-d_i) \stackrel{f_1 , \ldots , f_n}{\longrightarrow} {\mathcal O}_Y \longrightarrow 0} { }
and twists of its $e$-th Frobenius pull-backs, that is
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left( f_1^q , \ldots , f_n^q \right) } (m) \longrightarrow \bigoplus_{i=1}^n{\mathcal O}_Y(m-qd_i) \stackrel{f_1^q , \ldots , f_n^q}{\longrightarrow} {\mathcal O}_Y(m) \longrightarrow 0} { }
\extrabracket {where
\mathrelationchainb
{\relationchainb
{ q
}
{ = }{ p^e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {,}
and to relate the asymptotic behavior of
\mathrelationchaindisplay
{\relationchain
{ \operatorname{length} \, (R/ I^{[q]})
}
{ =} { \operatorname{dim}_K \, (R/ I^{[q]})
}
{ =} { \sum_{m = 0}^\infty \operatorname{dim}_K \, (R/ I^{[q]})_m
}
{ } {
}
{ } {
}
}
{}{}{}
to the asymptotic behavior of the global sections of the Frobenius pull-backs
\mathrelationchaindisplay
{\relationchain
{ (F^{e*} ( \operatorname{Syz} { \left( f_1, \ldots , f_n \right) } )(m)
}
{ =} { \operatorname{Syz} { \left( f_1^q , \ldots , f_n^q \right) } (m)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
What we want to compute is just the cokernel of the complex of global sections of the above sequence, namely
\mathrelationchaindisplayhandleft
{\relationchaindisplayhandleft
{\operatorname{dim}_K \, (R/ I^{[q]})_m
}
{ =} {h^0 (Y,{\mathcal O}_Y(m)) - \sum_{i = 1}^n h^0 (Y,{\mathcal O}_Y(m-qd_i)) + h^0(Y, \operatorname{Syz} { \left( f_1^q , \ldots , f_n^q \right) } (m))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The summation over $m$ is finite
\extrabracket {but the range depends on $q$} {} {,}
and the terms
\mathrelationchaindisplay
{\relationchain
{ h^0 (Y,{\mathcal O}_Y(m))
}
{ =} { \operatorname{dim}_K \, \Gamma (Y,{\mathcal O}_Y (m) )
}
{ =} { \operatorname{dim}_K \, R_m
}
{ } {
}
{ } {
}
}
{}{}{}
are easy to control, so we have to understand the behavior of the global syzygies
\mathdisp {H^0(Y,\operatorname{Syz} { \left(f_1^q , \ldots , f_n^q \right) } (m))} { }
for all
\mathcor {} {q} {and} {m} {,}
at least asymptotically. This is a Frobenius-Riemann-Roch problem.
By this translation of Hilbert-Kunz theory into a projective setting, we gain the following. \enumerationthree {We work with projective varieties; if we look at local rings with an isolated singularity, we even work on smooth projective varieties. } {We work with locally free sheaves. Taking Frobenius pull-backs is then exact. The mentioned Frobenius-Riemann-Roch problem is not specific for syzygy bundles, but should be addressed in general. } {We can use the advanced methods of algebraic geometry, like intersection theory, Riemann-Roch theorem, vanishing theorems, ampleness, cohomology, moduli spaces. }
This is still a difficult problem in general. However, if the local normal ring has dimension two and the corresponding variety is a smooth projective curve, then our understanding is good enough to solve the main problems from Hilbert-Kunz theory. The main advantages in the curve case compared to the case of higher-dimensional varieties are the following. \enumerationfour {The degree of a vector bundle is independent of a polarization. } {There are only the $0$th and the first cohomology, which are directly related by Serre-duality. } {The Riemann-Roch theorem relates these notions. } {Semistability gives good criteria for having no global sections. }
We introduce these concepts on a smooth projective curve $C$ over an algebraically closed field $K$.
\inputdefinition
{ }
{
Let $C$ denote a smooth projective curve over an algebraically closed field $K$. For a locally free sheaf ${\mathcal G}$ on $C$ of rank $r$ we define its \definitionword {degree}{} by the degree of the determinant sheaf
\mathl{\bigwedge^r {\mathcal G}}{.}}
The determinant bundle is an invertible sheaf and corresponds therefore to a Weil divisor, say
\mathrelationchaindisplay
{\relationchain
{ D
}
{ =} { \sum_{P \in C} n_P P
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
its degree is defined by $\sum_{P \in C} n_P$. The degree of the curve itself is defined as the degree of ${\mathcal O}_C(1)$. The degree of bundles is additive on short exact sequences of locally free sheaves. Applying additivity to
\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} { }
we get
\mathrelationchaindisplay
{\relationchain
{ \operatorname{deg} { \left( \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) } (m) \right) }
}
{ =} { ((n-1)m - \sum_{i = 1}^n d_i) \operatorname{deg} \, (C)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputdefinition
{ }
{
Let ${\mathcal S}$ be a vector bundle on a smooth projective curve $C$. It is called \definitionword {semistable}{,} if
\mathrelationchain
{\relationchain
{ \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
\mathrelationchain
{\relationchain
{ {\mathcal T}
}
{ \subseteq }{ {\mathcal S}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Suppose that the base field has positive characteristic
\mathrelationchain
{\relationchain
{ p
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then ${\mathcal S}$ is called \definitionword {strongly semistable}{,} if all
\extrabracket {absolute} {} {}
}
The rational number
\mathrelationchain
{\relationchain
{ \mu( {\mathcal S} )
}
{ = }{ { \frac{ \operatorname{deg} ( {\mathcal S} ) }{ \operatorname{rk} ( {\mathcal S} ) } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is called the
\emphasize{slope}{} of a vector bundle. An important property of a semistable bundle of negative degree is that it can not have any global section $\neq 0$. The semistable bundles are those for which there exists a moduli space.
\inputexample{}
{
Let
\mathrelationchain
{\relationchain
{ R
}
{ = }{ K[x,y,z]/{ \left( x^3+y^3+z^3 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
where $K$ is a field of positive characteristic
\mathrelationchain
{\relationchain
{ p
}
{ \neq }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mathrelationchain
{\relationchain
{ I
}
{ = }{ { \left( x^2,y^2,z^2 \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
and
\mathrelationchaindisplay
{\relationchain
{ C
}
{ =} { \operatorname{Proj} { \left( R \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The equation
\mathrelationchain
{\relationchain
{ x^3+y^3+z^3
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
yields the short exact sequence
\mathdisp {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 \mathl{\operatorname{Syz} { \left(x^2,y^2,z^2 \right) }}{} is strongly semistable.
}
\inputexample{}
{
Let $C$ be the smooth Fermat quartic given by \mathl{x^4+y^4+z^4}{,} and consider on it the syzygy bundle \mathl{\operatorname{Syz} { \left(x,y,z \right) }}{} \extrabracket {which is also the restricted cotangent bundle from the projective plane} {} {.} This bundle is semistable. Suppose that the characteristic is $3$. Then its Frobenius pull-back is \mathl{\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 $4$. But the degree of \mathl{\operatorname{Syz} { \left(x^3,y^3,z^3 \right) } (4)}{} is negative, hence it can not be semistable anymore.
}
\inputdefinition
{ }
{
Let ${\mathcal S}$ be a vector bundle on a smooth projective curve $C$ over an algebraically closed field $K$. Then the
\extrabracket {uniquely determined} {} {}
filtration
\mathrelationchaindisplay
{\relationchain
{ 0
}
{ =} { {\mathcal S}_0
}
{ \subset} { {\mathcal S}_1
}
{ \subset \ldots \subset} { {\mathcal S}_{t-1}
}
{ \subset} { {\mathcal S}_t
}
}
{
\relationchainextension
{ =} { {\mathcal S}
}
{ } {}
{ } {}
{ } {}
}{}{}
of subbundles such that all quotient bundles \mathl{{\mathcal S}_k /{\mathcal S}_{k-1}}{} are semistable with decreasing slopes
\mathrelationchain
{\relationchain
{ \mu_k
}
{ = }{ \mu ({\mathcal S}_k /{\mathcal S}_{k-1})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}
\inputfakt
{Vector bundle on projective curve/Strong Harder-Narasimhan filtration/Existence/Fact}
{Theorem}
{}
{
\factsituation {Let $C$ denote a smooth projective curve over an algebraically closed field of positive characteristic $p$, and let ${\mathcal S}$ be a vector bundle on $C$.}
\factconclusion {Then there exists a natural number
\mathrelationchain
{\relationchain
{ e
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
such that the Harder-Narasimhan filtration of the $e$th Frobenius pull-back $F^{e*}({\mathcal S})$, say
\mathrelationchaindisplay
{\relationchain
{ 0
}
{ =} { {\mathcal S}_0
}
{ \subset} { {\mathcal S}_1
}
{ \subset \ldots \subset} { {\mathcal S}_{t-1}
}
{ \subset} { {\mathcal S}_t
}
}
{
\relationchainextension
{ =} { F^{e*}({\mathcal S})
}
{ } {}
{ } {}
{ } {}
}{}{}
has the property that the quotients \mathl{{\mathcal S}_k/ {\mathcal S}_{k-1}}{} are strongly semistable.}
\factextra {}
This theorem is due to A. Langer and holds also in higher dimension. An immediate consequence of this is that the Harder-Narasimhan filtration of all higher Frobenius pull-backs are just the pull-backs of this filtration. With these filtrations we can at least Frobenius-asymptotically control the global sections of the pull-backs and hence also the Hilbert-Kunz multiplicity. This implies the following theorem.
\inputfakt
{Hilbert-Kunz multiplicity/Two-dimensional graded/Brenner-Trivedi-formula/Fact}
{Theorem}
{}
{
\factsituation {Let $R$ be a two-dimensional standard-graded normal domain over an algebraically closed field of positive characteristic. Let
\mathrelationchain
{\relationchain
{ I
}
{ = }{ { \left( f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a homogeneous $R_+$-primary ideal with homogeneous generators of degree $d_i$. Let
\mathrelationchain
{\relationchain
{ {\mathcal S}
}
{ = }{ \operatorname{Syz} { \left(f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be the syzygy bundle on
\mathrelationchain
{\relationchain
{ C
}
{ = }{ \operatorname{Proj} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and suppose that the Harder-Narasimhan filtration of \mathl{F^{e*}({\mathcal S})}{} is strong, and let
\mathcond {\mu_k} {}
{k=1 , \ldots , t} {}
{} {} {} {,}
be the corresponding slopes. We set
\mathrelationchain
{\relationchain
{ \nu_k
}
{ = }{ { \frac{ - \mu_k }{ \operatorname{deg} \,(C) p^e } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mathrelationchain
{\relationchain
{ r_k
}
{ = }{ \operatorname{rk}\, ({\mathcal S}_k/{\mathcal S}_{k -1} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\factconclusion {Then the Hilbert-Kunz multiplicity of $I$ is
\mathrelationchaindisplay
{\relationchain
{ e_{HK}(I)
}
{ =} { { \frac{ \operatorname{deg} \,(C) }{ 2 } } { \left( \sum_{k = 1}^t r_k \nu_k^2 - \sum_{i = 1}^n d_i^2 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\factextra {In particular, it is a rational number.}
\inputfakt
{Hilbert-Kunz multiplicity/Two-dimensional graded/Formula for maximal ideal in plane case/Fact}
{Corollary}
{}
{
\factsituation {Let
\mathrelationchain
{\relationchain
{ R
}
{ = }{ K[x,y,z]/(H)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be a normal homogeneous hypersurface domain of dimension two and degree $\delta$ over an algebraically closed field of positive characteristic.}
\factconclusion {Then there exists a rational number
\mathcond {\nu_2} {}
{{ \frac{ 3 }{ 2 } } \leq \nu_2 \leq 2} {}
{} {} {} {,}
such that the Hilbert-Kunz multiplicity of $R$ is
\mathrelationchaindisplay
{\relationchain
{ e_{HK}(R)
}
{ =} { \delta { \left( \nu_2^2 -3 \nu_2 +3 \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\factextra {}