arxiv: 2605.00469 · v1 · submitted 2026-05-01 · 🧮 math.RA

Recognition: unknown

On {π}-systems of symmetrizable Kac-Moody algebras

K.N.Raghavan, Krishanu Roy, S. Viswanath

Pith reviewed 2026-05-09 15:14 UTC · model grok-4.3

classification 🧮 math.RA

keywords π-systemsKac-Moody algebrasMorita relationpartial orderDynkin diagramshyperbolic typereal rootsregular subalgebras

0 comments

The pith

The Morita relation makes the set of π-systems a partial order for symmetrizable Kac-Moody algebras of finite, untwisted affine, or hyperbolic type.

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

The paper focuses on π-systems inside symmetrizable Kac-Moody algebras: these are subsets of real roots in which no two elements differ by another root. Such subsets appear naturally as simple root systems for regular subalgebras. The central result shows that a binary relation first introduced by Morita becomes a partial order on the collection of all these subsets precisely when the ambient algebra has finite, untwisted affine, or hyperbolic type. The authors also supply general rules for building π-systems and for detecting diagrams that cannot arise as Dynkin diagrams of any π-system. Using the partial-order structure they then list all maximal hyperbolic Dynkin diagrams that occur in ranks three through ten.

Core claim

In a symmetrizable Kac-Moody algebra of finite, untwisted affine or hyperbolic type, the binary relation introduced by Morita on the set of π-systems is a partial order. This relation compares two π-systems by examining whether one can be obtained from the other by adjoining or removing certain real roots while preserving the π-system condition that pairwise differences remain non-roots.

What carries the argument

π-systems: subsets of real roots such that the difference of any two is never itself a root; the Morita relation turns the collection of all such subsets into a poset under the stated type restrictions.

If this is right

The poset structure identifies maximal elements, which correspond to the largest possible hyperbolic Dynkin diagrams in each rank.
The construction principles produce all admissible π-systems inside a given algebra of the allowed types.
Forbidden-diagram rules immediately exclude many candidate subalgebras without case-by-case root checks.
The ordering organises the lattice of regular subalgebras by inclusion of their simple systems.

Where Pith is reading between the lines

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

The same ordering may extend naturally to other symmetrizable types once the real-root geometry is understood, revealing where the partial-order property first fails.
Maximal diagrams obtained this way could serve as building blocks for constructing infinite families of regular subalgebras in higher-rank hyperbolic algebras.
Because π-systems label regular subalgebras, the poset supplies a combinatorial skeleton for studying their representation-theoretic properties across the three families.

Load-bearing premise

The algebra must be symmetrizable and of finite, untwisted affine or hyperbolic type so that real-root differences behave in the way needed for the relation to be reflexive, antisymmetric and transitive.

What would settle it

A pair of distinct π-systems A and B in a hyperbolic Kac-Moody algebra such that A is related to B and B is related to A, or a cycle of three π-systems that violates transitivity.

read the original abstract

Given a symmetrizable Kac-Moody algebra $\mathfrack{g}$, we study its $\pi$-systems, which are subsets of real roots, the pairwise differences of whose elements are not roots. Such systems arise as simple systems of regular subalgebras of $\mathfrack{g}$, and were originally studied by Dynkin, Morita and Naito. We show that the binary relation introduced by Morita defines a partial order on the set of $\mathfrack{g}$ of finite, untwisted affine or hyperbolic type. We also formulate general principles for constructing $\pi$-systems as well as for finding forbidden diagrams that cannot occur as Dynkin diagrams of $\pi$-systems of a given $\mathfrack{g}$. Among other applications, we use this to determine the set of maximal hyperbolic Dynkin diagrams in ranks $3$-$10$ relative to the Morita partial order.

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 shows Morita's relation is a partial order on π-systems for finite/affine/hyperbolic symmetrizable Kac-Moody algebras and classifies the maximal hyperbolic Dynkin diagrams in ranks 3-10.

read the letter

The core result is that the binary relation Morita introduced on π-systems is in fact a partial order when the underlying symmetrizable Kac-Moody algebra is finite, untwisted affine, or hyperbolic. They also give explicit lists of the maximal hyperbolic Dynkin diagrams in ranks 3 through 10 under that order, plus some general rules for building π-systems and spotting diagrams that cannot appear. This extends the earlier work of Dynkin, Morita, and Naito without reinventing the wheel. The proofs use the usual facts about real roots (their differences are not roots) and Weyl group action on the generalized Cartan matrix, which is the standard toolkit in this area and appears to go through cleanly. The classification itself is new and concrete, even if it is limited to low ranks. The main limitation is scope: the work stays inside the symmetrizable case and the three classical types, so it does not address non-symmetrizable or higher-rank hyperbolic examples. The enumeration for ranks 3-10 is presumably exhaustive but finite, so it is checkable in principle rather than a deep structural theorem. No circularity or hidden fitting shows up. This paper is for people already working on Kac-Moody root systems and regular subalgebras. A reader who needs the low-rank lists or wants to apply the construction principles will find it directly useful. It is solid enough and grounded enough to deserve a serious referee, even though the advance is incremental rather than field-reorganizing. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The paper studies π-systems of symmetrizable Kac-Moody algebras g, defined as subsets of real roots whose pairwise differences are not roots. These arise as simple systems of regular subalgebras. The central result is that the binary relation introduced by Morita is a partial order (reflexive, antisymmetric, transitive) on the set of such π-systems when g is of finite, untwisted affine, or hyperbolic type. The proofs rely on properties of real roots, the generalized Cartan matrix, and Weyl group action. The paper also gives general principles for constructing π-systems and identifying forbidden diagrams, and applies the order to determine all maximal hyperbolic Dynkin diagrams in ranks 3–10.

Significance. If the proofs are correct, the result supplies a partial-order structure on π-systems that organizes the study of regular subalgebras in infinite-dimensional Kac-Moody algebras. The explicit list of maximal hyperbolic diagrams in low ranks is a concrete, usable output. The approach is grounded in standard root-system combinatorics and extends the cited work of Morita, Dynkin, and Naito without introducing new parameters or circular definitions.

minor comments (3)

Abstract, line 3: the phrase 'on the set of g of finite...' is evidently a typographical error and should read 'on the set of π-systems of g of finite...'.
§2 (Definitions): the notation for the Morita relation ≺_M is introduced without an explicit displayed definition; a displayed equation would improve readability.
Table 1 (maximal diagrams, rank 7): the diagram labeled H7-3 appears to have an extra node compared with the surrounding text description; verify the count of nodes.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for the positive assessment of its significance. We appreciate the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines π-systems from standard real-root properties in symmetrizable Kac-Moody algebras and proves that Morita's binary relation forms a partial order by direct verification of reflexivity, antisymmetry, and transitivity. These proofs invoke the generalized Cartan matrix, differences of real roots not being roots, and Weyl group action for the finite/affine/hyperbolic cases, without any reduction to self-defined quantities, fitted parameters, or load-bearing self-citations. The relation itself is imported from prior independent literature (Morita et al.), and the applications to maximal diagrams follow from the established order without circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard domain assumptions about root systems of symmetrizable Kac-Moody algebras taken from the cited literature; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

domain assumption Real roots of symmetrizable Kac-Moody algebras satisfy the usual difference and reflection properties
Invoked as the setting in which π-systems are defined and the Morita relation is considered.
domain assumption Morita's binary relation is reflexive, antisymmetric, and transitive on the relevant π-systems
The central claim that it forms a partial order relies on this property holding for the listed algebra types.

pith-pipeline@v0.9.0 · 5456 in / 1337 out tokens · 70017 ms · 2026-05-09T15:14:26.794279+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references

[1]

Clas- sification of hyperbolic dynkin diagrams, root lengths and Weyl group orbits.Journal of Physics A: Mathematical and Theoretical, 43(15):155209, 2010

Lisa Carbone, Sjuvon Chung, Leigh Cobbs, Robert McRae, Debajyoti Nandi, Yusra Naqvi, and Diego Penta. Clas- sification of hyperbolic dynkin diagrams, root lengths and Weyl group orbits.Journal of Physics A: Mathematical and Theoretical, 43(15):155209, 2010

2010
[2]

Lisa Carbone, K. N. Raghavan, Biswajit Ransingh, Krishanu Roy, and Sankaran Viswanath.π-systems of sym- metrizable Kac-Moody algebras.Lett. Math. Phys., 111(1):Paper No. 5, 24, 2021. 19

2021
[3]

E. B. Dynkin. Semisimple subalgebras of semisimple Lie algebras. InSelected papers of E. B. Dynkin with commen- tary. American Mathematical Society, Providence, RI; International Press, Cambridge, MA, 2000. Edited by A. A. Yushkevich, G. M. Seitz and A. L. Onishchik

2000
[4]

Feingold and Hermann Nicolai

Alex J. Feingold and Hermann Nicolai. Subalgebras of hyperbolic Kac-Moody algebras. InKac-Moody Lie algebras and related topics, volume 343 ofContemp. Math., pages 97–114. Amer. Math. Soc., Providence, RI, 2004

2004
[5]

Regular subalgebras of affine Kac-Moody algebras.J

Anna Felikson, Alexander Retakh, and Pavel Tumarkin. Regular subalgebras of affine Kac-Moody algebras.J. Phys. A, 41(36):365204, 16, 2008

2008
[6]

Hyperbolic subalgebras of hyperbolic Kac-Moody algebras.Transform

Anna Felikson and Pavel Tumarkin. Hyperbolic subalgebras of hyperbolic Kac-Moody algebras.Transform. Groups, 17(1):87–122, 2012

2012
[7]

Humphreys.Introduction to Lie algebras and representation theory, volume Vol

James E. Humphreys.Introduction to Lie algebras and representation theory, volume Vol. 9 ofGraduate Texts in Mathe- matics. Springer-Verlag, New York-Berlin, 1972

1972
[8]

V . G. Kac.Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third edition, 1990

1990
[9]

Certain rank two subsystems of Kac-Moody root systems

Jun Morita. Certain rank two subsystems of Kac-Moody root systems. InInfinite-dimensional Lie algebras and groups (Luminy-Marseille, 1988), volume 7 ofAdv. Ser. Math. Phys., pages 52–56. World Sci. Publ., Teaneck, NJ, 1989

1988
[10]

On regular subalgebras of Kac-Moody algebras and their associated invariant forms

Satoshi Naito. On regular subalgebras of Kac-Moody algebras and their associated invariant forms. Symmetrizable case.J. Math. Soc. Japan, 44(2):157–177, 1992

1992
[11]

Peterson and Victor G

Dale H. Peterson and Victor G. Kac. Infinite flag varieties and conjugacy theorems.Proceedings of the National Academy of Sciences, 80(6):1778–1782, 1983

1983
[12]

Venkatesh

Krishanu Roy and R. Venkatesh. Maximal closed subroot systems of real affine root systems.Transformation Groups, Jan 2019

2019
[13]

Maximum-rank root subsystems of hyperbolic root systems.Sbornik: Mathematics, 195(1):121, 2004

P V Tumarkin. Maximum-rank root subsystems of hyperbolic root systems.Sbornik: Mathematics, 195(1):121, 2004

2004
[14]

Embeddings of hyperbolic Kac-Moody algebras intoE 10.Lett

Sankaran Viswanath. Embeddings of hyperbolic Kac-Moody algebras intoE 10.Lett. Math. Phys., 83(2):139–148, 2008. KREAUNIVERSITY, SRICITY, A.P. 517646 Email address:raghavan.komaranapuram@krea.edu.in SRM UNIVERSITYAP, ANDHRAPRADESH, INDIA, 522502 Email address:krishanu.r@srmap.edu.in THEINSTITUTE OFMATHEMATICALSCIENCES, A CIOFHOMIBHABHANATIONALINSTITUTE, C...

2008