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)

13
votes
0answers
597 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 ...
11
votes
0answers
142 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 ...
11
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 ...
9
votes
0answers
48 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
131 views

Conditions for a group to admit the structure of a Lie group

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 ...
8
votes
0answers
185 views

Showing L infinity norm bounded by L2 norm on a manifold

I have the following problem that I'm working on: Suppose $(M, g_{ij})$ is a compact Riemannian manifold. Assume $u$ is a smooth, nonnegative function which satisfies the differential inequality ...
7
votes
0answers
161 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]$$ ...
6
votes
0answers
90 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
118 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
95 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.
6
votes
0answers
177 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
384 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
167 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, ...
5
votes
0answers
93 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
55 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
46 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
53 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
58 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
46 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
89 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 ...
5
votes
0answers
111 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
47 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
79 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
130 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 ...
5
votes
0answers
169 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
75 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 ...
5
votes
0answers
92 views

Example of charts on $\mathbb{R}$ that are $\mathcal{C}^r$ compatible but not $\mathcal{C}^{r+1}$ compatible.

Is there a simple example of two charts where this is the case? I'm struggling to think up one.
5
votes
0answers
253 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
110 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
215 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
124 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 ...
5
votes
0answers
204 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
82 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
226 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$ ...
5
votes
0answers
135 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
150 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
161 views

Invariance of Wall's self-intersection under the regular homotopy

For an immersion $f\colon N^n\to M^{2n}$ with fixed lift $\tilde{f}\colon N\to \tilde{M}$ and $N,M,\tilde{M}$ are oriented, first we define a unordered double point set $S_2[f]=\lbrace(x_1,x_2)\in ...
4
votes
0answers
55 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 ...
4
votes
0answers
54 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 ...
4
votes
0answers
41 views

Manifolds with 'bad metrics' (reference request)

While studying some differential geometry, a thought crossed my mind that I am sure has been considered before, but I cannot find a reference for it. What can be said about spaces for which the ...
4
votes
0answers
27 views

What does it mean for a function f to be C^k “close” to a function g?

My impression is that $f$ is $C^k$ "close" to $g$ if $f$ is close to $g$, $f'$ is close to $g'$, ... $f^{(k)}$ is close to $g^{(k)}$. However, my professor is being a bit nebulous on what "close" ...
4
votes
0answers
40 views

Transversality and homotopic maps

I'm trying to solve some problems in differential topology, and I came across the following: suppose $f:M\times [0,1]\rightarrow N$ is a homotopy, where $M$ is a compact manifold, such that $f_0$ and ...
4
votes
0answers
59 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 ...
4
votes
0answers
94 views

How to visualize cotangent spaces.

I was wondering how to intuitively and visually understand dual vector spaces and one-forms. So my question is (1), how to visualize cotangent spaces and (2), how to intuitively understand them? My ...
4
votes
0answers
100 views

Gluing two solid tori along their boundary resulting in a topological manifold

The following question is from a past qualifying exam. Take two solid tori $D^2 \times S^1$, and construct the space $X$ by identifying their boundaries via the map $f \colon \partial D^2 \times S^1 ...
4
votes
0answers
64 views

Surgery and Euler Characteristic

I am trying to find out how a $(p,n-p)$ surgery affects the Euler Characteristic of an orientable, $n-$ dimensional, compact manifold. Call the initial manifold $M$ and the post-op manifold $M'$. This ...
4
votes
0answers
115 views

Flowing a vector along a vector field $X$ using the pushforward of the flow of $X$

On the three-sphere $S^3$, I'm given three vector fields $X$, $Y$ and $Z$, such that at each point $p\in S^3$, the tangent vectors $X_p$, $Y_p$ and $Z_p$ form an orthogonal basis of the tangent space ...
4
votes
0answers
46 views

Cone is a submanifold iff it is a vector subspace

Could you tell me how to prove the following? Let $\emptyset \neq M \subset \mathbb{R}^n $ be a cone ($\forall x \in M, t \in \mathbb{R} : tx \in M $ ), $0 \le d \le n.$ Prove that $M$ is a $d$ ...
4
votes
0answers
273 views

Top de Rham cohomology

I just realized that I never really understood why $H_{dR}^n(M, \mathbb{R}) = \mathbb{R}$ if $M$ is compact and $H_{dR}^n(M, \mathbb{R}) = \{0\}$ if $M$ is not compact (provided that's true?). I'm ...
4
votes
0answers
73 views

Analytic/Smooth/Continuous maps between a manifold and itself

Let us suppose that $M_{\omega}$ is a connected real-analytic manifold of dimension $n$. Then there is an associated smooth structure, $\mathcal{C}^r$ structure ($r$ non-negative integer) on it. Let ...