# Questions tagged [differential-topology]

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”.

1,386 questions
Filter by
Sorted by
Tagged with
34 views

### Local coordinates of one form on a principal bundle

I am reading "Natural and Gauge Natural Formalism for Classical Field Theory" by Lorenzo Fatibene and I am really confused by his definition of a connection in local coordinates. Let's say ...
49 views

### Restrictions on pointed lifts of isometries

Let $M$ be a closed Riemannian manifold and let $f$ be an isometry of $M$ that fixes a point $\ast \in M$ and acts trivially on $\Gamma := \pi_1(M,\ast)$. Then there is a unique isometry $\tilde{f}$ ...
102 views

### Extending an embedding with trivial normal bundle

I am recently studying the book Notes on Cobordism Theory by R. E. Stong and I have noticed that the proposition below is (implicitly) used (for example to extend a $(B,f)$ structure on a boundary of ...
713 views

### Can the product of a 3-dimensional lens space with a circle be diffeomorphic to another such product when the lens spaces aren't diffeomorphic?

This is a question that I need to answer in order to resolve an issue for my dissertation and I am looking for a reference. Here is the precise statement of the question. Suppose we have two three-...
94 views

### Diffeomorphism classification of manifolds with fundamental group $\mathbb{Z}_n$, $n>2$

I am looking for diffeomorphism classifications of manifolds with $\pi_1=\mathbb{Z}_n$, $n>2$. I only know of Ottenburger's PhD thesis, A diffeomorphism classification of 5- and 7-dimensional non-...
73 views

### What locales correspond to Manifolds?

I am studying the categorical equivalence between (sober) topological spaces and (spatial) locales with enough points. As the title implies, I am interested in finding localic analogues of both ...
132 views

### Degree one self-map of $\Bbb R^2\big\backslash \big\{(n,0):n\in \Bbb Z\big\}$ not homotopic to any self-homotopy equivalence

Consider the surface $\Sigma=\Bbb R^2\big\backslash \big\{(n,0):n\in \Bbb Z\big\}$. Does there exist a proper map $f\colon \Sigma\to \Sigma$ of degree $1$ and not homotopic to any self-homotopy ...
61 views

### Uniqueness of collar neighborhoods for non-compact boundary case in smooth setting

Let $M$ be a smooth manifold and let $f_0, f_1 \colon [0, 1] \times \partial M \to M$ be two smooth embeddings that are the identity map on $\partial M \times\{0\} = \partial M$ . If $\partial M$ is ...
467 views

### Is there a $4$-manifold which Immerses in $\mathbb{R}^6$ but doesn't Embed in $\mathbb{R}^7$?

I'm interested in both version of the question in the title, i.e. in the topological category and in the smooth category. By a topological immersion I mean a local embedding. I was asking in ...
271 views

### Non orientable, closed manifold covered by two contractible charts

This is a follow up of my previous MO question "Non orientable, closed manifold covered by two simply-connected charts." Nick L's nice answer shows that such manifolds actually exist, ...
190 views

### Questions about a paper by Laudenbach and Poénaru

I am working on the 1972 paper A Note on 4-Dimensional Handlebodies by F. Laudenbach and V. Poénaru, and I had two questions. I will use their notations to simplify things, since the paper is very ...
167 views

### Existence parallel vector fields and its effect on the topology of manifolds (Karp's Thesis)

It seems that there is no digital copy of Leon Karp's Ph.D. thesis L. Karp, Vector fields on manifolds, Thesis, New York Univ., 1976. on internet and his paper excerpted from his thesis is very brief ...
188 views

### Reference request: Milnor rank of spheres

Milnor defines the rank of a smooth manifold $M$ as the maximum cardinality of a linearly independent set of vector fields on $M$ whose elements are pair wise commuting. In other words, the rank of $M$...
226 views

44 views

### Antisymmetric tensor coordinates and tensorial spaces

I am currently working on some geometric aspects of higher-spin models for which there appear antisymmetric tensor coordinates $X^{\mu\nu}=-X^{\nu\mu}$, with $\mu,\nu=1,...,N$, which have been ...
23 views

### Fiberwise starshaped Hypersurfaces in $T^*M$

I just read the following assertion in this paper arXiv link : Let $\Sigma$ be a smooth connected Hypersurface in $T^*M$. We say that $\Sigma$ is fiberwise starshaped if for each point $q\in M$ the ...
141 views

### Subset of the domain of attraction

Let $x \in R^n$ and $f : R^n \to R^n$, $f\in C^1$ $$\frac{\mathrm{d}}{\mathrm{d}t} x(t) = f(x(t))$$ be such that $f(0) = 0$ is asymptotically stable. The domain of attraction is the set of initial ...
107 views

### singular homology of manifold with corners

Given two smooth manifolds with corners, let's say that a map $f:X\to Y$ is "transversally smooth" if it is smooth in the usual sense and if (in a local sense on $X$) for every open Whitney ...
107 views

### Reference for non-parallel harmonic $k$-forms

I want to get some deep understanding on closed orientable Riemannian manifolds admitting $k$-forms ($k\geq 2$) $\omega$ that satisfices the following conditions: \nabla \omega\neq 0,\quad \Delta\...
47 views

### Equivariant smooth approximation

Suppose we have a compact manifold $M$ with the action of a compact group $G$. Consider the space of $C^l$ $G$-equivariant diffeomorphisms $\text{Diff}_G^{l}(M)$ with the $C^l$ topology and the space ...
58 views

### Spin structures induced on embedded circles and choices of trivialisations

I have a presumably basic question concerning spin structures that has me a bit confused. Let $C$ be a circle embedded in a spun manifold $X^n$. Given a choice of trivialisation of the normal bundle ...
16 views

### Existence of closed transversals for taut foliations in arbitrary codimension

There are several different definitions of "tautness" for foliations, the most widely know is probably topological tautness, which is specific to codimension one and means that the foliation ...
228 views

### Is $U(n)$ a Kahler manifold?

I am wondering if it is known whether the unitary group $U(n)$ is a Kahler manifold, and, if so, what is a reference for this.
555 views

### Examples of Banach manifolds with function spaces as tangent spaces

I have recently been learning the theory of Banach manifolds through Serge Lang's book on Differential Manifolds. So far the objects seem rather interesting but my intuition always comes from the ...
77 views

223 views

### Almost isometric manifolds are diffeomorphic

I am looking for a reference to the following statement. (It should be known --- I saw it before, don't remember where; search by keywords did not help.) Let $f\colon M\to N$ be a homeomorphism ...
154 views

### Blowing up the zero section for “Chasse au Canard” (some new kind of geometric canards)

In this paper "Canard cycles and center manifolds" one encounters the blowing up of a non isolated set or manifold of singularities of a vector field or a singular foliation. This is a ...
104 views

### Condition for existence of a continuous function realizing a partition

Let $\{U_i\}_{i=1}^{I}$ be a non-empty and finite collection of non-empty, disjoint, open, (and obviously bounded) subsets of $[0,1]^n$. Suppose also that $[0,1]^n=\cup_{i =1 }^{ I} \overline{U_i}$. ...
102 views

### Clarification of different notions of spin structures

$\DeclareMathOperator\SO{SO}\DeclareMathOperator\Spin{Spin}$I am confused about the equivalence of some various definitions of spin structures and I was hoping for some help clearing out the fog. Let ...
107 views

### Stokes's theorem for pseudo-differential forms

I recently came across the idea of a pseudo differential form (and "pseudo" objects in a manifold in general). Let $\Psi M$ is the real line bundle on $M$ which changes sign between two ...
102 views

### Approximating continuous functions via diffeomorphisms on compact manifolds

Let $M$ be a compact and connected manifold without boundary. My question is how to prove the following fact which I believe is true: If $f : M \to \mathbb{R}$ is a continuous function that attains ...
88 views

### Diffeomorphic excision of a manifold

Let $M$ be a connected differentiable manifold. How can one describe those closed subsets $A$ of $M$ such that there is a diffeomorphism $\varphi:( M - A )\to M$ ?
159 views

### Smooth dual cell structure

Let us consider a closed oriented smooth manifold M. It is well known that a smooth combinatorial triangulation can be constructed for it. That is to say, a homeomorphism from the geometric ...