Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas ...

learn more… | top users | synonyms

0
votes
0answers
13 views

dimension of generators of cohomology ring of infinite loop-suspension

In the book The unstable Adams spectral sequence for free iterated loop spaces, R.J. Wellington, Mem. Amer. Math. Soc. 258, 1982, p. 32 Question: When $p=2$, $k\geq 2$ and $n=\infty$, what is the ...
11
votes
0answers
147 views

Del Pezzo surfaces and homotopy groups of spheres

A (complex) del Pezzo surface is a smooth projective complex surface with ample anticanonical line bundle. Such surface has a degree defined as the self intersection of the canonical divisor. It is ...
4
votes
1answer
104 views

cohomology ring of infinite iterated loop space

What is the cohomology ring $$ H^*(\Omega^\infty \Sigma^\infty (S^m\vee S^n);\mathbb{Z}_2)? $$ I already write out the graded-vector-space basis using Dyer-Lashof operations, but I do not know how to ...
2
votes
0answers
66 views

cohomology ring of base-point-preserving maps on the 3-sphere

I find that $\text{Map}_*(S^3;S^3)=\Omega^3S^3$. I want to find the cohomology ring of $H^*(\Omega^3S^3;\mathbb{Z}_2)$. In the paper On configuration spaces, their homology, and Lie groups, I find ...
4
votes
1answer
87 views

unordered configuration space over spheres and Euclidean spaces

For a topological space $X$, let $B(X,k)$ be the $k$-th unordered configuration space. Then $$ B(\mathbb{R}^n,2)\simeq \mathbb{R}P^{n-1}, $$ $$ B(S^n,2)\simeq \mathbb{R}P^n. $$ Hence $ (*) $ $$ ...
2
votes
1answer
121 views

Homotopy fibers and stratified fibrations

Suppose I have a map $f:X \to Y$ of topological spaces and a nice stratification of $X$ ( say such that the inclusion of each stratum is a Hurewicz cofibration) such that the restriction of $f$ to ...
23
votes
2answers
912 views

What is the fewest number of points you must delete from $\mathbb{R}^3$ to make it not simply connected?

This question concerns a set-theoretic aspect that I found interesting in the recent question asked by user Nick R., namely, Is $\mathbb{R}^3\setminus\mathbb{Q}^3$ simply connected? He had asked ...
38
votes
1answer
975 views

Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?

Similarly is the complement of any countable set in $\mathbb R^3$ simply connected? Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and ...
0
votes
0answers
126 views

p-local space vs p-completion.

I have some trouble to understand the difference between the p-completion and p-local space. if $X$ a simply connected spaces such that all higher homotopy groups are finitely generated groups then ...
5
votes
1answer
186 views

Representing classes in *relative* homology by submanifolds

There are nice results for representing homology classes by submanifolds, in particular for any class in $H_i(X)$ with $i\le 6$, see here. When $X$ is low-dimensional I can start getting explicit, but ...
2
votes
1answer
78 views

Model structures on diagrams indexed by a Reedy category

I'm interested in the way to put a model structure on the category of functors $F : P^{op} \rightarrow Ch(\mathbf{k})$ where $\mathbf{k}$ is a field of characteristic zero, $Ch(\mathbf{k})$ the ...
2
votes
0answers
89 views

Triangulated structure on $\mathbf{SH}(S)$: $\mathbb{P}^1$-suspension versus classical suspension

I am studying the construction of the motivic stable homotopy category of schemes $\mathbf{SH}(S)$ following Riou's paper Categorie homotopiquement stable d'un site suspendu avec intervalle (click to ...
3
votes
1answer
195 views

Does the fat geometric realization take limits to homotopy limits?

I am deeply confused about geometric realizations and finite limits. Suppose that I am working with simplicial sets (I dont need simplicial spaces) that are "good" in the sense of Segal so that I can ...
11
votes
2answers
216 views

Quasicategories for non-simplicial model categories

If I have a simplicially enriched model category, then I can take the coherent nerve of the full subcategory of bifibrant opjects to obtain a quasicategory. If I have a model category that is not ...
3
votes
1answer
226 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 ...
5
votes
1answer
468 views

reference for “Topological algebra of Grothendieck”

I would like to have some references for Grothendieck's theory of "Topological algebra": a synthesis of homotopical and homological algebra, with special emphasis on topoi.
2
votes
0answers
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?
8
votes
0answers
303 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$ ...
3
votes
1answer
139 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
1answer
108 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 ...
0
votes
0answers
96 views

reference for groupoid cohomology

In nLab (groupoid cohomology) says: "Under the homotopy hypothesis theorem, plain (non-internal) groupoid cohomology is the same as the cohomology of homotopy 1-types." Are there references for ...
19
votes
1answer
545 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
1answer
394 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 ...
3
votes
0answers
226 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
1answer
305 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 ...
1
vote
0answers
379 views

Are there connections between Homotopy type theory and Grothendieck's theory of motives? [closed]

Are there any "visions" (maybe "dreams"), future plans or connections between Homotopy type theory and Grothendieck's theory of motives (or at least "connections" with universal cohomology theory)?
2
votes
0answers
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. ...
2
votes
0answers
97 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$ $$ ...
4
votes
1answer
200 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
1answer
184 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
0answers
68 views

cohomology ring of mapping spaces

In the lecture notes The homology of $\mathcal{C}_{n+1}$–spaces, n ≥ 0. F. Cohen, 1978, page 228-231, the cohomology ring $$ H^*(\text{Map}_*(S^n, S^n\wedge X);\mathbb{Z}_p) $$ is obtained for any ...
3
votes
0answers
82 views

Configuration spaces of positive and negative particles

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, page 3, line from bottom 1-3, it is given that for a $m$-manifold $M$, there is a map from the labelled ...
4
votes
1answer
152 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
1answer
182 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 ...
1
vote
1answer
49 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
0answers
54 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
1answer
151 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 ...
4
votes
1answer
270 views

Natural transformations induce homotopies - Is this true in the “fat” world?

Let $\mathcal{C}, \mathcal{D}$ be categories internal to topological spaces (or compactly generated Hausdorff spaces, if you like) $F,G\colon\mathcal{C}\rightarrow\mathcal{D}$ be continuous functors ...
4
votes
0answers
149 views

Does the fat realization of simplicial spaces commute with finite limits up to homotopy?

I'm willing to work in the category of compactly generated Hausdorff spaces. The ordinary geometric realization of a simplicial space commutes with taking pullbacks and preserves the terminal object, ...
13
votes
2answers
706 views

Counterexamples for strengthening Whitehead's theorem?

Let $f:X\to Y$ be a pointed map of pointed connected $n$-dimensional CW complexes. Whitehead's theorem says that if $f_*:\pi_qX\to \pi_qY$ is an isomorphism for $q\le n$ and a surjection for $q=n+1$, ...
4
votes
1answer
412 views

$\pi_8(S^5)=\pi_8(SO(6))=\mathbb{Z}/24$?

I am currently thinking about a physics model related to framed bordism $\Omega_3^{fr}=Z/24=\pi^s_3$, and the first stable example is $\pi_8(S^5)$, so I was curious about the generator, and happened ...
3
votes
1answer
117 views

group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281: Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...
5
votes
0answers
154 views

Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map $$ S^0 \overset{p^i}\longrightarrow S^0 $$ where $S^0$ be the sphere spectrum. In the Mathoverflow ...
1
vote
0answers
70 views

Internal Hom on simplicial presheaves and the preservation of cofibrant objects

1)Let $\mathcal{C}$ be a cartesian closed small category. Let $\operatorname{Map}\: : \: sPsh(\mathcal{C})\times sPsh(\mathcal{C})\to sPsh(\mathcal{C})$ be the internal Hom of simplicial presheaves, ...
6
votes
2answers
424 views

On combinatorial and cellular model categories and infinity categories

I am looking for a counterexample. Let me first give the set-up. When you work with model categories, it is extremely common to assume they are cofibrantly generated. For me, this means the definition ...
8
votes
0answers
177 views

Simplices and cubes

Question: What is the first appearance in the literature of one of the following statements: The result of intersecting a simplex with a cell of the dual subdivision is a cube There ...
6
votes
3answers
481 views

Higher refinement of Seifert-van Kampen theorem on the language of hocolim

I like the following version of SvKT. If $\Pi_1$ is the functor of fundamental groupoid and $(X_i)_{i\in I}$ is a diagram of spaces then $$\Pi_1({\sf hocolim}\: X_i)\simeq {\sf hocolim}\: ...
3
votes
1answer
173 views

Does the CGWH-fication change the (weak) homotopy type?

Let $Top$, $CG$, $WH$, $CGWH$ be the categories of topological spaces, compactly generated spaces, weak Hausdorff spaces and compactly generated weak Hausdorff spaces. There is the CG-ification ...
3
votes
0answers
66 views

Are maps homotopic with respect to a uniform number of local homotopies

I've encountered the following problem that I'm sure someone more topologically inclined can answer: Say that a homotopy of maps $f:X\times[0,1)\to Y$ between two compact smooth manifolds $X$ and $Y$ ...
4
votes
1answer
301 views

$\Omega X$-action on spectral $X$-bundles

I can generalize the notion of a space over $X$ (where $X$ is a based and connected space) to the notion of a spectrum over $X$ by considering functors of quasicategories $X\to Mod_\mathbb{S}$. In the ...