A Function Determined by a Hypersurface of Positive Characteristic

Abstract

Let $R=k [[X_1, \dots ,X_{n+1}]]$ be a formal power series ring over a perfect field $k$ of characteristic $p>0$, and let $\mathfrak{m} = (X_1 , \dots , X_{n+1})$ be the maximal ideal of $R$. Suppose $0\neq f \in\mathfrak{m}$. In this paper, we introduce a function $\xi_{f}(x)$ associated with a hypersurface $R/(f)$ defined on the closed interval $[0,1]$ in $\mathbb{R}$. The Hilbert-Kunz multiplicity and the F-signature of $R/(f)$ appear as the values of our function $\xi_{f}(x)$ on the interval's endpoints. The F-signature of the pair, denoted by $s(R,f^{t})$, was defined by Blickle, Schwede and Tucker. Our function $\xi_{f}(x)$ is integrable, and the integral $\int_{t}^{1}\xi_{f}(x)dx$ is just $s(R,f^{t})$ for any $t\in[0,1]$.