A Lie group is a group (in the sense of abstract algebra) that is also a differentiable manifold, such that the group operations (addition and inversion) are smooth, and so we can study them with differential calculus. They are a special type of topological group. Consider using with the ...

learn more… | top users | synonyms

1
vote
0answers
25 views

Looking for a non trivial homomorphism II [on hold]

Is there a non trivial homomorphism $f: SU(2) \to Diff(S^1)$?
6
votes
1answer
61 views

Looking for a non trivial homomorphism I

Is there a non trivial homomorphism $f: SU(2) \to O(2)$? Is there a concrete description of $Hom(SU(2), O(2))$?
2
votes
2answers
48 views

Counting singularities

It is well known that a smooth vector field on a 2-sphere must vanish twice. What is the general technique for counting singularities of a smooth map between manifolds? For example, how many ...
0
votes
1answer
50 views

What is orthogonal group $O(1)$?

I know that $O(2)$ is the group of 2x2 orthogonal matrices, but how can we extend the meaning of group and orthogonal to $O(1)$?
1
vote
2answers
125 views

Are there nonsmooth Lie groups?

The definition of "Lie group" typically restricts to a smooth manifold. If we instead define a "Lie group" to be a topological manifold such that multiplication and inversion are continuous, is the ...
4
votes
1answer
51 views

Redundance of the Smoothness of the Inversion Map in the Definiton of a Lie Group.

$\DeclareMathOperator{\inv}{inv}$ I am trying to understand the proof of the following from this document: Let $M$ be a smooth manifold which admits a group structure such that the multiplication ...
1
vote
0answers
6 views

How can Clebsch-Gordan Decompositions be combined?

In section 4 of this paper the authors use a given list of Clebsch-Gordan coefficents for the $27 \otimes 27$ of $E_6$ from an old paper and combine it with their own list of Clebsch-Gordan ...
1
vote
0answers
22 views

Isometry algebra implication from Riemannian covering

I really wish that, if $\pi:(M,\mathrm{g})\twoheadrightarrow(N,\mathrm{h})$ is a Riemannian covering, then $\mathfrak{i}(N,\mathrm{h})\leq\mathfrak{i}(M,\mathrm{g})$, where ...
1
vote
1answer
19 views

Identification of the Lie algebra of an isotropy group with the tangent space - stuck with a statement

I think I am stuck with the following statement that I read on the Encyclopedia of Mathematics website regarding Isotropy representations: "If $G$ is a Lie group acting smoothly and transitively on ...
-1
votes
1answer
48 views

Subgroups of the group $G_2 \times G_2$

Does the group $G_2 \times G_2$ have the group $SO(7)$ (or its double cover $Spin(7)$) as its subgroup? Here, $G_2$ is the compact exceptional group $G_2$.
1
vote
1answer
33 views

'Large' closed subgroup

I am working through a paper in the field of differential geometry (Yang-Mills theory) and the author writes: 'We assume the Riemannian manifold $(M,h)$ admits a large closed subgroup $K$ of the ...
0
votes
0answers
20 views

Complexification and universal complexification of a Lie group

Not all real Lie groups have a complexification, but the universal complexification always exists and is unique. My question is, when is a complexification also the universal complexification? I am ...
1
vote
0answers
16 views

Question about the theorem of highest weights

I have some confusion from reading Theorem 7.3 in Sepanski's Compact Lie groups and would appreciate it if someone could clarify. In part (e) the book says "for $w\in W$, $wV_\lambda=V_{w\lambda}$, ...
1
vote
0answers
42 views

Lie groups in the mandelbrot set? [on hold]

I was doing some reasearch on mandelbrot sets and accidently ran into a parabolic geometry section on wiki. I've never studied it but I saw a picture of anan "E8" group which looks almost exactly like ...
1
vote
0answers
10 views

Showing the action of $SO(p,q)$ in the punctured cone of isotropic vectors is transitive

Consider a real vector space $T$ of dimension $p+q$ with a non-degenerate symmetric bilinear form, $B:T\times T\to\mathbb{R}$, with signature $(p,q)$. Define the cone $$ ...
2
votes
0answers
63 views

Lie groups and Lie algebras for matrices

Recently, I stumbled over a few things in very basic Lie group / Lie algebra theory concerning matrix groups. Basically, my question is: Is there a way to canonically understand all the Lie groups ...
0
votes
1answer
30 views

Special linear group as a submanifold of $M(n, \mathbb R)$

I have that $SL(n,\mathbb{R})$ is an embedded submanifold of dimension $n^2-1$ in $GL(n,\mathbb{R})$, and I know that $T_XGL(n,\mathbb{R})$ is isomorphic to $M(n,\mathbb{R})$ for all $X \in GL(n , ...
2
votes
0answers
29 views

determinant of general linear group

I know that for the general linear group, the coordinate derivatives of the determinant function $\det:GL(n,\mathbb{R})\to \mathbb{R}$ are \begin{equation*} \frac{\partial}{\partial X^i_j}\det X=(\det ...
0
votes
0answers
37 views

Exact Similarity Solutions of System of Nonlinear Partial Differential Equations

I have been reading Self-Similarity and Beyond, by P. L. Sachdev. However, I am stuck on page 70, chapter 3, section 2. I have screen shotted the part which I am having a problem with I wonder if ...
3
votes
1answer
53 views

Preimage of singular points of smooth map between manifolds

Given a smooth ($C^{\infty}$) map $\phi: V \rightarrow SU(n)$ where $V$ is a (finite dim, real) vector space (of potentially very large dimension) and $SU(n)$ is the special unitary Lie group, what ...
2
votes
0answers
57 views

Real form and real structure on a complex Lie group

E.B.Vinberg and A.L.Onishchik in their book give the following two definitions. For a complex Lie group $G$ its real Lie subgroup $H$ is called a real form of $G$, if a) the Lie algebra $L(H)$ of ...
1
vote
0answers
19 views

A question and a conjecture on $USp(N)$ group

$USp(N)$ with $N$ an even integer is defined as the group of unitary matrices $M$ that satisfy $M^TJM=J$, where $M^T$ is the transpose of $M$ and $J$ is the anti-symmetric $N$-by-$N$ matrix ...
2
votes
1answer
38 views

Is there a name for this kind of space?

Assume a Riemannian symmetric space $G/H$ where the decomposition of the Lie algebra of $G$ is $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$. It is a known fact that if $\mathfrak{h}$ is the Lie ...
1
vote
1answer
18 views

Orthogonal complex matrices: polar decomposition

Is there a decomposition of $SL_n(\mathbb C)$ as a product of $O_n(\mathbb C)\times Sym_n(\mathbb C)$ ? I mean is there a result as the polar decomposition but with orthogonal (not unitary)? thanks ...
1
vote
0answers
38 views

Unknown proof Lie Algebra

I have a calculation where I do not know what it actually shows. I think it tells me that for right invariant vector fields, the commutator is again right invariant. Maybe somebody here could help me ...
3
votes
0answers
18 views

Weight spaces of a irreducible representation of $\mathfrak{gl}(n, \mathbb{C})$.

Let $\mathfrak{gl}(n,\mathbb{C})$ be the general linear Lie algebra. Let $\{E_{s,t}\}_{1\leq s,t,\leq n}$ be the standard basis for it. And set its Cartan subalgebra $\mathfrak{h}$ to be ...
1
vote
0answers
30 views

Dimension of Conjugacy class in $SU(n)$

Consider $D \in SU(n)$ ($n$ a multiple of 4), a diagonal matrix with values $\pm 1$ on the diagonal and with trace 0 (only possible for $n$ a multiple of 4). There are $n \choose n/2$ such matrices. ...
1
vote
0answers
12 views

Relation between induced and coinduced spaces

Let $G$ be a compact Lie group and $H$ a closed subgroup of it. Let $X$ be a $G-$space. The induced $G-$space is defined to be $$G\times_H X$$ with the equivalence $(gh, x)=(g, hx)$, for any $g\in G, ...
6
votes
1answer
61 views

When does covering preserve rational cohomology?

Let $X$ and $Y$ be compact manifolds. $p:X \rightarrow Y$ is a covering. Generally it is not true that $$ H^* (X , \mathbb{Q} ) = H^* (Y , \mathbb{Q} )$$ For instance, if $Y$ is a sphere with $y$ ...
1
vote
1answer
30 views

Characters of a compact group with uniform positivity over $G$

Let $G$ be a compact group and let $\widehat{G}$ denote the set of all equivalence classes of irreducible representations of $G$. For each $\pi \in \widehat{G}$, we use $\chi_\pi$ to denote the ...
1
vote
0answers
26 views

Question 3 chapter 4 in Brian Hall's Lie groups, Lie algebras and their representations.

I am not sure how to solve the following exercise from Hall's textbook: Show that the adjoint representation and the standard representation are equivalent reprensentations of the Lie algebra ...
3
votes
1answer
64 views

Is there an infinite dimensional Lie group associated to the Lie algebra of all vector fields on a manifold?

Since the space $\Gamma(TM)$ of all vector fields on a smooth manifold $M$ is a real Lie algebra with respect to the usual commutator bracket, I was curious if in fact it is the Lie algebra of some ...
1
vote
0answers
24 views

Classification of Differential Equations

I know that there is a theory of integrating (partial) differential equation by finding its symmetries (which form a Lie group) and making corresponding transformation of the domain. I also know ...
3
votes
1answer
28 views

Smooth action of a lie group on a manifold?

Let $G$ be a Lie group and $M$ be a $C^\infty$ manifold. My textbook defines a differentiable action of $G$ on $M$ as a map $$G\times M\longrightarrow M, (g, p)\longmapsto g\cdot p,$$ such that: (i) ...
0
votes
0answers
17 views

Duality between the highest weight vector and lowest weight vector.

Let us consider a self conjugate unitary irreducible representation $D$ of a semisimple Lie group $G$ (though I'd be glad if there is a more general case). If $u$ is the highest weight vector of $D$, ...
0
votes
1answer
27 views

What is the Lie group that leaves this matrix invariant?

What is the group that leaves \begin{equation} Y = \bigoplus_{j=1}^{k} \alpha_j \mathbb{I}_{2n_j\times 2n_j} \end{equation} invariant under congruence ($Y = XYX^T$) where $\alpha_j \in \mathbb{R}$ ...
4
votes
1answer
66 views

Which Lie groups are also symmetric spaces?

I've scanned some of the literature on this, but couldn't find an answer to the following simple questions (probably because I'm not an expert): Q1: Let G be a Lie group with a left-invariant metric. ...
0
votes
1answer
26 views

Complete misunderstanding of Lie groups and representations

Consider a particular representation of $\operatorname{SO}(2,\mathbb{R})$: \begin{equation} \begin{pmatrix} \operatorname{cos}(\theta) & \operatorname{sin}(\theta) \\ ...
3
votes
1answer
46 views

Closedness of connected semisimple Lie subgroups of semisimple groups

A connected semisimple Lie subgroup of $SO(n)$ is closed in $SO(n)$ (Kobayashi and Nomizu, 1963, p. 279). Can we extend this result to all semisimple groups, put differently, is any connected ...
1
vote
1answer
28 views

A reference for the Tannaka-Krein theorem

I am looking for a reference for the Tannaka-Krein theorem on compact groups. By the Tannaka-Krein theorem which is also called (classic) Tannaka duality (because of the quantum theory), I mean the ...
1
vote
1answer
48 views

An short exact sequence of $\mathfrak{g}$ of which head and tail are in category $\mathcal{O}$.

Let $\mathfrak{g}$ be a finite-dimensional, semisimple Lie algebra over $\mathbb{C}$. Let $$ 0\rightarrow X \rightarrow Y \rightarrow Z \rightarrow 0 $$ be a short exact sequence of ...
2
votes
1answer
25 views

Holonomy reduction from constant spinors

Let $(M,g)$ be a $d$-dimensional Riemannian oriented, spin, manifold, and let us denote by $S$ the corresponding spinor bundle. The Levi-Civita connection $\nabla$ on $(M,g)$ lifts to a unique spin ...
0
votes
0answers
32 views

do (everywhere) continuity and linear directional derivatives imply differentiable?

Let $f: \mathbb{R}^m\rightarrow \mathbb{R}$ be an everywhere continuous function and suppose there exists a linear map $L: \mathbb{R}^m\rightarrow \mathbb{R}$ such that $$\lim_{t\rightarrow 0} ...
2
votes
0answers
35 views

Flow of a left invariant vector field on a Lie group equipped with left-invariant metric and the group's geodesics

I think the answer to my question is known to many other people, but I'm still getting confused. Let $G$ be a (possibly infinite dimensional also) Lie group and $g$ be its Lie algebra. Consider the ...
0
votes
0answers
24 views

Prove that orthogonal n x n matrices form a $C^1$ surface of dimension n(n-1)/2 in $\mathbb{R^n}^2$ [duplicate]

Consider the function $F:Mat_n → Sym_n$ defined by the formula $F(A) = A∗A$. $Mat_n$ denotes the vector space of n × n matrices with real entries, while $Sym_n$ denotes the vector space of symmetric ...
1
vote
1answer
26 views

Globally defined exponential in a particular homogeneous space

I'm currently working in a particular conformal compactification/completion of the Minkowski space-time, but I'm stuck at showing that the exponential of every vector field in it is globally defined. ...
2
votes
1answer
34 views

Calculate the pushforward of smooth map between manifolds

Let $\Phi : GL(n)\rightarrow Sym(n)$ be defiened by $\Phi (A)=AA^T$. I can not see how to get the "right" pushforward, I.e I want help in understanding the pushforward $\Phi _*:M_I(n)\rightarrow ...
2
votes
1answer
42 views

Is O(1) a Lie Group?

In reading Georgi (Lie algebra in particle physics) I reaf at page 43 the following definition of Lie Gruoup: "a lie gruoup is a group whose elements depend smoothly on a set of continuous ...
0
votes
0answers
18 views

How to construct generators and Lie Algebra for Lorentz group?

I'm trying to figure out Lorentz group in 2+1. First of all, I am physicist and I'd like to think the special orthgonal group as a combination of rotation and translation in space. Then I construct it ...
1
vote
0answers
37 views

De Rham cohomology of $T^n$ using Künneth formula and Chevalley-Eilenberg theorem.

I want to calculate $H^*(T^n)$ with ring structure using both of these methods. Künneth formula gives $$ H^p(T^n)=H^p(S^1\times T^{n-1})=\bigoplus_{i+j=p}H^i(S^1)\otimes H^j(T^{n-1}) $$ for each ...