F-rationality of the ring of modular invariants

DOI10.1016/J.JALGEBRA.2017.04.017MaRDI QIDQ2357076zbMATH OpenOpenAlexFDO

Authors Mitsuyasu Hashimoto

Publication date 19 June 2017

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

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

zbMATH Keywords

\(F\)-rational\(F\)-regulardual \(F\)-signatureFrobenius limit

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Actions of groups on commutative rings; invariant theory (13A50)

Abstract: Using the description of the Frobenius limit of modules over the ring of invariants under an action of a finite group on a polynomial ring over a field of characteristic $p>0$ developed by Symonds and the author, we give a characterization of the ring of invariants with a positive dual $F$-signature. Combining this result and Kemper's result on depths of the ring of invariants under an action of a permutation group, we give an example of an $F$-rational, but non-$F$-regular ring of invariants under the action of a finite group.

Review text

One of the important aspects of invariant theory is, study of ring theoretic properties of invariant subrings under the action of algebraic groups. The author of the paper under review considers \(F\)-rationality of invariant subrings under the action of finite groups on polynomial rings. Here \(F\) stands for Frobenius. Let \(F\) be an algebraically closed field of characteristic \(p>0\), and \(V=F^d\), and \(G\) a finite subgroup of \(\mathrm{GL}(V)\) without pseudo-reflections. Let \(B=\mathrm{sym}(V)\), the symmetric algebra of \(V\), and \(A=B^G\), the ring of invariants. If \(p\) doesn't divide the order of \(G\), then \(A\) is a direct summand subring of \(B\), and is strongly \(F\)-regular [\textit{M. Hashimoto}, ``Equivariant class group. III: Almost principal fiber bundles, Prperint, \url{arXiv:1503.02133}; \textit{M. Hashimoto} and \textit{Y. Nakajima}, J. Algebra 443, 142--152 (2015; Zbl 1329.13010)]. If \(p\) divides the order of \(G\), it has been proven that \(A\) is not a direct summand subring of \(B\) hence \(A\) is not weakly \(F\)-regular [\textit{A. Broer}, Transform. Groups 10, No. 1, 5--27 (2005; Zbl 1106.13004)]. The author of the paper under review uses the characterization and \textit{G. Kemper}'s result on the depth of the ring of invariants under the action of certain groups of permutations to show that when \(A\) is \(F\)-rational [J. Algebra 245, No. 2, 463--531 (2001; Zbl 1031.13002)]. The author gives example of \(F\)-rational \(A\) for \(p\geq 5\).

Recommendations

• The asymptotic behavior of Frobenius direct images of rings of invariants
• Generalized F-signature of invariant subrings
• scientific article; zbMATH DE number 1302476
• Good filtrations of symmetric algebras and strong F-regularity of invariant subrings.
• Failure of F-purity and F-regularity in certain rings of invariants

Cites work

• \(F\)-pure homomorphisms, strong \(F\)-regularity, and \(F\)-injectivity
• F-Regularity, Test Elements, and Smooth Base Change
• Failure of F-purity and F-regularity in certain rings of invariants
• Generalized F-signature of invariant subrings
• scientific article; zbMATH DE number 863015 (Why is no real title available?)
• On dual \(F\)-signature
• On Noetherian Rings of Characteristic p
• Openness of the F-rational locus and smooth base change
• Pure subrings of regular local rings, endomorphism rings and Frobenius morphisms
• The \(F\)-signature and strong \(F\)-regularity.
• The asymptotic behavior of Frobenius direct images of rings of invariants
• The Cohen-Macaulay property and F-rationality in certain rings of invariants
• The depth of invariant rings and cohomology. Appendix by Kay Magaard: Visible flatness for irreducible modules of groups with BN-pair
• The direct summand property in modular invariant theory
• Two theorems about maximal Cohen-Macaulay modules

Cited in

(10)

• Failure of F-purity and F-regularity in certain rings of invariants
• The relative trace ideal and the depth of modular rings of invariants
• The Frobenius morphism in invariant theory. II
• Restrictions to G(𝔽_p) and G_(r) of rational G-modules
• The asymptotic behavior of Frobenius direct images of rings of invariants
• Generalized F-signature of invariant subrings
• Good filtrations of symmetric algebras and strong F-regularity of invariant subrings.
• Generalized F-signatures of the rings of invariants of finite group schemes
• The theory of F-rational signature
• Homological properties of invariant rings of permutation groups

This page was built for publication: \(F\)-rationality of the ring of modular invariants

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