Annals of Global Analysis and Geometry, volume 67, issue 2, publication number 8

Projective representations of real semisimple Lie groups and the gradient map

Publication typeJournal Article
Publication date2025-02-13
scimago Q2
SJR0.587
CiteScore1.2
Impact factor0.6
ISSN0232704X, 15729060
Abstract

Let G be a real noncompact semisimple connected Lie group and let $$\rho : G \longrightarrow \text {SL}(V)$$ ρ : G SL ( V ) be a faithful irreducible representation on a finite-dimensional vector space V over $$\mathbb {R}$$ R . We suppose that there exists a scalar product $$\texttt {g}$$ g on V such that $$\rho (G)=K\exp ({\mathfrak {p}})$$ ρ ( G ) = K exp ( p ) , where $$K=\text {SO}(V,\texttt {g})\cap \rho (G)$$ K = SO ( V , g ) ρ ( G ) and $${\mathfrak {p}}=\text {Sym}_o (V,\texttt {g})\cap (\text {d} \rho )_e ({\mathfrak {g}})$$ p = Sym o ( V , g ) ( d ρ ) e ( g ) . Here, $${\mathfrak {g}}$$ g denotes the Lie algebra of G, $$\text {SO}(V,\texttt {g})$$ SO ( V , g ) denotes the connected component of the orthogonal group containing the identity element and $$\text {Sym}_o (V,\texttt {g})$$ Sym o ( V , g ) denotes the set of symmetric endomorphisms of V with trace zero. In this paper, we study the projective representation of G on $${\mathbb {P}}(V)$$ P ( V ) arising from $$\rho $$ ρ . There is a corresponding G-gradient map $$\mu _{\mathfrak {p}}:{\mathbb {P}}(V) \longrightarrow {\mathfrak {p}}$$ μ p : P ( V ) p . Using G-gradient map techniques, we prove that the unique compact G orbit $${\mathcal {O}}$$ O inside the unique compact $$U^\mathbb {C}$$ U C orbit $${\mathcal {O}}'$$ O in $${\mathbb {P}} (V^\mathbb {C})$$ P ( V C ) , where U is the semisimple connected compact Lie group with Lie algebra $${\mathfrak {k}} \oplus {\textbf {i}} {\mathfrak {p}}\subseteq \mathfrak {sl}(V^\mathbb {C})$$ k i p sl ( V C ) , is the set of fixed points of an anti-holomorphic involutive isometry of $${\mathcal {O}}'$$ O and so a totally geodesic Lagrangian submanifold of $${\mathcal {O}}'$$ O . Moreover, $${\mathcal {O}}$$ O is contained in $${\mathbb {P}}(V)$$ P ( V ) . The restriction of the function $$\mu _{\mathfrak {p}}^\beta (x):=\langle \mu _{\mathfrak {p}}(x),\beta \rangle $$ μ p β ( x ) : = μ p ( x ) , β , where $$\langle \cdot , \cdot \rangle $$ · , · is an $$\text {Ad}(K)$$ Ad ( K ) -invariant scalar product on $${\mathfrak {p}}$$ p , to $${\mathcal {O}}$$ O achieves the maximum on the unique compact orbit of a suitable parabolic subgroup and this orbit is connected. We also describe the irreducible representations of parabolic subgroups of G in terms of the facial structure of the convex body given by the convex envelope of the image $$\mu _{\mathfrak {p}}({\mathbb {P}}(V))$$ μ p ( P ( V ) ) .

Biliotti L., Windare O.J.
2023-11-08 citations by CoLab: 2 Abstract  
Let [Formula: see text] be a Kähler manifold and let [Formula: see text] be a compact connected Lie group with Lie algebra [Formula: see text] acting on [Formula: see text] and preserving [Formula: see text]. We assume that the [Formula: see text]-action extends holomorphically to an action of the complexified group [Formula: see text] and the [Formula: see text]-action on [Formula: see text] is Hamiltonian. Then there exists a [Formula: see text]-equivariant momentum map [Formula: see text]. If [Formula: see text] is a closed subgroup such that the Cartan decomposition [Formula: see text] induces a Cartan decomposition [Formula: see text] where [Formula: see text], [Formula: see text] and [Formula: see text] is the Lie algebra of [Formula: see text], there is a corresponding gradient map [Formula: see text]. If [Formula: see text] is a [Formula: see text]-invariant compact and connected real submanifold of [Formula: see text] we may consider [Formula: see text] as a mapping [Formula: see text] Given an [Formula: see text]-invariant scalar product on [Formula: see text], we obtain a Morse like function [Formula: see text] on [Formula: see text]. We point out that, without the assumption that [Formula: see text] is a real analytic manifold, the Lojasiewicz gradient inequality holds for [Formula: see text]. Therefore, the limit of the negative gradient flow of [Formula: see text] exists and it is unique. Moreover, we prove that any [Formula: see text]-orbit collapses to a single [Formula: see text]-orbit and two critical points of [Formula: see text] which are in the same [Formula: see text]-orbit belong to the same [Formula: see text]-orbit. We also investigate convexity properties of the gradient map [Formula: see text] in the Abelian case. In particular, we study two-orbit variety [Formula: see text] and we investigate topological and cohomological properties of [Formula: see text].
BILIOTTI L., WINDARE O.J.
Nagoya Mathematical Journal scimago Q1 wos Q2
2021-12-14 citations by CoLab: 1 Abstract  
AbstractWe study the action of a real reductive group G on a real submanifold X of a Kähler manifold Z. We suppose that the action of a compact connected Lie group U with Lie algebra $\mathfrak {u}$ extends holomorphically to an action of the complexified group $U^{\mathbb {C}}$ and that the U-action on Z is Hamiltonian. If $G\subset U^{\mathbb {C}}$ is compatible, there exists a gradient map $\mu _{\mathfrak p}:X \longrightarrow \mathfrak p$ where $\mathfrak g=\mathfrak k \oplus \mathfrak p$ is a Cartan decomposition of $\mathfrak g$ . In this paper, we describe compact orbits of parabolic subgroups of G in terms of the gradient map $\mu _{\mathfrak p}$ .
Biliotti L.
2021-10-16 citations by CoLab: 1 Abstract  
Let $$(Z,\omega )$$ be a connected Kähler manifold with an holomorphic action of the complex reductive Lie group $$U^\mathbb {C}$$ , where U is a compact connected Lie group acting in a hamiltonian fashion. Let G be a closed compatible Lie group of $$U^\mathbb {C}$$ and let M be a G-invariant connected submanifold of Z. Let $$x\in M$$ . If G is a real form of $$U^\mathbb {C}$$ , we investigate conditions such that $$G\cdot x$$ compact implies $$U^\mathbb {C}\cdot x$$ is compact as well. The vice-versa is also investigated. We also characterize G-invariant real submanifolds such that the norm-square of the gradient map is constant. As an application, we prove a splitting result for real connected submanifolds of $$(Z,\omega )$$ generalizing a result proved in Gori and Podestà (Ann Global Anal Geom 26: 315–318, 2004), see also Bedulli and Gori (Results Math 47: 194–198, 2005), Biliotti (Bull Belg Math Soc Simon Stevin 16: 107–116 2009).
Kobert T., Scheiderer C.
Manuscripta Mathematica scimago Q2 wos Q3
2021-08-18 citations by CoLab: 4 Abstract  
Let K be a compact Lie group and V a finite-dimensional representation of K. The orbitope of a vector $$x\in V$$ is the convex hull $${\mathscr {O}}_x$$ of the orbit Kx in V. We show that if V is polar then $${\mathscr {O}}_x$$ is a spectrahedron, and we produce an explicit linear matrix inequality representation. We also consider the coorbitope $${\mathscr {O}}_x^o$$ , which is the convex set polar to $${\mathscr {O}}_x$$ . We prove that $${\mathscr {O}}_x^o$$ is the convex hull of finitely many K-orbits, and we identify the cases in which $${\mathscr {O}}_x^o$$ is itself an orbitope. In these cases one has $${\mathscr {O}}_x^o=c\cdot {\mathscr {O}}_x$$ with $$c>0$$ . Moreover we show that if x has “rational coefficients” then $${\mathscr {O}}_x^o$$ is again a spectrahedron. This provides many new families of doubly spectrahedral orbitopes. All polar orbitopes that are derived from classical semisimple Lie algebras can be described in terms of conditions on singular values and Ky Fan matrix norms.
Vergne M., Walter M.
Journal of Symplectic Geometry scimago Q1 wos Q3
2017-11-28 citations by CoLab: 10
Biliotti L., Ghigi A., Heinzner P.
Israel Journal of Mathematics scimago Q1 wos Q2
2016-04-15 citations by CoLab: 13 Abstract  
We study a compact invariant convex set E in a polar representation of a compact Lie group. Polar representations are given by the adjoint action of K on p, where K is a maximal compact subgroup of a real semisimple Lie group G with Lie algebra g = k ⊕ p. If a ⊂ p is a maximal abelian subalgebra, then P = E ∩ a is a convex set in a. We prove that up to conjugacy the face structure of E is completely determined by that of P and that a face of E is exposed if and only if the corresponding face of P is exposed. We apply these results to the convex hull of the image of a restricted1 momentum map.
Biliotti L., Ghigi A., Heinzner P.
2013-08-30 citations by CoLab: 11
Biliotti L., Ghigi A.
American Journal of Mathematics scimago Q1 wos Q1
2013-02-03 citations by CoLab: 14 Abstract  
Let $G$ be a complex semisimple Lie group, $K$ a maximal compact subgroup and $\tau$ an irreducible representation of $K$ on $V$. Denote by $M$ the unique closed orbit of $G$ in $\Bbb{P}(V)$ and by $\cal{O}$ its image via the moment map. For any measure $\gamma$ on $M$ we construct a map $\Psi_\gamma$ from the Satake compactification of $G/K$ (associated to $V$) to the Lie algebra of $K$. If $\gamma$ is the $K$-invariant measure, then $\Psi_\gamma$ is a homeomorphism of the Satake compactification onto the convex envelope of $\cal{O}$. For a large class of measures the image of $\Psi_\gamma$ is the convex envelope. As an application we get sharp upper bounds for the first eigenvalue of the Laplacian on functions for an arbitrary K\ahler metric on a Hermitian symmetric space.
Jablonski M.
2012-10-01 citations by CoLab: 10
Sanyal R., Sottile F., Sturmfels B.
Mathematika scimago Q1 wos Q3
2011-06-29 citations by CoLab: 60
Heinzner P., Schützdeller P.
Advances in Mathematics scimago Q1 wos Q1
2010-10-01 citations by CoLab: 14 Abstract  
We consider the action of a real reductive group G on a Kähler manifold Z which is the restriction of a holomorphic action of a complex reductive group H . We assume that the action of a maximal compact subgroup U of H is Hamiltonian and that G is compatible with a Cartan decomposition of H . We have an associated gradient map μ p : Z → p where g = k ⊕ p is the Cartan decomposition of g . For a G -stable subset Y of Z we consider convexity properties of the intersection of μ p ( Y ) with a closed Weyl chamber in a maximal abelian subspace a of p . Our main result is a Convexity Theorem for real semi-algebraic subsets Y of Z = P ( V ) where V is a unitary representation of U .
Gichev V.M.
2010-10-01 citations by CoLab: 6 Abstract  
The paper contains a characterization of compact groups $G\subseteq\GL(V)$, where $V$ is a finite dimensional real vector space, which have the following property \SP{}: the family of convex hulls of $G$-orbits is a semigroup with respect to the Minkowski addition. If $G$ is finite, then \SP{} holds if and only if $G$ is a Coxeter group; if $G$ is connected then \SP{} is true if and only if $G$ is polar. In general, $G$ satisfies \SP{} if and only if it is polar and its Weyl group is a Coxeter group.
Heinzner P., Schwarz G.W., Stötzel H.
Compositio Mathematica scimago Q1 wos Q1
2008-01-23 citations by CoLab: 30 Abstract  
AbstractWe study the action of a real reductive group G on a real submanifold X of a Kähler manifold Z. We suppose that the action of G extends holomorphically to an action of the complexified group $G^{\mathbb {C}}$ and that with respect to a compatible maximal compact subgroup U of $G^{\mathbb {C}}$ the action on Z is Hamiltonian. There is a corresponding gradient map $\mu _{\mathfrak {p}}\colon X\to \mathfrak {p}^*$ where $\mathfrak {g}=\mathfrak {k}\oplus \mathfrak {p}$ is a Cartan decomposition of $\mathfrak {g}$. We obtain a Morse-like function $\eta _{\mathfrak {p}}:=\Vert \mu _{\mathfrak {p}}\Vert ^2$ on X. Associated with critical points of $\eta _{\mathfrak {p}}$ are various sets of semistable points which we study in great detail. In particular, we have G-stable submanifolds Sβ of X which are called pre-strata. In cases where $\mu _{\mathfrak {p}}$ is proper, the pre-strata form a decomposition of X and in cases where X is compact they are the strata of a Morse-type stratification of X. Our results are generalizations of results of Kirwan obtained in the case where $G=U^{\mathbb {C}}$ and X=Z is compact.
Heinzner P., Stötzel H.
Mathematische Annalen scimago Q1 wos Q1
2006-12-23 citations by CoLab: 17 Abstract  
We consider actions of real Lie subgroups G of complex reductive Lie groups on Kählerian spaces. Our main result is the openness of the set of semistable points with respect to a momentum map and the action of G.
Heinzner P., Schwarz G.W.
Mathematische Annalen scimago Q1 wos Q1
2006-08-01 citations by CoLab: 29 Abstract  
We investigate a class of actions of real Lie groups on complex spaces. Using moment map techniques we establish the existence of a quotient and a version of Luna’s slice theorem as well as a version of the Hilbert–Mumford criterion. A global slice theorem is proved for proper actions. We give new proofs of results of Mostow on decompositions of groups and homogeneous spaces.

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.
Share
Cite this
GOST | RIS | BibTex
Found error?