F-signature function of quotient singularities

DOI10.1016/J.JALGEBRA.2018.11.040MaRDI QIDQ1714869zbMATH OpenOpenAlexWikidataFDO

Authors Alessio Caminata, Alessandro De Stefani

Publication date 1 February 2019

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.01281

zbMATH Keywords

F-signature functionfinite small groupsFrobenius endomorphism and F-singularitiesrings of invariantsVeronese subrings

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35)

Abstract: We study the shape of the F-signature function of a $d$-dimensional quotient singularity $mathbbk[[x_1,ldots,x_d]{]}^G$, and we show that it is a quasi-polynomial. We prove that the second coefficient is always zero and we describe the other coefficients in terms of invariants of the finite acting group $GsubseteqmathrmGl(d,Bbbk)$. When $G$ is cyclic, we obtain more specific formulas for the coefficients of the quasi-polynomial, which allow us to compute the general form of the function in several examples.

Review text

Let \(k\) be a perfect algebraically closed field of characteristic \(p>0\), \(S=kx_1, \ldots, x_d\) and \(R=S^G\) be the ring of invariants of a finite group \(G \subseteq \mathrm{GL}(d,k)\) whose order is not divisible by \(p\) having no \((d-1)\)-pseudoreflections. In this nice paper, the authors investigate the \(F\)-signature function of such a ring \(R\) and the related functions \(\text{mult}(M_{\alpha}, R^{1/p^e})\) where \(M_{\alpha}\) are the irreducible submodules which appear in the direct sum decomposition of \(R^{1/p^e}\). Note that the \(F\)-signature functions is actually \(\text{mult}(M_{0}, R^{1/p^e})\). They prove that these functions are polynomials in \(p^e\) with coefficients in \(\mathbb{Q}\); moreover, the leading coefficient is \(\displaystyle\frac{\text{rank}(M_{\alpha})}{|G|}\), the coefficient of \((p^e)^{d-1}\) is identically 0 and in fact if \(G\) is a group with no \(c\)-pseudoreflections, then the coefficient of \((p^e)^c\) is also identically 0. They further investigate these functions when \(G\) is a cyclic group of order \(n\) with \(G\) generated by a diagonal matrix of the form \(\text{diag}(\lambda^{t_1}, \ldots, \lambda^{t_d})\) where \(\lambda\) is a primitive \(n\)-th root of unity in \(k\). In this setting there are precisely \(n\) irreducible representations. For each \(0 \leq \alpha \leq n-1\), define \[ \mathcal{A}^{(\alpha)}=\{(a_1, \ldots a_d) \in \mathbb{Z}^d | t_1a_1 +\cdots t_da_d \equiv \alpha \text{ mod } n\}. \] The authors give a nice geometric formula for the functions \(\text{mult}(M_{\alpha},R^{1/p^e})\) in this setting to be the cardinality of the lattice points of \(\mathcal{A}^{(\alpha)}\) inside the cube \([0,p^e-1]^d\). The authors illustrate their results computing the \(F\)-signature function for several rings including: the \(E_6\)-singularity, the \(A_{n-1}\)-singularities, and the 2- and 3-dimensional \(n\)-th Veronese rings.

Recommendations

• The symmetric signature of cyclic quotient singularities
• The symmetric signature
• \(F\)-signature exists
• Dual F-signature of special Cohen-Macaulay modules over cyclic quotient surface singularities
• Functions on quotient singularities

Cites work

• \(F\)-signature and Hilbert-Kunz multiplicity: a combined approach and comparison
• \(F\)-signature exists
• Characterizations of Regular Local Rings of Characteristic p
• Cohen-Macaulay representations
• Conic divisor classes over a normal monoid algebra
• Explicit Hilbert-Kunz functions of \(2\times 2\) determinantal rings
• Generalized F-signature of invariant subrings
• Globalizing F-invariants
• Hilbert-Kunz functions for normal rings
• Hilbert-Kunz functions of 2 2 determinantal rings
• Hilbert–Kunz Functions over Rings Regular in Codimension One
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• Minimal relative Hilbert-Kunz multiplicity
• Mutation in triangulated categories and rigid Cohen-Macaulay modules
• On Noetherian Rings of Characteristic p
• On the number of solutions to a Diophantine equation
• Rational Singularities and Almost Split Sequences
• Simplicity of Rings of Differential Operators in Prime Characteristic
• Some surprising Hilbert-Kunz functions
• The \(F\)-signature and strong \(F\)-regularity.
• The asymptotic behavior of Frobenius direct images of rings of invariants
• The F-signature of an affine semigroup ring
• The Hilbert-Kunz function
• The Hilbert-Kunz function of rings of finite Cohen-Macaulay type
• The Hilbert-Kunz functions of two-dimensional rings of type ADE
• The Hilbert–Kunz Function in Graded Dimension Two
• The singular Riemann-Roch theorem and Hilbert-Kunz functions
• Tilting and cluster tilting for quotient singularities
• Two theorems about maximal Cohen-Macaulay modules

Cited in

(9)

• A function determined by a hypersurface of positive characteristic
• Dual F-signature of special Cohen-Macaulay modules over cyclic quotient surface singularities
• The symmetric signature of cyclic quotient singularities
• The shape of Hilbert-Kunz functions
• Bounded step functions and factorial ratio sequences
• Functions on quotient singularities
• Generalized F-signature of invariant subrings
• Differential symmetric signature in high dimension
• Generalized F-signatures of the rings of invariants of finite group schemes

This page was built for publication: F-signature function of quotient singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1714869)