All Questions
Tagged with lie-groups differential-topology
62 questions
4
votes
0
answers
97
views
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
The assumption that $ N_G(H)/H $ is finite cannot be weakened ...
- 4,081
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
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
2
votes
1
answer
294
views
Are there always flat connections?
Let $G$ be a simply connected Lie group and $\Gamma$ a cocompact discrete and torsion-free subgroup. Is there a (real or complex) smooth vector bundle $E$ over the manifold $G/\Gamma$, which does not ...
user473423
3
votes
1
answer
349
views
Existence (or non existence) of principal bundle charts compatible with an $f$-reduction
I asked this question on math stack exchange here, but I wonder if it would be better received here.
Let $\pi:P\rightarrow M$ and $\pi':P'\rightarrow M$ be principal $G$ and $H$ bundles respectively, ...
- 391
4
votes
0
answers
178
views
The homotopy type of the space of symplectic structures
While reading the book Introduction to the $h$-Principle by Y. Eliashberg and N. Mishachev, I noticed that the authors state, at the end of section 9.1.A, that the space of all symplectic structures ...
- 516
3
votes
1
answer
337
views
Path lifting property for $\pi:M\rightarrow M/G$ for $G$ compact Lie acting smoothly and freely
Let $M$ be a smooth manifold and let $G$ be a compact Lie group acting smoothly and freely over $M$. Let $\pi:M\rightarrow M/G$ be the canonical projection, and endow $M/G$ with the unique ...
- 516
0
votes
0
answers
84
views
The closure of the subgroup generated by a vector field may not be compact
Suppose $X$ is a vector field on a manifold $M$, consider the one parameter group:
$$L=\left\{\phi^t_X: t\in\mathbb{R}\right\}$$
where $\phi^t_X$ is the flow of the vector field $X$, which sends $p\in ...
- 101
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
0
answers
341
views
When exponential map is 1-1 from vector fields to diffeomorphisms
Let $M$ be a connected and complete Riemannian manifold of positive dimension, $k$ be a positive integer, and let $\mathfrak{X}^k_c$ be the set of class $C^k$-vector fields on $M$ of compact support. ...
- 5,405
7
votes
1
answer
367
views
Does complexified isometry group act transitively on tangent bundle of compact Riemannian manifold?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}\DeclareMathOperator\O{O}\DeclareMathOperator\Iso{Iso}$Let $ g $ be the round metric on the sphere $ S^n $. Since $ S^...
- 4,081
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
3
votes
2
answers
298
views
Transitive action on non-orientable $ M $ lifts to orientable double cover
Suppose that $ M $ is non-orientable with transitive action by a Lie group $ G $. Does that imply that some Lie group $ G' $ acts transitively on the orientable double cover $M'$?
This is true for ...
- 4,081
7
votes
1
answer
221
views
Is a quotient of real linear algebraic groups always a Cartesian product of compact and contractible factors?
Let $ G $ be the real points of a linear algebraic group and $ G' $ a Zariski closed subgroup. Then is $ G/G' $ a Cartesian product
$$
(K/K') \times F
$$
where $ F $ is contractible? Here $ K,K' $ ...
- 4,081
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
4
votes
1
answer
364
views
When is a smooth field's flow map volume preserving diffeomorphism
Let $V:\mathbb{R}^n\rightarrow \mathbb{R}^n$ be a $C^{\infty}$ vector field. Fix a (single) real number $d$ such that
$$
1\leq d\leq n
.
$$
Under what conditions is the flow map $\Phi_V$ defined as ...
- 43
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
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
6
votes
0
answers
196
views
Logarithm on formal power series continuous?
Denote $V:=\mathbb{R}^d$ and consider the Cartesian product $V^\infty:=\prod_{k=0}^\infty V^{\otimes k}$ together with its canonical projections $\pi_k : V^\infty\rightarrow V^{\otimes k}, (v_0, v_1, \...
- 463
2
votes
0
answers
406
views
Is $U(n)$ a Kahler manifold?
I am wondering if it is known whether the unitary group $U(n)$ is a Kahler manifold, and, if so, what is a reference for this.
- 179
3
votes
0
answers
83
views
Quotients of a fixed manifold by a fixed Lie group
Let $M$ a connected paracompact differentiable manifold. Let $G$ a connected Lie group. I am interested in the possible "regular" (e.g. smooth) quotients of $M$ by actions of $G$. What ...
- 141
4
votes
1
answer
164
views
Explicit example of an equivariant embedding of $U(n)/( U(k) \times U(n-k))$ into a finite dimensional $U(n)$-representation
We know that if $H$ is a closed subgroup of a compact Lie group $G$ one can find a finite dimensional $G$-representation $V$ and an element $v_0 \in V$ such that $\textrm{Stab}(v_0)= H$. This gives a $...
- 73
6
votes
0
answers
177
views
Equivariant Morse theory for non-compact Lie groups
Let $G$ be a Lie group acting properly on a smooth manifold $M$. The (non-equivariant) definition of a Morse function does not carry over to equivariant functions $M \rightarrow \mathbb{R}$ (where $\...
- 198
3
votes
1
answer
370
views
Genericity of equivariant embeddings
I'd like to ask an equivariant version of this question.
Let $M$ be a closed manifold equipped with the action of a compact Lie group $G$. By the Mostow-Palais embedding theorem, $M$ can be embedded ...
- 1,903
8
votes
1
answer
228
views
Isomorphisms of Pin groups
My goal is to identify the $Pin$ group
$$
1 \to Spin(n) \to Pin^{\pm}(n) \to \mathbb{Z}_2 \to 1
$$
such that $Pin^{\pm}(n)$ are isomorphisms to other more familiar groups.
My trick is that to look at ...
- 10.5k
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
3
votes
0
answers
153
views
Diffeomorphisms fixing origin and boundary
Let $D^n$ be a disc in $\mathbb{R}^n$. Is there a known characterization of all the diffeomorphisms of $D^n$ fixing the origin and boundary of $D^n$?
- 5,405
3
votes
1
answer
347
views
On functional equation $f\circ \exp=\exp \circ Df$ on a Riemannian manifold or a Lie Group
Let $M$ be a Riemannian manifold or a Lie group whose corresponding exp map (in corresponding context) is denoted by "exp" which is a map $\exp:TM\to M$
We search for the set $\mathcal{H}...
- 356
2
votes
0
answers
98
views
Compact $G$-ENR's and Euler characteristic computed with Alexander-Spanier cohomology with compact support
Let $(Z,A)$ a compact ENR pair, then
$$\chi(Z)=\chi_c(Z-A)+\chi(A)$$
where $\chi_c$ is the Euler characteristic taken in Alexander-Spanier cohomology with compact support (ENR means euclidean ...
- 795
3
votes
1
answer
263
views
Homogeneous manifold deformation retracts onto compact submanifold
Let $G$ be a connected Lie group. Then by a theorem of Cartan there is a diffeomorphism
$$
G \cong K \times \mathbb{R}^n
$$
where $K$ is a maximal compact subgroup of $G$. Now, let $M$ be a ...
- 4,081
7
votes
1
answer
490
views
Classification of fibrations $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$
Does there exist a complete classification of all fiber bundles $\Bbb S^k\longrightarrow\Bbb S^d\longrightarrow B$, that is, fibrations of $\smash{\Bbb S^d}$ with each fiber homeomorphic to $\smash{\...
- 13.6k
1
vote
0
answers
137
views
When can a spatial Manifold be deformed into another spatial manifold?
I'm reading a paper by Gaiotto, Kapustin, Seiberg, and Willett, titled "Generalised Global Symmetries" (MSN). In section 3.1, paragraph 4 they write something to the order of:
If we have a $M^d$ ...
- 569
0
votes
0
answers
198
views
Re asking:On the proof by Chu-Kobayashi that transformation groups are Lie groups
I have similar questions asOn the proof by Chu-Kobayashi that transformation groups are Lie groups and even more, how can $Y\in\mathfrak{g}^{*}$ generate 1-parameter global transformation group of $M$ ...
2
votes
1
answer
143
views
Lie transformation group and the transformation of smooth structure from normal connected subgroup
I'm self-working on two theorems on Lie transformation group from the book Kobayashi transformation group in differential geometry, one is the following
Theorem Let $\mathfrak{S}$ the group of ...
2
votes
1
answer
208
views
Construction of $G$-invariant map between manifolds
Let $M,N$ be two closed differential manifolds and let $G$ be a compact Lie group. Assume that $G$ acts on both manifolds $M,N$ nicely (i.e. free and proper so that $M/G$ and $N/G$ have the structure ...
- 21
3
votes
0
answers
64
views
Metrically homogeneous spaces as inverse limits
Let $(X,d)$ be a locally compact, separable, connected and $\sigma$-compact metric space such that the group of isometries $G$ acts transitively on $X$. The question is the following:
Is $X$ ...
- 541
15
votes
1
answer
612
views
Is the subgroup $\mathrm{Diff}(M,S)$ of $\mathrm{Diff}(M)$ a Lie subgroup?
Denote by $\mathrm{Diff}(M)$ the Lie group of smooth diffeomorphisms on a compact smooth manifold. Its Lie algebra can be viewed as the Lie algebra $\mathfrak X(M)$ of vector fields on $M$. Now, given ...
- 2,789
3
votes
1
answer
347
views
Homotopy type of $SO(4)/SO(2)$
A classical result states that the quotient $SO(4)/SO(3)$ is homotopy equivalent to $S^3$. In fact, this can be stated in more general terms since $SO(n+1)/SO(n)$ has the homotopy type of $S^n$. What ...
- 325
12
votes
0
answers
142
views
Intrepreting Spin(3) as a certain configuration space
Let $\mathcal{C}$ denote the space of great circles in $\mathbb{S}^2\subset \mathbb{R}^3$. It's pretty easy to see that any element $\mathcal{C}$ can be identified uniquely with the axial line (in $\...
- 2,478
3
votes
0
answers
82
views
Is there a transitive Lie group action on the space of matrices with rank bigger than $k$?
$\newcommand{\GL}{\operatorname{GL}}$
Let $H_{>k}$ be the space of real $d \times d$ matrices of rank bigger than $k$, for some fixed $k$. $H_{>k}$ is an open connected submanifold of $ \mathbb{...
- 6,741
7
votes
0
answers
1k
views
Quotient by a non-free action of a Lie group and manifolds with corners
The quotient manifold theorem says that
If $G$ is a Lie group acting freely and properly on a smooth manifold $M$ then $M/G$ has a (unique) smooth structure such that the projection $\pi:M\to M/G$...
- 2,533
2
votes
1
answer
123
views
Hamiltonian Group action with infinitely many stabiliser types
What is an example of a connected symplectic manifold $(M,\omega)$, with a Hamiltonian action of $G = U(1) =S^{1}$ with infinitely many stabiliser types?
Infinitely many stabiliser types means that ...
- 6,995
10
votes
1
answer
732
views
What's the sufficient or necessary conditions for a manifold to have Lie group structure?
For example, given a Lie group, its fundamental group must be Abelian. So $\Sigma_g$ ($g>1$) can't have Lie group structure. We also know for $S^n$ only $n=0,1,3$ can have Lie group structures.
...
- 249
5
votes
1
answer
149
views
Manifold bounded by Sp(2) realisable inside End(H^2)?
The Lie group $Sp(2) = \{A\in GL(2,\mathbb{H})\mid A^\dagger A = I \}$ has a variety of nice geometric aspects. One of which is that it is the boundary of the disk bundle $D(V)$ of the rank-1 ...
- 35.5k
5
votes
1
answer
339
views
Boundary of the image of a compact manifold in the complex plane
The Question
Consider the trace of an $n \times n$ unitary matrix with determinant 1
\begin{align}
f: SU(n) &\rightarrow \mathbb{C}\\
U \mapsto \text{tr}\, U &= \sum\limits_{i=1}^{n-1} z_i + \...
- 185
2
votes
1
answer
833
views
Which Lie algebras are realised as vector fields on a group?
Fix a Lie group $G$. The vector fields on $G$ form an (infinite-dimensional) Lie algebra with the commutator of vector fields as Lie bracket. What (finite-dimensional) Lie algebras can I realise as ...
- 503
2
votes
0
answers
71
views
Connected topological/Lie group $H$ and $Q$, inflate $Q$-cocycle to coboundary in $H$
I am interested in finding mathematical examples and criteria of inflating $Q$-cocycle to coboundary in $H$, under the requirement:
(1) Both $H$ and $Q$ are connected topological groups or Lie groups (...
- 2,147
5
votes
0
answers
477
views
What is the dimension of $M/G$ if it is a manifold and $G$ acts freely and smoothly?
Let $G$ be a Lie group acting smoothly and freely on a smooth manifold $M$. Suppose that the quotient space $M/G$ is a topological manifold. Do we have
$$\dim(M/G)=\dim M-\dim G?$$
Notes: This ...
- 779
2
votes
1
answer
120
views
$E \times_H \mathbb{R}^n$ is isomorphic to the total space of the tautological bundle $\gamma^n$ over $G_n(\mathbb{R}^{n+k})$?
Let $H$ be the subgroup of $\text{GL}(n + k, \mathbb{R})$ consisting of matrices whose lower $n \times k$ block is empty; i.e. consisting of matrices of the form$$\begin{pmatrix} A & * \\ 0 & ...
- 85