# Tagged Questions

193 views

### I think I have a category enriched in $(\infty,n-1)$-categories. Is it an $(\infty,n)$-category?

I have recently been thinking about some mathematical gadgetry that should together combine into an $(\infty,n)$-category (actually, an $(n,n)$-category) for $n = 4$. I don't know what axioms I need ...
795 views

### Is there a homology theory that gives a *necessary and sufficient* condition for homotopy equivalence?

Is there a (non-Abelian) homology theory that realizes the following: Let $X,Y$ be manifolds with complexes $C(X),C(Y)$. Then $X$ and $Y$ are homotopy-equivalent if and only if $C(X)$ and $C(Y)$ ...
1k views

### Are the higher homotopy groups of the Hawaiian earring trivial?

The fundamental group of the Hawaiian earring is very complicated, but since it's "1-dimensional" one might guess that the higher homotopy groups vanish. Do they? Since the Hawaiian earring does not ...
219 views

417 views

### Topological fundamental group of spec(R)

Let $R$ be a commutative ring with identity. Assume that $X = Spec(R)$ with the Zariski topology. When is this space path connected? And also we want to know the topological fundamental group of ...
217 views

### Computing the fundamental group of a flag variety

Let $G$ be a compact and connected and simply connected Lie group and $\mathfrak{g}$ be its Lie algebra and $x\in\mathfrak{g}^*$. How can we compute the fundamental group of $G/G_x$ where $G_x$ is ...
62 views

### Problem on infinite dimensional metric space, with rigidity assumption

By inspiring from this answer of S. Ivanov, here is a specialization with a rigidity assumption. Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying : ...
449 views

The J-homomorphism is a well-known and classical map $\pi_n (O(k)) \to \pi_{n+k} (S^k)$, or after stabilizing with respect to $k$, a map $J_n:\pi_n (O) \to \pi_{n}^{st}$, from the stable homotopy of ...
1k views

### origin of spectral sequences in algebraic topology

I have the following somewhat vague question. I am not sure if it is appropriate for this forum, please feel free to close (or migrate to stackexchange). I have been "brought up" as an algebraic ...
241 views

### Reference Request: Compact manifolds with boundary have the homotopy type of a CW-complex

Let $M$ be a compact manifold (possibly non-smooth) manifold with boundary $\partial M$. Is the inclusion $\partial M\hookrightarrow M$ homotopy equivalent to the inclusion of a subcomplex into a ...
213 views

### What's the relationship between B Aut(G) and B Aut(BG) for a (discrete) group G?

(Some of the notational choices I"m about to make might be iffy; I'm happy to take suggestions for improvements.) Let $G$ be a (discrete) group. Think of it as an object in the $2$-category of small ...
200 views

### Equivariant homotopy, simplicially

It is a classic result of Kan that the homotopy categories (with appropriate model structures) of simplicial sets and of topological spaces (in fact, one could only care about CW-complexes) are ...
310 views

### Stable moduli interpretation of $\mathbb{R}\mathrm{P}^\infty_{-1}$

I attended a talk recently which closed with the following tantalizing facts: there is a naturally occurring map of spectra $$K(\mathbb{S}) \to \Sigma \mathbb{C}\mathrm{P}^\infty_{-1},$$ which can be ...
899 views

### Is there an analog of Sperner's lemma for the Hopf invariant?

Recall that Sperner's lemma is essentially a combinatorial version of the topological statement "A map from $S^n$ to $S^n$ with degree one cannot be nullhomotopic." My question is, does there exist ...
198 views

### Homotopy category of groupoids

The nlab Ho(Cat) page says: morphisms in the homotopy category of groupoids $Ho(Gpd)$, have two equivalent description: iso-classes of functors. formally invert equivalence functors (i.e. ...
135 views

### Sullivan's $H$-space equivalence between $G/PL[1/2]$ and $BO[1/2]$

There is a theorem by Sullivan of the following form: Theorem: There is an equivalence of $H$-spaces $$G/PL[\tfrac{1}{2}] \simeq BO_{\otimes}[ \tfrac{1}{2} ]\ .$$ It can be found for example ...
623 views

### What are simplicial topological spaces intuitively?

(This is a repost of a question from MSE. I hope there is more to say.) I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial ...
186 views

### Massey product in Dual Steenrod Algebra

Let $\tau_0$ be the element of dual Steenrod algebra $A_p^{*}$ at a prime $p$ which is dual to Bockstein $\beta \in A_p$. It is well known $\tau_0^2 =0$. Is it true/known that the elemnet $\xi_1$ ...
1k views

### Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...
279 views

### Homotopy groups of filtered homotopy limits

Let $X$ be the homotopy limit of a filtered system of simplicial sets $X_i$. When are the morphisms $\pi_j(X)\to \varprojlim \pi_j(X_i)$ surjective for all $j\ge 0$? This seems to be no problem when ...
114 views

### What are the Čech-local equivalences of (simplicial pre)sheaves?

Let $\mathcal{C}$ be small category and let $J$ be a Grothendieck topology on $\mathcal{C}$. The Čech model structure on $[\mathcal{C}^\mathrm{op}, \mathbf{sSet}]$ is defined to be the left Bousfield ...
220 views

### Homotopy versus path-homotopy on punctured surface

I have some problems with homotopies. The situation is this: Let $X$ be a surface, which is homeomorphic to a 2-Sphere with a finite number (at least 3) of points removed (equivalently, an open ...
255 views

### What is the “higher version” of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem: Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...
421 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 ...
146 views

### Weak equivalences of left Bousfield localizations

Suppose C is a complete and cocomplete category with two model structures (C0,F0,W0) and (C1,F1,W1) such that C0⊃C1, F0⊂F1, W0⊂W1. If necessary, the model structures can be assumed to be simplicial, ...
155 views

### Factorization of morphisms in a diagram category

Let us suppose that $I$ is a small category and $\mathcal{E}$ a combinatorial model category. Then there exists two Quillen equivalent combinatorial model category structures on the diagram category ...
438 views

### Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$. What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...
865 views

### Is there a good way to understand the free loop space of a sphere?

I'd like to understand the structure of the free loop space of $S^n$ for small values of $n$. Here "understand" means roughly that I'd like to know a CW complex with the same homotopy type. I ...
100 views

### Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...
260 views

### Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...
517 views

### Is every connected space equivalent to some B(Aut(X))?

Given a connected space $B$, is there always some space $X$ with $B \simeq \mathbf{B}(\mathrm{Aut}(X))$? Here by space I mean simplicial set, by $\mathrm{Aut}(X)$ I mean the simplicial monoid of ...
864 views

### Why not a Roadmap for Homotopy Theory and Spectra?

MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...
207 views

### chain complexes and homotopy limits

Let $\mathbf{Ch}$ be the category of unbounded chain complexes (with the standard model structure ). The differential increases the degree $d_{n}:M_{n}\rightarrow M_{n+1}$. Consider the full ...
406 views

### Finite spectrum annihilated by multiplication by two

Let $X$ be a finite spectrum. Say that $X$ has characteristic two if multiplication by two on $X$ is nullhomotopic. Does there exist a noncontractible finite spectrum of characteristic two? (This ...
128 views

### Yoneda embeddings of stable model categories; composition with Bousfield localizations

For a stable model category $C$ and a set $M$ of object of it I would like to construct a natural functor from $C$ to some stable 'category of functors' on $M$. I suspect that the 'natural' question ...
256 views

### Maps between classifying spaces

Let $G$ be a discrete group and let $BG \simeq K(G,1)$ be its classifying space. Let $H$ be a topological group with classifying space $BH$. In case $H$ is also discrete, it was pointed out in the ...
139 views

### Homotopy theory of acyclic categories

Homotopy theory of category of posets is well-developed and explained in various places. My interest is in acyclic categories. Recall that in acyclic categories only invertible morphisms are the ...
201 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. ...
154 views

### Homotopy unites of a differential graded algebra

I apologize in advance if the question is too basic. Let $A$ be a differential graded algebra and $H^{0}A$ the 0-cohomology of $A$ (which is an ordinary ring) and $A^0$ is the 0-level of $A$ . An ...
49 views

### can we say fixed point existance of a set valued map over a compact set is homotopy invariant?

Consider two set valued maps over different compact sets as $F(\mathbf{x}):D\rightarrow\rightarrow D$, $G(\mathbf{x}):E\rightarrow\rightarrow E$ where $D,R\subset Y$. Assume there is a homotopy pair ...
483 views

### What interesting homotopy invariants can I write down using the universal property of homotopy types?

I've recently been led to believe some version of the following statement: Weak homotopy types, or equivalently $\infty$-groupoids (let me not commit myself to a particular model of these), are ...
Let $X$ be a reasonably nice topological space (say, a connected CW complex), and let $Y$ and $Z$ be reasonably nice connected subspaces of $X$ such that $X = Y \cup Z$. Suppose that $Y$, $Z$, and ...
### What does it mean for the $\Pi_\infty$ groupoid to be fully fibrant?
The original question I had was: If I have a sequence of simplicial spaces $$A\to B\to C$$ which is degree-wise a homotopy fibration, under which conditions is the geometric ...