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

37
votes
0answers
934 views

Homotopy type of TOP(4)/PL(4)

It is known (e.g. the Kirby-Siebenmann book) that $\mathrm{TOP}(n)/\mathrm{PL}(n)\simeq K({\mathbb Z}/2,3)$ for $n>4$. I believe it is also known (Freedman-Quinn) that ...
33
votes
0answers
1k views

Finite complexes whose homotopy groups are not “finitely generated”

I'll say $K$ has "finitely generated" homotopy groups if there is a finite wedge of spheres $W = \bigvee S^{n_i}$ and a map $f: W\to K$ which induces a surjection on $\pi_*$. It seems likely that ...
32
votes
0answers
926 views

Functor that maps to both $KO^n$ and $KO^{-n}$

(my question is also meaningful for complex K-theory, but since Kn(X) is always isomorphic to K-n(X), it's less interesting) I start by recalling the analytic definition of KO-theory: The following ...
26
votes
0answers
1k views

On the (derived) dual to the James construction.

Background If $X$ is a based space then the James construction on $X$ is the space $J(X)$ given by $$ X \quad \cup \quad X^{\times 2} \quad \cup \quad X^{\times 3} \quad \cup \quad \cdots $$ in ...
22
votes
0answers
834 views

Is there a (discrete) monoid M injecting into its group completion G for which BM is not homotopy equivalent to BG?

For a (discrete) monoid $M$, the classifying space $BM$ is the geometric realization of the nerve of the one object category whose hom-set is $M$. (This definition gives the usual classfiying space ...
20
votes
0answers
337 views

Chromatic Spectra and Cobordism

I apologize in advance, if some of the things I've written are incorrect. The cobordism hypothesis states that $\mathbf{Bord}^\mathrm{fr}_n$ is the free symmetric monoidal $(\infty,n)$-category with ...
17
votes
0answers
404 views

Other examples of computations using transfer of structure from the chains to the homology?

There is a `long' history of transfer (up to homotopy!) of algebraic structure from a dg _ algebra A to its homology H(A) (e.g. Kadeishvili for the associative case and Heubschmann for the Lie case). ...
16
votes
0answers
735 views

Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question. In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...
15
votes
0answers
270 views

Does the “holomorphic spheres-to-continuous spheres” forgetful function respect the mixed Hodge structures on homotopy groups?

For each smooth, projective, complex variety $X$ that is simply connected, John Morgan constructed a natural mixed Hodge structure on the homotopy group $\pi_k(X,x)\otimes \mathbb{Q}$. This was ...
15
votes
0answers
335 views

Lipschitz constant of a homotopy

Let $n>0$, $\mathbb S^n$ be $n$-sphere and $1\in \mathbb S^n$ be its north pole. A am looking for an example of compact manifold $M$ with a continuous $n$-parameter family off maps $h_x\colon M\to ...
14
votes
0answers
1k views

Motivic derived algebraic geometry

In algebraic geometry one studies spaces locally modelled on commutative algebras, i.e. commutative algebra objects in the symmetric monoidal category Ab of abelian groups. Now supposedly in the ...
13
votes
0answers
394 views

Solving polynomial systems with homotopy. Where is the bottleneck?

I have a polynomial system with $n+k$ unknowns ($n+k$ can be greater than 8), that is known to have a limited number of isolated solutions. I want to solve this system numerically, but if I plug it ...
13
votes
0answers
403 views

The spectral sequence of a tower of principal fibrations

Assume we have a tower of fibrations (of simplicial sets, let's say): $$\cdots\rightarrow X_{n+1}\rightarrow X_n\rightarrow\cdots\rightarrow X_0.$$ Let $X=\lim_nX_n$ be the (homotopy) inverse limit. ...
13
votes
0answers
553 views

Does the category of strict $2$-categories together with Dwyer-Kan equivalences provide a model for $(\infty,1)$-categories?

The question is the title. In what follows, all $2$-categories and $2$-functors will be strict. Let $2-Cat$ denote the categories whose objects are $2$-categories and whose morphisms are ...
12
votes
0answers
420 views

Mapping cylinders of fibrations

If $p: E\to B$ is a fibration, is the map $q:M_p \to B$ from the mapping cylinder of $p$ also a fibration? I know that it is if $p$ is trivial, or locally trivial; and I know (from Strøm's "The ...
11
votes
0answers
380 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, ...
11
votes
0answers
372 views

Homological algebra is linearized homotopical algebra?

I have stumbled across statements like Homological algebra is linearized homotopical algebra. Chain complexes are linearizations of simplicial complexes. The Dold-Kan correspondence was ...
11
votes
0answers
538 views

About maps inducing bijections on homotopy classes

Let us assume that $f:X \to Y$ is a map of connected CW complexes, having the following property: if $K$ is a finite CW complex, then the induced map $f_{\ast}:[K,X] \to [K,Y]$ on \emph{free} homotopy ...
11
votes
0answers
324 views

Hilton-Eckmann dual of the Steenrod Algebra

In essence my question can be stated as follows: fill in the analogy $$ \text{cup product} \qquad\qquad \leftrightarrow \qquad \text{Samelson product} $$ $$ \updownarrow \qquad\qquad ...
11
votes
0answers
1k views

Homotopy groups of the orthogonal group

I'm interested in knowing what $n$-dimensional vector bundles on the $n$-sphere look like, or equivalently in determining $\pi_{n-1}(SO(n))$; here's a case that I haven't been able to solve. Let $n ...
11
votes
0answers
671 views

What's so difficult about $\pi_{15}(SO)$?

Regarding the table of $SO(n)$s-of-origin in Davis+Mahowald (if you can get MathSciNet), is there a good reason that it should take longer for $\pi_{15}(SO)$ to be representable than $\pi_{19}(SO)$, ...
10
votes
0answers
274 views

When is the one-point compactification well-pointed?

This is a follow up to my previous question. Question: Is there a reasonably natural set of conditions which guarantee that the one-point compactification $X^+$ of a locally compact Hausdorff ...
10
votes
0answers
324 views

A combinatorial approximation functor sSet->qCat

Let $sSet_J$ denote the category of simplicial sets equipped with the Joyal model structure. Simply by the fact that $sSet_J$ is locally presentable and its class of anodynes ($\neq \mathbf{Cof} \cap ...
9
votes
0answers
279 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 ...
9
votes
0answers
308 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 ...
9
votes
0answers
301 views

Other examples of the algebro-geometric Ran space

First off, sorry if this seems vague. Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...
9
votes
0answers
295 views

The spheres operad

I have a rather naive question. Consider the space of all maps $$ S^{j_1} \times S^{j_2} \times \cdots \times S^{j_k} \to S^n $$ for all possible natural numbers $n, k, j_1, \cdots , j_k$. This ...
9
votes
0answers
339 views

Differentials in the Adams-Novikov spectral sequence and the geometric boundary theorem

$\newcommand\Ext{\mathrm{Ext}} \newcommand\Z{\mathbb{Z}} \newcommand\G{\mathbb{G}}$ The reference for this question will be the paper by Henn, Karamanov and Mahowald - "The homotopy of the ...
9
votes
0answers
402 views

Two constructions for BU×Z

Consider the following two ways of getting the zeroth space in the $K$-theory spectrum $BU \times \mathbb{Z}$: 1) Take the groupoid of finite dimensional complex inner product spaces with isometries ...
8
votes
0answers
157 views

Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...
8
votes
0answers
126 views

Model category of cofibrant topological spaces

By browsing the list of open problems in Mark Hovey's book "Model categories", I came across the following one (Problem 8.3): find a model structure on topological spaces, with the same weak ...
8
votes
0answers
350 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$ ...
8
votes
0answers
239 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 ...
8
votes
0answers
438 views

What's the detailed proof of “the composition of planar tangles is well-defined”?

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See ...
8
votes
0answers
186 views

Whiskering a monad

In "The Geometry of Iterated Loop Spaces", May shows that any monad that is coming from an operad may be "whiskered", so that the unit map becomes a closed cofibration. The ability to do this is vital ...
8
votes
0answers
119 views

What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the Segal condition: For each $j$, the map $$ X_j \to ...
8
votes
0answers
195 views

Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category. For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...
8
votes
0answers
185 views

Does simplicial localization with a 3-arrow calculus commute with functor categories?

Let $(C,W)$ be a category with a class of weak equivalences, and $D$ a small category. Then I can form the diagram category $(C^D,W^D)$ with objectwise weak equivalences, and its simplicial ...
8
votes
0answers
174 views

Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting? ...
8
votes
0answers
277 views

Completion of n-fold Segal spaces

During a reading course about Jacob Lurie's paper about Local TQFTs, I came across the notion of Segal spaces as models for $(\infty,1)$-categories. Looking at things like the "double nerve" for ...
8
votes
0answers
284 views

Question about $A_\infty$ maps

Given $A_\infty$-spaces $X$ and $Y$, Boardman and Vogt defined an $A_\infty$-map from $X$ to $Y$ to be a map $f: X \to Y$ of underlying based spaces and an $A_\infty$-structure on the reduced mapping ...
8
votes
0answers
614 views

An Ex functor for the contravariant homotopy structure

I'm going to slack on the background and get to the point: Is there a good notion of an $Sd/Ex$ adjunction for $sSet/S$ equipped with the contravariant model structure (cofibrations are monomorphisms ...
8
votes
0answers
556 views

toy examples of equivariant homotopy theory

I've heard a little recently about equivariant homotopy theory, and so I decided to try out some baby examples just to get a feel for it. I'm not even sure if these are the right thing to look at, ...
8
votes
0answers
368 views

Applications of sheaf theory to the computation of invariants of LS-category type

I would like to know if sheaf theory can be applied to a particular class of questions in topology. The Schwarz genus (also known as sectional category) of a continuous map $p\colon\thinspace E\to ...
8
votes
0answers
629 views

Is a functor which is a sheaf for open covers and finite closed covers automatically a sheaf for covers by simplices?

Suppose $F:Top^{op}\rightarrow Set$ is a functor which is a sheaf for open coverings as well as for finite closed coverings, i.e. such that, apart from the usual sheaf property we also have that for ...
7
votes
0answers
188 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 ...
7
votes
0answers
399 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 ...
7
votes
0answers
174 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 ...
7
votes
0answers
212 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 ...
7
votes
0answers
260 views

Why does $Mf$ always support an $Mf$-orientation?

Let $f:X\to BGL_1(\mathbb{S})$ be a morphism of $E_n$-spaces and determine a principle $GL_1(\mathbb{S})$-bundle over $X$. Then it can be shown in the classical case that there is always a Thom ...