nLab
simplicial T-complex

Context

Homotopy theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

A simplicial T-complex is a Kan complex equipped with a choice of horn fillers, which satisfy certain ‘equations’. It is thus a special case of an algebraic Kan complex.

There is quite a difference between the Kan complex structure

  1. of the nerve N(𝒢)N(\mathcal{G}) of a groupoid, 𝒢\mathcal{G},

  2. and that of, say, a singular complex SingXSing X of some topological space XX.

In the first, if we are given a (n,i)(n,i)-horn, then there is exactly one nn-simplex in Ner(G)Ner(G), since the (n,i)(n,i)-horn has a chain of nn-composable arrows of GG in it (at least unless (n,i)=(2,0)(n,i) = (2,0) or (2,2)(2,2), which cases are slightly different) and that chain gives the required nn-simplex. In other words, there is a ‘canonical’ filler for any horn. In Sing(X)Sing(X), there will usually be many fillers; however the fact that this simplicial set is Kan is a property of retractions on standard simplices, and is not specifically a property of the space XX - that is the basic intuition.

Abstracting, in part, from this idea, Brown and Higgins developed the idea of a cubical T-complex. This was a cubical set with in each dimension nn, a subset of the nn-cubes being declared ‘thin’. The term was adopted to indicate that they, somehow, were of lower dimension than they looked to be. The theory was initiated in a simplicial context in the 1977 Bangor thesis of Keith Dakin listed below, and used by Brown and Higgins who showed that cubical TT-complexes were equivalent to crossed complexes. The corresponding simplicial TT-complex theory was further developed in the 1978 Bangor thesis of Nick Ashley, (see below for publication).

Definition

A simplicial TT-complex is a pair (K,T)(K,T), where KK is a simplicial set and T=(T n) n1T = (T_n)_{n\geq 1} is a graded subset of KK with T nK nT_n\subseteq K_n. Elements of TT are called thin. The thin structure satisfies the following axioms:

  • Every degenerate element is thin.
  • Every horn in KK has a unique thin filler.
  • If all faces but one of a thin element are thin, then so also is the remaining face.
Examples
  1. A closely related idea is that of group T-complex. Group TT-complexes form a category equivalent to reduced crossed complexes. Any group TT-complex has an underlying simplicial set, which is a simplicial TT-complex.

  2. The nerve of a crossed complex has a natural T-complex structure.

Together with very similar ideas of John Roberts, adapted by Ross Street, the notion of TT-complex is one of the precursors of Dominic Verity’s notion of complicial set.

They are also related to Jack Duskin’s notion of hypergroupoid.(The connection is explored in the papers by Nan Tie listed below.)

References

Relevant references for simplicial T-complexes include:

  • Ronnie Brown, An Introduction to simplicial T-complexes, Esquisses Math. 32 (1983) Part 1

  • M.K. Dakin, Kan complexes and multiple groupoid structures, Ph.D Thesis, University of Wales, Bangor, 1977. Esquisses Math. (1983) 32 Part 2

  • N. Ashley, Simplicial T-Complexes: a non abelian version of a theorem of Dold-Kan, Ph.D Thesis University of Wales, Bangor, 1978; Dissertationes Math., 165, (1989), 11 – 58. Esquisses Math. (1983) 32 Part 3

  • G. Nan Tie, A Dold-Kan theorem for crossed complexes, J. Pure Appl. Alg., 56, (1989.), 177 -– 194.

  • G. Nan Tie, Iterated W and T-groupoids, J. Pure Appl. Alg., 56, (1989), 195 -– 209.

  • Ronnie Brown, and P.J. Higgins, On the algebra of cubes J. Pure Appl. Algebra 21 (1981) 233–260.

  • R. Brown, and P.J. Higgins, The equivalence of ω\omega -groupoids and cubical TT-complexes Cahiers Topologie G'eom. Diff'erentielle 22 (1981) 349–370.

Revised on March 6, 2012 10:07:14 by Tim Porter (95.147.236.214)