The simplicial-stuff tag has no wiki summary.

**3**

votes

**1**answer

190 views

### Classifying space of variant on category of simplices

This question might have an easy answer, but my research is far from the region of topology that makes use of classifying spaces of categories, so I can't find it.
For (possibly infinite) integers $0 ...

**4**

votes

**4**answers

2k views

### How to triangulate real projective spaces (as simplicial complexes in Mathematica)?

Hello!
I have written a program in Mathematica 7, which calculates for a (finite abstract) simplicial complex all its homology groups. I would really like to test it on the projective spaces, but ...

**4**

votes

**0**answers

176 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

443 views

### Historical and terminological questions about Dan Kan's Ex functor and its relation to the classical case of simplicial complexes

Recall that we may define a functor $\xi:\Delta\to \operatorname{Poset}$ sending a simplex $[n]$ to the set of monotone injections $[k]\hookrightarrow [n]$ for $k\geq 0$ (effectively, $k\leq n$ as ...

**2**

votes

**1**answer

222 views

### Local injective model structure for simplicial presheaves

The category of simplicial presheaves on a small Grothendieck site $\mathcal{C}$ can be given a model structure by defining weak equivalences and cofibrations sectionwise. It's called the (global) ...

**4**

votes

**1**answer

230 views

### Compatibility of classifying space with inner-hom?

Let $\mathbf{sTop}$ be the functor category $\mathbf{Top}^{{\mathbf{\Delta}}^{\textit{op}}}$, and let $\mathbf{sCat}$ be the functor category
$\mathbf{Cat}^{{\mathbf{\Delta}}^{\textit{op}}}$, and let ...

**5**

votes

**1**answer

764 views

### Fibered/cofibered higher categories, relative model structures, slicing, and (∞,2)-category theory

Jacob Lurie defined a model structure on the category of marked simplicial sets sliced over a fixed simplicial set $S$ called the cartesian model structure. (For a definition, see here or HTT ...

**3**

votes

**2**answers

494 views

### From chain complex to simplicial abelian group

In many places, I have seen the slogan that "simplicial abelian group = chain complexes of abelian groups". These same sources usually tell me how to go in one direction. Namely, given a simplicial ...

**13**

votes

**0**answers

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

**4**

votes

**1**answer

638 views

### Simplicial “universal extensions”, the hammock localization, and Ext

Let $M,B$ be $R$-modules, and suppose we're given an n-extension $E_1\to\dots\to E_n$ of $B$ by $M$, that is, an exact sequence $$0\to M\to E_1\to\dots\to E_n \to B\to 0.$$
A morphism of ...

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

**13**

votes

**3**answers

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

**8**

votes

**1**answer

1k views

### Formally smooth morphisms, the cotangent complex, André-Quillen cohomology, and representability of nilpotent extensions as trivial extensions over a cofibrant replacement

Recall that an $R$-algebra $R\to S$ is called formally smooth (resp. formally unramified resp. formally étale) if given any lifting problem of the form
$$\begin{matrix}
R&\to &T\\
...

**17**

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

**0**

votes

**1**answer

357 views

### How does the discrete group act on simplicial set level by level

Suppose that we know a discrete group acts on the geometric realization of a simplicial set. Is there some way to understand how the corresponding action works on the simplicial set?
For example, if ...

**1**

vote

**1**answer

218 views

### Reducing straightening over an interval to straightening over a point

Recall:
Let $FU_\bullet:Cat\to Cat_\Delta$ be the bar construction assigned to the comonad $FU$ determined by free-forgetful adjunction $F:Quiv\rightleftarrows Cat:U$. The restriction of ...

**10**

votes

**1**answer

315 views

### Is the model category of Complete Segal Spaces right proper?

Well, the title is self-explaining, I guess - I am referring to the complete Segal space model structure of Theorem 7.2 in Rezk's article "A model for the homotopy theory of homotopy theories".
Has ...

**4**

votes

**4**answers

756 views

### Homotopic quotients of simplicial sets as infinity-groupoids

Suppose $f:X \to Y$ is a function of sets. Then we can take the quotient $X/\text{~}$ by identifying $x \text{~} y$ if and only if $f(x)=f(y)$. Now suppose instead that $f:X \to Y$ is a map of ...

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

**2**

votes

**1**answer

127 views

### Computing the image of the unit map of the join/overcategory adjunction for simplicial sets

Definitions:
Recall the definition of the join of two simplicial sets. We may regard the functor $-\star Y$ as a functor $i_{Y,-\star Y}:Set_\Delta\to (Y\downarrow Set_\Delta)$ by replacing the ...

**15**

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

**6**

votes

**0**answers

358 views

### Simplicial Covering Map

In Rezk's paper "A model for the homotopy theory of homotopy theory" numerous references to simplicial covering maps are made. It's first appearance being at the bottom of page 8. Unfortunately no ...

**8**

votes

**2**answers

813 views

### Example of a CW complex not homeomorphic to the realization of a simplicial set?

I've often heard that we can give examples of CW complexes that aren't homeomorphic to the realization of any simplicial set (although I haven't heard that there exist Kan complexes that aren't ...

**5**

votes

**1**answer

341 views

### nerves of crossed complexes, group T-complexes and classifying spaces

A (reduced) crossed complex is, intuitively, a non-abelian complex of groups $\ldots \to G_2 \to G_1 \to G_0$ with a $G_0$ action in such that $G_1 \to G_0$ is a crossed module.
There are a couple of ...

**9**

votes

**4**answers

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

**5**

votes

**1**answer

222 views

### What is the right way to define the nerve of an unbiased monoidal category?

I've been toying around with unbiased composition in higher categorical structures on and off for a while now. In particular, I've been playing around with unbiased monoidal 2-categories. One ...

**5**

votes

**3**answers

999 views

### Advantages of working with CW complexes/spaces over Kan complexes/simplicial sets?

Many topologists express a clear preference for working with CW complexes instead of simplicial sets.
One of the reasons is that the cellular chain complex of a CW complex is often easier to work ...

**3**

votes

**1**answer

542 views

### Verifying a technical lemma regarding homotopy pushouts in the theory of simplicial model categories

Important Edit: I e-mailed Jacob Lurie, and he said that the statement of condition (*) is incorrect as printed.
Here is the correct statement of (*):
For any cofibration $f:A\to B$ and ...

**2**

votes

**2**answers

369 views

### Definition of and intuition for regular subdivisions of a polytope

I'm doing a research project that involves subdividing a product of simplices. Specifically, I'm looking at theorem 2.4 from this paper:
math.sfsu.edu/federico/Articles/tropOMs.pdf
which references ...

**4**

votes

**1**answer

485 views

### Fibrations of Simplicial sets

Hello,
Maybe it is too vague a question, but I would like to ask if anybody could say some explanatory words about the importance (for infinity category study) of studying all the kinds of fibrations ...

**1**

vote

**1**answer

477 views

### Proof Sketch: The pullback of the inclusion of the 0th vertex into the standard n-simplex by a right fibration is a deformation retract (450 point bounty if answered by 2am EST)

I was not sufficiently clear on my last attempt at asking a similar (but not identical) question. Tom Goodwillie mentioned (in the accepted answer) that the question can be reduced to this one and ...

**1**

vote

**1**answer

289 views

### Why is the induced map between pullbacks (of inclusions) by a right fibration a deformation retract?

Let $X$ be a simplicial set. Let $X\to \Delta^n$ be a right fibration (has the right lifting property with respect to right horn inclusions), and let $$\Delta^{\{n-i\}}\hookrightarrow ...

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

**1**

vote

**1**answer

265 views

### Closure of the homotopy relation for a simplicial set

Define a reflexive relation on the set of zero-simplices of a simplicial set $A$ by saying that $x\sim y$ iff there is a one-simplex $h$ with $0$-face $y$ and $1$-face $x$. This is not an equivalence ...

**7**

votes

**4**answers

472 views

### An explicit description of Lawvere's segment in the category of simplicial sets

In any presheaf topos, there exists an object called Lawvere's segment, which can be described as the presheaf $L:A^{op}\to Set$ such that for each object $a\in A$, $L(a)=\{x\hookrightarrow\ h_a: x\in ...

**17**

votes

**6**answers

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

**5**

votes

**2**answers

467 views

### Generalization of Hamiltonian cycles to “Hamiltonian spheres”

One possible generalization of a Hamiltonian cycle in a triangulated plane graph is what could be
called a Hamiltonian sphere: a collection of triangles within a simplicial complex in $\mathbb{R}^3$
...

**7**

votes

**3**answers

675 views

### What are normalized singular chains good for?

One of the common definitions of homology using the singular chains, i.e. maps from the simplex into your space. The free abelian group on these can be made into a chain complex and one can take the ...

**6**

votes

**2**answers

624 views

### Pointed vs. unpointed homotopy colimits

Let $C$ be a category with a zero object, i.e. an object 0 which is both initial and terminal. Then $C$ is automatically (and uniquely) enriched over the category $Set_\star$ of pointed sets with ...

**5**

votes

**0**answers

284 views

### Expected degree of a vertex in a tetrahedralization?

Definitions
I will define the degree of a vertex in a tetrahedralization to be the number of highest dimensional cells (which in this case are tetrahedra) that touch the vertex.
Let $S$ be a fixed ...

**4**

votes

**1**answer

262 views

### Homotopy colimits of cyclic spaces

Let $\Lambda$ denote Connes's cyclic category. It is an extension of the simplex category $\Delta$ (of nonempty finite linearly ordered sets) obtained by adding an automorphism of order $n+1$ to the ...

**1**

vote

**0**answers

470 views

### A question on a Davis complex of a Coxeter group

Let us have a look at p. 64 of M. Davis book "The Geometry and Topology of Coxeter Groups". The discussion preceeding Definition 5.1.3. shows that $\mathcal{U}(G, X)/G$ is homeomorphic to $X$. Theorem ...

**0**

votes

**4**answers

2k views

### Simplicial complexes vs. geometric realization of abstract simplicial complexes

A finite abstract simplicial complex is a pair $D=(S,D)$ where $S$ is a finite set and $D$ is a non-empty subset of the power set of $S$ closed under the subset operation, e.g. ...

**7**

votes

**1**answer

259 views

### Why do Delta-sets not allow quotients?

A $\Delta$-set is a contravariant functor from the category $\Delta'$ of order-preserving injections to the category of sets (this is essentially what Allen Hatcher calls a $\Delta$-complex).
A main ...

**14**

votes

**1**answer

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

**10**

votes

**3**answers

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

**15**

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

**3**

votes

**2**answers

232 views

### Principle when limits level by level don't commute with simplicial structure

Are there general principles when a simplicial object is a (co)limit of other simplicial objects level by level, but is not a (co)limit when considering the entire simplicial structure?
Objects can ...

**6**

votes

**0**answers

705 views

### Simplicial Representations of (Hyper)Graph Complexes

For graph complexes, which are families of graph [on a fixed number of vertices n] closed under the deletion of edges, there is a natural simplicial complex capturing that information. Specifically, ...

**15**

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