Characterizing property (NL) in {C}oxeter groups
Pith reviewed 2026-06-26 06:11 UTC · model grok-4.3
The pith
Coxeter groups with Property (NL) are completely characterized by their diagrams.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the Coxeter groups having Property (NL) are exactly those satisfying a particular condition on their defining Coxeter diagram, providing a complete and explicit characterization.
What carries the argument
The Coxeter diagram as the object that encodes all necessary information to decide if the group has Property (NL).
If this is right
- Every Coxeter group either has or lacks Property (NL) according to its diagram.
- The property becomes decidable for Coxeter groups using a finite check on the diagram.
- Groups that are not covered by the characterization will have at least one loxodromic element on some hyperbolic space.
Where Pith is reading between the lines
- This characterization might allow algorithmic recognition of Property (NL) in Coxeter groups.
- Similar diagram-based criteria could be sought for other properties in Coxeter groups or related classes like reflection groups.
Load-bearing premise
That the property (NL) can be decided completely from the Coxeter diagram or presentation without additional external data or case-by-case verification.
What would settle it
A counterexample Coxeter group where the diagram condition is satisfied but an element acts loxodromically on a hyperbolic space, disproving the characterization.
read the original abstract
A group has Property (NL) -- which stands for ``no loxodromics" -- if no element of the group acts loxodromically on any hyperbolic space. In this brief note, we provide a complete characterization of which Coxeter groups have Property (NL).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is a brief note claiming to provide a complete characterization of which Coxeter groups have Property (NL), defined as the absence of any loxodromic action by group elements on hyperbolic spaces. The characterization is stated to be in terms of the group's defining Coxeter diagram or presentation.
Significance. If the characterization holds, the result would classify an important family of groups in geometric group theory according to a combinatorial criterion on their diagrams, clarifying when Coxeter groups admit only elliptic-type actions on hyperbolic spaces. The note is credited with delivering a complete, diagram-based criterion without reliance on external data beyond the presentation.
minor comments (1)
- The abstract is extremely concise; a one-sentence statement of the explicit characterization (e.g., the forbidden subdiagrams) would improve immediate readability without lengthening the note substantially.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for recommending acceptance.
Circularity Check
No circularity: characterization is self-contained
full rationale
The provided abstract and context describe a brief note giving a complete characterization of Property (NL) for Coxeter groups in terms of their defining diagrams or presentations. No equations, fitted parameters, self-citations, or derivation steps are visible that would reduce the claimed result to its inputs by construction. The result is presented as an independent mathematical classification rather than a tautological renaming or self-referential fit, making it self-contained against external benchmarks for Coxeter group actions.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Paris, Luis , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2007 , NUMBER =. doi:10.1142/S0218196707003779 , URL =
-
[2]
Sisto, Alessandro , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1515/crelle-2015-0093 , URL =
-
[3]
Qi, Dongwen , TITLE =. PhD. Thesis, Ohio State University , PUBLISHER =. 2007 , PAGES =
2007
-
[4]
Caprace, Pierre-Emmanuel and Fujiwara, Koji , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00039-009-0042-2 , URL =
-
[5]
, TITLE =
Serre, J.-P. , TITLE =. 1977 , PAGES =
1977
-
[6]
K. S. Brown , date-added =. Trees, valuations, and the. Invent. Math. , pages =
-
[7]
Finitely presented simple groupa and products of trees , mrnumber =
M.Burger and S.Mozes , journal =. Finitely presented simple groupa and products of trees , mrnumber =
-
[8]
M. R. Bridson , chapter =. Invitations to geometry and topology , volume =
-
[9]
Dahmani and V
F. Dahmani and V. Guirardel and D. Osin , date-added =. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces , volume =. Mem. Amer. Math. Soc. , number =
-
[10]
Bounded cohomology of subgroups of mapping class groups , volume =
Mladen Bestvina and Koji Fujiwara , date-added =. Bounded cohomology of subgroups of mapping class groups , volume =. Geom. Topol. , pages =
-
[11]
Bourbaki , date-added =
N. Bourbaki , date-added =. Commutative Algebra , year =
-
[12]
Elliott , date-added =
J. Elliott , date-added =. Factoring formal power series over principal ideal domains , volume =. Trans. Amer. Math. Soc. , number =
-
[13]
J. M. McDonough , date-added =. Integral domains arising as quotient rings of [[x]] , year =
-
[14]
Bieri and W
R. Bieri and W. D. Neumann and R. Strebel , date-added =. Invent. Math. , title =
-
[15]
Bieri and R
R. Bieri and R. Strebel , date-added =. Comment. Math. Helv. , title =
-
[16]
D. S. Dummit and R. M. Foote , date-added =. Abstract Algebra , year =
-
[17]
Wagner Sgobbi and Dalton C. Silva and Daniel Vendr\'. arXiv:2208.02647 , Title =
-
[18]
Sela, Z. , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050172 , URL =
-
[19]
Bowditch, Brian H. , TITLE =. Invent. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00222-007-0081-y , URL =
-
[20]
Farb and L
B. Farb and L. Mosher , date-added =. Acta Math. , title =
-
[21]
M. R. Bridson and A. Haefliger , date-added =. Metric Spaces of Non-Positive Curvature , year =
-
[22]
Heintze , date-added =
E. Heintze , date-added =. Math. Ann. , title =
-
[23]
Gohberg and P
I. Gohberg and P. Lancaster and L. Rodman , date-added =. Invariant Subspaces of Matrices with Applications , year =
-
[24]
Bourbaki , date-added =
N. Bourbaki , date-added =. General Topology Chapters 5-10 , year =
-
[25]
Vince , date-added =
A. Vince , date-added =. Replicating tessellations , volume =. SIAM J. Disc. Math. , number =
-
[26]
Lagarias and Y
J.C. Lagarias and Y. Wang , date-added =. Self-affine tiles in. Adv. Math. , number =
-
[27]
Gromov, M. , TITLE =. Essays in group theory , SERIES =. 1987 , MRCLASS =. doi:10.1007/978-1-4613-9586-7\_3 , URL =
-
[28]
Caprace, P.-E. and Cornulier, Y. and Monod, N. and Tessera, R. , date-added =. Amenable hyperbolic groups , url =. J. Eur. Math. Soc. , mrclass =. 2015 , bdsk-url-1 =. doi:10.4171/JEMS/575 , fjournal =
-
[29]
Balasubramanya, Sahana H. , date-added =. Hyperbolic structures on wreath products , url =. J. Group Theory , mrclass =. 2020 , bdsk-url-1 =. doi:10.1515/jgth-2018-0176 , fjournal =
-
[30]
C. R. Abbott and A. J. Rasmussen , date-added =. J. Topol. Anal. , title =
-
[31]
Abbott, Carolyn R. and Rasmussen, Alexander J. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/agt.2023.23.1641 , URL =
-
[32]
Atiyah and I.G
M.F. Atiyah and I.G. MacDonald , date-added =. Introduction to Commutative Algebra , year =
-
[33]
and H Balasubramanya, Sahana and Rasmussen, Alexander J
Abbott, Carolyn R. and H Balasubramanya, Sahana and Rasmussen, Alexander J. , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.109045 , URL =
-
[34]
and Balasubramanya, Sahana and Osin, Denis , date-added =
Abbott, Carolyn R. and Balasubramanya, Sahana and Osin, Denis , date-added =. Hyperbolic structures on groups , url =. Algebr. Geom. Topol. , mrclass =. 2019 , bdsk-url-1 =. doi:10.2140/agt.2019.19.1747 , fjournal =
-
[35]
Manning, J. F. , date-modified =. Actions of certain arithmetic groups on. Algebr. Geom. Topol. , mrclass =. 2008 , bdsk-url-1 =. doi:10.2140/agt.2008.8.1371 , fjournal =
-
[36]
1972 , PAGES =
Johnson, Barry Edward , TITLE =. 1972 , PAGES =
1972
-
[37]
Groups acting on the circle , JOURNAL =
Ghys, \'. Groups acting on the circle , JOURNAL =. 2001 , NUMBER =
2001
-
[38]
Combinatorial group theory and topology (
Alperin, Roger and Bass, Hyman , TITLE =. Combinatorial group theory and topology (. 1987 , MRCLASS =
1987
-
[39]
1971 , PAGES =
Hoffman, Kenneth and Kunze, Ray , TITLE =. 1971 , PAGES =
1971
-
[40]
Bader and P.-E
U. Bader and P.-E. Caprace and A. Furman and A. Sisto , date-added =. Hyperbolic actions of higher-rank lattices come from rank-one factors , year =
-
[41]
Plante, J. F. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1983 , NUMBER =. doi:10.2307/1999325 , URL =
- [42]
-
[43]
Groves, Daniel and Manning, Jason Fox , TITLE =. Israel J. Math. , FJOURNAL =. 2008 , PAGES =. doi:10.1007/s11856-008-1070-6 , URL =
-
[44]
Balasubramanya and Alexander J.Rasmussen and Sam Payne , Journal =
Carolyn Abbott and Sahana H. Balasubramanya and Alexander J.Rasmussen and Sam Payne , Journal =. Valuations, completions, and hyperbolic actions of metabelian groups , Year =
-
[45]
Balasubramanya, S. and Burkhalter, G. and Niebler, R. and Shapiro, R. , TITLE =. PUMP J. Undergrad. Res. , FJOURNAL =. 2025 , PAGES =. doi:10.46787/pump.v8i.4364 , URL =
-
[46]
and Fournier-Facio, Francesco and Genevois, Anthony , TITLE =
Balasubramanya, Sahana H. and Fournier-Facio, Francesco and Genevois, Anthony , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2025 , NUMBER =. doi:10.4171/ggd/806 , URL =
-
[47]
Osin, D. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/tran/6343 , URL =
-
[48]
, TITLE =
Abbott C. , TITLE =. Proc. Amer. Math. Soc. , VOLUME =. 2016 , NUMBER =
2016
-
[49]
2021 , JOURNAL =
Largest acylindrical actions and stability in hierarchically hyperbolic groups , author=. 2021 , JOURNAL =
2021
-
[50]
2021 , JOURNAL =
Acylindrical hyperbolicity of groups acting on quasi-median graphs and equations in graph products , author=. 2021 , JOURNAL =
2021
-
[51]
Mark F. Hagen and Tim Susse , title =. doi:10.1007/s11856-020-1967-2 , url =
-
[52]
2019 , eprint=
Hyperbolicities in CAT(0) cube complexes , author=. 2019 , eprint=
2019
-
[53]
arXiv preprint arXiv:2206.12916 , year=
Groups acting on hyperbolic spaces--a survey , author=. arXiv preprint arXiv:2206.12916 , year=
-
[54]
Haettel, T. , TITLE =. Ann. Sci. \'. 2020 , NUMBER =. doi:10.24033/asens.2425 , URL =
-
[55]
arXiv preprint arXiv:2206.06431 , year=
Hyperbolic actions of higher-rank lattices come from rank-one factors , author=. arXiv preprint arXiv:2206.06431 , year=
-
[56]
Genevois, A. , TITLE =. J. Group Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.1515/jgth-2018-0103 , URL =
-
[57]
Gromov's random monsters do not act non-elementarily on hyperbolic spaces , author=. Proc. Amer. Math. Soc. , year=
-
[58]
Lodha, Y. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/jlms.12254 , URL =
-
[59]
and Lodha, Y
Fournier-Facio, F. and Lodha, Y. and Zaremsky, M. C. B. , journal=. Braided. To appear
-
[60]
Wagner Sgobbi and Peter Wong , Journal =. The
-
[61]
Osin, Denis , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2010 , NUMBER =. doi:10.4007/annals.2010.172.1 , URL =
-
[62]
2023 , eprint=
Equivariant hierarchically hyperbolic structures for 3-manifold groups via quasimorphisms , author=. 2023 , eprint=
2023
-
[63]
Croke, C. B. and Kleiner, B. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s00039-002-8255-7 , URL =
-
[64]
2023 , eprint=
Largest hyperbolic actions of 3--manifold groups , author=. 2023 , eprint=
2023
-
[65]
2013 , eprint=
Introduction to Reflection Groups https://www.cmi.ac.in/ pdeshpande/projects/triangle author=. 2013 , eprint=
2013
-
[66]
Magnus , title =
W. Magnus , title =. 1974 , pages =
1974
-
[67]
J. E. Humphreys , title =
-
[68]
Kim and T
S. Kim and T. Koberda , title =. Int. J. Algebra Comput. , volume =. 2014 , pages =
2014
-
[69]
Y.Shalom , title =. Acta. Math. , volume =. 2004 , pages =
2004
-
[70]
M.A.Albar and W.M.Al-Hamdan , title =. Rend. Sem. Mat. Univ Padova , volume =. 1993 , pages =
1993
-
[71]
Burkhalter, R.Niebler, R
S.Balasubramanya, G. Burkhalter, R.Niebler, R. Shapiro , title =. The PUMP journal of undergraduate research , volume =. 2025 , pages =
2025
-
[72]
M\"oller, Philip and Varghese, Olga , TITLE =. J. Algebra , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.jalgebra.2023.09.048 , URL =
-
[73]
M. W. Davis , title =. Geometry and cohomology in group theory, London Math. Soc. Lecture Notes Ser., Cambridge University Press , year =
-
[74]
Moussong , title =
G. Moussong , title =. PhD. Thesis, Ohio State University , year =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.