Groups of extended affine Lie type

Amir Farahmand Parsa; Saeid Azam

REVIEW 3 major objections 4 minor 24 references

Groups of extended affine Lie type

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every tame extended affine Lie algebra with reduced root system, the extended affine Weyl group is the quotient of two natural subgroups of the associated integrated group.

desk verdict A serious attempt to extend Kryliouk's simply-laced group construction to all reduced EALA types, but the central Steinberg-group map rests on a false commutativity claim, so the main theorem is unsupported as written. read the letter →

arxiv 1908.07809 v2 pith:773SN4N3 submitted 2019-08-21 math.QA

Saeid Azam , Amir Farahmand Parsa This is my paper · ORCID

classification math.QA MSC 17B6717B6519C9920G4422E65

keywords extendedaffineLiealgebrasrootsystemsSteinberggroupsKac-MoodyWeylintegrationoftwistedgroup

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper builds group-theoretic companions for extended affine Lie algebras (EALAs), the higher-nullity generalizations of affine Kac–Moody algebras. It defines Steinberg groups attached to reduced extended affine root systems by generators and relations, then uses the integration method for integrable Lie algebras to associate a group to every tame EALA. Its main theorem states that the extended affine Weyl group of the algebra is isomorphic to the quotient $\mathrm{Ad}(N)/\mathrm{Ad}(T)$, where $\mathrm{Ad}(N)$ and $\mathrm{Ad}(T)$ are the images of the subgroups generated by the elements $n_\alpha(t)$ and $h_\alpha(t)$ in the adjoint group. This extends to arbitrary types a realization previously known only for simply laced root systems, placing the Weyl group of every tame EALA inside the structure of an associated group in the same way Kac–Moody groups encode Kac–Moody Weyl groups.

What carries the argument

The load-bearing object is the Steinberg group $St_{R,\dot R,\sigma}(\mathbb C)$ attached to a reduced extended affine root system $R$: generators $x_\alpha(t)$ for non-isotropic roots $\alpha$ and scalars $t$, with commutator relations taken from the finite rank-two subsystems $R_{\alpha,\beta}$, plus a rank-one relation when needed. Over it sits the Steinberg group $St_{\dot R}(\mathbb C_\sigma)$ for the finite root system $\dot R$ with coefficients in the twisted group algebra $\mathbb C_\sigma$, and a map $\chi$ that sends $x_{\dot\alpha}(\sum_\delta t_\delta c_\delta)$ to the ordered product of the $x_{\dot\alpha+\delta}(t_\delta)$. The integration functor for integrable Lie algebras turns these generators into one-parameter subgroups of the integrated group, and the quotient $\mathrm{Ad}(N)/\mathrm{Ad}(T)$ is shown to have exactly the generalized presentation by conjugation of the extended affine Weyl group.

What would settle it

Take an affine Kac–Moody group (nullity one, trivial 2-cocycle) and compute the commutator of the one-parameter subgroups for two real roots whose sum is the imaginary root; a nontrivial commutator would contradict Consequence 4.4 and force a revision of the Steinberg group relations.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.23: for a tame extended affine Lie algebra $L$ over $\mathbb C$ with a reduced extended affine root system $R$, the extended affine Weyl group $W$ is isomorphic to $\mathrm{Ad}(N)/\mathrm{Ad}(T)$, where $\mathrm{Ad}(N)$ and $\mathrm{Ad}(T)$ are the images in the adjoint group of the subgroups generated by the elements $n_\alpha(t)$ and $h_\alpha(t)$ for non-isotropic roots $\alpha$ and $t\in\mathbb C^*$. The proof defines a Steinberg group $St_{R,\dot R,\sigma}(\mathbb C)$ over the twisted group algebra $\mathbb C_\sigma$, maps it onto the integrated group of the algebra, and verifies that the images of the $n_\alpha(t)$ satisfy the generalized presentation by conjugation of $W$. The isomorphism sends each reflection $w_\alpha$ to the coset $\mathrm{Ad}(T)\mathrm{Ad}(n_\alpha(t))$.

Load-bearing premise

The construction depends on the assertion that root subgroups commute whenever the sum of two non-isotropic roots is not itself a non-isotropic root; if that commutativity fails, the Steinberg group presentation and the epimorphism onto the integrated group are not established.

Editorial extensions

If this is right

Every tame extended affine Lie algebra with reduced root system carries a group whose two natural subgroups have as their quotient exactly the extended affine Weyl group.
For nullity-one affine Kac–Moody algebras and for finite root systems, the Steinberg groups constructed here coincide with the classical ones because the defining 2-cocycle is trivial.
The epimorphism from the Steinberg group to the integrated group gives explicit group elements realizing the generators of the Weyl group, including the 'reduced collection' relations beyond ordinary Coxeter relations.
The construction provides a uniform treatment for all reduced types, including cases where the extended affine Weyl group does not admit a Coxeter presentation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The construction isolates the commutativity of root subgroups with isotropic root sum as the key condition; if it holds, the same two-step template (Steinberg group over the twisted group algebra, then integration) could plausibly define extended affine Kac–Moody groups over fields other than $\mathbb C$ or for non-reduced root systems.
The quotient $\mathrm{Ad}(N)/\mathrm{Ad}(T)$ may depend on the 2-cocycle $\sigma$ through the finer structure of the integrated group; a natural test is whether different 2-cocycles give non-isomorphic groups with the same Weyl group quotient.
Because the proof only needs finite rank-two subsystems of the root system, analogues may exist for other classes of integrable Lie algebras whose root systems have finite rank-two slices, though this is not pursued in the paper.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

Let me save you time: this paper is aiming at a real generalization, but there is a load-bearing gap in the written proof. Consequence 4.4 is not derived and, in the affine case the paper says it should cover, it is false. The map χ in Prop 4.7 and everything after (including Thm 4.23) depends on it.

What's actually new: the authors extend Kryliouk's construction of groups from simply-laced EALAs to arbitrary reduced types. They define cocycle-twisted Steinberg groups, build a Kac-Peterson integration group, and try to recover the extended affine Weyl group as Ad(N)/Ad(T). If true, that completes a natural gap in the literature. The organization is clear, and the paper is honest about relying on prior work: the Weyl group presentation from Azam, finite root system facts from [22], and the simply-laced base from Kryliouk's thesis.

The problem is real. Consequence 4.4 claims that if α+β is not a non-isotropic root, then (xα(t),xβ(s))=1, because R+_{α,β} is empty by Definition 3.7. But Definition 3.7 only defines nilpotent pairs, and there can be roots in R+_{α,β} even when α+β is not in R×. The stress-test example is the affine A1(1) case: take β=-α+δ with δ isotropic. Then α+β=δ is isotropic, but 2α+β=α+δ is a real root, so R+_{α,β} is not empty. In the affine Kac-Moody group, that commutator is not obviously 1; the St2 relation gives no information for this pair. The consequence is used in Prop 4.7 to make χ independent of the order of the product and to check it is a homomorphism. Without it, χ is not well-defined, and the epimorphism from St_{˙R}(Cσ) to St_{R,˙R,σ}(C) is not established. Proposition 4.12 and Theorem 4.23 both ride on that.

Other spots: Prop 4.13(ii) has a 'one can see from classification' that is not spelled out and uniqueness is asserted without proof; Prop 4.22 is just 'similar to [16, Prop 3.2.41]' with no details; Theorem 4.23's relation (iii) is compressed. These would need work in any revision. The core issue is the Steinberg relation.

Verdict: as written, the central theorem is unsupported. The authors need to repair the definition of the Steinberg group or supply a correct proof of the needed commutativity, and then rework Prop 4.7. This is worth sending to a knowledgeable referee—the goal is plausible and the community would care if fixed. But I wouldn't rely on it until the gap is addressed.

Recommendation: engage as referee if asked, but expect heavy revision; do not cite as established.

Referee Report

3 major / 4 minor

Summary. The paper proposes a construction of Steinberg groups associated to reduced extended affine root systems (EARS), introduces extended affine Kac–Moody groups by generators and relations, and then uses the Kac–Peterson integration method to attach a group to every tame extended affine Lie algebra (EALA). The main theorem states that the extended affine Weyl group W of such an EALA is isomorphic to Ad(N)/Ad(T), where N and T are the subgroups of the integrated group generated by the elements n_α(t) and h_α(t) for non-isotropic roots α, thereby generalizing Kryliouk's simply-laced result to all reduced EARS. The argument relies on a presentation of W by conjugation from [7], on a map χ from the finite-type Steinberg group over a quantum torus to the newly defined Steinberg group, and on several structural results about EALAs and their root subsystems.

Significance. If the central claims were correct, the paper would be a substantial contribution: it would provide a uniform Steinberg-group construction for arbitrary reduced extended affine root systems, an integration functor for tame EALAs, and a group-theoretic realization of the extended affine Weyl group as a quotient of two natural subgroups. The paper also makes useful connections with earlier work of Kryliouk and with the generalized presentation by conjugation of Azam. However, the main construction depends on a commutativity assertion that is false in the affine case, and several load-bearing proofs are only sketched. As written, the central theorem is not established.

major comments (3)

[Section 4.1, Consequence 4.4 and Definition 4.3 (Eq. (4.7))] Consequence 4.4 is false as stated. The commutator relation St2 is imposed only when α+β ∈ R^×, so it does not imply commutativity when α+β is isotropic; an omitted relation is not a trivial relation. The asserted emptiness of R^+_{α,β} is also incorrect: for roots α and β = -α+δ with δ ∈ R0 and α+δ ∈ R^×, one has α+β = δ ∉ R^× but 2α+β = α+δ ∈ R^×, so R^+_{α,β} is nonempty. This configuration occurs inside an A_1^(1) subsystem. In the affine Kac-Moody Steinberg group, which Remark 4.5 says the present construction should specialize to, the commutator [x_α(t), x_{-α+δ}(s)] has a nontrivial x_{α+δ}(c t^2 s) term. Since Consequence 4.4 is used in Proposition 4.7 to make the product in (4.14) independent of the order of factors and to verify that χ is a homomorphism, the map χ from St_{\dot R}(Cσ) to St_{R,\dot R,σ}(C) is not established. Proposition 4.12 and Theorem 4.23 both depend on this map, so the central argument fails as written.
[Section 4.2, Proposition 4.22] The four isomorphisms Gnil(C) ≅ Gnil,c(C) ≅ Gint(C) ≅ Gint,c(C) are asserted with a reference to [16, Proposition 3.2.41] and a remark that the proof is similar, but the paper gives no indication of which parts of the simply-laced proof adapt to arbitrary reduced EARS or what new difficulties arise from non-simply-laced types and nontrivial 2-cocycles. This is load-bearing because Theorem 4.23 defines Ad(G) after these identifications, so the isomorphism class of \bar G is essential. A complete proof or a precise statement of the adapted argument is required.
[Theorem 4.23, relation (iii), Eqs. (4.41)–(4.42)] The verification that the reduced-collection relations of Theorem 2.3(iii) are respected is too compressed. Equation (4.41) rewrites \tilde c(α,δ) as a product of \hat n_{\dot α} factors, and (4.42) rewrites it in terms of \hat h factors, but the paper does not show that a product over a reduced collection with its signs and exponents maps to the identity in Ad(N)/Ad(T), nor how the contributions of the coefficients η_p are controlled. Without this, the induced homomorphism from the presented group \hat W is not established.

minor comments (4)

[Throughout] There are numerous typographical errors, including "emphesize" for "emphasize", "underlined ﬁled" for "underlying field", "without loose of generality" in Proposition 3.8, and "Rα,b" for "Rα,β" in the proof of Proposition 4.12. These should be corrected.
[Consequence 4.15] The phrase "preserves T orin" should be "preserves the T-or relation" from Definition 4.10.
[Theorem 2.3] In relation (ii), the notation \hat r_{r_α(β)} is unclear; the subscript should be written as \hat r_{r_α(β)} or \hat r_{w_α(β)} to denote the generator indexed by the reflected root.
[References] Reference [16] is a PhD thesis; the citations to [16, Proposition 3.2.41] and to "Page 130" would benefit from more precise statements, since the reader cannot easily verify the adapted claims without the thesis in hand.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the Weyl-group quotient theorem is verified against an independent presentation theorem and explicit computations.

full rationale

The derivation is self-contained in the sense relevant to circularity. Theorem 4.23 does not define Ad(N)/Ad(T) to be W; the quotient is built from the independently defined subgroups N and T inside the Kac-Peterson integration group, and the isomorphism is proved by checking that the cosets Ad(T)Ad(n_alpha(t)) satisfy the three families of relations in Azam's generalized presentation-by-conjugation theorem for reduced extended affine Weyl groups (Theorem 2.3, quoted from [7, Thm 3.7]). That presentation theorem concerns the Weyl group alone, has stated assumptions not including the target quotient, and is a published external result; although the first author is also an author of [7], the citation is genuine evidence and not a hidden restatement of the conclusion. Likewise the simply-laced base case is imported from Kryliouk's thesis [16], and is used as a starting case, not as the general target. The map chi in Proposition 4.7 is defined by an explicit formula on generators and checked against defining relations; no parameter is fitted from Ad(N)/Ad(T), and Ad(T) is defined by h_alpha(t) generators rather than as the kernel of the map to W. The logical weakness flagged by the skeptic, Consequence 4.4, is an unsupported commutativity assertion used for well-definedness of the product in (4.14); if incorrect it is a proof defect, not a circular reduction, because it does not make the theorem's conclusion equal to its hypotheses. No step in the chain reduces, by construction or by self-citation, to the result being claimed.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central proof rests on the EALA axioms, the reduced-EARS restriction, the imported presentation of the Weyl group from [7], the commutative-cocycle standing assumption, and the unproved commutativity Consequence 4.4. No numeric free parameters are fitted.

assumptions (5)

domain assumption L is a tame irreducible extended affine Lie algebra satisfying axioms (A1)-(A5).
These are the standard axioms for the objects studied; tameness and irreducibility are used throughout, e.g., in Lemma 3.4 and Proposition 4.20.
domain assumption R is an irreducible reduced extended affine root system attached to L.
Section 3 restricts to reduced R, excluding non-reduced EALAs from the title claim. Reducedness is used in Lemma 3.5 and in the definition of Steinberg groups.
standard math The Weyl group W has the generalized presentation by conjugation stated in Theorem 2.3.
Imported from [7, Theorem 3.7]; the proof of Theorem 4.23 checks the quotient against these relations.
domain assumption The 2-cocycle σ is assumed commutative whenever the finite type is not A_n (n ≥ 2).
Stated in Section 4.1. This restricts the coordinate ring; the paper argues it is not a major restriction for group structures, citing [24].
ad hoc to paper Root subgroups commute whenever the sum of the corresponding non-isotropic roots is not non-isotropic (Consequence 4.4).
This is asserted to make products in (4.14) order-independent, but it is not derived from St2 and is generally false in affine Kac-Moody groups when the sum is an isotropic root.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Groups of extended affine Lie type." pith.science (2026). https://pith.science/paper/773SN4N3

@misc{pith2026190807809,
  author       = {Pith},
  title        = {Pith review of: Groups of extended affine Lie type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/773SN4N3}},
  note         = {Machine review of arXiv:1908.07809}
}

read the original abstract

We construct certain Steinberg groups associated to extended affine Lie algebras and their root systems. Then by the integration methods of Kac and Peterson for integrable Lie algebras, we associate a group to every tame extended affine Lie algebra. Afterwards, we show that the extended affine Weyl group of the ground Lie algebra can be recovered as a quotient group of two subgroups of the group associated to the underlying algebra similar to Kac-Moody groups.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[22]

Steinberg , Lectures on Chevalley Groups , Yale Uni., 1967

R. Steinberg , Lectures on Chevalley Groups , Yale Uni., 1967

work page 1967
[7]

Alg., 28 (2000), pp

, A presentation for reduced extended aﬃne Weyl groups , Comm. Alg., 28 (2000), pp. 465– 488

work page 2000
[1]

Allison, S

B. Allison, S. Azam, S. Berman, Y. Gao, and A. Pianzola , Extended aﬃne Lie algebras and their root systems , Memoirs of AMS, 126 (1997), pp. 1–122

work page 1997
[2]

Allison, B

B. Allison, B. Berman, Y. Gao, and A. Pianzola , A characterization of aﬃne Kac-Moody Lie algebras , Commun. Math. Phys., (1997), pp. 671–688

work page 1997
[3]

Allison, B

B. Allison, B. Berman, and A. Pianzola , Covering algebras I: Extended aﬃne Lie algebras , J. Alg., (2002), pp. 485–516. 18 SAEID AZAM, AMIR F ARAHMAND PARSA

work page 2002
[4]

Allison and Y

B. Allison and Y. Gao , The root system and the core of an extended aﬃne Lie algebra , Selecta Math., (2001), pp. 149–212

work page 2001
[5]

Azam , Extended aﬃne Weyl groups , J

S. Azam , Extended aﬃne Weyl groups , J. Alg., (1999), pp. 571–624

work page 1999
[6]

Alg., (1999), pp

, On the relation of extended aﬃne Weyl groups and indeﬁnite We yl groups, J. Alg., (1999), pp. 174–189

work page 1999

Show all 24 references

[8]

Azam and V

S. Azam and V. Shahsanaei , Extended aﬃne Weyl groups: Presentation by conjugation via integral collection, Comm. Alg., (2011), pp. 730–749

2011
[9]

S. Azam, Y. Yoshii, and M. Yousofzadeh , Jordan tori for a torsion free abelian group , Front. Math. China, 10 (2015), pp. 477–509

2015
[10]

Chevalley, Sur certains groupes simples , Tohoku Math

C. Chevalley, Sur certains groupes simples , Tohoku Math. J. (2), 7 (1955), pp. 14–66

1955
[11]

, Certains sch´ emas de groupes semi-simples, Soc. Math. France, (1995), pp. 219–?234

1995
[12]

Demazure , Sch´ emas en groupes r´ eductifs, Bullt

M. Demazure , Sch´ emas en groupes r´ eductifs, Bullt. Soc. Math. France, 93 (1965), pp. 369–413

1965
[13]

Høegh-Krohn and B

R. Høegh-Krohn and B. Torresani , Classiﬁcation and construction of quasi-simple Lie alge- bras, J. Funct. Anal., (1990), pp. 106–136

1990
[14]

G. W. Hofmann , Weyl groups with Coxeter presentation and presentation by c onjugation, J. Lie Theory, (2007), pp. 337–355

2007
[15]

Kac , Constructing groups associated to inﬁnite-dimensional Li e algebras , Inf

V. Kac , Constructing groups associated to inﬁnite-dimensional Li e algebras , Inf. Dim. Grps. Appl., 4 (1985), pp. 167–216

1985
[16]

Kryliouk, On the structure of quasi-simple Lie algebras and their auto morphism groups, 1995

I. Kryliouk, On the structure of quasi-simple Lie algebras and their auto morphism groups, 1995. PhD thesis

1995
[17]

Moody and A

R. Moody and A. Pianzola , Lie Algebras with Triangular Decompositions , Wiley Interscience, 1995

1995
[18]

Morita and H

J. Morita and H. Sakaguchi , Groups deﬁned by extended aﬃne Lie algebras with nullity 2, Tokyo J. Math., 29 (2006), pp. 347–383

2006
[19]

Passman, Inﬁnite Crossed Products , Acad

D. Passman, Inﬁnite Crossed Products , Acad. Pres. Inc., 1989

1989
[20]

Pianzola , Automorphisms of toroidal Lie algebras and their central qu otients, J

A. Pianzola , Automorphisms of toroidal Lie algebras and their central qu otients, J. Alg Appl., 1 (2002), pp. 113–121

2002
[21]

Saito , Extended aﬃne root systems I (Coxeter transformations) , PRIMS

K. Saito , Extended aﬃne root systems I (Coxeter transformations) , PRIMS. Kyoto Uni., (1985), pp. 75–179

1985
[23]

Tits , Uniqueness and presentation of Kac-Moody groups over ﬁelds , J

J. Tits , Uniqueness and presentation of Kac-Moody groups over ﬁelds , J. Algebra, (1987), pp. 542–573

1987
[24]

Tits and R

J. Tits and R. Weiss , Moufang Polygons, Springer Monographs in Mathematics, Springer-Verlag Berlin Heidelberg, 1st ed., 2002. Department of Mathematics, University of Isfahan, Isfahan, Iran, P.O.Box: 81745-163 and, School of Mathematics, Institute for Research in Funda mental...

2002

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [22]

Steinberg , Lectures on Chevalley Groups , Yale Uni., 1967

R. Steinberg , Lectures on Chevalley Groups , Yale Uni., 1967

work page 1967

[2] [7]

Alg., 28 (2000), pp

, A presentation for reduced extended aﬃne Weyl groups , Comm. Alg., 28 (2000), pp. 465– 488

work page 2000

[3] [1]

Allison, S

B. Allison, S. Azam, S. Berman, Y. Gao, and A. Pianzola , Extended aﬃne Lie algebras and their root systems , Memoirs of AMS, 126 (1997), pp. 1–122

work page 1997

[4] [2]

Allison, B

B. Allison, B. Berman, Y. Gao, and A. Pianzola , A characterization of aﬃne Kac-Moody Lie algebras , Commun. Math. Phys., (1997), pp. 671–688

work page 1997

[5] [3]

Allison, B

B. Allison, B. Berman, and A. Pianzola , Covering algebras I: Extended aﬃne Lie algebras , J. Alg., (2002), pp. 485–516. 18 SAEID AZAM, AMIR F ARAHMAND PARSA

work page 2002

[6] [4]

Allison and Y

B. Allison and Y. Gao , The root system and the core of an extended aﬃne Lie algebra , Selecta Math., (2001), pp. 149–212

work page 2001

[7] [5]

Azam , Extended aﬃne Weyl groups , J

S. Azam , Extended aﬃne Weyl groups , J. Alg., (1999), pp. 571–624

work page 1999

[8] [6]

Alg., (1999), pp

, On the relation of extended aﬃne Weyl groups and indeﬁnite We yl groups, J. Alg., (1999), pp. 174–189

work page 1999