# Tagged Questions

**10**

votes

**1**answer

426 views

### Homology theory represented by Madsen-Tillman spectra

The generalized homology theory of the Thom spectrum $MO=\varinjlim\Sigma^nMTO_n$ is bordism theory:\begin{equation*}\pi_k(MO\wedge X)=\Omega^O_k(X)\end{equation*}These groups form the ring of ...

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

**0**

votes

**0**answers

97 views

### extension problem for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**4**

votes

**2**answers

241 views

### stability results for the Atiyah-Hirzebruch spectral sequence

For a generalized homology theory $h$ and a Serre fibration $F\rightarrow E\rightarrow B$, we can define an Atiyah-Hirzebruch spectral sequence\begin{equation}E^2_{p,q}=H_p(B,h_q(F))\Rightarrow ...

**2**

votes

**1**answer

188 views

### Lower dimensional Pin cobordisms

I'm studying Pin cobordism groups of a point for some low dimensions. I found a general result by Anderson, Brown, Peterson in Theorem 5.1 of their paper "Pin cobordism and related topics" ...

**4**

votes

**2**answers

182 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, ...

**3**

votes

**0**answers

110 views

### spectral sequence differential for cobordism

From page 6 of these solutions:
the differential\begin{equation}d_2: H_p(X,\Omega_1^{Spin})\rightarrow H_{p-2}(X,\Omega_2^{Spin})\end{equation}connecting the 1-st and the 2-nd row is the ...

**4**

votes

**0**answers

110 views

### Oriented cobordism group generated by mapping torus

The 4-dimensional oriented cobordism group of closed manifolds is $\Omega^{SO}_4=Z$, and we know that it cannot be generated by a mapping torus, since the Pontryagin for $p_1$ is zero for any mapping ...

**5**

votes

**1**answer

543 views

### Cobordism modulated by a cohomology operation

I've recently encountered the following cobordism theory modulated by a class $\sigma \in H^{d+1}(B^2\mathbb{Z}/2,U(1))$.
My objects are $d$-dimensional spin manifolds with chosen spin structure. ...

**4**

votes

**0**answers

142 views

### Computing the spin cobordism groups of a CW complex from its cohomology groups

It is shown in Conner and Floyd's book "Differentiable periodic maps", Theorem 14.2, that the oriented bordism group of a CW-complex $X$ can be computed by
$\Omega_p(X) = \sum_{q = 0}^p ...

**3**

votes

**1**answer

216 views

### $(BU,f)$ structures on manifolds via stable normal bundles and stable tangent bundles

Background
Consider $BU=colim \, BU_k$ where we take $BU_k$ to be the specific model of classifying space for the group $U(k)\subseteq O(2k)$ given by the quotient space of the infinite real Stiefel ...

**5**

votes

**1**answer

240 views

### Construction of Thom-Spectrum for G_2-Structures

The motivation to this question is the paper of Crowley and Nordstrøm "A New Invariant of $G_2$-Structures". I am trying to find a homotopy theoretic interpretation of the following geometric ...

**9**

votes

**1**answer

473 views

### Does a smooth homeomorphism of closed manifolds preserve cobordism fundamental class?

Let $f:M\to N$ be a smooth map of closed oriented smooth manifolds which is also a homeomorphism. Let $[M]\in H_\bullet(M;\mathbb Z)$ denote the fundamental class (and similarly for $N$). It is ...

**7**

votes

**2**answers

308 views

### Computing a cobordism group of manifolds endowed with a real vector bundle with constraints on the Stiefel-Whitney classes

I am interested in computing the cobordism group of oriented manifolds $M$ of dimension 7 endowed with real vector bundles $N$ of rank 5 with the following conditions on the Siefel-Whitney classes:
$ ...

**12**

votes

**1**answer

313 views

### Does the signature admit a homotopy coherent refinement?

Cobordism genera can often be refined to $E_\infty$-orientations in the sense of Ando-Blumberg-Gepner-Hopkins-Rezk:
1) the mod 2 Euler characteristic $MO\to H\mathbb{F}_2$;
2) the $\widehat A$-genus ...

**10**

votes

**1**answer

362 views

### Does the paper “On the cobordism ring $\Omega_*$ and a complex analogue II” exist?

I've been investigating the Milnor hypersurfaces, and every reference seems to point to the paper by Milnor, "On the cobordism ring $\Omega_*$ and a complex analogue II". Despite my best efforts, I ...

**13**

votes

**1**answer

495 views

### Units of MO and MU

Real (or complex) cobordism is described by a symmetric ring spectrum MO (or MU respectively) as explained in examples 2.8 and 2.9 here. Associated to such a ring spectrum $R$, we have a unit spectrum ...

**8**

votes

**1**answer

597 views

### Are Thom spectra MU, MSO and K-theory spectra KU, KO modules over some truncations of the sphere spectrum?

The Thom spectrum MO is a module over the ring spectrum π≤0S=HZ, where S is the sphere spectrum.
In particular, MO is equivalent to the Eilenberg-MacLane spectrum Hπ*(MO).
On the other hand, MU and ...

**3**

votes

**1**answer

301 views

### Connection between complex orientations and R-orientations for a ring spectrum R?

We have a well defined notion of complex orientation for a spectrum (coh. theory) $E$, that is, we have a class $x_E\in \tilde{E}^2(\mathbb{C}P^\infty)$ which restricts to identity along the inclusion ...

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

**21**

votes

**2**answers

707 views

### Cobordism of orbifolds?

Is it possible to setup classical cobordism theory in the context of orbifolds? For example, let's consider the free abelian group generated by oriented smooth orbifolds and quotient by those which ...

**4**

votes

**2**answers

332 views

### (Infinite) Suspension Functor on the Pontryagin-Thom Construction

This is a slightly revamped version of a question I asked on the stackexchange forum. That question was asking if the Pontryagin-Thom constructon respects the suspension operation, alluding to stable ...

**1**

vote

**1**answer

319 views

### Geometry Realization of Homology Class

Hello!
My question is about the realization of homology class.
The definition of the realizaion of homology class is: for manifold M and a homology class $z\in H_k(M)$, k is an integer. If we find a ...

**2**

votes

**2**answers

366 views

### Orientation of complex bordism spectrum

I have the following question: If $E$ is a ring spectrum, then a complex orientation of $E$ is an element of $E^2(\mathbb{C}P^{\infty})$ that is mapped to $1$ in $E^2(\mathbb{C}P^{1})$.
I have read ...

**5**

votes

**1**answer

474 views

### Atiyah-Bott-Shapiro Orientation

Dear community,
there are so-called orientation maps $a:MSpin\to ko$ and $b:MSpin^c \to k$, "defined" in ABS's paper "Clifford modules". Unfortunately I am not familiar with representation theory.
...

**4**

votes

**1**answer

185 views

### Computation of KO characteristic classes/numbers

How to compute KO characteristic classes/numbers?
They were introduced by Anderson/Brown/Peterson to study the structure of the spin cobordism ring. I looked through the literature but I did not find ...

**4**

votes

**4**answers

515 views

### Characteristic classes detecting nontrivial fiberwise homotopy of sphere bundles

I am looking for characteristic classes of vector bundles (either real or complex) with values in generalized multiplicative cohomology theories such that:
i) they vanish if the bundle of unit ...

**11**

votes

**1**answer

625 views

### Does the bordism homology theory satisfy the weak equivalence axiom?

There is an interesting and important homology theory called bordism. Briefly speaking, a singular manifold in a space $X$ is a pair $(M, f)$ where $M$ is a closed smooth manifold and $f : M \to X$ is ...

**10**

votes

**1**answer

582 views

### Reference request for TQFT, functoriality

I am reading Turaev's blue book Quantum Invariants of Knots and 3-manifolds.
It is difficult for me to understand the proof of Theorem 1.9 in chapter 4, which says;
The function $(M, \partial_{-}M, ...

**3**

votes

**0**answers

172 views

### Extension of homeomorphism of boundaries to a homeomorphism of a cobordism

Suppos we have a cobordism $(M, \partial_{-}M, \partial_{+}M)$, where $M$ is a oriented compact (topological) 3-manifold.
Assume we have orientation preserving homeomorphism $f_{\pm}: \Sigma \to ...

**6**

votes

**1**answer

435 views

### Embedded (framed) cobordisms

[The title initially was "Actions of gauge groups on framed cobordisms. This has been changed.]
This question is a follow-up to my answer to When is a submanifold of $\mathbf R^n$ given by global ...

**12**

votes

**1**answer

403 views

### Formal group law of unoriented cobordism

It is well known that the formal group law $F_U$ of complex cobordism, expressing the Euler class of a tensor product of complex line bundles, is universal.
Also, the formal group law $F_O$ of ...

**9**

votes

**2**answers

701 views

### How is the differential in complex cobordism defined?

This is my first MO question...hopefully it's not a bad one...
Background: As a stable homotopy theorist, I like to think of complex cobordism $MU$ as a ring spectrum. If I needed to get my hands ...

**7**

votes

**3**answers

383 views

### Question concerning h-cobordisms

Suppose we have a cobordism $W$ of manifolds $M_0$ and $M_1$ and suppose the inclusion of $M_0$ into $W$ is a homotopy equivalence. Is the same true for the inclusion of $M_1$ (ie. is $W$ already an ...

**2**

votes

**0**answers

247 views

### The signature of a mapping torus

Consider a manifold $M$ of dimension $4k + 2$, $k$ an integer. Pick a diffeomorphism $\phi$ of $M$ and construct the mapping torus $T$ of $\phi$. Suppose that there is a $4k+4$ dimensional manifold ...

**6**

votes

**1**answer

305 views

### Third bordism group of BG, where G is an arbitrary compact Lie group.

Is anything known about $\Omega_3(BG)$, where $G$ is an arbitrary compact Lie group; i.e., is it possible to describe the structure of $\Omega_3(BG)$ for any compact Lie group? I know that $H_3(BG)$ ...

**17**

votes

**3**answers

2k views

### Elegant proof that any closed, oriented 3-manifold is the boundary of some oriented 4-manifold?

I'm looking for an elegant proof that any closed, oriented $3$-manifold $M$ is the boundary of some oriented $4$-manifold $B$.

**13**

votes

**3**answers

1k views

### Cobordism categories that don't involve manifolds

In order to capture the various flavors of cobordism into one concept, the notion of a "cobordism category" is introduced. This is an essentially small category $C$, together with finite coproducts, ...

**6**

votes

**2**answers

679 views

### Simple examples of equivariant homology and bordism

I'm looking for simple examples of calculations of equivariant homology and of equivariant bordism.
I have a finite group G acting on an CW-complex X. I would like to calculate the equivariant ...

**0**

votes

**1**answer

184 views

### what does the coefficients ring of generalized cohomology defined by the unitary Thom spectrum like?

Let $MU$ be the unitary Thom spectrum, then it gives a generalized cohomology,
so what is the coefficients $MU^*(point)$ like?
Is it just the complex cobordism ring $\Omega_U^*?$

**5**

votes

**2**answers

496 views

### Definition of the Kervaire invariant for normal maps (as in Browder's book)

Browder's book "Surgery on simply-connected manifolds" defines the Kervaire invariant in a very general setting. My question is: how does one get the more usual definition of the invariant for a ...

**8**

votes

**4**answers

617 views

### Which sets of Stiefel-Whitney characteristic numbers can be realized as coming from a manifold?

EDIT: The original question was answered very quickly (and very nicely!) but the answer leads to a pretty obvious subsequent question, which I will now ask. The original question is maintained for ...

**1**

vote

**0**answers

360 views

### Casson Gordon paper - Cobordism of classical knots

It is given in Progress in mathematics 62, Guillou and Marin book. In the proof of Lemma 4, They choose $\alpha$ and $r\in \mathbb{N}$ such that $h^r_*\colon H_1(X;Z_p)\to H_1(X;Z_p)$ satisfies ...

**18**

votes

**1**answer

573 views

### Twistings for other cohomology theories

Twistings in cohomology theories have a long history and have been used to great effect. The classical example is cohomology with local coefficients. Using this one can formulate Poincaré duality and ...

**7**

votes

**2**answers

472 views

### Reference request for relative bordism coinciding with homology in low dimensions

It's a standard fact that, for finite CW complexes, the relative (edit: oriented) bordism group $\Omega_n(X,A)$ coincides with the homology $[H_\ast(X,A;\Omega_\ast(pt))]_n\simeq H_n(X,A)$ for ...

**15**

votes

**1**answer

944 views

### Every Manifold Cobordant to a Simply Connected Manifold

I am wondering if it is true that every compact, connected, oriented manifold is cobordant to a simply connected manifold.
I believe that some sort of surgery will do the trick. Roughly speaking, I ...

**21**

votes

**3**answers

1k views

### What manifolds are bounded by RP^odd?

Real projective spaces ℝPn have ℤ/2 cohomology rings ℤ/2[x]/(xn+1) and total Stiefel-Whitney class (1+x)n+1 which is 1 when n is odd, so it follows that odd dimensional ones are boundaries of compact ...

**20**

votes

**2**answers

4k views

### Explanation for the Thom-Pontryagin construction (and its generalisations)

In 1950, Pontryagin showed that the n-th framed cobordism group of smooth manifolds was equal to n-th stable homotopy group of spheres:
$$ \lim_{k \to \infty} \pi_{n+k}(S^k) \cong ...