Skip to main content

Questions tagged [lie-groups]

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

Filter by
Sorted by
Tagged with
3 votes
2 answers
1k views

Representations of reductive Lie group

Let $G$ be a reductive algebraic group and $\varrho$ a representation of $G$ in $GL(n)$. Is it true that $\varrho$ is completely reducible? Moreover, how are related the representations of the Lie ...
Michele Torielli's user avatar
2 votes
0 answers
134 views

Finite subgroups of compact simple Lie groups [duplicate]

The finite subgroups of $SU(2)$ consist of the symmetry groups of the Platonic solids plus the finite subgroups of $O(2)$. I would like to know if there are any results concerning $SU(3)$. In ...
Eugene Z. Xia's user avatar
1 vote
1 answer
166 views

Directed graphs and Compact Lie Groups

Is there a method for associating the edges and vertices of an arbitrary directed graph with the irreducible representations of a compact Lie group and the intertwiners of the adjacent edge ...
A. H. Najmi's user avatar
3 votes
0 answers
78 views

Can Bruhat cells in semi simple groups be induced from matrices?

Let $G$ be a semisimple Lie group. Embed it as a subgroup into a special linear group of suitable rank, $SL(n)$ (real or complex). The question is: is it always possible to find such an embedding, ...
user59308's user avatar
2 votes
1 answer
295 views

Sg: How to Show this Sequence is Exact?

Hi,All: I am seeing a result in which the following sequence, in the context of the genus-g surface Sg, is described as being exact: 1-->Tg-->$M^{(2)}g$-->$Sp^{(2)}(2g,\mathbb Z)$-->1 Where : i)Tg ...
Larry's user avatar
  • 105
1 vote
1 answer
489 views

generalisation of GL(3,R) polar decomposition

Does polar decomposition work when the 'orthogonal' matrices are not orthogonal wrt to the identity ($O^TO=Id$), but wrt to some other symmetric matrix $K$ (i.e. $O^TKO=K$)? Specifically, $GL(3,R)$ ...
em12's user avatar
  • 11
1 vote
1 answer
558 views

Understanding manifold GL+(3,R)/SO(3) ?

I'm trying to better understand the manifold GL+(3,R)/S0(3) which is diffeomorphic to positive definite symmetric matrices. My motivation is to understand U in F = RU where F in GL+(3,R) = deformation ...
John Craighead's user avatar
1 vote
1 answer
390 views

nullity of the second fundamental group of a Lie group

Can anyone tell me why it is that Lie groups seem to have their second fundamental group $\pi_2(G)$ equal to $0$, or provide me with a link to an article or a book reference? I came across this fact ...
Olivier Bégassat's user avatar
2 votes
0 answers
91 views

Is this functional maximized by SU(2) coherent states?

Let $D : SU(2)\mapsto\mathbb{B}(\mathbb{C}^{d})$ be an unitary irreducible representation of SU(2). Denote the spin of this representation by S (i.e. $d = 2S+1$). Define the functional $F$ by $$F(\...
jjcale's user avatar
  • 2,753
0 votes
0 answers
65 views

irreducible representation of a simple Lie group where each element has a fixed point

I was wondering if it possible that a simple Lie group $G$ could have a continuous irreducible representation on a finite-dimensional real vector space $V$ in which each element of $G$ has a non-zero ...
Rupert's user avatar
  • 2,125
3 votes
0 answers
242 views

criterion for deciding whether the product of a sequence of Givens rotations can reach the full special orthogonal group

By Givens' rotation $R(1,2;\theta)$ I mean a matrix which has the $$\begin{pmatrix} \hphantom{-}\cos \theta &\sin \theta \cr -\sin \theta & \cos \theta \end{pmatrix}$$ $2 \times 2$ block at ...
John Jiang's user avatar
  • 4,466
2 votes
1 answer
420 views

Compatible Iwasawa decomposition for embedding of the orthogonal Lie group

I am looking for an embedding of the orthogonal Lie group O(n,C) into GL(m,C) such that the standard Iwasawa decomposition (also known as the QR-decomposition) for the group GL(m,C) induces an ...
Eachara Donk's user avatar
5 votes
1 answer
561 views

What is the Schouten bracket for the Chevalley-Eilenberg complex with coefficients in a nontrivial module?

Let $\mathfrak g$ be a Lie algebra. The Chevalley-Eilenberg complex is defined to be $\wedge^* \mathfrak g$ with differential $d\colon \wedge^* \mathfrak g\to \wedge^{*-1}\mathfrak g$ defined by $$d(...
Jim Conant's user avatar
  • 4,898
10 votes
0 answers
686 views

Is endoscopy interesting in simply-laced cases?

Let $G$ be a complex algebraic group, and write $Z(g)$ for the centralizer of a semisimple element $g$ in $G$. I will assume $G$ is simply connected, in which case $Z(g)$ is connected. Let $G^\vee$ ...
David Treumann's user avatar
2 votes
1 answer
295 views

Inverting the integration along a subgroup

Given a locally compact group $G$ and a closed subgroup $H$, one often uses an operator of the form $$P: C_c(G) \rightarrow C_c(H \backslash G), \qquad Pf(Hg) = \int_H f(hg) d_H h,$$ where $d_H h$ ...
Marc Palm's user avatar
  • 11.2k
2 votes
0 answers
153 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 ...
user36931's user avatar
  • 1,331
7 votes
2 answers
559 views

Can one calculate the (co)homology of the loopspace of a Lie group from its Lie algebra?

Compact connected simply-connected Lie groups have so much structure that you can calculate their cohomology from their Lie algebras using Lie algebra cohomology (certain Ext-groups) and similarly ...
skupers's user avatar
  • 8,167
1 vote
2 answers
563 views

Reps of groups and reps of algebras

I've got what might be a couple of very basic questions on the fundamental representations of locally isomorphic semi-simple Lie groups and their relationship to representations of the corresponding ...
fourthinternational's user avatar
4 votes
0 answers
119 views

Topological obstruction to icosahedral symmetry?

Let $G$ be a compact simple lie group of rank $n$. Then the Poincaré series of $G$ is given by $$P(G,q)=\prod_{i=1}^n (1+q^{2d_i-1}),$$ where the integers $d_1\leq d_2\leq \cdots \leq d_n$ are the ...
Drew Armstrong's user avatar
3 votes
1 answer
515 views

Integral subgroup theorem for Banach-Lie groups

Let $G$ be a Banach-Lie group with Lie algebra $\mathfrak g$ and $\mathfrak h$ a closed subalgebra. Using the exponential map and the Baker-Campbell-Hausdorff-formula one constructs a local Lie group $...
Claudio Gorodski's user avatar
5 votes
0 answers
281 views

Is the "Toeplitz algebra" the representation ring of a Hopf algebra related to SU(2)?

More precisely, does there exist a Hopf algebra $H$ whose category of (finite-dimensional, complex) representations is generated under direct sum and tensor product by two one-dimensional ...
Qiaochu Yuan's user avatar
1 vote
0 answers
268 views

how to determine the Weyl group of a diagonalizable subgroup?

Assume that $G$ is a connected compact Lie group (or a connected complex reductive group), and $K$ is a diagonalizable subgroup of $G$. It is known that the Weyl group $W_G(K)$ of $K$, defined as $N_G(...
gang han's user avatar
3 votes
2 answers
355 views

Terminology for nilpotent groups

I have a nilpotent lie group $N$ with upper central series $$1 = N_0 \triangleleft N_1 \triangleleft \dots \triangleleft N_k = N$$ which induces the filtration $$0 = \mathfrak{n}_0 \subset \mathfrak{n}...
Matt Noonan's user avatar
  • 4,014
4 votes
1 answer
473 views

A question on random walks on semisimple groups

Let $G$ be a connected semisimple Lie group without compact factor, $\mu$ be a Borel probability measure on $G$ such that the group generated by $\mathrm{supp}(\mu)$ is Zariski dense in $G$. For ...
lonekite's user avatar
9 votes
0 answers
2k views

Has the Lie group preserving a probability distribution been used in Bayesian statistics?

For a (possibly signed) nondegenerate probability measure $\pi$ on $\{1,\dots,n\}$ define $$\langle \pi \rangle := \{R \in \operatorname{STO}(n): \pi R = \pi \}.$$ Here $\operatorname{STO}(n)$ denotes ...
Steve Huntsman's user avatar
6 votes
1 answer
403 views

Orbits for homogenous complex polynomials under unitary rotation of variables

Let's have two complex homogeneous polynomials of degree $k$: $f(z_1,\cdots,z_n)$ and $g(z_1,\cdots,z_n)$. We consider rotations of variables in the form of $\vec{z}' = U \vec{z}$, where $U\in SU(n)$. ...
Piotr Migdal's user avatar
  • 1,612
2 votes
0 answers
117 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 ...
prochet's user avatar
  • 3,472
5 votes
0 answers
567 views

Computing centralizers in Lie groups

Let $G$ be a real semisimple Lie group. Really, I only care about $\text{SL}(n,\mathbb{R})$ and $\text{Sp}(2n,\mathbb{R})$. I'd like to perform a computer search for a finite group with a certain ...
J Newman's user avatar
  • 101
1 vote
1 answer
132 views

Lorentz quotient and orientation

$$ U \; = \; \left( \begin{array}{cc} 0 & 1 \\\ 1 & 0 \end{array} \right) , $$ Given a real oriented vector space $V$ with inner product, form Lorentzian $L = V \oplus U....
Will Jagy's user avatar
  • 25.7k
8 votes
0 answers
388 views

Reference Request - Spaces of Smooth Vectors

I was recently looking for examples of non-nuclear spaces of smooth vectors of representations of Lie groups. I'll recall the basic definitions. Let $\pi$ be a unitary irreducible representation of a ...
shamovic's user avatar
  • 431
1 vote
0 answers
158 views

Zariski dense subgroup of $SL(3,\mathbb{R})$

Let $\Delta$ be a Zariski dense finitely generated subgroup of $SL(3,\mathbb{R})$. Assume that $\Delta$ contains no element of finite order. Then, does there exist a finite-order element $A \in SL(3,\...
kchoi's user avatar
  • 133
1 vote
0 answers
174 views

Automorphism of a Lie group which preserves a maximal torus is necessarily an inner automorphism?

Let $G$ be a connected Lie group with a maximal torus $T$. Suppose $\sigma$ is an automorphism of $G$ so that $\sigma(T)=T$. Then can we conclude that $\sigma$ is an inner automorphism of $G$? (i.e. ...
Li Yu's user avatar
  • 351
2 votes
1 answer
467 views

Difference between action of group element and Lie algebra element in smooth representation

Let $G$ be a real reductive Lie group, $P$ its parabolic subgroup with Levi decomposition $P=MN$, let $\mathfrak{n}$ be the nilpotent Lie algebra of $N$. Suppose given a smooth representation $(\pi,V)$...
user1832's user avatar
  • 2,709
7 votes
1 answer
360 views

Standard reference for equivalence of PU(2) action on $\mathbb{C}\mathbb{P}^1$ and SO(3) action on $S^2$

The equivalence I describe below is well-known, but I'd like a simple standard reference for it. Consider $\mathbb{C}\mathbb{P}^1$, the set of one-dimensional subspaces of $\mathbb{C}^2$, which has a ...
Tracy Hall's user avatar
  • 2,210
2 votes
0 answers
339 views

volume form in a symmetric space of real rank one

I want to compare the two canonical volume forms on a noncompact symmetric space fo real rank one. The first one is the volume form induced by the Riemannian structure given by the Killing form ...
emiliocba's user avatar
  • 2,446
2 votes
0 answers
115 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)$ ...
user6818's user avatar
  • 1,893
4 votes
1 answer
446 views

Dolbeault Operators for $CP^1$ as $\mathfrak{su}(2)$ Actions.

This question is related to a previous question of mine. More specifically, it results from my attempts to understand the simplest incarnation of a phenomenon mentioned therein. Put a grading on the ...
Jean Delinez's user avatar
  • 3,399
2 votes
1 answer
176 views

Chains in $K\backslash G/B$ lying over a closed $K$-orbit

Let $G$ be a complex connected reductive Lie group, $\theta$ an involution, and $K = G^\theta$ the fixed-point subgroup. Then $K$ has finitely many orbits on $G/B$, one of which is open and (quite ...
Allen Knutson's user avatar
2 votes
0 answers
54 views

Conjugacy classes of a triple

In the paper " THE COMPONENT GROUPS OF NILPOTENTS IN EXCEPTIONAL SIMPLE REAL LIE ALGEBRAS" by D. King I am unable to proof the lemma 3.7 which is omitted there. The lemma is following: Let $\...
mathuser's user avatar
  • 116
1 vote
0 answers
85 views

Analytic vectors of elliptic elements of the enveloping algebra in a strongly continuous representation of a Lie group

Let $G$ be a semi-simple real Lie group, and $\rho$ a strongly continuous unitary representation of $G$ in a Hilbert space $H$. Let $\mathfrak{g}$ be its Lie algebra and $d\rho$ be the infinitesimal ...
Samuel Monnier's user avatar
5 votes
1 answer
384 views

Conjugacy classes with elliptic limit points

Let $G$ be a reductive algebraic group over $\mathbb R$ and $K$ a maximal compact subgroup. Then we refer to the conjugacy class in $G$ of some $k \in K$ as an elliptic conjugacy class. Question: ...
Tobias Hartnick's user avatar
2 votes
1 answer
138 views

Closed subgroups of $Tr_1(d,\mathbb{Q}_p)$

For a field $K$ let denote by $Tr_1(d,K)$ the nilpotent group of all upper triangular $d\times d$-matrices over $K$ with each diagonal entry equal to 1. Let $\mathbb{Q}_p$ the field of $p$-adic ...
Diego Sulca's user avatar
1 vote
0 answers
360 views

symplectic representations: when could the center act trivially?

I'm considering a problem about symplectic representation of real reductive group, which fits more or less into the setting of symplectic representations discussed in Milne's survey ''Shimura ...
turtle's user avatar
  • 313
2 votes
0 answers
294 views

Numerical integration on manifolds

Hi all, I need to integrate a system of coupled ODE in a manifold (SU(N)). I know that Runge-Kutta methods do not translate "automatically" to a integration scheme that preserves the manifold ...
Alberto's user avatar
  • 163
7 votes
0 answers
509 views

Small sum of group elements acting as rank 1 matrix.

I am interested in constructing small (as possible) group $G$ with large dimensional irreducible representation $\rho,V$ such that exist three elements of $g_1,g_2,g_3\in G$ such that for some $c_1,...
Klim Efremenko's user avatar
0 votes
0 answers
153 views

Nontrivial copies of SO(r) in SO(n)

If $G=SO(n)=SO(\mathbb R^n)$ and $r\leq n$, it is easy to find a closed subgroup $H\leq G$ that is isomorphic to $SO(r)$, just let $S\subseteq\mathbb R^n$ be an $r$-dimensional subspace and let $H=\{g\...
Marcos Cossarini's user avatar
9 votes
1 answer
266 views

Branch cuts of $GL_n^+(\mathbb{R})$

Branch cuts Let $GL_n^+(\mathbb{R})$ denote the group of $n\times n$ real matrices with positive determinant. Topologically, $GL_n^+(\mathbb{R})$ is connected, and $$ \pi_1(GL_2^+(\mathbb{R})) = \...
Greg Muller's user avatar
1 vote
1 answer
358 views

What does the weights of Lie group mean?

Let $\Delta=\{\alpha_1,\alpha_2\}$ be the simple root system of the exceptional Lie group $G_2$ with $\alpha_1$ is short and $\alpha_2$ is long, so $\lambda_1=2\alpha_1+\alpha_2,\lambda_2=3\...
tiansong's user avatar
  • 139
2 votes
0 answers
165 views

Reference request: injective homomorphisms between unitary groups

Let $U(n)$ be the group of unitary $n\times n$ matrices over $\mathbb{C}$. Is there a classification of the continuous, injective group homomorphisms $U(m)\to U(n)$? If so, is there a modern account ...
Paul McKenney's user avatar
9 votes
0 answers
391 views

Reflection groups in O(n+1,n) arising `in nature'?

For a while a friend and I have been thinking about a family of integral symmetric bilinear forms of signature $(n+1,n)$. Such lattices in our case arise 'in nature' (in a certain problem about vector ...
Chris Brav's user avatar
  • 1,859