The maximal FAn subgroup conjecture for Coxeter groups

At least 20 years old · documented by

Let (W,S)(W,S) be a Coxeter system. A subgroup H⊂WH\subset W is maximal FA⁡n\operatorname{FA}_n if it has property FA⁡n\operatorname{FA}_n and is not properly contained in another subgroup of WW with property FA⁡n\operatorname{FA}_n. A special subgroup is (n+1)(n+1)-spherical if every special subgroup of it of rank at most n+1n+1 is finite.

Maximal FAn subgroup conjecture. A subgroup H⊂WH\subset W is maximal FA⁡n\operatorname{FA}_n if and only if

H=wAw−1H=wAw^{-1}

for some maximal (n+1)(n+1)-spherical special subgroup AA of WW and some w∈Ww\in W.

The conjecture is known for n=1n=1, by work of Mihalik and Tschantz. Its status in higher dimensions is not resolved in the supplied source.

References

Primary source

Angela Kubena Barnhill, “The FAn Conjecture for Coxeter groups”, arXiv:math/0509439 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.