---
title: Shehtman Complexes in Simplicial Sets
url: https://www.emergentmind.com/topics/shehtman-complexes
type: topic
---

# Shehtman Complexes in Simplicial Sets

Searching arXiv for the specified paper to ground the article in the published source.
Shehtman complexes are simplicial sets characterized by a two-face extension property that the paper "Beck-Chevalley Conditions in Simplicial Sets" isolates as a simplicial-set analogue of a Beck–Chevalley lifting condition, motivated by work of Valentin Shehtman around 2022 [2507.15341]. For a simplicial set \(S\), the condition requires that for every \(n>1\) and every pair \(0\le p<q\le n\), any compatible pair of codimension-1 faces extends to an \(n\)-simplex. In the paper’s formulation, Shehtman complexes occupy a strictly intermediate position among standard simplicial notions: every Kan complex is a Shehtman complex, but the converse fails [2507.15341].

## 1. Definition and basic formulation

The paper first introduces the more general notion of a Shehtman fibration. For a simplicial map \(f:E\to B\), and for every \(n>1\) and every pair \(0\le p<q\le n\), let \(\romb_{p,q}[n]\subseteq \Delta[n]\) denote the union of the \(p\)-th and \(q\)-th faces of the standard simplex \(\Delta[n]\). Then \(f\) is a Shehtman fibration if every commutative square
\[
\begin{tikzcd}
\romb_{p,q}[n]\ar[r]\ar[d,hook] & E \ar[d,"f"]\\
\Delta[n]\ar[r]\ar[ur,dashed] & B
\end{tikzcd}
\]
admits a lift [2507.15341].

A simplicial set \(S\) is a Shehtman complex when the unique map \(S\to *\) to the terminal simplicial set is a Shehtman fibration. Equivalently, \(S\) is a Shehtman complex if and only if for every \(n>1\) and every \(0\le p<q\le n\), whenever one is given \((n-1)\)-simplices
\[
c_p,\; c_q\in S_{n-1}
\]
such that
\[
d_p c_q = d_{q-1} c_p,
\]
there exists an \(n\)-simplex \(x\in S_n\) satisfying
\[
d_p x = c_p,\qquad d_q x = c_q.
\]
These are the Beck–Chevalley conditions \({}_{p,q}[n]\) of the paper [2507.15341].

The definition can therefore be summarized as follows: a simplicial set is Shehtman if any compatible pair of codimension-1 faces in dimensions \(n>1\) extends to an \(n\)-simplex. The compatibility equation \(d_p c_q=d_{q-1}c_p\) is precisely the simplicial identity needed for the two prescribed faces to meet consistently along their common codimension-2 face.

## 2. Beck–Chevalley interpretation

The paper explains that the Shehtman condition is equivalent to a weak pullback condition on face maps. For each \(n>1\) and \(0\le p<q\le n\), the square
\[
\begin{tikzcd}
S_n\ar[r,"d_q"]\ar[d,"d_p"'] &S_{n-1}\ar[d,"d_p"]\\
S_{n-1}\ar[r,"d_{q-1}"'] &S_{n-2}
\end{tikzcd}
\]
is required to be a weak pullback square, meaning that the induced map
\[
S_n \longrightarrow S_{n-1}\times_{S_{n-2}} S_{n-1}
\]
is surjective [2507.15341].

This reformulation expresses the extension property entirely in terms of face maps. Given a compatible pair of \((n-1)\)-simplices, one asks for surjectivity onto the fiber product determined by their common restriction to dimension \(n-2\). The paper identifies this as the Beck–Chevalley-style formulation and notes its relation to Beck–Chevalley conditions for bifibrations in descent theory [2507.15341].

A plausible implication is that Shehtman complexes are best understood not merely as weakened horn-fillers, but as simplicial sets in which selected face-map squares satisfy a systematic exactness property. That perspective distinguishes them from definitions phrased only by lifting against specific cofibrations.

## 3. Relation to Kan conditions

The paper assumes standard simplicial-set notation: \(\Delta[n]\) denotes the standard \(n\)-simplex, represented as \(\hom(-,[0,n])\), and \(\Lambda_p[n]\subseteq \Delta[n]\) denotes the \(p\)-th horn, the union of all faces except the \(p\)-th face [2507.15341]. A simplicial map \(f:E\to B\) is a Kan fibration if every horn inclusion \(\Lambda_p[n]\hookrightarrow \Delta[n]\) has the right lifting property with respect to \(f\), and a Kan complex is a simplicial set whose map to the point is a Kan fibration [2507.15341].

The Shehtman condition is weaker than the Kan condition because it tests lifting only for \(\romb_{p,q}[n]\hookrightarrow\Delta[n]\), the union of two faces, rather than for a full horn inclusion [2507.15341]. Nonetheless, the paper establishes a close relationship in low dimensions. Every Shehtman complex satisfies the Kan conditions in dimensions \(\le 1\), and the Beck–Chevalley conditions in dimensions \(n\le 2\) coincide with the usual Kan conditions in those dimensions [2507.15341].

More precisely, Proposition \(\ref{prop:upto2}\) states that the conjunction of all Kan conditions \({}_p[n]\) for \(n\le 2\) is equivalent to the conjunction of all Beck–Chevalley conditions \({}_{p,q}[n]\) for \(n\le 2\). For \(n=2\), the correspondence is
\[
{}_0[2] = {}_{1,2}[2],\qquad {}_1[2] = {}_{0,2}[2],\qquad {}_2[2] = {}_{0,1}[2].
\]
This shows that the distinction between Kan and Shehtman behavior begins only in dimensions strictly above \(2\) [2507.15341].

A central proposition then states that every Kan fibration is a Shehtman fibration; in particular, every Kan complex is a Shehtman complex [2507.15341]. The proof is immediate from the fact that \(\romb_{p,q}[n]\hookrightarrow \Delta[n]\) is a trivial cofibration for \(n>1\): both are contractible, so a Kan fibration lifts against it. The converse, however, fails, and establishing that failure is one of the paper’s main purposes.

## 4. Ordinary categorical nerves

For an ordinary small category \(\mathcal C\), the paper proves that the nerve \(N\mathcal C\) is a Shehtman complex if and only if it is a Kan complex [2507.15341]. Since the nerve of a category is Kan exactly when the category is a groupoid, this yields the stated criterion:
\[
N\mathcal C \text{ is a Shehtman complex } \Longleftrightarrow \mathcal C \text{ is a groupoid}.
\]

The proof uses the low-dimensional equivalence from Proposition \(\ref{prop:upto2}\). In a nerve of a category, the only nontrivial 2-dimensional Beck–Chevalley conditions reduce to invertibility of morphisms, so the Shehtman condition already forces groupoidness [2507.15341]. Thus, within ordinary category theory, the weakening from Kan to Shehtman produces no genuinely new class of nerves.

This result precludes a possible misconception that Shehtman complexes enlarge the class of categorical nerves in dimension \(1\). The paper instead shows that non-Kan Shehtman behavior must be sought in higher-categorical constructions.

## 5. Duskin nerves and the 2-categorical translation

To construct non-Kan examples, the paper studies the Duskin nerve \(N\mathcal C\) of a small 2-category \(\mathcal C\) [2507.15341]. It recalls that an \(n\)-simplex consists of objects \(C_i\) for \(0\le i\le n\), 1-morphisms \(f_{ij}: C_j\to C_i\), and 2-morphisms \(\alpha_{ijk}: f_{ij}f_{jk}\Rightarrow f_{ik}\), subject to the usual tetrahedral coherence for every \(i<j<k<l\):
\[
\begin{tikzcd}
&f_{ij}f_{jk}f_{kl} \ar[dl,Rightarrow,"\alpha_{ijk}f_{kl}"'] \ar[dr,Rightarrow,"f_{ij}\alpha_{jkl}"]\\
f_{ik}f_{kl}\ar[dr,Rightarrow,"\alpha_{ikl}"']&&f_{ij}f_{jl}\ar[dl,Rightarrow,"\alpha_{ijl}"]\\
&f_{il}
\end{tikzcd}
\]
[2507.15341].

The paper also recalls the criterion that the Duskin nerve of a small 2-category is a Kan complex if and only if every 1-morphism is invertible up to invertible 2-morphisms and every 2-morphism is invertible [2507.15341]. Against this background, it characterizes the Shehtman condition in explicitly 2-categorical terms: for the Duskin nerve \(N\mathcal C\), the Beck–Chevalley condition \({}_{p,q}[n]\) is equivalent to the existence of suitable 2-morphisms \(\lambda,\mu,\rho\) filling all the missing coherence diagrams, with explicit equations (1)–(6) listed in the paper [2507.15341].

These equations are presented as the 2-categorical analogue of the simplicial Beck–Chevalley lifting property. This suggests that, in the Duskin setting, the Shehtman condition is controlled by a bounded family of coherence fillers rather than by full invertibility data. That distinction is what makes it possible for Duskin nerves to be Shehtman without being Kan.

## 6. The family \(K(M,2)\)

The paper specializes the Duskin-nerve construction to a concrete family arising from commutative monoids. For a commutative monoid \(M\), it defines a simplicial set \(K(M,2)\) as the Duskin nerve of a certain 2-category built from \(M\) [2507.15341]. Its \(n\)-simplices are families
\[
(a_{ijk})_{0\le i<j<k\le n}
\]
of elements of \(M\) satisfying the cocycle-like equalities
\[
a_{ikl}a_{ijk}=a_{ijl}a_{jkl}
\]
for every \(0\le i<j<k<l\le n\) [2507.15341].

In this setting, the Beck–Chevalley condition becomes an explicit algebraic system. Given data \(a_{ijk}\) with \(\{p,q\}\not\subseteq \{i,j,k\}\), there must exist elements
\[
x_{ipq},\quad y_{pjq},\quad z_{pqk}\in M
\]
satisfying the six relations
\[
\begin{aligned}
1.\;& x_{ipq}a_{ijp}=a_{ijq}x_{jpq},\\
2.\;& y_{pkq}a_{pjk}=y_{pjq}a_{jkq},\\
3.\;& a_{pkl}z_{pqk}=z_{pql}a_{qkl},\\
4.\;& x_{ipq}y_{pjq}=a_{ijq}a_{ipj},\\
5.\;& a_{iqk}x_{ipq}=a_{ipk}z_{pqk},\\
6.\;& z_{pqk}y_{pjq}=a_{pjk}a_{jqk}.
\end{aligned}
\]
The paper uses this explicit formulation to build examples and counterexamples [2507.15341].

This algebraization is significant because it translates a simplicial lifting problem into solvability of equations internal to the monoid. The resulting objects resemble cocycle-type simplicial sets built from monoids, and the Beck–Chevalley conditions become algebraic compatibility constraints rather than abstract lifting statements [2507.15341].

## 7. Explicit examples and strictness of the inclusion

The paper gives two complementary examples. For \(M=\{0,1\}\) under multiplication, it shows that \(K(M,2)\) is not a Shehtman complex [2507.15341]. It tests the condition \({}_{0,3}[5]\) by choosing \(a_{ijk}\in\{0,1\}\) with
\[
a_{015}=a_{024}=a_{135}=a_{234}=1,
\]
and all other relevant \(a_{ijk}=0\). These values satisfy the cocycle equations because in each equation at most one term is \(1\). However, the Beck–Chevalley lifting would require equations including
\[
z_{035}y_{013}=1,\qquad z_{034}y_{023}=1,\qquad z_{034}y_{013}=0,\qquad z_{035}y_{023}=0,
\]
which cannot all hold simultaneously in \(\{0,1\}\) [2507.15341].

The decisive example is \(M=\mathbb N\) under addition. The paper proves that \(K(\mathbb N,2)\) is not Kan, because by the earlier proposition the Duskin nerve of a 2-category is Kan only when 1-morphisms and 2-morphisms are invertible, and \(\mathbb N\) under addition is not a group [2507.15341]. At the same time, \(K(\mathbb N,2)\) is a Shehtman complex. The proof uses the embedding
\[
\mathbb N \hookrightarrow \mathbb Z.
\]
Since \(K(\mathbb Z,2)\) is a Kan complex, it is also Shehtman. Given a Beck–Chevalley problem in \(\mathbb N\), one solves it in \(\mathbb Z\), then shifts all relevant integers by a common integer \(A\) so that
\[
\tilde x_{ipq}=x_{ipq}+A,\qquad \tilde y_{pjq}=y_{pjq}-A,\qquad \tilde z_{pqk}=z_{pqk}+A
\]
all lie in \(\mathbb N\) while still satisfying the same equations [2507.15341]. This proves the existence of Beck–Chevalley fillers in \(\mathbb N\).

The example \(K(\mathbb N,2)\) establishes the strict inclusion
\[
\text{Kan complexes} \subsetneq \text{Shehtman complexes}.
\]
It is the paper’s explicit example of a Shehtman complex that is not a Kan complex [2507.15341].

## 8. Position within simplicial and higher-categorical context

The paper places Shehtman complexes relative to several standard classes. It states that Kan complexes form a strict subclass of Shehtman complexes; that for nerves of ordinary categories, Shehtman coincides with Kan and hence with nerves of groupoids; and that for Duskin nerves of 2-categories, the Shehtman condition becomes an explicit family of equations on 2-morphisms [2507.15341]. It also notes that the \(K(M,2)\) examples resemble cocycle-type simplicial sets built from monoids, with Beck–Chevalley equations appearing as algebraic compatibility conditions [2507.15341].

The historical framing is that these simplicial sets were introduced by Valentin Shehtman around 2022 in connection with associating a simplicial set to a first-order theory where \(n\)-simplices correspond to \(n\)-types of the theory, and the Beck–Chevalley conditions were important in that context [2507.15341]. The paper’s aim is to isolate this structure in simplicial-set language, prove its basic relation to Kan complexes, and provide a counterexample to the converse.

The paper does not claim equivalence with quasi-categories or discuss them directly [2507.15341]. This is an important boundary on interpretation: Shehtman complexes are introduced as a distinct simplicial condition defined by two-face extension and weak-pullback surjectivity, not as a reformulation of more familiar higher-categorical models. A plausible implication is that their main interest lies in the specific Beck–Chevalley exactness they encode, rather than in serving as a replacement for existing notions of weak higher categories.

Source: https://www.emergentmind.com/topics/shehtman-complexes