Abstract:We prove that, when $n$ goes to infinity, Kostant's problem has negative answer for almost all simple highest weight modules in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$.
What problem does this paper attempt to address?
This paper attempts to solve the asymptotic behavior of the Kostant problem in the symmetric group \(S_n\) and its involutory elements. Specifically, the authors explore whether almost all simple highest - weight modules are Kostant - negative when \(n\) tends to infinity. This involves two main conjectures:
1. **Conjecture 1**: Almost all elements of \(S_n\) are Kostant - negative, that is, when \(n \to \infty\), \(\frac{p_n}{n!} \to 0\).
2. **Conjecture 2**: Almost all involutory elements in \(S_n\) are Kostant - negative, that is, when \(n \to \infty\), \(\frac{p_{in}}{i_n} \to 0\).
### Research Background and Problem Description
The Kostant problem refers to whether for each simple highest - weight module \(L_w\), its corresponding universal enveloping algebra \(U(\mathfrak{sl}_n(\mathbb{C}))\) surjects onto the adjoint finite - linear endomorphism algebra of \(L_w\). If the answer is "yes", then \(L_w\) (or the corresponding permutation \(w\)) is called Kostant - positive; otherwise, it is Kostant - negative.
### Main Results
The main contribution of the paper is to prove the above two conjectures:
- **Theorem 3**: Verifies Conjecture 1, that is, when \(n \to \infty\), almost all elements of \(S_n\) are Kostant - negative.
- **Theorem 4**: Verifies Conjecture 2, that is, when \(n \to \infty\), almost all involutory elements in \(S_n\) are Kostant - negative.
### Key Observations
The authors prove these theorems through the following key observations:
- **Proposition 5**: If \(L_w\) is Kostant - positive, then \(w\) must be consecutively 2143 - avoiding. This means that \(w\) cannot form the 2143 pattern in any four consecutive positions.
### Proof Methods
1. **Proof of Theorem 3**: Using the methods of probability theory, it is proved that a randomly selected element of \(S_n\) is almost impossible to be consecutively 2143 - avoiding for a sufficiently large \(n\), and thus the conclusion is drawn.
2. **Proof of Theorem 4**: Due to the special properties of involutory elements, directly applying the proof method of Theorem 3 is no longer applicable. Therefore, the authors introduce a new set \(Q_n\), and by analyzing the properties of the elements in \(Q_n\), combined with the probability estimation of independent events, finally prove that almost all involutory elements are Kostant - negative.
### Conclusion
This paper solves important conjectures about the asymptotic behavior of the Kostant problem in the symmetric group \(S_n\) and its involutory elements through strict mathematical proofs, providing a solid theoretical basis for further research in related fields.