All Questions
Tagged with lie-groups at.algebraic-topology
243 questions
3
votes
0
answers
169
views
Cellular structure of $F_4$
Is there the cellular structure of the Exceptional Lie group $F_4$?
Is there a reference to it?
Thanks
3
votes
0
answers
134
views
When do quotients of $G$-vector bundles exist?
Let's work in the category of smooth (paracompact, Hausdorff) manifolds. Let $M$ be a manifold and $G$ a Lie group acting on $M$. Suppose $E$ is a $G$-vector bundle on $M$ (that is, $G$ acts on $E$ by ...
- 51
4
votes
1
answer
523
views
Is automorphism on a compact group necessarily homeomorphism? How about N-dimensional torus？ [closed]
Is automorphism on a compact group necessarily homeomorphism? I don't think so，but I think it is possible on the N-dimensional torus.
- 83
7
votes
0
answers
237
views
Relation beween Chern-Simons and WZW levels, and transgression
3d Chern-Simons gauge theories based on a Lie group $G$ are classified by an element $k_{CS}\in H^4(BG,\mathbb{Z})$, its level. Via the CS/WZW correspondence the theory is related with a 2d non-linear ...
- 813
12
votes
1
answer
379
views
Approximate classifying space by boundaryless manifolds?
As pointed out by Achim Krause, any finite CW complex is homotopy equivalent to a manifold with boundary (by embedding into $\mathbb R^n$
and thickening), and so every finite type CW complex can be ...
- 123
5
votes
0
answers
110
views
Are there exotic examples of a Lie group up to coherent isotopy?
This question is based on attempting to construct the (homotopy type) of Lie groups using Cobordism Hypothesis style abstract nonsense.
There is an $\infty$-groupoid of smooth, framed manifolds where ...
- 563
6
votes
0
answers
121
views
Explicit representatives for Borel cohomology classes of a compact Lie group?
I'm looking for explicit representatives of $H^3_{Borel}(G, R/Z)$, i.e. a measurable function $G^3\to R/Z$ representing a generator of the cohomology group. (Here $G$ is a compact (perhaps simple) ...
- 12.8k
4
votes
0
answers
249
views
Homotopy group of maps into S^3 using its Lie group multiplication to define the group operation
The Bruschlinsky group of maps of a space X into S1 up to homotopy, using the multiplication on S1, is well-known to equal the first cohomology group of X (at least assuming X is a reasonably nice ...
- 2,858
7
votes
0
answers
194
views
Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?
Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...
- 44.7k
1
vote
1
answer
153
views
For topological torus action, there is a subcircle whose fixed point is the same as the torus
Let $T=\mathbb{S}^{1}\times \mathbb{S}^{1}\times \cdots \times \mathbb{S}^{1}
$ ($n$ times) be an $n$-dimensional torus acting on any topological space $X$.
The group $G$ is said to act on a space $X$ ...
- 1,367
1
vote
0
answers
133
views
A question about fixed point set of the compact group actions
Let $G$ be an infinite compact Lie group acting on a compact space $X$.
Denote $F=F(G,X)=\{x\in X$ : $gx=x$ for all $g\in G\}$.
Show that if $H^*(B_{G_x};\mathbb{Q})=0$ for all $x \notin F$ and $T^1$ ...
- 1,367
6
votes
1
answer
429
views
Does $\pi_1(H)=0\Rightarrow \pi_3(G/H)=0$ for a simple and simply connected Lie group $G$?
$\DeclareMathOperator\SU{SU}$Let $G$ be a simple and simply-connected Lie group and $H\neq 1$ be a simple and simply connected subgroup, is it true that $\pi_3(G/H)=0$? If not, what is a counter-...
- 141
1
vote
1
answer
192
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 ...
- 447
5
votes
1
answer
328
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 ...
- 53
5
votes
0
answers
133
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 ...
- 311
4
votes
0
answers
226
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 ...
- 4,081
4
votes
0
answers
425
views
Non-triviality of map $S^{24} \longrightarrow S^{21} \longrightarrow Sp(3)$
Let $\theta$ be the generator of $\pi_{21}(Sp(3))\cong \mathbb{Z}_3$, (localized at 3).
How to show the composition
$$S^{24}\longrightarrow S^{21}\overset{\theta}\longrightarrow Sp(3)$$
is non-trivial ...
4
votes
2
answers
408
views
Classifying space of a non-discrete group and relationship between group homology and topological homology of Lie groups
I have a very soft question which might be very standard in textbooks or literature but I haven't seen it.
To a fixed group $G$ we may attach different topologies to make it different topological ...
- 441
4
votes
0
answers
175
views
Is there any results about the stable (or unstable) cohomology operations on cohomology of Lie groups?
$\DeclareMathOperator\SU{SU}$For the $\mod p$ singular cohomology of classical Lie groups, such as $H^*(\SU(n); \mathbb{Z}/p\mathbb{Z})$, there are well known results about the actions of the stable ...
- 71
4
votes
1
answer
244
views
Homotopy groups of quotient of SU(n)
Let $X$ be the quotient topological space obtained by identifying the matrices $A$ and $\overline{A}$ in the topological group $\mathrm{SU}(n)$ (here $\overline{A}$ denotes entry-wise complex ...
- 271
3
votes
0
answers
152
views
Equivariant classifying space and manifold models
The classifying space $BS^1$ for $S^1$-bundles can be taken to be the colimit of $\mathbb{CP}^n$ which are smooth manifolds and the inclusions $\mathbb{CP}^n \hookrightarrow \mathbb{CP}^{n+1}$ are ...
- 803
4
votes
1
answer
419
views
Faithful locally free circle actions on a torus must be free?
Is it true that every faithful and locally smooth action $S^1 \curvearrowright T^n$ is free?
I know such an action must induce an injection $\rho:\pi_1(S^1)\to\pi_1(T^n)$.
Another related question is: ...
- 385
7
votes
2
answers
539
views
Injectivity of the cohomology map induced by some projection map
Given a (compact) Lie group $G$, persumably disconnected, there exists a short exact sequence
$$1\rightarrow G_c\rightarrow G\rightarrow G/G_c\rightarrow 1$$
where $G_c$ is the normal subgroup which ...
- 125
6
votes
1
answer
555
views
Cobordism cohomology of Lie groups
Are there any results about cobordism cohomology of Lie groups？For example, $\mathrm{MU}^*(\mathrm{SU}(n))$.
- 61
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
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
10
votes
2
answers
696
views
Homotopy properties of Lie groups
Let $G$ be a real connected Lie group. I am interested in its special homotopy properties, which distinguish it from other smooth manifolds
For example
$G$ is homotopy equivalent to a smooth compact ...
- 6,962
6
votes
1
answer
644
views
Torus bundles and compact solvmanifolds
I asked this question on MSE 9 days ago and it got a very helpful comment from Eric Towers providing the Palais Stewart reference, but no answers. So I'm crossposting it here.
Let
$$
T^n \to M \to T^m ...
- 4,081
5
votes
0
answers
132
views
geometry and connected sum of aspherical closed manifolds
Let $ G $ be a Lie group with finitely many connected components, $ K $ a maximal compact subgroup, and $ \Gamma $ a torsion free cocompact lattice. Then
$$
\Gamma \backslash G/K
$$
is an aspherical ...
- 4,081
9
votes
1
answer
444
views
Compact flat orientable 3 manifolds and mapping tori
There are 10 compact flat 3 manifolds up to diffeomorphism, 6 orientable and 4 non orientable. I am looking to better understand how to construct the orientable ones.
The six orientable ones are ...
- 4,081
21
votes
1
answer
837
views
What is the homotopy type of the poset of nontrivial decompositions of $\mathbf{R}^n$?
Consider the following partial order. The objects are unordered tuples $\{V_1,\ldots,V_m\}$, where each $V_i \subseteq \mathbf{R}^n$ is a nontrivial linear subspace and $V_1 \oplus \cdots \oplus V_m =...
- 1,025
2
votes
1
answer
484
views
Mapping torus of orientation reversing isometry of the sphere
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$
Let $ f_n $ be an orientation reversing isometry of the round ...
- 4,081
3
votes
0
answers
164
views
Equivalent condition for compact group to act transitively
Let $ M $ be a connected manifold. Let $ \pi_1(M) $ be the fundamental group of $ M $.
Suppose there exists a compact group $ K $ that acts transitively on $ M $. Then $ \pi_1(M) $ must have a finite ...
- 4,081
11
votes
1
answer
455
views
Asking whether there is a compact Lie group containing affine symplectic group
The affine symplectic group is interesting and important in physics. However, the Lie group is noncompact. In order to have some good properties (Basically, we need some good behavior of Haar measure) ...
- 149
3
votes
0
answers
238
views
CW structure on $\mathrm{PU}(3)$/Heisenberg group
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\PU{PU}$Consider the quotient space $\PU(3)/H=\SU(3)/G_{81}$ where
$H$ is the Heisenberg group of order 27
$G_{81}$ is the No. 9 group of order 81 (...
- 10.5k
4
votes
0
answers
320
views
Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$
Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified.
Is there any characterization of $\Gamma$ such that $\Gamma$...
- 1,441
1
vote
0
answers
138
views
Automorphism group of indefinite orthogonal Lie group $G=O(p,q)$ vs that of a double covering group $\tilde{G}$
Previously I mentioned in Automorphism group of a Lie group $G$ vs that of a double covering group $\tilde{G}$: same or not? that the automorphism group of a Lie group 𝐺 may be the same as that of ...
- 10.5k
0
votes
0
answers
88
views
Automorphism group of a Lie group $G$ vs that of a double covering group $\tilde{G}$: same or not? [duplicate]
Previously there are some counterexamples given in Automorphism group of a Lie group $G$ vs that of a covering group $\tilde G$: same or not? such that the automorphism group of a Lie group 𝐺 is not ...
- 10.5k
2
votes
0
answers
165
views
Automorphism group of a Lie group $G$ vs that of a covering group $\tilde G$: same or not?
Is it true or false that the Inner (Inn), Outer (Out) and Total (Aut) Automorphism of a Lie group $G$ is the same as the covering group of the Lie group, say $\tilde G$ (regardless of how many types ...
- 10.5k
5
votes
0
answers
199
views
Outer and inner automorphism of $\mathrm{Pin}$ groups
$\DeclareMathOperator\Inn{Inn}\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Out{Out}\DeclareMathOperator\Pin{Pin}\DeclareMathOperator\Spin{Spin}\DeclareMathOperator\SO{SO}\DeclareMathOperator\PSO{...
- 317
6
votes
0
answers
159
views
Cohomology of $\mathrm{BPSO}(2d)$ with $Z_2$ coefficients
$\DeclareMathOperator\BPSO{BPSO}\DeclareMathOperator\PSO{PSO}\DeclareMathOperator\SO{SO}\DeclareMathOperator\BSO{BSO}$The projective group is $\PSO(2d)=\SO(2d)/Z_2$.
$\BPSO(2d)$ is the classifying ...
- 487
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
14
votes
1
answer
340
views
On the homological dimension of a Borel construction
Let $M$ b a closed connected smooth manifold with fundamental group $\Gamma$. Suppose $G$ is a simply-connected Lie group that acts smoothly on $M$. Then the Borel construction $$M//G = M \times_G EG$$...
- 11.9k
4
votes
0
answers
181
views
Specify the embedding of special unitary group in a Spin group via their representation map
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
5
votes
0
answers
135
views
Specify the embedding of Lie groups (via the representation map) precisely as the embedding of two differentiable manifolds
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
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
1
vote
1
answer
156
views
Necessary and sufficient conditions for the Lie group embedding $G \supset J$ can be lifted to $G$'s covering space [closed]
Suppose the Lie group $G$ contains the Lie group $J$ as a subgroup, so
$$
G \supset J.
$$
If $G$ has a nontrivial first homotopy group $\pi_1(G) \neq 0$.
If $G$ has a universal cover $\widetilde{G}$, ...
- 317
0
votes
1
answer
254
views
$SU(k)/SO(k)$ as a manifold, for each positive integer $k$ [closed]
The quotient space $SU(k)/SO(k)$ is also a homogeneous space constructed out of the Lie groups (special unitary $SU(k)$ and special orthogonal $SO(k)$).
Because the $SO(k)$ may not be a normal ...
- 317
9
votes
1
answer
398
views
Homotopically equivalent compact Lie groups are diffeomorphic
I have the following conjecture:
Two homotopically equivalent compact Lie groups will be diffeomorphic. It may be necessary to restrict ourselves to only semisimple Lie groups. For simply connected ...
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