The centraliser invariant-field conjecture for commuting involutions

About 14 years old · traced to

Let g=g0⊕g1{\mathfrak g}={\mathfrak g}_0\oplus{\mathfrak g}_1 be the decomposition associated with a commuting involution, let N\mathcal N be the nilpotent cone in g{\mathfrak g}, and let e∈g0∩Ne\in{\mathfrak g}_0\cap\mathcal N. Write g0e{\mathfrak g}_0^e and g1e{\mathfrak g}_1^e for the centralisers of ee in the respective summands. Let G0eG_0^e be the connected subgroup of G0G_0 with Lie algebra g0e{\mathfrak g}_0^e, acting on (g1e)∗({\mathfrak g}_1^e)^*, and let k((g1e)∗)G0e\Bbbk(({\mathfrak g}_1^e)^*)^{G_0^e} denote the field of invariant rational functions.

Centraliser invariant-field conjecture. For any e∈g0∩Ne\in{\mathfrak g}_0\cap\mathcal N,

trdeg⁡k((g1e)∗)G0e≤rk⁡g.\operatorname{trdeg}\Bbbk(({\mathfrak g}_1^e)^*)^{G_0^e}\leq\operatorname{rk}{\mathfrak g}.

This property would yield a case-free proof of the strange inequality for commuting involutions by combining Rosenlicht's theorem with the trivial action of the one-dimensional unipotent group generated by a nonzero nilpotent centraliser element. The source presents it as conjectural and gives no resolution.

References

Primary source

Dmitri I. Panyushev, “Commuting involutions of Lie algebras, commuting varieties, and simple Jordan algebras”, arXiv:1210.3785 (2012).

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.