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

learn more… | top users | synonyms

3
votes
0answers
132 views

What's the story with the Hopf fibration and the Jacobi identity?

I like the Hopf fibration of the 3-sphere $S^3$ enough that I found a nice way to make a physical model of it. All you need is to combine a bunch of key rings in such a way that (ii) every pair of ...
4
votes
1answer
109 views

Invariant regular cones in Lie group representation

I am following Analysis and Geometry on Complex Homogeneous Spaces by Faraut et al. I'll set up all of what I need and then ask my questions. Let $G$ be a connected semi-simple non-compact real Lie ...
3
votes
1answer
112 views

Orbits in the adjoint representation of $SU(2,1)$

How can one describe the orbits of the Lie group $G=\mathrm{SU}(2,1)$ in its Lie algebra $\mathfrak{g}=\mathfrak{su}(2,1)$ with respect to the adjoint representation?
2
votes
0answers
74 views

good choice of extension of equivariant map

Let $K$ be a compact Lie group. Let $C_K$ denote the category whose objects are the compact lie groups containing $K$ and whose morphisms are inclusion of the groups. Let $Y$ be a $K-$space such that ...
4
votes
1answer
110 views

references for faithful orthogonal (or unitary) representation of symmetric groups

Let $S_n$ be the symmetric group of $n$ points. I want to find references (or proofs) for the following statement (1). (1). There does not exist any faithful orthogonal representation $$ ...
7
votes
2answers
233 views

Schur polynomial, change of variable

Let $k=(k_1,k_2,k_3,k_4)\in \mathbb{N}^4$ and let $s_k(x_1,x_2,x_3,x_4)$ be the Schur polynomial on $GL_4$. Question 1: If I replace $x_3$ with $x_1$ and $x_4$ with $x_2$, can $s_k(x_1,x_2,x_1,x_2)$ ...
9
votes
0answers
220 views

Calculation-free proof of the Weyl Integral formula for U(n)

The Weyl integral formula states that if f is a class function on U(n), T is the torus of diagonal matrices in U(n), and dU(n) and dT are the standard Haar measures on U(n) and T, then $$\int_{U(n)} ...
1
vote
0answers
94 views

What are the E7(7) invariants in the adjoint representation?

Take a real vector space $R$ transforming in the adjoint representation of the ${\rm E}_7(7)$ Lie group as $R \rightarrow G R G^{-1}$. One can define invariants using traces of products of $R$ as ...
2
votes
1answer
107 views

When is the image of the adjoint representation of a real algebraic group Zariski closed?

Let $\operatorname{Ad}:\operatorname{SL}_n(\mathbb{R}) \to \operatorname{GL}(\mathfrak{sl}_n(\mathbb{R}))$ be the adjoint representation (i.e. $\operatorname{Ad}(g)X=gXg^{-1}$) of $SL_n(\mathbb{R})$. ...
1
vote
1answer
172 views

How to extend an equivariant map from a compact Lie group

Let $G$ be a compact Lie group and let $H$ be a closed subgroup of it. Let $g$ be a torsion element of $G$ and $C_G(g)$ the centralizer of it. Let $Y$ be a $C_G(g)-$space. I'm working on the space ...
4
votes
1answer
98 views

Homogeneous Quaternionic-Kähler Structure of the Grassmannians?

Paraphrasing from Cortes' notes: The quaternionic Kähler condition for a manifold $M$, means that $\operatorname{End}(T(M))$ admits a parallel subbundle $Q$ which is locally spanned by $3$ ...
6
votes
4answers
915 views

Topological structure of SO(n) as a product

I’m interested in the question for which $n$ the special orthogonal group is homeomorphic to the product $$ \mathrm{SO}(n) \approx S^{n-1} \times \mathrm{SO}(n-1). $$ Allen Hatcher [1, p. 293 f.] ...
2
votes
0answers
53 views

Singularities of the Quantum propagator (baby version)

Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$: $V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$ ...
3
votes
1answer
122 views

What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite

When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism ...
0
votes
2answers
160 views

Is the restricted root system of a simple real Lie group irreducible?

As the title asks, is the restricted root system of a simple real Lie group irreducible? I believe this is true but I need a reference to cite.
7
votes
1answer
188 views

Intertwiners and Clebsch-Gordan coefficients

Consider two unitary irreducible representations on vector spaces $V_1$ and $V_2$ of a Lie group $G$. For $G$ is compact and $V_1$ and $V_2$ finite dimensional there is a unique decomposition of $V_1 ...
4
votes
1answer
148 views

Centralizer of hermitian matrices with zero trace

In Quantum Physics one often has to deal with commutators. Here I want to denote by $H_0$ the set of all hermitian matrices with trace equal to zero! One can easily relate it to ...
1
vote
1answer
146 views

Canonical class of partial flag variety

Let $F(d_1,d_2,\ldots,d_k;n )$ be the variety of all flags $\mathbb A^{d_1} \subset\mathbb A^{d_2}\subset\ldots\subset \mathbb A^{d_k}\subset \mathbb A^{n}$. This variety has the natural maps to ...
4
votes
1answer
227 views

canonical action of symmetric groups on orthogonal groups

There is a canonical faithful orthogonal representation of the symmetric group $S_{n+1}$, for $n\geq 1$: $$ S_{n+1}\to O(n) $$ given as follows. (1). I regard $O(n)$ as the isometry group of the unit ...
3
votes
1answer
114 views

symmetric group of regular polyhedrons

Let $\Delta^n$ be the regular $n$-simplex spanned by $(n+1)$ vertices, equipped with an Riemannian metric such that all the edges are of equal length. For example, $\Delta^2$: $\Delta^3$: Let ...
6
votes
1answer
287 views

Flag varieties and orbit of highest weight vector

I asked this here http://math.stackexchange.com/questions/1441408/orbit-under-lie-group-and-projective-variety but did not get any answers, so I am asking here. I apologize if this is not appropriate ...
2
votes
0answers
60 views

symmetric points on symmetric spaces

Let $M$ by an $m$-dimensional symmetric space (or a general Riemannian manifold). The finite distinct points $p_1,p_2,\cdots,p_n\in M$ are said symmetric, if for any permutation $\sigma$ on ...
6
votes
0answers
142 views

Finding $U,V$ in Thompson's Formula

Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that: $e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$ Given $a,b \in \mathfrak{su}(4)$ defined by: $a=J_x ...
2
votes
1answer
142 views

Invariant polynomials with respect to group actions on matrices

Let $\mathfrak{gl}_n(\mathbb{R})$ be the Lie algebra of matrices with real entries and $GL_n(\mathbb{R})$ its associated Lie group. Recall that a linear subgroup $G \subseteq GL_n(\mathbb{R})$ acts by ...
13
votes
3answers
282 views

How stable is the top cell of a Lie group?

It is well known that the fundamental class of a compact Lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable ...
3
votes
2answers
122 views

Level sets on $SU(4)$

Given $G \in SU(4)$, what are the level sets of the function $F:SU(n)\rightarrow \mathbb{R}$ defined by $F(V) = |tr(G^{\dagger}V)|^2$? Can they be written only in terms of abstract linear maps, not ...
4
votes
2answers
263 views

Riemannian metric of hyperbolic plane

I'm fishing for the origin of the idea to consider "trace scalar product" on the space of ($G$-)orthogonal projectors as means of defining a Riemannian metric on some subset of lines in a vector ...
2
votes
0answers
43 views

Equivariant exponential map on Hilbert manifolds

Let $M$ be a Hilbert Riemannian manifold and $G$ a finite-dimensional Lie group acting on $M$. It is well-known that when $M$, too, is finite-dimensional $$\exp_p: U \subset T_pM \rightarrow \exp_p(U) ...
4
votes
2answers
173 views

Questions about $\mathbb{C}[G/U^-]$ and $\mathbb{C}[B]$

Let $G = GL_n$. By algebraic Peter-Weyl theorem, we have $$ \mathbb{C}[G] = \bigoplus_{\lambda} V_{\lambda} \otimes V_{\lambda}^*, $$ where $\lambda$'s are dominant weights. Let $U^-$ be the ...
3
votes
1answer
161 views

Brownian bridge on a Lie group as a stochastic differential equation

Brownian motion $g_t$ on a compact Lie group satisfies the stochastic differential equation $$dg_t = dB_t \circ g_t$$ where $B_t$ is Brownian motion on the Lie algebra and $\circ$ denotes ...
3
votes
0answers
397 views

Some counter examples in group theory

In this question, which we flag it as a community wiki question, we search for a big list of groups $G$ which can not be isomorphic to a structure mentioned in $i.$ for some $i \in ...
2
votes
0answers
51 views

Automorphism groups of symmetric cones

Indecomposable symmetric cones fall into five classes. The automorphism group of any symmetric cone $C$ is a real Lie group $Aut(C)$. What is the associated class of Lie groups $Aut(C)$ for each of ...
2
votes
1answer
207 views

Simultaneous integral equation on $SU(n)$

Consider a smooth curve $U_s:[0,T] \rightarrow SU(4)$ which solves: $\frac{d U_s}{ds} = (a + w(s)b)U_s$ for some given $a,b \in \mathfrak{su}(4)$ (which generate $\mathfrak{su}(n)$) and a smooth ...
1
vote
1answer
131 views

Curves on $SU(4)$ whose adjoint action on $\mathfrak{su}(4)$ integrates to $0$

Given $\xi \in \mathfrak{su}(4)$ and positive $T \in \mathbb{R}$, is it possible to find all smooth curves $U_s \in SU(4)$ with $U_0 = I$ such that $$\int_0^T U_s \xi U_s^{\dagger} ds =0\; ?$$
6
votes
1answer
286 views

Does an element in the center of universal enveloping algebra becomes a scalar in irreducible representations?

I'm asking a question about Lie group representation. Let $G$ be a Lie group, not necessarily connected. Let $\Omega$ be an element in the center of the universal enveloping algebra $U(\mathfrak{g})$ ...
2
votes
0answers
115 views

Global decomposition of reductive spaces

Consider a reductive homogeneous space $M=G/H$ with corresponding Lie algebra decomposition $\frak{g}=\frak{m}+\frak{h}$. Then there is a local diffeomorphism $$ (exp\, X, h)\mapsto (exp\, X) h\quad ...
7
votes
3answers
441 views

Parameterizing rotations of a cube

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...
1
vote
0answers
121 views

Discrete group action on the sphere

Let $f$ be a continuous function on $S^3$ and let $\xi^{\perp}=\{x\in S^3:\,x\cdot\xi=0\}$ be a two-dimensional equator of $S^3$ orthogonal to the direction $\xi\in S^3$ (here $x\cdot\xi$ stands for a ...
4
votes
1answer
238 views

Generalising the parametric transversality theorem to a foliation

The parametric transversality theorem states that, given a parameterised family of smooth maps of $C^{\infty}$ manifolds $\phi_s:M \rightarrow N$ and a submanifold $R < N$ then for almost all ...
3
votes
1answer
273 views

Infinite groups of finite exponent inside of SL(2,C)

Fix an integer $n>0$. Are there infinite subgroups of $SL_2(\mathbb{C})$ such that every element is $n$-torsion?
4
votes
3answers
264 views

Generalization of a theorem of Burnside to non-compact groups

The following two theorems are often attributed to Burnside: Theorem Let $G$ and $H$ be compact groups. Then the irreducible representations of $G\times H$ are precisely the representations ...
4
votes
1answer
160 views

Matrix from a homomorphism of simply connected groups

Let $H$ be a simple algebraic group of type $\mathbf{G}_2$ over $\mathbb{C}$. Let $\rho$ be the standard 7-dimensional complex representation $$ \rho\colon H=\mathbf{G}_2\to \mathrm{SO}_7.$$ We ...
2
votes
1answer
78 views

Do the values of the differential of a function on a Lie group with a single maximum span the Lie algebra?

Consider: a vector field $X=\nabla \phi$ on a compact, semi-simple, connected matrix Lie group $G$ where $\phi$ as a smooth scalar field on $G$ possessing only a single maxima which topologically is a ...
6
votes
0answers
160 views

Manifold approximations to $BO(3)$

We know that $BO(1) =\mathbb{R}P^\infty$ has closed, finite-dimensional manifold approximations $\mathbb{R}P^1\subset \mathbb{R}P^2\subset\cdots.$ Similarly $BO(2)$ can be approximated by closed, ...
2
votes
1answer
105 views

How to associate a proper parabolic subgroup of a real s.s Lie group $G$ to a non-trivial unipotent element in a non uniform lattice in $G$?

Let $G$ be a real semi-simple Lie group. Let $\Gamma$ be a non-uniform lattice in $G$. Then it is known that $\Gamma$ contains a non-trivial unipotent element. When $\mathbb{R}$-rank of $G$ is 1, it ...
1
vote
0answers
97 views

Space of polynomially growing harmonic functions on a Lie group

There is a recent theorem by Kleiner (based on previous work by Colding & Minicozzi), that reads: If $G$ is a finitely generated group of polynomial growth, then for every $d$ the space of ...
4
votes
1answer
185 views

Check symplectomorphism property on infinitesimal generators

I stumbled over the following question: First, let me give the basic definition of a symplectic group action: Let $(M, \omega)$ be a symplectic manifold and $G$ a Lie group. A smooth action $\Phi:G ...
2
votes
0answers
81 views

$Pin^{+}(4k)$ and $Pin^{-}(4k)$ are isomorphic [Reference Request]

This is some sort of "follow-up" to the (unanswered) question posted here. Let's denote $$\varphi :O(2n)\rightarrow O(2n);A\mapsto det(A)\cdot A.$$ Then $\varphi $ is an automorphism of $O(2n)$, and ...
0
votes
0answers
106 views

Poincaré inequality for connected Lie groups

Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is: symmetric, adapted (in the sense that there is no proper subgroup $H$ such ...
5
votes
2answers
177 views

Permutable (Lie) subgroups

Let's recall that, a group $G$ being given, two subgroups $A,B\subset G$ are called permutable iff $AB=BA$ for the Minkowski law. It is straightforward to see that $(A,B)$ are permutable iff $AB$ ...