Abstract:Let $ (W,S)$ be a Coxeter system, and let $ w\in W$. Let $ [1,w] := \{ x\in W \mid x \leq_{R} w \} $ where $ \leq_{R}$ denotes the weak right order of $ (W,S)$. The element $ w$ is said to have the \emph{ancestor property} if there is a unique non-trivial involution of maximal length in the set $ [1,w]$. The ancestor property was first defined by Hart and Rowley in \cite{hart2025noteinvolutionprefixescoxeter} where they conjectured that all non-identity elements in a finite Coxeter system have the ancestor property. In an arbitrary Coxeter system $(W,S)$, we show that the ancestor property holds for any non-identity fully commutative element (see \cite{stembridge1996fully} for the definition of a fully commutative element). In particular, since any element of a right-angled Coxeter system is fully commutative, we show that the ancestor property holds for all non-identity elements of a right-angled Coxeter system. Lastly, we also provide an axiomatization of right-angled Coxeter systems as reflection systems with a reflection cocycle that obeys a certain property called the \emph{meet intersection condition}.
From: Harrison Gimenez [view email]
[v1]
Fri, 19 Jun 2026 05:12:19 UTC (14 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。