# Tagged Questions

**1**

vote

**0**answers

81 views

### Thom-Pontryagin construction for pairs

Is there a generalization of the Thom-Pontryagin construction in the following sense? Let $M$ be a smooth manifold, $\partial M=A\cup B$ where $A$ and $B$ are $m-1$-manifolds with a common boundary ...

**4**

votes

**0**answers

84 views

### Connection between framed cobordisms and zero sets

Let $W\subseteq M\times[0,1]$ be a framed submanifold (a framed cobordism in $M$) and $2w<m-1$ where $w,m=\dim W,M$. Assume that $M$ is compact and that $W\cap M\times \{0\}$ is the zero set of a ...

**11**

votes

**0**answers

318 views

### Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle

My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...

**6**

votes

**2**answers

137 views

### Topological relationships between family of transversal intersections of manifolds

Let $M$ and $N$ be submanifolds of $\mathbb{R}^n$ and let $a(t)$ be a smooth path in $\mathbb{R}^n$ such that $M+a(t)$ intersects $N$ transversally for all $t \in [0,1]$. Is there a nice relationship ...

**5**

votes

**1**answer

186 views

### Analytic maps in homotopy classes

Let $\mathcal M$ be a compact connected real-analytic manifold. It is well known that every continuous map $f\colon\mathcal M\to\mathbb S^1$ is homotopic to a smooth map. My question is the following. ...

**1**

vote

**0**answers

69 views

### restriction to the boundary in Morse theory

Given a compact manifold with boundary $(M,\partial M)$. There is a natural pullback map
$$ H^*(M) \to H^*(\partial M) $$
I'm wondering if there is a reference that:
1) constructs this map in ...

**4**

votes

**2**answers

181 views

### Question about lower homology class of cobordism

Assume there are three differential oriented manifold $M_0$, $M_1$, $W$ with $\partial W= M_0 \coprod -M_1$. Denote dim $M_0$=dim $M_1$=n, and dim W=n+1.
We know that for the highest homology class, ...

**11**

votes

**3**answers

744 views

### Which submanifolds are zero sets of $\mathbb{R}^n$-valued maps?

If $M$ is a smooth, compact, orientable manifold, then any framed submanifold $N$ is the preimage $f^{-1}(y) $ for a smooth sphere-valued map $f$ transversal to $y$, with the framing of the normal ...

**1**

vote

**1**answer

80 views

### Invariant of isotopy of curves in a surface.

Suppose $S_g$ is a sorface of genus $g>1$. Let $\gamma_1$ and $\gamma_2$ be two simple closed curves containing points $p_1, p_2$. Suppose $\gamma_1$ and $\gamma_2$ are isotopic. Now there can be ...

**1**

vote

**1**answer

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

**10**

votes

**0**answers

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

**10**

votes

**0**answers

275 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}$ ...

**1**

vote

**0**answers

49 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

**0**answers

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

**7**

votes

**2**answers

301 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

**0**answers

121 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} ...

**1**

vote

**1**answer

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

**-1**

votes

**2**answers

172 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

**1**answer

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

**8**

votes

**1**answer

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

**8**

votes

**4**answers

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

**6**

votes

**1**answer

333 views

### consequence of Novikov conjecture

Novikov conjeture is a famous open problem in Geometric topology.It predicts that higher signature is oriented-homotopy invariant.
http://en.wikipedia.org/wiki/Novikov_conjecture
I am a student ...

**6**

votes

**1**answer

255 views

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

I already asked this question in MSE but did not get any answer/comment yet.
Let $M\to E\to B$ be a smooth fiber bundle. In "Parametrized Morse Theory and Its Applications,(Proceedings of the ICM, ...

**15**

votes

**2**answers

837 views

### Converse to Stokes' Theorem

Does satisfying Stokes' Theorem imply that a form is linear?
Let $M$ be an $n$-manifold. A differential $k$-form $\omega \in \Omega^k M$ assigns to each point $x \in M$ a function $\omega_x : ...

**0**

votes

**1**answer

86 views

### Connecting two hypersurfaces in R^{n+1} by embedded curves

Let $M^n$ be a smooth closed embedded hupersurface in $\mathbb R^{n+1}$.
Denote by $D$ the bounded connected component of $\mathbb R^{n+1}\backslash M$.
We assume that $\mathbb R^{n+1}\backslash D$ is ...

**1**

vote

**0**answers

118 views

### Existence of global sections of fibration over simply connected manifold [closed]

Let $M$ be a simply connected compact manifold with or without boundary.
Let $\pi:F\rightarrow M$ be a fibration which is locally trivial,
where the fibers are smooth manifolds of infinite dimension.
...

**4**

votes

**2**answers

218 views

### good reference on brieskorn manifold

I am trying to learn something on the Brieskorn manifold (interested in the topological property)
Can the Mathoverflow Experts give me some good refencece (in English)?
By the way,is there an ...

**3**

votes

**1**answer

303 views

### Spin structures and divisibility of cohomology classes

Let me begin with some motivation. In calculating the Chern-Simons invariant of a $U(1)$ connection $A$ on a 3-manifold $M$, we can proceed by picking a bounding 4-manifold $X$ with $\partial X = M$ ...

**5**

votes

**0**answers

143 views

### A classification of smooth $S^1$-actions on $\mathbb CP^3$?

Question 1. Is there a classification of smooth $S^1$-actions with isolated fixed points on the standard $\mathbb CP^3$?
Question 2. What if one additionally imposes the condition that the action ...

**6**

votes

**3**answers

308 views

### Cobordism and finite sheeted covers of manifolds

Let $M$ be an oriented manifold, not necessarily compact. Let $M'$ be a (finite) $k$-sheeted cover and let $\pi:M'\longrightarrow M$ be the covering map.
Question 1 : Is it true that $M'$ is ...

**7**

votes

**3**answers

659 views

### smooth manifolds as real algebraic set (continued)

There are several ways of producing manifolds,say:
1.orbits space of group action
2.connected sum of manifolds
3.underlying topological space of nonsingular algebraic set
....
here,i am ...

**6**

votes

**1**answer

254 views

### Iterated Milnor fibrations and Thom's a_f condition

Ok so there's a lot of litterature about nearby cycles functor since it was introduced by Grothendieck and Deligne but I couldn't find any clear answer to the following natural question:
Problem: Let ...

**0**

votes

**0**answers

101 views

### Extending a 2-frame field - manifolds with boundary

If $M$ is an orientable compact 3-manifold with boundary such that there is defined $s\in\Gamma(\partial M,V_2(TM))$ a section of the 2-frame bundle of $TM$, then $s$ extends to $\tilde ...

**12**

votes

**2**answers

814 views

### Converse of Poincaré-Hopf theorem

Let $M$ be a connected, compact, oriented manifold of dimension $n<7$. If any two maps $M \to M$ having equal degrees are homotopic, must $M$ be diffeomorphic to the $n$-sphere?

**10**

votes

**1**answer

234 views

### Analogue of singularity theory in other categories

Whitney, Thom, Mather, Arnold and others develoved the singularity theory of smooth maps.
Does there exist any analogue of this theory in the category of TOP or PL (or Lipschitz) maps?
I mean notions ...

**4**

votes

**2**answers

359 views

### Is there an analogous concept for the degree of a map, when the spaces are singular?

Let $M$ and $N$ be two smooth compact, oriented manifolds and
$X\subset M$ an oriented submanifold of $M$ of dimension $k$
(not necessarily closed). Suppose in addition that $\bar{X}-X$ is contained ...

**7**

votes

**1**answer

285 views

### Realization problem for Betti numbers

In Analysis Situs, Poincaré studies the following question:
which sequences of integers $b_0,\ldots,b_n$ are the Betti numbers of an orientable compact manifold of dimension $n$?.
He knows that ...

**8**

votes

**1**answer

342 views

### Construction of exotic spheres that do not bound parallelizable manifolds

There are at least two ways to construct homotopy spheres that bound parallelizable manifolds, namely Milnor's plumbing construction and Brieskorn's method of singularities, and each of these methods ...

**7**

votes

**1**answer

467 views

### Cancellation law for $M^n\times \mathbb R= N^n\times \mathbb R$.

Assume $M^n$ and $N^n$ are null bordant, i.e. each can be realized as boundary of an $n+1$ dimensional manifold. Suppose $M^n \times \mathbb R$ is homeomorphic to $N^n\times \mathbb R$. Is there any ...

**7**

votes

**2**answers

359 views

### Sum of two tangent bundles of $S^{2n}$

I was wondering if the sum $TS^{2n}\oplus TS^{2n}$ is a trivial bundle?
The same is true for spheres of odd dimension (one can find a nowhere zero section of the second bundle, add it to the first, ...

**2**

votes

**0**answers

210 views

### Counting smooth structures on manifolds

Kervaire and Milnor found a formula for the number of smooth structures on the $4n - 1$ sphere (see, e.g. the last part of this MO answer). It is relatively easy to compute the number of smooth ...

**10**

votes

**1**answer

427 views

### Results from Differential Cohomology

I've been working through some notes on differential cohomology for the past few months. I feel like I have a pretty decent grasp on the concepts and its construction, at least for differential ...

**7**

votes

**1**answer

306 views

### A description of cellular boundary maps in terms of a Morse function

I'm writing a paper on classical Morse Theory and I'm interested in applying Morse functions to the computation of homology groups of a compact manifold $M$. The standard way in which this is done is ...

**1**

vote

**0**answers

208 views

### Does the closure of a ``nice'' smooth submanifold define a homology class?

Let $M$ be a smooth compact, oriented manifold. Let
$X$ be a submanifold which is of the following type
$$X := \{ p \in M: \psi(p) =0, ~~\varphi(p) \neq 0 \} $$
where
$$ \psi: M \rightarrow V, ...

**0**

votes

**1**answer

443 views

### Does the closure of a smooth algebraic always define a homology class?

Let $X\subset \mathbb{C} \mathbb{P}^{N}$ be a smooth,
algebraic (locally closed) complex
submanifold of $\mathbb{C} \mathbb{P}^N$
of complex dimension $k$. More concretely, $X$ is of the
...

**17**

votes

**3**answers

1k views

### 4D TQFT from a modular tensor category

I know the construction of a 3D topological quantum field theory (TQFT) from a modular tensor category.
I heard that we can even (mathematically) construct 4D TQFT from a modular tensor category. I ...

**6**

votes

**5**answers

430 views

### Tubular neighborhoods of chains

A positive answer to the following question would be very helpful in understanding the evaluation of differential cohomology classes on chains.
Let $M$ be a smooth manifold and $c$ be a smooth ...

**8**

votes

**2**answers

320 views

### Are there analogous statements for the number of zeros of a section in terms of the Euler class, even when the relevant spaces are not manifolds?

Let $V \rightarrow M$ be an oriented rank $k$ vector bundle over a compact orientd manifold $M$. Let $X \subset M$ be a
compact topological subspace of $M$ that is a smooth oriented submanifold of
...

**4**

votes

**1**answer

194 views

### Seifert surfaces via Alexander duality

If we take a knot $K$ in $S^3$, there are several ways to construct the associated Seifert surface. One way, which I am not familiar with, I just came across in a paper I am reading. It goes like ...

**2**

votes

**4**answers

825 views

### Line bundle on $S^2$

How do you prove that a line bundle (vector bundle of rank 1) on $S^2$ is isomorphic to the trivial line bundle? Can you give a reference?
Thanks.