**3**

votes

**1**answer

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

**7**

votes

**1**answer

486 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

**1**answer

192 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

**2**answers

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

**3**

votes

**1**answer

155 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

**1**answer

228 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

**1**answer

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

**29**

votes

**2**answers

1k views

### Maps which induce the same homomorphism on homotopy and homology groups are homotopic

I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct ...

**2**

votes

**1**answer

236 views

### When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

Let $\mathrm{Quillen}$ be the model category of simplicial sets with the Quillen model structure, and $\mathrm{Joyal}$ the model category of simplicial sets with the Joyal model structure.
As is ...

**3**

votes

**1**answer

161 views

### homology of configuration spaces of non-compact manifolds

Let $M$ be a manifold.
Let $F(M,n)$ be the configuration space of $n$-tuples on $M$.
Let $B(M,n)=F(M,n)/S_n$, where $S_n$ is the symmetric group of order $n$, be the corresponding unordered ...

**1**

vote

**0**answers

168 views

### Under which conditions the inclusion of a sub-simplicial set of the nerve of a category is a Joyal equivalence?

Let $i: X \to \mathrm{N}\mathcal C$ be a monomorphism in the category of simplicial sets, with $\mathcal C$ a category and $\mathrm{N}\mathcal C$ its nerve. I am looking for sufficient conditions (and ...

**2**

votes

**1**answer

141 views

### recognising weak equivalences of simplicial sets

$\require{AMScd}$ I am interested in detecting using a lifting property when a map $f:X\to Y$ in $sSet$ (with the standard Kan model structure) is a weak equivalence. In the paper Weak Equivalences ...

**1**

vote

**0**answers

107 views

### Properties of “incomplete finite simplicial complexes”

Definition: We say that $K'$ is an incomplete finite simplicial complex if there exists a finite simplicial complex $K$ such that $|K'|=|K|\backslash Y$ where $Y$ is a union of some open faces of K.
...

**6**

votes

**0**answers

157 views

### Connection between quasifibrations and homotopy cartesian squares

Let me first fix the definitions.
A map $p\colon E\rightarrow B$ is called a quasi-fibration, iff the canonical inclusion $p^{-1}(b)\rightarrow hofib_b(p)$ is a weak equivalence for all for all $b\in ...

**11**

votes

**0**answers

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

**5**

votes

**0**answers

157 views

### G-spaces and SG-module spectra

This question is related to the one here, but has a slightly different angle.
Let $G$ be a topological group and let $X$ be a $G$-space. Taking the suspension spectrum $\Sigma^{\infty}_+ X$ (in my ...

**0**

votes

**0**answers

95 views

### cohomology of labelled configuration space & relation with braid space

Let $M$ be a manifold and $(X,*)$ be a pointed topological space. ( If we want, we can let $M=S^2,S^1\times \mathbb{R},etc.$)
Let $F(M,k)$ be the ordered configuration space of $k$-tuples on $M$.
...

**7**

votes

**3**answers

385 views

### Mathematical value of constructing sphere eversions

I am extremely impressed by the work that has been done constructing sphere eversions, and other similar explicit geometrical proofs. In particular, surely nobody can fail to be impressed by the ...

**3**

votes

**2**answers

249 views

### cohomology algebra of braid spaces, configuration spaces

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, Chapter 5, 6, 7, 8, 9, 10, 11, the cohomology algebra $H^*(B(\mathbb{R}^{n+1},p),\mathbb{Z}_p)$, for ...

**15**

votes

**1**answer

267 views

### Embedding of two-dimensional CW complexes which induces a zero homomorphism on second homotopy groups

I am interested in the following question which I asked at MSE and did not get any clues. How to find three two-dimensional CW complexes $K_1, K_2, K_3$ with non-trivial $\pi_2$ and injective ...

**2**

votes

**1**answer

179 views

### fiber sequence of principal bundles

Let $G$ be a group, either a Lie group or a discrete group. Let a principal $G$-bundle
$$
G\to E\to B,$$
then $B=E/G$, the orbit space under action of $G$.
Let $BG$ be the classifying space of $G$.
...

**7**

votes

**1**answer

386 views

### Generalized Thom spectra

I am currently trying to wrap my head around all kinds of different definitions of the notion of (generalized) Thom spectrum. My setup is as follows: Suppose I have a commutative (symmetric) ring ...

**1**

vote

**2**answers

111 views

### Reference for the proof of a neighbourhood characterisation of cofibrations

I am interested in a reference for the proof of the following
theorem for $A,X$ being CGWH topological spaces.
Let $A\subset X$ be a closed subspace,
such that there exists a continuous $\phi : ...

**4**

votes

**1**answer

275 views

### Relation between cohomology of ordered and unordered configuration spaces

Let $M$ be a manifold. Then $F(M,k)/\Sigma_k$, the unordered configuration space of $k$ points, is obtained as a quotient of $F(M,k)$, the ordered configuration space of $k$ points, by the group ...

**0**

votes

**0**answers

152 views

### Quillen adjunction betwen simplicial presheaves and cochain complexes

Let $sPsh(\mathcal{C})$ the category of simplicial presheaves over a small category $\mathcal{C}$. Let $Ch^{*}_{\geq 0}$ be the category of positively graded cochain complexes of modules over a field ...

**-2**

votes

**1**answer

114 views

### cohomology algebra of unordered configuration space on Euclidean space

In Homology of $C_{n+1}$-spaces, $n\geq 0$, F.R. Cohen, Lecture Notes in Mathematics, Vol. 533, page 210 (the preface part before contents):
Line 2: ... is used to compute the precise algebra ...

**4**

votes

**0**answers

167 views

### cohomology algebra of unordered configuration space with coefficients the finite fields

in the paper The cohomology algebra of unordered configuration spaces (Y. Félix, D. Tanré, J. London Math. Soc., 2005), Theorem 4:
Let $M$ be an odd-dimensional, compact, closed, oriented manifold. ...

**1**

vote

**1**answer

134 views

### Does the nerve functor preserve fibrations?

As asked in the title but more specifically: does the nerve functor from Cat to sSet map a fibration between groupoids to a Kan fibration ?
By fibration of groupoids I mean a fibration for the ...

**28**

votes

**2**answers

1k views

### Is there a “simplification” functor in algebraic topology?

Recall that a space (=CW complex) is called simple if it is connected, the fundamental group is abelian, and the fundamental group acts trivially on all higher homotopy groups. Call Simp(X) a ...

**4**

votes

**2**answers

333 views

### Can homotopy pullbacks of spaces be checked on fibers?

As should be clear, I would like to know if it is true that a given commmutative square of spaces (i.e. simplicial sets) is a homotopy pullback iff the induced map on each homotopy fiber is a weak ...

**8**

votes

**2**answers

243 views

### Ring structure on the $K(1)$-local homotopy of $S^0$ at the prime 2

Let's write $S$ for the $K(1)$-local sphere at the prime 2. Then there is a cofibre sequence
$$S \to KO \to KO$$
where I'm using $KO$ to denote the $K(1)$-localization of orthogonal K-theory, and ...

**5**

votes

**1**answer

238 views

### Mayer-Vietoris sequence for twisted R-homology

In this paper Ando, Blumberg, Gepner, Hopkins and Rezk define the twisted $R$-Homology of a ring spectrum $R$ together with a map $f \colon X \to R$-$Line$ to be
$$
R^f_n(X) =
\pi_0(map_R(\Sigma^nR, ...

**4**

votes

**1**answer

93 views

### Singularity-free isotopies between string diagrams for monoidal categories

Given a monoidal category, it is a theorem of Joyal and Street that an equation between string diagrams is provable from the axioms if and only if there is a recumbent isotopy that relates them. The ...

**9**

votes

**1**answer

301 views

### Example of a saturated class of morphisms which is not _obviously_ saturated?

By "saturated class of morphisms" in a category $\mathcal{C}$, I mean a subcategory $\mathcal{W} \subset \mathcal{C}$ such that the image of $\mathcal{W}$ in $\mathcal{C}[\mathcal{W}^{-1}]$ consists ...

**2**

votes

**1**answer

160 views

### Is the discrete nerve of a small category a complete Segal space?

While reading Rezk's paper "A model for the homotopy theory of homotopy theory", I found a remark which contradicts a guess of mine, but I can't see where I am wrong (perhaps it might be a silly ...

**6**

votes

**1**answer

441 views

### homotopy fixed points and fixed points

Let $X$ a smooth projective scheme over a field $k$. And let $THH(X)$ denotes the topological Hochschild homology of $X$. Recall that the spectra $THH(X)$ admits an action of the of circle $S^{1}$. ...

**0**

votes

**1**answer

202 views

### equivalence in simplicial category

Let $(\mathcal{C},W)$ be a category with weak equivalences. One can build from $(\mathcal{C},W)$ its hammock localization $L^{H}(\mathcal{C},W)$ which is a simplicial category $\textit{ie}$ a category ...

**23**

votes

**2**answers

846 views

### Unstable homotopy groups of spheres beyond Toda's range

In 1962 Toda published his book "Composition methods in homotopy groups of spheres", which contains computations of $\pi_{n+k}(S^n)$ for $k\le 19$ and $n\le 20$. The values of these groups are ...

**5**

votes

**0**answers

97 views

### Contractibility of a poset-indexed colimit

Let $(X,\leq)$ be a poset with distinguished element $p$, and let $P'$ be the poset of "finite chains which weakly descend to $p$" given by all $\sigma = (x_0 \geq x_1 \geq \cdots \geq x_k \geq p)$ ...

**4**

votes

**1**answer

210 views

### To what extent are homotopy colimits over a weakly contractible category “determined by local data”?

[I'd be very happy for a better question title, if anyone has any suggestions.]
I have a category $C$, two functors $F,G : C \to \mbox{Cat}$, a natural transformation $\alpha : F \to G$, and a ...

**4**

votes

**2**answers

312 views

### Can one make a category concrete by “enlarging the universe”?

This is more or less a followup of this question. There, it was established that (it is well known that) the homotopy category of topological spaces is not concrete, in other words, there is no ...

**3**

votes

**1**answer

224 views

### Reference request for non-commutative analogues of exterior algebras

I am reading Combinatorial Group Theory In Homotopy Theory I by Fred Cohen (preprint available on web page). Here is an extract of the paper:
Cohen called $A^R_n$ "a standard tool used in ...

**6**

votes

**2**answers

381 views

### Obstructions for $E_n$-algebras

In Alan Robinson's paper, Classical Obstructions and S-algebras, he provides conditions for a ring spectrum to have an $A_n$ and $\mathbb{E}_\infty$-structure.
Have the obstructions for an object ...

**10**

votes

**1**answer

245 views

### String Orientation and Level Structures

Atiyah, Bott and Shapiro defined orientations of real and complex K-theory that were later refined to maps of ($E_\infty$-ring) spectra
$$MSpin \to KO$$
and
$$MSpin^c \to KU.$$
Likewise, but more ...

**0**

votes

**0**answers

67 views

### Lusternik-Schnirelmann category of rational spaces of infinite type

Suppose I have an $n$-dimensional (simply-connected) rational space $X$ with L-S category $k$. Must there be a finite rational subcomplex $K \subseteq X$ with $\mathrm{cat}(K) = k$?
Even better, I ...

**4**

votes

**2**answers

440 views

### $E_n$-space and n-connected pointed space

Is it true that the homotopy category of group-like $E_n$-spaces is equivalent to the homotopy category of pointed $n$-connected spaces ? If it is true, what should be the statement when ...

**7**

votes

**0**answers

124 views

### When is the diagonal inclusion a $\Sigma_2$-cofibration?

Recall that a space $X$ is called locally equiconnected or LEC if the diagonal map $d:X\hookrightarrow X\times X$ is a cofibration. For example, CW-complexes are LEC. There is some discussion of this ...

**7**

votes

**1**answer

331 views

### Computing naive algebraic singular homology

I'm not sure if this counts as research level, since it might just be an expression of my ignorance. But anyway.
Let $\Delta^n_A = Spec(A[X_0, \dots, X_n]/\sum X_i - 1)$ denote the standard algebraic ...

**4**

votes

**1**answer

279 views

### Is the classifying space of a symmetric monoidal category an infinite loop space?

Wikipedia states:
The classifying space (geometric realization of the nerve) of a symmetric monoidal category is an infinite loop space.
If my mind is correct, Segals delooping machine gives a ...

**1**

vote

**1**answer

117 views

### Request a paper by Fred Cohen

I am looking for the following paper by Cohen, F. R.:
On combinatorial group theory in homotopy. Homotopy theory and its
applications (Cocoyoc, 1993), 57–63, Contemp. Math., 188, Amer. Math.
...