On distinguished orbits of reductive representations

DOI10.1016/J.JALGEBRA.2013.07.031MaRDI QIDQ405906zbMATH OpenOpenAlexFDO

Publication date 8 September 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.4949

distinguished orbits moment map real reductive Lie groups real reductive representations ternary form

General ternary and quaternary quadratic forms; forms of more than two variables (11E20) Actions of groups on commutative rings; invariant theory (13A50) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Representations of Lie and linear algebraic groups over real fields: analytic methods (22E45)

Abstract: Let

G

be a real reductive Lie group and

a u : G l o n g r i g h t a r r o w G L (V)

be a real reductive representation of

G

with (restricted) moment map

m_{g g o} : V - 0 l o n g r i g h t a r r o w g g o

. In this work, we introduce the notion of "nice space" of a real reductive representation to study the problem of how to determine if a

G

-orbit is "distinguished" (i.e. it contains a critical point of the norm squared of

m_{g g o}

). We give an elementary proof of the well-known convexity theorem of Atiyah-Guillemin-Sternberg in our particular case and we use it to give an easy-to-check sufficient condition for a

G

-orbit of a element in a nice space to be distinguished. In the case where

G

is algebraic and

a u

is a rational representation, the above condition is also necessary (making heavy use of recent results of M. Jablonski), obtaining a generalization of Nikolayevsky's nice basis criterium. We also provide useful characterizations of nice spaces in terms of the weights of

a u

. Finally, some applications to ternary forms and minimal metrics on nilmanifolds are presented.

Review text

Let \(G\) be a real reductive Lie group and let \(\tau :G\to\text{GL}(V)\) be a real reductive representation of \(G\) with (restricted) moment map \(m_{\mathfrak{g}} :V\setminus\{0\}\to\mathfrak{g}\). The author introduces the notion of nice space of a real reductive representation to study the problem of how to determine if a \(G\)-orbit is distinguished (i.e. it contains a critical point of the norm squared of \(m_{\mathfrak{g}}\)). He gives an elementary proof of the well-known convexity theorem of Atiyah-Guillemin-Sternberg in the present context and uses it to give an easy-to-check sufficient condition for a \(G\)-orbit of an element in a nice space to be distinguished. In the case where \(G\) is algebraic and \(\tau\) is a rational representation, the above condition is also necessary (making heavy use of recent results of Michael Jablonski), obtaining a generalization of Nikolayevsky's nice basis criterion. The author also provides useful characterizations of nice spaces in terms of the weights of \(\tau\). Finally, some applications to ternary forms are presented.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On distinguished orbits of reductive representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q405906)