arxiv: 2604.21738 · v1 · submitted 2026-04-23 · 🧮 math.GR · math.RT

Recognition: unknown

On the induction functor from group algebras to distribution algebras

Christopher P. Bendel, Cornelius Pillen, Daniel K. Nakano

Pith reviewed 2026-05-08 13:13 UTC · model grok-4.3

classification 🧮 math.GR math.RT

keywords induction functordistribution algebrasgroup algebrasFrobenius kernelscohomologyrepresentation theoryreductive algebraic groupsfinite groups of Lie type

0 comments

The pith

The induction functor transfers cohomology and representation data from reductive algebraic groups to their finite subgroups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper studies the induction functor that maps modules from the group algebra of the finite group G(F_q) to the distribution algebra of the reductive algebraic group G. It examines how this functor connects to a fundamental theorem through calculations of cohomology and representations. Filtrations and truncation methods move substantial information from the algebraic group and its Frobenius kernels over to the finite group setting. A reader would care because the approach offers a route to apply structure from the infinite algebraic case to concrete finite groups in positive characteristic.

Core claim

The induction functor from the finite group of Lie type to the reductive algebraic group links a key result in representation theory to cohomology data, where filtrations and truncation enable the transfer of large amounts of information from the algebraic group and its Frobenius kernels.

What carries the argument

The induction functor ind from the finite group algebra to the distribution algebra of G, operating together with filtrations and truncation to move cohomology and representation information.

If this is right

Large amounts of data from the algebraic group G and its Frobenius kernels become available for the finite group G(F_q).
Cohomology groups and representations of the finite group gain descriptions in terms of algebraic group data.
The fundamental theorem gains new applications and interpretations in the finite group context.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The transfer methods may simplify explicit computations of extension groups between modules for small finite groups.
Similar functorial approaches could connect to questions about the ring structure of cohomology for finite groups of Lie type.
The framework might extend to comparisons with other types of group schemes beyond the reductive case.

Load-bearing premise

Filtrations and truncation methods successfully transfer the relevant cohomology and representation data from the algebraic group and Frobenius kernels to the finite group without critical loss.

What would settle it

A direct calculation of cohomology for a module over G(F_q) that fails to match the data predicted by transfer from the algebraic group or its Frobenius kernels.

read the original abstract

Let $G$ be a reductive algebraic group scheme defined over ${\mathbb F}_{p}$ and $k$ be an algebraically closed field of characteristic $p$. There are two associated families of finite group schemes, the $r$-th Frobenius kernels, denoted by $G_r$, and the fixed points of the iterated Frobenius map, the finite groups of Lie type, denoted by $G(\mathbb{F}_q).$ Bendel, Nakano and Pillen initiated the investigation of the induction functor $\operatorname{ind}_{G(\mathbb{F}_q)}^G-$. Using filtrations and truncation, large amounts of data coming from the algebraic group and the Frobenius kernels can be transferred to the finite group. This paper looks at connections between a fundamental theorem of Chastkofsky and Jantzen and the induction functor via the cohomology and representation theory of $G$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends the induction functor by connecting it to Chastkofsky-Jantzen via cohomology transfer, with the main question being whether truncation preserves the exact data.

read the letter

The punchline is that this paper continues the authors' work on the induction functor from G(F_q) to G by examining its connections to the Chastkofsky-Jantzen theorem through cohomology and representation theory. They do a solid job of applying filtrations and truncation to transfer data from the algebraic group and Frobenius kernels over to the finite groups. This method allows moving large amounts of information in a structured way, which aligns with their earlier papers and could aid in studying invariants for groups of Lie type. The soft spot is the reliance on those transfer techniques preserving the precise details needed for the theorem. Chastkofsky-Jantzen involves specific structures in cohomology or Ext groups, and if truncation modifies graded pieces or relations, the link could weaken. The paper should include checks or examples showing that the key invariants survive intact. This is for specialists in modular representation theory of algebraic groups and finite groups of Lie type. Someone already using the induction functor or working on cohomology computations for these groups would get the most out of it. I think it deserves peer review. The ideas build logically on prior results, and experts in the area can assess whether the connections hold up under the filtrations.

Referee Report

2 major / 2 minor

Summary. The paper investigates connections between the Chastkofsky-Jantzen theorem on the cohomology and Ext structure for groups of Lie type and the induction functor ind_{G(F_q)}^G from the group algebra of the finite group of Lie type to the distribution algebra of the reductive algebraic group G. It employs filtrations and truncation, following the approach of Bendel-Nakano-Pillen, to transfer cohomology and representation-theoretic data from the algebraic group G and its r-th Frobenius kernels G_r to G(F_q).

Significance. If the claimed connections hold with the data transfer preserving the necessary invariants, the work could provide a useful bridge between the representation theory of algebraic groups and finite groups of Lie type, extending prior investigations of the induction functor and potentially yielding new tools for studying cohomology rings in this setting.

major comments (2)

[The section on data transfer from G and G_r to G(F_q) via the induction functor] The central link to the Chastkofsky-Jantzen theorem depends on the filtrations and truncation transferring exact cohomology data (graded pieces, generators, and relations) without systematic loss or alteration of module structure. The manuscript must explicitly verify this preservation for the specific invariants appearing in the theorem, as any modification would render the connection approximate rather than exact.
[The part establishing the connection to the Chastkofsky-Jantzen theorem] The application of the induction functor to relate the theorem's cohomology statements to the finite group setting requires a precise statement of how the functor interacts with the transferred Ext or cohomology algebras; without this, it is unclear whether the link is direct or requires additional hypotheses that may not hold in general.

minor comments (2)

[Abstract] The abstract should more explicitly state the new results obtained rather than describing the general approach.
[Introduction] Notation for the induction functor and the groups G, G_r, and G(F_q) should be introduced with a brief reminder of definitions for readers not familiar with the Bendel-Nakano-Pillen framework.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying areas where greater precision would strengthen the manuscript. The two major comments both concern the exactness of the data transfer via filtrations and truncation and the resulting link to the Chastkofsky-Jantzen theorem. We address each point below and will incorporate the requested clarifications in a revised version.

read point-by-point responses

Referee: The central link to the Chastkofsky-Jantzen theorem depends on the filtrations and truncation transferring exact cohomology data (graded pieces, generators, and relations) without systematic loss or alteration of module structure. The manuscript must explicitly verify this preservation for the specific invariants appearing in the theorem, as any modification would render the connection approximate rather than exact.

Authors: We agree that an explicit verification step is required to make the preservation claim fully rigorous. The current text relies on the general transfer results of Bendel-Nakano-Pillen but does not isolate the graded pieces, generators, and relations that appear in the Chastkofsky-Jantzen theorem. In the revision we will add a short subsection that applies those general results directly to the cohomology invariants of the theorem, confirming that no alteration occurs under the standing hypotheses on G and p. This will be done by citing the relevant propositions from Bendel-Nakano-Pillen and checking the compatibility with the truncation functors used in the paper. revision: yes
Referee: The application of the induction functor to relate the theorem's cohomology statements to the finite group setting requires a precise statement of how the functor interacts with the transferred Ext or cohomology algebras; without this, it is unclear whether the link is direct or requires additional hypotheses that may not hold in general.

Authors: We accept that the interaction of the induction functor with the transferred Ext and cohomology algebras needs to be stated more explicitly. The manuscript currently invokes the functor after the transfer has occurred but does not record the precise compatibility isomorphism or the hypotheses under which it holds. We will insert a new proposition that describes this interaction, including the precise conditions on the modules and the resulting isomorphism of graded algebras. This will make clear that the link to the Chastkofsky-Jantzen statements is direct once the transfer is performed. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new connections to external Chastkofsky-Jantzen theorem are independent of prior self-citation on the induction functor.

full rationale

The paper extends the authors' earlier definition of the induction functor ind_{G(F_q)}^G- (via filtrations and truncation) to establish links with the Chastkofsky-Jantzen theorem on cohomology for groups of Lie type. No derivation step reduces by construction to the inputs, fitted parameters, or self-cited results; the central claims involve new applications of the functor to representation-theoretic data and the external theorem, which remains independently verifiable. The self-reference is limited to tool/method introduction and does not bear the load of the claimed connections, satisfying the criteria for a self-contained derivation against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No explicit free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5455 in / 1008 out tokens · 39426 ms · 2026-05-08T13:13:48.551202+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references

[1]

C. P. Bendel, D. K. Nakano, B. J. Parshall, C. Pillen, L. L. Scott, D. Stewart, Bounding cohomology for finite groups and Frobenius kernels, Algebr. Represent. Theor. , 18 , (2015), 739-760

2015
[2]

C. P. Bendel, D. K. Nakano, C. Pillen, On comparing the cohomology of algebraic groups, finite Chevalley groups and Frobenius kernels, J. Pure and Applied Algebra , 163 , (2001), 119-146

2001
[3]

C. P. Bendel, D. K. Nakano, C. Pillen, Extensions for finite Chevalley groups II, Transactions of the AMS , 354 , (2002), 4421-4454

2002
[4]

C. P. Bendel, D. K. Nakano, C. Pillen, Extensions for finite Chevalley groups I, Advances in Math. , 183 , (2004), 380--408

2004
[5]

C. P. Bendel, D. K. Nakano, C. Pillen, Extensions for
[6]

C. P. Bendel, D. K. Nakano, C. Pillen, Second cohomology
[7]

C. P. Bendel, D. K. Nakano, C. Pillen, On the vanishing ranges for the cohomology of finite groups of Lie type, International Math. Research Notices , (2012), no. 12, 2817–2866

2012
[8]

C. P. Bendel, D. K. Nakano, C. Pillen, On the vanishing ranges for the cohomology of finite groups of Lie type II, Proc. of the Symposia of Pure Mathematics , 86 , (2012), 25-73

2012
[9]

C. P. Bendel, D. K. Nakano, C. Pillen, Extensions for finite Chevalley groups III: Rational and generic cohomology, Advances in Math. , 262 , (2014), 484--519

2014
[10]

C. P. Bendel, D. K. Nakano, C. Pillen, P. Sobaje, On Donkin's Tilting Module Conjecture III: New Generic Lower Bounds, J. Algebra , 655 , (2024), 99-109

2024
[11]

Chastkofsky, Projective Characters for Finite Chevalley Groups, J

L. Chastkofsky, Projective Characters for Finite Chevalley Groups, J. Algebra , 69 , (1981), 347 -- 357

1981
[12]

Cline, B

E. Cline, B. J. Parshall, L. L. Scott, W. van der Kallen, Rational and generic cohomology, Invent. Math. , 39 , (1977), no. 2, 143-163

1977
[13]

C. W. Curtis, Representations of Lie algebras of classical type with applications to linear groups, J. Math. Mech. , 9 , (1960), 307--326

1960
[14]

Donkin, On tilting modules for algebraic groups, Math

S. Donkin, On tilting modules for algebraic groups, Math. Z. , 212 , (1993), no. 1, 39-60

1993
[15]

W. D. Hardesty, D. K. Nakano, P. Sobaje, On the existence of mock injectives for algebraic groups, Bulletin of the London Math.Soc. , 49 , (2017), 806--817

2017
[16]

J. E. Humphreys, Modular Representations of Finite Groups of Lie Type , London Mathematical Society Lecture Notes Series, Vol. 326, Cambridge University Press, Cambridge, 2006

2006
[17]

J. E. Humphreys, D. N. Verma, Projective modules for finite Chevalley groups, Bull. Amer. Math. Soc. , 79 , (1973), 467-468

1973
[18]

J. C. Jantzen, Zur Reduktion modulo p der Charaktere von Deligne und Lusztig, J. Algebra , 70 , (1981), 452 -- 474

1981
[19]

J. C. Jantzen, Representations of Algebraic Groups , Second Edition, Mathematical Surveys and Monographs, Vol. 107, American Mathematical Society, Providence RI, 2003

2003
[20]

Steinberg, Representations of algebraic groups, Nagoya Math

R. Steinberg, Representations of algebraic groups, Nagoya Math. J. , 22 , (1963), 33-56

1963
[21]

Algebra , 360 , (2012), 21--52

University of Georgia VIGRE Algebra Group, Second cohomology for finite groups of Lie type, J. Algebra , 360 , (2012), 21--52

2012
[22]

University of Georgia VIGRE Algebra Group, First cohomology of finite groups of Lie type: simple modules with small dominant weights, Transactions of the AMS , 365 , (2013), 1025-1050

2013