In higher category theory in mathematics, the diamond operation of simplicial sets is an operation taking two simplicial sets to construct another simplicial set. It is closely related to the join of simplicial sets and used in an alternative construction of the twisted diagonal.

Definition

Visualization of the diamond X ⋄ Y {\displaystyle X\diamond Y} with the blue part representing X {\displaystyle X} and the green part representing Y {\displaystyle Y}.

For simplicial set X {\displaystyle X} and Y {\displaystyle Y}, their diamond X ⋄ Y {\displaystyle X\diamond Y} is the pushout of the diagram:

X × Y × Δ 1 ← X × Y × ∂ Δ 1 → X + Y . {\displaystyle X\times Y\times \Delta ^{1}\leftarrow X\times Y\times \partial \Delta ^{1}\rightarrow X+Y.}

One has a canonical map X ⋄ Y → Δ 0 ⋄ Δ 0 ≅ Δ 1 {\displaystyle X\diamond Y\rightarrow \Delta ^{0}\diamond \Delta ^{0}\cong \Delta ^{1}} for which the fiber of 0 {\displaystyle 0} is X {\displaystyle X} and the fiber of 1 {\displaystyle 1} is Y {\displaystyle Y}.

Right adjoints

Let Y {\displaystyle Y} be a simplicial set. The functor Y ⋄ − : s S e t → Y ∖ s S e t , X ↦ ( Y ↦ X ⋄ Y ) {\displaystyle Y\diamond -\colon \mathbf {sSet} \rightarrow Y\backslash \mathbf {sSet} ,X\mapsto (Y\mapsto X\diamond Y)} has a right adjoint Y ∖ s S e t → s S e t , ( t : Y → W ) ↦ t ∖ ∖ W {\displaystyle Y\backslash \mathbf {sSet} \rightarrow \mathbf {sSet} ,(t\colon Y\rightarrow W)\mapsto t\backslash \backslash W} (alternatively denoted Y ∖ ∖ W {\displaystyle Y\backslash \backslash W}) and the functor − ⋄ Y : s S e t → Y ∖ s S e t , X ↦ ( Y ↦ X ⋄ Y ) {\displaystyle -\diamond Y\colon \mathbf {sSet} \rightarrow Y\backslash \mathbf {sSet} ,X\mapsto (Y\mapsto X\diamond Y)} has a right adjoint Y ∖ s S e t → s S e t , ( t : Y → W ) ↦ W / / t {\displaystyle Y\backslash \mathbf {sSet} \rightarrow \mathbf {sSet} ,(t\colon Y\rightarrow W)\mapsto W//t} (alternatively denoted W / / Y {\displaystyle W//Y}). A special case is Y = Δ 0 {\displaystyle Y=\Delta ^{0}} the terminal simplicial set, since s S e t ∗ = Δ 0 ∖ s S e t {\displaystyle \mathbf {sSet} _{*}=\Delta ^{0}\backslash \mathbf {sSet} } is the category of pointed simplicial sets.

Properties

  • For simplicial sets X {\displaystyle X} and Y {\displaystyle Y}, there is a unique morphism γ X , Y : X ⋄ Y → X ∗ Y {\displaystyle \gamma _{X,Y}\colon X\diamond Y\rightarrow X*Y} from the join of simplicial sets compatible with the maps X + Y → X ∗ Y , X ⋄ Y {\displaystyle X+Y\rightarrow X*Y,X\diamond Y} and X ∗ Y , X ⋄ Y → Δ 1 {\displaystyle X*Y,X\diamond Y\rightarrow \Delta ^{1}}. It is a weak categorical equivalence, hence a weak equivalence of the Joyal model structure.
  • For a simplicial set X {\displaystyle X}, the functors X ⋄ − , − ⋄ X : s S e t → s S e t {\displaystyle X\diamond -,-\diamond X\colon \mathbf {sSet} \rightarrow \mathbf {sSet} } preserve weak categorical equivalences.

Literature