**0**

votes

**0**answers

57 views

### Reference for generalized model categories [on hold]

I would like to know some references for "Stanculescu's notion" of Generalized model category.
Motivation The idea is find some works that use the notion and increase my knowledge about it.
...

**-4**

votes

**1**answer

141 views

### Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]

Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)?
If so, please show me how to construct it.

**3**

votes

**2**answers

323 views

### Definition of E-infinity operad

What is the definition of $E_\infty$-operad in the category of chain complexes over $\mathbb{Z}/p\mathbb{Z}$? J. Smith in http://arxiv.org/abs/math/0004003 define it for complexes over $\mathbb{Z}$ ...

**6**

votes

**0**answers

77 views

### Samelson Products in $SO(n)$

Given a topological group $G$ one forms the commutator $c\colon G\times G\rightarrow G$, $(x,y)\mapsto xyx^{-1}y^{-1}$. This map then factors through the smash $G\wedge G$. This map is the most ...

**16**

votes

**2**answers

955 views

### Why do people say DG-algebras behave badly in positive characteristic?

It seems to be a common wisdom in derived algebraic geometry that commutative DG-algebras are not, in general, a good model for derived rings, with the stated reason that they behave badly in positive ...

**6**

votes

**0**answers

92 views

### Detection tools for (reduced) suspension

I'm learning about loop spaces and the work of Stasheff on $A_{\infty}$-spaces. The broad idea that I'm getting is the following. Given a space $Y$, we want to know under which conditions there exists ...

**4**

votes

**0**answers

100 views

### What structure of a monoidal simplicial model category is preserved by taking the opposite category?

Suppose we have $(M,\otimes,1)$, a monoidal simplicial model category. Then we can consider the opposite model category $M^{op}$ with the opposite model structure (fibrations become cofibrations, ...

**6**

votes

**0**answers

196 views

### Two different Thom diagonals in recent literature?

Taking the point of view that a Thom spectrum functor should be a map $Top_{/BGL_1(R)}\to LMod_R$, for $R$ some $\mathbb{E}_n$-ring spectrum, there seem to be two morphisms (in $Top_{/BGL_1(R)}$) that ...

**8**

votes

**1**answer

435 views

### What is the Status of Borel conjecture today?

Let me recall the conjecture: $M$ and $N$ two aspherical closed $n$-manifolds with isomorphic fundamental groups, then $M$ and $N$ are homeomorphic.

**4**

votes

**0**answers

127 views

### References for bilinear forms on chain complexes?

I am looking for references that include general results and theorems for bilinear forms defined on chain complexes. That is, bilinear forms $\langle \cdot , \cdot \rangle_i : C_i \times C_i \to ...

**9**

votes

**0**answers

262 views

### What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of the totalization?

Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and ...

**27**

votes

**5**answers

2k views

### What is modern algebraic topology(homotopy theory) about?

At a basic level, algebraic topology is the study of topological spaces by means of algebraic invariants. The key word here is "topological spaces". (Basic) algebraic topology is very useful in other ...

**6**

votes

**2**answers

442 views

### quotient space of Eilenberg-MacLane space

Let $\pi$ be a group and $K(\pi,1)$ the Eilenberg-MacLane space. Let $G$ be a finite group acting on $K(\pi,1)$ such that the following is a covering map
$$
K(\pi,1)\longrightarrow K(\pi,1)/G.
$$
...

**16**

votes

**1**answer

534 views

### (really) basic intuition for $\mathbb A^1$-homotopy theory

Apologies in advance if this question is inappropriate for MO.
I'm trying to read here and there about $\mathbb A^1$-homotopy theory in algebraic geometry. I understand some abstract machinery is ...

**6**

votes

**0**answers

159 views

### Homotopy classes of maps and cohomology classes (Hatcher, AT, Thm 4.57) [duplicate]

Hatcher's AT Theorem 4.57 is used in both the algebraic topology construction of Seifert surfaces, and the (similarly flavored) proof that given a compact 3-manifold (with or without boundary), we can ...

**2**

votes

**1**answer

69 views

### Homotopy limits of homotopically constant diagrams over contractible categories

I suspect that the following result should be true and more or less well known:
Let $\mathcal{M}$ be a model category and $I$ a small category with contractible nerve. For every diagram $X: I \to ...

**4**

votes

**2**answers

239 views

### homotopy equivalence between configuration spaces

Let $M$ be a $m$-dimensional compact manifold without boundary and $W(M)$ the non-compact $CW$-complex obtained by glueing $[0,1)\times (0,1)^{m-1}$ to $M$, identifying the boundary ...

**2**

votes

**1**answer

198 views

### isotopy equivalence (topological meaning) between $CW$-complexes

Let $M$ and $N$ be $CW$-complexes.
Definition. (different from the isotopy notion in geometry of submanifolds). A (topological) isotopy is a fibre-wise continuous map
$$
F: M\times ...

**4**

votes

**1**answer

126 views

### Directed homotopy in the Cayley graph of a monoid

There is a the notion of the Cayley graph $C(G)$ of a group $G$ (which depends on a given presentation $G \cong \mathcal F(S) / \sigma$ where $\mathcal F$ is the free group functor and $\sigma$ some ...

**4**

votes

**0**answers

68 views

### Invert quasi-isomorphisms of symmetric cooperads

The theory of symmetric operads in chain complexes (say over a good enough field) is in some sense nice, because we have a well defined homotopy theory.
In particular we have a notion of ...

**1**

vote

**1**answer

145 views

### torsion part of the cohomology module of configuration spaces of manifolds

Let $M$ be a manifold and $C_n(M)$ the $n$-th unordered configuration space consisting of unordered $n$-tuples of distinct points in $M$. The mod $p$ homology module, $p$ prime, and the rational ...

**7**

votes

**0**answers

162 views

### A definition of the homotopy colimit of a coherent diagram

Suppose I am given a homotopy coherent diagram of spaces of shape $I$ (This is a simplicial functor $F:\mathfrak{C}[I] \to Top$, where $\mathfrak{C}$ is the standard cofibrant replacement functor in ...

**4**

votes

**1**answer

233 views

### Homotopy classification of selfmaps of product of spheres?

Self-maps of n-torus $T^n=S^1\times ...\times S^1$ are classified by the induced homorphism of fundamental group $\pi_1 T^n=Z^n$.
Is a similar result true form self-maps of $S^k\times ...\times S^k$ ...

**3**

votes

**2**answers

463 views

### Principal bundles that can't be detected by spheres

The question I'm trying to answer is the following:
Let $P \to X$ be a principal $G$-bundle (over a connected CW complex)
satisfying that all pullbacks to spheres (of arbitrary dimension) are
...

**2**

votes

**0**answers

167 views

### Algebraic K theory, Karoubi completion and splitting

Suppose $\mathcal{C}\subset \mathcal{C}'$ is a pair of pre-triangulated smooth DG categories over a characteristic-zero basefield (say, $\mathbb{C}$), such that $\mathcal{C}$ is faithfully embedded in ...

**9**

votes

**0**answers

279 views

### When does algebraic K theory behave like a cohomology theory

Let $\mathbb{F}$ be a field. Let $K(\mathbb{F})$ be its algebraic (Quillen) $K$-theory spectrum. Let $X$ be a (nice, finite CW) topological space and let $\text{Rep}\Omega(X)$ be the DG category of ...

**7**

votes

**1**answer

193 views

### Is it known whether this space is a suspension space?

For each prime $p\geq 3$ let $\alpha_p:S^{2p}\to S^3$ denote a representative of $\pi_{2p}S^3$ of order $p$. Berstein and Hilton showed that for each $p$ the homotopy cofiber $C_{\alpha_p}$ of ...

**13**

votes

**1**answer

518 views

### Motivation and potential applications of spectral algebraic geometry

Nowadays there is a lot of talk about derived algebraic geometry, but not so much about the related subject of spectral algebraic geometry.
Now I'm curious what future is there for spectral algebraic ...

**5**

votes

**0**answers

243 views

### What is an Elementary “Homotopy, Model” Topos?

Context:
Def (Rezk): A (Grothendieck) homotopy topos is a homotopy left exact Bousfield localization of the model category of simplicial presheaves sPsh(C) on a small simplicial category C.
Thm ...

**3**

votes

**0**answers

117 views

### Test categories applied to Dold-Kan correspondence?

Let's see how this goes, this might be a bit rushed, if you spot any mistakes feel free to correct them. A test category $X$ is a category that can be used in place of the simplex category $\Delta$ to ...

**10**

votes

**1**answer

431 views

### teaching higher algebra

Has anyone ever (successfully or unsuccessfully) taught a course in higher algebra (in the $\infty$-categorical sense)?
I'm asking out of curiosity (and also hoping for more resources).
The ...

**20**

votes

**1**answer

737 views

### Topology of categories, very basic facts surrounding Quillen's Higher Algebraic K-Theory I

In his paper Higher Algebraic K-Theory I (see [here][1]), Quillen introduces a topological space $BC$, called the classifying space of $C$, and tries to relate its topology to the categorical ...

**6**

votes

**4**answers

506 views

### What does “higher monodromy” tell us about a principal bundle

Let $P \to X$ be a principal $G-$bundle and let $f: X \to BG$ be its classifying map. As I understand there's some way to associate a monodromy representation $\pi_1(X) \to G$ to it. I know how to ...

**2**

votes

**0**answers

121 views

### completion and convergence of spectral sequence

I would like to understand the connection between $p$-adic completion and the strong convergence of a spectral sequence. Precisely, suppose $E^2_{s,t}\implies G_{s+t}$ is a first quadrant strongly ...

**11**

votes

**0**answers

369 views

### Goodwillie's notes from MSRI Lecture Series

Does anyone know where I can find an electronic version of Goodwillie's (unpublished) notes from the MSRI Lecture Series in Spring, 1990? They're mentioned/cited as such in work of Dundas-McCarthy, ...

**10**

votes

**1**answer

358 views

### Product-like structures on spheres

For $i=1,2$, let $j_i$ denote the inclusion of $S^n$ into the product $S^n \times S^n$ as the $i^{\text{th}}$ factor. I would very much like to know the answer to the following question, which seems ...

**6**

votes

**1**answer

334 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

487 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

**1**answer

87 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

352 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

194 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

135 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

205 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

153 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

296 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

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

**3**

votes

**2**answers

126 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

200 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

98 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

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