Abstract:We classify all quotients $W/W_J$ up to isomorphism in Bruhat order, with $(W,S)$ a Coxeter system and $W_J$ a parabolic subgroup of $W$. In particular, the non-trivial isomorphisms fall into a small number of cases which are highly restricted; all have $W$ finite and $W_J$ a maximal parabolic. This has the immediate application of classifying dominant and antidominant blocks of category $\mathcal O$ for Kac-Moody algebras up to equivalence.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to classify the isomorphism problem of the quotient groups \(W/W_J\) of all Coxeter groups \(W\) under the Bruhat order, where \((W, S)\) is a Coxeter system and \(W_J\) is a parabolic subgroup of \(W\). Specifically, the author aims to determine which quotient groups are isomorphic under the Bruhat order and what the limiting conditions of these isomorphism relations are.
### Main contributions of the paper
1. **Generalization of finite Coxeter groups**:
- This research extends the results of Coulembier in [Co1], which was limited to the classification of quotient groups of finite Coxeter groups. This paper generalizes the classification to all Coxeter systems (including finite and infinite), thus enabling the classification of the category \(O\) blocks of Kac - Moody algebras to be generalized to more extensive Kac - Moody algebras.
2. **Main theorems**:
- **Theorem 1**: Let \(W\) and \(U\) be irreducible Coxeter groups with parabolic subgroups \(W_J\) and \(U_K\) respectively. Then \(W/W_J\) and \(U/U_K\) are isomorphic under the Bruhat order if and only if \((W, W_J)\) and \((U, U_K)\) belong to one of the following cases:
- \((I_2(n), A_1)\leftrightarrow(A_{n - 1}, A_{n - 2})\) for \(n\geq4\)
- \((B_n, B_{n - 1})\leftrightarrow(A_{2n - 1}, A_{2n - 2})\) for \(n\geq3\)
- \((B_n, B_{n - 1})\leftrightarrow(I_2(2n), A_1)\) for \(n\geq3\)
- \((B_n, A_{n - 1})\leftrightarrow(D_{n + 1}, A_n)\) for \(n\geq3\)
- \((H_3, H_2)\leftrightarrow(D_6, D_5)\) (where \(H_2 = I_2(5)\) )
- \(W = W_J\) and \(U = U_K\)
- There exists a group isomorphism \(W\rightarrow U\), and its restriction to \(W_J\rightarrow U_K\) is also an isomorphism.
- **Theorem 2**: For reducible Coxeter systems \((W, S)\) and \((U, T)\), and \(J\subseteq S\) and \(K\subseteq T\), then \(W/W_J\cong U/U_K\) if and only if there exist disjoint unions \(S = S_1\sqcup\cdots\sqcup S_n\) and \(T = T_1\sqcup\cdots\sqcup T_n\) such that each \((W_{S_i}, S_i)\) and \((U_{T_i}, T_i)\) are irreducible or trivial Coxeter systems, and \(W_{S_i}/W_{S_i}\cap J\cong U_{T_i}/U_{T_i}\cap K\) for all \(1\leq i\leq n\).
3. **Applications**:
- **Theorem 3**: Let \(\mathfrak{g}\supset\mathfrak{b}\supset\mathfrak{h}\) and \(\mathfrak{g}'\supset