arxiv: 2604.03887 · v1 · submitted 2026-04-04 · 🧮 math.KT · math.GR· math.NT

Recognition: 2 theorem links

· Lean Theorem

Cohomology of special unitary groups and congruence subgroups

Claudio Bravo

Authors on Pith no claims yet

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

classification 🧮 math.KT math.GRmath.NT

keywords cohomologyspecial unitary groupscongruence subgroupshomotopy invariancePGL2SU3irreducible representations

0 comments

The pith

The first cohomology of SU₃(F[t]) with irreducible PGL₂(F) coefficients is naturally isomorphic to the cohomology of PGL₂(F).

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

The paper proves a homotopy invariance result for the first cohomology group of the special unitary group SU₃(F[t]) when the coefficients are irreducible representations of PGL₂(F). It shows this cohomology is naturally isomorphic to the corresponding cohomology of PGL₂(F). A sympathetic reader would care because the result indicates that the cohomology remains unchanged under extension to the polynomial ring, which may simplify explicit calculations and link the structure of these groups over different rings.

Core claim

The main theorem establishes that the first cohomology group of SU₃(F[t]) with coefficients in an irreducible representation of PGL₂(F) is naturally isomorphic to the first cohomology group of PGL₂(F) with the same coefficients.

What carries the argument

The natural isomorphism between H¹(SU₃(F[t]), V) and H¹(PGL₂(F), V) for irreducible representations V of PGL₂(F).

If this is right

The first cohomology becomes independent of the polynomial extension in this setting.
Cohomology of certain congruence subgroups of SU₃(F[t]) reduces to the base case of PGL₂(F).
The result supplies a concrete tool for computing these groups by transferring to the simpler group PGL₂(F).

Where Pith is reading between the lines

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

Similar invariance might hold for higher-degree cohomology or for other classical groups over polynomial rings.
The result could be checked directly by machine computation over small finite fields.
Given the K-theory category, the isomorphism may interact with known stability theorems in algebraic K-theory.

Load-bearing premise

The coefficients must be irreducible representations of PGL₂(F) and the group must be the special unitary group SU₃(F[t]) over a field F.

What would settle it

An explicit computation for a small field F and a chosen irreducible representation V showing that the two cohomology groups have different dimensions or structure would falsify the isomorphism.

read the original abstract

We prove a homotopy invariance result for the first cohomology group of the special unitary group $\mathrm{SU}_3(F[t])$ with coefficients in irreducible representations of $\mathrm{PGL}_2(F)$. The main theorem establishes that this cohomology is naturally isomorphic to the corresponding cohomology of $\mathrm{PGL}_2(F)$.

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 proves H^1(SU_3(F[t]), V) ≅ H^1(PGL_2(F), V) for irreps V of PGL_2 via a homotopy invariance reduction.

read the letter

The key takeaway is that this paper proves H^1(SU_3(F[t]), V) is naturally isomorphic to H^1(PGL_2(F), V) for irreducible representations V of PGL_2(F). It does so by establishing a homotopy invariance property that lets you reduce the case of the polynomial ring to the constant field case. The work applies standard stabilization and congruence subgroup techniques from algebraic K-theory to get this reduction. That approach is familiar in the area, and the stress-test note suggests the argument holds together without obvious gaps in assumptions about the field characteristic or the representations. What stands out is the clean statement of the main theorem. It gives a concrete isomorphism rather than a more general but vaguer result. For someone working on cohomology computations for algebraic groups over rings, this provides a specific tool that might simplify some calculations. On the downside, the result stays tightly focused on first cohomology and these two groups. It does not claim to open up new directions for higher cohomology or other unitary groups. The abstract is short on details about how the naturality is established or whether there are any restrictions on F beyond being a field. If the full proof relies on unstated properties of the irreps, that could be a minor point to clarify. Overall, the paper looks like a solid, incremental contribution in a specialized corner of algebraic K-theory. The citation pattern is not an issue here since it is building on known methods. The math seems grounded in reproducible techniques rather than ad-hoc fitting. This is for people already deep in group cohomology and K-theory of rings. A reader who follows papers on congruence subgroups or homotopy invariance in this setting would find it directly relevant and could use the isomorphism in their own work. It is worth sending to a serious referee because the claim is precise and the method is standard enough that experts can check it efficiently. I would recommend engaging with the paper in peer review. The central result is worth verifying in detail even if the scope remains limited.

Referee Report

0 major / 2 minor

Summary. The manuscript proves a homotopy invariance result for the first cohomology of the special unitary group SU_3(F[t]) with coefficients in irreducible representations V of PGL_2(F). The central theorem asserts a natural isomorphism H^1(SU_3(F[t]), V) ≅ H^1(PGL_2(F), V), obtained by reducing the polynomial-ring case to the constant-field case via stabilization and congruence-subgroup techniques from algebraic K-theory.

Significance. If the isomorphism holds, the result supplies a concrete computational reduction that links low-degree cohomology of algebraic groups over polynomial rings directly to the corresponding groups over fields. This strengthens the interface between group cohomology and algebraic K-theory and may facilitate explicit calculations for representations of PGL_2(F) and related congruence subgroups.

minor comments (2)

The abstract states the main theorem but does not indicate the key technical steps (stabilization, congruence subgroups). Adding one sentence on the proof strategy would improve accessibility without lengthening the abstract unduly.
Notation for the coefficient modules V and the precise definition of 'natural isomorphism' should be recalled or cross-referenced at the beginning of the main theorem statement to avoid any ambiguity for readers entering at that point.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No specific major comments were provided in the report, which we interpret as indicating that the central results and arguments are sound. We have conducted a final review of the text for clarity and minor typographical issues and will incorporate any such corrections in the revised version.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation establishes a natural isomorphism H^1(SU_3(F[t]), V) ≅ H^1(PGL_2(F), V) via a homotopy invariance statement that reduces the polynomial case to the constant case. This reduction relies on standard stabilization and congruence subgroup techniques in algebraic K-theory, which are externally established and do not reduce to the paper's own inputs by definition or self-citation. No load-bearing step is self-definitional, fitted, or dependent on author-overlapping uniqueness theorems; the proof chain remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract invokes standard facts from group cohomology and representation theory; no free parameters, ad-hoc axioms, or invented entities are mentioned.

axioms (1)

standard math Standard properties of group cohomology and irreducible representations hold
The result relies on general facts from homological algebra and representation theory of algebraic groups.

pith-pipeline@v0.9.0 · 5329 in / 1152 out tokens · 38141 ms · 2026-05-13T16:47:56.783970+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/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem B: H¹(SU₃(F[t]),V) ≅ H¹(PGL₂(F),V) for irreducible PGL₂(F)-representation V (char F=0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Bass, editor.Algebraic K-Theory I

H. Bass, editor.Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute, August 28 - September 8, 1972. Springer Berlin, Heidelberg, 1973

work page 1972
[2]

C. Bravo. On the homology of special unitary groups over polynomial rings.J. of Algebra, 696:139– 167, 2026

work page 2026
[3]

Schémasengroupes

M.DemazureandA.Grothendieck, editors. Schémasengroupes. SéminairedeGéométrieAlgébrique du Bois Marie 1962-64 (SGA 3), volume 3 ofLecture notes in mathematics (153). Springer-Verlag, Berlin, New York, 1970. augmented and corrected 2008–2011 re-edition of the original by Philippe Gille and Patrick Polo. Available athttp://www.math.jussieu.fr/~polo/SGA3

work page 1962
[4]

Lagéométriedesgroupes classiques.3ièmeed., volume5of Ergeb.Math.Grenzgeb

J.A.Dieudonné. Lagéométriedesgroupes classiques.3ièmeed., volume5of Ergeb.Math.Grenzgeb. Springer-Verlag, Berlin, 1971

work page 1971
[5]

Fulton and J

W. Fulton and J. Harris.Representation theory. A first course, volume 129 ofGrad. Texts Math. New York etc.: Springer-Verlag, 1991

work page 1991
[6]

Hutchinson

K. Hutchinson. On the low-dimensional homology ofSL2(k[t, t−1]). J. Algebra, 425:324–366, 2015

work page 2015
[7]

K. P. Knudson. The homology ofSL2(F[t, t −1]). J. of Algebra, 180(1):87–101, 1996

work page 1996
[8]

K. P. Knudson. The homology of special linear groups over polynomial rings.Ann. Sci. École Norm. Sup. (4), 30(3):385–415, 1997

work page 1997
[9]

CongruencesubgroupsandtwistedcohomologyofSL n(F[t])

K.P.Knudson. CongruencesubgroupsandtwistedcohomologyofSL n(F[t]). J.Algebra, 207(2):695– 721, 1998

work page 1998
[10]

K. P. Knudson. Unstable homotopy invariance and the homology of SL2(Z[t]). J. Pure Appl. Algebra, 148(3):255–266, 2000

work page 2000
[11]

K. P. Knudson.Homology of linear groups, volume 193 ofProg. Math. Basel: Birkhäuser, 2001

work page 2001
[12]

K. P. Knudson. Unstable homotopy invariance for finite fields.Fundam. Math., 175(2):155–162, 2002

work page 2002
[13]

Krstić and J

S. Krstić and J. McCool. Free quotients ofSL2(R[x]). Proc. Amer. Math. Soc., 125(6):1585–1588, 1997

work page 1997
[14]

B. Margaux. The structure of the groupG(k[t]): variations on a theme of Soulé.Algebra & Number Theory, 3(4):393–409, 2009

work page 2009
[15]

C. Soulé. Chevalley groups over polynomial rings. Homological group theory, Proc. Symp., Durham 1977, Lond. Math. Soc. Lect. Note Ser. 36, 359-367., 1979

work page 1977
[16]

M. Wendt. On homotopy invariance for homology of rank two groups.J. of Pure and Appl. Algebra, 216(10):2291–2301, 2012

work page 2012
[17]

M. Wendt. On homology of linear groups overk[t].Math. Res. Lett., 21(6):1483–1500, 2014. 8

work page 2014