Steinberg-map compatibility conjecture for symmetric-pair orbit embeddings
Assume an orbit embedding … and Steinberg maps … where ι±θ:Ng±θ/K→NG±θ/K\iota^{\pm\theta}:\mathcal{N}_{\mathfrak{g}}^{\pm\theta}/K\to\mathcal{N}_{\mathfrak{G}}^{\pm\theta}/\mathbb{K}ι±θ:Ng±θ/K→NG±θ/K is the natur…