For questions on manifolds of dimension $n$, a topological space that near each point resembles $n$-dimensional Euclidean space.

learn more… | top users | synonyms (1)

15
votes
0answers
777 views

When is a fibration a fiber bundle?

In this question I am using Wiki's definitions for fibration and fiber bundle. I want to be general in asking my question, but I am mostly interested in smooth compact manifolds and smooth fibrations ...
12
votes
0answers
181 views

Vector valued 2-forms which satisfy Jacobi Identity

Motivated by this MO question we ask the following two questions: 1)What is an example of a compact manifold $M$ which does not admit any smooth (1,2) tensor $\omega$ which restriction to each ...
12
votes
0answers
182 views

Which Algebraic Properties Distinguish Lie Groups from Abstract Groups?

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group, and wants to be a sort of "converse". Here I am taking an abstract group $G$ and ...
12
votes
0answers
1k views

Fundamental group of a compact manifold

In an article I am currently reading, the author tells us that for compact (finite dimensional topological) manifolds X and finite groups $\Gamma$, the set $$\mathrm{Hom}(\pi_1X,\Gamma)/\Gamma$$ where ...
11
votes
0answers
311 views

Norm Inequality on a Compact Riemannian Manifold

Consider the following problem: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality $$\Delta u \geq ...
9
votes
0answers
72 views

Is $T(M)$ necessarily equivalent to the normal bundle of $M$ in $\textbf{R}^{2n}$, if $M$ is totally real?

Consider real submanifolds, $M^n \subset \textbf{C}^n$. ($\textbf{C}^n \equiv (\textbf{R}^{2n}, J)$, where $J(x, y) = (-y, x)$). $M^n$ is totally real if $J(T_pM) \cap T_pM = 0$, for all $p \in M$. ...
9
votes
0answers
153 views

Codimension $1$ Embedding into $\mathbb{R}^{n+1}$

I am trying to determine which homotopy types can be realized by $n$-manifolds that have codimension one embeddings into $\mathbb{R}^{n+1}$. Suppose I have $X^n \subset \mathbb{R}^{n+1}$ and an ...
9
votes
0answers
62 views

Closed orientable three manifold with finite cover by $S^1 \times S^2$ or $T^3$

I have been thinking about a problem where I can conclude that I have a closed orientable three manifold which is covered by $S^1 \times S^2$ or $S^1 \times T^2$. I think that the geometrization ...
9
votes
0answers
198 views

Fundamental class of the connected sum of two closed orientable manifolds

I need to find a representation of $ [M \mathbin\sharp N] \in H_n(M \mathbin\sharp N) $ in terms of the fundamental classes $[M]$ and $[N]$. My idea is that $$ [M \mathbin\sharp N] = [M]+[N]$$ ...
7
votes
0answers
105 views

Higher math and statistics/probability

So I've heard that certain areas of statistics and probability use manifolds and results from analysis and topology. Given that I lack the background to see where manifolds would become useful in ...
7
votes
0answers
185 views

Simpler version of dogbone space construction

In "The cartesian product of a certain nonmanifold and a line is $E^4$" (R.H. Bing, Annals of Mathematics series 2 vol 70 1959 pp. 399–412) Bing constructs a nonmanifold, $B$, such that $B\times \Bbb ...
7
votes
0answers
137 views

Can a differential k-form be integrated on a manifold that is not k-dimensional?

For example, can you integrate a 2-form on some curve, a 1-dimensional manifold, or some 3-dimensional manifold? I know that Stokes's Theorem states that if you integrate $\omega \in \mathcal ...
7
votes
0answers
101 views

Does there exist a vector field s.t. all orbits are dense on $\mathbb{R}^2$

Is there a complete vector field such that the all orbits are dense on a contractible manifold? For example, $\mathbb{R}^2$,the interior of a $n$-unit ball.
7
votes
0answers
143 views

Homological definition of orientation at a boundary point?

For a topological manifold $M^m$, an orientation at a point $x \in M$ can be defined as a choice of generator for $H_m (M, M-x)$. For a topological manifold with boundary this definition still makes ...
6
votes
0answers
105 views

Decorating eggs

I came across this question as I have been helping someone decorate styrofoam eggs by gluing wrapping paper onto it. The question is quite simple but I found myself stumped. Given an egg what is the ...
6
votes
0answers
134 views

Sobolev space on $M \times [0,\infty)$, $M$ compact closed manifold

Consider a manifold of the form $M \times [0,\infty)$, where $M$ is a closed compact manifold without boundary. So $M \times [0,\infty)$ is a semi-infinite cylinder. I want to know information about ...
6
votes
0answers
184 views

Fixed Point Involutions

In recent reading on Riemann surfaces and complex manifolds (primary Miranda with a few random finds online), I encountered the notion of involutions, in particular fixed point involutions. We recall ...
6
votes
0answers
87 views

Domain invariance for smooth functions

The domain invariance theorem states that for an open set $U\subset \mathbb{R}^n$ and a continuous and injective mapping $f:U\to \mathbb{R}^n,$ the image $f(U)\subset \mathbb{R}^n$ is open. I've read ...
6
votes
0answers
203 views

An imcomprehensible proof on Arnold's Lectures on PDE, contact diffeomorphism

In Lectures on Partial Differential Equations, Arnold gives a theorem in the chapter Huygens' Principle in the Theory of Wave Propagation: Theorem 1 (the theory of support functions). The manifold ...
6
votes
0answers
650 views

Differentiable Manifold Hausdorff, second countable

Why do we generally require that a differentiable manifold be Hausdorff and second countable? Is this universally accepted in the definition? My Professor only required the Hausdorff condition for ...
6
votes
0answers
201 views

Gluing manifolds

Is it true that gluing can be realized two ways? In the example of gluing two cylinders to obtain a torus one can imbed each cylinders into the torus like this: A point $(\cos \phi , \sin \phi, ...
6
votes
0answers
267 views

de Rham Cohomology of Non-Flat Bundle

Let $E$ be a smooth vector bundle on a smooth manifold $M$. If $E$ is flat, there is a connection $\nabla$ which is a differential which we can use to define the de Rham cohomology of $E$. If $E$ ...
6
votes
0answers
148 views

Alternate pullback bundle construction

If $\pi : F \to N$ is a fiber bundle, and $\phi : M \to N$ (here, $M$ and $N$ are manifolds), then the standard way to define the pullback bundle of $F$ by $\phi$ is $$\phi^* F := \{(m,f) \in M ...
5
votes
0answers
50 views

Can the concept of orientability be applied to more general spaces?

Today a friend asked me if the Moebius strip with one segment identified to a point is orientable or not. The first thing I replied is that it is not a manifold so you can't define orientability in ...
5
votes
0answers
51 views

Maximizing the pairwise Frobenuis distance between M othrogonal matrices

I want to maximize the pairwise Frobenius distance between $M$ orthogonal matrices. That is, I'm looking for $Q_{i}, i = 1, 2, ... M$ such that \begin{equation*} \begin{aligned} & \underset{ 1 ...
5
votes
0answers
115 views

Connected topological manifolds

For any connected topological manifold, it is true that for any two points on the manifold, there exists a single local chart that both of two points lie in it. How can I prove it?
5
votes
0answers
238 views

Advanced Differential Geometry Textbook

In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual graduate courses. They are Switzer Algebraic Topology: Homology and Homotopy and Whitehead ...
5
votes
0answers
107 views

Formal adjoint of curvature (Yang Mills)

Currently reading a paper on finding solutions to the Yang Mills equation $D^*\Omega=0$, where $\Omega$ is the curvature and $D^*$ is the formal adjoint of the exterior covariant derivative $D$. ...
5
votes
0answers
61 views

Manifold, exist smooth nonnegative function with regular value at 0?

If $X$ is any manifold with boundary, then does there exist a smooth nonnegative function $f$ on $X$, with a regular value at $0$, such that $\partial X = f^{-1}(0)$?
5
votes
0answers
82 views

Integration by parts on manifold with a boundary

Suppose $C$ is a 3-form, and $G$ is a 4-form defined by $G = dC$. Also, $M_{11}$ is an 11-dimensional manifold (without a boundary), $W_{6}$ is a 6-dimensional submanifold of $M_{11}$ and ...
5
votes
0answers
80 views

Higher-Order Differential Operators as Vector Fields

On a $C^\infty$ manifold $M$, one can produce the tangent space $T_p M$ at a point by equivalence classes of tangents to smooth curves through the point $p$. When realised this way, the tangent ...
5
votes
0answers
67 views

Defining a metric in the tangent spaces $ T_xM $

I'm working with a metric $D$ over the manifold of grassman $G_n(\mathbb{R}^{d})$ and have difficulties to extend $D$. Let me explain: If $M$ is a submanifold of dimension $n$ in $\mathbb{R}^{d}$ ...
5
votes
0answers
74 views

Abstract definition of a differential operator

In Kolar, Michor, and Slovak, a differential operator is said to be a rule transforming sections of a fibred manifold $Y \to M$ into sections of another fibred manifold $Y' \to M'$. Is this is a ...
5
votes
0answers
54 views

Cartan geometry on manifolds with boundary

I was reading Sharpe's text on Cartan geometry, and I started to wonder: Does the theory change in any significant way if the base manifold for the Cartan principal bundle is allowed to be a smooth ...
5
votes
0answers
119 views

projective space and torus

we defined the projective space as $\mathbb{S^2/Z_2}$ i.e. identify antipodal points and the torus as $\mathbb{R}^2 / \mathbb{Z}^2.$ And now I am concerned with their manifold structure- In fact, I ...
5
votes
0answers
64 views

Is there a way to define the concept of manifolds so it looks more like “generalised affine spaces”?

What I have in mind is along the lines of this: Let $M$ a topological space, $V$ a normed vector space, and $$ \boxminus \colon M\times M \to V, $$ $$ \boxplus \colon M\times V \to M. $$ Then ...
5
votes
0answers
97 views

quaternion vector bundle and quaternion grassmannian

Let $\mathbb{H}$ be quaternion numbers. Let $G_n(\mathbb{H}^\infty)$ be the grassmannian of $n$-subspaces of $\mathbb{H}^\infty$. Then ...
5
votes
0answers
119 views

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
5
votes
0answers
63 views

Existence of orientation-reversing automorphisms

Let $M$ be a connected orientable manifold (I don't really care about which category of manifolds we should work in). Since I read that there are nice manidolds without orientation-reversing ...
5
votes
0answers
95 views

Decomposition of Laplacian into tangental and normal components w.r.t. submanifold

If I have the covariant Laplacian operator acting on a tensor e.g. $\nabla^2 h_{\mu\nu}$ on a (pseudo-Riemannian) manifold, and I have (say a codimension-2) submanifold, how can I "decompose" the ...
5
votes
0answers
193 views

Fundamental solution to Laplace equation on arbitrary Riemann surfaces

So, I've seen in a few places this method of calculating the heat kernel on a manifold given the kernel of its universal cover, through a so-called 'tiling method' as in section five of this paper ...
5
votes
0answers
343 views

Is $G$ a lie group if left multiplication is smooth and multiplication is smooth near $e$?

Suppose $G$ is a smooth manifold and also a topological group. Also suppose that left multiplication $L_g : G \rightarrow G$ is smooth for any $g \in G$. Finally suppose that the multiplication map is ...
5
votes
0answers
74 views

how to obtain a generalized Morse function out of a fiber bundle?

Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, 1990)", K. Igusa says that if dim $B$$<$dim $M$, then, there exists a smooth ...
5
votes
0answers
131 views

A good reference for learning about super-differentiation & super-integration?

I've looked at a couple of books for basic information for super-differentiation & super-integration - Rogers Supermanifolds, and Khrennikovs Superanalysis. Unfortunately both books lack a clear ...
5
votes
0answers
280 views

Properties of the projection onto a nonconvex set

Consider a set $\Omega\subseteq\mathbb{R}^n$ being "sufficiently regular", for example being the image of a $C^1$ mapping from $\mathbb{R}^p$ for some $p\ge1$. We may then consider the mapping $$ ...
5
votes
0answers
59 views

non-constant curve c with $\frac{\mathrm{d}c}{\mathrm{d}t}= \lambda\frac{\mathrm{d}^2c}{\mathrm{d}t^2}$

I don't know how to solve the following problem and would appreciate some help. Let $M$ be a submanifold of euclidean space and $c:[a,b] \to M$ a non-constant curve, such that the velocity field of ...
5
votes
0answers
233 views

Does every non-compact manifold admit an incomplete vector field?

I know that every vector field on a compact manifold is complete. The question of whether every non-compact manifold admits an incomplete vector field seems to follow naturally. I'd hazard a guess ...
5
votes
0answers
94 views

Do we really need to use the Jordan-Schönflies Theorem to prove that every surface can be triangulated?

I have read that most proofs of the triangulability of surfaces require the use of the Jordan-Schönflies Theorem. However, is such high-tech machinery really needed? The problem is that 3-manifolds ...
5
votes
0answers
172 views

Heegaard Splitting of Brieskorn homology 3-spheres

For pairwise coprime integers $(p,q,r)$, we define a Brieskorn homology 3-spheres by $\Sigma(p,q,r)=\{(z_1,z_2,z_3)\in\mathbb{C}^3 | z_1^p+z_2^q+z_3^r=0, |z_1|^2+|z_2|^2+|z_3|^2=1\}$. I want to know ...
5
votes
0answers
117 views

tangent space clarification

I was just wondering why we don't define the tangent space of a smooth manifold at a point $p$ to be $\{p\} \times \mathbb{R}^{n}$, rather than using derivations, germs, or equivalence classes of ...