# Tag Info

30

It looks like I completely missed this. Here's what I guess happens: although the original 2.19 was wrong, there is a weaker version that is true (I'll just state it for simplicial sets): If $X$ is a simplicial set, and $\mathcal{P}$ a finite collection of subobjects of $X$ which is closed under intersections, and the $\bigcup_{K\in\mathcal{P}} K=X$, ...

24

The proof of the Dold-Kan theorem basically amounts to the following. Let $\mathbb{Z}\Delta$ denote the pre-additive category generated by the simplicial indexing category, so that $s\mathrm{Ab}=\mathrm{Fun}^{\mathrm{add}}(\mathbb{Z}\Delta^\mathrm{op}, \mathrm{Ab})$, the category of additive functors. Let $\mathcal{C}$ be the "Karoubi envelope" of $\mathbb{... 23 If$\mathcal{A}$is an abelian category, then the Dold-Kan correspondence supplies an equivalence between the category of simplicial objects of$\mathcal{A}$and the category of nonnegatively graded chain complexes in$\mathcal{A}$. One can therefore think of simplicial objects as a generalization of chain complexes to non-abelian settings. In homological ... 18 It's called a groupoid. Given an object$A$, call the degenerate edge from$A$to itself the identity map at$A$. Given an edge$f:A\to B$, let$f^{-1}:B\to A$denote the unique edge that fills in a 2-simplex whose other two edges are$f$and the identity. Given$f:A\to B$and$g:B\to C$, define$gf$to be the unique edge that fills in a 2-simplex whose ... 17 It is true in complete generality that$X$is the homotopy colimit of$C_U$(and hence that the fat realization computes the homotopy colimit in this case). This is a special case of Lurie's version of the Seifert-van Kampen theorem. More precisely, Proposition A.3.2 in Higher Algebra says that that the "underlying homotopy type" functor $$Sing: Open(X) \to ... 17 As the commenters already argued, I would not regard this book as a self-contained introduction. For instance, from a brief browse through the introductory chapters: The reader is assumed to be familiar with CW-complexes and several of the major theorems about them already which will be generalized (e.g. the Whitehead theorem). The reader is assumed to be ... 17 I’d argue that it boils down to the generator S^n\to K(\mathbb{Z},n) being an (n+1)-equivalence. More detail: If you take the represented version of homology, it is given by$$ H_n(X;\mathbb{Z}) \cong [ S^{n+t} , X\wedge K(\mathbb{Z}, t)] $$for t large. Then the Hurewicz map is the map induced by the generator g:S^t \to K(\mathbb{Z}, t):$$ \... 16 Let$\mathscr C$be a small category. Necessary and sufficient conditions for a presheaf$F$to be cofibrant in the global projective model structure on$[\mathscr C^\mathrm{op}, [\Delta^\mathrm{op}, \mathbf{Set}]]$are that: (1) Each$F(-)(n) \colon \mathscr C^\mathrm{op} \to \mathbf{Set}$is projective (i.e., a coproduct of retracts of representables; if ... 16 The simplicial set itself does not give much (most varieties don't have very many maps from affine spaces), but Suslin introduced something along these lines, using maps from algebraic simplices to symmetric powers of$X$as algebraic-geometry versions of singular chains. Here is a paper by Suslin and Voevodsky: http://www.math.uiuc.edu/K-theory/0032/ 16 You can just write down the required homotopy. A point in$|\text{Sing}(X)|$is an equivalence class$[\sigma,u]$where$u\in\Delta_n$and$\sigma:\Delta_n\to X$. Define$\theta^n_{u,t}:\Delta_n\to\Delta_n$by$\theta^n_{u,t}(x)=tx+(1-t)u$. Then define$\phi_t[\sigma,u]=[\sigma\circ\theta^n_{u,t},u]$. To see that this is well-defined, suppose that$\...

16

This is a standard irritation. The issue is that $Top$ is not a category internal to $Top$, because it doesn't have a space of objects (and I don't mean for set-theoretic reasons), so what do you mean by a functor $F : C^{op} \to Top$? One solution to this (which I learnt from Section 7 of S. Galatius, I. Madsen, U. Tillmann, M. Weiss, "The homotopy type of ...

16

The two constructions are not quite equivalent. Let me write $\mathbf BG$ for the stack and $B_\bullet G$ for the simplicial scheme to better distinguish between them. There is a third relevant player, $BG$, which is the presheaf of ∞-groupoids on $C$ presented by $B_\bullet G$. The precise relation between these three objects is the following: $\mathbf BG$...

15

The easiest way to construct an explicit contracting homotopy is to observe that EG is the geometric realization of the nerve of the groupoid G//G, which has G as its set of objects and exactly one morphism between any pair of objects. The nerve functor sends equivalences of groupoids to homotopy equivalences of simplicial sets, and the geometric ...

14

One key point is that if you let $S/2$ denote the cofibre of twice the identity on the sphere spectrum (also known as the mod $2$ Moore spectrum, or $\Sigma^{-1}\mathbb{R}P^2$), then twice the identity map on $S/2$ is nonzero. This cannot happen in the homotopy category of simplicial abelian groups, or (roughly speaking) any other triangulated category ...

14

Marco Grandis has done some work on this, and you can extract answers for 1-3 from these papers Finite Sets and Symmetric Simplicial Sets - M Grandis - TAC (pdf) Higher Fundamental Functors for Simplicial Sets - M Grandis - CTGDC (pdf) See also An Alternative Presentation of the Symmetric-Simplicial Category - Eric R. Antokoletz - arxiv (link) Question 1 ...

14

As you point out (relayed from Frank Lutz), it seems likely that checking shellability is NP-hard. But all is not lost: A complex that is shellable usually has lots of shellings, and it's often quick to find them by recursively trying to extend a partial shelling. The above-mentioned answer mentions some ways that this can be made more efficient. A (pure) ...

14


Only top voted, non community-wiki answers of a minimum length are eligible