The simplicial-stuff tag has no wiki summary.

**1**

vote

**1**answer

93 views

### Does the following categorial sum preserve weak equivalences?

In Dwyer and Kan's 1980 paper on "Simplicial Localizations of Categories", they prove the following result for binary categorial sums. For a set $O$, let $O$-${\mathsf{Cat}}$ be the following ...

**0**

votes

**0**answers

55 views

### Ways to decompose a torus for finite element method so that each cell contains a complete revolution of the major radius

I've got a finite element problem involving paths around the interior of a torus. For this particular problem I think I could make things more computationally efficient if each cell in the mesh made ...

**2**

votes

**0**answers

181 views

### Which 2-coskeletal simplicial sets is the nerve of a category?

Let ${\mathrm{tr}}_2$ be the truncation functor that takes a simplicial set and restricts it to dimensions at most 2. Its right adjoint is the 2-coskeleton functor. NLab says that the nerve of a small ...

**3**

votes

**1**answer

259 views

### Does each “prod-simplicial” regular cell complex come from a unique rooted tree?

Since about the time I asked the question, What is the precise relationship between "prodsimplicial sets" and rooted trees? I have been playing with these rooted trees and their ...

**10**

votes

**0**answers

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

**15**

votes

**1**answer

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

**6**

votes

**4**answers

693 views

### Is there a sense in which the homotopy theory of simplicial sets is the “paradigmatic” one?

I could not come up with a better title for my question.
What I am asking is this (preemptive excuses to all experts in homotopy theory for naivetes of all kinds you may find herein):
the ...

**3**

votes

**2**answers

281 views

### Analogues of fibrations

Recall the following analogy
Serre fibrations : Kan fibrations
in spaces and simplicial sets respectively, related by the singular simplices functor and geometric realisation. There are other ...

**3**

votes

**1**answer

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

**2**

votes

**0**answers

154 views

### Are connected categories with pullbacks weakly contractible?

Quillen's Theorem A says that a functor between (small) categories $f:I\rightarrow J$ induces a weak equivalence of the nerves if for each $j\in J$ the comma category $f/j$ is weakly contractible. In ...

**4**

votes

**3**answers

520 views

### Constructing a simplicial set homology-equivalent to a given CW complex

I would like to compute the homology of certain low dimensional CW complexes and I am hoping to take advantage of software that handles simplicial sets as input. Thus, I would like to convert a CW ...

**6**

votes

**1**answer

145 views

### $W^{1,1}$ simplicial approximation

Let $f$ be a continuous real-valued function defined on an $n$ dimesional simplex $\Sigma\subset \mathbb{R}^n $. The classical simplicial approximation scheme provides a sequence $f_k$ of piecewise ...

**3**

votes

**1**answer

196 views

### Explicit contraction for the universal simplicial bundle WG

For a simplicial group $G$, there is a universal bundle $WG \to \overline{W}G$ in the category of simplicial sets, detailed in for example May's book (djvu).
Now $WG$ has a simple enough description ...

**6**

votes

**1**answer

187 views

### Smash product of Kan complexes

Suppose $X$ and $Y$ are pointed Kan complexes. Is their smash product $X\wedge Y$ also a Kan complex?
I expect the answer is probably no, but it would be nice to see a counterexample.

**2**

votes

**1**answer

319 views

### On the construction of the simplicial category $\Delta$

Is a classical example that in the topos $Set$ the set of natural numbers (finite cardinals) $\mathbb{N}$ is the natural-numbers objet as in topos theory definition. Now the category $\Delta$ has for ...

**9**

votes

**1**answer

296 views

### What is the precise relationship between “prodsimplicial sets” and rooted trees?

In Keven Walker's answer to the question, Cubical vs. simplicial singular homology it is written:
Personally, I think it is more convenient to do singular homology with the larger collection ...

**2**

votes

**1**answer

685 views

### The Area of Spherical Polygons

I am interested in finding a canonical general expression for the area of a spherical polygon in $\mathbb{S}^2$ knowing the side lengths of the polygon and a bound on the internal angles (we can ...

**5**

votes

**2**answers

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

**4**

votes

**0**answers

212 views

### Extending the vertex-facet correspondence from Î” to Î˜

Recall that in the $n$-simplex $\Delta[n]$, we have a combinatorially crucial bijection between facets, (codimension $1$ faces) and vertices, where the $i$th face of a simplex corresponds to the full ...

**2**

votes

**0**answers

189 views

### On small generators of an infinity category

Suppose that $\mathcal{C}$ is an $\infty$-category with pullbacks and small coproducts. Suppose that $\mathcal{D}$ is a small subcategory for every object $C,$ the canonical map ...

**1**

vote

**1**answer

108 views

### Generalizing the internal angle of a graph in $\mathbb{E}^2$ to $\mathbb{S}^2$

I am currently working on research involving packing problems and am finding myself needing the tools from Combinatorial Geometry (in particular, I've been reading Pach and Agarwal's book on the ...

**7**

votes

**1**answer

631 views

### Derived functors of symmetric powers

What do the derived functors of the symmetric powers look like? I understand that this is related to the homology of the symmetric groups, but I don't know a reference for that.
Namely, I'm ...

**3**

votes

**1**answer

234 views

### Generalizing the circle packing theorem to 3-dimensions

The circle packing theorem (Koebeâ€“Andreevâ€“Thurston theorem) states that every finite planar graph is the nerve of some disk packing in the plane, where the nerve of a packing $P$ is a graph $G=(V,E)$, ...

**7**

votes

**1**answer

264 views

### What is the homotopy type of a free simplicial ring?

Is there a good description of the homotopy type of a free simplicial ring (or simplicial $R$-algebra) on a given simplicial set, in terms of the homotopy type of that simplicial set?
(This is mostly ...

**6**

votes

**2**answers

534 views

### Connective spectra versus simplicial abelian groups - very basic question

Hello,
I have very general , "introductory" questions (It is quite hard for me to seek for specific things in the algebraic topology literature).
I guess that connective spectra have a model ...

**3**

votes

**2**answers

454 views

### Reference request - CDGA vs. sAlg in char. 0

Hello,
Are the model categories of simplicial commutative algebras over $k$ and that of commutative differential graded algebras (in negative cohmological dimension) Quillen equivalent in char. 0 (or ...

**3**

votes

**1**answer

149 views

### Coskeleta of simplicial principal bundles

Let $X_{\bullet}$ be a simplicial topological space. There is a truncation functor $tr^n \colon Fun(\Delta^{op}, Top) \to Fun(\Delta_n^{op},Top)$ (where $\Delta_n$ is the full subcategory of $\Delta$ ...

**2**

votes

**1**answer

174 views

### Simplicial complex made of central idempotents of an algebra

Let $A$ be an algebra, say over $\mathbb{C}$ and finite-dimensional, but not necessary semisimple. I have the strong feeling, which I would like to prove and use, about the following rather natural ...

**1**

vote

**0**answers

105 views

### Do bistellar flips in a simplicial sphere preserve facet connectivity?

Define two facets of a simplicial sphere as k-connected if there are at least k disjoint edge-vertex paths between them in their facet-ridge graphs.
Do bistellar flips preserve facet k-connectivity?
...

**10**

votes

**2**answers

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

**1**

vote

**2**answers

417 views

### About a statement in Jardine and Goerss “Simplicial Homotopy Theory”

Hello,
This probably just technical, but anyway:
In "Simplicial Homotopy Theory" by Goerss and Jardine, chap. III, par. 2, after cor. 2.12, they describe a model structure on $Ch^{+}$, the category ...

**4**

votes

**0**answers

207 views

### good covers and simplicial maps

Let $X$ be a paracompact topological space and choose a good cover $U_i$ of $X$. Remember that a good cover is one that consists of open subsets, such that each set $U_i$ is contractible and all ...

**3**

votes

**2**answers

500 views

### simplicial spaces without degeneracies

Suppose I have a simplicial space $X_{\bullet}$ without degeneracies (sometimes called semi-simplicial space or incomplete simplicial space). There still is a geometric realization $\lVert X \rVert$ ...

**2**

votes

**1**answer

180 views

### local model structure on simplicial presheaves

Hello,
Let $\mathcal{C}$ be a (small) category equipped with a Grothendieck pretopology.
Let $sPSh(\mathcal{C})$ be the category of simplicial presheaves on $\mathcal{C}$, together with its ...

**3**

votes

**2**answers

312 views

### Cartesian cubes and groupoids

Given a groupoid $G,$ one can consider the canonical epimorphism $$G_0 \to G.$$ Since it is an epimorphism in the $2$-topos of groupoids, $G$ is the weak colimit of the corresponding Cech diagram ...

**7**

votes

**2**answers

551 views

### How to compute homology of symmetric products of complexes?

First, I would appreciate references on the notion of derived symmetric powers of perfect modules over various kinds of derived commutative algebras (say cdgas in characteristic zero, simplicial ...

**1**

vote

**2**answers

298 views

### Where can I see the proof that the homology groups of the Moore Complex of a simplicial group coincide with the homotopy groups of its geometric realization?

I'd like to know where to find it since it's very used in the articles of Loday and others.

**3**

votes

**2**answers

220 views

### When does $M \otimes_{A} \pi_{0}(A) \simeq 0$ imply $M \simeq 0$?

Let $A$ be a simplicial commutative ring over a field $k$ of characteristic zero (or a cdga
in non-positive degrees with differential of degree -1). Let $M$ be a perfect $A$ module. If necessary, ...

**1**

vote

**0**answers

109 views

### Simplicial morphisms from degenerate simplices

Frequently I read the following statement on morphisms of simplicial sets:
Suppose $X$ and $Y$ are simplicial sets, $f: X \rightarrow Y$ is a simplicial morphism and we write $X_n$ as well as $Y_n$ ...

**3**

votes

**2**answers

250 views

### Simplicial approximation for simplicial spaces

Given two simplicial topological spaces $X_{\bullet}$ and $Y_{\bullet}$ (i.e. a simplicial object in Top) and a continuous map between their geometric realizations $f \colon \lvert X_{\bullet} \rvert ...

**5**

votes

**4**answers

381 views

### (Co)homological characterization of homotopy pullbacks

For a commutative square of spaces (of manifolds, or of simplicial sets):
$$S=\left(\begin{array}{ccc} A & \to & B \newline \downarrow & & \downarrow \newline C & \to & ...

**13**

votes

**0**answers

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

**1**

vote

**1**answer

260 views

### Coboundary map on the cochain complex of abelian cosimplicial groups?

Maybe I'm looking at the wrong places, but I can't find a definition of
the coboundary map on the cochain complex of abelian cosimplicial groups.
What I have in mind is something similar to the ...

**3**

votes

**1**answer

282 views

### Extend Alexander-Whitney and Eilenberg-Zilber map to n-fold tensor products

See the definition of the Alexander-Whitney transformation:
http://ncatlab.org/nlab/show/Alexander-Whitney+map
and the Eilenberg-Zilber transformation:
...

**3**

votes

**1**answer

359 views

### Cech nerve as homotopy colimit?

Given a category $\mathcal{C}$ with a notion of covering $\{ U_{i} \rightarrow X \}$ for an object $X$ (say $\mathcal{C}$ is a Grothendieck site), we can form the Cech nerve
$$ \cdots ...

**8**

votes

**1**answer

521 views

### Computing homotopy (co)limits in a nice simplicial model category?

I'm trying to learn about and compute homotopy (co)limits. Specifically, if $\mathcal{C}$ is some Grothendieck site and $\mathcal{P}$ the simplicial model category of simplicial presheaves (say with ...

**11**

votes

**3**answers

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

**6**

votes

**1**answer

333 views

### Detecting equivalences of (infinity) categories by nerves

I have two questions:
Is there a way to tell if a functor $F:C \to D$ between two small categories is an equivalence in terms of the map $$N(F):N(C) \to N(D)$$ between simplicial sets? More ...

**3**

votes

**1**answer

384 views

### Simplicial presheaves enriched, tensored and cotensored over simplicial sets correctly?

Let $\mathcal{C}$ be a category and $\mathcal{P}=Functors(\mathcal{C}^{op},\mathcal{S})$ the category of simplicial presheaves, where $\mathcal{S}=sSet$. I want $\mathcal{P}$ to be enriched, tensored, ...

**3**

votes

**1**answer

459 views

### What is the chromatic number of the graph whose vertices dimension $n-2$ subsimplicies of $\Delta^n$ and an edge between two vertices is given if the two associated $n-2$ vertices are contained in the same $n-1$ subsimplex?

Let us first remark that all of this takes place on the boundary of $\Delta^n$. The question that I wanted to solve that led to the question in the title is as follows: Let ...