The simplicial-stuff tag has no usage guidance.

**48**

votes

**5**answers

6k views

### Is there a high-concept explanation for why “simplicial” leads to “homotopy-theoretic”?

My (limited) understanding is that simplicial methods tend to be used whenever you want some kind of nontrivial homotopy theory -- for instance, to get a nice model structure, you use simplicial sets ...

**30**

votes

**1**answer

14k views

### If I want to study Jacob Lurie's books “Higher Topoi Theory”, “Derived AG”, what prerequisites should I have?

I've been told that it's important to know modern physics, Differential Geometry and Algebraic Topology for understanding higher structures. Is there any other prerequisite for understanding Lurie's ...

**29**

votes

**7**answers

3k views

### Simplicial objects

How should one think about simplicial objects in a category versus actual objects in that category? For example, both for intuition and for practical purposes, what's the difference between a ...

**25**

votes

**2**answers

694 views

### A more natural proof of Dold-Kan?

The Dold-Kan correspondence gives an equivalence of categories between $SAb$, the category of simplicial abelian groups, and $Ch_{\geq 0}$, the category of non-negatively graded chain complexes of ...

**20**

votes

**3**answers

1k views

### What facts in commutative algebra fail miserably for simplicial commutative rings, even up to homotopy?

Simplicial commutative rings are very easy to describe. They're just commutative monoids in the monoidal category of simplicial abelian groups. However, I just realized that a priori, it's not clear ...

**20**

votes

**4**answers

1k views

### A Peculiar Model Structure on Simplicial Sets?

I'm wondering if there is a Quillen model structure on the category of simplicial sets which generalizes the usual model structure, but where every simplicial set is fibrant? I want to use this to do ...

**19**

votes

**4**answers

1k views

### Model structure on Simplicial Sets without using topological spaces

The category of simplicial sets has a standard model structure, where the weak equivalences are those maps whose geometric realization is a weak homotopy equivalence, the cofibrations are ...

**18**

votes

**6**answers

2k views

### A canonical and categorical construction for geometric realization

There is a very intimate connection between categories, simplicial sets, and topological spaces. On one hand, simplicial sets are the presheaf category on the category $\Delta$ and $\Delta$ is a ...

**18**

votes

**2**answers

782 views

### Is there a discrete Cerf theory?

Towards the end of the 1990's, Robin Forman developed a discrete version of Morse theory, which concerns maps from a simplicial complex to $\mathbb{R}$ satisfying a combinatorial analogue to the ...

**17**

votes

**6**answers

2k views

### Simplicial homotopy book suggestion for HTT computations

I'm struggling through Lurie's Higher Topos Theory, since it appears that someone reading through the book is expected to be somewhat comfortable with simplicial homotopy theory. The main trouble ...

**17**

votes

**2**answers

1k views

### Is the 4x5 chessboard complex a link complement?

The 2x3 and 3x4 chessboard complexes (form a square grid of vertices and make a simplex for any set of vertices no two of which are in the same row or column) are a 6-cycle and a triangulated torus ...

**17**

votes

**2**answers

735 views

### When is a topological space the homotopy colimit of an open covering?

Suppose that $X$ is a topological space and $\left(U_i \to X\right)$ is an open cover. We can associate to it the Cech diagram of this cover $$C_U:\Delta^{op} \to Top.$$ I know that for many good ...

**17**

votes

**1**answer

1k views

### Homotopy colimits/limits using model categories

A homotopy (limits and) colimit of a diagram $D$ topological spaces can be explicitly described as a geometric realization of simplicial replacement for $D$.
However, a homotopy colimit can also be ...

**16**

votes

**1**answer

1k views

### Analogue of simplicial sets

This question is prompted by this one (and some of the comments that it drew).
Simplicial complex is to ordered simplicial complex as $X$ is to simplicial set. The question is about $X$.
Let ...

**16**

votes

**4**answers

2k views

### Why is complex projective space triangulable?

In an exercise in his algebraic topology book, Munkres asserts that $\mathbf{C}P^n$ is triangulable (i.e., there is a simplicial complex $K$ and a homeomorphism $|K| \rightarrow \mathbf{C}P^n$). Can ...

**15**

votes

**3**answers

937 views

### Testing simplicial complexes for shellability

Question
Are there efficient algorithms to check if a finite simplicial complex defined in terms of its maximal facets is shellable?
By efficient here I am willing to consider anything with ...

**15**

votes

**2**answers

612 views

### If $X$ is a simplicial complex, is their a characterization of the links of the vertices of $X$ that is equivalent to the statement "$|X|$ is a manifold

We have a characterization when we want $|X|$ to be a PL-manifold, in particular that the links of all the vertices are themselves (PL) spheres. If we are in the category of PL- spaces then this is a ...

**15**

votes

**1**answer

539 views

### How many simplicial complexes on n vertices up to homotopy equivalence?

Fix a number $n$, and define $\gamma(n)$ to be the number of simplicial complexes on $n$ unlabeled vertices up to homotopy equivalence. It is unlikely that an explicit formula exists, but what is ...

**14**

votes

**1**answer

786 views

### Is there a combinatorial way to factor a map of simplicial sets as a weak equivalence followed by a fibration?

Background on why I want this:
I'd like to check that suspension in a simplicial model category is the same thing as suspension in the quasicategory obtained by composing Rezk's assignment of a ...

**14**

votes

**0**answers

329 views

### Asymptotics for the number of triangulations of a manifold M

In Gromov's talk at the Clay Math Research from 23:23 to 25:55 Gromov says (slightly paraphrased)
I want to emphasize a problem which
comes from mathematical physics which
is unsolved which is ...

**13**

votes

**2**answers

1k views

### Status of Quillen's conjecture on elementary abelian p-groups

These are questions on D. Quillen's 1978 paper Homotopy properties of the poset of nontrivial p-subgroups of a group.
Let $G$ be a finite group, $p$ a prime number, $\mathcal S(G)$ the poset of ...

**13**

votes

**3**answers

660 views

### Triangulations of polyhedra

A topologist came to me with this question, but everything I think should work doesn't.
How many triangulations are there of a polyhedron with n vertices?
By a "triangulation" of a polyhedron P we ...

**13**

votes

**3**answers

733 views

### Necessity of hypercovers for sheaf condition for simplicial sheaves

I'm trying to understand where the definition of simplicial sheaf on a space/site comes from.
For a presheaf $F$ of sets on a topological space $X$, the sheaf condition can be viewed as saying that ...

**13**

votes

**3**answers

878 views

### Does the classification diagram localize a category with weak equivalences?

Let $(C,W)$ be a category equipped with a subcategory of weak equivalences. Its "classification diagram" or "bisimplicial nerve" $N(C,W)$ is a bisimplicial set, for which $N(C,W)_n$ is the nerve of ...

**13**

votes

**1**answer

490 views

### When can a contractible 2-complex be embedded in R^3?

Let $X$ be a contractible 2-dimensional simplicial complex. Are there nice necessary and sufficient conditions for $X$ to be embeddable in $\mathbb R^3$? Clearly it is necessary that the link of ...

**13**

votes

**1**answer

426 views

### Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that ...

**13**

votes

**0**answers

848 views

### Hodge star and harmonic simplicial differential forms

Is there a notion of harmonic forms and Hodge theory for Sullivan's piecewise smooth differential forms on a simplicial set?
Let me recall some background.
Hodge Theory on a Riemannian manifold
A ...

**12**

votes

**3**answers

999 views

### What are the endofunctors on the simplex category?

Is there a 'classification' of the endofunctors F: Δ --> Δ where Δ denotes the simplex category with objects [n] and the weakly monotone maps [m] --> [n] as morphisms (Actually, I ...

**12**

votes

**2**answers

2k views

### What is a symmetric monoidal $(\infty,n)$-category?

This question arose from reading Jacob Lurie's "Classification of topological field theories" paper. In that paper, he uses complete $n$-fold Segal spaces as a model for $(\infty,n)$-categories, but ...

**12**

votes

**2**answers

501 views

### The symmetric monoidal category of finite sets

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...

**12**

votes

**4**answers

662 views

### Simplicial Model of Hopf Map?

The Hopf fibration is a famous map S3 --> S2 with fiber S1, which is the generator in pi_3(S2). We can model this map in terms simplicial sets by taking the singular simplicial sets of these spaces ...

**12**

votes

**1**answer

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

**12**

votes

**2**answers

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

**12**

votes

**1**answer

437 views

### The weak equivalences in the covariant model structure

Let $S$ be a simplicial set. Recall that there is a model structure, called the covariant model structure (see HTT ch. 2 and this question), on $\mathbf{SSet}/S$ such that:
The cofibrations are the ...

**12**

votes

**4**answers

938 views

### Degeneracies for semi-simplicial Kan complexes

By a semi-simplicial set I mean a simplicial set without degeneracies. In such a thing we can define horns as usual, and thereby "semi-simplicial Kan complexes" which have a filler for every horn. ...

**12**

votes

**2**answers

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

**12**

votes

**2**answers

603 views

### Multisimplicial geometric realization

Does anyone know a reference or proof for the following? Let $k\geq 1$ and let $X$ be a space. There is a $k$-fold multisimplicial set whose simplices in degree $n_1,\ldots,n_k$ are the maps ...

**12**

votes

**1**answer

891 views

### The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...

**12**

votes

**2**answers

401 views

### Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution.
For instance, let's take $G = \mathbb{Z}^2$, and "resolve":
$$ 0 \to ...

**12**

votes

**1**answer

409 views

### Lemma 2.1.1.4 in Lurie's HTT

I have encountered a problem in understanding Lurie's proof of the following fact:
"Given a left fibration between simplicial sets $q:X \to S$, there exists a functor $$ho(S) \to Ho(sSet)$$ which is ...

**12**

votes

**1**answer

339 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly.
Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...

**12**

votes

**0**answers

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

**11**

votes

**7**answers

2k views

### History of classifying spaces

Where did the idea and formal definition of the "classifying space of a (small) category" first appear?
Added: As Andy Putman noted below, the "classical" early reference for this is G. Segal's ...

**11**

votes

**3**answers

811 views

### Which properties of finite simplicial sets can be computed?

A simplicial set $X$ is a a combinatorial model for a topological space $|X|$, its realization, and conversely every topological space is weakly equivalent to such a realization of a simplicial set. I ...

**11**

votes

**2**answers

2k views

### What is the homotopy theory of categories?

I've heard that Grothendieck, in his letter "Pursuing Stacks," wanted to find alternative models for the classical homotopy category of CW complexes and continuous maps (up to homotopy), and one of ...

**11**

votes

**1**answer

864 views

### Is the simplicial completion of a localizer always a bousfield localization of the injective model structure?

Background
Recall (from Cisinski's Astérisque volume 308) that given a small category $A$, we define an $A$-localizer to be a class $W$ of morphisms of $\mathrm{Psh}(A)$ satisfying the following ...

**11**

votes

**2**answers

2k views

### Understand Cech Cohomology

I am currently trying to understand Cech cohomology. Five questions arised and I would be glad for help. In what follows $X$ is a topological space.
I really like Dugger's and Isaksen's paper ...

**11**

votes

**0**answers

448 views

### Has this chain complex associated with a simplicial complex been studied before?

I have stumbled upon a construction that has probably been noticed before, and I wonder if anyone can point me to a reference.
Suppose that $K$ is a simplicial complex. Let $P(K)$ be the free abelian ...

**11**

votes

**0**answers

308 views

### What is the history of the notion of subdivision of categories?

A recent answer by Peter May prompts me to ask a question which I have been considering to ask for several months. (The reason why I have not asked it before is that it is not directly related to my ...

**10**

votes

**4**answers

1k views

### Is there any generalization of the Dold-Kan correspondence?

The Dold-Kan correspondence gives an equivalence between simplicial abelian groups and chain complexes of abelian groups supported on negative degrees. It actually works for any abelian category. I'm ...