Differential topology is the field dealing with differentiable functions on differentiable manifolds. It is closely related to differential geometry and together they make up the geometric theory of differentiable manifolds.

learn more… | top users | synonyms

2
votes
1answer
185 views

Locally flat submanifold

Recently I found the following definition: Let $M^{n}$ be an $n-$dimensional topological manifold. Then $N^{k}\subseteq M^{n}$ is a locally flat submanifold if for every $x\in N$ there exists an open ...
6
votes
1answer
272 views

Proof that vector area is a boundary integral?

Let $M \subset \mathbb{R}^2$ be a closed topological disk and let $f: M \rightarrow \mathbb{R}^3$ be a smooth embedding; let $N$ be the corresponding unit normal field on $M$. The vector area is ...
6
votes
1answer
233 views

Are all vector bundles “flat vector bundles”?

This concept appears in Bott&Tu's GTM82. A flat vector bundle is one who has a particular trivialization with locally constant transition functions. Then my question is whether every vector bundle ...
0
votes
1answer
105 views

equivalence between differentiability definitions

In analysis course we encounter commonly the following definition of differentiable function: $f:U \rightarrow \mathbb{R^m}$, where $U \subset \mathbb{R^n}$ is differentiable when $\exists \ T \in ...
6
votes
1answer
291 views

An example of a derivation at a point on a $C^k$-manifold which is not a tangent vector

Let $M$ be a real $C^k$-manifold, $\mathscr{H}_x$ be the $\mathbb{R}$-algebra of germs of $C^k$-differentiable functions at $x \in M$. It is easy to show that $T_x M$ can be embedded into the space of ...
6
votes
2answers
181 views

Is a vector bundle orientable if and only if its dual bundle is orientable?

I was reading up on my dual spaces today and I made the following hypothesis: A vector bundle $\xi$ is orientable if and only if $\xi^*$ is orientable. This seems rather intuitive, and although ...
10
votes
2answers
367 views

Reversing the Ricci flow

Suppose $S$ is a closed, oriented surface (2-manifold) embedded in $\mathbb{R}^3$, which inherits the metric from $\mathbb{R}^3$, so that distances are measured by shortest paths on the surface. If ...
6
votes
1answer
179 views

Obstructions to lifting a map for the Hopf fibration

This is a bit of an elementary question, but suppose $\pi: \mathbb{S}^3\to \mathbb{S}^2$ is the Hopf fibration, are there reasonably computable obstructions to when a map $f:M\to \mathbb{S}^2$ can be ...
2
votes
1answer
110 views

A question about complex manifolds

Let $(M,J_{M})$ be a almost complex manifold and $(N,J_{N})$ be a complex manifold. I want to prove that $F^{*}(\mathcal{O}_{N})\subset\mathcal{O}_{M}$ implies that $F:M\rightarrow N$ is almost ...
15
votes
1answer
972 views

What does “locally trivial” do for us?

For the following we will work in the smooth category. (But examples in the topological category is also welcome.) The usual definition of a fibre bundle is Def A fibre bundle is the quadruple ...
5
votes
2answers
472 views

basic differential forms

Given a fiber bundle $f: E\rightarrow M$ with connected fibers we call the image $f^*(\Omega^k(M))\subset \Omega^k(E)$ the subspace of basic forms. Clearly, for any vertical vector field $X$ on $E$ we ...
4
votes
2answers
693 views

An exercise in Spivak's *Calculus on Manifolds*

Problem 5-6 in Michael Spivak's Calculus on Manifolds reads: If $f:\mathbb R^n\to\mathbb R^m$, the graph of $f$ is $\{(x,y):y=f(x)\}$. Show that the graph of $f$ is an $n$-dimensional manifold if ...
1
vote
1answer
185 views

Are there bounded surfaces without boundary that are noncompact?

I am aware of the Heine-Borel theorem, which says that closed and bounded is the same as compact in $\mathbb{R}^n$. My question is: are there (connected) surfaces without boundary embedded in ...
4
votes
1answer
182 views

Equivalent definitions of differential map

Let $f:M\rightarrow N$ be a smooth map between smooth manifolds, let $p\in M$ and $v\in T_{p}M$. Two different definitions of differential maps on tangent space: let $\gamma$ be a smooth curve on $M$ ...
4
votes
0answers
296 views

Useful topology on space of smooth structures on $\mathbb R^4$?

Mathoverflow is intimidating, so I thought I'd ask here first (second). If I don't get any useful answers here in a few days, I'll ask there. $Q_0$: Is there any use for a topology on the (continuum ...
2
votes
1answer
136 views

Embedding a manifold in the disk

I don't understand a sentence made by Hirsch in his Differential Topology at page 175: If $k > n+1$ and $M^n = \partial W^{n+1}$, then an embedding $M^n \hookrightarrow S^{n+k}$ extends to a neat ...
13
votes
1answer
261 views

Is $\mathbb{S}^\infty$ exotic

During construction of universal bundles one considers (for example) the infinite real projective space $\mathbb{R}\mathbb{P}^\infty$, coming from the sphere $\mathbb{S}^\infty$. My question is, are ...
9
votes
3answers
843 views

Texts on Principal Bundles, Characteristic Classes, Intro to 4-manifolds / Gauge Theory

I am looking for a textbook that might serve as an introduction to principal bundles, curvature forms and characteristic classes, and perhaps towards 4-manifolds and gauge theory. Currently, the only ...
7
votes
1answer
207 views

Construction of Exotic Spheres

Milnor was constructing exotic spheres (at least in dimension 7) by bundle theory. Having proven the existence of such an exotic beast, I wonder if something as this is possible: Let $\mathbb{S}^n$ ...
1
vote
1answer
606 views

The definition of submanifold of a manifold with boundary

What is the exact definition of submanifold of a manifold with boundary? For example, when $H$ is the half space of the plane and S is a cycle which intersects with the origin in the half plane. Then ...
5
votes
0answers
295 views

Definition of Cobordism

I am currently trying to read Quillen's Cobordism paper - On the formal group laws of unoriented and complex cobordism theory Bull. Amer. Math. Soc, 75 (1969) pp. 1293–1298. Still on the first page ...
3
votes
2answers
141 views

What is wrong with this proof (that all vector bundles of the same rank are isomorphic)?

Suppose I have two vector bundles $E \rightarrow M, E' \rightarrow M$ of rank $k$ on a smooth manifold $M$. Let $\mathcal{E}(M), \mathcal{E'}(M)$ denote their spaces of smooth sections. We can ...
5
votes
2answers
292 views

Intuition for smooth manifolds

Consider the graphs of the functions $f_1(x) = |x|$, and $f_2(x) = x$ under the subspace topology of $\mathbb{R}^2$. Both of these graphs are smooth manifolds, just pick coordinate charts to be $(x, ...
3
votes
0answers
194 views

Confusion about Poincaré-Hopf

The two following theorems appear to be contradictory. Both are proved in Milnor's "Topology from the differentiable viewpoint." I'm sure I'm overlooking something incredibly trivial: Let $f$ be a ...
1
vote
1answer
190 views

Compute the degree of map

Let $S:SU(2)\rightarrow SU(2)$ be defined as $S(X)=X^{4}$. Compute the degree of $S$. Now, $SU(2)$ is homeomorphic to $S^{3}$, so the degree can be taken as:$$ \int_{S^{3}}S^{*}\omega=(\deg ...
5
votes
1answer
579 views

Degree of Gauss map equal to half the Euler characteristic and Poincaré-Hopf

The Poincaré-Hopf theorem states that for a smooth compact $m$-manifold $M$ without boundary and a vector field $X\in\operatorname{Vect}(M)$ of $M$ with only isolated zeroes we have the equality ...
15
votes
2answers
519 views

Books on topology and geometry of Grassmannians

Grassmannians are a pretty useful subject in numerous fields of mathematics (and physics). In fact, it was the first non-trivial higher-dimensional example that was given in an introductory projective ...
11
votes
5answers
1k views

Software to draw links or knots

I am looking for software that can aid me in drawing knots and links. There are of course (examples) knotplotters all over the web, but they can only draw specific knots. What I am looking for is the ...
3
votes
0answers
280 views

Why do we integrate 1-forms?

So integration of a 1-form $\omega$ over a path $\gamma$ is defined to be the integral of the pullback of $\omega$. Why does this make sense? Why don't we integrate over a vector field instead, like ...
3
votes
2answers
503 views

Understanding differential form

Let $M$ be a smooth manifold. A differential form of degree $k$ is a smooth section of the $k$th exterior power of the cotangent bundle of $M$. Does it mean that a differential form of degree ...
3
votes
1answer
174 views

Tangent bundle of $\mathbb{RP}^n$

I am trying to show that $T\mathbb{RP}^n$ and $\text{Hom}(\gamma_1,\gamma_1^{\perp})$ are isomorphic bundles over $\mathbb{RP}^n$. For $[x]\in\mathbb{RP}^n$, let $L_x$ be the line in ...
4
votes
1answer
249 views

Algebraic Link/Knot not of the Torus Type

I'm studying Milnor's Singularities of Complex Hypersurfaces, and a small, perhaps moot, point in Chapter 10 has me thinking in circles. (I asked a related but different question here). Here is some ...
3
votes
1answer
339 views

De Rham Cohomology Question

Let $M$ be a compact connected $n$-manifold without boundary. Let $\mu\in\Omega^{n-1}(M)$, show that there exists a point $p\in M$ such that $d\mu(p)=0$.
6
votes
1answer
147 views

Is there such kind of theorem saying two homotopic ways of attaching handle result in diffeomorphic manifolds?

M' is a manifold with boundary. One can attaching a handle $h:=D^k\times D^{n-k}$ along $f:S^{k-1}\times D^{n-k}\rightarrow M'$ forming $M=M'\cup_f h$. Suppose f is homotopic with f', and that ...
8
votes
2answers
452 views

Smooth structure on the topological space

Consider a topological space $X$. Lee in Introduction to Smooth Manifolds wrote that it is impossible to introduce a smooth structure on the topological manifold based only on topology (i.e. ...
2
votes
1answer
133 views

Relationship between integrable 1-plane fields and a one parameter group of diffeomorphisms

A 1-plane field on a manifold is a smooth choice of a 1 dimensional subspace of the tangent space at every point. If this plane field is integrable then there is an associated 1-dimensional foliation ...
3
votes
0answers
288 views

How to prove that the complex in Morse homology is isomorphic to the one in cellular homology

Since every stable submanifold with orientation in Morse homology is actually a cell in cellular homology, it suffices to prove the two boundary map coincide. Intuitively one may accept it is true by ...
3
votes
1answer
2k views

why not just 2 charts to make atlas for sphere?

In http://en.wikipedia.org/wiki/Manifold_(mathematics)#Construction, it says that 6 charts can be used to make an atlas for a sphere. But the text shows that you have a chart for the northern ...
4
votes
0answers
163 views

Properties of Surgery on Manifolds?

I am trying to give a brief explanation in which I make use of the concept of surgery on an $m$-manifold $M$. This is along the lines of (and taken generously from) the Wikipedia entry on Surgery; ...
2
votes
0answers
166 views

Topology of pseudo projective space

I don't know if "pseudo projective space" is a general accepted term, but I once read a book on general topology where the term was used for $\mathbb{S}^n / (\mathbb{Z}/m\mathbb{Z})$ (where you get ...
3
votes
1answer
218 views

4-Manifolds of which there exist no Kirby diagrams

In 4-Manifold theory one makes often the use of Kirby Diagrams to construct 4-manifolds (compact or non-compact) with specific gauge and topological properties (for example small betti numbers, spin ...
10
votes
4answers
160 views

holomorphic exoticness

A topological manifold is an exotic copy of another smooth manifold if it is homeomorphic to it, but not diffeomorphic (and when you switch diffeomorphic by homotopic, you get a fake copy, following ...
6
votes
0answers
160 views

non-orientable 4-manifolds

Most of the books and texts I read about classfication problems surrounding 4-manifolds which are closed and orientable (with a occasional side-track to open orientable 4-manifolds). This is ...
3
votes
2answers
128 views

Looking books about the topology of n-manifold ($n > 4$)

There are a lot of books dealing with the strangeness of the topology of 4-dimensional topology. I wonder if there are books or overview references on the topology of n-manifolds (where n > 4) ? ...
4
votes
1answer
618 views

Bundle orientability vs manifold orientability

Given a vector bundle, I am a bit hazy about the difference between the notions of its orientability as a bundle and as a manifold. I think I know that the following are true, A tangent bundle of a ...
6
votes
1answer
157 views

Exotic Manifolds from the inside

As we know, an exotic $\mathbb{R}^4$ is a manifold which is homeomorphic, but not diffeomorphic to the standard $(\mathbb{R}^4,id)$, and there are even very explicit descriptions of them (Kirby ...
2
votes
2answers
353 views

is any subset of a manifold a submanifold?

by definition a submanifold is a subset of a manifold which is itself a manifold. consider $A$ a subset of an $n$-manifold $M$. a neighborhood of $x\in A$ is $\mathbb R^n$ since $x$ is an element of ...
2
votes
1answer
136 views

Is 2x (360°) rotated (orientable) Möbius band homeomorphic to $S^1\times[0,1]$?

I'm thinking yes, because they are both a quotient of the square. But I can't figure out what the actual homeomorphism is. Do we have to "go outside of $\mathbb{R}^3$" with the homeomorphism? ...
10
votes
2answers
489 views

Gradient nonzero extensions of a vector field on the circle

Let $\mathbf{v}=(a,b)$ be a smooth vector field on the unit circle $\mathbb{S}^{1}$ such that $a^{2}+b^{2}\neq0$ everywhere in $\mathbb{S}^{1}$ with degree $\deg\mathbf{v}=0$. Suppose also that ...
3
votes
1answer
272 views

Sphere eversion and Smale-Hirsch theorem

For two manifolds $M^m$ and $N^n$ with $m<n$ the Smale-Hirsch theorem says that the differential map $d:\operatorname{Imm}(M,N)\to\operatorname{Mon}(TM,TN)$ is a weak homotopy equivalence, where ...