Recognition: unknown
Quasiisometric embeddings between right-angled Artin groups: flexibility
Pith reviewed 2026-05-14 18:56 UTC · model grok-4.3
The pith
Right-angled Artin groups on cycle graphs admit quasiisometric embeddings even without subgroup relations.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We give a complete characterisation of when the right-angled Artin group on one cycle graph can be quasiisometrically embedded in the right-angled Artin group on another cycle graph. In particular, we find infinitely many instances of quasiisometric embeddings where there is no subgroup relation. This contrasts with the fact that such groups are quasiisometrically rigid. More generally, we construct quasiisometric embeddings between graph products of finite or cyclic groups whose underlying graphs are cycles. As a special case, we obtain exotic quasiisometric embeddings of the hyperbolic plane in all right-angled Artin groups whose defining graph contains an induced cycle of length greater t
What carries the argument
Cycle graphs as defining graphs for the Artin groups or graph products, together with combinatorial criteria that decide when one such group quasiisometrically embeds into another.
If this is right
- Quasiisometric embeddings between right-angled Artin groups on cycles exist in cases with no subgroup relation.
- The hyperbolic plane quasiisometrically embeds into every right-angled Artin group containing an induced cycle of length at least five.
- Graph products of finite or cyclic groups over cycle graphs admit quasiisometric embeddings beyond what subgroup relations would allow.
- Quasiisometry between these groups is strictly more flexible than subgroup inclusion.
Where Pith is reading between the lines
- The same flexibility may appear for graph products whose underlying graphs are not cycles but still have enough induced long cycles.
- Quasiisometric invariants for right-angled Artin groups may need to track cycle lengths more finely than subgroup lattices do.
- Similar characterisations could be attempted for other families of groups defined by graphs, such as right-angled Coxeter groups.
Load-bearing premise
The underlying graphs are cycles and the vertex groups are finite or cyclic, so that the proofs can use the combinatorial structure of these specific graphs.
What would settle it
A pair of cycle lengths m and n for which the stated characterization predicts a quasiisometric embedding but none exists, or for which it predicts none but one is found.
Figures
read the original abstract
We give a complete characterisation of when the right-angled Artin group on one cycle graph can be quasiisometrically embedded in the right-angled Artin group on another cycle graph. In particular, we find infinitely many instances of quasiisometric embeddings where there is no subgroup relation. This contrasts with the fact that such groups are quasiisometrically rigid. More generally, we construct quasiisometric embeddings between graph products of finite or cyclic groups whose underlying graphs are cycles. As a special case, we obtain exotic quasiisometric embeddings of the hyperbolic plane in all right-angled Artin groups whose defining graph contains an induced cycle of length greater than four.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript gives a complete characterization of quasiisometric embeddings between right-angled Artin groups whose defining graphs are cycles, including infinitely many examples with no subgroup relation; it further constructs such embeddings for graph products of finite or cyclic groups over cycle graphs and obtains exotic quasiisometric embeddings of the hyperbolic plane into RAAGs whose defining graphs contain an induced cycle of length greater than four.
Significance. If the stated characterization and constructions hold, the work supplies explicit, flexible examples of quasiisometric embeddings that contrast with the known quasiisometric rigidity of these groups, thereby clarifying the boundary between rigidity and flexibility phenomena in the quasiisometry classification of RAAGs and graph products.
major comments (1)
- [§3 (main characterization theorem)] The central characterization (presumably Theorem 1.1 or the main result in §3) asserts a complete list of conditions on the cycle lengths and vertex-group orders; without the detailed combinatorial arguments or the case analysis in the proof, it is impossible to confirm that every pair of cycles satisfying the stated numerical conditions indeed admits a quasiisometric embedding and that no other pairs do.
minor comments (2)
- [§2] Notation for the cycle graphs C_n and the associated RAAGs A(C_n) is introduced without an explicit reference to the standard definition of right-angled Artin groups; a short reminder in §2 would improve readability.
- [Introduction] The generalization to graph products is stated in the abstract and introduction but the precise statement (including the allowed vertex groups) appears only later; moving the general statement to the introduction would clarify the scope.
Simulated Author's Rebuttal
We thank the referee for their careful reading and positive evaluation of the significance of our results. We address the major comment below and will revise the manuscript to improve the clarity and detail of the proof.
read point-by-point responses
-
Referee: [§3 (main characterization theorem)] The central characterization (presumably Theorem 1.1 or the main result in §3) asserts a complete list of conditions on the cycle lengths and vertex-group orders; without the detailed combinatorial arguments or the case analysis in the proof, it is impossible to confirm that every pair of cycles satisfying the stated numerical conditions indeed admits a quasiisometric embedding and that no other pairs do.
Authors: We agree that the proof of the main characterization in §3 would benefit from expanded detail to facilitate verification. In the revised version, we will include a more thorough case-by-case combinatorial analysis of the conditions on cycle lengths and vertex-group orders. This will explicitly verify both the existence of quasiisometric embeddings (via explicit constructions) when the numerical conditions hold and the non-existence of such embeddings otherwise, supported by additional intermediate lemmas and diagrams. revision: yes
Circularity Check
No significant circularity in the characterisation and constructions
full rationale
The paper delivers an explicit combinatorial characterisation of quasiisometric embeddings between RAAGs on cycle graphs, together with direct constructions for graph products of cyclic or finite groups. These arguments rest on the combinatorial structure of the underlying graphs and standard facts about RAAGs and graph products; no step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation is therefore self-contained and does not rely on circular reductions.
Axiom & Free-Parameter Ledger
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 =
1957
-
[10]
Agol, Ian , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =
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 =
1970
-
[13]
Aleksandrov, A. D. and Berestovski i, V. N. and Nikolaev, I. G. , TITLE =. Uspekhi Mat. Nauk , FJOURNAL =. 1986 , NUMBER =
1986
-
[14]
and Bishop, Richard L
Alexander, Stephanie B. and Bishop, Richard L. , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1990 , NUMBER =
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]
and Panitchpakdi, P
Aronszajn, N. and Panitchpakdi, P. , TITLE =. Pacific J. Math. , FJOURNAL =. 1956 , PAGES =
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]
Sharp uniform convexity and smoothness inequalities for trace norms,
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 =
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.