Questions tagged [lie-groups]
Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.
3,059 questions
1
vote
0
answers
78
views
Closed subgroups in Ratner's orbit closure theorem on unipotent flows
Let $G$ be a semisimple (real or $p$-adic) Lie group and $\Gamma$ a discrete and cocompact subgroup of $G$, as in the setting of Ratner's theorems on unipotent flows (see for example here \url{https://...
- 81
3
votes
2
answers
976
views
The adjoint representation of a Lie group
Let $G$ be a Lie group and $\text{Ad}(G)$ denote its adjoint representation i.e. the adjoint action of the group $G$ on its Lie algebra $\mathfrak{g}$. The adjoint representation is a real $G$-...
- 131
8
votes
1
answer
617
views
$\mathbb{Q}$-forms of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_8(\mathbb{R})$
Let $\mathbf{G}$ be the image of the natural embedding of $\operatorname{SL}_4(\mathbb{R})$ inside $\operatorname{SL}_4(\mathbb{C})\subset \operatorname{SL}_8(\mathbb{R})$. Then $\mathbf{G}$ is an ...
user515519
3
votes
0
answers
67
views
The basic representation of $LU(1)$
Let $H = L^2(U(1),\mathbb{C})$. The "basic" irreducible projective level 1 representation $\mathcal{H}$ of the loop group $LU(1)$ has underlying Hilbert space isomorphic to $\smash{\hat{\...
- 181
0
votes
1
answer
183
views
Finite subgroups of $\mathrm{O}_n(\mathbb R)$ from finite subgroups of $\mathrm{SO}_n(\mathbb R)$
Let $G$ be a finite subgroup of $\mathrm{SO}_n(\mathbb R)$. We also assume $G$ to be "maximal" in the sense that for every $g\in\mathrm{SO}_n(\mathbb R)\setminus G$, we have that $\overline{\...
- 245
3
votes
0
answers
124
views
Branching problem of representation of Lie groups and orbit method
Branching problem asks how a restriction of an irreducible representation of $G$ to a subgroup $H$ decomposes. In case of (real) Lie groups, after labeling irreducible representations via highest ...
- 2,215
5
votes
1
answer
328
views
Is the inclusion of the maximal torus in a simply connected compact Lie group null-homotopic?
Let $G$ be a simply connected compact Lie group and $T$ its maximal torus with inclusion $i:T \hookrightarrow G$.
By simply connectedness of the group $G$ and asphericity of the torus $T$, the induced ...
- 53
3
votes
1
answer
310
views
Heat kernel of left-invariant metric on 3-sphere
This post concerns the heat equation on $S^3 (\simeq \mathrm{SU}(2))$ endowed with an arbitrary left-invariant metric. We think of $S^3$ as the space of unit quaternions, and its Lie algebra $\...
- 161
3
votes
0
answers
99
views
Relation of geometric and polyhedral convergence
By Proposition 3.10(i) of Jorgensen and Marden's 1990 Algebraic and geometric convergence of Kleinian groups, "[A] sequence $\{G_n\}$ of Kleinian groups converges geometrically to a Kleinian ...
- 61
6
votes
1
answer
180
views
Expected value of the length of the shortest non-zero vector in a lattice?
$\DeclareMathOperator\SL{SL}$What is the expected value of the length of the shortest non-zero vector in a (unimodular) lattice? I.e., let $G=\SL_n(\mathbb{R})$ with Haar measure $\mu$, $\Gamma=\SL_n(...
- 609
0
votes
0
answers
66
views
Boundedness of dimension of representations that restrict to a fixed representation of a normal subgroup
Let $G$ be a compact Lie group, $H$ a closed subgroup and $W$ an irreducible real representation of $G$. Then it follows from Frobenius reciprocity and Bott’s definition of induced representation that ...
- 201
10
votes
1
answer
706
views
Where to find English translation of Pansu's paper from Ann. Math?
Where can I find English translation of the following paper?
P. Pansu,
Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un. (French. English summary) [Carnot-...
- 28k
1
vote
1
answer
181
views
Gradient descent under the presence of symmetries
Let $M$ be a Riemannian manifold (I'm happy to assume it is Euclidean space) with a function $f: M \to \mathbb R$ and a group of isometries $G$ acting on $M$ and preserving $f$, i.e., $f(gm) = f(m)$ ...
- 7,746
11
votes
2
answers
1k
views
When does a group act effectively and holomorphically on some Riemann surface?
Given a Riemann surface $X$, we have some fairly standard methods for identifying which groups $G$ admit an effective and holomorphic action $G \times X \to X$. For instance, some fairly elementary ...
- 609
5
votes
0
answers
133
views
Division of fibration by $\Sigma_{n}$ gives Serre fibration
This is related to a question posted on StackExchange: https://math.stackexchange.com/questions/4776877/left-divisor-of-a-fibration-by-compact-lie-group-is-a-fibration. The question there had received ...
- 311
2
votes
1
answer
294
views
Are there always flat connections?
Let $G$ be a simply connected Lie group and $\Gamma$ a cocompact discrete and torsion-free subgroup. Is there a (real or complex) smooth vector bundle $E$ over the manifold $G/\Gamma$, which does not ...
user473423
0
votes
1
answer
210
views
Centers of universal enveloping algebra of complex Lie algebras
Let $\mathfrak{g}$ and $\mathfrak{g'}$ be complex Lie algebras such that $\mathfrak{g}$ is a subalgebra of $\mathfrak{g'}$. Let $Z(\mathfrak{g})$ and $Z(\mathfrak{g'})$ be the centers of the universal ...
- 833
7
votes
1
answer
178
views
Homogeneous metric connections on 3-dimensional Lie groups
Let $G$ be a 3-dimensional unimodular Lie group equipped with a left-invariant metric $q$. Call $P_{SO}$ its oriented orthonormal frame bundle.
Considering the moduli space of connections $\mathscr{B}$...
- 73
1
vote
0
answers
154
views
The space of ergodic elements of a topological or Lie group
Let $G$ be a compact topological group with normalized Haar measure $\mu$. An element $g\in G$ is an ergodic element if the mapping $L_g:G \to G $ with $x\mapsto gx$ is an ergodic map. The ...
- 356
1
vote
0
answers
165
views
Rotation number for homeomorphisms of a Lie group other than $S^1$
Let $G$ be a Lie group whose Lie algebra is $\mathfrak{g}$ with exponential map $\exp:\mathfrak{g}\to G$.
For what kind of Lie group $G$ the standard process of definition of rotation number ...
- 356
6
votes
0
answers
345
views
Why can't a Lie group act transitively on a finite volume hyperbolic manifold?
In the comments on the MathSE question "Is Seifert-Weber space homogeneous for a Lie group?",
it is claimed that if $ M $ is a manifold which admits a finite volume hyperbolic metric (...
- 4,081
4
votes
0
answers
226
views
Is the total space of a $ U_1 $ principal bundle over a compact homogeneous space always itself homogeneous?
Let $ U_1 \to E \to B $ be a $ U_1 $ principal bundle. Suppose that $ B $ is homogenous (admits a transitive action by a Lie group) and compact. Then must it be the case that $ E $, the total space of ...
- 4,081
7
votes
1
answer
433
views
Do the exceptional root systems arise in the real world?
I am looking for a list of real world examples where the exceptional roots systems $E_6, E_7, E_8, F_4$, and $G_2$, and their associated Lie algebras and Lie groups, arise. To make this question a ...
8
votes
3
answers
508
views
Free probability: A unitary group heuristic for the relationship between additive free convolution and free compression
From one perspective, free probability is the study of how the eigenvalues of large random matrices interact under the basic matrix operations. The free probability operations of free additive ...
- 484
2
votes
1
answer
159
views
Adjoint action on orthogonal complement
Consider a compact Lie algebra $\mathfrak{g} \subset \mathfrak{u}(n)$ and its associated connected, compact Lie group $G$. Let $\mathfrak{g}^{\perp}$ denote $\mathfrak{g}$'s orthogonal complement (as ...
- 179
6
votes
0
answers
149
views
Algorithmic representation of the Spin (and Pin) group [duplicate]
Performing algorithmic computations in $\mathit{SO}_n(\mathbb{R})$ or $\mathit{O}_n(\mathbb{R})$ is easy: its elements are represented by $n\times n$ orthogonal matrices of reals so, assuming we have ...
- 32.5k
4
votes
2
answers
596
views
Reference for group-algebra/exp-log like identites in combinatorics
I've encountered several identities in combinatorics that resemble inversion formulas, as shown below,
Here, $f_i, g_k$, $\forall i,k \in \mathbb{N}$, are coefficients of some formal power series.
I ...
3
votes
0
answers
122
views
Names for split Lie groups
Do any of the simply connected simple Lie groups of the split real classical Lie algebras have names other than “the universal cover of _”?
- 2,773
3
votes
1
answer
180
views
A filtration on Drinfeld-Jimbo quantum enveloping algebras
For the universal enveloping algebra $U(\frak{g})$ of a Lie algebra $\frak{g}$, one can define in a natural way an increasing $\mathbb{N}_{0}$-filtration. By the Poincaré-Birkhoff–Witt theorem, the ...
1
vote
0
answers
110
views
Questions on the differential of the Lie logarithm
Let $G$ be a Lie group. Recall the Lie logarithm is well-defined about a neighborhood $U \subset G$ of the identity: $\log:U\to \mathfrak{g}$. I am dealing with a research problem that concerns the ...
- 518
2
votes
0
answers
52
views
Normal form of this group action?
Let $d\in\mathbb{N}$. We consider the vector space $V=\mathbb{C}^2\otimes\mathbb{C}[x_0,x_1]_d$ where $\mathbb{C}[x_0,x_1]_d$ is the space of homogeneous binary forms of degree $d$. We have a natural ...
- 3,031
9
votes
1
answer
1k
views
What are the important open problems about Lie groups?
I know that the theory of Lie groups is a very old subject, and the literature is incredibly vast, so I am wondering what contemporary research on Lie groups is about. What open problems are there in ...
- 231
3
votes
1
answer
258
views
Semidirect product of two linear groups
Let $G$ and $H$ two connected linear Lie groups. Is $G\ltimes H$ also linear?
- 65
4
votes
1
answer
267
views
Eigenforms of the Laplacian on Lie groups
I am a bit rusty in my differential geometry and I would like to confirm that my reasoning below holds, and I have some related questions (and all references to related concepts are of interest to me)....
2
votes
0
answers
105
views
Embeddings of symplectic group into the orthogonal group
Let $\mathfrak{sp}$ denote the complex symplectic Lie algebra and $\mathfrak{so}$ the complex orthogonal one. Do we have an embedding
$$
\mathfrak{sp}_{2n-2} \hookrightarrow \mathfrak{so}_{2n}?
$$
In ...
- 2,751
0
votes
1
answer
243
views
Adjoint action on the universal enveloping algebra and the PBW theorem
Let $\frak{g}$ be a semisimple Lie algebra and $U(\frak{g})$ its universal enveloping algebra. The adjoint action of $\frak{g}$ on itself extends to an action of $\frak{g}$ on $U(\frak{g})$. How does ...
- 157
1
vote
0
answers
70
views
Minimal $K$-orbit on $\mathfrak{g}$
Let $\mathfrak{g}_0$ be a noncompact simple Lie algebra with Cartan decomposition $\mathfrak{g}_0=\mathfrak{k}_0+\mathfrak{p}_0$. Write $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ for the ...
- 951
3
votes
0
answers
85
views
Explicit computation of the transfer in the representation ring for unitary groups
For a compact Lie group $G$ we let $R(G)$ be the ring of finite dimensional complex $G$-representations studied by Segal in http://www.numdam.org/item/PMIHES_1968__34__113_0.pdf.
This comes with extra ...
- 73
1
vote
0
answers
46
views
Weight of adjoint action on a lower central series extension
Let $\mathcal{U}$ be a unipotent Lie $\mathbb{Q}_p$-group scheme, whose associated gradeds from the lower central series filtration are $\mathcal{U}_0 = \mathcal{U}^{\text{ab}}$, $\mathcal{U}_1 = [\...
- 2,907
3
votes
2
answers
326
views
Lie's third theorem via graded geometry
Lie's third theorem : Given any finite dimensional Lie algebra $\mathfrak{g}$, there exists a Lie group $G$ whose Lie algebra is equal to $\mathfrak{g}$.
In one of the talks, speaker mentions that ...
- 6,023
2
votes
0
answers
65
views
Are the integer points of a simple linear algebraic group 2-generated?
Set Up:
Let $ K $ be a totally real number field. Let $ \mathcal{O}_K $ be the ring of integers of $ K $. Let $ G $ be a simple linear algebraic group. Suppose that $ G(\mathbb{R}) $ is a compact Lie ...
- 4,081
4
votes
0
answers
92
views
Lie bracket of general unipotent matrices
Let $k$ be a field (of characteristic $0$). Let
$$
X:=\begin{pmatrix}1&x_{1,2}&x_{1,3}&\cdots&x_{1,n}\\ &1&x_{2,3}&\cdots&x_{2,n}\\ &&1&\cdots&x_{3,n}\\ ...
- 449
15
votes
2
answers
613
views
Existence of a regular semisimple element over $\mathbb{F}_{q}$
This is probably old, a Chevalley level of old, but I'm not at all an expert in this field so I need help.
Let $G$ be a simply connected (almost) simple linear algebraic group defined over $K=\mathbb{...
- 455
0
votes
1
answer
304
views
A Lie group whose Lie algebra is equal to (the Lie algebra? of )all functions with fibrewise polynomial growth
Let $M$ be a Riemannian manifold. We denote by $\mathfrak{g}$ the space of all smooth function $f:TM\to \mathbb{R}$ with fibre wise polynomial growth. Is it a Lie algebra wrt the Poisson bracket ...
- 356
6
votes
1
answer
393
views
An alternative form of the Kazhdan-Lusztig conjecture
Fix a complex semisimple Lie algebra $\mathfrak{g}$. Denote by $W$ the corresponding Weyl group, with length function $\ell$ and Bruhat order $\leq$. Let $\lambda$ be an integral anti-dominant weight. ...
- 1,391
1
vote
1
answer
157
views
Commuting time dependent vector fields and pullback invariance
Let $X_t, Y_t \in C^\infty(\mathbb{R}; \mathfrak{X}^\infty(M))$ be (smooth, or something else if it's necessary) time dependent vector fields.
Is there some analogue of the following fact in finite ...
- 193
3
votes
1
answer
228
views
About finitely generated lattices in Lie groups
Let $G$ be a connected Lie group. Let $\Gamma$ a lattice in $G$ not necessarily uniform (cocompact). Is it true that $\Gamma$ is finitely generated?
- 65
1
vote
1
answer
359
views
Uniqueness of spinor representation
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\SO{SO}\DeclareMathOperator\GL{GL}$I asked a similar question on math stack exchange here, but I wonder if it may be better received here.
Let $n$ be ...
- 391
4
votes
1
answer
183
views
What are some properties of the leading eigenvalue of a product of inversions in mutually tangent spheres?
Let $S_1, \ldots, S_n$ be a collection of $n \geq 4$ pairwise tangent hyperspheres in $\mathbb{R}^{n-2}$ with disjoint interiors, and $\iota_i$ be the inversion in $S_i$. Viewing the conformal group ...
- 143
1
vote
0
answers
115
views
A compact Lie group $G$ acting on a compact Lie group $K$ transitively. Is there a $C$ such that $d(gx,gy)\leq Cd(x,y)$?
Let $G$ be a compact connected Lie group acting transitively and smoothly on another compact Lie group $K$. Let $d$ be the distance in $K$ that is not $G$-invariant. Is there a constant $C$ such that $...
- 169