**6**

votes

**1**answer

174 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})$ ...

**-1**

votes

**0**answers

42 views

### Representation ring of circle group over complex field [migrated]

Can someone please describe how to find a representation algebra of circle group over complex field ? I am reading " representation theory of compact Lie group" chapter 3 section 7. It will be great ...

**1**

vote

**0**answers

61 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 ...

**-2**

votes

**0**answers

35 views

### embbeing torus into compact lie group or inclusion torus into compact lie group [closed]

I want to know about examples embedding torus into a compact lie group or inclusion into compact lie group.Dimension of those compact lie group is under 4.

**4**

votes

**3**answers

184 views

### Parameterizing rotations of a cube [closed]

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

**0**answers

99 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 ...

**-1**

votes

**0**answers

47 views

### Orbit closures of symmetric bilinear form [migrated]

Let $A$ and $B$ be two real symmetric matrices in $M_n(\mathbb{R})$. I would like to learn about necessary and sufficient conditions for knowing when $B \in \overline{GL_n(\mathbb{R})\cdot A}$; where:
...

**3**

votes

**1**answer

176 views

+100

### 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

**1**answer

223 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

**3**answers

235 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

**1**answer

140 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

**1**answer

72 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

**0**answers

155 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

**1**answer

82 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

**0**answers

82 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

**1**answer

172 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

**0**answers

73 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

**0**answers

79 views

### Poincare 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

**2**answers

167 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$ ...

**2**

votes

**0**answers

109 views

### Hasse diagrams of G/P_1 and G/P_2

in the Paper http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.30.5052&rep=rep1&type=pdf at the end, we can see Hasse diagrams for several projective, homogeneous $G$-varieties for $G$ ...

**0**

votes

**1**answer

70 views

### Solving $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$ [closed]

Given an $A \in \mathfrak{su}(n)$, is it always possible to solve for $U,V \in SU(n)$ and $\lambda \in \mathbb{C}$ such that $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$?
Cross posted from ...

**-2**

votes

**1**answer

99 views

**0**

votes

**1**answer

97 views

### Gradient on $SU(n)$

I'm trying to calculate the gradient (wrt to the bi-invariant metric) of the following functions $F_1, F_2 : SU(n) \rightarrow \mathbb{R}$ defined by $F_1(U) = | Tr (G^{\dagger} U) |^2$, $F_2(U) = \Re ...

**5**

votes

**0**answers

63 views

### Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/).
There comes a point in the paper (Lemma 2.8) ...

**3**

votes

**0**answers

155 views

### Uniform sub-linearity of sub-additive functions on groups

Suppose $G$ is a finitely generated group and suppose $f: G \to \mathbb{R}$ is subadditive function, that is: $f(g_1\circ g_2) \leq f(g_1) + f(g_2)$. One example of such $f$ is the word length in some ...

**1**

vote

**1**answer

171 views

### Does the Laplacian commutes with elements of the basis of the Lie algebra?

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$. I know that if $g$ is semi-simple then the Laplace-Beltrami operator on $G$ agrees with the Casimir element and therefore commutes with ...

**4**

votes

**1**answer

131 views

### Infinite-dimensional admissible representations of SL(2,C)

I'm working in my research with the infinite dimensional (admissible) irreducible representations of $\mathrm{SL}(2,\mathbb{C})$ introduced by Harish-Chandra in his paper "Infinite Irreducible ...

**3**

votes

**3**answers

243 views

### Jacobson-Morozov theorem

Jacobson-Morozov theorem for a semisimple algebraic group $G$ (presumably I am working over algebraically closed field) states that: given a unipotent u, there exists a homomorphism $\phi$ from $SL_2$ ...

**0**

votes

**1**answer

155 views

### Non Hamiltonian vector field

Let $\Phi: G \times M \rightarrow M$ be a group action on a symplectic manifold $M$ and $G$ be a Lie group.
Furthermore, $x$ is a solution of the Hamilton equation $\dot{x}(t) = X_H(x(t))$ and for a ...

**0**

votes

**0**answers

45 views

### Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...

**1**

vote

**1**answer

89 views

### Compact form of symplectic groups defined over the rationals

I am a bit confused regarding the possible constructions/realizations of symplectic groups. Basically I am looking for the following:
A linear algebraic group $\mathbb{G}$ defined over $\mathbb{Q}$ ...

**2**

votes

**1**answer

169 views

### Understanding the Weyl Character Formula

Let $G$ be a compact (connected) Lie group with a maximal torus $T$. For each (analytically) integral weight $\lambda$ the Weyl character formula
$$\Theta_{\lambda}(H)=\frac{\sum_{w\in ...

**0**

votes

**2**answers

236 views

### Representation Theory of $U(N)$

(1) Is it true that the category of representations of $U(n)$ is equivalent to the category of representations of $SU(N) \times U(1)$? If so, how is it proved, or what is a good reference. (I guess ...

**5**

votes

**1**answer

128 views

### How to embed $U(1)$ into a bigger group, using Dynkin diagrams

I am trying to find the embedding and the branching rules for some group decompositions. For example, I consider $E_7$ and its maximally compact subgroup $SU(8)$ and I want to "see" how the Dynkin ...

**0**

votes

**1**answer

74 views

### Non-graded representations over Lie superalgebra $\mathfrak{gl}(m,n)$

I have the following questions:
Let $m,n$ be positive integers. Consider representations over the general linear Lie super-algebra $\mathfrak{gl}(m,n)$. Namely, modules over the associative algebra ...

**1**

vote

**0**answers

70 views

### Curvature tensor for a singular manifold

Given a manifold $M$ with its tangent space $TM$ and frame vector field $e \in TM$. However, the transition functions in this tangent bundle are non-smooth. Therefore, the Lie derivative of $e$ with ...

**3**

votes

**0**answers

134 views

### The special embedding $\mathfrak{so}(7)\subset\mathfrak{so}(8)$

It is commonly known that we have a chain of embeddings
$$SU(4)\subset Spin(7)\subset SO(8)$$
(there is more than one possible $Spin(7)$, just take one).
Which is the explicit analog for the Lie ...

**10**

votes

**1**answer

312 views

### Embedding linear algebraic groups of a given dimension into a fixed $\mathrm{GL}_N$

Given $n$, can $n$-dimensional linear algebraic groups over $\mathbb{C}$ be embedded into $\mathrm{GL}(N,\mathbb{C})$ for a uniformly bounded $N$?
Thanks so much for your reply!

**9**

votes

**3**answers

291 views

### Real and Quaternionic Representations according to Weights

According to this question, it is easy to know whether a representation is self dual or not: just check if the weight distribution in space is symmetric about the origin.
Now, for self dual ...

**0**

votes

**0**answers

21 views

### Restrictions of potential tensor fields to toric subgroups

Let $G$ be a compact connected nonabelian Lie group and let $f$ be a symmetric tensor field of order $m\geq1$ on $G$.
Let $T\subset G$ be a translate of a torus subgroup of $G$ with $\dim(T)\geq1$.
...

**5**

votes

**0**answers

190 views

### Hyperplane sections of principal homogeneous spaces

Let $P_i$ denote the $i$-th vertex in the Dynkin diagramm of an algebraic group. It symbolizes a parabolic subgroup of $G$ corresponding to the other vertices, meaning $G/P_i$ is a smooth, projective, ...

**0**

votes

**2**answers

163 views

### A question on an set of 8 matrices related to the SU(3) generators

SU(2) and SU(3) differ quite a bit.
The Lie algebra of SU(2) formed by the three generators $g_n$ is the same as the algebra formed by the SU(2) matrices/elements $F_n=e^{\pi \cdot i \cdot g_n / 2}$. ...

**0**

votes

**0**answers

79 views

### a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.

**6**

votes

**1**answer

148 views

### Is the braid group with $n$ strings $\mathcal{B}_n$ a lattice in a connected semi-simple Lie group?

Is the braid group with $n$ strings $\mathcal{B}_n$ known to be a lattice in a connected semi-simple Lie group ? (for $n$, say, bigger than $3$)
Or is it known that it cannot be such a lattice ?

**0**

votes

**0**answers

46 views

### Preimage of singular points of smooth map between vector space and $SU(n)$

(Moved from Math SE as no answer was forthcomming: http://math.stackexchange.com/q/1294521/161684)
Given a smooth ($C^{\infty}$) map $\phi: V \rightarrow SU(n)$ (which is taken to be surjective) ...

**4**

votes

**0**answers

152 views

### Correspondence between real forms and real structures on complex Lie groups

I asked this in MSE, but without success, so I hope, it will be suitable here.
E.B.Vinberg and A.L.Onishchik in their book give the following two definitions.
For a complex Lie group $G$ its real ...

**3**

votes

**1**answer

135 views

### Is the spin group in a metaplectic group?

Is every spin group $Spin(n,R)$ over the reals contained in some metaplectic group $Mp(m,R)$ for some $m$ in such a way that the spin representation is obtained by restriction of the metaplectic ...

**0**

votes

**1**answer

127 views

### Generalization of the Lie group exponential map and its derivative

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$, and $exp:\mathfrak{g}\to G$ be its exponential map. The group $G$ could be finite or infinite dimensional. Let $G$ have the property that
...

**1**

vote

**1**answer

91 views

### Is the endpoint map smooth

Given $a,b \in \mathfrak{su}(n)$ and (with $U_0 = I$ taken) the following ODE:
$\frac{d U_t}{dt} = (a + w(t)b)U_t$
consider the "fixed time" endpoint map $V_T: L^2([0,T]) \rightarrow SU(n)$ for ...

**3**

votes

**0**answers

112 views

### Nilpotent orbits and subspaces

Let ${\mathbb g}$ be a simple complex finite dimensional Lie algebra, $X\subseteq{\mathbb g}$ a nilpotent orbit. Did anyone study maximal vector subspaces of the closure $\overline{X}$?
In ...