Restriction of the cotangent bundle to elliptic curves and Hilbert-Kunz functions (Q813272)

The Hilbert-Kunz function of a primary ideal \(I\) in a local noetherian ring \((R,m)\) or in a \(\mathbb{N}\)-graded algebra \((R,R_+)\) of dimension \(d\) of positive characteristic \(p\), is given by \(e \rightarrow \lambda(R/I^{[p^e]},\lambda\) being the length, while the Hilbert-Kunz multiplicity of \(I\) is \(e_HK(I) =\) limit when \(e\) tends to infinity of \(\lambda(R/I^{[pe]})/p^{ed}\) This limit exists and is a positive number [see \textit{P. Monsky}, Math. Ann. 263, 43--49 (1983; Zbl 0509.13023)]. When \(I = m\) the limit is called the Hilbert-Kunz multiplicity of \(R\). Not much is known on the Hilbert-Kunz functions, in particular about their being rational functions. This paper gives a contribution to understand the Hilbert-Kunz function in some cases. First of all it gives an explicit description of the Hilbert-Kunz function of a homogeneous \(R_+\)-primary ideal \(I\subset R = \bigoplus _{n \geq 0}\Gamma(C,=_C(n))\), where \(C \subset \mathbb P^N\) is an elliptic curve over an algebraically closed field of positive characteristic. Then the special case of an ideal generated by linear forms \(I = (X_0,\dots,X_N) \subset \Gamma (C,O_C(1))\) is considered, in particular when the corresponding linear system is complete (\(I = (X_0,\dots,X_N) = \Gamma (C,O_C(1))\). This yelds a new proof of a theorem of \textit{N. Fakhruddin} and \textit{V. Trivedi} [J. Pure Appl. Algebra 181, No. 1, 23--52 (2003; Zbl 1090.14503)]. Then the case of a space elliptic curve is discussed, and a list is given of three possible features for the Hilbert-Kunz function.