On the fully commutative elements of type \({\tilde{C}}\) and faithfulness of related towers (Q2397712)

The author investigates towers of Coxeter groups and Hecke algebras of type \(\tilde{C}\). Let \(W(\tilde{C}_{n})\) be the affine Coxeter group of \(\tilde{C}\)-type with \(n + 1\) generators. In this case, the author defines a group morphism from the Coxeter group \(W(\tilde{C}_{n-1})\) to \(W(\tilde{C_n})\) and proves the injectivity of this morphism. For the set \(W^C(\tilde{C}_n)\) of fully commutative elements in \(W(\tilde{C}_n)\), the author determines a normal form for elements in \(W^C(\tilde{C}_n)\). He defines two injections from the set \(W^C(\tilde{C}_n)\) into \(W^C(\tilde{C}_{n+1})\) and investigates their properties. Furthermore, he defines a tower of \(\tilde{C}\)-type Temperley-Lieb algebras and proves the faithfulness of the arrows of this tower.