Steinberg-map compatibility conjecture for symmetric-pair orbit embeddings

Assume an orbit embedding

ι:X/KX/K\iota:\mathfrak{X}/K\hookrightarrow\mathbb{X}/\mathbb{K}

and Steinberg maps

Φ±θ:X/KNg±θ/K,\mathbblΦ±θ:X/KNG±θ/K,\Phi^{\pm\theta}:\mathfrak{X}/K\to\mathcal{N}_{\mathfrak{g}}^{\pm\theta}/K, \qquad \mathbbl{\Phi}^{\pm\theta}:\mathbb{X}/\mathbb{K}\to\mathcal{N}_{\mathfrak{G}}^{\pm\theta}/\mathbb{K},

where ι±θ:Ng±θ/KNG±θ/K\iota^{\pm\theta}:\mathcal{N}_{\mathfrak{g}}^{\pm\theta}/K\to\mathcal{N}_{\mathfrak{G}}^{\pm\theta}/\mathbb{K} is the natural orbit map. Steinberg-map compatibility conjecture. The orbit embedding is compatible with these maps, namely the diagram

X/KΦ±θNg±θ/Kιι±θX/K\mathbblΦ±θNG±θ/K\begin{CD} \mathfrak{X}/K @>{\Phi^{\pm\theta}}>> \mathcal{N}_{\mathfrak{g}}^{\pm\theta}/K \\ @V{\iota}VV @VV{\iota^{\pm\theta}}V \\ \mathbb{X}/\mathbb{K} @>{\mathbbl{\Phi}^{\pm\theta}}>> \mathcal{N}_{\mathfrak{G}}^{\pm\theta}/\mathbb{K} \end{CD}

is commutative.

This compatibility would relate the Steinberg maps for the smaller symmetric pair to those for the ambient pair. The source presents it as a natural expectation, and no resolution is supplied, so it remains open.

Sources & referencesView supporting material

Primary source

Lucas Fresse and Kyo Nishiyama, “Overview on the theory of double flag varieties for symmetric pairs”, arXiv:2309.17085 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.