pith. machine review for the scientific record. sign in

arxiv: 2605.06163 · v1 · submitted 2026-05-07 · 🧮 math.GR · math.DS

Recognition: unknown

The Normal Subgroup Theorem for lattices on two-dimensional Euclidean buildings

Jean L\'ecureux, Stefan Witzel

Pith reviewed 2026-05-08 03:40 UTC · model grok-4.3

classification 🧮 math.GR math.DS
keywords normal subgroup propertyEuclidean buildingslatticesproper actionscocompact actionsvirtually simple groupsirreducible buildings
0
0 comments X

The pith

Any group acting properly and cocompactly on a two-dimensional Euclidean building has the normal subgroup property.

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

The paper proves that every group with a proper and cocompact action on a two-dimensional Euclidean building satisfies the normal subgroup property. This means every normal subgroup is either of finite index in the group or contained in the finite kernel of the action. A sympathetic reader cares because the property immediately implies that certain non-residually finite lattices in this geometric setting are virtually simple and supplies the first known examples of simple lattices on irreducible Euclidean buildings.

Core claim

We prove the normal subgroup property for every group that acts properly and cocompactly on a two-dimensional Euclidean building: every normal subgroup has finite index or is contained in the finite kernel of the action. As a consequence, certain non-residually finite lattices are virtually simple. They are the first known simple lattices on irreducible Euclidean buildings.

What carries the argument

The proper and cocompact action on the two-dimensional Euclidean building, which is used to force any normal subgroup outside the finite kernel to have finite index.

If this is right

  • Certain non-residually finite lattices become virtually simple.
  • These lattices supply the first known examples of simple lattices on irreducible Euclidean buildings.
  • The normal subgroup property applies to every group with such an action, not only to lattices.
  • After quotienting by the finite kernel, the resulting faithful image has no infinite proper normal subgroups of infinite index.

Where Pith is reading between the lines

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

  • The two-dimensional and Euclidean restrictions on the building appear essential, since the result is stated to rely on these geometric hypotheses.
  • The theorem links the local geometry of the building directly to global control over normal subgroups of the acting group.
  • Similar control might be sought for proper actions that are not cocompact, though the paper does not address this case.

Load-bearing premise

The building is two-dimensional and Euclidean and the action is proper and cocompact.

What would settle it

A proper cocompact action on a two-dimensional Euclidean building together with a normal subgroup that has infinite index yet is not contained in the finite kernel of the action would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.06163 by Jean L\'ecureux, Stefan Witzel.

Figure 1
Figure 1. Figure 1: A convex set C = CS,f,∞ in Y1 in type G˜ 2. The picture on the left is the tree S together with each edge marked by arrows encoding the slope in the corresponding direction: no arrow means slope 0 and more arrows mean increasingly steeper slopes among the ones possible in the type. Two maximal lines of S are marked in red and blue respectively. Parts of the preimages of both lines under pT are (simulteanou… view at source ↗
Figure 2
Figure 2. Figure 2: A configuration in the proof of Proposition 5.5. a wall. Since fw′v < fvw it follows that c lies above this ray and so x is on the same side of v in T as w and the slope λv = (y − f(v))/d(v, x) is bounded below by fw′v: λv is the largest slope of a wall trough (v, f(v)) with λv < fvw (which exists by the previous discussion). The upshot is that DE is contained in the region above the ray (p, hv,λv (p)) sin… view at source ↗
Figure 3
Figure 3. Figure 3: Subcomplexes of the building of type C2 over F2 view at source ↗
Figure 4
Figure 4. Figure 4: The setup in the proof of Theorem 8.1. put τ = projξ ◦ projζ (σ). Let x, y be special vertices such that projξ ◦ projζ (U x (σ)) ⊆ U y (τ ) (recall from (6.4) that U x (σ) is the space of chambers that have the same projection to x as σ). Then the set V = {ι ∈ C(Opp(ζ), Opp(ζ)) | ι(U x (σ)) ⊆ U y (τ )} is an open set in C(Opp(ζ), Opp(ζ)) and we want to show that γn ∈ V for large enough n. Note that V is sm… view at source ↗
read the original abstract

We prove the normal subgroup property for every group that acts properly and cocompactly on a two-dimensional Euclidean building: every normal subgroup has finite index or is contained in the finite kernel of the action. As a consequence, the non-residually finite lattices constructed by Titz Mite and the second author are virtually simple. They are the first known simple lattices on irreducible Euclidean buildings.

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.

Referee Report

2 major / 2 minor

Summary. The paper proves the normal subgroup property for any group acting properly and cocompactly on a two-dimensional Euclidean building: every normal subgroup is either of finite index or contained in the finite kernel of the action. As a consequence, the non-residually finite lattices constructed by Titz Mite and the second author are virtually simple, providing the first known examples of simple lattices on irreducible Euclidean buildings.

Significance. If the result holds, it represents a notable extension of normal subgroup theorems to lattices on Euclidean buildings in dimension 2, using geometric features such as links, apartments, and thickness properties. The consequence yields the first simple lattices on irreducible Euclidean buildings, which is a concrete advance in the field. The manuscript's reliance on the two-dimensional Euclidean hypothesis is presented as essential, and the argument appears to avoid circularity by building directly on prior lattice constructions.

major comments (2)
  1. [§3] §3 (or the section developing the finite-index case): the argument that cocompactness plus building axioms implies a normal subgroup of finite index needs an explicit reduction step showing how the quotient action on the building remains proper and cocompact after passing to a finite-index subgroup; without this, the induction or minimality argument may not close.
  2. [Consequence paragraph] The consequence paragraph (near the end): the claim that the Titz Mite–second author lattices are virtually simple requires verifying that their actions have trivial kernel (or that any kernel is already accounted for in the normal subgroup property); the manuscript references the prior construction but does not include a short lemma confirming the kernel is trivial for those specific examples.
minor comments (2)
  1. [Introduction] Notation for the finite kernel of the action should be introduced once and used consistently; currently it appears in the abstract and statement but is not labeled in the main text.
  2. [Introduction] A brief remark on why the result fails in higher dimensions or for non-Euclidean buildings would help readers assess the sharpness of the hypotheses, even if only as a pointer to known counterexamples.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the specific suggestions for improvement. We have revised the manuscript to address both major comments explicitly.

read point-by-point responses

  1. Referee: [§3] §3 (or the section developing the finite-index case): the argument that cocompactness plus building axioms implies a normal subgroup of finite index needs an explicit reduction step showing how the quotient action on the building remains proper and cocompact after passing to a finite-index subgroup; without this, the induction or minimality argument may not close.

    Authors: We agree that the reduction step should be stated explicitly to close the argument. In the revised §3 we have inserted a short paragraph immediately preceding the finite-index case. It records that if N ⊴ G has finite index, then the induced action of G/N on the building X remains proper (point stabilizers in G/N are quotients of the finite stabilizers in G) and cocompact (the quotient space (G/N)∖X is the continuous image of the compact space G∖X under a finite-to-one map). This preserves the standing hypotheses and allows the subsequent minimality or induction argument to apply without circularity. revision: yes

  2. Referee: [Consequence paragraph] The consequence paragraph (near the end): the claim that the Titz Mite–second author lattices are virtually simple requires verifying that their actions have trivial kernel (or that any kernel is already accounted for in the normal subgroup property); the manuscript references the prior construction but does not include a short lemma confirming the kernel is trivial for those specific examples.

    Authors: We thank the referee for this clarification. The lattices in the cited construction of Titz Mite and the second author are defined to act faithfully, so the kernel is trivial by construction. To make the present paper self-contained we have added a short lemma (now Lemma 5.3) in the consequence section. The lemma recalls the relevant faithfulness statement from the earlier work and notes that the normal-subgroup theorem therefore yields virtual simplicity directly, since any nontrivial normal subgroup must have finite index. revision: yes

Circularity Check

0 steps flagged

Minor self-citation for consequence only; central derivation independent

full rationale

The paper proves the normal subgroup property for proper cocompact actions on 2-dimensional Euclidean buildings by direct appeal to building geometry (links, apartments, thickness, properness, and cocompactness). The sole self-reference appears in the abstract as an application to prior lattices by one co-author, without using those constructions to establish the theorem. No equation, definition, or load-bearing premise reduces to a self-citation chain or to a fitted input renamed as prediction. The argument is self-contained against the stated geometric hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure-mathematics proof relying on standard axioms of group theory, geometry of buildings, and prior results on lattices; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of group theory and the geometry of Euclidean buildings
    The statement invokes proper cocompact actions and the structure of 2D Euclidean buildings without deriving these from more basic principles.

pith-pipeline@v0.9.0 · 5349 in / 1228 out tokens · 86880 ms · 2026-05-08T03:40:49.160673+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 1 canonical work pages

  1. [1]

    Brown, Buildings: Theory and applications, Graduate Texts in Mathematics, vol

    Peter Abramenko and Kenneth S. Brown, Buildings: Theory and applications, Graduate Texts in Mathematics, vol. 248, Springer, 2008

    2008

  2. [2]

    Claire Anantharaman and Sorin Popa, An introduction to II_1 factors

  3. [3]

    189, Cambridge University Press, 1994

    Jiří Adámek and Jiří Rosický, Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, vol. 189, Cambridge University Press, 1994

    1994

  4. [4]

    Math., vol

    Claire Anantharaman and Jean Renault, Amenable groupoids, Groupoids in analysis, geometry, and physics ( B oulder, CO , 1999), Contemp. Math., vol. 282, Amer. Math. Soc., Providence, RI, 2001, pp. 35--46

    1999

  5. [5]

    Uri Bader, Pierre-Emmanuel Caprace, and Jean L\' e cureux, On the linearity of lattices in affine buildings and ergodicity of the singular C artan flow , J. Amer. Math. Soc. 32 (2019), no. 2, 491--562

    2019

  6. [6]

    Uri Bader, Bruno Duchesne, and Jean L\'ecureux, Almost algebraic actions of algebraic groups and applications to algebraic representations, Groups Geom. Dyn. 11 (2017), no. 2, 705--738

    2017

  7. [7]

    Uri Bader and Alex Furman, Algebraic representations of ergodic actions and super-rigidity, arXiv:1311.3696

    work page arXiv

  8. [8]

    Uri Bader and Alex Furman, Super-rigidity and non-linearity for lattices in products, Compos. Math. 156 (2020), no. 1, 158--178

    2020

  9. [9]

    Uri Bader, Alex Furman, and Jean Lécureux, Normal subgroup theorem for groups acting on A _2 -buildings

  10. [10]

    Bridson and Andr \'e Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften, vol

    Martin R. Bridson and Andr \'e Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften, vol. 319, Springer, 1999

    1999

  11. [11]

    R\'emi Boutonnet and Cyril Houdayer, Stationary characters on lattices of semisimple L ie groups , Publ. Math. Inst. Hautes \'Etudes Sci. 133 (2021), 1--46

    2021

  12. [12]

    Hautes \'Etudes Sci

    Marc Burger and Shahar Mozes, Groups acting on trees: from local to global structure, Inst. Hautes \'Etudes Sci. Publ. Math. (2000), no. 92, 113--150

    2000

  13. [13]

    Hautes \'Etudes Sci

    , Lattices in product of trees, Inst. Hautes \'Etudes Sci. Publ. Math. (2000), no. 92, 151--194

    2000

  14. [14]

    V. I. Bogachev, Measure theory. V ol. I , II , Springer, 2007

    2007

  15. [15]

    Uri Bader and Yehuda Shalom, Factor and normal subgroup theorems for lattices in products of groups, Invent. Math. 163 (2006), no. 2, 415--454

    2006

  16. [16]

    Keith Burns and Amie Wilkinson, On the ergodicity of partially hyperbolic systems, Ann. of Math. (2) 171 (2010), no. 1, 451--489

    2010

  17. [17]

    Pierre-Emmanuel Caprace, Amenable groups and H adamard spaces with a totally disconnected isometry group , Comment. Math. Helv. 84 (2009), no. 2, 437--455

    2009

  18. [18]

    J. R. Choksi, Inverse limits of measure spaces, Proc. London Math. Soc. (3) 8 (1958), 321--342

    1958

  19. [19]

    Cohn, Measure theory, second ed., Birkhäuser Advanced Texts: Basler Lehrb\"ucher, Birkhäuser, 2013

    Donald L. Cohn, Measure theory, second ed., Birkhäuser Advanced Texts: Basler Lehrb\"ucher, Birkhäuser, 2013

    2013

  20. [20]

    Antoine Derimay, Poisson boundaries of building lattices and rigidity with hyperbolic-like targets, 2025

    2025

  21. [21]

    Folland, Real analysis, second ed., Pure and Applied Mathematics (New York), John Wiley & Sons, 1999, Modern techniques and their applications, A Wiley-Interscience Publication

    Gerald B. Folland, Real analysis, second ed., Pure and Applied Mathematics (New York), John Wiley & Sons, 1999, Modern techniques and their applications, A Wiley-Interscience Publication

    1999

  22. [22]

    D. H. Fremlin, Measure theory V ol. 3. measure algebras. , Torres Fremlin, 2004, Measure algebras, Corrected second printing of the 2002 original

    2004

  23. [23]

    Vincent Guirardel, Camille Horbez, and Jean L\' e cureux, Cocycle superrigidity from higher rank lattices to Out (F_N) , J. Mod. Dyn. 18 (2022), 291--344

    2022

  24. [24]

    R. I. Grigorchuk, Just infinite branch groups, New horizons in pro- p groups, Progr. Math., vol. 184, Birkhäuser, 2000, pp. 121--179

    2000

  25. [25]

    Kaimanovich, Amenability and the L iouville property , vol

    Vadim A. Kaimanovich, Amenability and the L iouville property , vol. 149, 2005, Probability in mathematics, pp. 45--85

    2005

  26. [26]

    Masoud Khalkhali, Basic noncommutative geometry, EMS Series of Lectures in Mathematics, EMS Press, 2009

    2009

  27. [27]

    25, 1988, Eleventh British Combinatorial Conference (London, 1987), pp

    Norbert Knarr, Projectivities of generalized polygons, vol. 25, 1988, Eleventh British Combinatorial Conference (London, 1987), pp. 265--275

    1988

  28. [28]

    Jean L\'ecureux, Mikael de la Salle, and Stefan Witzel, Strong property ( T ), weak amenability and ^p -cohomology in A_2 -buildings , Ann. Sci. \'Ec. Norm. Sup\'er. (4) 57 (2024), no. 5, 1371--1444

    2024

  29. [29]

    295, Springer, 2022

    Jean-Fran c ois Le Gall, Measure theory, probability, and stochastic processes, Graduate Texts in Mathematics, vol. 295, Springer, 2022

    2022

  30. [30]

    Jean Lécureux, Amenability of actions on the boundary of a building, Int. Math. Res. Not. IMRN (2010), no. 17, 3265--3302

    2010

  31. [31]

    G. A. Margulis, Discrete subgroups of semisimple L ie groups , Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 17, Springer, 1991

    1991

  32. [32]

    Thomas Titz Mite and Stefan Witzel, Non-residually finite C _2 -lattices , 2025

    2025

  33. [33]

    Izhar Oppenheim, Property ( T ) for groups acting on affine buildings , Bull. Lond. Math. Soc. 57 (2025), no. 10, 3151--3162

    2025

  34. [34]

    James Parkinson, Spherical harmonic analysis on affine buildings, Math. Z. 253 (2006), no. 3, 571--606

    2006

  35. [35]

    Pesin, Lectures on partial hyperbolicity and stable ergodicity, Zurich Lectures in Advanced Mathematics, EMS Press, 2004

    Yakov B. Pesin, Lectures on partial hyperbolicity and stable ergodicity, Zurich Lectures in Advanced Mathematics, EMS Press, 2004

    2004

  36. [36]

    Emily Riehl, Category theory in context, Aurora Dover Modern Math Originals, Dover Publications, 2016

    2016

  37. [37]

    35, EMS Press, 2023

    Guy Rousseau, Euclidean buildings---geometry and group actions, EMS Tracts in Mathematics, vol. 35, EMS Press, 2023

    2023

  38. [38]

    London Math

    Guyan Robertson and Tim Steger, C^* -algebras arising from group actions on the boundary of a triangle building , Proc. London Math. Soc. (3) 72 (1996), no. 3, 613--637

    1996

  39. [39]

    Bertrand Rémy and Bartosz Trojan, Martin compactifications of affine buildings, 2021

    2021

  40. [40]

    are N ormalteiler in der G ruppe der P rojektivit\

    Adolf Schleiermacher, Regul\"are N ormalteiler in der G ruppe der P rojektivit\"aten bei projektiven und affinen E benen , Math. Z. 114 (1970), 313--320

    1970

  41. [41]

    Zimmer, Stabilizers for ergodic actions of higher rank semisimple groups, Ann

    Garrett Stuck and Robert J. Zimmer, Stabilizers for ergodic actions of higher rank semisimple groups, Ann. of Math. (2) 139 (1994), no. 3, 723--747

    1994

  42. [42]

    1181, Springer, 1986, pp

    Jacques Tits, Immeubles de type affine, Buildings and the geometry of diagrams ( C omo, 1984), Lecture Notes in Math., vol. 1181, Springer, 1986, pp. 159--190

    1984

  43. [43]

    Weiss, The structure of affine buildings, Annals of Mathematics Studies, vol

    Richard M. Weiss, The structure of affine buildings, Annals of Mathematics Studies, vol. 168, Princeton University Press, 2009

    2009

  44. [44]

    J. S. Wilson, Groups with every proper quotient finite, Proc. Cambridge Philos. Soc. 69 (1971), 373--391

    1971

  45. [45]

    Zimmer, Ergodic theory and semisimple groups, Monographs in Mathematics, vol

    Robert J. Zimmer, Ergodic theory and semisimple groups, Monographs in Mathematics, vol. 81, Birkhäuser, 1984

    1984