Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-111/3/d/solution

If is finite, its finitely many reflecting hyperplanes divide into chambers, and the closures of these chambers are exactly the translates . Hence the Tits cone
equals .
Conversely, suppose is infinite and choose , so for every . If , then for some , and therefore
for every . Since is strictly negative on every positive root and strictly positive on every negative root, each must be negative. The length criterion gives
for every . This contradicts the stated fact that in an infinite Coxeter group the length of every element can be increased by multiplication on the right by some simple generator. Thus is not contained in , and .
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!