Steinberg-map compatibility conjecture for symmetric-pair orbit embeddings

About 3 years old · traced to

Assume an orbit embedding

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

and Steinberg maps

Φ±θ:X/K→Ng±θ/K,\mathbblΦ±θ:X/K→NG±θ/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±θ/K→NG±θ/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.

References

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.