All Questions
Tagged with at.algebraic-topology lie-groups
241
questions
4
votes
1
answer
495
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.
7
votes
0
answers
216
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 ...
12
votes
1
answer
369
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 ...
5
votes
0
answers
105
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 ...
6
votes
0
answers
111
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) ...
4
votes
0
answers
244
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 ...
7
votes
0
answers
184
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&...
1
vote
1
answer
149
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
vote
0
answers
127
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$ ...
6
votes
1
answer
425
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-...
1
vote
1
answer
169
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 ...
5
votes
1
answer
313
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 ...
5
votes
0
answers
127
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 ...
4
votes
0
answers
213
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
votes
0
answers
423
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
383
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 ...
4
votes
0
answers
159
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 ...
4
votes
1
answer
230
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 ...
3
votes
0
answers
139
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 ...
4
votes
1
answer
405
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: ...
7
votes
2
answers
479
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 ...
6
votes
1
answer
550
views
Cobordism cohomology of Lie groups
Are there any results about cobordism cohomology of Lie groups?For example, $\mathrm{MU}^*(\mathrm{SU}(n))$.
4
votes
0
answers
123
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)$ ...
10
votes
0
answers
291
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} ...
10
votes
2
answers
614
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
votes
1
answer
579
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 ...
5
votes
0
answers
129
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 ...
9
votes
1
answer
407
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 ...
21
votes
1
answer
820
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 =...
2
votes
1
answer
428
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 ...