Image of Regular Unipotent under a Representation of $\mathrm{GL}_3(\mathbb{C})$

Dibyendu Biswas

arxiv: 2606.31398 · v1 · pith:D64KBDT2new · submitted 2026-06-30 · 🧮 math.RT · math.CO· math.GR

Image of Regular Unipotent under a Representation of GL₃(mathbb{C})

Dibyendu Biswas This is my paper

Pith reviewed 2026-07-01 03:00 UTC · model grok-4.3

classification 🧮 math.RT math.COmath.GR

keywords GL_3(C)regular unipotentirreducible representationsSL_2(C)-modulesJordan decompositionpolynomial representationsrepresentation theory

0 comments

The pith

The image of a regular unipotent under any irreducible polynomial representation of GL_3(C) decomposes explicitly as an SL_2(C)-module with its Jordan decomposition.

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

The paper establishes that the image of a regular unipotent element in GL_3(C) under any finite-dimensional irreducible polynomial representation reduces exactly to the task of decomposing certain compositions of irreducible representations as modules over SL_2(C). This reduction holds uniformly with no exceptions or extra conditions. The authors supply the explicit form of these decompositions and the Jordan canonical form of the resulting image matrices. A sympathetic reader would care because regular unipotents generate a distinguished conjugacy class whose images control structural features of representations of algebraic groups.

Core claim

The image of a regular unipotent element under any finite-dimensional irreducible polynomial representation of GL_3(C) admits an explicit decomposition as an SL_2(C)-module together with its Jordan decomposition.

What carries the argument

The exact equivalence between the image problem for regular unipotents and the decomposition of certain compositions of irreducible representations as SL_2(C)-modules.

If this is right

The Jordan blocks of the image matrix are read off directly from the weight-space decomposition under the embedded SL_2(C).
The formulas apply uniformly to every irreducible polynomial representation, labeled by its highest weight, without case distinctions.
The Jordan decomposition of the image is obtained simultaneously with the SL_2(C)-module structure.
Explicit matrix realizations of the images become available for any chosen representation by applying the decomposition rules.

Where Pith is reading between the lines

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

The same reduction technique could be tested on regular unipotents inside GL_n for n greater than 3.
The explicit decompositions supply concrete data that could be compared with known character formulas or nilpotent orbit closures.
Low-dimensional examples such as the standard representation or its dual provide immediate computational checks of the stated formulas.

Load-bearing premise

The image problem for regular unipotents is exactly equivalent to the decomposition of certain compositions of irreducible representations as SL_2(C)-modules, with no additional conditions or exceptions required.

What would settle it

A concrete counterexample consisting of one irreducible polynomial representation of GL_3(C), one regular unipotent element, and an explicit matrix computation showing that the image fails to match the predicted SL_2(C)-module decomposition or Jordan form.

Figures

Figures reproduced from arXiv: 2606.31398 by Dibyendu Biswas.

read the original abstract

We study the image of a regular unipotent element under any finite-dimensional irreducible polynomial representations of $\mathrm{GL}_3(\mathbb{C})$. This problem is equivalent to decomposing certain compositions of irreducible representations as $\mathrm{SL}_2(\mathbb{C})$-modules. We give an explicit decomposition of this finding, its Jordan decomposition.

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 supplies explicit SL2 decompositions and Jordan forms for regular unipotent images in all irreps of GL3(C) via a direct equivalence to composed representations.

read the letter

The main takeaway is that the paper works out explicit SL2(C)-module decompositions, plus Jordan forms, for the image of a regular unipotent under every finite-dimensional irreducible polynomial representation of GL3(C). It sets this up as equivalent to decomposing certain compositions of irreps as SL2-modules and then gives the breakdown.

What it does well is deliver the concrete data for this low-rank case. Explicit module structures and Jordan decompositions are useful when you actually need to compute with these images, whether for verification, small examples, or checking patterns in type A.

The limitation is the narrow scope. The work stays inside GL3 and regular unipotents, with no general method or extension to other groups or elements. It does not compare the results to existing literature on unipotent images or explore whether the equivalence holds without exceptions in every highest-weight case. The calculations appear case-by-case rather than driven by a broader principle.

This is for specialists who need these specific numbers, such as people testing ideas on unipotent elements in small algebraic groups. A referee could verify the formulas against the stated equivalence and check the Jordan parts for accuracy.

I would send it to peer review. The claim is concrete and checkable even if the overall reach is limited.

Referee Report

2 major / 0 minor

Summary. The manuscript claims to study the image of a regular unipotent element under any finite-dimensional irreducible polynomial representation of GL_3(C). It asserts that this problem is equivalent to decomposing certain compositions of irreducible representations as SL_2(C)-modules, and states that an explicit decomposition of the image (together with its Jordan decomposition) is provided.

Significance. If the claimed explicit decomposition were supplied with verifiable formulas and a correct derivation, the result would furnish a concrete description of unipotent images in low-rank representations, potentially useful for explicit computations in the representation theory of algebraic groups. However, the absence of any formulas, derivations, or examples prevents any assessment of whether the result holds or adds new information beyond the stated equivalence.

major comments (2)

Abstract: the manuscript asserts that 'we give an explicit decomposition' of the image together with its Jordan decomposition, yet supplies neither formulas, explicit matrices, nor any derivation; the central claim therefore cannot be verified from the text.
Abstract: the asserted equivalence between the image problem for regular unipotents and the SL_2(C)-module decomposition of 'certain compositions of irreducible representations' is stated without proof, without identifying the compositions, and without reference to any supporting lemma or prior result.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for these comments, which correctly identify deficiencies in the current manuscript's presentation. The abstract overstates what is actually provided, and the equivalence is asserted without supporting detail. We will revise the manuscript to address both issues by adding the missing explicit content and justification.

read point-by-point responses

Referee: Abstract: the manuscript asserts that 'we give an explicit decomposition' of the image together with its Jordan decomposition, yet supplies neither formulas, explicit matrices, nor any derivation; the central claim therefore cannot be verified from the text.

Authors: We agree that the submitted manuscript does not contain the explicit decompositions, formulas, or derivations needed to verify the central claim. The abstract's wording is therefore inaccurate for the current version. In the revised manuscript we will include, for each irreducible polynomial representation of GL_3(C), the explicit SL_2(C)-module decomposition of the image of a regular unipotent together with its Jordan form, presented in a form that permits direct verification. revision: yes
Referee: Abstract: the asserted equivalence between the image problem for regular unipotents and the SL_2(C)-module decomposition of 'certain compositions of irreducible representations' is stated without proof, without identifying the compositions, and without reference to any supporting lemma or prior result.

Authors: We agree that the equivalence is stated without identification of the compositions or any proof. The equivalence follows from the principal SL_2(C) embedding into GL_3(C) and the resulting restriction of representations, but this is not explained in the text. In the revision we will add a dedicated preliminary section that (i) identifies the relevant compositions, (ii) states the precise equivalence, and (iii) supplies a short proof or reference to the standard fact that regular unipotents in GL_3(C) are conjugate to the image of the regular unipotent of the embedded SL_2(C). revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper asserts an equivalence between the image of a regular unipotent under GL_3(C) irreps and SL_2(C)-module decompositions of representation compositions, then supplies an explicit decomposition and Jordan form. No load-bearing steps reduce by construction to fitted inputs, self-definitions, or self-citation chains; the central claim rests on standard representation-theoretic equivalence without the derivation itself being tautological or renaming a known result via internal redefinition. The work is self-contained against external benchmarks in algebraic groups and representation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms, or invented entities; the work appears to rest on standard facts of representation theory of algebraic groups.

axioms (1)

domain assumption Finite-dimensional irreducible polynomial representations of GL_3(C) are classified and well-understood
Implicit background assumption required to state the problem for any such representation.

pith-pipeline@v0.9.1-grok · 5575 in / 1173 out tokens · 74745 ms · 2026-07-01T03:00:45.916774+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references · 2 canonical work pages

[1]

Collingwood and William M

David H. Collingwood and William M. McGovern. Nilpotent orbits in semisimple L ie algebras . Van Nostrand Reinhold Mathematics Series. Van Nostrand Reinhold Co., New York, 1993

1993
[2]

Character theory at a torsion element, 2025, 2504.14684 http://arxiv.org/abs/2504.14684

Santosh Nadimpalli, Santosha Pattanayak, and Dipendra Prasad. Character theory at a torsion element, 2025, 2504.14684 http://arxiv.org/abs/2504.14684 . ://arxiv.org/abs/2504.14684

work page arXiv 2025
[3]

Z\'eros de caract\`eres, 2025, 2312.17551 http://arxiv.org/abs/2312.17551

Jean-Pierre Serre. Z\'eros de caract\`eres, 2025, 2312.17551 http://arxiv.org/abs/2312.17551 . ://arxiv.org/abs/2312.17551

work page arXiv 2025
[4]

Regular elements of semisimple algebraic groups

Robert Steinberg. Regular elements of semisimple algebraic groups. Inst. Hautes \'Etudes Sci. Publ. Math. , (25):49--80, 1965. ://www.numdam.org/item?id=PMIHES_1965__25__49_0

1965

[1] [1]

Collingwood and William M

David H. Collingwood and William M. McGovern. Nilpotent orbits in semisimple L ie algebras . Van Nostrand Reinhold Mathematics Series. Van Nostrand Reinhold Co., New York, 1993

1993

[2] [2]

Character theory at a torsion element, 2025, 2504.14684 http://arxiv.org/abs/2504.14684

Santosh Nadimpalli, Santosha Pattanayak, and Dipendra Prasad. Character theory at a torsion element, 2025, 2504.14684 http://arxiv.org/abs/2504.14684 . ://arxiv.org/abs/2504.14684

work page arXiv 2025

[3] [3]

Z\'eros de caract\`eres, 2025, 2312.17551 http://arxiv.org/abs/2312.17551

Jean-Pierre Serre. Z\'eros de caract\`eres, 2025, 2312.17551 http://arxiv.org/abs/2312.17551 . ://arxiv.org/abs/2312.17551

work page arXiv 2025

[4] [4]

Regular elements of semisimple algebraic groups

Robert Steinberg. Regular elements of semisimple algebraic groups. Inst. Hautes \'Etudes Sci. Publ. Math. , (25):49--80, 1965. ://www.numdam.org/item?id=PMIHES_1965__25__49_0

1965