Frobenius-Poincaré function and Hilbert-Kunz multiplicity
Abstract
We generalize the notion of Hilbert-Kunz multiplicity of a graded triple $(M,R,I)$ in characteristic $p>0$ by proving that for any complex number $y$, the limit $$\underset{n \to \infty}{\lim}(\frac{1}{p^n})^{\text{dim}(M)}\sum \limits_{j= -\infty}^{\infty}\lambda \left( (\frac{M}{I^{[p^n]}M})_j\right)e^{-iyj/p^n}$$ exists. We prove that the limiting function in the complex variable $y$ is entire and name this function the \textit{Frobenius-Poincaré function}. We establish various properties of Frobenius-Poincaré functions including its relation with the tight closure of the defining ideal $I$; and relate the study Frobenius-Poincaré functions to the behaviour of graded Betti numbers of $\frac{R}{I^{[p^n]}} $ as $n$ varies. Our description of Frobenius-Poincaré functions in dimension one and two and other examples raises questions on the structure of Frobenius-Poincaré functions in general.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2022
- DOI:
- 10.48550/arXiv.2201.02717
- arXiv:
- arXiv:2201.02717
- Bibcode:
- 2022arXiv220102717M
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Algebraic Geometry;
- Mathematics - Complex Variables;
- 13D40(primary);
- 13A02(secondary);
- 13A35(secondary);
- 30D15(secondary);
- 42B10(secondary)
- E-Print:
- Remark 5.5 improved, rewritten for better exposition, typos fixed