**16**

votes

**0**answers

976 views

### What groups are Lie groups?

We know how to tell if a topological group is a Lie group: this was famously asked by Hilbert and answered gloriously by Gleason, Montgomery and Zippin in the 50s (a locally compact topological group ...

**16**

votes

**0**answers

599 views

### Should the Dynkin diagrams of types $A_1$ and $B_2$ be labelled $C_1$ and $C_2$?

The labels $A$--$G$ attached to connected Dynkin diagrams are of course arbitrary,
the result of historical accidents. In order to avoid repetitions, the four infinite
families $A_\ell, B_\ell, C_\...

**15**

votes

**0**answers

478 views

### Maximal Tori and group structures on spheres

It is known that for any compact Lie group $G$ with maximal torus $T$, that any other maximal torus $T'$ is conjugate to $T$. This might be a bit of a stretch, but I was wondering if it is possible to ...

**13**

votes

**0**answers

363 views

### Nilpotent pro-$p$ groups

Is it true that every finitely generated (topologically) torsion free nilpotent pro-$p$ group is isomorphic to a subgroup of $U_d(\mathbb{Z}_p)$, the group of $d\times d$-upper triangular matrices ...

**13**

votes

**0**answers

444 views

### To what extent does (co)homology of groups made discrete depend on set theory?

There's a well-known paper by Milnor, "On the homology of Lie groups made discrete," that discusses the relation between the homology of a Lie group $G$ and the underlying discrete group $G^\delta$. ...

**12**

votes

**0**answers

200 views

### Is $F_{f, c, \ell}$ a $G$-harmonic polynomial?

Let $G \subset \text{GL}_n(\mathbb{C})$ be a finite subgroup. The group $G$ acts naturally on $\mathbb{C}^1[\mathbb{C}^n]$ the space of degree $1$ homogeneous polynomials in $x_1, \dots, x_n$, i..e, ...

**12**

votes

**0**answers

584 views

### How come Cartan did not notice the close relationship between symmetric spaces and isoparametric hypersurfaces?

Elie Cartan made fundamental contributions to the theory of Lie groups and their geometrical applications. Among those, we can list the introduction of the remarkable family of Riemannian symmetric ...

**12**

votes

**0**answers

461 views

### Are the extra vertices in Nakajima's doubling of a quiver related to Langlands duality?

To define a Nakajima quiver variety associated to a quiver $Q = (Q_0,Q_1)$
(vertices and arrows), one first doubles it to $Q^\heartsuit$ by attaching
an extra vertex to every old vertex in $Q_0$. Then ...

**11**

votes

**0**answers

294 views

### Calculation-free proof of the Weyl Integral formula for U(n)

The Weyl integral formula states that if $f$ is a class function on $U(n),$ $T$ is the torus of diagonal matrices in $U(n)$, and $dU(n)$ and $dT$ are the standard Haar measures on $U(n)$ and $T,$ then:...

**11**

votes

**0**answers

569 views

### Definition of a uniformly bounded dual of a group

The unitary dual of a group $G$ is the set of equivalence classes of irreducible unitary representations of $G$ with the Fell topology. (This topology is defined using convergence of positive definite ...

**10**

votes

**0**answers

108 views

### Maurer-Cartan equation for Lie groups/homogeneous space vs. Maurer-Cartan of deformation theory

What is the relationship between the Maurer-Cartan equation
$$
d\theta + \dfrac{1}{2}[\theta,\theta] = 0
$$
satisfied by Maurer-Cartan forms on Lie groups, or by pullbacks of Maurer-Cartan forms along ...

**10**

votes

**0**answers

243 views

### differentiating positive energy LG reps

Background:Let $G$ be a cscsc¹ Lie group, and let $\widetilde{LG}$ be the universal central extension (center = $S^1$) of $LG:=Map_{C^\infty}(S^1,G)$, with the topology inherited from the $C^\infty$ ...

**10**

votes

**0**answers

532 views

### How does duality of symmetric spaces explain the hyperbolic cosine theorem?

There is a well-known duality between compact symmetric spaces and symmetric spaces of noncompact type. Basically it goes as follows: If $G/K$ is a symmetric space of noncompact type, $g=k+p$ the ...

**9**

votes

**0**answers

66 views

### On the proof by Chu-Kobayashi that transformation groups are Lie groups

Chapter I of Kobayashi's Transformation Groups in Differential Geometry contains a very general theorem on transformation groups, due to Palais. I have some questions about its proof (which I attach ...

**9**

votes

**0**answers

309 views

### Geometrizing the Third Cohomology of a Complex Lie Group

If $G_\mathbb{C}$ is a simply-connected simple complex Lie group, theorem 5.4.10 of Brylinski's "Loop Spaces, Characteristic Classes, and Geometric Quantization" claims that there is a natural $\...

**9**

votes

**0**answers

352 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 ...

**9**

votes

**0**answers

386 views

### Is there a general dilogarithm formula for the Cheeger--Chern--Simons class?

I'm looking for a generalization of the calculation of the hyperbolic volume and Chern--Simons invariant for $\operatorname{SL}(2,\mathbb C)$ representations in terms of the Rogers dilogarithm.
...

**9**

votes

**0**answers

259 views

### Does a symplectic group act on tensor power of spin representation?

More specifically, let $S_k$ be the spin representation of $\mathrm{Spin}(2k+1)$.
Then is there are action of $\mathrm{Sp}(2r-2)$ on $\otimes^{2r}S_k$ which commutes
with the action of $\mathrm{Spin}(...

**8**

votes

**0**answers

433 views

### Homology of Lie groups

Let $G$ be a Lie group and $G^{\delta}$ the underlying group (with discrete topology). Obviously, we have a continuous map of groups $i:G^{\delta}\rightarrow G$ which induces a map between classifying ...

**8**

votes

**0**answers

93 views

### Euler number of the complex of basic forms

Let $G$ be a compact Lie group and $\pi:P \to M$ a principal $G$-bundle. I would like to understand the geometry of $M$ through $P$ with the $G$-action.
I am trying to understand the Hopf bundle ($G=...

**8**

votes

**0**answers

298 views

### Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...

**7**

votes

**0**answers

253 views

### Pedagogical question on Lie groups vs. matrix Lie groups

There are two common approaches taken in introductory texts on Lie groups: studying all Lie groups, or focusing only on matrix Lie groups. The main advantage of the latter approach is that one can ...

**7**

votes

**0**answers

152 views

### $v_1$-periodic homotopy and principal bundle classification

This question came back to my mind while pondering this MO question. The classification of principal bundles is seriously difficult because of our lack of understanding of homotopy groups of compact ...

**7**

votes

**0**answers

191 views

### Is there an analogue of Mostow-Palais equivariant embedding theorem for noncompact groups

Let $M$ be a (Hausdorff) smooth compact manifold and $G$ a Lie group acting smoothly on $M$. If $G$ is compact then, by Mostow-Palais theorem, there exists an equivariant smooth embedding $M\to {\...

**7**

votes

**0**answers

337 views

### subgroups of higher rank lattices

This is related to the question $G=\langle a\rangle H$ for subgroup $H$ raised a few days ago. Suppose $\Gamma $ is a higher rank lattice (for example, $SL_3({\mathbb Z})$). As Misha says in his ...

**7**

votes

**0**answers

161 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 ...

**7**

votes

**0**answers

420 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$ ...

**7**

votes

**0**answers

494 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,...

**7**

votes

**0**answers

391 views

### For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?

The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...

**6**

votes

**0**answers

148 views

### intuitive connection between The KdV equations and the Virasoro bott group

I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie group....

**6**

votes

**0**answers

100 views

### Samelson Products in $SO(n)$

Given a topological group $G$ one forms the commutator $c\colon G\times G\rightarrow G$, $(x,y)\mapsto xyx^{-1}y^{-1}$. This map then factors through the smash $G\wedge G$. This map is the most ...

**6**

votes

**0**answers

140 views

### An analogue of Deligne--Lusztig theory for real groups?

I am considering the following analogue of Deligne--Lusztig theory:
Take e.g. $G=GL_n(\mathbb{C})$, and let $F$ be the complex conjugate, then we have
$G^F=GL_n(\mathbb{R})$. Consider the ``Lang map''...

**6**

votes

**0**answers

146 views

### Finding $U,V$ in Thompson's Formula

Thompson's formula says, given $A,B \in \mathfrak{su}(n)$, there exists $U,V \in SU(n)$ such that:
$e^{A}e^{B}=e^{UAU^{\dagger} + VBV^{\dagger}}$
Given $a,b \in \mathfrak{su}(4)$ defined by:
$a=J_x ...

**6**

votes

**0**answers

160 views

### Manifold approximations to $BO(3)$

We know that $BO(1) =\mathbb{R}P^\infty$ has closed, finite-dimensional manifold approximations $\mathbb{R}P^1\subset \mathbb{R}P^2\subset\cdots.$
Similarly $BO(2)$ can be approximated by closed, ...

**6**

votes

**0**answers

286 views

### What is miraculous about the mirabolic subgroup?

I recently asked this question about Euler subgroups and generalizing the automorphic theory of $\mathrm{GL}_n$ to a more general setting. My question here is more specific.
As mentioned there, the ...

**6**

votes

**0**answers

226 views

### Approximating Lie groups by finite groups

How can one approximate compact Lie groups by finite groups?
My wish is something like this:
Let $G$ be a compact Lie group.
There is a sequence of nested finite subgroups $G_n$ so that $G_n\to ...

**6**

votes

**0**answers

157 views

### Zariski closure of orbits of real groups on complex flag manifolds

Let $G$ be a complex reductive algebraic group defined over $\mathbb R$, and $G_0$ its real points. Then the orbits of $G_0$ on $G/B$ need not be real algebraic subvarieties. Take $G=SL_2(\mathbb C)$, ...

**6**

votes

**0**answers

368 views

### Injectivity of Lie group exponential function

If $G$ is a (finite-dimensional) Lie group, then the exponential function $\exp\colon\mathfrak{g}\to G$ is injective on some identity neighbourhood. If, moreover, $\mathfrak{g}$ is semi-simple and $\...

**6**

votes

**0**answers

242 views

### Group Representations and Holomorphic Vectors Bundles over Homogeneous Spaces (extending Borel--Weil)

For a flag manifold $F$ of a group $G$, the Borel--Weil theorem deals with representations of $G$ on the holomorphic sections of the line bundles over $F$.
Let us consider a general framework than ...

**6**

votes

**0**answers

404 views

### Spaces of matrices with same eigenvalue/Great circles in O(n)-orbits

Let $Sym^2(V)$ be the set of symmetric matrices of a real $n$-dimensional vector space $V$. Given an element $\underline{\lambda}=[\lambda_1,\ldots \lambda_n]\in \mathbb{RP}^n$, where $\lambda_1\leq\...

**6**

votes

**0**answers

175 views

### average Riemannian distance between Identiity and a random point in SO(n) or SU(n)

I can compute the even moments of the Riemannian distance $d(Id, U)$ between the identity element and a uniformly chosen point on say $SU(n)$. But the odd moments elude me. Basically one needs to ...

**6**

votes

**0**answers

577 views

### Baker-Campbell-Hausdorff formula: prime divisors of denominators

Consider the Baker-Campbell-Hausdorff formula (Wikipedia page):
$$Z(X,Y) := X + Y + \frac{1}{2}[X,Y] + \frac{1}{12}[X,[X,Y]] - \frac{1}{12}[Y,[X,Y]] + \dots$$
Many sources, including the Wikipedia ...

**5**

votes

**0**answers

59 views

### Harmonicity on semisimple groups

I asked this on Math.SE and got no answer, so I'll try my luck here.
Let $G$ be a semisimple real Lie group, $U(\mathfrak{g})$ its universal enveloping algebra, let $\Omega$ be the Casimir element in ...

**5**

votes

**0**answers

114 views

### Mal'cev completions of finitely generated torsion-free nilpotent groups

There is some question from geometric group theory:
One wonders if the following conditions are equivalent for finitely generated torsion-free nilpotent groups $\Gamma$ and $\Lambda$:
$\Gamma$ and $\...

**5**

votes

**0**answers

90 views

### Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/).
There comes a point in the paper (Lemma 2.8) ...

**5**

votes

**0**answers

223 views

### Hyperplane sections of principal homogeneous spaces

Let $P_i$ denote the $i$-th vertex in the Dynkin diagramm of an algebraic group. It symbolizes a parabolic subgroup of $G$ corresponding to the other vertices, meaning $G/P_i$ is a smooth, projective, ...

**5**

votes

**0**answers

142 views

### Is there a Lie II theorem for monoids?

Lie's second theorem says that if $G$ is a connected simply connected Lie group with Lie algebra $\mathfrak g$, then the functor of "differentiation" from the category $\mathrm{Rep}^f(G)$ of finite-...

**5**

votes

**0**answers

122 views

### Intersections of the B-orbits and the orbits of some other Borel subgroups in the flag variety G/B

This is a follow-up of this previous question below:
Intersections of $B$ and $B^-$ orbits in the flag variety $G/B$
Let $G = SL_n(\mathbb{C})$, $B$ be the standard Borel subgroup, and consider some ...

**5**

votes

**0**answers

108 views

### How to characterize the class of $(\mathfrak{g},K)$-modules with a fixed lowest K-type in the framework of D-modules?

Let $G$ be a real semisimple Lie group, $K$ be a maximal compact subgroup. Let $\mathfrak{g}_0$ and $\mathfrak{k}_0$ be their real Lie algebras respectively. Let $\mathfrak{g}$ and $\mathfrak{k}$ be ...

**5**

votes

**0**answers

385 views

### Non invertibility of certain integral arising from group action

Edit 1: According to the comment of Andreas Cap I revise the integral formula in the question.
Edit 2: I understand from the following post that some part of the previos version of my question has ...