**37**

votes

**0**answers

937 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 $\mathrm{TOP}(4)/\mathrm{PL}(...

**33**

votes

**0**answers

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

**0**answers

931 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

**0**answers

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

**0**answers

843 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

**0**answers

345 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

**0**answers

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

**0**answers

743 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

**0**answers

274 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

**0**answers

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

**0**answers

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

**0**answers

396 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

**0**answers

409 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

**0**answers

555 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 $2$-functors....

**12**

votes

**0**answers

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

**0**answers

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

**0**answers

381 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

**0**answers

539 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

**0**answers

326 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

**0**answers

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

**0**answers

674 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

**0**answers

275 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

**0**answers

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

**0**answers

282 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

**0**answers

317 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

**0**answers

304 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

**0**answers

298 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

**0**answers

344 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 $K(2)$-...

**9**

votes

**0**answers

416 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

**0**answers

158 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

**0**answers

129 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

**0**answers

352 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

**0**answers

242 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 is a ...

**8**

votes

**0**answers

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

**0**answers

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 \underbrace{...

**8**

votes

**0**answers

196 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

**0**answers

191 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

**0**answers

175 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

**0**answers

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

**8**

votes

**0**answers

286 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

**0**answers

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

**0**answers

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

**0**answers

370 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

**0**answers

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

**0**answers

109 views

### Representability of Weil Cohomology Theories in Stable Motivic Homotopy Theory

My understanding is that one purpose of stable motivic homotopy theory is to emulate classical stable homotopy theory. In particular, we would like Weil cohomology theories to be representable by ...

**7**

votes

**0**answers

195 views

### Reference request: Whitehead product and the Borel construction

This is a question about signs.
Fix
a based space $(X,x_0)$,
a topological group $G$
acting on $X$ from the left, so that the basepoint $x_0$ is fixed,
a based map $\alpha\colon S^p\to G$ ($p\geq1$...

**7**

votes

**0**answers

192 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

**0**answers

401 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

**0**answers

180 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 $S=\...

**7**

votes

**0**answers

214 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 $f^{-1}$)...