**6**

votes

**1**answer

273 views

### P.G.Goerss, J.F.Jardine, “Simplicial Homotopy Theory” prerequisites

I know that such questions may be better suited for math.stackexchange, but I believe that that the topic of simplicial homotopy theory is advanced enough for mathoverflow.
Besides, I know that there ...

**10**

votes

**1**answer

435 views

### Categorical or simplicial introduction to modern homotopy theory

I've heard some people saying that it would be easier to study homotopy theory first through simplicial sets. First, i thought that these people were not being serious. But it caught me wondering...
...

**3**

votes

**0**answers

85 views

### configuration space of product of spheres

Let the $2$-nd ordered configuration space of a space $X$ be
$$
F(X,2)=\{(x,y)\mid x\neq y, x,y\in X\}
$$
and the $2$-nd unordered configuration space of a space $X$ be
$$
B(X,2)=\{(x,y)\mid x\neq y, ...

**3**

votes

**1**answer

79 views

### Homotopy equivalence of maps with compact support and maps which vanish at infinity

Let $X$ be a nice space, maybe a manifold, and let $Y$ be a based space.
What sort of conditions must we impose on $Y$ (and $X$ if need be) to get a homotopy equivalence
$$
\mathcal C_c(X,Y) \simeq ...

**4**

votes

**3**answers

296 views

### classifying space of orthogonal groups

Let $O(n)$ be the $n$-th orthogonal group and $O$ be the direct limit of $O(n)$ with respect to $n$. Let $BO(n)$ and $BO$ be the classifying spaces.
Question:
Why $BO$ is an $H$-space? My supervisor ...

**3**

votes

**1**answer

192 views

### What is kernel $\phi:G\rightarrow \pi_1(X/G,p(x_0))$?

Let $G$ be a discontinuous group (this means that it acts discontinuously with finite stabilizers) of homeomorphisms of a simply connected, locally compact metric space $X$. Let $p:X\rightarrow X/G$ ...

**4**

votes

**1**answer

127 views

### The cooperations algebras Johnson-Wilson theory and truncated BP-theory

Given a prime $p$, there is a well known homology theory $BP$, known as Brown-Peterson homology. Has several related theories, namely the Johnson-Wilson theories $E(n)$ and the truncated ...

**5**

votes

**1**answer

186 views

### how to prove the $n$-times self-product of a map is null-homotopic

Let $k$ be a fixed positive integer and $\Sigma_k$ the $k$-th symmetric group. By letting $\Sigma_k$ permuting an orthonormal basis of a $k$-dimensional Euclidean space, there is a "regular ...

**7**

votes

**1**answer

142 views

### classifying maps of Whitney sums of vector bundles

For an $n$-dimensional vector bundle $\xi$ with structure group $G\leq O(n)$ over a $CW$-complex $B$, we have a classifying map up to homotopy
$$
f(\xi): B\longrightarrow BG,
$$
$f(\xi)\in [B;BG]$, ...

**14**

votes

**1**answer

269 views

### Does the category of categories-mod-natural-isomorphism have any nonobvious autoequivalences?

The simpler question is to study the 2-groupoid $\mathrm{Aut}(\mathsf{Cat})$ of all autoequivalences of the category of (small) categories (i.e. the groupoid of equivalences of categories ...

**2**

votes

**0**answers

83 views

### order of elements in a mapping space

Let $B$ be a finite CW-complex and $\xi$ be a vector bundle over $B$ with structure group $\Sigma_n$, the $n$-th symmetric group.
Then corresponding to $\xi$, we have a classifying map
$$
g\in \tilde ...

**0**

votes

**0**answers

92 views

### a paper by D. Kahn published in 1975

I want to find the reference:
D. Kahn, Homology of the Barratt-Eccles decomposition maps, Reunion Sobre Teoria De Homotopia, Universidad de Northwestern, Agosto, 1974. Sociedad Matemtica Mexicana, ...

**3**

votes

**2**answers

103 views

### equivariant embeddings from the k-th configuration space to the k+1-th configuration space

Let $S$ be a closed, orientable surface in $\mathbb{R}^3$ and $S'$ be the manifold $S\setminus\text{one point}$. Let $F(S',k)$ be the $k$-th (ordered) configuration space on $S'$. It is claimed in ...

**3**

votes

**1**answer

190 views

### the “Kahn-Priddy map” and “multiplicative $p$-local equivalence”

The following is a part of a paper that I need to understand
I totally do not know the argument. Could you explain? Thanks.
Let $\Sigma_n$ be the $n$-th symmetric group and $\Sigma_\infty$ be the ...

**6**

votes

**0**answers

96 views

### $K_0$ an $KH_0$ of a normal crossing variety

Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...

**1**

vote

**1**answer

169 views

### Different model structures on Top

There is at least 3 model structures on the category of topological spaces, the Quillen Model structure, the Storm model structure and the Mixed model structure.
In the Mixed model structure ...

**12**

votes

**1**answer

421 views

### Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)

If $A$ is an abelian group, we have
$Aut\left(K\left(A,n\right)\right)=Aut(A) \ltimes K\left(A,n\right),$
where the left hand side is the space of self-homotopy equivalences. Is there an easy way to ...

**3**

votes

**0**answers

97 views

### Symmetric sub-simplicial sets of the nerve of $\mathbb{N}$

The nerve of $\mathbb{N}$ is the simplicial set $N\mathbb{N}$ with
simplices: tuples $(k_1,\ldots, k_r)$ with each $k_i\in \mathbb{N}$
degeneracies: inserting $0$
faces: adding consecutive entries ...

**12**

votes

**1**answer

194 views

### Computing Homotopy Fixed Point Spectral Sequences related to Morava E thories

Given a finite subgroup of $G$ sitting inside the Morava stabilizer group $S_n$, we can form the homotopy fixed point spectrum $E_n^{hG}$. There is a spectral sequence with $E_2^{s,t} = ...

**14**

votes

**3**answers

816 views

### Motivation for equivariant homotopy theory?

I'm in the process of learning equivariant homotopy theory, so I was wondering: what is the importance of equivariant homotopy theory, and what has it been applied to so far? I know of HHR's solution ...

**7**

votes

**0**answers

340 views

### Algebraic geometry introduction for homotopy theorists/algebraic topologists

Algebraic geometry has a plenty of decent introductory texts now. Some are of the classical commutative algebraic approach(following EGA), like Ravi Vakil's "Foundations".
Some use facts from ...

**3**

votes

**1**answer

182 views

### geometric conditions on maps between manifolds inducing monomorphisms on cohomology

Let $M,N$ be manifolds whose dimensions may be different. Let $f: M\longrightarrow N$ be a smooth map. What geometric conditions on $f$ can we impose such that the induced homomorphism
$$
f^*: ...

**4**

votes

**1**answer

167 views

### Parametrized Dold-Kan correspondence?

The stable Dold-Kan correspondence says that for every commutative ring $R$, there is an equivalence of $\infty$-categories between the category $Ch(R)$ of (unbounded) chain complexes of $R$-modules ...

**3**

votes

**1**answer

70 views

### Homotopy classes of homeomorphisms of a multiple pointed space

Let $M$ be a multiple pointed space, i.e. $M$ is a topological space and there is a finite point set $M\supset P=\{p_1,...,p_k\}, k<\infty$. Such a $p_i$ is called a marked point. A map ...

**7**

votes

**1**answer

147 views

### Fiber vs homotopy fiber in model categories: simple question

I have a concrete problem with the homotopy fiber and I am getting lost with the
literature. I state my question and, to avoid confusions, I state downwards the
definitions I am using.
Let $C$ be a ...

**7**

votes

**0**answers

168 views

### When do contributions of $\pi_*(L_{K(n)}S^0)$ to $\pi_*(S^0)$ stabilize?

I apologize if this question is obvious as I am just beginning to learn this field. I am also abusing the dependance on $p$ for notational ease. The Chromatic Convergence theorem establishes that ...

**9**

votes

**2**answers

331 views

### In CGWH, is every cofibration an inclusion with closed image?

As the title suggests, in CGWH, is every cofibration an inclusion with closed image?

**9**

votes

**4**answers

405 views

### Vietoris-Begle theorem for simplicial sets

I've learned the theorem when reading a comment by Vidit Nanda to my question see here.
Here is the (simplified) version of the theorem for topological spaces:
Vietoris-Begle Theorem
Let ...

**4**

votes

**1**answer

144 views

### Localization at the Johnson-Wilson spectrum and rationalization

Is there a clean proof that the $L_n$, localization at $E(n)$, is simply rationalization (i.e. $L_0$) on Eilenberg-MacLane spectra? Eric Peterson asked this here, but I haven't seen an answer.

**0**

votes

**1**answer

184 views

### fiber, homotopy fiber of spaces

Suppose we have a pullback of topological spaces (CW-complexes) $B\rightarrow A\leftarrow C$ which I will denote by $D$.
Assumptions
The induced map $D\rightarrow C$ is a trivial fibration
The map ...

**6**

votes

**1**answer

255 views

### What are some examples of total derived functors that can't be computed from a functorial replacement?

(Or more generally, what are some examples of Kan extensions which are not pointwise?)
By a total derived functor of a functor $F: C \to D$, I simply mean a (left or right) Kan extension of $F$ along ...

**1**

vote

**0**answers

208 views

### Generalization for Leray Hirsch theorem for Principal $G$-bundle [closed]

This is a general question:
Is there a generalized Leray Hirsch theorem for Principal $G$-bundle? with $G$ finite group with discrete topology. I know it does not make sense to compare with original ...

**13**

votes

**1**answer

191 views

### Free generators for the fat commutator subgroup

There is a homomorphism $\langle x,y\rangle\to\langle x\rangle$ of free groups, sending $y$ to $1$. We can combine this with the other obvious homomorphism to get a surjective homomorphism
$$ ...

**8**

votes

**1**answer

226 views

### Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

Given a fiber square of simplicial sets
$$\begin{array}{cc}
& \hspace{-7mm} E \\
&\hspace{-7mm}\downarrow \\
\ast\longrightarrow &\hspace{-7mm} B
\end{array}$$
...

**3**

votes

**1**answer

185 views

### Geometric interpretation of the conjugation operation in the dual Steenrod algebra

As the dual mod 2 Steenrod algebra, $A$, is a Hopf algebra, it has the conjugation operation, $\chi:A\to A$. Milnor also gives a formula for this.
I wonder if there is any source telling about a ...

**11**

votes

**2**answers

569 views

### Does every (co)homology functor (in particular, stable homotopy) factor through chain complexes?

Ordinary homology and cohomology factor through chain complexes via singular homology and cohomology. What about other (co)homology theories?
That is, for each spectrum $E$, do we have a lift in the ...

**7**

votes

**1**answer

244 views

### Pullback-stable model of fibrewise suspension of fibrations (in simplicial sets, or similar setting)

Given a fibration $p : Y \to X$ in simplicial sets (or any other model category), there are various ways to construct its fibrewise suspension, i.e. its suspension as an object of the slice ...

**3**

votes

**1**answer

130 views

### very basic question on p-typical group law and MU and BP

I am a beginner trying to understand Dan Quillen's idempotent map $\xi:MU_{(p)} \to MU_{(p)}$ described in his classic paper 5-page paper On formal group laws...
Let $F$ be a formal group law over a ...

**6**

votes

**1**answer

339 views

### Iterated Homotopy Quotient

If one has a normal Lie group inclusion $H\to G$, with quotient $G/H$, and a $G$-manifold $X$, one can take the quotient $X/H$. Then the $G$-action on $X/H$ factors thru a $G/H$-action, so one can ...

**2**

votes

**0**answers

88 views

### Sufficient criteria for a nerve of a topological category to be good

I know that the following statement is true and I am looking for a reference:
Given a topological category $\mathcal C$ (i.e. morphisms and objects form a space and all maps in the definition of a ...

**7**

votes

**1**answer

194 views

### Are $E_n$-operads not formal in characteristic not equal to zero?

This is a short question:
Is it just unproven folklore (yet), or is it definitively known that $E_n$-operads are not formal, if the characteristic of the underlying field is not equal to zero?

**3**

votes

**2**answers

272 views

### Is it possible to compute coefficients of the formal group of an elliptic curve?

This may be trivial but I cannot find it. Given an elliptic curve, $C$ over $R$ with chosen parametrization $R\to \mathbb{A}^5_{\mathbb{Z}}=Spec(A)$, is there a way to compute coefficients of the ...

**5**

votes

**0**answers

140 views

### On a very weak notion of fibration (of topological spaces)

Suppose that $f:Y \to X$ is a map of topological spaces, and lets assume for simplicity that $X$ is connected. For the fibers of $f$ to compute the homotopy fibers, one would usually want to demand ...

**18**

votes

**2**answers

496 views

### Why study the p-completions of a space?

Given a nice topological space $X$ there are various notions of a 'completion' at a set of primes. Some of the most common constructions may be found in Bousfield-Kan's, May's, Neisendorfer's or ...

**6**

votes

**0**answers

186 views

### How do the direct and inverse image sheaf functors interact with homotopy?

This is a crosspost of this MSE question.
The direct image sheaf functor $f_\ast$ and inverse image sheaf functor $f^\ast$ (here I mean the usual inverse image sheaf functor often denoted by ...

**13**

votes

**1**answer

211 views

### Fundamental group of the space of immersions of the 2-sphere in 3-space modulo diffeomorphisms of the first

In a previous Mathoverflow question, we saw that the fundamental group of the space $Imm(S^2,\mathbb{R}^3)$ of immersions the 2-sphere in ordinary 3-space is isomorphic to $\mathbb{Z}/2 \times ...

**12**

votes

**1**answer

315 views

### Fibrant-cofibrant models of Eilenberg-MacLane spectra

There are many models for spectra, by which I mean a model category whose homotopy category is triangulated-equivalent to the stable homotopy category. In each model, there are ways to construct ...

**3**

votes

**1**answer

99 views

### Geometric Realizations of Simplicial Based Spaces

Suppose I have two simplicial based topological spaces $X_\bullet$ and $Y_\bullet$, and the degeneracy maps of each satisfy the based homotopy extension property (but not necessarily the unbased ...

**13**

votes

**2**answers

744 views

### Homotopy types of schemes

Let $X$ be a scheme over $\mathbb{C}$.
When does the topological space $X\left(\mathbb{C}\right)$ of $\mathbb{C}$-points have the homotopy type of a finite CW-complex?
When does the topological ...

**7**

votes

**0**answers

106 views

### How stable is the top cell of Lie group?

It is well know fundamental class of a compact lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable equivalence ...