Abstract:For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symplectic (type C) and odd-orthogonal (type B) partial flag varieties for which Lusztig's total positivity coincides with Plucker positivity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether Lusztig's total positivity is consistent with Plücker's total positivity on the generalized partial flag manifolds of classical Lie types (especially the symplectic group \( \text{Sp}_{2n} \) and the odd orthogonal group \( \text{SO}_{2n + 1} \)). Specifically, the authors aim to characterize the partial flag manifolds of these groups such that on such manifolds, Lusztig's total positivity coincides with the total positivity defined by Plücker coordinates.
### Background
- **Lusztig's total positivity**: Lusztig defined total positivity on the algebraic group \( G \) and its partial flag manifolds \( G/P \) through generators.
- **Plücker's total positivity**: On the Grassmann manifold, Plücker coordinates can be used to define total positivity.
- **Known results**: For the Grassmann manifold and some partial flag manifolds, Lusztig's total positivity is consistent with Plücker's total positivity.
### Research objectives
- **Symplectic group \( \text{Sp}_{2n} \)**: For the partial flag manifold \( \text{SpFl}_K^{2n} \) of the symplectic group, the authors hope to find the subset \( K \) such that Lusztig's total positivity is consistent with Plücker's total positivity.
- **Odd orthogonal group \( \text{SO}_{2n+1} \)**: Similarly, for the partial flag manifold \( \text{SOFl}_K^{2n+1} \) of the odd orthogonal group, the authors hope to find the subset \( K \) such that Lusztig's total positivity is consistent with Plücker's total positivity.
### Main conclusions
- **Symplectic group \( \text{Sp}_{2n} \)**: For \( n\geq2 \) and subset \( K\subseteq[n] \), the following conditions are equivalent:
1. \( \text{SpFl}_K^{2n}>0 = \text{SpFl}_\Delta^+K;2n \)
2. \( \text{SpFl}_K^{2n}\geq0 = \text{SpFl}_\Delta^0K;2n \)
3. \( K = \{k, k + 1,\ldots, n\} \) for some \( 1\leq k\leq n \)
- **Odd orthogonal group \( \text{SO}_{2n+1} \)**: For \( n\geq3 \) and subset \( K\subseteq[n] \), the following conditions are equivalent:
1. \( \text{SOFl}_K^{2n+1}>0 = \text{SOFl}_\Delta^+K;2n+1 \)
2. \( \text{SOFl}_K^{2n+1}\geq0 = \text{SOFl}_\Delta^0K;2n+1 \)
3. \( K = \{k, k + 1,\ldots, n\} \) for some \( 1\leq k\leq n \)
When \( n = 2 \), the above conditions hold for all partial flag manifolds \( \text{SOFl}_K^5 \).
### Methods
- **General condition**: The authors identified a general condition (see (†) in Definition 4.3), which implies (1) => (2).
- **Strengthened condition**: By further strengthening this condition (see (†1')), it can be proved that (3) => (1) holds for the case of \( K = [n] \).
- **Counterexample**: For \( \text{SO}_{2n} \) (type D), there is no pinning that satisfies the general condition (†) (see Proposition 6.1).
### Conclusions