Basic quasi-reductive root data and supergroups

Bin Shu; Rita Fioresi

arxiv: 2303.18065 · v4 · submitted 2023-03-31 · 🧮 math.RT · math.AG· math.GR

Basic quasi-reductive root data and supergroups

Rita Fioresi , Bin Shu This is my paper

Pith reviewed 2026-05-24 09:30 UTC · model grok-4.3

classification 🧮 math.RT math.AGmath.GR

keywords quasi-reductive supergroupsroot datamonodromy typeodd reflectionsalgebraic supergroupsreductive groupsLie algebra forms

0 comments

The pith

Basic quasi-reductive root data determine unique quasi-reductive supergroups up to isogeny.

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

The paper examines pairs of a reductive algebraic group G and a purely odd G-superscheme Y, asking when such a pair arises from a quasi-reductive algebraic supergroup whose even part is isomorphic to G and whose quotient by that even part is isomorphic to Y in a G-equivariant way. It proves that whenever Y satisfies the conditions defining basic quasi-reductive root data, an existence and uniqueness theorem produces the corresponding supergroup. These supergroups are called basic quasi-reductive and admit classification up to isogeny. Under the further requirements that the root system contains no zero, the Lie algebra carries a non-degenerate even symmetric bilinear form, and every odd reflection is invertible, every connected quasi-reductive algebraic supergroup is precisely a basic quasi-reductive supergroup of monodromy type.

Core claim

Pairs (G, Y) in which Y satisfies basic quasi-reductive root data correspond to quasi-reductive algebraic supergroups via an existence and uniqueness theorem. The resulting supergroups are basic quasi-reductive and can be classified up to isogeny. Connected quasi-reductive algebraic supergroups satisfying the three listed conditions on the root system, the bilinear form, and the invertibility of odd reflections coincide exactly with the basic quasi-reductive supergroups of monodromy type.

What carries the argument

Basic quasi-reductive root data on the purely odd superscheme Y, which encode the conditions that guarantee the pair (G, Y) integrates to a unique quasi-reductive supergroup.

If this is right

The supergroups arising from basic quasi-reductive root data admit classification up to isogeny.
Every connected quasi-reductive supergroup obeying the three conditions is of monodromy type.
The structure of such supergroups is completely fixed by the root data once the three conditions hold.

Where Pith is reading between the lines

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

The result isolates a subclass of quasi-reductive supergroups whose construction reduces directly to root data.
The three conditions appear necessary for the monodromy-type identification, so supergroups outside this regime may require separate treatment.

Load-bearing premise

The root system contains no zero, the Lie algebra admits a non-degenerate even symmetric bilinear form, and all odd reflections are invertible.

What would settle it

A connected quasi-reductive algebraic supergroup that meets the three conditions yet fails to be a basic quasi-reductive supergroup of monodromy type.

read the original abstract

We investigate pairs $(G,Y)$, where $G$ is a reductive algebraic group and $Y$ a purely-odd $G$-superscheme, asking when a pair corresponds to a quasi-reductive algebraic supergroup $\mathbb{G}$, that is, $\mathbb{G}_{\text{ev}}$ is isomorphic to $G$, and the quotient $\mathbb{G}/\mathbb{G}_{\text{ev}}$ is $G$-equivariantly isomorphic to $Y$. We prove that, if $Y$ satisfies certain conditions (basic quasi-reductive root data), then the question has a positive answer given by an existence and uniqueness theorem. The corresponding supergroups are said to be basic quasi-reductive, which can be classified, up to isogeny. We then decide the structure of connected quasi-reductive algebraic supergroups provided that: (i) the root system does not contain $0$; (ii) $\mathfrak{g}:=\text{Lie}(\mathbb{G})$ admits a non-degenerate even symmetric bilinear form. (iii) all odd reflections are invertible. Remarkably, those supergroups are exactly basic quasi-reductive supergroups of monodromy type.

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 gives an existence-uniqueness theorem for supergroups from basic quasi-reductive root data and identifies connected quasi-reductive ones meeting three conditions as exactly the basic monodromy-type ones, classified up to isogeny.

read the letter

The core contribution is a constructive existence and uniqueness result: when Y satisfies the basic quasi-reductive root data conditions, there is a unique quasi-reductive supergroup G with even part G and quotient Y. The paper then shows that any connected quasi-reductive supergroup whose root system avoids zero, whose Lie algebra carries a non-degenerate even symmetric form, and whose odd reflections are all invertible must be one of these basic objects of monodromy type. Both statements are framed as direct consequences of standard algebraic-group constructions once the root-data hypotheses are met, and the classification is up to isogeny. That is the actual new content. The work is clear about the three hypotheses and does not overclaim their generality. The conditions themselves are restrictive, so the result applies only inside a narrow slice of supergroups; that is a limitation of scope rather than a flaw in the argument. The stress-test description indicates the proofs proceed by explicit construction and verification of the quotient and even-part properties, with no visible circularity or missing steps. On that basis the central claims look internally consistent. This is a paper for people already working on algebraic supergroups or root data for superalgebras. A specialist will get a usable reference for this subclass; a reader outside the area will not. It is worth sending to referees because it supplies a clean, checkable classification that can be cited or extended inside the subfield.

Referee Report

0 major / 2 minor

Summary. The paper studies pairs (G, Y) consisting of a reductive algebraic group G and a purely-odd G-superscheme Y, determining the conditions under which such pairs arise from quasi-reductive algebraic supergroups ℊ with ℊ_ev ≅ G and ℊ/ℊ_ev ≅ Y. It proves an existence and uniqueness theorem when Y satisfies the conditions defining basic quasi-reductive root data, classifies the resulting supergroups up to isogeny, and establishes a structure theorem: connected quasi-reductive supergroups whose root system contains no zero, whose Lie algebra admits a non-degenerate even symmetric bilinear form, and for which all odd reflections are invertible, are precisely the basic quasi-reductive supergroups of monodromy type.

Significance. If the stated theorems hold, the work supplies a classification result for a class of quasi-reductive supergroups in terms of root data, together with an explicit existence/uniqueness construction. Such results are of interest in the representation theory of algebraic supergroups and the geometry of superschemes, as they reduce the study of certain ℊ to data on the even part G and the odd quotient Y.

minor comments (2)

The three conditions (i)–(iii) in the structure theorem are stated clearly in the abstract but would benefit from an explicit cross-reference to the section where each is first formalized and where the monodromy-type property is defined.
Notation for the supergroup ℊ, its even part, and the quotient is introduced in the abstract; a short notational table or paragraph early in the introduction would help readers track the correspondence between (G, Y) and ℊ.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our work and for recommending minor revision. The referee's summary correctly reflects the paper's main contributions on existence/uniqueness for basic quasi-reductive supergroups and the structure theorem under the stated hypotheses.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states an existence/uniqueness theorem attaching supergroups to basic quasi-reductive root data under explicitly listed hypotheses (no zero roots, non-degenerate even form on the Lie algebra, invertible odd reflections). It then proves a structure theorem identifying connected quasi-reductive supergroups satisfying those hypotheses with the basic monodromy-type ones. Both results are framed as direct consequences of standard constructions once the root-data conditions are imposed; the conditions function as independent inputs rather than outputs of the claimed theorems. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the definition of basic quasi-reductive root data (a domain-specific condition) together with the three listed assumptions on the root system and bilinear form; these are standard_math background plus ad_hoc_to_paper restrictions.

axioms (1)

standard math Standard properties of reductive algebraic groups, G-superschemes, and root systems in the super setting
The investigation presupposes the established framework of algebraic groups and their super analogues.

pith-pipeline@v0.9.0 · 5727 in / 1282 out tokens · 36576 ms · 2026-05-24T09:30:47.173376+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

We prove that, if Y satisfies certain conditions (basic quasi-reductive root data), then the question has a positive answer given by an existence and uniqueness theorem... those supergroups are exactly basic quasi-reductive supergroups of monodromy type.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

BQR(1)–BQR(4) axioms on Γ = −Γ, spanning, non-degenerate form compatible with pairing, and invertible reflections rγ

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.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Brundan, Modular representations of the supergroup Q(n) II, Paciﬁc J

J. Brundan, Modular representations of the supergroup Q(n) II, Paciﬁc J. Math. 224 (2006), 65-90

work page 2006
[2]

Cheng and W

S. Cheng and W. Wang, Dualities and representations of Lie superalgebras , Amer. Math. Soc. 2012

work page 2012
[3]

Carmeli, L

C. Carmeli, L. Caston and R. Fioresi, Mathematical foundations of supersymmetry , European Math- ematical Society, Volume 15, 2011

work page 2011
[4]

Carmeli, C

C. Carmeli, C. and R. Fioresi, R. Superdistributions, analytic and algebraic super Harish- Chandra pairs. Paciﬁc J. Math. 263 (2013), no. 1, 29-51

work page 2013
[5]

Dimitrov and R

I. Dimitrov and R. Fioresi, On Kostant root systems of Lie superalgebras , J. Algebra 570 (2021), 678-701

work page 2021
[6]

Dimitrov and R

I. Dimitrov and R. Fioresi, Generalized root systems , https://arxiv.org/abs/2308.06852 (2023)

work page arXiv 2023
[7]

Fioresi and F

R. Fioresi and F. Gavarini, Chevalley supergroups, Mem. Amer. Math. Soc. 215 (2012), no. 1014

work page 2012
[8]

Fioresi, S

R. Fioresi, S. D. Kwok and D. W. Taylor, Quotients of complex algebraic supergroups , J. Geom. Phys. 170 (2021), Paper No. 104367, 11pp

work page 2021
[9]

Gavarini, Global splittings and super Harish-Chandra pairs for aﬃne s upergroups, Trans

F. Gavarini, Global splittings and super Harish-Chandra pairs for aﬃne s upergroups, Trans. Amer. Math. Soc. 368 (2016), 3973-4026 BASIC QUASI-REDUCTIVE SUPERGROUPS 15

work page 2016
[10]

J. E. Humphreys, Introduction to Lie algebras and representation theory , GTM 9, Springer-Verlag, New York Inc., 1972

work page 1972
[11]

J. C. Jantzen, Reresentations of Algebraic Groups , 2nd edn, American Mathematical Society, Prov- idence, RI, 2003

work page 2003
[12]

V. G. Kac, Lie superalgebras, Advances in Math. 26 (1977), 8-96

work page 1977
[13]

Masuoka, Harish-Chandra pairs for algebraic aﬃne supergroup scheme s over an arbitrary ﬁeld , Transform

A. Masuoka, Harish-Chandra pairs for algebraic aﬃne supergroup scheme s over an arbitrary ﬁeld , Transform. Groups 17 (2012), 1085-1121

work page 2012
[14]

Masuoka and T

A. Masuoka and T. Shibata, Algebraic supergroups and Harish-Chandra pairs over a comm utative ring, Trans. Amer. Math. Soc. 369 (2017), 3443-3481

work page 2017
[15]

Masuoka and Y

A. Masuoka and Y. Takahashi, Geometric construction of quotients G/H in supersymmetry , Trans- form. Groups 26 (2021), 347-375

work page 2021
[16]

Masuoka and A

A. Masuoka and A. N. Zubkov, Quotient sheaves of algebraic supergroups are superscheme s, J. Al- gebra 348 (2011), 135-170

work page 2011
[17]

J. S. Milne, Algebraic groups. The theory of group schemes of ﬁnite type o ver a ﬁeld , Cambridge Studies in Advanced Mathematics, 170. Cambridge University Press , Cambridge, 2017

work page 2017
[18]

Serganova, On generalizations of root systems , Communication in Algebra, 24(1996), 4281-4299

V. Serganova, On generalizations of root systems , Communication in Algebra, 24(1996), 4281-4299

work page 1996
[19]

Serganova, Quasireductive supergroups, New developments in Lie theory and its applications, 141-159, Contemp

V. Serganova, Quasireductive supergroups, New developments in Lie theory and its applications, 141-159, Contemp. Math., 544, Amer. Math. Soc., Providence, RI , 2011

work page 2011
[20]

Serganova and A

V. Serganova and A. Sherman, Splitting quasireductive supergroups and volumes of super grassman- nians, arXiv:2206.07693

work page arXiv
[21]

Springer, Linear algebraic groups, Second edition

T. Springer, Linear algebraic groups, Second edition. Progress in Mathematics, 9. Birkhauser Boston, Inc., Boston, MA, 1998

work page 1998
[22]

V. S. Varadarajan, Supersymmetry for mathematicians: an introduction , Courant Lecture Notes in Mathematics, 11. New York University, Courant Institute of Mat hematical Sciences, New York; American Mathematical Society, Providence, RI, 2004. University of Bologna via San Donato 15, 40127 Bologna, Ital y Email address : rita.fioresi@unibo.it School of Math...

work page 2004

[1] [1]

Brundan, Modular representations of the supergroup Q(n) II, Paciﬁc J

J. Brundan, Modular representations of the supergroup Q(n) II, Paciﬁc J. Math. 224 (2006), 65-90

work page 2006

[2] [2]

Cheng and W

S. Cheng and W. Wang, Dualities and representations of Lie superalgebras , Amer. Math. Soc. 2012

work page 2012

[3] [3]

Carmeli, L

C. Carmeli, L. Caston and R. Fioresi, Mathematical foundations of supersymmetry , European Math- ematical Society, Volume 15, 2011

work page 2011

[4] [4]

Carmeli, C

C. Carmeli, C. and R. Fioresi, R. Superdistributions, analytic and algebraic super Harish- Chandra pairs. Paciﬁc J. Math. 263 (2013), no. 1, 29-51

work page 2013

[5] [5]

Dimitrov and R

I. Dimitrov and R. Fioresi, On Kostant root systems of Lie superalgebras , J. Algebra 570 (2021), 678-701

work page 2021

[6] [6]

Dimitrov and R

I. Dimitrov and R. Fioresi, Generalized root systems , https://arxiv.org/abs/2308.06852 (2023)

work page arXiv 2023

[7] [7]

Fioresi and F

R. Fioresi and F. Gavarini, Chevalley supergroups, Mem. Amer. Math. Soc. 215 (2012), no. 1014

work page 2012

[8] [8]

Fioresi, S

R. Fioresi, S. D. Kwok and D. W. Taylor, Quotients of complex algebraic supergroups , J. Geom. Phys. 170 (2021), Paper No. 104367, 11pp

work page 2021

[9] [9]

Gavarini, Global splittings and super Harish-Chandra pairs for aﬃne s upergroups, Trans

F. Gavarini, Global splittings and super Harish-Chandra pairs for aﬃne s upergroups, Trans. Amer. Math. Soc. 368 (2016), 3973-4026 BASIC QUASI-REDUCTIVE SUPERGROUPS 15

work page 2016

[10] [10]

J. E. Humphreys, Introduction to Lie algebras and representation theory , GTM 9, Springer-Verlag, New York Inc., 1972

work page 1972

[11] [11]

J. C. Jantzen, Reresentations of Algebraic Groups , 2nd edn, American Mathematical Society, Prov- idence, RI, 2003

work page 2003

[12] [12]

V. G. Kac, Lie superalgebras, Advances in Math. 26 (1977), 8-96

work page 1977

[13] [13]

Masuoka, Harish-Chandra pairs for algebraic aﬃne supergroup scheme s over an arbitrary ﬁeld , Transform

A. Masuoka, Harish-Chandra pairs for algebraic aﬃne supergroup scheme s over an arbitrary ﬁeld , Transform. Groups 17 (2012), 1085-1121

work page 2012

[14] [14]

Masuoka and T

A. Masuoka and T. Shibata, Algebraic supergroups and Harish-Chandra pairs over a comm utative ring, Trans. Amer. Math. Soc. 369 (2017), 3443-3481

work page 2017

[15] [15]

Masuoka and Y

A. Masuoka and Y. Takahashi, Geometric construction of quotients G/H in supersymmetry , Trans- form. Groups 26 (2021), 347-375

work page 2021

[16] [16]

Masuoka and A

A. Masuoka and A. N. Zubkov, Quotient sheaves of algebraic supergroups are superscheme s, J. Al- gebra 348 (2011), 135-170

work page 2011

[17] [17]

J. S. Milne, Algebraic groups. The theory of group schemes of ﬁnite type o ver a ﬁeld , Cambridge Studies in Advanced Mathematics, 170. Cambridge University Press , Cambridge, 2017

work page 2017

[18] [18]

Serganova, On generalizations of root systems , Communication in Algebra, 24(1996), 4281-4299

V. Serganova, On generalizations of root systems , Communication in Algebra, 24(1996), 4281-4299

work page 1996

[19] [19]

Serganova, Quasireductive supergroups, New developments in Lie theory and its applications, 141-159, Contemp

V. Serganova, Quasireductive supergroups, New developments in Lie theory and its applications, 141-159, Contemp. Math., 544, Amer. Math. Soc., Providence, RI , 2011

work page 2011

[20] [20]

Serganova and A

V. Serganova and A. Sherman, Splitting quasireductive supergroups and volumes of super grassman- nians, arXiv:2206.07693

work page arXiv

[21] [21]

Springer, Linear algebraic groups, Second edition

T. Springer, Linear algebraic groups, Second edition. Progress in Mathematics, 9. Birkhauser Boston, Inc., Boston, MA, 1998

work page 1998

[22] [22]

V. S. Varadarajan, Supersymmetry for mathematicians: an introduction , Courant Lecture Notes in Mathematics, 11. New York University, Courant Institute of Mat hematical Sciences, New York; American Mathematical Society, Providence, RI, 2004. University of Bologna via San Donato 15, 40127 Bologna, Ital y Email address : rita.fioresi@unibo.it School of Math...

work page 2004