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
2
votes
0
answers
674
views
Derivative of the projection map $\pi: G \times \mathfrak{g} \rightarrow G \times_K \mathfrak{g}$
Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}.$ Let $K$ be a closed subgroup of $G$ with Lie algebra $\mathfrak{k}.$ We define the manifold $$\mathcal{E}:= G \times_K \mathfrak{g}$$
to ...
- 139
9
votes
1
answer
750
views
Learning from unsuccessful attempts at the Poincaré conjecture
This is reposted from MSE, but perhaps it is more appropriate to post it here. Let me know if I'm wrong.
Among the many unsuccessful attempts at solving the Poincaré conjecture, I'm wondering if there ...
- 1,763
1
vote
0
answers
97
views
A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori
$\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}}
\newcommand{\X}{{\sf X}}
$ I am looking for a reference for the following lemma (for which I know a proof):
Lemma.
Let $\...
- 14.2k
1
vote
1
answer
345
views
Is the manifold of complex points of a quotient of compact groups just the tangent bundle?
In great generality a Lie group mod its maximal compact subgroup is contractible (for example this is true for all connected Lie groups). Whenever this is true then the Lie group $ D $ is ...
- 4,081
2
votes
1
answer
234
views
Gauge groupoid of Lorentz group & complexification
I'm learning about Lie groupoids and was inspired (by Mackenzie's book) to consider the following problem.
Consider first a principal bundle $P\xrightarrow G M$; we can construct the quotient manifold
...
- 61
3
votes
1
answer
392
views
Almost free Lie group action
It's known that if a compact Lie group $G$ acts freely on a compact manifold $M$, then the orbit space $M/G$ is a manifold. If we only assume that $G$ acts almost freely (i.e. $G_x$ is finite for any $...
- 307
4
votes
0
answers
128
views
Real Representation ring of $U(n)$ and the adjoint representation
I have two questions:
It is well known that the complex representation ring $R(U(n))=\mathbb{Z}[\lambda_1,\cdots,\lambda_n,\lambda_n^{-1}]$, where $\lambda_1$ is the natural representation of $U(n)$ ...
user340793
8
votes
1
answer
256
views
The "canonical fibration" for the Lie group $G_2$
$\DeclareMathOperator\SO{SO}$At the very begining of Akbulut and Kalafat - Algebraic topology of $G_2$ manifolds, the authors stated that there is a "canonical fibration" for $G_2$ of the ...
- 935
10
votes
0
answers
308
views
Compact Lie groups are rational homotopy equivalent to a product of spheres
According to [1] and [2], it is “well-known” that a compact Lie group $G$ has the same rational homology, and according to [2] is even rational homotopy equivalent, to the product $\mathbb{S}^{2m_1+1} ...
- 32.5k
1
vote
0
answers
48
views
Relation between weight spaces of fixed loci of Hamiltonian $S^1$-actions
Consider an almost Kähler manifold $(M,\omega,I)$ with a $I$-(pseudo)holomorphic $\mathbb{C}^*$-action, whose $S^1$-part is Hamiltonian and the fixed locus
$F=M^{S^1}$ is compact. Then, it breaks $F=\...
- 1,677
8
votes
5
answers
2k
views
What are Lie groupoids intuitively?
I am trying to understand about Lie groupoids but not able to get feeling for what it actually is.
So, question here is,
What are Lie groupoids? How similar are they to Lie groups, Groupoids and ...
- 6,023
6
votes
1
answer
426
views
What is known about the discrete group cohomology $H^2(\mathrm{SL}_2(\mathbb C), \mathbb C^\times)$?
The cohomology ring of $\mathrm{SL}_2(\mathbb C)$ as a topological group is straightforward (it's generated by a Chern class), but what is known in the discrete case? I'm particularly interested in $H^...
- 2,533
2
votes
1
answer
106
views
Does the set of matrices with bounded recursive products form a fractal?
We are given three matrices $A,B,C$ which have determinant 1, are not unitary and that their size is the same. Consider the following process.
On each step we take three words $W_1,W_2,W_3$ consisting ...
1
vote
0
answers
61
views
Choice of generators to make the centralisers connected
In $G=\operatorname{PGL}_{2n}(\textbf{C})$, WLG, we assume all the toral elementary abelian 2-subgroups in discussion are in $T$, the image in $G$ of the group of diagonal matrices in $\operatorname{...
- 501
4
votes
1
answer
369
views
A Fréchet space characterization of smooth structures on topological spaces?
For a compact manifold $M$ the space of smooth functions $C^{\infty}(M)$ is a Fréchet space where the seminorms are the suprema of the norms of all partial derivatives. Is there some way to ...
- 185
2
votes
2
answers
213
views
Riemannian homogeneous equivalent to linear group orbit
Let $ M $ be a smooth manifold.
Recall that a manifold $ M $ is smooth homogeneous if there exists a Lie group acting transitively on $ M $.
Recall that a manifold $ M $ is Riemannian homogeneous if ...
- 4,081
1
vote
1
answer
137
views
Does every locally compact, simply connected group admit enough finite dimensional representations?
Given a simply connected locally compact group $G$, is it true that $G$ admits enough finite dimensional representations (over any field and not necessarily continuous) to separate points in $G$, what ...
- 1,586
4
votes
3
answers
863
views
Is every homogeneous space Riemannian homogeneous?
A manifold $M$ together with a transitive $G$-action is always diffeomorphic a quotient $G/H$ for $H < G$ Lie groups. On the other hand, there might be a proper subgroup of $G$ that also acts ...
- 177
4
votes
1
answer
257
views
Question regarding semistability of a point of GIT quotient
$\DeclareMathOperator\SL{SL}$I am currently looking at the paper titled "$\SL(2,\mathbb{C})$ quotients de $(\mathbb{P^1})^n$" by Marzia Polito. The author has considered diagonal action of $\...
- 585
3
votes
2
answers
2k
views
Is a manifold paracompact? Should it be?
We will say that a Hausdorff topological space $X$ is a smooth manifold if there is an open cover $(U_{\alpha})$ of $X$ and a corresponding collection of homeomorphisms $\varphi_{\alpha} : U_{\alpha} \...
- 1,379
5
votes
1
answer
134
views
Homogeneous representations of compact manifolds
There is a classification of effective transitive groups actions on the sphere by compact connected Lie groups, compare Besse "Einstein manifolds" 7.13 Examples.
Are there similar results ...
- 179
18
votes
2
answers
776
views
What is known about the "unitary group" of a rigged Hilbert space?
Suppose that $(E,H)$ is a rigged (infinite dimensional, separable) Hilbert space, i.e. $H$ is a Hilbert space, and $E$ is a Fréchet space, equipped with a continuous linear injection $E \rightarrow H$ ...
- 556
3
votes
1
answer
273
views
Classification of "homogeneous" submanifolds of ℝⁿ
I define a subset $M$ of $\mathbb R^n$ to be a "homogeneous Euclidean manifold" if:
it is a closed connected smooth submanifold of $\mathbb R^n$,
for every $p, q$ in $M$, there is a ...
- 245
0
votes
0
answers
228
views
How do I detect whether a representation is (or is not) the adjoint representation?
Let $(\mathfrak{g},[\cdot,\cdot])$ be a Lie algebra. There is a God-given representation of $\mathfrak{g}$, namely, the adjoint representation $\operatorname{ad} : \mathfrak{g} \to \operatorname{Der}(\...
- 1,379
2
votes
0
answers
48
views
Multiplicative invariants of non-reduced root systems
It is a well known fact (cf. [1] VI.3.4 Thm. 1) that if $\Phi$ is a (reduced) root system with weight lattice $P$ and $W$ is the Weyl group of this root system, then the algebra of invariant ...
- 553
8
votes
0
answers
267
views
A Lie-theoretic question regarding $B\ltimes \mathfrak{g}/\mathfrak{b}$
I am stuck on a seeming elementary Lie-theoretic question arising from a study of components of affine Springer fibers. Will be very grateful if somebody would like to share some insight, or ...
- 1,856
5
votes
0
answers
277
views
Fundamental group of compact globally symmetric spaces
The fundamental group of a globally symmetric space $M$ of compact type is known (see Loos [1], Borel [2]). The result can be formulated as follows: it is isomorphic to the quotient
$$(*) \quad \pi_1(...
- 1,123
1
vote
0
answers
196
views
Homogeneous metrics on compact Lie groups
Given a differentiable manifold $M$, a Riemannian metric $g$ on $M$ is called homogeneous if its isometry group acts transitively on $M$. In that case, given any group $G$ acting transtitively on $(M,...
- 2,446
1
vote
1
answer
241
views
Integrals of the type $\delta(g^{n})$ on $\mathrm{SU}(2)$
I posted this question previously to MathSE. However, I have still not solved it, so lets try to ask it here. When doing some calculations with spin-foam models for 3d quantum gravity for some ...
- 1,171
2
votes
0
answers
76
views
Weakening of orbit type stratification to non-proper Lie group actions
I am working in a setting where I am thinking about effective, fixed-point free actions of $\text{PSL}(2; \mathbb{R})$ on compact three manifolds by homeomorphisms. I'm not sure if this is relevant ...
- 21
1
vote
1
answer
275
views
The normalizer of $\operatorname{Spin}(2N)$ in $\operatorname{U}(2^{N-1})$?
$\DeclareMathOperator\U{U}\DeclareMathOperator\Spin{Spin}$ I can show that
$$
\U(2^{N-1})\supset \Spin(2N)
$$
when $2N > 4$ or a positive integer $N > 2$, so $\Spin(2N)$ can be embedded in $\U(2^...
- 10.5k
6
votes
1
answer
679
views
Cartan decomposition of loop group
Let $G$ be a complex reductive group. Let $LG$ and $L^+ G$ denote the formal loop spaces given by maps from the punctured formal disk and the formal disk, respectively, to $G$. The quotient $LG/L^+ G$ ...
- 553
9
votes
2
answers
658
views
Number of reduced decompositions of the longest element of the Weyl group
Let $R$ be a reduced root system, $W$ the associated Weyl group, and $w_0 \in W$ the longest element of $W$. In general $w_0$ admits more than one reduced decomposition into a product of reflections, ...
- 219
3
votes
0
answers
111
views
Almost two-point homogeneous spaces
I define a NICE space to be a connected Riemannian manifold $M$ such that for any two distinct points $p,q\in M$, there exists an isometry $R_{p,q}$ exchanging these two points (that is such that $R_{...
- 245
24
votes
5
answers
2k
views
Lie groups vs Lie monoids
Does there exist a well developed theory of a class of objects which might rightfully be called Lie monoids? By this I mean with axioms similar to those of Lie groups, but with the axiomatic existence ...
- 2,099
2
votes
0
answers
235
views
Question about adjoint orbits
I am looking for a proof or a reference of the following claim:
Let $G$ be a real connected semi-simple Lie group and let $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ be the Cartan decomposition for its ...
- 139
8
votes
2
answers
482
views
Parabolics and simple roots for a special unitary group: reference request
I am looking for a reference where the relative root system, the relative system of simple roots, and parabolic $\Bbb R$-subgroups for the real algebraic group ${\rm SU}(p,q)$ are explicitly computed.
...
- 14.2k
4
votes
1
answer
175
views
A pseudo-Riemannian version of a theorem by Fubini
Guido Fubini, ``Sugli spazii che ammettono un gruppo continuo di movimenti,'' Annali di Mat., ser. 3, 8 (1903) 54.: Let $M$ be a Riemannian manifold of dimension $d\ge 3$. Its isometry group cannot be ...
- 427
5
votes
1
answer
411
views
Origin of Laguerre geometry?
Laguerre geometry is described as either the geometry of oriented lines and circles in the Euclidean plane, equipped with a certain unusual symmetry group (see https://en.wikipedia.org/wiki/...
- 4,943
4
votes
1
answer
304
views
Atiyah-Bott-Shapiro generalization to $U(n) \to ({Spin(2n) \times U(1)})/{\mathbf{Z}/4}$ for $n=2k+1$
Atiyah, Bott, and Shapiro paper on Clifford Modules around page 10 shows two facts.
1 - There is a lift $U(n) \to Spin^c(2n)$ from $U(n) \to SO(2n)\times U(1)$. Also an embedding (injective group ...
- 317
2
votes
1
answer
232
views
Double coset decomposition for compact Lie groups
The starting point of my question is the following fact: suppose $G$ is a finite group and let $H,K \leq G$ be arbitrary subgroups, then there exists an isomorphism of $G$-sets as follows
\begin{...
- 767
6
votes
1
answer
287
views
Are nearby crossed homomorphisms from compact Lie groups crossed-conjugate?
Charles Rezk had highlighted in MO:q/123624 that "Nearby homomorphisms from compact Lie groups are conjugate", and in consequence -- further highlighted in Remark 2.2.1 of his Global ...
- 19.8k
3
votes
1
answer
126
views
Getting the "salient" geometric objects out of an abstract congruence group
I'm not entirely sure what I'm trying to ask.
According to my understanding of the Erlangen programme, each "geometry" (in the sense of Euclidean or hyperbolic or elliptic geometry) is ...
- 4,943
0
votes
0
answers
96
views
Integral of elements of random unitaries
It is known how to calculate the integral of elements of $N\times N$ Haar random unitaries using the Weingarten function:
$$\int \prod_{k=1}^n U_{i_kj_k} U_{m_kr_k}^* \mathrm d U = \sum_{\sigma,\tau} \...
- 123
3
votes
1
answer
258
views
Symplectic orbits in projective Hilbert spaces are simply connected
Let $G$ be a connected Lie group and let $(\pi, \mathcal{H})$ be an irreducible unitary representation of $G$ on an infinite-dimensional Hilbert space $\mathcal{H}$. Denote by $\mathcal{H}^{\infty}$ ...
- 131
2
votes
0
answers
135
views
Fusion rules for the Lie algebra $\frak{so}_{2n+1}$
For the Lie algebra $\mathfrak{so}_{2n+1}$ where can I find a description of the fusion rules of it fundamental representations? In more detail: For $\pi_i$ and $\pi_j$ two fundamental weights of $\...
- 393
5
votes
1
answer
372
views
$\pi_{2n-1}(\operatorname{SO}(2n))$ element represents the tangent bundle $TS^{2n}$, not torsion and indivisible for $n>1$?
Question: Is the element $\alpha$ in $\pi_{2n-1}(\operatorname{SO}(2n))$ representing the tangent bundle $TS^{2n}$ of the sphere $S^{2n}$ indivisible and not torsion?
My understanding so far —
An $\...
- 10.5k
2
votes
1
answer
90
views
Non-isomorphic direct products of a solvable and a semisimple Lie algebra
Given a solvable Lie algebra $\frak{a}$ and a semisimple Lie algebra $\frak{g}$ we can take their semidirect product $\frak{a} \rtimes \frak{g}$, with respect to a Lie algebra map $\frak{g} \to \...
- 393
35
votes
5
answers
4k
views
$G_2$ and Geometry
In a recent question Deane Yang mentioned the beautiful Riemannian geometry that comes up when looking at $G_2$. I am wondering if people could expand on the geometry related to the exceptional Lie ...
- 3,726
3
votes
1
answer
503
views
Is the representation of finite simple groups fully understood?
Is the representation of finite simple groups fully understood? To clarify, I mean have all the simple representations (even finite dimensional) been classified in terms of some classifying set, such ...
- 203