Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
2,933
questions
1
vote
1
answer
137
views
Is the irreducible $ \mathrm{SU}(3) $ subgroup of $ \mathrm{SU}(6) $ maximal?
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}\DeclareMathOperator\SU{SU}\DeclareMathOperator\U{U}\DeclareMathOperator\S{S}\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\PSL{PSL}\...
4
votes
0
answers
95
views
Representation theory of spinors - Understanding how $\mathrm{SO}_3$ acts in particle physics
$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}$I have started to study particle physics, beginning with wikipedia and I am now reading David ...
3
votes
1
answer
176
views
Finite-maximal subgroups of orthogonal groups
I define a finite subgroup $H$ of a group $G$, finite-maximal if for any $g\in G\setminus H$, $\langle H,g\rangle$ is infinite.
My question is now to find the finite-maximal subgroups of $\mathrm{SO}...
1
vote
0
answers
54
views
Carnot–Carathéodory norm and the inner product norm
It is well-known that given the extended tensor algebra $T((\mathbb{R}^d))$ one may extract a separable Hilbert space by considering the subset
$$T^1((\mathbb{R}^d)) := \left\{h \in T((\mathbb{R}^d)) :...
6
votes
1
answer
158
views
Does every Lie algebra appear as centralizer of an element in a semisimple Lie algebra?
Given a finite dimensional, complex, semisimple (fcss) Lie algebra $\mathfrak{g}$ and an element $x\in\mathfrak{g}$, denote by $\mathfrak{g}^x$ the centralizer of $x$ in $\mathfrak{g}$ i.e. the set $\{...
9
votes
0
answers
303
views
Mappings of the sphere (to itself) defined by homogeneous polynomials
Preamble
$\DeclareMathOperator\SO{SO}$Let $\mathbb{S}^m\subset \mathbb{R}^{m+1}$ be the standard unit sphere. An observation of Do Carmo and Wallach states that
If $G$ is a subgroup of $\SO(m+1)$ ...
4
votes
1
answer
126
views
Which Lie groups admit finite generation by a set of Lie algebra elements? And what are some known choices of generators which realize this?
Consider a (finite-dimensional) real connected Lie group $G$ with Lie algebra $\frak{g}$. Take a generating set $\mathcal{G} = \{ X_1, \cdots X_n \} $ of $\frak{g}$, i.e. such that any element of $\...
1
vote
0
answers
21
views
Analyticity of the semigroup generated by the sublaplacian on unimodular Lie group
Let $G$ a connected unimodular Lie group, endowed with Haar measure $X={X_1,\cdots,X_k}$ a Hörmander system of left-invariant vector fields. The sublaplacian $\Delta = - \sum_{i=1}^k X_i^2$ generates ...
3
votes
0
answers
99
views
Reliable literature with the list of centers of all simply connected simple real Lie groups
Wikipedia webpage https://en.wikipedia.org/wiki/Simple_Lie_group contains a full list of all simple (centerless) real Lie groups. One of the columns in tables (therein) contains fundamental groups of ...
3
votes
0
answers
45
views
One parameter subgroups of reductive algebraic groups
If I have a reductive algebraic group $G$ defined over a non-archimedean local field $F$. We can define a one-parameter subgroup to be a group homomorphism from $G_{m}$ to $G$. I was wondering, if I ...
5
votes
0
answers
77
views
Spherical functions in the space of functions on real Grassmannians
Let $G=O(n)$ be the orthogonal group. Let $K=S(O(k)\times O(n-k))$ be the subgroup of $O(n)$.
Then the pair $(G,K)$ is symmetric, and the homomogeneous space $G/K$ is the Grassmannian of $k$-...
6
votes
0
answers
104
views
Explicit representatives for Borel cohomology classes of a compact Lie group?
I'm looking for explicit representatives of $H^3_{Borel}(G, R/Z)$, i.e. a measurable function $G^3\to R/Z$ representing a generator of the cohomology group. (Here $G$ is a compact (perhaps simple) ...
1
vote
0
answers
59
views
Is the adjoint action of $\mathrm{SU}(2)$ on the Schwartz space proper and free?
$\DeclareMathOperator\SU{SU}$Let $t_1, t_2, t_3$ be generators of the Lie algebra $\mathfrak{su}(2)$.
Let us consider a Schwartz space $\mathcal{S}$ defined as
\begin{equation}
\mathcal{S}:= \Bigl\{ \...
3
votes
2
answers
249
views
Equidistribution on $\mathrm{SU}_2$
Let $F_{a_1,a_2}$ be the free group with a free generating set $\{a_1,a_2\}$ of two elements, and for any $n\in\mathbb{N}$, set $A_n=\{\text{reduced words in } F_{a_1,a_2} \text{with length} \leqslant ...
0
votes
0
answers
46
views
A question on projective unitary representation of a Lie group
$\DeclareMathOperator\GL{GL}$Let $\mathcal{H}$ be a Hilbert space and $\GL(\mathcal{H})$ denote the group of invertible linear transformations of $\mathcal{H}$. Assume that $G=\{ f:\mathbb{P}\mathcal{...
7
votes
1
answer
175
views
Rigidity/flexibility of Nil-, Sol-, $\widetilde{\rm SL}_2$- structures on closed 3-manifolds
It is known that closed spherical and hyperbolic 3-manifolds are rigid. I.e., if two such manifolds are diffeomorphic, then they are isometric (moreover, I think, that every diffeomorphism is isotopic ...
14
votes
0
answers
469
views
Is the monster group maximal in SO(196883)?
$\DeclareMathOperator\SO{SO}$The smallest degree of a nontrivial complex representation of the monster group $ M $ is $ 196883 $. This irrep has Schur indicator $ 1 $, so the image must lie in the ...
2
votes
0
answers
86
views
Techniques for computing integrals on $G/K$
Edit: I originally tried writing a simpler question, but to make more clear what I want I wrote the general question below
Let $G$ be a compact group with compact subgroup $K\subseteq G$ (everything ...
3
votes
1
answer
113
views
Embed exceptional non-compact simply connected simple Lie groups into classical simple Lie groups with preserving centers
It is well known that there are exactly 22 exceptional simple real Lie algebras (5 compact, 5 split, 5 complex and 7 others). To each of these algebras there corresponds a unique simply connected (...
0
votes
0
answers
240
views
Any "inherent" definition of $\mathrm{SU}(2)$ independent of any matrix representation?
$\DeclareMathOperator\SU{SU}\SU(2)$ is explained in detail here.
However, if I know right, this definition itself is known the "fundamental representation".
I wonder if there is any "...
4
votes
0
answers
235
views
Homotopy group of maps into S^3 using its Lie group multiplication to define the group operation
The Bruschlinsky group of maps of a space X into S1 up to homotopy, using the multiplication on S1, is well-known to equal the first cohomology group of X (at least assuming X is a reasonably nice ...
2
votes
0
answers
42
views
Topology of an orbit space constructed from a Fréchet space under the "local" action of some "smooth" group
Let $G$ be a nontrivial connected compact subgroup of the general linear group $\operatorname{GL}(\mathbb{R}^3)$. For example, we may take $G$ to be $\operatorname{SO}(3)$.
Next, let $\mathcal{S}(\...
7
votes
0
answers
180
views
Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?
Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...
6
votes
1
answer
342
views
All surjections onto trivial irrep split equivalent to being reductive
$\DeclareMathOperator\Hom{Hom}$Let $ G $ be linear algebraic group over a field $ k $. Is it true that every short exact sequence of algebraic $ G $-representations
$$
0 \to W \to V \to k \to 0
$$
...
5
votes
1
answer
320
views
Lattice generated by parabolics
Let $G$ be a semisimple Lie group of split-rank one and let $\Gamma$ be a non-cocompact lattice which is torsion-free.
For the group $G=\mathrm{SL}_2(\mathbb{R})$ it then follows that $\Gamma$ is ...
3
votes
0
answers
154
views
Action of complex Lie group on Dolbeault cohomology
Let $M$ be a compact complex manifold acted holomorphically by a complex Lie group $G$. Let $F$ be a holomorphic $G$-equivariant vector bundle over $M$.
Consider the natural representation of $G$ in (...
4
votes
0
answers
82
views
Commutator-realisable connected simply connected Lie groups
Suppose that, for a connected simply connected real Lie group G, there is a Lie group H such that
G = H′ (the commutator subgroup of H). Can H always be chosen to be connected; that is, is there a ...
1
vote
0
answers
40
views
What is the form of the incomplete Eisenstein series on PGL_2(C)?
Let $F$ be an imaginary quadratic number field. Let $G = \mathrm{PGL}_2(\mathbb{C}) $ and $\varGamma = \mathrm{PSL}_2(\mathcal{O}_F)$. We have the Iwasawa decomposition $G = NAK$ where $K = \mathrm{...
0
votes
1
answer
71
views
Is the union of 1-dimensional pro-tori in a finite dimensional pro-torus dense?
Is the union of 1-dimensional compact connected abelian subgroups in a finite dimensional compact connected abelian group dense?
1
vote
1
answer
142
views
For topological torus action, there is a subcircle whose fixed point is the same as the torus
Let $T=\mathbb{S}^{1}\times \mathbb{S}^{1}\times \cdots \times \mathbb{S}^{1}
$ ($n$ times) be an $n$-dimensional torus acting on any topological space $X$.
The group $G$ is said to act on a space $X$ ...
4
votes
1
answer
212
views
Let $G \subset \mathrm{GL}(n)$ be a matrix Lie group. Does there exist an affine connection under which the matrix and manifold exponential coincide?
Let $G\subset \operatorname{GL}(n)$ be a matrix Lie group. I am curious about curves $\gamma(t) = g \exp(tv)$, where $g \in G$, $v \in \mathfrak{g}$, and $\exp(.)$ is the matrix exponential. If we ...
1
vote
0
answers
120
views
A question about fixed point set of the compact group actions
Let $G$ be an infinite compact Lie group acting on a compact space $X$.
Denote $F=F(G,X)=\{x\in X$ : $gx=x$ for all $g\in G\}$.
Show that if $H^*(B_{G_x};\mathbb{Q})=0$ for all $x \notin F$ and $T^1$ ...
1
vote
0
answers
148
views
N(H)/H and the Weyl group
Let $ H $ be a connected subgroup of $ G=\mathrm{SU}(n) $ such that $ N_G(H)/H $ is finite. Is $ N_G(H)/H $ always a subgroup of the symmetric group $ \mathrm{S}_n $?
I just noticed this from the ...
2
votes
1
answer
155
views
Commensurability classes of subgroups of a nilpotent group
Here is a question I stumbled upon in my research.
Question: Given a finitely generated nilpotent group $G$, do its subgroups fall into finitely many abstract commensurability classes?
Recall that two ...
1
vote
0
answers
110
views
A combinatoric identity for characters of reductive groups
Let $G$ be a reductive group over an algebraic closed field (of char 0 if necessary). Let $T\subset G$ be a maximal torus and $S=\mathrm{Sym}^*(X(T))$ be the symmetric algebra of characters of $T$. ...
0
votes
1
answer
96
views
Classification of all connected simple real Lie groups?
Is there an explicit(!) classification of all(!) connected real simple Lie groups up to isomorphism? Not just simply connected or adjoint, but all of them?
4
votes
1
answer
195
views
If a discrete and faithful representation of a surface group has proximal values, does the attracting points map have a continuous extension?
For some context, I'm studying the paper Anosov Representations and Proper Actions [GGKW].
$G$ denotes a non-compact real reductive Lie group of rank greater than $1$, $\Gamma$ denotes the fundamental ...
0
votes
0
answers
78
views
Lattice not contained in any connected subgroup is not contained in any positive dimensional subgroup
Let $ G $ be a simple Lie group and let $ \Gamma $ be a lattice in $ G $. If $ \Gamma $ is not contained in any connected subgroup of $ G $ does that imply that $ \Gamma $ is not contained in any ...
2
votes
0
answers
150
views
A property of the Riemannian metric on the symmetric space $X_\textsf{d}=\textsf{SL}(d,\Bbb R)/\textsf{SO}(d)$
Consider the symmetric space $X_\textsf{d}=\textsf{SL}(d,\Bbb R)/\textsf{SO}(d)$. For any $M\in X_d$, by transporting the Killing form on $T_I(X_d)$ (the space of symmetric matrices with trace zero) ...
2
votes
0
answers
115
views
The double quotient of SU(N) by its diagonal maximal torus
$\DeclareMathOperator\SU{SU}$The special unitary group $\SU(N)$ contains $T^{N-1}$ as a maximal torus, which we take to be the diagonal subgroup of $\SU(N)$. Can we describe the double quotient space
$...
3
votes
1
answer
142
views
Symmetric tensor of highest weight modules for $\mathrm{SU}(2)$
Let $V_i$ be the $(i+1)$-dimensional representation of the special unitary group $\mathrm{SU}(2)$ with the highest weight $i$. Is there any uniform way to compute the irreducible decomposition for the ...
4
votes
1
answer
114
views
How are Lie groups and polynomial resolvents related?
I came across the following sentence in Stevenhagen and Lenstra's wonderful little article Chebotarëv and his density theorem:
Nikolai's interest in [polynomial] resolvents led him to study Lie ...
0
votes
0
answers
109
views
How to build a representation of the diffeomorphism group of $U(n)$?
Given that $U(n)$ is a smooth manifold I would like to know if there is a way of building a representation of $\text{Diff}(U(n))$ once you pick a particular (finite dimensional) representation of $U(n)...
11
votes
1
answer
419
views
Coordinate ring of universal centralizer (BFM space)
In the paper titled Equivariant (K-)homology of affine Grassmannian and Toda lattice, the authors, Roman Bezrukavnikov, Michael Finkelberg, and Ivan Mirković, derived the coordinate ring of each ...
0
votes
0
answers
76
views
Character of principal series representations of $\mathrm{GL}(n,\mathbb{R})$
I am looking for an explicit form of the character of principal series representations of $\mathrm{GL}(n,\mathbb{R})$.
At the moment I am particularly interested in the case $n=2$.
A reference would ...
6
votes
1
answer
411
views
Does $\pi_1(H)=0\Rightarrow \pi_3(G/H)=0$ for a simple and simply connected Lie group $G$?
$\DeclareMathOperator\SU{SU}$Let $G$ be a simple and simply-connected Lie group and $H\neq 1$ be a simple and simply connected subgroup, is it true that $\pi_3(G/H)=0$? If not, what is a counter-...
2
votes
0
answers
106
views
On the character of a representation of $\mathrm{GL}(n,\mathbb{R})$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ad{Ad}$Let $G=\GL(n,\mathbb{R})$. Given a continuous admissible irreducible representation of $G$ in a Frechet (or a Banach) space. Then its character ...
6
votes
1
answer
1k
views
If two Lie algebras are isomorphic, under which conditions will their Lie groups also be isomorphic?
Let $G$ and $G'$ be compact connected Lie groups (which are not necessarily simply connected) with Lie algebra $\mathfrak{g}$ and $\mathfrak{h}$. Suppose that the two Lie algebras are isomorphic, ...
0
votes
1
answer
104
views
Conjugacy of Cartan subgroups in $\mathrm{GL}(n)$
$\DeclareMathOperator\SL{SL}$I have probably a very basic question on the structure of semisimple Lie groups. Sorry if it is too elementary.
Let either $G=\SL(n,\mathbb{R})$ or $G=\SL(n,\mathbb{C})$. ...
0
votes
0
answers
29
views
Hilbert representation with compactness and *-property
Given a continuous representation $\pi$ of a Lie group $G$ on a Hilbert space $H$, not unitary.
Suppose that
it is a $\star$-representation for the Lie algebra, i.e., $\pi(X)^\star=\pi(-X)$ on the ...