The Frobenius morphism in invariant theory

DOI10.1016/J.AIM.2019.03.013zbMATH Open1430.14098arXiv1705.01832OpenAlexW2963288673WikidataQ128208389 ScholiaQ128208389MaRDI QIDQ2631938FDOQ2631938

Authors: Theo Raedschelders, Špela Špenko, Michel Van den Bergh 

Publication date: 16 May 2019

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Let $R$ be the homogeneous coordinate ring of the Grassmannian $mathbbG=operatornameGr(2,n)$ defined over an algebraically closed field of characteristic $p>0$. In this paper we give a completely characteristic free description of the decomposition of $R$, considered as a graded $R^p$-module, into indecomposables ("Frobenius summands"). As a corollary we obtain a similar decomposition for the Frobenius pushforward of the structure sheaf of $mathbbG$ and we obtain in particular that this pushforward is almost never a tilting bundle. On the other hand we show that $R$ provides a "noncommutative resolution" for $R^p$ when $pgen-2$, generalizing a result known to be true for toric varieties. In both the invariant theory and the geometric setting we observe that if the characteristic is not too small the Frobenius summands do not depend on the characteristic in a suitable sense. In the geometric setting this is an explicit version of a general result by Bezrukavnikov and Mirkovi'c on Frobenius decompositions for partial flag varieities. We are hopeful that it is an instance of a more general "$p$-uniformity" principle.

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

Recommendations

• The Frobenius morphism in invariant theory. II
• Frobenius splittings and invariant theory
• Frobenius functors and invariant factors
• The Frobenius morphism on a toric variety
• The Frobenius morphism of Schubert schemes
• The Frobenius number and \(a\)-invariant
• Frobenius morphism and semi-stable bundles
• Invariant differential operators and Frobenius decomposition of a \(G\)-variety
• Frobenius line invariance of algebraic \(K\)-theory
• The \(f\)-invariant and index theory

zbMATH Keywords

invariant theorynoncommutative resolutionGrassmanniantilting bundleFFRTFrobenius summand

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Actions of groups on commutative rings; invariant theory (13A50) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Noncommutative algebraic geometry (14A22) Positive characteristic ground fields in algebraic geometry (14G17) Modifications; resolution of singularities (complex-analytic aspects) (32S45)

Cites Work

• Title not available (Why is that?)
• On tilting modules for algebraic groups
• The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences
• On fusion categories.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decomposition of tensor products of modular irreducibles for SL2
• Higher extensions between modules for \(\text{SL}_2\).
• On the derived categories of coherent sheaves on some homogeneous spaces
• La conjecture de Weil. II
• Frobenius splitting methods in geometry and representation theory
• Consistent algebras and special tilting sequences
• Localization of modules for a semisimple Lie algebra in prime characteristic (with an appendix by R. Bezrukavnikov and S. Riche, Computation for \(\text{sl}(3))\)
• On the derived category of Grassmannians in arbitrary characteristic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Graded and filtered rings and modules
• Biinvertible actions of Hopf algebras
• Title not available (Why is that?)
• Representations of semisimple Lie algebras in prime characteristic and the noncommutative Springer resolution
• F-Regularity, Test Elements, and Smooth Base Change
• Schubert calculus and torsion explosion
• The universal form of the Littlewood-Richardson rule
• Homological Theory of Idempotent Ideals
• Title not available (Why is that?)
• Absolutely indecomposable representations and Kac-Moody Lie algebras. (With an appendix by Hiraku Nakajima).
• Title not available (Why is that?)
• Cohomology of induced representations for algebraic groups
• Remarks on non-commutative crepant resolutions of complete intersections
• Infinitesimal fixed points in modules with good filtration
• Rings of differential operators on classical rings of invariants
• Tight closure and strong F-regularity
• Frobenius push-forwards on quadrics
• Invariants under tori of rings of differential operators and related topics
• A filtration for rational modules
• Noncommutative resolution, F-blowups and \(D\)-modules
• Simplicity of Rings of Differential Operators in Prime Characteristic
• Another strongly exceptional collection of coherent sheaves on a Grassmannian
• A vanishing theorem for differential operators in positive characteristic
• On the Homological Dimension of Algebras of Differential Operators
• D-affinity and Frobenius Morphism on Quadrics
• On Ringel duality for Schur algebras
• Good filtrations of symmetric algebras and strong F-regularity of invariant subrings.
• Non-commutative resolutions of quotient singularities for reductive groups
• Title not available (Why is that?)
• Cohen-Macaulayness of modules of covariants
• Noncommutative resolutions using syzygies
• Sur les modules de covariants
• Extensions of modules for \(\text{SL}(2,K)\)
• Some rings of differential operators for \(\text{Sl}_ 2\)-invariants are simple
• Title not available (Why is that?)
• Examples of tensor categories
• Homogeneous ACM bundles on a Grassmannian
• On the Frobenius direct image of the structure sheaf of a homogeneous projective variety
• A Converse to Stanley's Conjecture for Sl 2
• Non-commutative desingularization of determinantal varieties. II: Arbitrary minors
• A Luna étale slice theorem for algebraic stacks
• The Frobenius morphism in invariant theory. II

Cited In (13)

• On the Frobenius direct image of the structure sheaf of a homogeneous projective variety
• Tilting generators via ample line bundles
• On Segre products, \(F\)-regularity, and finite Frobenius representation type
• The hidden semi-invariants generators of an almost-Frobenius biparabolic
• Frobenius splitting of certain rings of invariants
• Extension of scalars by the Frobenius morphism for reductive groups
• A note on affine cones over Grassmannians and their stringy 𝐸-functions
• Derived categories of Grassmannians over integers and modular representation theory
• PyFrobenius
• Homogeneous coordinate rings as direct summands of regular rings
• Looking out for Frobenius summands on a blown-up surface of \(\mathbb{P}^{2}\)
• Title not available (Why is that?)
• The Frobenius morphism in invariant theory. II

This page was built for publication: The Frobenius morphism in invariant theory

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