Asymptotic behavior of the socle of Frobenius powers

TL;DR

This paper investigates the asymptotic behavior of the socle of Frobenius powers in local rings, introducing the diagonal F-threshold concept, and explores its geometric implications and growth patterns of socle length and Betti numbers.

Contribution

It defines the diagonal F-threshold for certain rings, analyzes its existence and properties, and relates socle length growth to Betti number growth in Frobenius powers.

Findings

Diagonal F-threshold exists as a positive rational number in specific classes of rings.

The geometric interpretation of the F-threshold is established for two-dimensional normal domains.

Socle length growth and Betti number growth differ by at most a constant as q approaches infinity.

Abstract

Let $(R, m)$ be a local ring of prime characteristic $p$ and $q$ a varying power of $p$. We study the asymptotic behavior of the socle of $R/I^{[q]}$ where $I$ is an $m$ -primary ideal of $R$. In the graded case, we define the notion of diagonal $F$-threshold of $R$ as the limit of the top socle degree of $R/m^{[q]}$ over $q$ when $q \to \infty$. Diagonal $F$-threshold exists as a positive number (rational number in the latter case) when: (1) $R$ is either a complete intersection or $R$ is $F$-pure on the punctured spectrum; (2) $R$ is a two dimensional normal domain. In the latter case, we also discuss its geometric interpretation and apply it to determine the strong semistability of the syzygy bundle of $(x^d, y^d,z^d)$ over the smooth projective curve in $\mathbb P^2$ defined by $x^n+y^n+z^n=0$. The rest of this paper concerns a different question about how the length of the socle of $R/I^{[q]}$ vary as $q$ varies. We give explicit calculations of the length of the socle of $R/m^{[q]}$ for a class of hypersurface rings which attain the minimal Hilbert-Kunz function. We finally show, under mild conditions, the growth of such length function and the growth of the second Betti numbers of $R/m^{[q]}$ differ by at most a constant, as $q \to \infty$.