Amalgams of rational unipotent groups and residual nilpotence

Pierre-Emmanuel Caprace; Timoth\'ee Marquis

arxiv: 2402.14507 · v1 · submitted 2024-02-22 · 🧮 math.GR

Amalgams of rational unipotent groups and residual nilpotence

Pierre-Emmanuel Caprace , Timoth\'ee Marquis This is my paper

Pith reviewed 2026-05-24 03:58 UTC · model grok-4.3

classification 🧮 math.GR

keywords residual nilpotenceamalgamated productsnilpotent groupsKac-Moody groupsCartan matrixunipotent groupsKMS groups

0 comments

The pith

Free amalgamated products of torsionfree nilpotent groups are residually nilpotent under given conditions, with KMS groups characterized by their Cartan matrix.

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

The paper establishes sufficient conditions under which a free amalgamated product of torsionfree nilpotent groups is residually nilpotent. It further characterizes residual nilpotence for KMS groups, higher-dimensional amalgams of rational unipotent groups, directly in terms of properties of the defining Cartan matrix. The result is applied to produce an explicit normal form for elements of minimal Kac-Moody groups over the rationals. A sympathetic reader cares because residual nilpotence means the intersection of all terms in the lower central series is trivial, allowing the group to be approximated by its nilpotent quotients.

Core claim

Sufficient conditions are given for a free amalgamated product of torsionfree nilpotent groups to be residually nilpotent. Residual nilpotence of KMS groups is characterized in terms of their defining Cartan matrix. As an application, a normal form is given for the elements of a minimal Kac-Moody group over the rationals.

What carries the argument

The Cartan matrix of a KMS group, which encodes the amalgamation data and determines whether the group is residually nilpotent.

If this is right

Minimal Kac-Moody groups over the rationals admit an explicit normal form for their elements.
Residual nilpotence for KMS groups reduces to a check on the entries or properties of the Cartan matrix.
The intersection of the lower central series is trivial in any amalgam satisfying the stated conditions.

Where Pith is reading between the lines

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

The normal form may simplify computations of the word problem or conjugacy in rational Kac-Moody groups.
Similar Cartan-matrix criteria could be tested for residual finiteness or other approximation properties in the same amalgams.
The techniques might adapt to amalgams of unipotent groups over other fields if the torsionfree hypothesis can be relaxed.

Load-bearing premise

The groups in the amalgams are torsionfree nilpotent or unipotent over the rationals, and the amalgams take the specific free or higher-dimensional KMS form considered.

What would settle it

An explicit free amalgamated product of two torsionfree nilpotent groups satisfying the paper's sufficient conditions yet containing a nontrivial element that lies in every term of the lower central series would falsify the claim.

read the original abstract

We provide sufficient conditions for a free amalgamated product of torsionfree nilpotent groups to be residually nilpotent. We also characterise the residual nilpotence of certain higher-dimensional amalgams of unipotent groups over the rationals (known as KMS groups) in terms of their defining Cartan matrix. As an application, we give a normal form for the elements of a minimal Kac-Moody group over the rationals.

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 sufficient conditions for residual nilpotence in free amalgams of torsionfree nilpotent groups, a Cartan-matrix characterization for KMS groups, and a normal form for minimal Kac-Moody groups over Q.

read the letter

The main things to know are that the authors give sufficient conditions for a free amalgamated product of torsionfree nilpotent groups to be residually nilpotent, characterize residual nilpotence of KMS groups via their Cartan matrix, and obtain a normal form for minimal Kac-Moody groups over the rationals. The new part is the characterization in terms of the Cartan matrix for the higher-dimensional amalgams of unipotent groups. That seems to be the core advance, as it allows checking the property from the defining data. The sufficient conditions for the nilpotent case are also stated in a usable way, and the normal form is a direct consequence that could be handy for computations in those groups. The paper does well in keeping the statements clean and focused on the structure of the groups and the matrices. It builds on the theory of amalgams without overcomplicating the setup. The soft spots are minor. The results are sufficient conditions in one case and a characterization in the other, so they do not claim to cover every possible amalgam. That is fine, but it means the work is not a complete classification. The assumptions on the groups being torsionfree and unipotent over Q are explicit and necessary for the statements to hold, and the stress test did not find any mismatch there. The math appears internally consistent. This paper is for people already working in the area of infinite groups, residual properties, and Kac-Moody groups. A reader who knows the background on nilpotent groups and Cartan matrices will get the most out of it. It is the kind of paper that deserves a serious referee because the claims are specific and the application to normal forms gives something concrete to check. I would send it to peer review.

Referee Report

0 major / 4 minor

Summary. The paper establishes sufficient conditions under which a free amalgamated product of torsionfree nilpotent groups is residually nilpotent. It further characterizes residual nilpotence for KMS groups (higher-dimensional amalgams of rational unipotent groups) in terms of properties of the defining Cartan matrix. As an application, a normal form is derived for elements of minimal Kac-Moody groups over the rationals.

Significance. If the claims hold, the results provide new tools for verifying residual nilpotence in amalgamated constructions and supply an explicit normal form in the Kac-Moody setting. The Cartan-matrix criterion for KMS groups is a concrete, checkable condition that could be applied to other families of groups arising from Lie-theoretic data. The normal-form result strengthens the algebraic description of minimal Kac-Moody groups over Q.

minor comments (4)

The statement of the main theorem on free amalgamated products (presumably Theorem A or the first result in §3) should explicitly list the torsion-freeness and nilpotency-class hypotheses on the factors; the current wording leaves open whether the conditions are sharp.
In the characterization of residual nilpotence for KMS groups, the precise relation between the Cartan matrix entries and the lower central series quotients should be stated as an if-and-only-if (or at least the direction that is proved) rather than only one implication.
The normal-form theorem for minimal Kac-Moody groups over Q would benefit from a short comparison paragraph with existing normal forms in the literature (e.g., those of Kac–Moody or Tits) to clarify the novelty.
Notation for the amalgamated product and the KMS construction should be introduced once in a dedicated subsection and used consistently; several ad-hoc symbols appear without prior definition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. The report does not list any specific major comments.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives sufficient conditions for residual nilpotence of free amalgamated products of torsionfree nilpotent groups, a characterization of KMS groups via their Cartan matrix, and a normal form for minimal Kac-Moody groups over Q. These results follow from the algebraic structure of the groups, amalgams, and matrices as stated, without any reduction to self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain remains independent of the target claims and is self-contained against the given hypotheses on torsionfreeness and rationality.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities; review limited to summary.

pith-pipeline@v0.9.0 · 5592 in / 1151 out tokens · 30268 ms · 2026-05-24T03:58:41.887287+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

[1]

Matthias Aschenbrenner, Stefan Friedl, and Henry Wilton, 3-manifold groups, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Z\" u rich, 2015

work page 2015
[2]

Peter Abramenko and Bernhard M\" u hlherr, Pr\' e sentations de certaines BN -paires jumel\' e es comme sommes amalgam\' e es , C. R. Acad. Sci. Paris S\' e r. I Math. 325 (1997), no. 7, 701--706

work page 1997
[3]

Gilbert Baumslag, A non-hopfian group, Bull. Amer. Math. Soc. 68 (1962), 196--198

work page 1962
[4]

, Finitely generated residually torsion-free nilpotent groups. I , J. Austral. Math. Soc. Ser. A 67 (1999), no. 3, 289--317

work page 1999
[5]

I , Illinois J

, Some reflections on proving groups residually torsion-free nilpotent. I , Illinois J. Math. 54 (2010), no. 1, 315--325

work page 2010
[6]

Bridson and Andr\' e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and Andr\' e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999

work page 1999
[7]

Gilbert Baumslag and Roman Mikhailov, Residual properties of groups defined by basic commutators, Groups Geom. Dyn. 8 (2014), no. 3, 621--642

work page 2014
[8]

Nicolas Bourbaki, \' E l\'ements de math\'ematique. F asc. XXXVII . G roupes et alg\`ebres de L ie. C hapitre II : A lg\`ebres de L ie libres. C hapitre III : G roupes de L ie , Actualit \'e s Scientifiques et Industrielles, No. 1349, Hermann, Paris, 1972

work page 1972
[9]

Pierre-Emmanuel Caprace, Marston Conder, Marek Kaluba, and Stefan Witzel, Hyperbolic generalized triangle groups, property ( T ) and finite simple quotients , J. Lond. Math. Soc. (2) 106 (2022), no. 4, 3577--3637

work page 2022
[10]

19 (2007), no

Alice Devillers and Bernhard M\" u hlherr, On the simple connectedness of certain subsets of buildings, Forum Math. 19 (2007), no. 6, 955--970

work page 2007
[11]

Mikhail Ershov and Andrei Jaikin-Zapirain, Property ( T ) for noncommutative universal lattices , Invent. Math. 179 (2010), no. 2, 303–347

work page 2010
[12]

Mikhail Ershov, Golod- S hafarevich groups: a survey , Internat. J. Algebra Comput. 22 (2012), no. 5, 1230001, 68

work page 2012
[13]

Laura Grave de Peralta and Inga Valentiner-Branth, High dimensional expanders from K ac-- M oody-- S teinberg groups , preprint (2023)

work page 2023
[14]

Pure Appl

John Guaschi and Carolina de Miranda e Pereiro, Lower central and derived series of semi-direct products, and applications to surface braid groups, J. Pure Appl. Algebra 224 (2020), no. 7, 106309, 39

work page 2020
[15]

K. W. Gruenberg, Residual properties of infinite soluble groups, Proc. London Math. Soc. (3) 7 (1957), 29--62

work page 1957
[16]

Algebra 1 (1964), 301--305

Graham Higman, Amalgams of p -groups , J. Algebra 1 (1964), 301--305

work page 1964
[17]

K. A. Hirsch, On infinite soluble groups. III , Proc. London Math. Soc. (2) 49 (1946), 184--194

work page 1946
[18]

Andrei Jaikin-Zapirain, Free q -groups are residually torsion-free nilpotent, To appear in the Ann. Sci. \'Ecole Norm. Sup. ArXiv preprint:2212.00402, 2022

work page arXiv 2022
[19]

Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990

Victor G. Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990

work page 1990
[20]

Ustimenko, New examples of graphs without small cycles and of large size, vol

Felix Lazebnik and Vasiliy A. Ustimenko, New examples of graphs without small cycles and of large size, vol. 14, 1993, Algebraic combinatorics (Vladimir, 1991), pp. 445--460

work page 1993
[21]

Wilhelm Magnus, Beziehungen zwischen G ruppen und I dealen in einem speziellen R ing , Math. Ann. 111 (1935), no. 1, 259--280

work page 1935
[22]

A. I. Mal cev, Generalized nilpotent algebras and their associated groups, Mat. Sbornik N.S. 25/67 (1949), 347--366

work page 1949
[23]

Timoth \'e e Marquis, An introduction to K ac-- M oody groups over fields , EMS Textbooks in Mathematics, European Mathematical Society (EMS), Z\"urich, 2018

work page 2018
[24]

Jun Morita, Root strings with three or four real roots in K ac- M oody root systems , Tohoku Math. J. (2) 40 (1988), no. 4, 645--650

work page 1988
[25]

III : S tructure des sch\' e mas en groupes r\' e ductifs , Lecture Notes in Mathematics, vol

Sch\' e mas en groupes. III : S tructure des sch\' e mas en groupes r\' e ductifs , Lecture Notes in Mathematics, vol. Vol. 153, Springer-Verlag, Berlin-New York, 1970, S\' e minaire de G\' e om\' e trie Alg\' e brique du Bois Marie 1962/64 (SGA 3), Dirig\' e par M. Demazure et A. Grothendieck

work page 1970
[26]

Algebra 105 (1987), no

Jacques Tits, Uniqueness and presentation of K ac-- M oody groups over fields , J. Algebra 105 (1987), no. 2, 542--573

work page 1987
[27]

Group Theory 22 (2019), no

Gareth Wilkes, A criterion for residual p -finiteness of arbitrary graphs of finite p -groups , J. Group Theory 22 (2019), no. 5, 837--844

work page 2019

[1] [1]

Matthias Aschenbrenner, Stefan Friedl, and Henry Wilton, 3-manifold groups, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Z\" u rich, 2015

work page 2015

[2] [2]

Peter Abramenko and Bernhard M\" u hlherr, Pr\' e sentations de certaines BN -paires jumel\' e es comme sommes amalgam\' e es , C. R. Acad. Sci. Paris S\' e r. I Math. 325 (1997), no. 7, 701--706

work page 1997

[3] [3]

Gilbert Baumslag, A non-hopfian group, Bull. Amer. Math. Soc. 68 (1962), 196--198

work page 1962

[4] [4]

, Finitely generated residually torsion-free nilpotent groups. I , J. Austral. Math. Soc. Ser. A 67 (1999), no. 3, 289--317

work page 1999

[5] [5]

I , Illinois J

, Some reflections on proving groups residually torsion-free nilpotent. I , Illinois J. Math. 54 (2010), no. 1, 315--325

work page 2010

[6] [6]

Bridson and Andr\' e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and Andr\' e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999

work page 1999

[7] [7]

Gilbert Baumslag and Roman Mikhailov, Residual properties of groups defined by basic commutators, Groups Geom. Dyn. 8 (2014), no. 3, 621--642

work page 2014

[8] [8]

Nicolas Bourbaki, \' E l\'ements de math\'ematique. F asc. XXXVII . G roupes et alg\`ebres de L ie. C hapitre II : A lg\`ebres de L ie libres. C hapitre III : G roupes de L ie , Actualit \'e s Scientifiques et Industrielles, No. 1349, Hermann, Paris, 1972

work page 1972

[9] [9]

Pierre-Emmanuel Caprace, Marston Conder, Marek Kaluba, and Stefan Witzel, Hyperbolic generalized triangle groups, property ( T ) and finite simple quotients , J. Lond. Math. Soc. (2) 106 (2022), no. 4, 3577--3637

work page 2022

[10] [10]

19 (2007), no

Alice Devillers and Bernhard M\" u hlherr, On the simple connectedness of certain subsets of buildings, Forum Math. 19 (2007), no. 6, 955--970

work page 2007

[11] [11]

Mikhail Ershov and Andrei Jaikin-Zapirain, Property ( T ) for noncommutative universal lattices , Invent. Math. 179 (2010), no. 2, 303–347

work page 2010

[12] [12]

Mikhail Ershov, Golod- S hafarevich groups: a survey , Internat. J. Algebra Comput. 22 (2012), no. 5, 1230001, 68

work page 2012

[13] [13]

Laura Grave de Peralta and Inga Valentiner-Branth, High dimensional expanders from K ac-- M oody-- S teinberg groups , preprint (2023)

work page 2023

[14] [14]

Pure Appl

John Guaschi and Carolina de Miranda e Pereiro, Lower central and derived series of semi-direct products, and applications to surface braid groups, J. Pure Appl. Algebra 224 (2020), no. 7, 106309, 39

work page 2020

[15] [15]

K. W. Gruenberg, Residual properties of infinite soluble groups, Proc. London Math. Soc. (3) 7 (1957), 29--62

work page 1957

[16] [16]

Algebra 1 (1964), 301--305

Graham Higman, Amalgams of p -groups , J. Algebra 1 (1964), 301--305

work page 1964

[17] [17]

K. A. Hirsch, On infinite soluble groups. III , Proc. London Math. Soc. (2) 49 (1946), 184--194

work page 1946

[18] [18]

Andrei Jaikin-Zapirain, Free q -groups are residually torsion-free nilpotent, To appear in the Ann. Sci. \'Ecole Norm. Sup. ArXiv preprint:2212.00402, 2022

work page arXiv 2022

[19] [19]

Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990

Victor G. Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990

work page 1990

[20] [20]

Ustimenko, New examples of graphs without small cycles and of large size, vol

Felix Lazebnik and Vasiliy A. Ustimenko, New examples of graphs without small cycles and of large size, vol. 14, 1993, Algebraic combinatorics (Vladimir, 1991), pp. 445--460

work page 1993

[21] [21]

Wilhelm Magnus, Beziehungen zwischen G ruppen und I dealen in einem speziellen R ing , Math. Ann. 111 (1935), no. 1, 259--280

work page 1935

[22] [22]

A. I. Mal cev, Generalized nilpotent algebras and their associated groups, Mat. Sbornik N.S. 25/67 (1949), 347--366

work page 1949

[23] [23]

Timoth \'e e Marquis, An introduction to K ac-- M oody groups over fields , EMS Textbooks in Mathematics, European Mathematical Society (EMS), Z\"urich, 2018

work page 2018

[24] [24]

Jun Morita, Root strings with three or four real roots in K ac- M oody root systems , Tohoku Math. J. (2) 40 (1988), no. 4, 645--650

work page 1988

[25] [25]

III : S tructure des sch\' e mas en groupes r\' e ductifs , Lecture Notes in Mathematics, vol

Sch\' e mas en groupes. III : S tructure des sch\' e mas en groupes r\' e ductifs , Lecture Notes in Mathematics, vol. Vol. 153, Springer-Verlag, Berlin-New York, 1970, S\' e minaire de G\' e om\' e trie Alg\' e brique du Bois Marie 1962/64 (SGA 3), Dirig\' e par M. Demazure et A. Grothendieck

work page 1970

[26] [26]

Algebra 105 (1987), no

Jacques Tits, Uniqueness and presentation of K ac-- M oody groups over fields , J. Algebra 105 (1987), no. 2, 542--573

work page 1987

[27] [27]

Group Theory 22 (2019), no

Gareth Wilkes, A criterion for residual p -finiteness of arbitrary graphs of finite p -groups , J. Group Theory 22 (2019), no. 5, 837--844

work page 2019