The study of differentiable manifolds and differentiable maps. One fundamental problem is that of classifying manifolds up to diffeomorphism. Differential topology is what Poincaré understood as topology or “analysis situs”.

learn more… | top users | synonyms

0
votes
0answers
40 views

Total differential of Lipschitz submanifolds embedding

My interest is analysis on Lipschitz manifolds. I want to define traces of differential forms on a Lipschitz submanifold $N$ of a Lipschitz manifold $M$. In other words, I want to push-forward ...
2
votes
0answers
57 views

Genericity of maps which are transverse when restricted to a submanifold

Let $M$ and $N$ be smooth manifolds, and $A\subset M$, $B\subset N$ be smooth embedded submanifolds. I am looking for a reference for a theorem on the following lines: The set of smooth maps $h\in ...
8
votes
1answer
239 views
+100

How to flow submanifolds?

Motivation We want a consistent way of perturbing a submanifold away from itself. For $0$-dimensional submanifolds, this is the same data as a nowhere-vanishing vector field: we may flow the points ...
15
votes
1answer
291 views

Idempotents split in category of smooth manifolds?

In his paper "Qualitative Distinctions Between Some Toposes of Generalized Graphs" (reproduced here), page 267, Lawvere says that the idempotent-splitting completion of the category of open sets of ...
1
vote
0answers
121 views

Does there exist any subspace of R^n, homeomorhic to a manifold but not a C^0 submanifold of R^n?

At first I thought that if a subspace of $\mathbb{R}^n$ is homeomorphic to a manifold, then it is a $C^0$ submanifold of $\mathbb{R}^n$. But I found an asterisked exercise in the book Differential ...
3
votes
0answers
215 views

Hirzebruch's ICM talk

Is there an English translation of Hirzebruch's 1958 ICM lecture note: KOMPLEXE MANNIGFALTIGKEITEN Thank you very much!
1
vote
0answers
87 views

Intermediate value theorem for the Jacobian determinant restricted to a curve

Let $f:R^N \to R^N$ be a differentiable mapping, and $J_f$ its Jacobian determinant. Suppose that $\exists a,b \in R^N : J_f(a)<0,J_f(b)>0$. Is it right that on every continous curve connecting ...
4
votes
2answers
195 views

Rank of a jet bundle of a vector bundle. Interpretation of the first jet bundle

I am trying to understand the jet bundles but currently I am stuck on the following questions: Let $\pi: E\rightarrow X$ be a smooth (holomorphic) vector bundle of rank $k$ over a smooth (complex) ...
2
votes
0answers
94 views

Logarithmic de Rham complex induced map on Hypercohomology

• Question: Assume X is an algebraic manifold over $\mathbb{C}$ and $D$ is a simple normal crossings divisor. The logarithmic de Rham complex $\left(\Omega_{X}^{\bullet}\left(log\ ...
1
vote
1answer
163 views

How to classify continuous/differentiable maps from $T^2$ to $U(N)$?

I read a physics paper, of which the main idea is based on the topological classification of maps from 3-torus to the space of $N\times N$ unitary matrices. To quote their equation (4), which gives a ...
4
votes
1answer
170 views

Exercises around Diffeological Spaces or a Diffeologic Atlas Theory

Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...
10
votes
0answers
150 views

A simple proof that parallelizable oriented closed manifolds are oriented boundary?

So let $M$ be a smooth closed orientable real manifold such that $M$ is parallelizable, i.e., the tangent space $TM$ of $M$ is trivial. From the triviality of $TM$ we get that the Stiefel-Whitney and ...
1
vote
2answers
140 views

Smooth but non-analytic kernel functions

Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?
1
vote
0answers
66 views

Boundary of fibers of submersions

Let $M$ be a smooth manifold with boundary (say of dimension $m$) and let $N$ be a smooth manifold with no boundary (say of dimension $n$ with $m\geq n$). We have the following classical result: ...
9
votes
0answers
230 views

Topological type of Brieskorn manifolds

Let us consider the complex hypersurface and suppose that $n\geq 3$: $$F(d,n)=\{(z_0,\ldots,z_n)\in \mathbb{C}^{n+1}:z_0^d+z_1^d+\ldots+z_n^d=0\}$$ and the link $V(d,n)=F(d,n)\cap S^{2n+1}_{\epsilon}$ ...
3
votes
2answers
107 views

Markov Partitions for toral automorphisms

I know that my question is more practical than theoretical. But, I do know where to look for the theoretical sources. I want to find a program in the case that it exists (does it?), or to program it. ...
0
votes
0answers
45 views

Straightening the level sets of a smooth function

Let $f:\mathbb{R}^{n}\rightarrow\mathbb{R}$ be a smooth function and $D\subset\mathbb{R}^{n}$ be a closed ball such that $f$ has no critical points on $D$: $\nabla f(x)\neq0$ for $x\in D$. My ...
8
votes
2answers
198 views

The boundary of a domain whose interior is diffeomorphic to the ball

We know that there are compact manifolds with diffeomorphic interiors but their boundaries are not homeomorphic (see the question Manifolds with homeomorphic interiors). My question is about a very ...
-3
votes
2answers
87 views

The boundary of this set is piecewise smooth? [closed]

Consider a sequence of open sets in $R^n$: $\Omega_1 \supset \Omega_2 \supset\cdots$. Consider that this sets are bounded, convex with the boundary piecewise smooth .When i say smooth i mean ...
5
votes
2answers
270 views

A good metric for transversal intersections

Let $V_1,\ldots,V_k$ be a transversal set of smooth compact orientable sub-manifolds of a compact orientable manifold $M$, and set $V=\bigcap V_i$. Is it always possible to equip a neighborhood $U$ ...
1
vote
0answers
47 views

Twisted calibrations and sufficient conditions on homology of sub-manifolds

I think my question is somehow easy to solve, but I'm not very familiar with algebraic topology, so I'm not able to figure out the solution for myself. I'm working on a problem in metric geometry and ...
2
votes
0answers
194 views

Invariants of solutions of systems of equations

What can be said about invariants of zero set of a function that don't change under small enough continuous perturbations of the functions? I define an $\epsilon$-perturbation $g$ of $f$ to be any ...
-1
votes
2answers
158 views

Let be $f \in Diff(M)$. What we can say about the subgroup $span{f}< Diff(M)$? What are implications in the structure of $f$ and $M$? [closed]

Let be $f \in Diff(M)$. When is finite the subgroup $span\{f\}< Diff(M)$? What are implications in the structure of $f$ and $M$?
2
votes
2answers
150 views

Topological invariants of toroidal orbifolds

Which are the most powerful topological invariants of toroidal orbifolds? In particular I am looking for topological invariants of two-dimensional toroidal orbifolds such as $T^{2}/Z_{k}\times Z_{k}$ ...
7
votes
2answers
236 views

Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$. Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...
3
votes
1answer
186 views

Is any smooth homeomorphism isotopic to a smooth embedding?

Let $f:D^m\to \mathbb{R}^m$ be a smooth map ($D^m$ is the unit ball). We call $f$ embedding if it is a homeomorphism on the image and the derivative $D_xf$ is nonsingular at each point $x\in D^m$ ...
3
votes
3answers
290 views

Finiteness of De Rham cohomology of smooth quasi-projective varieties

Let $U$ be a smooth quasi-projective variety over $\mathbf{C}$. Let $U^{\infty}$ be $U$ but thought of as a smooth manifold. Q1: Is there a simple proof (so it should avoid Hironaka's ...
3
votes
1answer
226 views

What are Kirby diagrams of candidate exotic 4-manifolds?

It is an open problem whether there exist smooth manifolds homeomorphic, but not diffeomorphic to the standard $S^4$. The same is true for the 4-torus and several other manifolds. Handle ...
3
votes
0answers
118 views

Robust Invariants of a solution of systems of equations

Let $X$ be a $k$-dimensional triangulated manifold and $A:=\partial X$ be its boundary. Let $f:X\to R^d$ be a continuous function such that $g:=f|_{A\cup X^{(i-1)}}$ avoids zero and let $z_g\in Z^{i} ...
2
votes
2answers
98 views

$\varepsilon$-covering number after diffeomorphism

Consider a compact set $K \subset\mathbb{R}^d$ and a $\mathscr{C}^1$-diffeomorphism $\varphi:\mathbb{R}^d\rightarrow\mathbb{R}^d$. Fix $\varepsilon>0$. Since $K$ is compact, we may define ...
1
vote
1answer
134 views

Normal tubular neighborhood theorem for semi(or pseudo)-riemannian manifolds

Suppose you have a manifold $M$ and a closed sub-manifold $A$, and let $g$ be a semi-riemannian metric,ie, $g_x$ defines a quadratic form on $T_xM$ such that $g_x(v,v)\ge0$, but $g_x(v,v)=0$ not ...
2
votes
0answers
49 views

Embeddings of complex projective Stiefel manifolds

Let $k\leq n$ and define \begin{align*} V_k(\mathbb{C}^n) & =\{\textrm{orthogonal $k$-frames in } \mathbb{C}^n\}\\ & = \{A\in \textrm{Mat}_{n\times k}{(\mathbb{C})}\mid A^\ast A = {1}_k\} ...
8
votes
3answers
286 views

Characteristic polynomials of trees and E8

In thinking about constructing manifolds via surgery or plumbing, the following combinatorial problem comes up: If T is a tree with adjacency matrix A and I is the identity matrix of the same order, ...
-1
votes
2answers
161 views

Restriction of a line bundle to a two-cycle

I am reading a paper on Chiral Differential Operators http://arxiv.org/pdf/hep-th/0604179v3.pdf and it says on page 23 that a line bundle over a manifold C can be characterized completely by its ...
6
votes
1answer
244 views

What is the relation between Lefschetz fixed point theorem and Poincare-Hopf theorem on vector fields?

In Dubrovin/Fomenko/Novikov Modern geometry--Methods and applications, Part II, the (Poincare-)Hopf theorem is treated in section 15.2 (see theorem 15.2.7 on page 129), while the Lefschetz theorem on ...
4
votes
0answers
79 views

are smooth homotopic open embedding of Hilbert manifolds smoothly isotopic?

A theorem of Chapman (Chapman, T. A. Homotopic homeomorphisms of infinite-dimensional manifolds. Compositio Math. 27 (1973), 135–140) states that every two open embeddings $f,g:M\to N$ of Hilbert ...
6
votes
0answers
156 views

Reference Request: Topological h-cobordism theorem in higher dimensions

I think this question on math.stackexchange is more appropriate on mathoverflow. Correct me, if you don't think so. The h-cobordism theorem is true in the topological and in the smooth category in ...
2
votes
1answer
77 views

An example to show that when $P$ is a complex polarization the subbundle $P+ \bar P$ is not necessarly involutive

I start my question with some motivation. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian P involutive dim$P\cap\bar ...
4
votes
1answer
154 views

Codimension zero embeddings and diffeomorphism groups

Let $V$ be a smooth manifold obtained by attaching the ``open collar'' $[0,1)\times \partial N$ to a compact smooth manifold $N$ along the boundary. Let $\mathrm{Emb}(N, V)$ be the space of embeddings ...
-1
votes
1answer
164 views

Differentiable maps between topological spaces [closed]

Is it possible to define differentiable maps between topological spaces without using the idea of manifolds? I mean with using just the topological structure (open sets or neighborhoods).
8
votes
1answer
459 views

Pontryagin numbers on manifolds with an $S^1$-action

Let $M$ is a smooth compact manifold with an $S^1$-action with isolated fixed points. Suppose the representation of $S^1$ at tangent spaces at all fixed points is known. Can one then find all ...
1
vote
0answers
94 views

How to show the Euler Characteristic is equal to self-intersection number of zero-section [duplicate]

myThe definition of the Euler characteristic (given in Guillemin and Pollack's "Differential Topology") of a compact oriented manifold $X$ is the self-intersection number of the diagonal $\Delta$ in ...
8
votes
4answers
428 views

Cohomology classes represented by submanifolds

Let $Y\subset X$ be a codimension $k$ proper inclusion of submanifolds. If we choose a coorientation of $Y$ inside of $X$ (that is, an orientation of the normal bundle), then we get a class $[Y]\in ...
2
votes
2answers
206 views

evaluation map $ev_t$ on loop space

Considering parameter of $S^1$ as $t$, we define. $$ev_t: C^\infty(S^1, \mathbb R^n)\to \mathbb R^n$$ $$ev_t(\gamma):=\gamma(t)$$ I am looking for a possible topology on $C^\infty(S^1,\mathbb R^n)$ ...
1
vote
0answers
110 views

Smooth structures on quotient space

Suppose $G$ be a discreat group acting on $\mathbb R^n$ freely via two different actions $\rho_1$ and $\rho_2$. Suppose that $\mathbb R^n/\rho_1$ is homeomorphic to $\mathbb R^n/\rho_2$. However the ...
-1
votes
4answers
284 views

An isomorphism on space of smooth sections

Let $M$ be a smooth complex manifold and $L$ be a complex line bundle over $M$. Let $\Gamma(M,L)$ be the space of smooth sections. Why $\Gamma(M,L)$ is it isomorphic to $$A=\{f:L^{\times}\to ...
23
votes
8answers
2k views

Are there some other notions of “curvature” which measure how space curves?

I am learning differential geometry and have a few questions on curvature. -- Background: Gauss invented "Gauss curvature" to measure how surface curves. Riemann gives an ingenious generalization ...
2
votes
0answers
116 views

Diffeomorphism between open annuli preserving common symmetries

Suppose $A$ and $B$ are subsets of $\mathbb{R}^2$ homeomorphic (and thus $C^\infty$ diffeomorphic) to the open annulus (punctured $\mathbb{B}^2$) and let $G$ be the group of isometries of ${\mathbb ...
0
votes
3answers
258 views

Good books on Geometric Theory of Dynamical Systems

I am looking for a good book on Geometric Theory of Dynamical Systems . I found Geometric Theory of Dynamical Systems by Jr. Palis myself,but it's very old, anyway i would like to find a pure ...
3
votes
0answers
162 views

The $\Omega$-Stability Theorem

I'm currently studying the $\Omega$-Stability Theorem: Theorem: If $\mathcal{R}(f)$ has a hyperbolic structure then $f$ is $\mathcal{R}$-stable. Some explanations about the statement: $f$ is a $C^1$ ...