Recognition: no theorem link
Quasiisometric embeddings between right-angled Artin groups: rigidity
Pith reviewed 2026-05-13 02:46 UTC · model grok-4.3
The pith
Quasiisometric embeddings between right-angled Artin groups induce extension graph embeddings under branching conditions on the defining graphs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By introducing branching conditions on the defining graph, the authors establish that, under mild conditions on the codomain, a quasiisometric embedding between right-angled Artin groups induces an embedding between the associated extension graphs. This implication is then used to derive a series of rigidity results, including obstructions to embeddings into products of trees, graph-detectable embeddings for certain products, a full classification for self-embeddings of cycle-defined groups, the non-existence of universal receivers in each dimension, and a strong rigidity theorem for 2-flats in triangle-free non-star graphs.
What carries the argument
Branching conditions on the defining graph of a right-angled Artin group, which force quasiisometric embeddings to induce embeddings on the extension graphs.
If this is right
- Obstructions exist to the existence of quasiisometric embeddings into products of trees.
- If the direct product of n copies of the free group on two generators with m copies of the cycle group on five generators embeds quasiisometrically into a right-angled Artin group of the same dimension, this embedding is visible from the defining graph.
- All self-quasiisometric embeddings of right-angled Artin groups defined on cycles are classified.
- No n-dimensional right-angled Artin group is a universal receiver for quasiisometric embeddings of other n-dimensional right-angled Artin groups.
- Quasiisometric images of 2-flats are rigid in right-angled Artin groups defined by triangle-free graphs that are not stars.
Where Pith is reading between the lines
- The reduction from quasiisometric embeddings to extension graph embeddings may allow algorithmic detection of possible embeddings when the branching conditions hold.
- The same branching conditions could be checked on concrete families of graphs to produce further explicit non-embedding results.
- The rigidity obtained for 2-flats raises the question of whether analogous statements hold for higher-dimensional flats in the same classes of groups.
Load-bearing premise
The defining graphs must satisfy the branching conditions and the codomain must meet the mild conditions; without these the quasiisometric embedding need not induce an extension graph embedding.
What would settle it
A quasiisometric embedding between two right-angled Artin groups whose defining graphs satisfy the branching conditions, yet the induced map on extension graphs fails to be an embedding, would falsify the central implication.
Figures
read the original abstract
By introducing branching conditions on the defining graph, we prove a range of rigidity results for quasiisometric embeddings between right-angled Artin groups. The starting point for these is that, under mild conditions on the codomain, the branching conditions imply that a quasiisometric embedding induces an embedding between the associated extension graphs. Among other things, we: (1) provide obstructions to the existence of quasiisometric embeddings into products of trees; (2) prove that if the direct product $F_2^n\times A_{C_5}^m$ can be quasiisometrically embedded in a RAAG of the same dimension, then this can be seen from its defining graph; (3) classify all self--quasiisometric-embeddings of RAAGs defined on cycles; (4) show that no $n$--dimensional RAAG is a universal receiver for quasiisometric embeddings of $n$--dimensional RAAGs. We also establish a strong rigidity theorem for the quasiisometric images of 2--flats in RAAGs defined by triangle-free graphs that are not stars, generalising a theorem of Bestvina--Kleiner--Sageev.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces branching conditions on the defining graphs of right-angled Artin groups (RAAGs). It shows that, under mild conditions on the codomain RAAG, these conditions ensure a quasiisometric embedding between RAAGs induces an embedding of the associated extension graphs. This is applied to obtain: obstructions to quasiisometric embeddings into products of trees; a classification result implying that if F_2^n × A_{C_5}^m quasiisometrically embeds into a same-dimension RAAG then the embedding is visible from the defining graph; a complete classification of self-quasiisometric embeddings for RAAGs defined on cycles; a proof that no n-dimensional RAAG is a universal receiver for n-dimensional RAAGs; and a rigidity theorem for quasiisometric images of 2-flats in RAAGs defined by triangle-free non-star graphs, generalizing Bestvina-Kleiner-Sageev.
Significance. If the results hold, the work supplies new combinatorial tools for quasiisometric rigidity questions in RAAGs, a core area of geometric group theory. Strengths include the explicit combinatorial correspondence between defining-graph conditions and extension-graph geometry, the tracking of quasiisometry constants, the explicit statement of mild codomain conditions to exclude degeneracies, and the direct generalization of the Bestvina-Kleiner-Sageev 2-flat rigidity theorem. These features make the obstructions and classifications concrete and potentially applicable to further embedding problems.
minor comments (3)
- The abstract introduces 'branching conditions' and 'mild conditions on the codomain' without even a one-sentence indication of their content; while the body defines them, a brief parenthetical gloss in the abstract would improve accessibility for readers outside the immediate subfield.
- In the introduction and the statements of the four applications, cross-references to the precise theorem (presumably the main result on extension-graph embeddings) that is being invoked could be made more explicit, e.g., by numbering the main theorem and citing it directly after each application.
- The notation for extension graphs and the various graph-theoretic conditions (stars, links, etc.) should be collected in a single preliminary subsection or table to ensure uniform usage across the proofs of the applications.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the recognition of the combinatorial correspondence between branching conditions and extension-graph geometry, the tracking of quasiisometry constants, and the generalization of the Bestvina-Kleiner-Sageev theorem. The report recommends minor revision, but lists no specific major comments. We will address any minor editorial or expository points in the revised version.
Circularity Check
No significant circularity
full rationale
The paper introduces branching conditions on defining graphs as a new hypothesis and derives from them (under explicitly stated mild codomain conditions) that quasiisometric embeddings of RAAGs induce embeddings of extension graphs. This central implication is established combinatorially by relating the graphs' structure to the geometry of flats and links, using standard quasiisometry preservation properties without any self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. All listed applications (obstructions to tree products, cycle classifications, non-universality, and 2-flat rigidity generalizing Bestvina-Kleiner-Sageev) follow directly from this implication and the stated conditions, which are independent of the target conclusions and do not reduce by construction to the inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of right-angled Artin groups defined by graphs and of quasiisometric embeddings
- domain assumption Branching conditions on the defining graph imply that quasiisometric embeddings induce extension-graph embeddings under mild codomain conditions
Reference graph
Works this paper leans on
-
[1]
Abbott, Carolyn and Balasubramanya, Sahana H. and Osin, Denis , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/agt.2019.19.1747 , URL =
-
[2]
Abbott, Carolyn and Behrstock, Jason , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/ggd/722 , URL =
-
[3]
Abbott, Carolyn and Behrstock, Jason and Durham, Matthew G. , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2021 , PAGES =. doi:10.1090/btran/50 , URL =
-
[4]
Abbott, Carolyn and Behrstock, Jason and Russell, Jacob , TITLE =. J. Topol. Anal. , FJOURNAL =. 2025 , NUMBER =. doi:10.1142/S1793525323500516 , URL =
-
[5]
Abbott, Carolyn R. and Dahmani, Fran. Property. Math. Z. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00209-018-2094-1 , URL =
-
[6]
Abbott, Carolyn and Hagen, Mark and Petyt, Harry and Zalloum, Abdul , TITLE =. Anal. Geom. Metr. Spaces , FJOURNAL =. 2025 , NUMBER =. doi:10.1515/agms-2025-0027 , URL =
-
[7]
Abbott, Carolyn R. and Manning, Jason F. , TITLE =. Michigan Math. J. , FJOURNAL =. 2024 , NUMBER =. doi:10.1307/mmj/20216112 , URL =
-
[8]
and Ng, Thomas and Spriano, Davide and Gupta, Radhika and Petyt, Harry , TITLE =
Abbott, Carolyn R. and Ng, Thomas and Spriano, Davide and Gupta, Radhika and Petyt, Harry , TITLE =. Math. Z. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00209-023-03411-6 , URL =
-
[9]
Adyan, S. I. , TITLE =. Trudy Moskov. Mat. Ob. 1957 , PAGES =
work page 1957
-
[10]
Agol, Ian , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =
work page 2013
-
[11]
Available at http://aimpl.org/freebycyclic , YEAR =
AimPL , TITLE =. Available at http://aimpl.org/freebycyclic , YEAR =
-
[12]
Aleksandrov, A. D. , TITLE =. Dokl. Akad. Nauk SSSR , FJOURNAL =. 1970 , PAGES =
work page 1970
-
[13]
Aleksandrov, A. D. and Berestovski i, V. N. and Nikolaev, I. G. , TITLE =. Uspekhi Mat. Nauk , FJOURNAL =. 1986 , NUMBER =
work page 1986
-
[14]
Alexander, Stephanie B. and Bishop, Richard L. , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1990 , NUMBER =
work page 1990
-
[15]
Alibegovi\'. Translation lengths in. Geom. Dedicata , FJOURNAL =. 2002 , PAGES =. doi:10.1023/A:1019695003668 , URL =
-
[16]
Strongly contracting geodesics in outer space , JOURNAL =. 2011 , NUMBER =. doi:10.2140/gt.2011.15.2181 , URL =
-
[17]
Algom-Kfir, Yael and Hilion, Arnaud and Stark, Emily , TITLE =. Israel J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s11856-021-2191-4 , URL =
-
[18]
Alonso, Juan M. , TITLE =. Algorithms and classification in combinatorial group theory (. 1992 , MRCLASS =. doi:10.1007/978-1-4613-9730-4\_7 , URL =
-
[19]
Alonso, Juan M. and Bridson, Martin R. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1995 , NUMBER =. doi:10.1112/plms/s3-70.1.56 , URL =
-
[20]
Alvarez, Aur\'. Actions affines isom\'. Expo. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1016/j.exmath.2016.06.005 , URL =
-
[21]
and Aramayona, Javier and Shackleton, Kenneth J
Anderson, James W. and Aramayona, Javier and Shackleton, Kenneth J. , TITLE =. J. Group Theory , FJOURNAL =. 2007 , NUMBER =. doi:10.1515/JGT.2007.054 , URL =
-
[22]
Anderson, J. W. and Aramayona, J. and Shackleton, K. J. , TITLE =. In the tradition of. 2007 , MRCLASS =. doi:10.1090/conm/432/08294 , URL =
-
[23]
Andreev, P. D. , TITLE =. Sibirsk. Mat. Zh. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11202-006-0001-1 , URL =
-
[24]
Andrew, Naomi and Hughes, Sam and Kudlinska, Monika , TITLE =. Rocky Mountain J. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1216/rmj.2024.54.933 , URL =
-
[25]
Andrew, Naomi and Martino, Armando , TITLE =. J. Algebra , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.jalgebra.2022.03.033 , URL =
-
[26]
Commensurating endomorphisms of acylindrically hyperbolic groups and applications , JOURNAL =
Antol\'. Commensurating endomorphisms of acylindrically hyperbolic groups and applications , JOURNAL =. 2016 , NUMBER =. doi:10.4171/GGD/379 , URL =
-
[27]
Intersection properties of stable subgroups and bounded cohomology , JOURNAL =
Antol\'. Intersection properties of stable subgroups and bounded cohomology , JOURNAL =. 2019 , NUMBER =. doi:10.1512/iumj.2019.68.7592 , URL =
-
[28]
Aougab, Tarik , TITLE =. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/gt.2013.17.2855 , URL =
-
[29]
Aougab, Tarik and Durham, Matthew G. and Taylor, Samuel J. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/jlms.12071 , URL =
-
[30]
Aougab, Tarik and Taylor, Samuel J. , TITLE =. In the tradition of. 2017 , MRCLASS =. doi:10.1090/conm/696/14014 , URL =
-
[31]
Aramayona, Javier and Leininger, Christopher J. and Souto, Juan , TITLE =. Geom. Topol. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/gt.2009.13.2523 , URL =
-
[32]
Aramayona, Javier and Souto, Juan , TITLE =. Michigan Math. J. , FJOURNAL =. 2011 , NUMBER =. doi:10.1307/mmj/1320763044 , URL =
-
[33]
Aramayona, Javier and Souto, Juan , TITLE =. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/gt.2012.16.2285 , URL =
-
[34]
Ardila, Federico and Owen, Megan and Sullivant, Seth , TITLE =. Adv. in Appl. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.aam.2011.06.004 , URL =
-
[35]
Aronszajn, N. and Panitchpakdi, P. , TITLE =. Pacific J. Math. , FJOURNAL =. 1956 , PAGES =
work page 1956
-
[36]
Arzhantseva, Goulnara N. and Cashen, Christopher H. and Gruber, Dominik and Hume, David , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/GGD/498 , URL =
-
[37]
Arzhantseva, Goulnara N. and Cashen, Christopher H. and Tao, Jing , TITLE =. Pacific J. Math. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/pjm.2015.278.1 , URL =
-
[38]
and Wright, Nick and Zhang, Jiawen , TITLE =
Arzhantseva, Goulnara and Niblo, Graham A. and Wright, Nick and Zhang, Jiawen , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/agt.2018.18.493 , URL =
-
[39]
Avann, S. P. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1961 , PAGES =. doi:10.2307/2034206 , URL =
-
[40]
Baez, John C. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/S0273-0979-01-00934-X , URL =
-
[41]
Baik, Hyungryul and Seo, Donggyun and Shin, Hyunshik , TITLE =. Geom. Dedicata , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s10711-022-00736-0 , URL =
-
[42]
Balasubramanya, Sahana H. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.2145 , URL =
-
[43]
Balasubramanya, Sahana and Chesser, Marissa and Kerr, Alice and Mangahas, Johanna and Trin, Marie , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/proc/17280 , URL =
-
[44]
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 =
-
[45]
Ball, Keith and Carlen, Eric A. and Lieb, Elliott H. , TITLE =. Invent. Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01231769 , URL =
-
[46]
Ballmann, Werner , TITLE =. 1995 , PAGES =. doi:10.1007/978-3-0348-9240-7 , URL =
-
[47]
Ballmann, Werner , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971331 , URL =
-
[48]
Ballmann, Werner and Brin, Misha and Eberlein, Patrick , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971373 , URL =
-
[49]
Ballmann, Werner and Brin, Misha and Spatzier, Ralf , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1971303 , URL =
-
[50]
Geometric and probabilistic structures in dynamics , SERIES =
Ballmann, Werner and Buyalo, Sergei , TITLE =. Geometric and probabilistic structures in dynamics , SERIES =. 2008 , MRCLASS =. doi:10.1090/conm/469/09159 , URL =
-
[51]
Ballmann, Werner and Gromov, Mikhael and Schroeder, Viktor , TITLE =. 1985 , PAGES =. doi:10.1007/978-1-4684-9159-3 , URL =
-
[52]
Surveys on discrete and computational geometry , SERIES =
Bandelt, Hans-J\"urgen and Chepoi, Victor , TITLE =. Surveys on discrete and computational geometry , SERIES =. 2008 , ISBN =. doi:10.1090/conm/453/08795 , URL =
-
[53]
Bandelt, Hans-J. and Hedl\'. Median algebras , JOURNAL =. 1983 , NUMBER =. doi:10.1016/0012-365X(83)90173-5 , URL =
-
[54]
Bandelt, H.-J. and Vel, M. van de , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0097-3165(91)90044-H , URL =
-
[55]
Bartels, Arthur and Bestvina, Mladen , TITLE =. Invent. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00222-018-0834-9 , URL =
-
[56]
Bass, H. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1972 , PAGES =. doi:10.1112/plms/s3-25.4.603 , URL =
-
[57]
Basso, Giuliano , TITLE =. Enseign. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/lem/1043 , URL =
-
[58]
Baumslag, G. and Gersten, S. M. and Shapiro, M. and Short, H. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0022-4049(91)90139-S , URL =
-
[59]
Beckman, F. S. and Quarles, Jr., D. A. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1953 , PAGES =. doi:10.2307/2032415 , URL =
-
[60]
Behrstock, Jason , TITLE =. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/gt.2006.10.1523 , URL =
-
[61]
Behrstock, Jason and Charney, Ruth , TITLE =. Math. Ann. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00208-011-0641-8 , URL =
-
[62]
Combinatorial higher dimensional isoperimetry and divergence , JOURNAL =
Behrstock, Jason and Dru. Combinatorial higher dimensional isoperimetry and divergence , JOURNAL =. 2019 , NUMBER =. doi:10.1142/S1793525319500225 , URL =
-
[63]
Divergence, thick groups, and short conjugators , JOURNAL =
Behrstock, Jason and Dru. Divergence, thick groups, and short conjugators , JOURNAL =. 2014 , NUMBER =
work page 2014
-
[64]
Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity , JOURNAL =
Behrstock, Jason and Dru. Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity , JOURNAL =. 2009 , NUMBER =. doi:10.1007/s00208-008-0317-1 , URL =
-
[65]
Median structures on asymptotic cones and homomorphisms into mapping class groups , JOURNAL =
Behrstock, Jason and Dru. Median structures on asymptotic cones and homomorphisms into mapping class groups , JOURNAL =. 2011 , NUMBER =. doi:10.1112/plms/pdq025 , URL =
-
[66]
Behrstock, Jason and Hagen, Mark and Martin, Alexandre and Sisto, Alessandro , TITLE =. J. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/topo.12351 , URL =
-
[67]
Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/plms.12026 , URL =
-
[68]
Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.1731 , URL =
-
[69]
Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , TITLE =. Pacific J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/pjm.2019.299.257 , URL =
-
[70]
Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2020-0056 , URL =
-
[71]
Behrstock, Jason and Kleiner, Bruce and Minsky, Yair N. and Mosher, Lee , TITLE =. Geom. Topol. , FJOURNAL =. 2012 , NUMBER =. doi:10.2140/gt.2012.16.781 , URL =
-
[72]
Behrstock, Jason and Minsky, Yair N. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jlms/jdr027 , URL =
-
[73]
Behrstock, Jason A. and Minsky, Yair N. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2008 , NUMBER =. doi:10.4007/annals.2008.167.1055 , URL =
-
[74]
and Januszkiewicz, Tadeusz and Neumann, Walter D
Behrstock, Jason A. and Januszkiewicz, Tadeusz and Neumann, Walter D. , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2010 , NUMBER =. doi:10.4171/GGD/100 , URL =
-
[75]
Behrstock, Jason A. and Neumann, Walter D. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2012 , PAGES =. doi:10.1515/crelle.2011.143 , URL =
-
[76]
Bekka, Bachir and Harpe, Pierre de la and Valette, Alain , TITLE =. 2008 , PAGES =. doi:10.1017/CBO9780511542749 , URL =
-
[77]
Bell, G. and Dranishnikov, A. , TITLE =. Topology Appl. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.topol.2008.02.011 , URL =
-
[78]
Bell, G. and Dranishnikov, A. , TITLE =. Geom. Dedicata , FJOURNAL =. 2004 , PAGES =. doi:10.1023/B:GEOM.0000013843.53884.77 , URL =
-
[79]
Bell, Gregory C. and Fujiwara, Koji , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jlms/jdm090 , URL =
-
[80]
Benjamini, Itai and Shamov, Alexander , TITLE =. Anal. Geom. Metr. Spaces , FJOURNAL =. 2015 , NUMBER =. doi:10.1515/agms-2015-0018 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.