The centraliser invariant-field conjecture for commuting involutions

Let g=g0g1{\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 eg0Ne\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 eg0Ne\in{\mathfrak g}_0\cap\mathcal N,

trdegk((g1e))G0erkg.\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.

Sources & referencesView supporting material

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.