# Questions tagged [simplicial-stuff]

For questions about simplicial sets, simplicial (co)algebras and simplicial objects in other categories; geometric realization, Dold-Kan correspondence, simplicial resolutions etc.

58
questions

**10**

votes

**2**answers

908 views

### Necessary conditions for cofibrancy in global projective model structure on simplicial presheaves

Consider the global projective model category
of simplicial presheaves on some category
(the category of smooth manifolds is particularly interesting to me).
In Section 9.1 of Dugger's paper “...

**81**

votes

**6**answers

11k 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 ...

**14**

votes

**1**answer

1k views

### Why does the singular simplicial space geometrically realize to the original space?

I have seen it claimed that (for compactly generated Hausdorff spaces) the geometric realization of the singular (internal) simplicial space is homotopy equivalent to the original space. I know how to ...

**6**

votes

**1**answer

1k views

### Homotopy pullbacks of simplicial spaces, and Bousfield-Friedlander

Let $X_\bullet \longrightarrow Y_\bullet \longleftarrow Z_\bullet$ be a diagram of simplicial spaces (=bisimplicial sets, if you like).
On p. 14-9 of these notes there is an example which shows that ...

**5**

votes

**3**answers

2k views

### Mayer-Vietoris homotopy groups sequence of a pull-back of a fibration

This must be an elementary question: could somebody tell me a reference for the Mayer-Vietoris homotopy groups sequence of a pull-back of a fibration?
I'm working in the category of pointed ...

**11**

votes

**2**answers

1k views

### Is the geometric realization of a level-wise weak equivalence a weak equivalence?

For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...

**5**

votes

**1**answer

625 views

### When is homotopy orbit space weakly equivalent to orbit space, other than situation of free action?

Let $M$ be a closed symmetric monoidal model category. Let $X$ be a cofibrant object (it can also be fibrant if you like) and let $\Sigma_n$ act on $X^{\otimes n}$ by permuting the factors (note that ...

**4**

votes

**0**answers

189 views

### category of simplicial filters

I am looking for references discussing the category $Filt$ of filters (in the sense of set theory, details below),
its simplicial category $sFilt$ and its full subcategory $Top\hookrightarrow sFilt$ ...

**52**

votes

**1**answer

25k 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 ...

**36**

votes

**7**answers

4k 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

**4**answers

3k 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 ...

**20**

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

**15**

votes

**3**answers

1k 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 ...

**24**

votes

**4**answers

1k 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 ...

**17**

votes

**3**answers

2k views

### What are the fibrant objects in the injective model structure?

If C is a small category, we can consider the category of simplicial presheaves on C. This is a model category in two natural ways which are compatible with the usual model structure on simplicial ...

**13**

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

**1**answer

774 views

### Three questions on $\operatorname{hocolim}$

I posted this on math.stack.exchange but didn't get a helpful response, so please let me try it here.
Let $D$ be a small category and $F:D\to sSets$ a functor.
There is a bisimplicial set indicated ...

**11**

votes

**1**answer

865 views

### Why does the internal singular simplicial space realize to the same thing as the discrete singular simplicial set?

There are two version of the singular simplicial space of a topological space $X$, one discrete and one internal. At least if X is nice, both of them have homotopy equivalent geometric realizations (...

**13**

votes

**2**answers

2k views

### Semi-simplicial versus simplicial sets (and simplicial categories)

Hi,
Let's denote by "semi-simplicial set" a simplicial set without degeneracies, i.e. a contravariant functor from the category $\Delta_{inj}$ of finite linearly ordered sets and order preserving ...

**12**

votes

**0**answers

465 views

### Are the Alexander-Whitney and Eilenberg-Zilber maps homotopy inverse in arbitrary abelian categories?

Let $\mathcal{A}$ be a monoidal abelian category. Let $A$ and $B$ be simplicial objects in $\mathcal{A}$, and let $N_\ast(-)$ denote the normalized chain complex functor. Let
$$AW_{A,B}\colon N_\ast(...

**9**

votes

**3**answers

793 views

### Combinatorial distance between simplicial complexes

Let $K_1$ and $K_2$ be two simplicial complexes.
I am seeking a measure of the distance between $K_1$ and $K_2$ when
viewed as combinatorial objects.
What I have in mind is something like this.
...

**7**

votes

**1**answer

483 views

### The Quillen model structure on simplicial sets as a Bousfield localization

Starting with the trivial model structure on the category of simplicial sets (that is the weak equivalences are exactly the isomorphisms and the cofibrations and fibrations are arbitrary maps), is it ...

**21**

votes

**0**answers

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

**20**

votes

**2**answers

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

**18**

votes

**2**answers

1k 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 ...

**16**

votes

**0**answers

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

**10**

votes

**0**answers

488 views

### $E_{\infty}$ $R$-algebras vs commutative DG $R$-algebras vs simplicial commutative $R$-algebras

I've been trying to understand better the relation between the basic blocks of derived algebraic geometry. More precisely, I'm trying to understand the relation between the DG approach, the spectral ...

**3**

votes

**3**answers

1k views

### Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

Let $\pi _1:SS\to Grpd$ denote the fundamental groupoid functor, from simplicial sets to groupoids, and let $N:Grpd\to SS$ denote the nerve functor. Then $\pi _1$ is left adjoint to $N.$
On ...

**24**

votes

**5**answers

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

**12**

votes

**2**answers

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

**6**

votes

**2**answers

479 views

### Dold-Kan correspondence in the category of symmetric spectra

The Dold-Kan correspondence between the category of simplicial abelian groups and the category of non-negatively graded chain complexes of abelian groups is a classical result. It states that the ...

**5**

votes

**1**answer

473 views

### Descent properties of spaces

I am trying to make sense of what is written in Rezk's draft http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf
In particular, I am referring to Proposition 2.3, which is there stated ...

**13**

votes

**3**answers

783 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

**1**answer

252 views

### Realisation of maps between spheres by simplicial maps

Let $K^n_0 := \partial \Delta_{n+1}$ the simplicial set obtained by removing the $(n+1)$-simplex from the standard simplex. This gives a simplicial decomposition of the sphere $S^n$. More generally, ...

**9**

votes

**4**answers

538 views

### Pullback-stable model of fibrewise suspension of fibrations (in simplicial sets, or similar setting)

Given a fibration $p : Y \to X$ in simplicial sets (or any other model category), there are various ways to construct its fibrewise suspension, i.e. its suspension as an object of the slice $\...

**8**

votes

**1**answer

351 views

### Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...

**7**

votes

**0**answers

253 views

### Does geometric realization commute with passing to the compactly generated topology?

My question is in the title, but here is a more detailed formulation:
Let Top be the category of all topological spaces and continuous maps, and let CGTop be the subcategory of compactly generated ...

**7**

votes

**1**answer

707 views

### Can we invert barycentric subdivision?

With apologies to fellow algebraic topologists, I confess that I have no idea how to answer this innocent-looking question:
(1) Let's say we know that a finite simplicial complex $S$ is the ...

**6**

votes

**1**answer

391 views

### What's the best way to test if a sphere is a polytope? (algorithms for the Simplicial Steinitz Problem)

The problem of recognizing whether a simplicial face lattice is polytopal is sometimes called the Steinitz problem.
Sturmfels and Bokowski advanced a set of methods in the late 80s to test whether ...

**6**

votes

**0**answers

300 views

### Does the fat realization of simplicial spaces commute with finite limits up to homotopy?

I'm willing to work in the category of compactly generated Hausdorff spaces.
The ordinary geometric realization of a simplicial space commutes with taking pullbacks and preserves the terminal object, ...

**6**

votes

**2**answers

310 views

### Homotopy function complex for quasi-categories

The model structure on sSet for quasi-categories (the Joyal model structure) is not enriched over sSet with the Quillen model structure, so ordinary internal Hom of simplicial sets is not a correct ...

**3**

votes

**1**answer

232 views

### Are there Alexander-Whitney and shuffle maps for Dold-Kan for abelian categories?

I know Dold-Kan actually holds for any abelian category, i.e gives an equivalence between simplicial objects in a fixed abelian category and the connective chain complexes over it.
I've never seen an ...

**12**

votes

**1**answer

624 views

### Tensor product of dendroidal sets: counter-examples

For any smal category $A$, I shall write $\widehat A$ for the category $[A^{\text op}, \mathbf{Set}]$ of presheaves on $A$, and $y_A\colon A \to \widehat A$ for the Yoneda embedding relative to $A$.
...

**10**

votes

**2**answers

474 views

### Simplicial replacements in smoothing theory

As far as I can tell, ever since Milnor's Microbundles and differentiable structures (1961) paper, whenever people talk about $Diff(\mathbb R^n)$ or $PL(\mathbb R^n)$ or $Homeo(\mathbb R^n)$, they ...

**10**

votes

**3**answers

643 views

### References for the “nerve of an algebraic variety”

Let's do algebraic geometry over an arbitrary base ring $k$.
I've frequently seen a definition of the algebraic $n$-simplex, as follows:
$$\Delta^n = \operatorname{Spec}\left(k[x_0,\ldots,x_n]/(\...

**6**

votes

**2**answers

221 views

### What is this construction using iterated face maps of semisimplicial sets?

Let $X$ be a semisimplicial set (face maps but no degeneracy maps). Fix a positive integer $k$. Let $Y_n$ be $X_{(n+1)k}$ and then define $\partial^Y_i:Y_n\to Y_{n-1}$ by
$$\partial^Y_i = (\partial^...

**6**

votes

**0**answers

171 views

### Dowker and neighborhood complexes: reference wanted

Let $R$ be a 0-1 matrix whose rows or columns are maximal.
Q1. Is there a name for such a matrix (or, e.g., a corresponding relation)?
From 0-1 matrix corresponding to an abstract simplicial ...

**5**

votes

**1**answer

547 views

### Is every finite subcomplex of a contractible simplicial complex contained in a finite contractible subcomplex?

The question is as in the title:
Is every finite subcomplex of a contractible simplicial complex $K$ contained in a finite contractible subcomplex of $K$? What if we are allowed to take ...

**4**

votes

**1**answer

314 views

### Is there a class of simplicial sets whose weak homotopy type is preserved by symmetrization?

We have the categories, $S$, of simplicial sets and $SS$, of symmetric simplicial sets (whose simplices are unordered). There are functors:
$H:S\to SS$ forgetting the ordering on simplices and
$L:...

**3**

votes

**1**answer

357 views

### Homotopy equivalence of geometric realizations

This question is related with this one. For simplicial complex (which we have to assume is ordered as explained in the answer of the linked question) we have a construction of geometric realization ...