Literally "together boundary", a cobordism is a relation between two compact manifolds stating that their disjoint union forms the boundary of a higher dimensional manifold. This defines a equivalence relation between compact manifolds that is very coarse: two manifolds may be cobordant but not ...

learn more… | top users | synonyms

1
vote
0answers
55 views

Uncertainties on the details of the Connor-Floyd isomorphism and Formal Group Laws

Let $\Omega^{\bullet}(-)$ be the complex cobordism cohomology. $\Omega^n(X) = \{ (M, f) | f: M \to X \}$ where cobordant maps are identified, $M$ and $X$ are smooth manifolds, and dim($M $) = $n$. ...
4
votes
2answers
69 views

Is $H^*(\mathbf{C} P^\infty)=R[X]$ or $R[[X]]$?

The first ring seems to be what one learns first: the underlying group is the cohomology of the total singular cochain complex $C^*(\mathbf{C} P^\infty)$, which is defined as $\oplus C^n(\mathbf{C} ...
0
votes
0answers
18 views

how to test whether cobordism exist between two manifold or two system of polynomials

from wiki Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere. from book geometrisation of 3-manifolds ...
3
votes
0answers
45 views

Why are homotopy spheres spin-cobordant in dimensions divisible by 4?

Manifolds are assumed to be smooth having dimensions $\geq5$. As usual, $\Omega^{Spin}_{*}$ denotes the spin bordism ring and $\Omega^{SO}_{*}$ the oriented bordism ring. Let $\Sigma^n$ be a closed ...
2
votes
0answers
40 views

Notation and shorthand of cobordism G=O, SO, U

This is really a basic question: From Wikipedia: "The basic examples are G = O for unoriented cobordism, G = SO for oriented cobordism, and G = U for complex cobordism using stably complex ...
1
vote
0answers
40 views

differential in AHSS for spin cobordism

According to these solutions, the differential $d_2: H_p(X,\Omega_1^{Spin})\rightarrow H_{p-2}(X,\Omega_2^{Spin})$ is the dual of $Sq^2$. Why? This MO post asks a similar question (but about $d_3$ in ...
2
votes
1answer
85 views

About existence of Morse functions

Let's consider 4-manifold $M$, $\partial M = \partial M_1 + \partial M_2 = S^1 \times S^2 + \mathbb{RP}^3$. Is it true that there exist a Morse function $$f\colon M^4 \to [0,1],\quad f^{-1}(0) = ...
1
vote
1answer
61 views

Differential topology question involving cobordism

Prove that if $X$ and $Z$ are cobordant in $Y$, then for every compact manifold $C$ in $Y$ with dimension complementary to $X$ and $Z$, $I_2(X, C) = I_2(Z, C)$. [HINT: Let $f$ be the restriction to ...
1
vote
1answer
49 views

Identity in Thom spaces.

Let $T$ be the one-point compattification, $E$ a real vector bundle, $\epsilon$ the trivial line bundle and $\Sigma$ the suspension operation. How can I prove that $$ T(\epsilon \oplus E) \simeq ...
1
vote
1answer
46 views

Bordism classes of real projective plane

I have to prove that doesn't exist a compact $3$-manifold such that $\partial X= \mathbb{R}P^2$. My book suggests to use Euler characteristic and define $Y = X \cup_{\mathbb{R}P^2} X$. What is $X ...
1
vote
0answers
84 views

If $Z$ is an oriented manifold with boundary such that $\partial Z=M$ where $M$ is a compact and oriented manifold then $\chi(M)=0\mod(2)$..

I need some help for showing the following result: Let $M$ be a compact ($\partial M= \emptyset$) and oriented manifold of dimension $n$ and $Z$ an oriented manifold with boundary such that ...
3
votes
1answer
98 views

Bordism sanity check

Were framed cobordism and h-cobordism invented to use for different purposes? I have been slightly confused about all the different types of cobordism. Now I am wondering if h-cobordism was invented ...
1
vote
0answers
48 views

Cobordant to sphere or homotopy sphere

In Ranicki's notes (here) remark 6.19 distinguishes between cobordant to a sphere and cobordant to a homotopy sphere. Earlier in these notes right after example 1.6 he writes that homotopy equivalent ...
2
votes
1answer
213 views

On framed cobordism

If two manifolds are h-cobordant then their homotopy groups agree. The notion of framed cobordism is supposedly a weaker notion. How much weaker than h-cobordism is it? What can be said about two ...
3
votes
1answer
68 views

Axiomatizing oriented cobordism

According to the nLab entry for abstract cobordism categories, the natural way of axiomatizing the relation of two oriented manifolds being cobordant is the following: Definition 1 Two objects ...
3
votes
1answer
99 views

Suspension Operation on the Pontryagin-Thom Construction

I have a feeling that this is well-known: View the Pontryagin-Thom construction as the bijective correspondence between $[M,S^r]$ and the set of (appropriate equivalence classes of) framed ...
7
votes
0answers
167 views

Lemma 6.3 of Milnor's Lectures on the h-cobordism theorem

Milnor's statement is: "Let $M^r$ and $N^s$ be sub-manifolds of $V^{r+s}$ which are all smooth, compact, oriented and without boundary. If $p$ is a point of $M^r$ contained in an $r$-cell $U$, ...
3
votes
0answers
76 views

How to do this surgery?

Let $L$ be a $0$-framed trivial knot in $S^3 \subset B^4$. Take $B^3 \subset B^4$ such that $B^3$ splits $B^4$ into two and $\partial B^3$ intersects $L$ only two points. Take a neighborhood $U$ of ...
1
vote
1answer
75 views

Surgery and boundary

Let $L$ be a framed link in $S^3$ with $m$ components and let $U$ be a closed regular neighborhood of $L$ in $S^3$. Let $B^4$ be a closed 4-ball bounded by $S^3$ so that $U \subset S^3$. Gluing $m$ ...
0
votes
1answer
126 views

Definition of a 4-cobordism with boundary

Definition of a 3-cobordism (in my context) is a pair $(M, \partial_{-} M, \partial_{+}M)$, where $M$ is a closed orientable topological 3-manifold and $\partial M$ is a disjoint union of ...
1
vote
0answers
32 views

Cylindrical structure and homology

Let us consider a cobordism $(M, \partial_{-} M, \partial_{+}M)$, where $M$ is homeomorphic to $T \times I$, here $T$ is a torus $S^1 \times S^1$ and $I=[0, 1]$. I encountered the statement ...
1
vote
2answers
72 views

Neutral elements in the unoriented cobordism.

Let $M$ be an $n$-dimensional manifold and let $[M]$ denote the unoriented bordism class of $M$. Forming the usual commutative graded ring $\text{MO}_n$ we know that $$\text{MO}_* \simeq ...
2
votes
1answer
122 views

Opposite Orientation of Boundary in Bordisms

In Lurie's "On the Classification of Topological Field Theories" (and certainly other places) he defines the category $\mathbf{Cob}(n)$ who objects are oriented $(n-1)$ manifolds. Given ...
2
votes
1answer
137 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 ...
5
votes
0answers
302 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
1answer
135 views

Bounding projective spaces

For which $n$ does there exist a (topological, smooth, PL, complex) manifold $M^n$ such that $\partial M = \mathbb{R}\mathbb{P}^m$. Obvously, $m = n -1 $ (at least an in the real case). There are a ...