Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.

learn more… | top users | synonyms

2
votes
1answer
131 views

Split real form of $SL(2,\mathbb{C})$ description of the two sphere?

If we denote the parabolic subgroup of $SL(2,\mathbb{C})$ by $P$, then we have the well known isomorphism $SL(2,\mathbb{C})/P \simeq S^2$, where $S^2$ is the two sphere. Now the compact real form of ...
2
votes
1answer
139 views

Fixed submanifold of G-manifold

Let $G$ be a compact Lie group, and $M$ be a smooth manifold on which $G$ acts smoothly and effectively. Denote by $F$ the $G$-fixed subset. In general, $F$ has finitely many connected components and ...
7
votes
1answer
169 views

Chevalley restriction theorem for exterior algebras

Suppose $G$ is semisimple Lie group, $\mathfrak{g}$ is its Lie algebra, $\mathfrak{h}$ is a Cartan subalgebra of $\mathfrak{g}$, and $W$ is the correspondent Weyl group. Chevalley restriction theorem ...
18
votes
3answers
577 views

The non-simplicity of $SO(4)$ and $A_4$

It is well known that the alternating group $A_n$ is simple unless $n=4$. It is likewise well known that the special orthogonal group $SO(n)$ is essentially simple unless $n=4$ (specifically, the ...
2
votes
0answers
149 views

The fundamental in the tensor square of a complex representation of $SO(N)$

I would like to figure out whether there is an irreducible complex (in the sense non-self-conjugate) representation of a group $SO(N)$, $N>2$, whose tensor square contains the fundamental ...
0
votes
0answers
93 views

semisimple conjugacy classes over general bases

Let $k$ be an algebraically closed field, $G$ a connected reductive group, $T$ a maximal torus, $W$ the Weyl group and $\chi:G\rightarrow T/W$ the Steinberg morphism. We know that if ...
4
votes
1answer
152 views

Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices

I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...
1
vote
1answer
422 views

Para-Complexification of Lie Groups

Let $G$ be a real Lie group. Then the complexification $G_\mathbb{C}$ of $G$ is the unique complex Lie group equipped with a map $φ:G\to G_\mathbb{C}$ such that any map $G\to H$ where $H$ is a ...
12
votes
3answers
734 views

Why do we need a $G$-universe?

Let $G$ be a compact Lie group. Before defining $G$-prespectra, we have to define a $G$-universe $\mathcal U$. Question: Why do we need a $G$-universe? A $G$-universe is defined to be a countably ...
2
votes
0answers
113 views

Manifold with a quasi-positive curvature

As far as I know, in a simply connected compact manifold, still there exists no well-known obstruction for a manifold with a quasi-positive curvature to be a manifold with positive curvature. But ...
2
votes
1answer
359 views

A question about flag variety of $SL(n,\mathbb{C})$

We know that the flag variety $SL(2,\mathbb{C})/B$ which $B$ is Borel subgroup, can be identified with $\mathbb{P^1}$, What can we say about $SL(n,\mathbb{C})/B$ which $B$ is Borel subgroup of ...
3
votes
1answer
118 views

On matrices conjugated in a faithful representation

Let $k$ an algebraically closed field. Let $O=k[[\pi]]$ and $F=k((\pi))$ and $G\rightarrow GL_{n}$ a faithful representation of a semisimple group. Let $A, B\in G(O)\cap G(F)^{rs}$ (rs for regular ...
6
votes
1answer
211 views

Characterisation of Q-rank 1

I'm looking for a reference and/or the original source for the following fact: An irreducible non-uniform lattice in a semisimple Lie group without compact factor has Q-rank 1 if and only if it does ...
2
votes
0answers
82 views

integral stable conjugacy classes

Let $G$ be a semisimple simply connected group over $k$ algebraically closed field . Let $\gamma,\gamma'\in G(k[[\pi]])$ that are generically regular semisimple on $G(k((\pi)))$. We assume that ...
1
vote
0answers
139 views

on the open bruhat cell

Let $G$ a connected reductive group and $S=U^{-}TU$ the open cell. Do we have $G=\bigcup\limits_{g\in G}gSg^{-1}$? And also if I assume that $G$ is adjoint and $\overline{G}$ is the de ...
3
votes
3answers
290 views

Topological properties of $K$ orbits in $G/B$

I'll be working over the complex numbers. Let $G$ be a connected reductive group, $\theta\colon G\to G$ an involution. Let $K=G^{\theta}$ be the fixed point subgroup. I am trying to track down ...
2
votes
0answers
94 views

Can class in $H^4(BT)$ be realized as the second Chern class of a principal SU(2) bundle?

The question in the title, to which I add some clarification. Can every class in $H^4(B\mathbb{T})$ be realized as the second Chern class of a principal $SU(2)$ bundle? $B\mathbb{T}$ is the ...
4
votes
0answers
166 views

How to find the unitary matrices in this exponential matrix representation

In the following post Representing a product of matrix exponentials as the exponential of a sum there is a statement regarding the result of the multiplication of two matrix exponentials: if $A$ and ...
4
votes
1answer
175 views

How does one calculate homotopy classes for group coset spaces?

Inspired by Witten's Wess-Zumino term arguments, I'm curious to know how one calculates homotopy classes more generally for coset spaces. In the above example the coset is $G/H=(SU(3)_L\times ...
8
votes
1answer
339 views

Action of the endomorphism monoid on an irreducible GL-module

Let $G=\mathrm{Gl}_n(\mathbb C)$ and $V$ an irreducible $G$-module on which $G$ acts polynomially. In other words, the algebraic group action of $G$ on the affine space $V$ extends to an algebraic ...
2
votes
0answers
142 views

Compute the discriminant for reductive groups

Consider $G=GL_{2}$ and $F=k((\pi))$, and a diagonal matrix $t=\left(\begin{array}{cc}a&0\\0&b\end{array}\right)$. The characteristic polynomial of $t$ is $X^{2}-(a+b)X+ab$, and the ...
0
votes
1answer
105 views

question about twisted group of Lie type A_n

Let $G=PSU_3(q)$ and $q=p^n$, where $n$ is odd. Can we conclude that $PSU_3(p)$ is a subgroup of $G$?
0
votes
1answer
184 views

Coadjoint orbits and homogeneous symplectic $G$-manifolds

We know this important fact from A.A.Kirillov that : Every homogeneous symplectic $G$-manifold is locally isomorphic to an orbit in the coadjoint representation of the group $G$ or a central ...
5
votes
2answers
352 views

The number of conjugacy classes of the simple group PSL(2,q)

If $q=p^a$ , where $p$ is a prime number, then I would like to know the number of conjugacy classes related to elements of order $p$ and $2$ in the simple group $PSL(2,q)$ .
2
votes
1answer
516 views

Kirillov-Kostant-Souriau Theorem on $\mathfrak{g}\oplus \mathfrak{g^*} $

My question is about the extention of kirillov's symplectic structure on coadjoint orbits. The most remarkable feature of the coadjoint representation is the fact that all coadjoint orbits possess a ...
3
votes
0answers
56 views

on Neron defect of smoothness for groups schemes

Let $G$ a semisimple simply connected group over $\mathbb{C}$. Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$. We consider $I_{\gamma}$ the group ...
12
votes
1answer
362 views

Is there a category of representations of a simple Lie algebra on which its Weyl group naturally acts?

For any simple Lie algebra $\mathfrak{g}$, is there a category $C$ of (possibly infinite-dimensional) representations of $\mathfrak{g}$ such the Weyl group $W$ of the corresponding root system acts in ...
0
votes
1answer
393 views

fiber bundle on an orbit of $\mathfrak{g}\oplus\mathfrak{g^*}$

Let $G$, be a Lie Group and $\mathfrak{g}$ be its Lie algebra ,i.e, $Lie(G)=\mathfrak{g}$. Let $\zeta=(\ X,F)\ \in \mathfrak{g}\oplus\mathfrak{g^*}$. Here $X\in \mathfrak{g} $ and $F\in ...
0
votes
1answer
169 views

when $g^*$ is invariant under $Ad(G)$?

Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra. Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under ...
6
votes
1answer
318 views

Representation ring and induced representation

Let $i:H \to G$ be a homomorphism of compact Lie groups. The induced representation $\iota_*V := \mathrm{Map}^H(G,V)$ of an $H$-representation $V$ does not give an element of the representation ring ...
9
votes
3answers
349 views

Diffeomorphisms of the sphere conjugate to a rotation

What are sufficient condition on a given diffeomorphism of the sphere (say, given explicitly with formulas) that can ensure that it is conjugate to a rotation, in the group of diffeomorphism of the ...
3
votes
1answer
160 views

The Gysin Sequence for an Associated Bundle over a Partial Flag Variety

Let $G$ be a connected, simply-connected complex semisimple Lie group, and let $P\subseteq G$ be a parabolic subgroup. Suppose that $V$ is a $1$-dimensional complex $P$-representation and consider the ...
4
votes
1answer
307 views

Isometry group of pseudo Riemannian manifold always a Lie group? (Myers-Steenrod)

Myers-Steenrod states that the isometry group of a Riemannian manifold is a Lie group. Is that also true for pseudo Riemannian manifolds? I didn't find anything related to that. Cheers
2
votes
0answers
67 views

Free S^1 action on a symmetric space of compact type

Consider a symmetric space G/H of compact type where rank(G) is greater than rank(H). The Euler characteristic of this space is known to be zero. What can be said about the existence of a fixed point ...
2
votes
0answers
83 views

The condition of maximality in branching rules of $SO$ group representations

Let the highest weight of a $SO(2n+1)$ representation be given as $(m_1,m_2,...,m_n)$ ($m_1\geq m_2 \geq .. \geq m_n \geq 0$) and the highest weight of a $SO(2n)$ representation be $(s_1,s_2,...,s_n)$ ...
4
votes
1answer
309 views

About using the character formula for $SO(2n)$.

I have known of the following equation for characters of a $SO(2n)$ representation with highest weights $(h_1,...,h_n)$ and for $(t_1,t_2,..,t_n,t_1^{-1},t_2^{-1},..,t_n^{-1})$ being the eigenvalues ...
5
votes
0answers
131 views

Which cocompact subgroups of $G$ do contain a cocompact normal subgroup of $G$?

Let $G$ be a locally compact group and let $H$ be a cocompact (or more generally, a cofinite) subgroup of $G$. Is there any criterion to determine whether $H$ contains a cocompact normal subgroup of ...
2
votes
1answer
183 views

G-invariant differential forms on homogeneous space of Lie Groups

Let $G$ be a connected Lie Group and $K<G$ a maximal compact subgroup. Denote by $\Omega^q(G/K)^G$ the $G$-invariant real-valued $q$-forms on the manifold $G/K$, i.e. those forms $\omega$ s.t. ...
8
votes
1answer
437 views

Are maximal compact subgroups of connected groups connected?

Assume $G$ is a connected locally compact group and $M$ is a maximal compact subgroup of $G$. Is $M$ connected too?
2
votes
1answer
140 views

Difference between Kahler-Einstein and Bergman metric on a bounded symmetric domain

Let $H$ be a bounded symmetric domain. What is the difference between the Bergman metric and the Kahler-Einstein metric on $H$?
5
votes
1answer
135 views

A subgroup of the Weyl group

Let $D$ be a connected Dynkin diagram with an automorphism $\nu$ of order 2. Let $Q=Q(D)$ denote the root lattice of $D$. Let $W=W(D)$ denote the Weyl group, it acts effectively on $Q$ and it is ...
7
votes
2answers
357 views

Which Lie groups have adjoint representations that are bounded away from zero?

Studying stability of certain non-autonomous dynamical systems on Lie groups I have come across the following question: Exactly which finite-dimensional, real Lie groups have adjoint representations ...
3
votes
2answers
138 views

Are all orbits semi-Riemannian submanifolds?

Let $M$ be a semi-Riemannian manifold and $G\subset Iso(M)$ a closed connected Lie subgroup which acts properly on $M$. It is known that every orbit of the action is a (closed) submanifold of $M$. My ...
5
votes
1answer
234 views

Stiefel manifolds and polar decompositions

The real Stiefel manifold $V_{n,k}$ of orthogonal $k$-frames in $\mathbb{R}^n$ can be viewed as the reductive homogeneous space $G/H=O(n)/O(n-k)$. If ${\frak{so}}(n)$ is the Lie algebra of $O(n)$, ...
6
votes
2answers
337 views

Discrete subgroups of products of SU(2)

It is known that there are -up to conjugation- 5 classes of discrete subgroups of SU(2). One way to show this is by means of the McKay correspondence. My question is more regarding products of ...
9
votes
2answers
301 views

Extension of the Weyl dimension formula

Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...
2
votes
1answer
84 views

Citation for positive Ricci curvature

Does anyone know a citeable source where it is shown that the Ricci curvature of SU(n) is strictly positive? I can sketch the proof but I need to shorten my notes. Thanks, Stefan
9
votes
1answer
319 views

Iwasawa and $KAK$ Decomposition for Diff$(S^1)$

It is well known $\newcommand{\Diff}{\operatorname{Diff}}$ that the group $\Diff(S^1)$ of smooth diffeomorphisms of the circle behaves in many ways like $SL(2,\mathbb R)$. For example, if ...
1
vote
1answer
328 views

Iwasawa Decomposition for Matrices [closed]

I was asked to prove that if $$ T_{n}^{+}(\mathbb{R}) \subseteq M_{n}(\mathbb{R})$$ denotes the set of upper triangular matrices with positive diagonal entries, then prove that the multiplication ...
3
votes
1answer
129 views

Infinitesimal equivalence of admissible representations

Let $G_0$ be the $\mathbb{R}$-points of a real reductive group with complexified Lie algebra $\mathfrak{g}$ and maximal compact subgroup $K$. What is the precise relation between the category of ...