# Tagged Questions

The simplicial-stuff tag has no wiki summary.

**6**

votes

**1**answer

149 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

201 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

192 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

332 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

306 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

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

**6**

votes

**2**answers

346 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

220 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

205 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

110 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

670 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

247 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

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

**7**

votes

**2**answers

586 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

512 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

150 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

175 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

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

**12**

votes

**2**answers

692 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

466 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

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

**6**

votes

**2**answers

566 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

192 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

329 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

646 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

319 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

223 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

116 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

264 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

388 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

320 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

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

**4**

votes

**1**answer

321 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

409 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

604 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

653 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

350 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

410 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

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

**4**

votes

**1**answer

403 views

### Persistent homology of Markovian dynamical systems

Consider a dynamical system $(T,X)$ that admits a Markov partition $\mathcal{M}$ (e.g., an Anosov map), and consider the corresponding 0-1 transition matrix $A$. It is commonplace to study information ...

**4**

votes

**1**answer

319 views

### Writing an infinity groupoid as a colimit of sets

If we are given a simplicial set $X:\Delta^{op} \to Set$, we may regard it as a \emph{simplicial} simplicial set, i.e. a bisimplicial set by composing with the "constant" inclusion $Set \to ...

**2**

votes

**1**answer

347 views

### Extending the definition of “pure of dimension n” from simplicial complexes to simplicial sets?

Recall that a (combinatorial) simplicial complex $X$ is said to be $n$-dimensional if it contains at least one face of dimension $n$ and no faces of dimension $n+1$. Further, an $n$-dimensional ...

**1**

vote

**1**answer

208 views

### On Lifts in Kan Simplicial Sets

In a Kan simplicial set $X_\bullet$ we have the lifting property, that is for
any $n$-tupel $\left(x_0,\ldots,\hat{x_j},\ldots,x_n \right)$ of $(n-1)$-simplices $x_k \in X_{n-1}$ with ...

**1**

vote

**0**answers

120 views

### Certain (pre) simplicial sets have torsion-free homology?

Suppose $X$ is a pre-simplicial set defined on a finite vertex set $\{v_1, v_2, \ldots, v_k\}$ recursively as follows:
Let $X_1$ have a single vertex $\{v_1\}$.
For $i > 1$, $X_i$ is obtained ...

**10**

votes

**0**answers

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

**3**

votes

**2**answers

584 views

### Examples of Simplicial Groupoids in Nature

For me, a simplicial groupoid is a simplicial object in ${\mathbf{Grpd}}$. I am more general than Goerss-Jardine in this definition.
Do you have examples simplicial groupoids that occur in nature? ...

**1**

vote

**1**answer

296 views

### Is there a dual notion for the Nerve functor?

Say in the most classical case, we probe a topological space $X$ by the n-simplices $\Delta^n$ by using the nerve functor $Hom_{Top}(-,X)$. Is another functor $Hom_{Top}(X,-)$ of any use, or is there ...

**1**

vote

**1**answer

252 views

### The boundary map of Kan simplicial sets

I don't know whether or not the following is a research level question,
but since it is concerned with simplicial sets and since they
are very popular these days, I think this is the right place to ...

**2**

votes

**1**answer

262 views

### Is the nerve of a category a fully faithfully functor up to homotopy?

Let $F,G:C\to D$ be naturally isomorphic functors. Taking the nerve, is $NF,NG:NC\to ND$ homotopy equivalent? Conversely, given a simplicial map $f:NC\to ND$, does there exists a functor $F:C\to D$ ...

**1**

vote

**1**answer

222 views

### Is the nerve of a groupoid an EM space?

Let $G$ be a connected groupoid. Is the nerve $BG$ a $K(\pi, 1)$, and if so, is there a groupoid homomorphism $f:G\to \pi$ that induces the homotopy equivalence?