Recognition: 2 theorem links
· Lean TheoremFrom branching quasiflats to flats in CAT(0) cube complexes
Pith reviewed 2026-05-12 04:42 UTC · model grok-4.3
The pith
Under geometric branching conditions, quasiisometric embeddings between finite-dimensional CAT(0) cube complexes send flats to within finite Hausdorff distance of flats.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We study quasiisometric embeddings between finite-dimensional CAT(0) cube complexes and introduce geometric branching conditions under which flats in the domain are mapped within finite Hausdorff distance of flats in the target, yielding embeddings between graphs associated to their Tits boundaries. The same methods recover rigidity results for quasiisometric embeddings of symmetric spaces and Euclidean buildings of the same spherical type.
What carries the argument
geometric branching conditions on the quasiisometric embedding that force lower-rank flats to stay close to flats
If this is right
- Natural graphs associated with the Tits boundaries of the cube complexes admit embeddings induced by the original map.
- The conditions supply a key step toward classifying quasiisometric embeddings between right-angled Artin groups.
- Rigidity results previously known for quasiisometric embeddings of symmetric spaces are recovered by the same argument.
- Rigidity also holds for quasiisometric embeddings of Euclidean buildings of the same spherical type.
Where Pith is reading between the lines
- The branching conditions could be checked in other groups that act on CAT(0) cube complexes to detect when flats are preserved up to bounded error.
- If the conditions turn out to hold automatically for many natural embeddings, they would imply a broader flat-rigidity theorem inside finite-dimensional cube complexes.
- The method might extend to quasiisometries between other non-positively curved complexes where flats can be detected by branching data.
Load-bearing premise
The domain and target are finite-dimensional CAT(0) cube complexes and the quasiisometric embedding satisfies the stated geometric branching conditions.
What would settle it
A counterexample would be a quasiisometric embedding satisfying the branching conditions that sends some flat in the domain to a set remaining at infinite Hausdorff distance from every flat in the target.
Figures
read the original abstract
We study quasiisometric embeddings between finite-dimensional CAT(0) cube complexes. More specifically, we introduce geometric branching conditions under which flats in the domain, not necessarily of top rank, are mapped within finite Hausdorff distance of flats. As a consequence, one obtains embeddings between natural graphs associated with the Tits boundaries of those cube complexes. These results form a key step in understanding quasiisometric embeddings between right-angled Artin groups. In an appendix, we also explain how the same methods recover previously established rigidity results for quasiisometric embeddings of symmetric spaces and Euclidean buildings of the same spherical type.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces geometric branching conditions on quasiisometric embeddings between finite-dimensional CAT(0) cube complexes under which flats in the domain (not necessarily of top rank) are mapped within finite Hausdorff distance of flats in the target. This yields embeddings of the natural graphs associated to the Tits boundaries of the complexes. The results are positioned as a key step toward understanding quasiisometric embeddings of right-angled Artin groups; an appendix recovers known rigidity statements for symmetric spaces and Euclidean buildings of the same spherical type by verifying analogous branching conditions in those settings.
Significance. If the branching conditions are correctly formulated and the implications hold, the work supplies a new, verifiable criterion for controlling quasiflats in cube complexes. This directly advances the program of quasiisometric rigidity for right-angled Artin groups and demonstrates that the same technique recovers classical results for symmetric spaces and buildings, indicating broad applicability within geometric group theory.
minor comments (3)
- [§2–3] The definition of the geometric branching conditions (presumably in §2 or §3) would benefit from an explicit statement of the minimal set of hyperplane-crossing and direction-set controls required; the current phrasing leaves some ambiguity about whether the conditions are local or global.
- [Appendix] In the appendix, the verification that symmetric spaces and buildings satisfy the branching conditions is sketched rather than fully detailed; adding a short table or diagram summarizing the checked hyperplane configurations would improve readability.
- [§4] Notation for the Tits boundary graphs and their embeddings is introduced without a dedicated comparison to existing literature (e.g., the boundary graphs of Caprace–Sageev or Behrstock–Hagen); a brief remark on the relation would help situate the new embeddings.
Simulated Author's Rebuttal
We thank the referee for their positive summary, recognition of the significance of the branching conditions for controlling quasiflats, and recommendation of minor revision. No specific major comments appear in the report, so we have no individual points requiring detailed rebuttal or revision at this stage. We are pleased that the work is viewed as advancing the quasiisometric rigidity program for right-angled Artin groups while recovering classical results via the appendix.
Circularity Check
No circularity: direct construction from new branching conditions
full rationale
The paper introduces geometric branching conditions on quasiisometric embeddings between finite-dimensional CAT(0) cube complexes and proves that these force lower-rank flats to lie at finite Hausdorff distance from flats in the target, via control of hyperplane crossings and direction sets. This is a forward derivation from the stated assumptions to the claimed conclusion, with no reduction of any prediction or central result to a fitted parameter, self-definition, or load-bearing self-citation. The appendix verifies that the same conditions recover known rigidity statements for symmetric spaces and buildings, which is external validation rather than circularity. The derivation chain is self-contained against the paper's own definitions and does not rename or smuggle in prior results as new.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard properties of finite-dimensional CAT(0) cube complexes and quasiisometric embeddings
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce geometric branching conditions under which flats in the domain... are mapped within finite Hausdorff distance of flats... recover previously established rigidity results for quasiisometric embeddings of symmetric spaces and Euclidean buildings
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
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]
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 =
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.