Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.37641

Algebraic fiberings of right-angled Coxeter groups on bipartite cone graphs

Kasia Jankiewicz·Shayan Miri
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study systems of moves and states in the sense of [JNW21] on certain bipartite graphs, and the associated homomorphisms from the commutator subgroups of right-angled Coxeter groups to $\mathbb Z$. We give examples of right-angled Coxeter groups whose graphs do not satisfy the legal system criterion, but contain finite index right-angled Coxeter subgroups whose graphs admit legal systems. We also provide a family of examples of graphs without legal systems, where no sequence of the considered graph operations yields a graph with a legal system. Moreover, we show that for a bipartite graph and an orbit of non-empty states under the bipartite system of moves, the associated homomorphism from the commutator subgroup of the right-angled Coxeter group to $\mathbb Z$ has finitely generated kernel if and only if the system is legal.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kasia Jankiewicz, Shayan Miri. 2026-10-27. Algebraic fiberings of right-angled Coxeter groups on bipartite cone graphs. https://arxiv.org/abs/2610.37641

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The double coset problem for parabolic subgroups of braid groups

We solve the double coset problem for arbitrary parabolic subgroups of the $n$-strand braid group $B_n$, by reducing it to the simultaneous conjugacy problem in the larger group $B_{n+1}$. The resulting decision algorithm is uniform in the braid index and the supplied subgroup generators. We also formulate the reduction for general group embeddings, and apply it to additional commuting constraints, several other spherical Artin types, and finite direct products.

math.GR↗
arXiv2026

Matrix Waring Problem-III

Let $n,k$ be positive integers and $q$ be a prime power. We prove that there exists a real constant $C_k$ depending only on $k$ such that if $ \# M_n(\mathbb{F}_q) > C_k$ then every element in $M_n(\mathbb{F}_q)$ is a sum of two $k$th powers, proving Larsen's conjecture.

math.GR↗
arXiv2026

Failure of the congruence Hasse principle for commutators in orientable surface groups

Ghosh, Meiri and Sarnak showed that the commutator equation over $\mathrm{SL}_2(\mathbb{Z})$ satisfies a profinite local to global principle, and that for a prime $\ell\equiv\pm1$ mod $5$ it fails for $\mathrm{SL}_2(\mathbb{Z}[1/\ell])$ with a reciprocity obstruction. We extend the failure to surface groups. For the genus-$2$ surface group $Γ_2$ we construct an explicit representation $ρ:Γ_2\to\mathrm{SL}_2(\mathcal{O}_{K,S})$, where $K=\mathbb{Q}(\sqrt{5})$ and $\mathcal{O}_{K,S}=\mathbb{Z}[\frac{1+\sqrt{5}}{2},\frac{1}{10}]$, whose quotients modulo the maximal ideals are the full groups $\mathrm{SL}_2(\mathbb{F}_q)$ except in residue characteristic $3$, where the quotient has order $24$. For every $k\ge2$ the word $[a_1,b_1]^k$ is not a commutator in $Γ_2$, while its image is a commutator in every one of these quotients. The same holds for every surface group $Γ_g$ with $g\ge2$.

math.GR↗