Non-Abelian expansion of congruence KMS complexes

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Oppenheim, Izhar, Valentiner-Branth, Inga
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866914105147785216
author Oppenheim, Izhar
Valentiner-Branth, Inga
author_facet Oppenheim, Izhar
Valentiner-Branth, Inga
contents Coboundary expansion with non-Abelian coefficients is a strong version of high-dimensional expansion for simplicial complexes. One motivation for studying this notion is that it was recently shown to have deep connections to problems in theoretical computer science. However, very few examples of families of simplicial complexes with this type of expansion are known. Namely, prior to our work, the only known examples were quotients of symplectic buildings and a slight variation of the Kaufman-Oppenheim coset complexes construction associated with $\operatorname{SL}_{n} (\mathbb{F}_p [t])$. In this paper, we show that the Grave de Peralta and Valentiner-Branth constructions of KMS complexes have coboundary expansion with non-Abelian coefficients when it is performed with respect to congruence subgroups of Chevalley groups of classical type, i.e., of type $A_n, B_n, C_n$ and $D_n$. This gives four new sources of examples to this expansion phenomenon, thus significantly enriching our list of constructions.
format Preprint
id arxiv_https___arxiv_org_abs_2510_18351
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Non-Abelian expansion of congruence KMS complexes
Oppenheim, Izhar
Valentiner-Branth, Inga
Combinatorics
Group Theory
05C48, 20G44
Coboundary expansion with non-Abelian coefficients is a strong version of high-dimensional expansion for simplicial complexes. One motivation for studying this notion is that it was recently shown to have deep connections to problems in theoretical computer science. However, very few examples of families of simplicial complexes with this type of expansion are known. Namely, prior to our work, the only known examples were quotients of symplectic buildings and a slight variation of the Kaufman-Oppenheim coset complexes construction associated with $\operatorname{SL}_{n} (\mathbb{F}_p [t])$. In this paper, we show that the Grave de Peralta and Valentiner-Branth constructions of KMS complexes have coboundary expansion with non-Abelian coefficients when it is performed with respect to congruence subgroups of Chevalley groups of classical type, i.e., of type $A_n, B_n, C_n$ and $D_n$. This gives four new sources of examples to this expansion phenomenon, thus significantly enriching our list of constructions.
title Non-Abelian expansion of congruence KMS complexes
topic Combinatorics
Group Theory
05C48, 20G44
url https://arxiv.org/abs/2510.18351