Questions tagged [cobordism]

Cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold.

Filter by
Sorted by
Tagged with
12 votes
1 answer
172 views

Are the symmetric spaces $\operatorname{SU}(n)/{\operatorname{SO}(n)}$ always nontrivial in the bordism rings for $n>2$?

In my recent research, I need to know if the symmetric spaces $\operatorname{SU}(n)/{\operatorname{SO}(n)}$ are always nontrivial in the unoriented and oriented bordism rings for $n>2$. (For the ...
user avatar
4 votes
0 answers
183 views

Summary of different types of TQFT?

For the purposes of this question, a TQFT comprises the following data: An "upper dimenison" $n \in \mathbb N$. A "lower dimension" $0 \leq l \leq n$. A choice of structure ...
user avatar
  • 49.1k
4 votes
1 answer
188 views

A cobordism theory from Hirsch's "Differential Topology" (reference request)

The following is exercise 5 on p. 176 in Hirsch's "Differential Topology" (corrected 6th printing): Let $\eta = (p,E,B)$ be a fixed vector bundle over a compact manifold $B$, $\partial B = \...
user avatar
11 votes
0 answers
147 views

Natural knot homology

All knot homology theories I've seen share a flaw: their definitions explicitly use some combinatorial choices (such as a diagram presentation). The coin, however, has two sides and the other one is ...
user avatar
1 vote
1 answer
69 views

Reference request: full classification of surfaces as being cobordant to $S^2$ or $\mathbb{R}P^2$

It is known that cobordism provides a complete classification of surfaces as: a surface is cobordant to either $S^2$ or $\mathbb{R}P^2$. I am looking for a reference with contains a proof of this fact....
user avatar
8 votes
0 answers
127 views

Conner-Floyd Chern classes and $E$-(co)homology of $BU$

In his book, Stable homotopy and generalised homology, Adams computes the $E$-(co)homology of $BU$ for a complex oriented cohomology theory $E$. In II.4, he first describes the $E$-homology of $BU$ as ...
user avatar
  • 151
8 votes
1 answer
392 views

What motivated Thom to relate the cobordism groups with some homotopy groups?

I would like to know what motivated or led Thom to think that the (un)oriented cobordism groups would correspond with the homotopy groups of some structure (Thom spectum), or with the coefficient ...
user avatar
  • 499
1 vote
0 answers
96 views

Bordism for oriented triangulable manifolds without smooth differentiable structures

We know the bordism group for oriented smooth differentiable structures such as $\Omega_d^{SO}$ that requires the special orthogonal group structure on the tangent bundle $TM$ of manifold $M$. $$\...
user avatar
  • 9,966
8 votes
1 answer
274 views

Oriented bordism in higher dimensions (e.g. $12 \leq d \leq 28$)

The classification of oriented compact smooth manifolds up to oriented cobordism is one of the landmarks of 20th century topology. The techniques used there form the part of the foundations of ...
user avatar
  • 9,966
5 votes
0 answers
190 views

Factorization homology and topological conformal field theories

My question concerns some of the results of Costello's "Topological conformal field theories and Calabi-Yau categories" and how they are related/ can be rederived via the description of (...
user avatar
6 votes
0 answers
193 views

Topological vs smooth (equivariant) bordism group

In Remark 1.31 of this work, it is claimed that "Standard arguments in Pontryagin-Thom theory imply that the relevant smooth and topological G bordism groups are isomorphic." The adjective &...
user avatar
6 votes
0 answers
72 views

Rank of matrix coming from cobordism computations

In a computation of Pontryagin-numbers of certain manifolds (see the appendix of https://arxiv.org/pdf/2109.10306.pdf for more context) we came across the following elementary problem: Consider the ...
user avatar
5 votes
1 answer
119 views

Is spin cobordism an invariant for surgery of codimension $q\ge3$?

Recall that a surgery of codimension $q$ on an $n$-manifold $X$ is a modification of $X$ of the following type. Let $\Sigma^{n-q}\subset X$ be a smoothly embedded $(n-q)$-sphere with a trivialized ...
user avatar
  • 9,966
4 votes
1 answer
164 views

Cobordism class of projectivization of a bundle

I was reading the book "Differentiable Periodic Maps" by P.E. Conner (1979). I am stuck at the following problem given at the end of section 21: Let $\xi\to V^n$ be a $k$-plane bundle over a ...
user avatar
0 votes
1 answer
231 views

When do cobordism groups depend on differential structure? [closed]

I heard that cobordism group with structures sometimes depend on differential structure of space. Do you know any examples or references about this facts? I want to know when difference occur between ...
user avatar
  • 1
4 votes
0 answers
94 views

Infinite dimensional topological quantum field theories?

A topological quantum field theory is a functor $Z:Cob(n) \to Hilb$ mapping from the $n$-dimensional cobordisms to $Hilb$, the category of Hilbert spaces with morphisms being bounded linear operators. ...
user avatar
8 votes
0 answers
180 views

Computation of the 3-dimensional $\mathbb{Z}/m$-equivariant spin cobordism group (with possibly non-empty fixed-point set)?

$\newcommand{\odd}{\mathrm{odd}}\newcommand{\ev}{\mathrm{ev}}$Consider tuples of the form $(Y,\mathfrak{s},\widehat{\sigma})$ where: $Y$ is a closed oriented 3-manifold, $\mathfrak{s}$ is a spin ...
user avatar
1 vote
0 answers
137 views

Mapping class group and surgery theory

Given a smooth manifold $M$ of dimension $n$ and a diffeomorphism $\phi: M \to M$, we can construct a smooth cobordism of dimension $(n+1)$ from $M$ to $M$ by gluing $M \times [0,1]$ with itself by $\...
user avatar
  • 4,005
4 votes
1 answer
277 views

h-cobordisms between non-simply-connected 4-manifolds

Let $M_0^4$ and $M_1^4$ be two closed smooth 4-manifolds and let $M$ be an $h$-cobordism between them (i.e., a compact smooth 5-manifold with boundary the disjoint union of $M_0$ and $M_1$ and with ...
user avatar
  • 5,201
8 votes
1 answer
143 views

Analog of Cerf theory in PL

Is there an analog of Cerf theory in PL? More specifically, given two handle decompositions of a PL (relative) cobordism $W$, is it always possible to go from one handle decomposition to the other via ...
user avatar
  • 176
3 votes
1 answer
144 views

(Algebraic) cobordism and the rank function

I write the question for algebraic cobordism but I have the analogue question for classic cobordism. The spectrum representing algebraic cobordism $$ \mathbf{MGL}=(*, \mathrm{Th}(1) , \ldots , \mathrm{...
user avatar
  • 2,541
2 votes
0 answers
159 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 ...
user avatar
  • 21
1 vote
1 answer
305 views

How to show that, $ \mathrm{CH}_k (X) \otimes_{ \mathbb{Z} } \mathbb{Q} \simeq \Omega_k (X) \otimes_{ \mathbb{Z} } \mathbb{Q} $?

Let $ X $ be a $ n $ - dimentional oriented closed real manifold ( i.e : compact and without boundary ). Can you tell me how to show that, $$ \mathrm{CH}_k (X) \otimes_{ \mathbb{Z} } \mathbb{Q} \simeq ...
user avatar
  • 485
13 votes
1 answer
665 views

What is known about exotic spheres up to stable diffeomorphism?

In even dimensions $n=2k$ we can define two smooth manifolds $M$ and $N$ to be stably diffeomorphic if they become diffeomorphic after the connect sum with $r$ many copies of $S^k \times S^k$ for some ...
user avatar
5 votes
0 answers
238 views

Are there alternate descriptions of `elementary cobordisms'?

Let $M^d$, $N^d$ be cobordant $d$-manifolds. Then $M^d \sqcup \bar{N}^d = \partial W^{d+1}$ for some $(d+1)$-manifold $W$. This cobordism can be implemented via an elementary set of 'moves' called ...
user avatar
  • 565
12 votes
1 answer
249 views

Can one show corbordism invariance of the Crane-Yetter state-sum using simplicial methods / are there 'Pachner-like' moves for cobordisms?

Let $\mathcal{C}$ denote some Unitary Braided Modular Fusion Category. It is well known that the Crane-Yetter state-sum, $Z_{CY}(\bullet|\mathcal{C})$ is an oriented-cobordism invariant. In other ...
user avatar
  • 565
5 votes
0 answers
130 views

Visualize how the 5d Dold manifold and Wu manifold are cobordant via a 6d manifolds with boundaries

Are there simple intuitions and arguments to visualize why the following two 5-manifolds are cobordant to each other with the oriented structures? (They can be two boundaries of 6-dimensional oriented ...
user avatar
  • 9,966
5 votes
1 answer
203 views

Diffeomorphisms of manifolds with boundary

I repeat this, which I posted in Math Stack, where it got some attention but no answer. If two compact manifolds have diffeomorphic interiors and diffeomorphic boundaries, are they then diffeomorphic? ...
user avatar
  • 153
3 votes
0 answers
133 views

The first Stiefel Whitney class v.s. fermion eta invariant v.s. spin structure v.s. $H^1(M,\mathbb{Z}_2)$

$H^1(M,\mathbb{Z}_2)$ specifies the 1st cohomology class of manifold $M$ (can be regarded as spacetime) with $\mathbb{Z}_2$ coefficient, it is often to see that we say the 1st Stiefel Whitney class $$...
user avatar
3 votes
1 answer
160 views

Prove or disprove that there exists no $G$ structure with its bordism group $\Omega_1^{G} =\mathbb{Z}/N$ for $N>2$

It can be found that there are the following bordism group $\Omega_0^{G}$ at $d=0$ and 1 dimensions by requiring $G$ structure for $d$-manifolds: $$ \Omega_0^{SO} = \mathbb{Z} , \quad \Omega_1^{SO} = ...
user avatar
3 votes
2 answers
328 views

Does the Gysin map in $K$-theory respect bordism?

Let $X_1$ and $X_2$ be two closed spin$^c$ manifolds that are bordant via a spin$^c$ manifold-with-boundary $W$. Let $Z$ be a closed spin$^c$ manifold with $\dim Z=\dim X_1$ mod $2$. Let $$f_1:X_1\to ...
user avatar
  • 1,779
10 votes
1 answer
246 views

Simple examples of equivariant cobordism

Let $Y$ be an oriented 3-manifold with a free action by a finite group $G$. If I understand correctly, there exists a multiple of $NY$ of $Y$ and an oriented manifold $X$ such that $\partial X = NY$ ...
user avatar
  • 101
18 votes
1 answer
787 views

Oriented cobordism classes represented by rational homology spheres

Any homology sphere is stably parallelizable, hence nullcobordant. However, rational homology spheres need not be nullcobordant, as the example of the Wu manifold shows, which generates $\text{torsion}...
user avatar
9 votes
0 answers
281 views

Rational cobordism classes of manifolds fibered over spheres

Let us fix positive integers $k, m$. Let $A^k_{4m} \subset \Omega^{\text{SO}}_{4m} \otimes \mathbb Q$ be the subgroup generated by oriented cobordism classes of manifolds fibered over $S^k$. The ...
user avatar
9 votes
2 answers
691 views

Path integral derivation of extended TQFT

I know this isn't exactly a math question, but I am asking it here anyway. We define an extended TQFT to be a functor (preserving tensor products) from the $\left(\infty,n\right)$-category of ...
user avatar
6 votes
0 answers
197 views

Generators for unitary bordism ring $\pi_*(MU)$

I’m reading Pengelley’s paper “The mod 2 homology of $MSO$ and $MSU$ as $\mathfrak A^*$ comodule algebras, and the cobordism ring”. He has chosen very special generators $z_n \in H_n(MO; \mathbb F_2)$...
user avatar
9 votes
1 answer
306 views

Generators and relations for the 2-dimensional unoriented cobordism category

It is very well known in the field of TQFT that the 2-dimensional oriented cobordism category is generated by the disk and the pair of pants (each going in both directions), subject to a finite set of ...
user avatar
  • 2,475
9 votes
1 answer
485 views

About the cohomology of $BG^\delta$. Making a Lie group discrete

Let $G$ be a connected Lie group. Recall that the topological group $G^\delta$ is $G$ endowed with the discrete topology. The inclusion $G^\delta \to G$ induces a map between the classifying spaces $\...
user avatar
4 votes
0 answers
146 views

Any cobordism invariant made of "characteristic classes", on unorientable manifolds, must be a mod 2 class?

For any cobordism invariant (or simply bordism invariant) quantity $\omega$ that satisfy the conditions: $\omega$ can be fully decomposed from the cup product of characteristic classes (such as ...
user avatar
  • 9,966
8 votes
1 answer
473 views

Cobordism invariants: topological v.s. geometric

Some cobordism invariants are not cohomology classes. Such as the $\mathbb{Z}_{16}$-valued eta invariant $\eta$ of $\Omega_4^{Pin^+}$, the $\mathbb{Z}_8$-valued Arf-Brown-Kervaire invariant ABK of $\...
user avatar
  • 1,299
3 votes
0 answers
296 views

mod $p$ homology of Thom spectra MSU

Using pairing in Atiyah-Hirzebruch spectral sequence one can show that homology of $BU(n)$ is a free abelian group with basis $\alpha_{k_1}\cdots\alpha_{k_t}$, $k\leqslant n$, where $\alpha_{i} = \big(...
user avatar
4 votes
1 answer
426 views

Bordism groups of $X$, Thom isomorphism and characteristic numbers

Recap: bordism group An oriented singular $n$-manifold in $X$is a map $f:M^n\to X$ where $M$ is a finite disjoint union of $n$-dimensional smooth manifolds. The empty set is an admissible oriented ...
user avatar
14 votes
3 answers
528 views

Does every $SL_2\mathbb{C}$ representation of a closed oriented surface extend over a compact oriented three-manifold?

Let $F$ be a compact oriented surface and $\rho:\pi_1(F)\rightarrow SL_2\mathbb{C}$ be a representation. Does there exist a compact oriented three-manifold $M$ with $\partial M=F$ and a homomorphism $...
user avatar
1 vote
0 answers
168 views

Boundary map for Mayer-Vietoris sequence for Bordism

I am trying to reproduce some of the details in how the Mayer-Vietoris sequence for bordism should go, especially in showing exactness using this definition of the boundary operator. I have tried to ...
user avatar
  • 113
12 votes
2 answers
1k views

Cobordism and Kirby calculus

It may be a simple question but I wonder to ask: Is it possible to draw a homology cobordism between $3$-manifolds by using the techniques of Kirby calculus? At least, for instance, Brieskorn ...
user avatar
2 votes
0 answers
91 views

Computation of mod p homology of $MSU$

I am trying to proof Novikov theorem \begin{equation} MSU_*\otimes \mathbb Z[\frac 1 2] \cong \mathbb Z[\frac 1 2][y_2, y_4, \ldots],\quad \deg y_i = 2i. \end{equation} This can be proved by using ...
user avatar
9 votes
1 answer
248 views

Topological Spin manifolds in dimension 4

In his ICM Adress at Nice (Proceedings of the International Congress of Mathematicians Nice, September, 1970, Gauthier-Villars, editeur, Paris 6 e ,1971, Volume 2, pp. 133-163.), Robion Kirby ...
user avatar
2 votes
0 answers
79 views

Realizing an amalgamated product of groups by splitting a closed manifold along a codimension 1 submanifold

In the paper "A splitting theorem for manifolds" by S.E. Cappell, https://www.maths.ed.ac.uk/~v1ranick/papers/capsplit.pdf the following "inverse" of the Seifert-van Kampen theorem for closed ...
user avatar
3 votes
0 answers
114 views

About the proof of Milnor-Novikov theorem about multiplicative generators of (complex) bordism ring

I am trying to understand part of Milnor-Novikov theorem about multiplicative generators of $MU_* \cong \mathbb Z[x_1, x_2, \dots]$ using S.Kochman’s “Bordsim, Stable Homotopy and Adams Spectral ...
user avatar
6 votes
0 answers
219 views

Flatness, "Continuously varying fibers", and bordism

It is commonly said that a flat map of schemes $f : X \rightarrow Y$ is like a map with "continuously varying fibers". We see a hint at this in the result that $\text{dim} X_y$ is constant when $f$ is ...
user avatar
  • 4,283

1
2 3 4 5