**14**

votes

**0**answers

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

**14**

votes

**0**answers

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

**12**

votes

**0**answers

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

**11**

votes

**0**answers

441 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

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

**10**

votes

**0**answers

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

**10**

votes

**0**answers

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

**9**

votes

**0**answers

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

**9**

votes

**0**answers

266 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

333 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

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

**9**

votes

**0**answers

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

**8**

votes

**0**answers

324 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

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

**8**

votes

**0**answers

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

**7**

votes

**0**answers

121 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

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

**7**

votes

**0**answers

249 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

242 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

390 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

334 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

109 views

### Construction of the Lie functor: left vs. right invariant vector fields on Lie groups and Lie groupoids

When constructing the Lie algebra $L(G)$ of a Lie group $G$, one usually uses the identification of the tangent space $T_1 G$ with left invariant vector fields $\mathcal{V}^l(G)$ to construct the Lie ...

**6**

votes

**0**answers

121 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

245 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

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

280 views

### Must the adjoint representation of a semisimple Lie group be algebraic?

Suppose G is a real semisimple Lie group without compact factor, then Aut(g) is obviously an algebraic subgroup of SL(n,R) where g is the Lie algebra and n is the dimension. Regard the adjoint ...

**6**

votes

**0**answers

211 views

### Cohomology of T^{n}/W for compact Lie groups

Let $G$ be a compact, connected and simply connected.
Let $T\subset G$ be a maximal torus and let $W$ be the corresponding
Weyl group.
Then we have the diagonal action of $W$ on $T^{n}$ for $n\ge ...

**6**

votes

**0**answers

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

**6**

votes

**0**answers

550 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

365 views

### Connections on a Lie Group

A Lie group $G$ can be considered as a reductive homogeneous space in at least two different ways; $G/\{e\}$ and $G\times G/G^*$. In the first case, the canonical connection associated with the ...

**5**

votes

**0**answers

131 views

### Which cocompact subgroups of $G$ do contain a cocompact normal subgroup of $G$?

Let $G$ be a locally compact group and let $H$ be a cocompact (or more generally, a cofinite) subgroup of $G$.
Is there any criterion to determine whether $H$ contains a cocompact normal subgroup of ...

**5**

votes

**0**answers

230 views

### Quotient of 3-sphere by binary octahedral group?

Consider the Lie group $Spin(3)$, which can be thought of geometrically as the 3-sphere (e.g., it can be represented by the collection of unit quaternions). The quotient $Spin(3)/\pm I$ yields the ...

**5**

votes

**0**answers

119 views

### Is there an analogue of spin/oscillator representation for the general linear Lie algebra?

(Work over complex numbers)
Let $V$ be an orthogonal space. Let $Pin(V)$ be the double cover of the orthogonal group $O(V)$. Then $Pin(V)$ has a basic spin representation which we can think of as the ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

**5**

votes

**0**answers

428 views

### Generalized Haar Measures and Semiring-Valued Integrals on Lie Groups

In an applied research problem I am currently working on, I am using non-commutative semiring convolution to formulate some interesting types of calculations on images and solid objects. For discrete ...

**4**

votes

**0**answers

126 views

### Cohomology of Bott-Samelson varieties?

How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here.
Is there ...

**4**

votes

**0**answers

81 views

### Groups of operators between local unitaries and full unitaries

Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...

**4**

votes

**0**answers

80 views

### Adjoint orbit of two vectors

Let $G$ be a simple compact real Lie group and let $\mathfrak g$ be its Lie algebra. Let $u,v\in \mathfrak g$ be two distinct unit vectors and $H\subset \mathfrak g$ be a hyperplane with normal vector ...

**4**

votes

**0**answers

205 views

### Local version of a slice (for a Lie group action)

Let $\Upsilon: G \times M \to M$ be a smooth action of a Lie group $G$ on a manifold $M$.
Isenberg and Marsden (1982) define a slice at $m \in M$ as a submanifold $S \subseteq M$ containing $m$ such ...

**4**

votes

**0**answers

166 views

### How to find the unitary matrices in this exponential matrix representation

In the following post
Representing a product of matrix exponentials as the exponential of a sum
there is a statement regarding the result of the multiplication of two matrix exponentials:
if $A$ and ...

**4**

votes

**0**answers

266 views

### Which orbits of a separable representation of the infinite unitary group are closed?

Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following:
Is it true that all ...

**4**

votes

**0**answers

196 views

### A possible refinement of a theorem of Malliavin

Due to a theorem of Malliavin (an improvement of an erlier theorem of Dixmier and Malliavin, see here) we know that every compactly supported smooth function $f$ on $\mathbb R^n$ can be written as a ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

149 views

### Exotic Chains for Group Cohomology of a Complex Lie Group

Related Question: Exotic Chains for Group Homology of a Complex Lie Group
Let's take the group cohomology of a affine algebraic group over $\mathbb C$ (with its discrete topology). The natural ...

**4**

votes

**0**answers

192 views

### some weird relations among beta random variables

Let $X_i, Y_i, Z_i$ be three iid family of standard normal random variables. Then the following random variable is distributed the same as the first coordinate of a uniform $2$-sphere:
$$ ...

**4**

votes

**0**answers

262 views

### Dimension of Lie group embedding

Let $G$ be a compact Lie group of dimension $n$. Then we can embed $G$ (topologically) into a connected compact Lie group $H$. (One may choose $H=U(m)$, the unitary group, for example.)
The question ...

**4**

votes

**0**answers

165 views

### Constructing solutions to matrix equations

Let $k,n$ be integers, $u_1,\dots,u_n \in U(k)$, $d_1,\dots,d_n \in \mathbb Z$ with $\sum_{i=1}^{n} d_i =: d \neq 0$.
Consider the map $w:= U(k) \to U(k)$ with
$$w(v):= u_1 v^{d_1} \cdots u_n v^{d_n} ...