The asymptotic behavior of Frobenius direct images of rings of invariants (Q340394): Difference between revisions

Partly motivated by work of \textit{W. Bruns} [Contemp. Math. 390, 63--71 (2005; Zbl 1191.13021)], the authors define the Frobenius limit or \(F\)-limit of an element \(\alpha\) in a Grothendieck group of \(\mathbb{Q}\)-graded modules over a graded ring tensored over the reals where the equivalence is defined via direct sums rather than through short exact sequences. They point out that if this limit exists then there is a natural way to define both the Hilbert-Kunz multiplicity and the \(F\)-signature of \(\alpha\) with respect to a homogeneous \(\mathfrak{m}\)-primary ideal in terms of this \(F\)-limit. Using their new definition, they determine the \(F\)-limit of a free module \(F\) over graded polynomial ring \(B\) of rank \(f\) which is also a \(\mathbb{Q}\)-graded \(B*G\) for a finite group \(G\) acting faithfully on \(B\) to be \(\displaystyle\frac{f}{|G|}[B*G]\) and additionally the \(F\)-limit of the \(G\)-invariant submodule \(F^G\) is \(\displaystyle\frac{f}{|G|}[B]\). Moreover, they recover and expand upon the generalized \(F\)-signature of \(B^G\) which was formulated in [\textit{M. Hashimoto} and \textit{Y. Nakajima} [J. Algebra 443, 142--152 (2015; Zbl 1329.13010)].