Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
zeta's user avatar
  • 447
2 votes
0 answers
108 views

Questions about symmetric spaces

I'm a little confused with the following questions: (1) Why does a symmetric space $M=G/K$ of compact type have $\mathcal{R}^M\geq 0$? (2) Moreover, why does $\chi(M)\neq 0$ if and only if ${\rm rk}\ ...
Radeha Longa's user avatar
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 ...
Ian Gershon Teixeira's user avatar
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 ...
Ian Gershon Teixeira's user avatar
3 votes
1 answer
425 views

3 dimensional solvmanifolds and Thurston geometries

Does every three dimensional compact solvmanifold admit either Euclidean, nil, or sol geometry? definitions/motivation/background: A solvmanifold is a manifold $ M $ admitting a transitive action by a ...
Ian Gershon Teixeira's user avatar
24 votes
2 answers
2k views

Is it possible to realize the Moebius strip as a linear group orbit?

On MSE this got 5 upvotes but no answers not even a comment so I figured it was time to cross-post it on MO: Is the Moebius strip a linear group orbit? In other words: Does there exists a Lie group $ ...
Ian Gershon Teixeira's user avatar
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 ...
Ian Gershon Teixeira's user avatar
4 votes
1 answer
230 views

Generalizing a result about hyperbolic 2-folds to hyperbolic 3-folds

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\SU{SU}$Let $ \Sigma_g $ be a compact orientable surface of genus $ g $. Let the subgroup $ \pi_1(\Sigma) $ of $ \SL_2(\...
Ian Gershon Teixeira's user avatar
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 ...
Ian Gershon Teixeira's user avatar
8 votes
1 answer
599 views

Exact condition for smooth homogeneous to imply Riemannian homogeneous for compact manifolds

Let $ (M,g) $ be a homogeneous Riemannian manifold. That is, the isometry group $ Iso(M,g) $ acts transitively on $ M $. Let $ \pi_1(M) $ be the fundamental group of $ M $. Then $ \pi_1(M) $ has ...
Ian Gershon Teixeira's user avatar
2 votes
1 answer
137 views

noncompact Riemannian homogeneous is trivial vector bundle over compact homogeneous

Is it true that a manifold $ E $ admits a metric with respect to which the isometry group is transitive ($ E $ is Riemannian homogeneous) if and only if $ E $ is the total space of a $ K $ equivariant ...
Ian Gershon Teixeira's user avatar
7 votes
1 answer
1k views

When a free action gives rise to a $G$-principal bundle

When a free action gives rise to a $G$-principal bundle Let a (topological) group $G$ act freely on a (topological) space $X$. Assume that $G \backslash X$ is Hausdorff. (equivalently the image of ...
Rami's user avatar
  • 2,639
6 votes
1 answer
466 views

Hyperbolic manifolds with infinite cyclic fundamental group

It is a well known fact that there is a correspondence between complete hyperbolic $n$-manifolds up to isometry and discrete subgroups of isometries of the hyperbolic space $\mathbb{H}^n$ that act ...
Overflowian's user avatar
  • 2,533
3 votes
0 answers
267 views

What is the connection between $\mathrm{AdS}_2$ and the hyperbolic plane $\mathbb{H}^2$?

What is the connection between $\mathrm{AdS}_2$ and the hyperbolic plane $\mathbb{H}^2$? Some sources seem to imply that they are the same, i.e. having at least the same symmetry group $\mathrm{SL}(2,...
eriugena's user avatar
  • 679
14 votes
5 answers
1k views

History of the notion of $(G,X)$-structure

I'm currently searching for sources and historical basis on the notion of $(G,X)$-structure as it appears in Thurston's work. So far, it appears that he was the first to set it. Many mathematicans ...
R. Alexandre's user avatar
4 votes
1 answer
233 views

Flat solvmanifolds?

I was looking for some reference on solvmanifolds and came up with a paper by A. Morgan tilted "The classification of flat solvmanifolds". I know there is a complete classification of flat manifolds ...
user60933's user avatar
  • 481
16 votes
2 answers
756 views

Can a sphere glued into a soft 3d-mattress rotate continuously? (manifolds, SU(2) and the belt trick)

The question is triggered by the wonderful animations by Jason Hise: https://www.youtube.com/watch?v=LLw3BaliDUQ https://www.youtube.com/watch?v=6Ul_-ABYaYU https://www.youtube.com/watch?v=...
Messages from various people's user avatar
3 votes
1 answer
98 views

Locally nilpotent algebraic section of tangent bundle is complete?

Suppose $X$ is a smooth affine algebraic variety over $\mathbb{C}$ and let $V$ be an algebraic vector field (i.e. an algebraic section of the tangent bundle). If $V$ is locally nilpotent, meaning that ...
user avatar
10 votes
3 answers
625 views

Parameterizing rotations of a cube

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...
Justin's user avatar
  • 705
2 votes
1 answer
311 views

Is the centralizer $Z_G(A)=\{g\in G| a g= g a\}$ of a finite $A\subset G$ connected for a connected compact Lie group?

Let $G$ be a connected compact Lie group, consider the left/right action on itself. For any finite $A\subset G$, consider the centralizer $Z_G(A):=\{g\in G| a g= g a\}$. Q: is $Z_G(A)$ a connected ...
LTY's user avatar
  • 21
1 vote
1 answer
301 views

Each coadjoint orbit of a compact connected Lie group $G$ admits a $G$-invariant generalized complex structure

I am looking for a proof or counterexample for following assertion Each coadjoint orbit of a compact connected Lie group $G$ admits a $G$-invariant generalized complex structure (In sense of ...
user avatar
7 votes
0 answers
516 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 ...
TerronaBell's user avatar
  • 3,059
4 votes
1 answer
799 views

Transitive action on the sphere

Hello, One of the subgrouops of $SO(n)$ which acts transitively on the sphere $S^{n-1}$ is the (compact) symplectic group $Sp(n/4)$. The center of $Sp(m)$ is isomorphic to $\mathbb{Z}_2$. Can we embed ...
user avatar
1 vote
1 answer
214 views

Orbits of Product Lie Groups Action

Hi to all, Let $G$ be a Lie group of linear isometries of $\mathbb{R}^n_{\nu}$ ($\mathbb{R}^n_{\nu}$ is the semi-Euclidean space) and $G_1$ ,$G_2$ two Lie subgroups of $G$. Let $G_1 \times G_2$ as ...
user avatar
1 vote
2 answers
661 views

module of sections of the horizontal bundle

Some times ago I posted this question here. There I carelessly assumed that if you have a set of sections of a vector bundle which span every fiber pointwise, they also generate the module of smooth ...
student's user avatar
  • 1,222
4 votes
2 answers
545 views

Is every group object in TopMan a Lie group?

Recall that a Lie group is a group object in the category of C∞ manifolds. If I have a group object in the category of topological manifolds, can I necessarily equip it with a smooth structure ...
Theo Johnson-Freyd's user avatar