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

**6**

votes

**1**answer

244 views

### Four-dimensional vector bundles over $S^4$, intuition?

I know that $\pi_3(SO(4)) = \mathbb{Z} \oplus \mathbb{Z}$. We can choose an explicit identification as follows: given $(i, j) \in \mathbb{Z}$, we have a map $\phi: S^3 \to SO(4)$ which sends a unit ...

**5**

votes

**0**answers

155 views

### Intuition behind the following theorem of Reeb?

What is the intuition behind the following theorem of Reeb?
If a compact manifold admits a function with only two critical points which are non degenerate, it is homeomorphic to the sphere.

**15**

votes

**1**answer

326 views

### The Gelfand duality for pro-$C^*$-algebras

The Gelfand duality says that
$$X\to C(X)$$
is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras ...

**4**

votes

**0**answers

203 views

### solid commutative ring spectra

Let $R$ be a discrete (i.e. an ordinary) commutative ring and let $HR\rightarrow T$ be a map of $E_{\infty}$-ring spectra where $HR$ is the associated Eilenberg-Mac Lane ring spectrum. We say that $T$ ...

**0**

votes

**2**answers

260 views

### When is the Thom class the Poincare dual of the zero section?

As the title suggests, when is the Thom class the Poincare dual of the zero section? For starters, it's true for the normal bundle of an immersion...

**3**

votes

**1**answer

228 views

### coproduct of the homology of iterated loop space on spheres

Let $\Omega^{n+1}S^{n+1}$ be the base-pointed $(n+1)$-iterated loop space on the $(n+1)$-sphere. In the paper The homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, Lecture notes in ...

**3**

votes

**1**answer

188 views

### Constructing a homology class of degree $d(d-1)/2$ in $H_3(S^3)$

There is a nice construction of a class of degree $d^2$ in $H_3(S^3)$. Take a class $h$ of degree $d$ in $H_1(S^1)$, and then take its join with itself: $h*h$ is degree $d^2$ in $H_3(S^1*S^1)$, and ...

**2**

votes

**0**answers

116 views

### the homology of configuration spaces [closed]

In the paper ON THE HOMOLOGY OF CONFIGURATION SPACES, Section 5.4,
Why $C(M\times \mathbb{R};X)\simeq \Omega C(M; SX)$? Does this hold for $X$ not connected?

**1**

vote

**0**answers

82 views

### When Max(R) is Hausdorff space? [duplicate]

Let $R$ be reduce commutative ring with identity (a commutative ring such that $a^n$=0 ($a\in R$) implise $a=0$) and $Max(R)$ be the set of all maximal ideals of $R$. The hull-kernel (or Zariski ...

**6**

votes

**1**answer

255 views

### Fredholm operators in $K$-theory?

Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what ...

**8**

votes

**0**answers

313 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**2**

votes

**0**answers

49 views

### cohomology ring of cross-section space of one-point compactification of tangent bundle

Let $M$ be an $m$-manifold whose cohomology is known. Let $TM$ be the tangent bundle of $M$ and $\xi$ be the fibre-wise one-point compactification of $TM$. Then $\xi$ is a $m$-sphere bundle over $M$. ...

**3**

votes

**1**answer

144 views

### Is a pullback along a Dold fibration a homotopy pullback?

Let $$
\begin{array}{ccc}
A & \to & B
\cr\downarrow&&\downarrow
\cr
A'& \to &B'
\end{array}
$$ be a pullback square in the category of all topological spaces (not just in a ...

**1**

vote

**1**answer

109 views

### Does a topological hypercover always have free degeneracies?

This question arises when I am reading Dugger and Isaksen's "Hypercovers in topology". According to Definition 4.1 in that paper, A hypercover of a space $X$ is an augmented simplicial space $U_*\to ...

**6**

votes

**0**answers

156 views

### Manifold approximations to $BO(3)$

We know that $BO(1) =\mathbb{R}P^\infty$ has closed, finite-dimensional manifold approximations $\mathbb{R}P^1\subset \mathbb{R}P^2\subset\cdots.$
Similarly $BO(2)$ can be approximated by closed, ...

**2**

votes

**0**answers

89 views

### cross-sections of a sphere bundle

Let $M$ be a $m$-manifold and $M_0$ a submanifold of $M$. Let $X$ be a pointed topological space. In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, ...

**7**

votes

**1**answer

183 views

### Frobenius $A_{\infty}$-bialgebras?

Recall that a finite dimensional associative algebra $A$ over a field $k$ is called a symmetric Frobenius algebra (sometimes called "closed" Frobenius algebra) if its equipped with a symmetric non ...

**4**

votes

**0**answers

154 views

### Generation of cohomology of graded algebras

Let $A$ be an unital, associative, graded algebra over a base ring $k$. I'm happy to assume that $k$ is a field if need be, and will insist that $A$ free and of finite rank in each degree (locally ...

**13**

votes

**1**answer

405 views

### Intuition behind the Morse inequalities?

Forgive me if this is sort of a vague question, but can someone supply me with their intuition behind the Morse inequalities?

**8**

votes

**1**answer

341 views

### Relation between moduli spaces and classifying spaces

I hope this question is suitable to be posted here on MO.
I wonder if there is a systematic relation between the notation of a classifying space, and the notion of a moduli space. I don't consider ...

**19**

votes

**1**answer

553 views

### Is there a generalization of homotopy groups to fractional dimensions

Does there exist a reasonable candidate for such an object as $\pi_{\frac12}(X)$?

**7**

votes

**1**answer

396 views

### Loop space generalization

Let $X$ be a based connected space. The space of based continuous morphisms $Top_{\ast}(S^1,X)$
is the space of loops $\Omega X$. Since $S^1$ is homotopy equivalent to the Eilenberg-Mac Lane Space ...

**8**

votes

**1**answer

395 views

### Analytical formula for topological degree

At the first page of the following article http://arxiv.org/pdf/1004.1018v1.pdf [edit: the formula on the arXiv differs from the formula in the published paper, and the formula displayed below is the ...

**3**

votes

**0**answers

113 views

### Does there exist a smooth compact manifold whose boundary is $\mathbb{R}P^3$? [closed]

As the question suggests, does there exist a smooth compact manifold whose boundary is $\mathbb{R}P^3$?

**2**

votes

**0**answers

78 views

### $Pin^{+}(4k)$ and $Pin^{-}(4k)$ are isomorphic [Reference Request]

This is some sort of "follow-up" to the (unanswered) question posted here.
Let's denote $$\varphi :O(2n)\rightarrow O(2n);A\mapsto det(A)\cdot A.$$
Then $\varphi $ is an automorphism of $O(2n)$, and ...

**4**

votes

**1**answer

195 views

### Milnor descent for ring spectra

Suppose given a homotopy cartesian square of (commutative) ring spectra (or (c)dgas)
$\begin{matrix}A & \to & A_1 \\
\downarrow & & \downarrow \\
A_2 & \to &A'\end{matrix}.$
...

**6**

votes

**1**answer

283 views

### Connected CW complex, isomorphism?

Let $\pi$ be a group and let $K(\pi, 1)$ be a connected CW complex such that $\pi_1(K(\pi, 1)) = \pi$ and $\pi_q(K(\pi, 1)) = 0$ for $q \neq 1$. My question is, are $H_*(K(\pi, 1);A)$ and ...

**5**

votes

**0**answers

143 views

### What are the homotopy classes of the obvious maps between Bott spaces?

The spaces $O$ and $O/U$ that appear in Bott periodicity represent the functors $KO^7(X)$ and $KO^6(X)$ respectively. Is there an interpretation of the map $KO^7(X) \to KO^6(X)$ induced by the ...

**7**

votes

**1**answer

392 views

### Does there exist a homotopy equivalence from $\mathbb{C}P^{2n}$ to itself that reverses orientation?

Perhaps this is a foolish question, forgive my lack of knowledge of topology. My question is, does there exist a homotopy equivalence from $\mathbb{C}P^{2n}$ to itself that reverses orientation?

**5**

votes

**1**answer

344 views

### Homeomorphism of closed manifold

Suppose that we have two closed n-manifold $M$ and $N$ such that
the topological group of homeomorphisms $Homeo(M)$ is homotopy equivalent to $Homeo(N)$ (maybe as topological groups if needed), can ...

**3**

votes

**0**answers

233 views

### Quasicategorical Construction of a Cosimplicial Map of Rognes

In John Rognes' Galois theory monograph he constructs something called the Hopf-cobar complex for a coalgebra object $H$ (in spectra) and a comodule algebra $X$. It is, intuitively, the object whose ...

**0**

votes

**1**answer

311 views

### Dimension of two homotopy equivalent manifolds [closed]

Let $M,N$ be a closed (connected, without boundary, say smooth) manifolds which are homotopy equivalent. Does it follows that they are of the same dimension? One should be aware of examples of ...

**5**

votes

**1**answer

140 views

### The evaluation fibration of a transitive, effective topological group action

Does anybody know a reference to the following fact?
If $G$ is a topological group acting transitively and effectively on a space $X$, then the evaluation map $G \rightarrow X$, $g \mapsto g \cdot ...

**3**

votes

**1**answer

251 views

### What is the (co-)homology of $K(\mathbb{R}_\delta,n)$?

To elaborate on the question from the title, $\mathbb{R}_\delta$ is the additive group of real numbers (without any topology) and $K(\mathbb{R}_\delta,n)$ is an Eilenberg-MacLane space. I would like ...

**7**

votes

**1**answer

188 views

### What is $Sq^i(\alpha^j)$ for all $i$ and $j$?

Write $H^*(\mathbb{R}P^\infty; \mathbb{Z}_2) = \mathbb{Z}_2[\alpha]$, $\deg \alpha = 1$. What is $Sq^i(\alpha^j)$ for all $i$ and $j$? I am not an algebraic topologist by trade but need to know this ...

**2**

votes

**0**answers

63 views

### section spaces related to configuration spaces

In the paper Configuration spaces of positive and negative particles, Dusa McDuff, a section space $\Gamma(M)$ is constructed:
And in the paper ON THE HOMOLOGY OF CONFIGURATION SPACES. C.-F. ...

**3**

votes

**0**answers

47 views

### Determinant twist and $Pin _{\pm}$ structure on $4k$-dimensional bundles [Reference request]

Consider the automorphism $\varphi$ of $O(2n)$ given by $\varphi (A)=det(A)\cdot A$. The induced map in cohomology $H^*(BO(2n))$ sends $w_2$ to $w_2+(n+1)w_1^2$ (a proof is given at the end of the ...

**2**

votes

**0**answers

99 views

### homotopy equivalence between configuration spaces on non-homeomorphic spaces

(1). Let $D^m$ be the closed $m$-disc in $\mathbb{R}^m$. For each $k$, does the $k$-th configuration space on $D^m$ homotopy equivalent to the $k$-th configuration space on $\mathbb{R}^m$
$$
...

**9**

votes

**0**answers

133 views

### Why should we regard $PL(M)$ as a simplicial group?

Let $M$ be a manifold. If $M$ is smooth, it is clear what $\text{Diff}(M)$ should be, namely it should be the set of diffeomorphisms of $M$ equipped with the topology in which a sequence of ...

**0**

votes

**0**answers

99 views

### Chern classes, vanishing of smooth sections or vanishing of holomorphic?

I have seen both definitions and this is getting me more and more confused.
Are Chern classes dual to the degeneracy cycles of smooth sections or holomorphic?
They can't be the same thing, can they?
...

**3**

votes

**2**answers

272 views

### the space of continuous maps between 3-manifolds

Let $X$ be a connected hyperbolic 3-manifold (without boundary), $S^3$ the 3-sphere and $Map(X,S^3)$
the space of continuous maps between $X$ and $S^3$.
Question: Is the space $Map(X,S^3)$ connected ...

**4**

votes

**1**answer

204 views

### Properties of loop space functor from homotopy types to group objects in homotopy types

I am trying to understand some properties of categories enriched in homotopy types, and the following question has become important:
When we take the loop-space of a (connected) homotopy type, we get ...

**4**

votes

**1**answer

189 views

### Is the simplicial set $(\Delta_3/\partial \Delta_3)^{\Delta_1}$ finite?

A simplicial set is called finite if it has only a finite number of non degenerate simplicies (or equivalently, if its number of $n$-simplicies grows polynomially with $n$). In an answer to a ...

**3**

votes

**1**answer

120 views

### Regularity of maps in algebraic topology for manifolds

Let $M$ be a $n$ manifold such that $\pi_k(M)$ is non trivial. What can we expect about the regularity of a representant $f:S^k\rightarrow M$ of a non-trivial cycle? For example, if $M$ is a manifold ...

**4**

votes

**1**answer

166 views

### Stabilization of a generic pointed model category

Let $\mathcal C$ be a pointed model category. It is well-known that its homotopy category $\mathrm{Ho}(\mathcal C)$ is naturally a $\mathrm{Ho}(\underline{\mathrm{sSet}}_*)$-category, where ...

**1**

vote

**1**answer

244 views

### maps from labelled configuration space to section space / iterated loop space

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, 2014, page 3, Section 3:
for a $m$-manifold $M$, consider the disc bundle $D(M)$ in the tangent bundle ...

**2**

votes

**0**answers

68 views

### $\eta$-invariants of Riemann Surface

I am curious about a concrete computation of $\eta$-invariants for Riemann surface, e.g. Torus.
Is there any nice review or notes talking about the computation? Or is it possible to express it as ...

**1**

vote

**1**answer

50 views

### Group completion of labelled configuration space on Euclidean spaces

In the lecture notes The Homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 225 -226, it is obtained that there is a group completion on homology
$$
\alpha_n: C(\mathbb{R}^n;X)\to ...

**1**

vote

**0**answers

58 views

### cohomology ring of unordered configuration space on Euclidean spaces

Let $F(\mathbb{R}^n,k)/\Sigma_k$ be the $k$-th unordered configuration space on $\mathbb{R}^n$. In the lecture notes The Homology of $\mathcal{C}_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 226, it ...

**2**

votes

**1**answer

157 views

### Equivalent definition of a Kan fibration

It is known (follows for example from Proposition 4.2 of Simplicial Homotopy Theory by Goerss and Jardine) that a Kan-fibration can be defined as a map having the right lifting property with respect ...