Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.

learn more… | top users | synonyms

14
votes
0answers
882 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 ...
13
votes
0answers
413 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 ...
11
votes
0answers
439 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 ...
10
votes
0answers
485 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
0answers
363 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$. ...
9
votes
0answers
311 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 ...
9
votes
0answers
192 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
0answers
249 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
0answers
235 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 ...
9
votes
0answers
325 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
0answers
230 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
0answers
411 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, ...
7
votes
0answers
228 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
0answers
232 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
0answers
316 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
0answers
314 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
0answers
107 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
0answers
226 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
0answers
111 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
0answers
127 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 ...
6
votes
0answers
135 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
0answers
308 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
0answers
271 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
0answers
374 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$ ...
6
votes
0answers
432 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
0answers
544 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
0answers
151 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 ...
5
votes
0answers
223 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
0answers
112 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
0answers
177 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
0answers
206 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 ...
5
votes
0answers
311 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 ...
5
votes
0answers
327 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
0answers
427 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
0answers
37 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 ...
4
votes
0answers
75 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
0answers
78 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
0answers
94 views

Classification of Compact Symplectic Homogeneous Spaces

Let $M=G/H$ be a compact homogeneous space, $G$ a compact Lie Group and $H$ a closed subgroup. Is there some classification, akin to the Kaehler case, for which such manifolds admit a symplectic ...
4
votes
0answers
195 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
0answers
264 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
0answers
191 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
0answers
161 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
0answers
146 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
0answers
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
0answers
256 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
0answers
162 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} ...
4
votes
0answers
163 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 ...
4
votes
0answers
257 views

Construction of an algebra with prescribed representation of the automorphism group.

For this discussion, $G$ is a compact semisimple Lie Group. For many of the common representations of compact groups, there is a realization of the representation as the automorphisms of some ...
3
votes
0answers
238 views

What is the status of the Friedlander-Milnor conjecture today?

For the purposes of this question, the Friedlander-Milnor (FM) conjecture asserts an equality of the group homology for algebraic groups, and their discretizations in the following sense: Conjecture ...
3
votes
0answers
50 views

Closed form for 3j-symbol ratios

I am working on the spherical harmonic decomposition of cosmic microwave background maps, therefore I often deal with functions that are proportional to Wigner 3J symbols/Clebsch–Gordan ...