PreprintCC BY-NC-ND 4.0HAL
A cube complex for virtual Artin groups
Abstract
Let Ξ be a Coxeter graph, and let S be its vertex set. An elemental complex over Ξ is an abstract simplicial complex π on S that contains every pair {s, t} with s β t and ms,t β β. To each elemental complex π, we associate a cube complex Ξπ on which the virtual Artin group VA [Ξ] acts. We prove that Ξπ is connected, simply connected, and locally regular; that the action of VA[Ξ] on Ξπ is regular, cocompact, and by isometries; and that the stabilizers of cells are parabolic subgroups. We finally prove that Ξπ is CAT(0) if and only if π is a flag complex.
Related
- Right angled Artin groups and partial commutation, old and new
- Quasiisometric embeddings of right-angled Artin groups into products
- Quasi-Projectivity of Weighted Right-Angled Artin Groups
- Spherical and affine Artin groups, finite quotients, and the isomorphism problem
- Property Rβ for Artin and Coxeter groups whose outer automorphisms are length-preserving
BibTeX
@misc{mateos2026cube,
title = {{A cube complex for virtual Artin groups}},
author = {JosΓ© Galvez Mateos and Luis Paris},
howpublished = {HAL},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2607.24840},
eprint = {2607.24840},
archivePrefix = {arXiv},
url = {https://hal.science/hal-05703062v3},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - A cube complex for virtual Artin groups
AU - JosΓ© Galvez Mateos
AU - Luis Paris
PY - 2026
DA - 2026/09/21
PB - HAL
DO - 10.48550/arxiv.2607.24840
UR - https://hal.science/hal-05703062v3
AB - Let Ξ be a Coxeter graph, and let S be its vertex set. An elemental complex over Ξ is an abstract simplicial complex π on S that contains every pair {s, t} with s β t and m_s,t β β. To each elemental complex π, we associate a cube complex Ξ_π on which the virtual Artin group VA [Ξ] acts. We prove that Ξ_π is connected, simply connected, and locally regular; that the action of VA[Ξ] on Ξ_π is regular, cocompact, and by isometries; and that the stabilizers of cells are parabolic subgroups. We finally prove that Ξ_π is CAT(0) if and only if π is a flag complex.
ER -