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

2
votes
1answer
127 views

Glueing a property via homotopy colimits

I have a problem concerning a fact which is stated without proof in this Rezk's draft: http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf . In the proof of Lemma 2.11, we are given a ...
2
votes
0answers
63 views

Homotopical categories, the 2-out-of-6 property, and saturation

A homotopical category is a cateogry with a class $\mathcal W$ of arrows called weak equivalences which satisfies the 2-out-of-6 property. The nlab article shows a deep connection between $\mathcal ...
4
votes
1answer
135 views

Are all quotients of a weakly contractible space via a free group action classifying spaces of the group?

I asked this question on math.stackexchange a week ago, but did not get an answer. First of all, I don't want to restrict to any kind of "nice spaces" since I am interested in the most general ...
5
votes
1answer
205 views

When does the Borel construction have the homotopy type of a CW-complex?

Suppose that $G$ is a Lie group acting smoothly on a manifold $M,$ does the Borel $M \times_G EG$ construction have the homotopy type of a CW-complex? If not, under what conditions would this be true? ...
1
vote
0answers
71 views

Why is the oriented $G$-homotopy type of a $G$-complex uniquely determined by the periodicity generator?

Say we have a periodicity generator $e \in H^k(BG)$. I can show that we then have a $(k-1)$-dimensional $G$-complex $X$ with free $G$-action. It's also not that difficult to see that it has trivial ...
8
votes
3answers
405 views

When are (weak) homotopy equivalence testable on open covers?

I asked this question on math.stackexchange, but did not get an answer. Let $f\colon X\rightarrow X'$ be a continuous map between two spaces $X,X'$, which might be arbitrary wild, especially I don't ...
2
votes
1answer
151 views

cohomology ring of configuration spaces

In the paper configuration spaces: applications to Gelfand-Fuks cohomology, by F. Cohen and L. Taylor, Bull. Amer. Math. Soc., 1978, theorem 1, I did not find the proof. What method did the author use ...
5
votes
2answers
202 views

homology of a mapping spectrum

If $X$ and $Y$ are two spectra, I denote by $F(X,Y)$ their mapping spectrum. This is uniquely determined by the existence of a natural isomorphism $[X\wedge Y, Z]\cong [X,F(Y,Z)]$. I denote by $H_*$ ...
0
votes
0answers
17 views

Criterion for projectively cofibrant diagrams? [duplicate]

(repost from math.stackexchange) Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The ...
22
votes
1answer
548 views

Homotopy Type Theory: What is it?

My question is, broadly, what is the main project of Homotopy Type Theory (HoTT). I asked a professor who is likely to be correct and he say the following: There are three directions: ...
10
votes
1answer
189 views

Two H-space structures on S^3 and [X,S^3] different as groups for each: Explicit Example?

There are twelve continuous maps $S^3\times S^3\to S^3$ up to homotopy that make the three-sphere $S^3$ into an H-space. This follows from a result of James [1], which says that if there exists one ...
0
votes
0answers
44 views

question about Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces

In the paper Computations of gelfand-fuks cohomology, the cohomology of function spaces, and the cohomology of configuration spaces, F. R. Cohen, L. R. Taylor, Geometric Applications of Homotopy ...
0
votes
0answers
62 views

Dyer-Lashof algebra structures over graded modules

In Lecture Notes in Mathematics, Vol. 533, The homology of iterated loop spaces, Chapter 3, The homology of $C_{n+1}$-spaces, F. Cohen, Section 2, page 222, line 4, 5, 6: for an arbitrary graded ...
2
votes
1answer
228 views

Dimension leaking in homology as opposed to homotopy

In homotopy theory we have the Seifert van-Kampen theorem, which is a clean statement about the fundamental groupoid of a pushout in $\mathsf{Top}$. There is also a 2d version of SvK in R Brown's ...
5
votes
2answers
271 views

Choice of fibrations is like a choice of a basis of a module

In some notes on derived stacks, in describing categories of fibrant objects, the author drops this parenthetical: (Grothendieck said in his famous letter to Quillen that the choice of $\mathscr ...
6
votes
1answer
256 views

Properties of coefficients of ring spectra

This is an awkwardly backwards question, but bear with me here: Suppose I have a graded ring $R$ with unit, which has an invertible element $u$ in degree $2$. The multiplicative formal group law ...
1
vote
0answers
151 views

Equivariant Homotopy

Let $G=\mathbb{Z}/2\mathbb{Z}$ be $\{\pm1\}$ and let there be two $G$-spaces given: $X=$ The surface of a cylinder including its boundary circles and $S^4$. That means we two G-actions $f_1:G\times ...
12
votes
1answer
359 views

Lemma 2.1.1.4 in Lurie's HTT

I have encountered a problem in understanding Lurie's proof of the following fact: "Given a left fibration between simplicial sets $q:X \to S$, there exists a functor $$ho(S) \to Ho(sSet)$$ which is ...
8
votes
4answers
689 views

Topological Grothendieck Construction

Let $C$ be a small category and $F\colon C^{op}\rightarrow Set$ a functor. The Grothendieck construction is the category $F\wr C$ with objects being pairs $(c,x)$ where $c$ is a object of $C$ and ...
0
votes
1answer
65 views

Homotopy bounds in simply connected complete Riemannian manifolds

Let $M$ be a simply connected complete Riemannian manifold, and let $x\in M$. Does there exist a nondecreasing function $R:\mathbb R_+\to\mathbb R_+$ such that, for every $r>0$ and all paths ...
5
votes
1answer
215 views

Explict form of $E_\infty$-morphisms between differential graded commutative algebras

This is a partial duplicate to this MO question, I apologize for that. I'm asking since the answers there still do not allow me to work out an answer to my question, which is a bit more specific. ...
4
votes
0answers
89 views

Spectral Sequences of Parametrized Spectra

I apologize if this question is of the form "what are some interesting problems in bla" but I was wondering if anybody have studied the following set-up: Suppose that I have a parametrized spectra ...
0
votes
0answers
87 views

permutation action on cohomology of configuration space

Let $F(M,n)$ be the $n$-th configuration (ordered) of manifold $M$. In the paper The Integral Cohomology Algebras of Ordered Configuration Spaces of Spheres, ...
1
vote
1answer
168 views

permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds. In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...
4
votes
0answers
112 views

When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal ...
6
votes
2answers
313 views

contractible configuration spaces

Let $F(M,k)=\{(x_1,\cdots,x_k)\mid x_1\cdots,x_k\in M,x_i\neq x_j, \text{ for } i\neq j \}$. It is known that $F(\mathbb{R}^\infty,k)$ is contractible for each $k$. My question: is $F(S^\infty,k)$ ...
0
votes
1answer
195 views

On Gromov's Theorem on Symplectic Homotopy

I want to understand the proof of the following theorem due to Gromov which I'll state in the context of Euclidean spaces. While I tried to read the proof from Macduff-Salamon, it turned out that my ...
4
votes
0answers
107 views

When does a map in the stable homotopy group gets killed when smashed with cone of itself?

Consider an element $e \in \pi_n^s(S^0)$, in the stable homotopy groups of sphere. Let $C$ denote the spectrum which is cone of $e$, i.e. $C$ fits in the cofiber sequence $$ S^n \to S^0 \to C.$$ ...
14
votes
1answer
399 views

Free Loop-Space Recognition Principle

It is well-known that one can detect based loopspaces using the machinery of operads. Namely, given a group-like space $X$ with an action of $\mathbb{E}_n$-operad, then it is homotopy equivalent as an ...
4
votes
1answer
143 views

fibrant generation of $sSet_{Quillen}$?

I wonder if someone has proved that $sSet_{Quillen}$ is not a fibrantly generated model structure ? Do we know something about the possible fibrant generation of $sSet_{Quillen}$ ? Thanks
1
vote
1answer
63 views

Cartesian products between cofibrant simplicial presheaves

Let $Psh(\mathcal{C})$ be the category of simplicial presheaves equipped with the projective model structure. The cartesian product between two representables presheaves is clearly again representable ...
2
votes
0answers
125 views

A Cartesian model structure (and straightening for) on $n$-trivial simplicial sets

A pair $(X,tX)$, with $X$ a simplicial set and $tX$ a collection of simplices of $X$, is said to be stratified if no $0$-simplex is in $X$ and all degenerate simplices of $X$ are in $tX$. Recall a ...
17
votes
1answer
425 views

Super-cobordisms

One can construct the $d$-dimensional bordism category by declaring the objects to be the $(d-1)$-dimensional compact manifolds without boundary and the morphisms the $d$-dimensional bordisms between ...
5
votes
1answer
139 views

homotopy tensor product of functors and bar construction

I'm trying to take familiarity with homotopy theory and I have the following questions. Let $\mathcal{C}$ be a small category, and let $F\: : \:\mathcal{C}\to \mathcal{M}$ that take values in a ...
3
votes
0answers
174 views

What are iterated cobar constructions?

In Beck's paper "On H-spaces and Infinite Loop Spaces", he states that every algebra over the monad $\Omega^k$$\Sigma^k$ is a $k$-fold loop space. He proves the trivial case k = 0 when this is the ...
2
votes
1answer
131 views

Fibration $p : \tilde Y \to Y$ with discrete fiber induces bijection $p_*:[X, \tilde Y]_* \to [X, Y]_*$

If $X$ is simply connected, locally path connected space and $p : \tilde Y \to Y$ is a covering map then it is easy to show that it induces bijection $p_*:[X, \tilde Y]_* \to [X, Y]_*$. Let's weak ...
4
votes
3answers
316 views

Need examples of homotopy orbit and fixed points

I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...
10
votes
3answers
339 views

Maps with Hopf invariant zero are suspensions

Let $h:\pi_{2n-1}(S^n) \rightarrow \mathbb{Z}$ be the Hopf invariant. I believe that in the same paper that proves his suspension theorem, Freudenthal proved that if $x \in \pi_{2n-1}(S^n)$ satisfies ...
5
votes
1answer
254 views

Descent properties of spaces

I am trying to make sense of what is written in Rezk's draft http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf In particular, I am referring to Proposition 2.3, which is there stated ...
1
vote
1answer
66 views

homotopic maps of locally finite spaces

It is well known that if $X,Y$ are $T_0$ Alexandrov spaces then they are just posets. With every such spaces we can associate an abstract simplicial complex $K(X)$ where the simplices are nonempty ...
11
votes
1answer
242 views

What is obstructing two stably-isomorphic vector bundles from being isomorphic?

The specific situation is the following: Let $n>0$ be a natural number, let $X$ be a finite CW complex of dimension $n$, and let $\xi_0,\xi_1$ be oriented real vector bundles of rank $n$ over $X$ ...
5
votes
0answers
114 views

Actions of cofibrations and induced maps of cofibres

Working in some nice category of based topological spaces (compactly generated with CW homotopy type, say) suppose we have a homotopy commutative diagram $$ \begin{array}{ccccc} & & j & ...
2
votes
0answers
66 views

Equivariant model structure on $G-\mathrm{Gpd}$

Let's denote $G\text{-}\mathrm{Gpd}$ the presheaf category $[\mathbf{B}G, \mathrm{Gpd}]$. Now assume that $\mathrm{Gpd}$ is endowed with its natural model structure where weak equivalences are ...
2
votes
1answer
145 views

Lorentzian metrics on the torus up to continuos deformations

Any two Riemannian metrics can easily be deformed into each other, only obtaining positive definite metrics in between. However, for metrics of other signatures this might not be possible. Which ...
6
votes
1answer
442 views

Homologically distinct infinite loop structures on a space

Let $X$ be a connected pointed topological space equipped with two different actions of $E_\infty$-operad. Each action provides a collection of deloopings $X_i$, where $X_0 = X$ and $\Omega X_i$ is ...
2
votes
0answers
99 views

Is the Thom diagonal co-$E_\infty$?

Given a map of spaces $f:X\to BGL_1(R)$ for $R$ an $E_\infty$-ring spectrum (of course this can be done more generally) one can produce a Thom spectrum $Mf$ by a number of methods. Let's denote such a ...
5
votes
2answers
158 views

For a quasicategory $C$, why is $\mathrm{Fun}(\Lambda^2_0,C) \to \mathrm{Fun}(\Delta^{\{2\}},C) \cong C$ a cocartesian fibration?

More generally, I expect that the following is true: Let $D$ be a diagram quasicategory, let $d \in D$ be a vertex, and use this to define $D' = D \amalg_{\Delta^{\{0\}}} \Delta^1$. Then ...
2
votes
1answer
135 views

A Dold-Thom style construction of a cohomology class from a sphere bundle

Re-reading my comment to the question Pontryagin class of quaternionic line bundle I suddenly realized that I do not understand something crucial about it. For the purposes of that crucial thing let ...
6
votes
1answer
200 views

Is there an analog of compactified moduli spaces(/stacks) for smooth manifolds?

This question has been inspired by an answer to the question Reference request: Topology on the space of smooth compact submanifolds; I've asked it in a comment to that answer but then decided to make ...
2
votes
1answer
136 views

Two-bridge knots and CW-complex

The fundamental group of any two-bridge knot K in $\mathbb{S}^3$ has a presentation with two generators and one relation. On the other hand, it's possible to provide a CW-complex with only one 0-cell ...