Hilbert-Kunz theory for nodal cubics, via sheaves (Q2428078): Difference between revisions

Let \(F\) be an algebraically closed field of characteristic \(p>0\), and let \(B=F[x,y,z]/h\) be the homogeneous coordinate ring of a nodal cubic \(C\). Suppose \(J\) is a homogeneous ideal of \(B\). For \(n>0\), let \(q=p^n\) and let \(J^{[q]}\) be the ideal generated by \(u^q\) for \(u \in J\). The function \(e_n\) given by the dimension of \(B/J^{[q]}\) over \(F\) is called the Hilbert-Kunz function of \(C\). The author expresses \(e_n\) as a quadratic polynomial of \(q\) with the coefficients explicitly computed. The idea is to consider the kernel bundle \(W\) of \(J\) on \(C\), as was done earlier in [\textit{H. Brenner}, Math. Ann. 334, No. 1, 91--110 (2006; Zbl 1098.13017)] and [\textit{V. Trivedi}, J. Algebra 284, No. 2, 627--644 (2005; Zbl 1094.14024)]. Applying the results of \textit{I. Burban} [``Frobenius morphism and vector bundles on cycles of projective lines'', \url{arXiv:1010.0399}] on the classification of indecomposable locally free sheaves on \(C\) to \(W\), the author obtains the result after some calculations.