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
0 votes
0 answers
15 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 ...
Echo's user avatar
  • 1,858
2 votes
0 answers
80 views

Unitary representations of $\mathfrak{sl}(2,\mathbb{C})\oplus \mathfrak{sl}(2,\mathbb{C})$

Does the left, unitary action of $\mathfrak{sl}(2,\mathbb{C})\oplus \mathfrak{sl}(2,\mathbb{C})$ on $\mathcal{L}^2(\text{H}^{+}_{3})$ integrate to its Lie group, i.e $\text{SL}(2,\mathbb{C})\times \...
Supergravity's user avatar
1 vote
1 answer
93 views

Lie group framing and framed bordism

What is the definition of Lie group framing, in simple terms? Is the Lie group framing of spheres a particular type of Lie group framing? (How special is the Lie group framing of spheres differed ...
zeta's user avatar
  • 141
0 votes
0 answers
143 views

Are all infinite-dimensional Lie groups noncompact?

Basically what the title says — if a Lie group is infinite-dimensional, is it necessarily noncompact?
Panopticon's user avatar
7 votes
2 answers
198 views

Holomorphic discrete series vs. discrete series

(I apologize in advance if this question is too naive for experts.) Let $G$ be a real semisimple Lie group. I know that holomorphic discrete series representations are only a part of all the discrete ...
youknowwho's user avatar
0 votes
1 answer
117 views

What's an example of an $n$-step nilpotent Lie algebra whose centre is not $g^{(n)}$?

Let $\mathfrak g$ be a Lie algebra. $\mathfrak g^{(1)}=\mathfrak g$ and $\mathfrak g^{(n+1)}=[\mathfrak g,\mathfrak g^{(n)}]=\mathbb R$-span$\{[X,Y]:X\in\mathfrak g,Y\in\mathfrak g^{(n)}\}$. The ...
enihcamemit's user avatar
5 votes
0 answers
107 views

Gauge Lie groupoid associated to $SO(3)$ double cover

From each Lie group $G$ and principal $G$-bundle $P \rightarrow E$ one can form an associated (or gauge) Lie groupoid as the quotient of pair groupoid by the action of $G$ on $P \times P$ $$ \frac{P \...
Alexander Golys's user avatar
0 votes
0 answers
102 views

Find good representatives for something related to the orbit of $\mathrm{GL}_n\times \mathrm{GL}_m$ acts on $M_{n,m}$

$\DeclareMathOperator\GL{GL}$Fix a field $F$, and we only talk about spaces and groups over it. We consider the $n\times m$ matrix space denoted by $M$. And $\GL_n \times \GL_m$ acts canonically on $M$...
Adjoint Functor's user avatar
7 votes
1 answer
287 views

Are there natural isomorphisms $S^{(2,1)}(k^{m+1})\cong k^2\otimes W$?

In this popular 2019 MO question, user მამუკა ჯიბლაძე asked: The spaces $\operatorname{S}^2(k^n)$ and $\Lambda^2(k^{n+1})$ from the title have equal dimensions. Is there a natural isomorphism between ...
Alvaro Martinez's user avatar
-3 votes
1 answer
184 views

On Haar measure and Spherical measure [closed]

Let $d$-dimensional complex sphere be $$\{(c_1,\cdots,c_{d})\sum_{i=1}^{d} |c_i|^2=1.\}$$ We can define the Haar measure on this sphere by regarding the unitary group $U(d)$. We can regard the $d$-...
gondolf's user avatar
  • 1,471
3 votes
1 answer
253 views

Examples of Lie groups where $G\to G/H$ splits topologically but not as groups

Let $G$ be a connected Lie group and $H$ a normal connected subgroup. I'm looking for examples where $G\to G/H$ has a section as topological spaces, but not as Lie groups. My motivation here is to ...
Andrew Dudzik's user avatar
7 votes
0 answers
495 views

What's the point of geometric representation theory?

Please forgive the provocative title, what I mean is the following: One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
Béla Fürdőház 's user avatar
8 votes
1 answer
420 views

Representation theory of $\mathrm{GL}_n(\mathbb{Z})$

I want to understand the (complex) representation theory of $\mathrm{GL}_n(\mathbb{Z})$, the general linear group of the integers. I have gone through several representation theory texts but all of ...
Kenji's user avatar
  • 81
2 votes
1 answer
91 views

Finite dimensional irreducible representations of $\frak{sl}_m$ with non-trivial zero weight spaces

For the special linear algebra $\frak{sl}_{m}$ which finite dimensional irreducible representations $V_{\mu}$ have non-trivial zero weight spaces? For $\frak{sl}_2$ this is clear: $V_{2k\pi}$ for $\pi$...
Béla Fürdőház 's user avatar
1 vote
0 answers
71 views

Generators of simple Lie groups and finite word length

Let $G$ be a connected simple Lie group with finite center. Let $a=\mathrm{exp}(X)$ be a semisimple element. Then we can decompose the lie algebra of $G$ into the direct sum of the eigenspaces of $\...
Van's user avatar
  • 31
4 votes
0 answers
152 views

Elementary proof Hilbert-Mumford stability criterion for $\operatorname{GL}_n(\mathbb{C})$

In An elementary proof of the Hilbert-Mumford criterion, B. Sury gives an elementary proof of the Hilbert-Mumford semi-stability criterion for $G = \operatorname{GL}_n(\mathbb{C})$ (and $G = \...
Libli's user avatar
  • 7,010
0 votes
0 answers
33 views

Relation between real forms of Lie algebras and root systems on pseudoeuclidean vector spaces

This might be trivial but I cannot see it clearly. Simple complex Lie algebras are fully classified by the root systems arising from the Cartan subalgebra for which the Euclidean norm is the Cartan-...
Dac0's user avatar
  • 285
7 votes
1 answer
237 views

Triple product formula on $K = \mathrm{SU}(2)$

Let $K = \mathrm{SU}(2) = \{ k[\alpha ,\beta] \mid \alpha ,\beta \in \mathbb{C}, |\alpha |^2 + |\beta |^2 = 1 \} $ with $$ k [ \alpha , \beta ] = \begin{pmatrix} \alpha & \beta \\ - \...
Euler Lee's user avatar
1 vote
0 answers
105 views

On the existence of non-arithmetic lattices in algebraic groups over $\mathbb{Q}$

$\newcommand{\Q}{\mathbb{Q}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator\PU{PU}$Let $G$ be a simple algebraic group over $\Q$ such that $G(\R) \simeq \prod_i G_i$, with each $G_i$ being the Lie ...
naf's user avatar
  • 10.5k
6 votes
1 answer
203 views

Do lattices of small co-volume always exist in rational, connected, simply connected, nilpotent Lie groups?

Given a connected, simply connected, rational, nilpotent Lie group $G$, is there a lattice of arbitrarily small co-volume in $G$? If $G$ is Carnot, the answer is "yes" by applying a ...
Kyle's user avatar
  • 243
2 votes
0 answers
73 views

Efficient decoding of the E8/Leech lattice

Background: Our goal is to quantize a sequence of floating point numbers generated i.i.d. from a standard Gaussian source and minimize the MSE reconstruction error. We can use two bits for each sample....
nalzok's user avatar
  • 121
1 vote
0 answers
68 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://...
Zhang's user avatar
  • 81
3 votes
2 answers
469 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$-...
Poignant Poincaré Pal's user avatar
8 votes
1 answer
558 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 ...
S A's user avatar
  • 81
3 votes
0 answers
59 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{\...
lw h's user avatar
  • 161
0 votes
1 answer
161 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{\...
Andrea Aveni's user avatar
3 votes
0 answers
79 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 ...
Seewoo Lee's user avatar
  • 1,743
5 votes
1 answer
292 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 ...
ms_87h's user avatar
  • 53
3 votes
1 answer
256 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 $\...
o0BlueBeast0o's user avatar
2 votes
0 answers
85 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 ...
bergfalk's user avatar
0 votes
0 answers
47 views

Large deviations for geodesic flows of Lie groups

Let $G$ be a Lie group with finite Haar measure $\mu$. Choose $g\in G$ uniformly according to $\mu$. Let $\Phi^s$ denote the geodesic flow. Has the following been studied $$\lim_{t\to\infty}\mu\left(\...
user479223's user avatar
  • 1,067
5 votes
1 answer
106 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(...
yoyo's user avatar
  • 487
0 votes
0 answers
65 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 ...
rick's user avatar
  • 166
8 votes
1 answer
653 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-...
Piotr Hajlasz's user avatar
1 vote
1 answer
129 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)$ ...
Asvin's user avatar
  • 7,498
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 ...
Matthew Niemiro's user avatar
5 votes
0 answers
119 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 ...
TopologyStudent's user avatar
2 votes
1 answer
223 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 ...
Echo's user avatar
  • 1,858
0 votes
1 answer
159 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 ...
Windi's user avatar
  • 813
0 votes
0 answers
49 views

Perpendicular mapping from one matrix group to a closed matrix subgroup

Let H be a connected closed Lie subgroup of G, which is a connected closed Lie subgroup of GL(n,𝔽), where 𝔽 = ℝ or 𝔽 = ℂ. Assume that G and H are each endowed with the riemannian metric inherited ...
Daniel Asimov's user avatar
7 votes
1 answer
160 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}$...
Matteo Bruno's user avatar
1 vote
0 answers
138 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 ...
Ali Taghavi's user avatar
1 vote
0 answers
155 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 ...
Ali Taghavi's user avatar
5 votes
0 answers
145 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 (...
Ian Gershon Teixeira's user avatar
4 votes
0 answers
115 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 ...
Ian Gershon Teixeira's user avatar
6 votes
1 answer
360 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 ...
Lorenzo Del Vecchiopontopolos's user avatar
7 votes
3 answers
423 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 ...
Samuel Johnston's user avatar
2 votes
1 answer
139 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 ...
dylan7's user avatar
  • 179
6 votes
0 answers
144 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 ...
Gro-Tsen's user avatar
  • 28.2k
4 votes
2 answers
544 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 ...
Samyak Jha's user avatar

1
2 3 4 5
58