Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

**4**

votes

**2**answers

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

**0**

votes

**0**answers

57 views

### Cap product in strong homology theories

I'm looking for a (co)homology theory for compact metric pairs with cup/cap product that equals to singular (co)homology for CW complexes, the cap product equals to the "singular" cap product for CW ...

**4**

votes

**1**answer

198 views

### Question about the fundamental group of rational homology 3-spheres

By a rational homology 3-sphere, I mean a compact oriented manifold three-manifold $Y$ with $H_1(Y)$ finite. My question is whether there exists a reasonable classification of such manifolds such that ...

**10**

votes

**1**answer

227 views

### Is there a non-zero ghost map between finite suspension spectra?

A morphism $f\colon X\to Y$ of spectra such that for every integer $n$ the induced map $\pi_n(f)\colon\pi_n(X)\to\pi_n(Y)$ on stable homotopy groups is zero is called a ghost map.
Not every ghost map ...

**2**

votes

**0**answers

61 views

### Codimension $k$ homeomorphism extensions

Let $f:D \to D$ homeomorphism of $k$ codimension manifold (closed, compact, without boundary) to itself. ($D \subset \mathbb{R}^{n+k}$). For which $f$ does homeorophism $g: \mathbb{R}^{n+k} \to ...

**0**

votes

**0**answers

108 views

### Zero Dimension Intersection

Let $M$ be smooth and purely $r$-dimensional, $E$ be a vector bundle of rank $r$ over $M$, $s$ be a regular section of $E$ and $Z$ the zero scheme of $s$. Then $[Z]$ is dual to the top Chern class ...

**0**

votes

**1**answer

153 views

### Compact Lie groups with only 3 dimensional cohomology generators

Let $M$ be a compact connected semi-simple Lie group. Then by Hopf's Theorem $H^*(M;\mathbb Q)=\Lambda[\omega_1,...,\omega_s]$ where $\omega_i\in H^i(M;\mathbb Q)$ , $i\ge 3$ is odd.
For which $M$, ...

**2**

votes

**1**answer

187 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" ...

**3**

votes

**1**answer

304 views

### On the fundamental group of closed 3-manifolds

I know that every finitely presented group can be realized as the fundamental group of a compact, connected, smooth manifold of dimension 4 (or higher). In dimension 2 there are strong restriction on ...

**6**

votes

**0**answers

207 views

### Topological quotient Hopf-algebras and “change-of-rings”

One way of constructing coalgebra objects in the homotopy theorist's category of spectra is to take the suspension spectrum of a space, with the diagonal providing a cocommutative comultiplication. ...

**3**

votes

**2**answers

279 views

### If $E$ maps onto a contractible space with contractible fibers, must $E$ be contractible?

Let $p\colon E\to C$ be a continuous, surjective map between topological spaces with $C$ contractible. Suppose that $p^{-1}(c)$ is contractible for each $c\in C$. Is it true that $E$ is weakly ...

**2**

votes

**1**answer

121 views

### Explicit reference on generator of $H^4(BQ_8;\mathbb{Z})\cong \mathbb{Z}_8$ identified with second Chern class of standard representation

It is extremely well-known that $H^*(BQ_8;\mathbb{Z})=\mathbb{Z}[\alpha,\beta,\gamma]$ with relations $2\alpha=2\beta=8\gamma=\alpha^2=\beta^2=\alpha\beta-4\gamma=0$, $|\alpha|=|\beta|=2$ and ...

**6**

votes

**1**answer

165 views

### Rational homology and finite group actions

I'm looking for examples of the following phenomena. Let $X$ be a reasonable space (say, a CW complex) and $G$ be a finite group acting on $X$. For all $k \geq 1$, the projection map $X \rightarrow ...

**5**

votes

**1**answer

316 views

### Dennis trace map K----> THH

I have some questions about Dennis trace map in algebraic K-Theory. I was wondering if there is some conceptual way to look at this map $K(-)\rightarrow THH(-)$ (natural transformation from K-Theory ...

**10**

votes

**2**answers

1k views

### The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis?
Please see : Most interesting mathematics mistake?
Added : According to their method, ...

**2**

votes

**0**answers

104 views

### Which reflexive coequalizer diagrams are projectively cofibrant?

Consider the walking reflexive pair category W,
which consists of two objects 0 and 1 and three generating
morphisms f: 0→1, g: 0→1, and h: 1→0
satisfying the relation fh=gh=id₁.
Consider the ...

**7**

votes

**1**answer

270 views

### Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize.
All manifolds are closed, smooth and have dimensions $n\ge 5$.
The Atiyah-Shapiro-Bott-Orientation gives ...

**14**

votes

**5**answers

1k views

### What's special about the Simplex category?

I have been wondering lately what makes simplicial sets 'tick'.
Edited
The category $\Delta$can be viewed as the category of standard $n$-simplices and order preserving simplicial maps. The goal of ...

**5**

votes

**1**answer

286 views

### Obstructions to the existence of stable (and unstable?) complex structures?

Let $V$ be a real vector bundle on a space $X$, perhaps the tangent bundle of a smooth compact manifold. I'm interested in understanding the obstructions to $V$ admitting a stable complex structure, ...

**6**

votes

**0**answers

124 views

### Picard-Brauer exact sequence for infinity categories

This question may be very naive, or the answer may be well-known. In any case, a good amount of googling did not bring up anything useful (maybe I'm using the wrong words?).
If $f:A\to B$ is a ...

**9**

votes

**1**answer

420 views

### Why does the singular simplicial space geometrically realize to the original space?

I have seen it claimed that (for compactly generated Hausdorff spaces) the geometric realization of the singular (internal) simplicial space is homotopy equivalent to the original space. I know how to ...

**15**

votes

**1**answer

272 views

### Cohomology class of the group extension from a principal bundle

Let $M$ be a closed connected manifold and fix a basepoint $q \in M$ and a Riemannian metric on $M$. Let $F(M)$ denote the orthonormal frame bundle of $M$. This is a principal $O(n)$-bundle over $M$ ...

**1**

vote

**0**answers

78 views

### Complex non stably trivial complex vector bundle with vanishing Chern classes

There have been some discussions of a similar question, but I'd like an example of a non-trivial class in complex K-theory of an orientable manifold, for which all Chern classes vanish. This does not ...

**0**

votes

**0**answers

208 views

### Divisibility in homology/homotopy

I have a simply-connected CW-complex $F$ of finite-type, and I know that the imprimitivity of its particular integral homology is divisible by an odd prime $p$; that is,
$$ \forall n,\exists \delta, ...

**9**

votes

**2**answers

367 views

### Is the geometric realization of a level-wise weak equivalence a weak equivalence?

For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...

**3**

votes

**1**answer

214 views

### Conditions for a parametric curve to avoid self-intersection?

Suppose a planar curve $C$ is defined by parametric
equations in $t$: $x(t)$ and $y(t)$.
Are there conditions on these two functions that guarantee
that $C$ does not self-intersect?
For example,
the ...

**23**

votes

**4**answers

1k views

### What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...

**4**

votes

**1**answer

134 views

### Homotopy groups of linearization of a space

If $X$ is a pointed space and $A$ is an abelian group, then we can form the space $A[X]$ whose points are finite formal sums $\sum a_i x_i$ with $a_i \in A, x_i \in X$ subject to some natural ...

**1**

vote

**0**answers

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

**3**

votes

**1**answer

165 views

### Configuration spaces of trees are Eilenberg-MacLane spaces

I'm reading Ghrist's paper "Configuration spaces and braid groups on graphs in robotics".
In this discussion, counterexamples are shown for both Theorem 2.3 and the implication "Theorem 2.3 ...

**6**

votes

**1**answer

224 views

### Group actions in a homotopy category

Let $M$ be a model category and $G$ a finite group, and equip the category $M^G$ of $G$-objects in $M$ with, say, a projective model structure. Then there is a canonical functor
$$\mathrm{Ho}(M^G) ...

**9**

votes

**0**answers

208 views

### Goodwillie calculus and morphisms of functors

Let $F,G: \mathcal{T}\to \mathcal{S}$ be two functors from topological spaces to spectra (or topological spaces) and let $s: F\to G$ be a morphism between them.
Suppose $F$ and $G$ are analytic and ...

**7**

votes

**0**answers

95 views

### When is the projection of an induced fibration trivial on cohomology?

Let $p: E\to B$ be a fibration, and let $f: A\to B$ be a continuous map. In my applications, $E$ and $B$ are finite complexes, but $A$ need not be. Form the pullback
$$
\begin{array}{ccc} W & \to ...

**10**

votes

**1**answer

378 views

### The homotopy of universal Thom spectrum

Let $S^0_p$ be the $p$-adic sphere spectrum. Let $GL_1(S^0_p)$ be the set of unit componen of $\Omega^{\infty}S^0_p$. For any map $ X \to BGL_1(S_p^0)$ we get a Thom spectrum call it $Mf$. Now ...

**2**

votes

**1**answer

167 views

### spectral sequence with non-trivial action on coefficients

Set-up:
Consider the trivial extension, where $p$ is the projection onto the $\mathbb{Z}_2$ component,$$1\rightarrow N\rightarrow N\times\mathbb{Z}_2\xrightarrow{p}\mathbb{Z}_2\rightarrow 1$$
Define ...

**4**

votes

**0**answers

169 views

### Which ring spectra have some kind of exponential map turning addition into multiplication?

This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time.
What will follow is sort of vernacular but whether it can be ...

**5**

votes

**3**answers

260 views

### coend formulation of homotopy colimit

I have recently been trying to learn about homotopy colimits. In so doing, I have gone through way too many papers, and now I can't find the one which introduced homotopy colimits via a coend ...

**4**

votes

**2**answers

180 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

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

**6**

votes

**1**answer

104 views

### Hochschild-Serre spectral sequence and non-trivial action on coefficients

Consider an extension\begin{equation}1\rightarrow N\rightarrow G\xrightarrow{\rho} K\rightarrow 1\end{equation}Let $K$ act on a $K$-module $A$ by $\phi_k: a\mapsto k\cdot a$. Define a $G$-action ...

**0**

votes

**1**answer

130 views

### Gauss Sums over “semisimple spherical tensor category”?

I read on the arXiv the following:
Let $\mathcal{\mathbf{C}}$ be a semisimple spherical tensor category with simple unit and let
$\mathbf{\Gamma}$ be the set of isomorphism classes of simple ...

**8**

votes

**0**answers

213 views

### Thom Spectra and Hopf-Galois Extensions of Ring Spectra

So I've been fiddling with this for a long time, so apologies to anyone that's already heard me talk about this ad nauseum. I haven't been able to get anywhere with it, and it seemed that as such, it ...

**8**

votes

**0**answers

100 views

### Is the $\infty$-topos $Sh(X)$ hypercomplete whenever $X$ is a CW complex?

It can be shown (see Is every paracompact, Hausdorff, locally contractible space homotopy equivalent to a CW complex?) that if $X$ is a locally contractible paracompact Hausdorff space such that the ...

**2**

votes

**0**answers

152 views

### Generator of $\pi_3(SU(4))$ in Mimura-Toda

In this paper of Mimura and Toda, tables are given for low-dimensional homotopy groups of $SU(3)$, $SU(4)$ and $Sp(2)$. As far as I understand it, Theorem 6.1 gives the generator of $\pi_3(SU(4))$ as ...

**23**

votes

**0**answers

566 views

### Finite complexes whose homotopy groups are not “finitely generated”

I'll say $K$ has "finitely generated" homotopy groups if there is a finite wedge of spheres $W = \bigvee S^{n_i}$ and a map $f: W\to K$ which induces a surjection on $\pi_*$.
It seems likely that ...

**0**

votes

**0**answers

84 views

### Dimension of category of sheaves [duplicate]

Let $k$ be a field. Consider the category $Shv(\mathbb{R}^n)$ of sheaves of $k$-vector spaces on $\mathbb{R}^n$. What is the cohomological dimension $d$ of $Shv(\mathbb{R}^n)$? I know that $d \in ...

**2**

votes

**1**answer

211 views

### How to calculate the first and second homotopy groups of the following space constructed from $U(4)$

In solving a physics problem, I came across a weird topological space constructed from $U(4)$, the group of $4\times4$ unitary matrices. I want to know the first two homotopy groups of it. Here is how ...

**4**

votes

**0**answers

226 views

### The general Smith homomorphism in bordism

The Smith homomorphisms are a family of homomorphisms between equivariant bordism groups in different dimensions.
One example that is known to be an isomorphism is the map
$$
\tilde\Omega_{d+1}^{\rm ...

**5**

votes

**0**answers

81 views

### A cdga for compactly supported cohomology (à la Sullivan's algebra of polynomial forms)

Let $M$ be a smooth manifold, and let $\Omega^\bullet(M)$ be the commutative dg-algebra of differential forms on $M$. It is quasi-isomorphic to the dg-algebra of singular cochains on $M$. If $M$ is no ...

**8**

votes

**1**answer

223 views

### Shriek push-forward for parameterized spectra

In May and Sigurdsson's Parameterized Homotopy Theory, Proposition 2.2.11, four isomorphisms of functors are given. For a pullback square of base spaces $C=holim(A\overset{f}\to B\overset{j}\leftarrow ...