Skip to main content
added 2223 characters in body
Source Link
Uri Bader
  • 11.6k
  • 2
  • 37
  • 60

Yes, it is true that for every continuous real linear finite dimensional representation of a connected Lie group there exists a closed orbit for the associated projective representation.

To see this it is enough to assume the group is solvable (as every connected Lie group has a cocompact solvable subgroup) and the representation is irreducible and faithful. It follows that the unipotent radical of the Zariski closure is trivial, thus our group is diagonalizable and the representation is either 1 or 2-dimensional. The 1-dim case is trivial and in the 2-dim case we get that the action on the projective line is transitive.


Here are some more details.

Let $A$ be the connected, simply connected Lie group associated with the Lie algebra $\mathfrak{a}$. The inclusion map $\mathfrak{a}\to \mathfrak{gl}_d(\mathbb{R})$ gives rise to a continuous homomorphism $A\to \text{GL}_d(\mathbb{R})$. The connected group alluded to in the (edited) question is the image of $A$ under this continuous homomorphism. Thus we need to show that for every linear representation of a connected Lie group, the associated projective action has a closed orbit.

It is enough to show that a cocompact subgroup of $A$ has a closed orbit, as a cocompact subgroup (the stabilizer of a point in this orbit) of a cocompact subgroup is cocompact. Now, use the fact that every connected Lie group has a cocompact solvable subgroup. This is a standard fact (by factoring the solvable radical it is enough to observe this fact for adjoint semi-simple Lie groups, which are in fact real algebraic groups, then it is reduced to Borel's fixed point theorem, which is nothing but the "Zariski closed version of this question" which you seem to be aware of). We thus need to prove the claim: for every linear representation of a connected solvable group, the associated projective action has a closed orbit. Obviously, it is enough to assume the representation is irreducible.

We thus need to prove the claim: for every continuous irreducible finite dimensional real linear representation of a connected solvable group $A$, the associated projective action has a closed orbit. Irreducible representations of solvable groups are either one or two dimensional. This follows for example from Lie-Kolchin (for an invariant line $\mathbb{C}\cdot v$ in the complexification, take the space generated by $v+\bar{v}$ and $v-\bar{v}$). In the 1-dim case the corresponding projective space is a singleton, and there is nothing to prove. in the 2-dim case the projective space is a topologically a circle. We are done by noting that the action of a connected group on a circle is either transitive or have a fixed point. Indeed, its orbits are homogeneous connected subsets, thus points or open intervals, and in the latter case any end point of the interval will be fixed.

Yes, it is true that for every continuous real linear finite dimensional representation of a connected Lie group there exists a closed orbit for the associated projective representation.

To see this it is enough to assume the group is solvable (as every connected Lie group has a cocompact solvable subgroup) and the representation is irreducible and faithful. It follows that the unipotent radical of the Zariski closure is trivial, thus our group is diagonalizable and the representation is either 1 or 2-dimensional. The 1-dim case is trivial and in the 2-dim case we get that the action on the projective line is transitive.

Yes, it is true that for every continuous real linear finite dimensional representation of a connected Lie group there exists a closed orbit for the associated projective representation.

To see this it is enough to assume the group is solvable (as every connected Lie group has a cocompact solvable subgroup) and the representation is irreducible and faithful. It follows that the unipotent radical of the Zariski closure is trivial, thus our group is diagonalizable and the representation is either 1 or 2-dimensional. The 1-dim case is trivial and in the 2-dim case we get that the action on the projective line is transitive.


Here are some more details.

Let $A$ be the connected, simply connected Lie group associated with the Lie algebra $\mathfrak{a}$. The inclusion map $\mathfrak{a}\to \mathfrak{gl}_d(\mathbb{R})$ gives rise to a continuous homomorphism $A\to \text{GL}_d(\mathbb{R})$. The connected group alluded to in the (edited) question is the image of $A$ under this continuous homomorphism. Thus we need to show that for every linear representation of a connected Lie group, the associated projective action has a closed orbit.

It is enough to show that a cocompact subgroup of $A$ has a closed orbit, as a cocompact subgroup (the stabilizer of a point in this orbit) of a cocompact subgroup is cocompact. Now, use the fact that every connected Lie group has a cocompact solvable subgroup. This is a standard fact (by factoring the solvable radical it is enough to observe this fact for adjoint semi-simple Lie groups, which are in fact real algebraic groups, then it is reduced to Borel's fixed point theorem, which is nothing but the "Zariski closed version of this question" which you seem to be aware of). We thus need to prove the claim: for every linear representation of a connected solvable group, the associated projective action has a closed orbit. Obviously, it is enough to assume the representation is irreducible.

We thus need to prove the claim: for every continuous irreducible finite dimensional real linear representation of a connected solvable group $A$, the associated projective action has a closed orbit. Irreducible representations of solvable groups are either one or two dimensional. This follows for example from Lie-Kolchin (for an invariant line $\mathbb{C}\cdot v$ in the complexification, take the space generated by $v+\bar{v}$ and $v-\bar{v}$). In the 1-dim case the corresponding projective space is a singleton, and there is nothing to prove. in the 2-dim case the projective space is a topologically a circle. We are done by noting that the action of a connected group on a circle is either transitive or have a fixed point. Indeed, its orbits are homogeneous connected subsets, thus points or open intervals, and in the latter case any end point of the interval will be fixed.

Bounty Ended with 50 reputation awarded by guido giuliani
Source Link
Uri Bader
  • 11.6k
  • 2
  • 37
  • 60

Yes, it is true that for every continuous real linear finite dimensional representation of a connected Lie group there exists a closed orbit for the associated projective representation.

To see this it is enough to assume the group is solvable (as every connected Lie group has a cocompact solvable subgroup) and the representation is irreducible and faithful. It follows that the unipotent radical of the Zariski closure is trivial, thus our group is diagonalizable and the representation is either 1 or 2-dimensional. The 1-dim case is trivial and in the 2-dim case we get that the action on the projective line is transitive.