A remarkable functor on $G$-modules

Alexander Sherman; Anna Romanov; Geordie Williamson; Joe Baine; Tasman Fell

arxiv: 2505.07144 · v3 · submitted 2025-05-11 · 🧮 math.RT

A remarkable functor on G-modules

Joe Baine , Tasman Fell , Anna Romanov , Alexander Sherman , Geordie Williamson This is my paper

Pith reviewed 2026-05-22 16:05 UTC · model grok-4.3

classification 🧮 math.RT

keywords tensor functormodular representationsreductive algebraic groupsprincipal blockstandard objectscostandard objectsone-dimensional objectshypercohomology

0 comments

The pith

A tensor functor on modular representations of reductive algebraic groups sends standard and costandard objects in the principal block to one-dimensional objects.

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

The paper introduces a functor defined on categories of modular representations of reductive algebraic groups. This functor preserves tensor products and reduces every standard and costandard object in the principal block to a one-dimensional object. The construction is connected to prior results and conjectured to match hypercohomology under an equivalence from the subject. A sympathetic reader would care because the reduction to scalars could simplify calculations and reveal hidden structure in these representation categories.

Core claim

We introduce a new functor on categories of modular representations of reductive algebraic groups. Our functor is a tensor functor and sends every standard and costandard object in the principal block to a one-dimensional object. We connect our functor to recent work and conjecture that our functor is equivalent to hypercohomology under the equivalence of a known conjecture.

What carries the argument

The tensor functor on the category that preserves tensor products while mapping standard and costandard objects to one-dimensional objects.

If this is right

The functor simplifies analysis of the principal block by reducing many objects to scalars while keeping multiplicative structure.
The tensor property allows direct transfer of product relations from the original category to the images.
The conjectured link to hypercohomology indicates that the functor computes the same invariants as geometric methods in some cases.

Where Pith is reading between the lines

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

The same construction might produce analogous simplifications when applied to other blocks or parabolic subgroups.
Direct comparison of the functor output with known hypercohomology values on small examples would test the conjecture.
If the equivalence holds, the functor could serve as an algebraic shortcut for geometric computations in related settings.

Load-bearing premise

That a functor with the stated tensor property and the mapping of standard and costandard objects to one dimension can be defined on the category of modular representations of reductive algebraic groups.

What would settle it

An explicit computation on a small reductive group showing that the image of some standard object is not one-dimensional, or that the tensor product is not preserved, would refute the central claims.

read the original abstract

We introduce a new functor on categories of modular representations of reductive algebraic groups. Our functor has remarkable properties. For example it is a tensor functor and sends every standard and costandard object in the principal block to a one-dimensional object. We connect our functor to recent work of Gruber and conjecture that our functor is equivalent to hypercohomology under the equivalence of the Finkelberg-Mirkovic conjecture.

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

The paper introduces a new tensor functor on modular G-modules that collapses standards and costandards in the principal block to 1D objects, plus a conjecture tying it to hypercohomology.

read the letter

The main point is a new functor F on rational modules for reductive groups that is supposed to be monoidal and send every standard and costandard in the principal block to a one-dimensional space. They link this to Gruber's work and conjecture it matches hypercohomology under the Finkelberg-Mirkovic equivalence. That combination is what stands out as new here. If the construction works, it could give a direct algebraic handle on something that usually comes from geometry. The paper does a reasonable job placing the idea against existing results in modular representation theory and noting the relevant conjectures. The connection feels like a natural next step rather than a stretch. The soft spot is the verification that F really preserves the tensor product and reduces dimensions on Weyl modules and their duals. In positive characteristic those modules have filtrations and relations that do not always behave like their characteristic-zero counterparts, so the explicit definition or adjunction has to be checked carefully to make sure nothing extra appears. The stress-test note flags exactly this as the load-bearing step, and the abstract alone does not show the details. The conjecture itself sits separately and does not substitute for that check. This is aimed at people already working on modular representations of algebraic groups and the geometric side of the Finkelberg-Mirkovic story. A reader who wants new algebraic tools for the principal block or who follows Gruber-type constructions might find it worth a look. I would send it for peer review. The idea is specific enough and the potential payoff is clear, even if the construction needs more spelled-out checks to land fully.

Referee Report

1 major / 1 minor

Summary. The manuscript introduces a new functor on the category of modular (rational) representations of a reductive algebraic group G. It asserts that this functor is monoidal (a tensor functor) and sends every standard module Δ(λ) and costandard module ∇(λ) in the principal block to a one-dimensional object. The authors relate the construction to recent work of Gruber and conjecture that the functor corresponds to hypercohomology under the equivalence of the Finkelberg-Mirkovic conjecture.

Significance. If the functor can be shown to exist with the stated properties, the result would be significant for the representation theory of algebraic groups in positive characteristic. It would supply a new monoidal invariant that collapses the principal block to one-dimensional objects and could furnish a concrete algebraic realization of the Finkelberg-Mirkovic conjecture, complementing geometric or cohomological approaches.

major comments (1)

[Abstract/Introduction] Abstract and introduction: the central claims—that the functor is monoidal and that F(Δ(λ)) and F(∇(λ)) are one-dimensional for all dominant λ in the principal block—are stated without an explicit definition of the functor or a verification that the construction commutes with the tensor product and preserves the highest-weight structure. This verification is load-bearing for the main theorem, as the monoidal property must hold inside the category of rational G-modules without introducing extra relations characteristic of positive characteristic.

minor comments (1)

The precise relationship to Gruber's work should be stated with a specific citation or comparison of constructions rather than a general reference.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying a point of potential confusion in the presentation of the main results. We address the major comment below and outline the revisions we will make.

read point-by-point responses

Referee: [Abstract/Introduction] Abstract and introduction: the central claims—that the functor is monoidal and that F(Δ(λ)) and F(∇(λ)) are one-dimensional for all dominant λ in the principal block—are stated without an explicit definition of the functor or a verification that the construction commutes with the tensor product and preserves the highest-weight structure. This verification is load-bearing for the main theorem, as the monoidal property must hold inside the category of rational G-modules without introducing extra relations characteristic of positive characteristic.

Authors: We agree that the abstract and introduction would benefit from additional signposting to the definition and key verifications. The functor is defined explicitly in Section 2 via an algebraic construction on rational G-modules that is designed to be monoidal without relying on characteristic-specific relations. The monoidal property is verified directly in Theorem 3.1 by showing that the functor preserves tensor products in the category of rational G-modules. The action on standards and costandards is treated in Proposition 4.2, which establishes that F(Δ(λ)) and F(∇(λ)) are one-dimensional for dominant λ in the principal block. We will revise the introduction to include a short paragraph outlining the construction and adding forward references to Theorem 3.1 and Proposition 4.2, thereby making the logical structure clearer while leaving the body of the paper unchanged. revision: partial

Circularity Check

0 steps flagged

No significant circularity; functor properties asserted directly from construction

full rationale

The paper defines a new functor on categories of modular representations of reductive groups and states its tensoriality and the property that it sends standards and costandards in the principal block to one-dimensional objects as direct consequences of the construction. These claims are not derived from fitted parameters, self-referential definitions, or load-bearing self-citations; the link to Gruber's recent work and the separate conjecture equating the functor to hypercohomology via the Finkelberg-Mirkovic equivalence are presented as additional context rather than foundational inputs. No equations or reductions in the provided text reduce the central assertions to their own inputs by construction, leaving the derivation self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no identifiable free parameters, axioms, or invented entities; the functor itself is presented as newly defined without upstream details.

pith-pipeline@v0.9.0 · 5585 in / 1131 out tokens · 46005 ms · 2026-05-22T16:05:10.757402+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our functor is given by restricting to the first Frobenius kernel of a regular unipotent subgroup, and throwing away all projective summands... it is symmetric monoidal, and sends any standard or costandard module in the principal block to a one-dimensional object.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Φ_H(Repext_0(G)) ⊆ sVec

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.