Abstract:We study the nonnegative part \bar{G_{>0}} of the De Concini-Procesi compactification of a reductive algebraic group G, as defined by Lusztig. Using positivity properties of the canonical basis and parametrization of flag varieties, we will give an explicit description of \bar{G_{>0}}. This answers the question of Lusztig in [L4]. We will also prove that \bar{G_{>0}} has a cell decomposition which was conjectured by Lusztig.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper is mainly devoted to solving the total positivity problem in the De Concini - Procesi compactification of the algebraic group \(G\). Specifically, the author Xuhua He mainly studied the non - negative part \(G_{>0}\) of the semisimple algebraic group \(G\) in the De Concini - Procesi compactification \(\bar{G}\), and gave an explicit description of \(G_{>0}\). This answers the question raised by Lusztig in the literature [L4].
The following are the main objectives and contributions of the paper:
1. **Give an explicit description of \(G_{>0}\)**:
- The main purpose of the paper is to give an explicit description of \(G_{>0}\) in the De Concini - Procesi compactification \(\bar{G}\) (see Section 3.14). This solves the problem raised by Lusztig in the literature [L4, 9.4].
2. **Prove the cellular decomposition of \(G_{>0}\)**:
- As a corollary of the above result, the author proved that \(G_{>0}\) has a cellular decomposition structure, which was first conjectured by Lusztig.
To achieve these goals, the author carried out a detailed study through the following steps:
- **Understand the intersections in each layer**: Study the intersection \(Z_{J,\geq 0}=G_{>0}\cap Z_J\) of \(G_{>0}\) with each layer \(Z_J\).
- **Define and analyze \(Z_{J, >0}\)**: Define \(Z_{J, >0}\) as a specific subset of \(Z_{J,\geq 0}\), and similarly define \(G_{>0}\) and \(G_{\geq 0}\).
- **Use the canonical basis and flag manifold parameterization**: Use the positivity properties of the canonical basis and the parameterization of the flag manifold to give an explicit description of \(G_{>0}\).
In addition, the author also proved that \(Z_{J,\geq 0}\) is the closure of \(Z_{J, >0}\), and that \(Z_{J,\geq 0}\) and \(G_{>0}\) are contractible.
### Key formulas
Some of the key formulas involved in the paper include:
- \(U^{\pm}_{w,\geq 0}=\phi^{\pm}(\mathbb{R}^n_{\geq 0})\subset U^{\pm}\)
- \(U^{\pm}_{w, >0}=\phi^{\pm}(\mathbb{R}^n_{>0})\subset U^{\pm}\)
- \(T_{>0}\) is the subgroup of \(T\) generated by the elements \(\chi(a)\), where \(\chi\in Y\) and \(a\in\mathbb{R}_{>0}\)
- \(G_{\geq 0}\) is the subgroup \(U^+_{\geq 0}T_{>0}U^-_{\geq 0}=U^-_{\geq 0}T_{>0}U^+_{\geq 0}\)
- \(G_{>0}\) is the subgroup \(U^+_{>0}T_{>0}U^-_{>0}=U^-_{>0}T_{>0}U^+_{>0}\)
Through these formulas and detailed mathematical derivations, the author successfully solved the proposed problems and provided a solid foundation for subsequent research.