2009-11-01 10:48:01 8 Comments

Singular homology is usually defined via singular simplices, but Serre in his thesis uses singular cubes, which he claims are better adapted to the study of fibre spaces. This young man (25 years old at the time) seemed to know what he was talking about and has had a not too unsuccessful career since.

So my (quite connected) questions are

1) Why do so few books use this approach ( I only know Massey's) ?

2) What are the pro's and con's of both approaches ?

3) Does it matter ? After all the homology groups obtained are the same.

### Related Questions

#### Sponsored Content

#### 12 Answered Questions

### [SOLVED] Algebraic Topology Beyond the Basics: Any Texts Bridging The Gap?

**2010-03-13 07:31:46****The Mathemagician****21362**View**54**Score**12**Answer- Tags: at.algebraic-topology textbook-recommendation

#### 1 Answered Questions

### [SOLVED] Does the cubical nerve preserve weak equivalences of simplicial sets?

**2019-02-18 03:27:10****Tim Campion****272**View**7**Score**1**Answer- Tags: at.algebraic-topology homotopy-theory simplicial-stuff

#### 1 Answered Questions

### [SOLVED] Bredon homology defined using singular chains

**2018-04-18 13:52:20****Igor Sikora****167**View**3**Score**1**Answer- Tags: at.algebraic-topology

#### 3 Answered Questions

### [SOLVED] Atiyah-Singer theorem-a big picture

**2016-03-08 19:42:16****truebaran****3408**View**59**Score**3**Answer- Tags: at.algebraic-topology dg.differential-geometry kt.k-theory-and-homology big-picture index-theory

#### 7 Answered Questions

### [SOLVED] Singular analog of cellular homology

**2011-07-22 05:35:02****Subh_b****1644**View**12**Score**7**Answer- Tags: at.algebraic-topology

## 7 comments

## @Ronnie Brown 2011-12-16 21:58:14

Our new book (NAT)

Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids, EMS Tracts in Mathematics vol 15

uses mainly cubical, rather than simplicial, sets. The reasons are explained in the Introduction: in strict cubical higher categories we can easily express

algebraic inverse to subdivision,a simple intuition which I have found difficult to express in simplicial terms. Thus cubes are useful for local-to-global problems. This intuition is crucial for our Higher Homotopy Seifert-van Kampen Theorem, which enables new calculations of some homotopy types, and suggests a new foundation for algebraic topology at the border between homotopy and homology.

A further reason for the connections is that they enabled an equivalence between crossed modules and certain double groupoids, and later, crossed complexes and strict cubical $\omega$-groupoids.

Also cubes have a nice tensor product and this is

crucialin the book for obtaining some homotopy classification results. See Chapter 15.I have found that with cubes I have been able to conjecture and in the end prove theorems which have enabled new nonabelian calculations in homotopy theory, e.g. of second relative homotopy groups. So I have been happy to use cubes until someone comes up with something better. ($n$-simplicial methods, in conjunction with cubical ideas, turned out, however, to be necessary for proofs in the work with J.-L. Loday.)

See also some beamer presentations available on my preprint page.

Here is a further emphasis on the above point on algebraic structures: consider the following diagram:

From left to right pictures subdivision; from right to left pictures composition. The composition idea is well formulated in terms of double categories, and that idea is easily generalised to $n$-fold categories, and is expressed well in a cubical context. In that context one can conjecture, and eventually prove, higher dimensional Seifert-van Kampen Theorems, which allow new calculations in algebraic topology. Such multiple compositions are difficult to handle in globular or simplicial terms.

The further advantage of cubes, as mentioned in above answers, is that the formula $$I^m \times I^n \cong I^{m+n}$$ makes cubes very helpful in considering monoidal and monoidal closed structures. Most of the major results of the EMS book required cubical methods for their conjecture and proof. The main results of Chapter 15 of NAT have not been done simplicially. See for example Theorem 15.6.1, on a convenient dense subcategory closed under tensor product.

Sept 5, 2015: The paper by Vezzani arxiv::1405.4548 shows a use of cubical, rather than simplicial, methods, in motivic theory; while the paper by I. Patchkoria, HHA arXiv:1011.4870, Homology Homotopy Appl. Volume 14, Number 1 (2012), 133-158, gives a "Comparison of Cubical and Simplicial Derived Functors".

In all these cases the use of

connectionsin cubical methods is crucial. There is more discussion on this mathoverflow. For us connections arose in order to define commutative cubes in higher cubical categories: compare this paper.See also this 2014 presentation The intuition for cubical methods in algebraic topology.

April 13, 2016. I should add some further information from Alberto Vezzani:

The cubical theory was better suited than the simplicial theory when dealing with (motives of) perfectoid spaces in characteristic 0. For example: degeneracy maps of the simplicial complex $\Delta$ in algebraic geometry are defined by sending one coordinate $x_i$ to the sum of two coordinates $y_j+y_{j+1}$. When one considers the perfectoid algebras obtained by taking all $p$-th roots of the coordinates, such maps are no longer defined, as $y_j+y_{j+1}$ doesn't have $p$-th roots in general. The cubical complex, on the contrary, is easily generalized to the perfectoid world.

November 29, 2016 There is more information in this paper on Modelling and Computing Homotopy Types: I which can serve as an introduction to the NAT book.

February 26, 2020 Theorem 5.4.7 of the NAT book is a generalisation of a result of JHC Whitehead on free crossed modules, in the form of a complete description of the crossed module $\pi_2(X \cup_f CA,X,x) \to \pi_1(X,x)$ in terms of the morphism $f_*:\pi_1(A,a) \to \pi_1(X, x)$. The proof in the NAT book uses cubical methods. (Whitehead's case was $A$ is a wedge of circles.) Thus we need to look at comparisons of a reasonably sophisticated level of applications.

## @Piotr Hajlasz 2019-03-01 17:42:39

A disadvantage of using cubical singular homology comes form the following example (copied from Natalia Hajlasz's homework):

Proof.For a singular chain $\sum_i a_i c_i$, where $a_i\in\mathbb{Z}$ and $c_i$ is a singular cube, define its `length' by $\sum_i a_i$. Since opposite sides of a singular cube have signs $\pm 1$, it follows that the length of $\partial c_i$ equals zero and hence the length of $\partial(\sum_i a_i c_i)$ equals zero. However, the length of $c(t)=(\cos 2\pi t,\sin 2\pi t)$ equals $1$ so it cannot be represented as a boundary of a singular chain. $\Box$If you consider the singular cube: $b=(s\cos 2\pi t, s \sin 2\pi t)$, $s,t\in [0,1]$, then $\partial b$ is a difference of two singular cubes: one is $c$ and one is a constant cube (mapping to the center). It is not possible to avoid such degenerate cubes.

As I understand this problem is what Tyler Lawson had in mind when he wrote in his answer:

The main disadvantage that comes solely from the point of view of homology is that you have this irritating normalization procedure: you have to take the cubical chains on X and take the quotient by degenerate cubes.## @Mike Miller 2019-03-05 14:31:42

In fact, the homology of a point is already wrong! The boundary map is identically zero, but there is nonetheless a singular cube in each degree. So the naive cubical homology of a point is $\Bbb Z$ in each non-negative degree.

## @Ronnie Brown 2019-03-09 11:31:12

For evaluation of methods, one needs to consider what each can and cannot (so far) do, i.e. to evaluate successes against failures, and the significance of these in terms of the current and historical aims of the subject.

## @Ronnie Brown 2020-02-19 21:24:09

The paper arxiv:2001.00534 looks at the historical background, going back to the 1932 ICM at Zurich when Alexandroff and Hopf argued that E. Cech's seminar on higher homotopy groups was not suitable for a higher dimensional version of the fundamental group, because of their abelian nature. We now know that that problem can be resolved by moving from groups to groupoids, But simplicial methods have not yielded

stricthigher homotopy groupoids, analogous to the fundamental groupoid. See the paper referred to in my answer.## @Ilya Nikokoshev 2009-11-01 11:56:24

I don't know for sure, but it would appear he means that it's easier to construct a cubic chain on a product $X \times Y$ given cubic chains on $X$ and $Y$ compared to the simplex chain given two simplex chains.

Since it's a simple exercise to go from simplices to cubes and vice versa, I don't see any advantage to cubes. In fact, I would expect any good book to explain that

eitherof approaches could be used.It would unnecessarily complicate the notation in the modern retellings of higher category theory, though. I learned about it from Lurie,

Higher Topos Theory, 0608040 and there you really want to map simplices because you'll want to draw a picture of simplex $[a_0, a_1, \cdots, a_n]$ being related to a composition of $n$ categorical arrows, the arrow from $a_0$ to $a_1$ and so on.## @Peter Arndt 2009-11-02 18:42:24

Ronnie Brown has for a long time been working with cubical strict higher categories and argues that, while for representing spaces the advantages of simplicial sets may be bigger, for carrying algebraic structure cubical sets are preferrable. Indeed, the composition of higher cells is not as nicely visible in simplicial sets as in cubical (or globular) sets. Also the definition of inverses to higher cells is much more algebraic in flavor, and algebraic tricks like subdivision into smaller cells works in a more obvious way.

Also, people who work with cubical sets have found it advantageous to introduce more degeneracy maps than just the obvious ones which "identify" opposite sides of the cube, e.g. such which identify neighbouring sides (e.g. as in ). This allows for more flexibility when folding cubes into the desired shapes, e.g. into balls as here.

## @Kevin H. Lin 2009-11-01 13:01:41

If I remember correctly, the proof of homotopy invariance of singular homology (at least the one in Hatcher) involves cutting a (simplex)x(interval) into simplices, which perhaps can be confusing. In cubical singular homology you'd just have to cut a (cube)x(interval) into cubes, which is obvious. This sort of thing maybe also comes up in other basic results that involve homotopies, such as (graded-)commutativity of cup product.

It doesn't really matter, since as you say, you get the same results at the end of the day. But perhaps in some sense simplices are more "basic" than cubes, since you can easily cut cubes (or any other polyhedron) into simplices, but you can't cut simplices into (finitely many) cubes or even "rectangle-ubes".

As for Ilya's answer, I actually don't think that cubes would necessarily complicate higher category theory stuff that much. It might even make certain things easier. Simplices are just a nice formalism with which to describe things like homotopies, and higher homotopies, and so forth. For example, if you have maps f, g, h such that (f compose g) and h are homotopic, you can think of the homotopy as being a triangle filling in the appropriate diagram. However, suppose you just have maps f and g that are homotopic. Then the homotopy is a "triangle" with a "degenerate" edge filling in the appropriate diagram. So simplices are not perfect either, we still need to allow for "degenerate" situations. In that case, we could have just started with cubes, allowing degenerate edges, to begin with...

## @Georges Elencwajg 2009-11-01 13:29:19

Thanks for your answer, Kevin. If I may be allowed a rather irrelevant comment, the fact that you can't cut a simplex into finitely many rectangle-ubes ( I like your terminology !) is surprisingly difficult. It is essentially Hilbert's third problem and was solved by Dehn only in 1900, with the help of his beautiful invariant.

## @Kevin H. Lin 2009-11-01 14:11:05

Thanks for pointing that out! I remember now learning about Dehn's proof when I was an undergraduate. But I guess I had forgotten about it, as I just figured it was an "obvious" fact!

## @Kevin Walker 2009-11-01 14:30:49

But aren't combinatorial (i.e. piecewise linear as opposed to globally linear) decompositions relevant here? The n-simplex can be divided into n+1 n-cubes. More specifically, if the n-simplex is the set of all (t_0, ..., t_n) with \sum t_i = 1, then the j-th cube is the subset where t_j > t_i for all i.

## @Kevin H. Lin 2009-11-01 15:09:51

@Kevin W: Oh, yes, you are right. I was mixing up singular homology and simplicial homology in my head. So I guess that's one way you could prove equivalence of singular homology defined using simplicies and defined using cubes.

## @Ilya Nikokoshev 2009-11-01 18:33:21

By the definition of simplices and cubes used for singular homology, each simplex

isa cube (though rather degenerate one!). There's no need for Hibert's 3 problem at all :) I still think higher category theory is easier with simplices, but it's hard to explain why unless we both go seriously through the book and try to rewrite it using cubes, which probably isn't that important anyway...## @Ilya Nikokoshev 2009-11-01 18:36:33

Ok, here's a partial explanation: simplex is defined by a bunch of vertices called

`a_0, a_1, ..., a_n`

, edges, and so forth. Now it's transparent how to make subobjects of these: just take, e.g.`a_i, a_{i+1}, ... a_{i+k}`

and the higher edges between them -- you have a perfectly defined`k`

-simplex. It will be more clumsy in a cube notation --unlessyou determine in advance that your cubes will always be degenerate enough to be actually simplices.## @Kevin H. Lin 2009-11-01 18:56:59

I don't think that what you've described would be clumsier for cubes. I think it would be the same. A simplex can be viewed as a "corner" of a cube. Your sub-simplexes are just "corners" of the appropriate sub-cubes. Anyway my thinking was just that maybe cubes could be better for situations where you have cube-shaped commutative (or homotopy commutative) diagrams. For example the diagram for an associative multiplication is a square, whereas the diagram for a commutative multiplication is a triangle. But I dunno.

## @Tyler Lawson 2009-11-02 13:31:55

Others have mentioned the advantages to cubical sets and so I don't want to say much on those; I'll just mention some facts about the other direction. The main disadvantage that comes solely from the point of view of homology is that you have this irritating normalization procedure: you have to take the cubical chains on X and take the quotient by degenerate cubes. (You can do the same for simplicial chains and you get the same answer as the original.) The cubical theory gets niceties that others have stated.

The main advantages of simplices are mostly apparent when you move a little further along into homotopy theory. The homotopy theory of simplicial sets is in some senses simply easier than the cubical analogue. For example, the cartesian product of two simplicial sets has as geometric realization the product of the geometric realizations of its factors. On the other hand, the standard "cubical interval" I, which realizes to [0,1], has a self-product I^2, whose geometric realization has fundamental group ℤ. Simplices in some ways play more nicely with degeneracies than cubes do.

Simplices are also more closely tied to categories via the simplicial nerve functor. For example, there are the simplicial constructions of classifying spaces coming from categories, and these give you nice constructions of group cohomology. (Perhaps I just don't know the cubical analogues.)

There is also the ubiquitous "bar construction" which is unreasonably useful in algebraic topology, and which comes most naturally from a simplicial construction. We use this to resolve modules, show equivalences between algebras over different operads, and more applications that are almost too numerous to name. For example, May used it quite heavily in his proofs that spaces X which are algebras over an E

_{∞}-operad have infinitely many deloopings BX, B^{2}X, ...There has been a lot of work done on cubical sets, however, but I'm not the best authority on it. Try here for a starting point.

## @Kevin Walker 2009-11-01 14:43:35

I think simplices are more convenient for constructing cones, while cubes are more convenient for constructing products. In fact, we can think of simplices as smallest collection of polyhedra which contains a point (0-simplex) and is closed under taking cones, while the cubes are the smallest collection which contain an interval (1-cube) and are closed under products. (Alternatively, contain a point and closed under taking product with an interval.)

Personally, I think it is more convenient to do singular homology with the larger collection of polyhedra which is closed under both cones and products. (The n-dimensional polyhedra in this collection are indexed by rooted trees with n edges. The simplices correspond to maximal depth trees where the valence of a vertex is at most 2, while the cubes correspond to minimal depth (star-shaped) trees where the root vertex has valence n and all the other vertices have valence 1.)

## @Kevin H. Lin 2009-11-01 15:05:32

Re: using singular homology using polyhedra obtained from both cones and products, that's a nice idea. Is it worked out anywhere? Does it admit a nice convenient notation?

## @Kevin Walker 2009-11-01 15:34:36

I'm not aware of anywhere this has been written down, but that doesn't mean much since I'm not very well read. The underlying combinatorics is closely related to both dendroidal sets and blob homology.

## @Mikael Vejdemo-Johansson 2009-11-01 17:44:11

People are using an approach, closed under both products and cones. The keyword to look for is

prodsimplicial.## @Kevin H. Lin 2009-11-01 17:55:07

Cool, thanks. Weird sounding name though. Personally I think I'd go with "prisms".

## @Qfwfq 2010-05-13 13:01:01

Wow, "prisms" sounds very good!

## @Peter May 2011-12-17 03:16:34

There is a 1957 paper ``Supercomplexes'' by Victor Gugenheim that if I remember rightly goes towards combining simplices and cubes.

## @Spice the Bird 2012-05-22 22:05:17

in fact, Gugenheim uses the terms "prisms" and "semi-prismatic theory".

## @Ronnie Brown 2016-02-06 12:11:34

Re using polyhedra: the 1984 Bangor thesis of David Jones on "Poly T-complexes" is available from pages.bangor.ac.uk/~mas010/doctorates.html though that is concerned with defining "compositions" of polyhedral objects, i.e. homotopy rather than homology. The notion of "marked complex" defined there turns out to be equivalent to that of discrete Morse theory on regular cell complexes!