Product subcomplexes and intersection complexes of weakly special square complexes
Abstract
We define product subcomplexes and intersection complexes for compact nonpositively curved square complexes and CAT(0) square complexes. Product subcomplexes are defined as equivalence classes of local isometries from products of graphs with embedded coordinate fibers. Using their factorizations, we give a common definition of the intersection complex, extending the constructions in S. Oh's paper "Quasi-isometry invariants of weakly special square complexes" (Topology and its Applications 307 (2022)). Cubical automorphisms induce actions on these complexes. We define morphisms by comparing compatible elevations of core-map labels and their factorizations along face chains. For a compact two-sided weakly special square complex, we prove that its intersection complex is canonically isomorphic to the deck quotient of the intersection complex of its universal cover. Under a simplicity hypothesis, this recovers the image-defined reduced intersection complex in that paper, and product-base groups are the full simplex stabilizers. We also prove that quasi-isometries between universal covers of compact two-sided weakly special square complexes induce isomorphisms of their intersection complexes in this sense, and give finite counterexamples explaining why images alone do not determine the quotient in general.
Related
- Intersection Product Formulas and Integral Dependence
- Proving the optimality of the product construction for the intersection--union problem
- Intermediate subalgebras of cross-product von Neumann algebras arising from weakly compact actions
- Extension of valuation rings as limits of complete intersection algebras
- Counting curves with bounded intersection
BibTeX
@misc{oh2026product,
title = {{Product subcomplexes and intersection complexes of weakly special square complexes}},
author = {Sangrok Oh},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.25140},
eprint = {2609.25140},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.25140},
}
RIS
TY - UNPB
TI - Product subcomplexes and intersection complexes of weakly special square complexes
AU - Sangrok Oh
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.25140
UR - https://arxiv.org/abs/2609.25140
AB - We define product subcomplexes and intersection complexes for compact nonpositively curved square complexes and CAT(0) square complexes. Product subcomplexes are defined as equivalence classes of local isometries from products of graphs with embedded coordinate fibers. Using their factorizations, we give a common definition of the intersection complex, extending the constructions in S. Oh's paper "Quasi-isometry invariants of weakly special square complexes" (Topology and its Applications 307 (2022)). Cubical automorphisms induce actions on these complexes. We define morphisms by comparing compatible elevations of core-map labels and their factorizations along face chains. For a compact two-sided weakly special square complex, we prove that its intersection complex is canonically isomorphic to the deck quotient of the intersection complex of its universal cover. Under a simplicity hypothesis, this recovers the image-defined reduced intersection complex in that paper, and product-base groups are the full simplex stabilizers. We also prove that quasi-isometries between universal covers of compact two-sided weakly special square complexes induce isomorphisms of their intersection complexes in this sense, and give finite counterexamples explaining why images alone do not determine the quotient in general.
ER -