homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The Euler characteristic of an object is – if it exists – its categorical dimension.
There are two definitions of the Euler characteristic of a chain complex. Let $R$ be a commutative ring and let $V$ be a chain complex of $R$-modules.
If each $V_n$ is finitely generated and projective, then the Euler characteristic of $V$ is the alternating sum of their ranks, if this is finite:
If the homology of $V$ consists of finitely generated projective modules, then the Euler characteristic of $V$ is the alternating sum of its Betti numbers (the ranks of its homology modules), if this is finite:
When both of these are defined, they are equal. This is a consequence of the functoriality of the categorical definition (Definition 6).
Definition 2 shows that the Euler characteristic of chain complexes is invariant under the natural notion of equivalence of chain complexes: (zig-zags of) quasi-isomorphisms.
For $X$ a topological space and $R$ some ring, its Euler characteristic over $R$ is the Euler characteristic, according to Def. 2, of its homology chain complex (for instance singular homology), if this is finite: the alternating sum of its Betti numbers
By default one takes $R = \mathbb{Z}$ to be the integers, but it is equivalent to take $R = \mathbb{Q}$ to be the rational numbers. (Choosing a ring with torsion, however, might result in a different “Euler characteristic”.)
This definition is usually known as the Euler-Poincaré formula. Historically earlier was
Let $X$ be a finite CW-complex. Write $cell(X)_k$ for the set of its $k$-cells. Then the Euler characteristic of $X$ is
This is equivalently the Euler characteristic of the cellular chain complex of $X$ according to Definition 1. Thus, since the homology of $X$ can be computed with cellular homology, this Euler characteristic agrees with the previous one.
In the special case that $X$ is a surface, Def. 4 reduces to the historical definition by Leonhard Euler, which implicitly was known already to Descartes around 1620:
Let $X$ be a convext polyhedron. Then its Euler characteristic is
All the definitions considered so far can be subsumed by the following general abstract one.
The Euler characteristic of a dualizable object in a symmetric monoidal category is its categorical dimension: the trace of its identity morphism.
Explicitly, this means the Euler characteristic of an object $X$ is the composite
where $\eta$ and $\varepsilon$ are the unit and counit of the dual pair $(X,X^*)$, and $S$ is the unit object of the symmetric monoidal category. This subsumes the previous definitions as follows:
In the category of chain complexes over a ring $R$, an object is dualizable if it is finitely generated overall, and projective in each degree. Its dual is then given by $(X^*)_n = Hom_R(X_{-n},R)$. The unit $\eta$ picks out $\sum x \otimes x^*$, where $\{x\}$ encompasses a basis for each $X_n$ and $\{x^*\}$ is the dual basis.
The symmetry isomorphism $X \otimes Y \xrightarrow{\cong} Y \otimes X$ introduces a sign $x\otimes y \mapsto (-1)^{|y|} y\otimes x$, so that when we then evaluate, we get a contribution of $1$ for each $x$ of even degree and $-1$ for each $x$ of odd degree. Thus we recover Def. 1. Note that the unit object is $R$ itself in degree zero, so that we see $\chi(X)$ only as an element of $R$ (so, for instance, the Euler characteristic in this sense of a rank-$p$ free $(\mathbb{Z}/p)$-module is zero.
In the derived category of chain complexes over $R$, an object is dualizable if it is quasi-isomorphic to one of the form above. A similar argument shows that its Euler characteristic is then computed as in Def. 2.
The Euler characteristic of a topological space or $\infty$-groupoid can also be defined directly with this approach, without a detour into homology. Namely, if $X$ is any Euclidean Neighborhood Retract?, such as a finite CW complex or a smooth manifold, then its suspension spectrum $\Sigma_+^\infty X$ is dualizable in the stable homotopy category. Its dual is the Thom spectrum of its stable normal bundle, with the unit of the duality being the Thom collapse map. Its categorical Euler characteristic is then an endomorphism of the sphere spectrum, which can be identified with an integer (via $\pi_0^s(S) = \mathbb{Z}$). See around DoldPuppe, corollary 4.6).
Since the categorical definition is purely in terms of the symmetric monoidal structure, Euler characteristics are preserved by any symmetric monoidal functor (as long as enough of its structure maps are isomorphisms). Since chains and homology can be made into symmetric monoidal functors, it follows that all the ways of defining the Euler characteristic of a space agree.
See (PontoShulman) and the discussion at Thom spectrum for more on this.
The above Euler characteristic of a topological space is the alternating sum over sizes of homology groups. Similar in construction is the alternating product of sizes of homotopy groups. This goes by the name ∞-groupoid cardinality or homotopy cardinality . But below we shall see that Euler characteristic of higher categories interpolates between this homotopical and the above homological notion.
For $X$ a topological space / homotopy type / ∞-groupoid, its homotopy cardinality or ∞-groupoid cardinality is – if it exists – the rational number given by the alternating product of cardinalities of homotopy groups
The process of sending a category $C$ to its geometric realization of categories ${\vert C \vert} \in$ Top $\simeq$ Grpd is a way to present topological spaces, and hence ∞-groupoids, by a category: we can think of $\vert C \vert$ as the Kan fibrant replacement of $C$: the universal solution to weakly inverting all morphisms of $C$.
Up to the relevant notion of equivalence in an (infinity,1)-category (which is weak homotopy equivalence), every ∞-groupoid arises as the nerve/geometric realization of a category. In fact one can assume the category to be a poset. (This follows from the existence of the Thomason model structure, as discussed in more detail there.)
Since the combinatorial data in a category and all the more in a poset $C$ is much smaller than in that of its Kan fibrant replacement $\vert C \vert$, it is of interest to ask if one can read off the Euler characteristic $\chi(\vert C \vert)$ already from $C$ itself. This is indeed the case:
Let $C$ be a finite category. A weighting on $C$ is a function
satsifying
where $\vert C(a,b)\vert$ is the cardinality of the hom-set $C(a,b)$. A coweighting on $C$ is a weighting on the opposite category $C^{op}$.
If $C$ admits both a weighting $\{k^a\}$ and a coweighting $\{k_a\}$, then its Euler characteristic is
The definition of Euler characteristic of posets appears for instance in (Rota). For groupoids it has been amplified in BaezDolan. The joint generalization to categories is due to (Leinster), where the above appears as def. 2.2.
Notice that this $\chi(C)$ is in general not an integer, but a rational number. However in sufficiently well-behaved cases, discussed below, $\chi(C)$ coincides with the topological Euler characteristic $\chi(\vert C \vert)$ of its geometric realization. Since that is integral, in these cases also $\chi(C)$ is.
Let $V$ be an good enrichment category (for instance a cosmos) which itself comes equipped with a good notion of cardinality, in the form of a monoidal functor
Then the above formula for the Euler characteristic of a category verbatim generalizes to $V$-enriched categories. The ordinary case is recovered for $V =$ FinSet and $|-| : FinSet \to \mathbb{R}$ the ordinary cardinality operation.
Since strict infinity-categories can be understood as arising from iterative enrichment
etc, this gives a notion of Euler characteristic of strict $\infty$-categories, hence in particular of strict infinity-groupoids.
One should be able to show that applied to strict $\infty$-groupoids this does reproduce homotopy cardinality.
Euler characteristic behaves well with respect to the basic operations in homotopy theory.
In a symmetric monoidal triangulated category with dualizable objects $X, Y, Z$, if
is a homotopy pushout, then the tractial Euler characteristic of $W$ exists and is
This is due to (May, 1991).
The following propositions assert that and how the various definitions of Euler characteristics all suitably agree when thez jointly apply.
For $X$ a compact manifold let $P_T(X)$ be the poset of inclusions of simplices of a triangulation $T$ of $X$. Then the poset Euler characteristic of $P_T(X)$ coincides with the Euler characteristic of $X$ as a topological space
This appears as (Stanley, 3.8).
The following proposition asserts that the definition 8 of Euler characteristic of a category is indeed consistent, in that it does compute the Euler characteristic, def. 3 of the corresponding $\infty$-groupoid:
Let $C$ be a finite poset or, slightly more generally, a finite skeletal category with no nontrivial endomorphisms.
Write $\vert C \vert \in$ Top $\simeq$ ∞Grpd for its geometric realization. Then
For posets this is due to Philipp Hall, appearing as ([Stanley, prop. 3.8.5]). For finite categories this is (Leinster, cor. 1.5, prop. 2.11).
For $X$ a manifold, regard its suspension spectrum
as an object in the stable homotopy category. Then its Euler characteristic as an object of a symmetric monoidal category, def. 6 coincides with its topological Euler characteristic, def. 3.
This is due to … (?)
Mike: Can the Euler characteristic of a category be recovered as the trace for a dualizable object in some symmetric monoidal category?
For topological space / $\infty$-groupoids, there is both the notion of homological Euler characteristic as well as the notion of homotopy cardinality.
The latter looks a bit like the “exponential” of the former, so while similar to some extent they are very different notions, taken on face value. Still, the Euler characteristic of a category or rather that of a higher category does interpolate between the two notions:
For $C$ a finite groupoid, its Euler characteristic as a category, def. 8, coincides with its homotopical Euler characteristic, def. 7 or groupoid cardinality
This is noted in (Leinster, example 2.7).
For instance for $G$ a finite group let $B G \simeq K(G,1) \in$ Ho(Top) be its classifying space. This is the geometric realization both of the one-object groupoids $*//G$ as well as of some finite poset $C$.
By prop. 3 we have that the categorical Euler characteristic of $C$ is the topological Euler characteristic of $B G$. But by prop. 5 we have that the categorical Euler characteristic of $*//G$ is the homotopy cardinality of $B G$.
Typically for one and the same $\infty$-groupoid, Eucler characteristic and homotopy cardinality are never both well defined: if the series for one converges, that for the other does not.
However, by applying some standard apparent “tricks” on non-convergent series, often these can be made sense of after all, and then do agree with the other notion. For more on this see (Baez05).
For $X$ an even-dimensional smooth manifold, its Euler characteristic may also be given by integration of infinitesimal data: this is the statement of the higher dimensional Gauss-Bonnet theorem.
A standard textbook reference for topological Euler characteristics is page p. 156 and onwards in
Efremovich and Rudyak shown that the Euler characteristic is (up to the overall multiplicative factor) the only additive homotopy invariant of a finite CW complexes:
The description of Euler characteristics are categorical traces in symmetric monoidal categories is discussed in section 4 of
Behaviour of tracial Euler characteristic under homotopy colimits is discussed in
Textbooks on combinatorial aspects of Euler characteristic include
The Euler characteristic of a smooth manifold as its dimension in the stable homotopy category is discussed in example 3.7 of
See Thom spectrum for more on this
The Euler characteristic of groupoids – groupoid cardinality – has been amplified in
An exposition with an eye towards the relation between Euler characteristic and $\infty$-groupoid cardinality is in
The role of homotopy cardinality in quantization is touched on towards the end of
The generalization of the definition of Euler characteristic from posets to categories is due to
Tom Leinster, The Euler characteristic of a category (arXiv:0610260)
Tom Leinster, The Euler characteristic of a category as a sum of a divergent series (arXiv:0707.0835)
The compatibility of Euler characteristic of categories with homotopy colimits is discussed in
More on Euler characteristics of categories is in
On “Negative sets” and Euler characteristic:
André Joyal, Regle des signes en algebre combinatoire , Comptes Rendus Mathematiques de l’Academie des Sciences, La Societe Royale du Canada VII (1985), 285-290.
Steve Schanuel, Negative sets have Euler characteristic and dimension , Lecture Notes in Mathematics 1488, Springer Verlag, Berlin, 1991, pp. 379-385.
Daniel Loeb, Sets with a negative number of elements , Adv. Math. 91 (1992), 64-74.
Resumming divergent Euler characteristics:
William J. Floyd, Steven P. Plotnick, Growth functions on Fuchsian groups and the Euler characteristic , Invent. Math. 88 (1987), 1-29.
R. I. Grigorchuk, Growth functions, rewriting systems and Euler characteristic , Mat. Zametki 58 (1995), 653-668, 798.
James Propp, Exponentiation and Euler measure , Algebra Universalis 49 (2003), 459-471. (arXiv:math.CO/0204009).
James Propp, Euler measure as generalized cardinality . (arXiv).
Euler characteristics of tame spaces:
Euler characteristics of groups:
G. Harder, A Gauss-Bonnet formula for discrete arithmetically defined groups , Ann. Sci. Ecole Norm. Sup. 4 (1971), 409-455.
Jean-Pierre Serre, Cohomologie des groups discretes , Ann. Math. Studies 70 (1971), 77-169.
Kenneth Brown, Euler characteristics, in Cohomology of Groups , Graduate Texts in Mathematics 182, Springer, 1982, pp. 230-272.
O. Y. Viro, Some integral calculus based on Euler characteristic, in Topology and Geometry – Rohlin Seminar, Springer Lec. Notes in Math. 1346, 127–138 (1988) doi
Complex cardinalities:
Andreas Blass, Seven trees in one , Jour. Pure Appl. Alg. 103 (1995), 1-21. (web)
Robbie Gates, On the generic solution to $P(X) = X$ in distributive categories , Jour. Pure Appl. Alg. 125 (1998), 191-212.
Marcelo Fiore, Tom Leinster, An objective representation of the Gaussian integers , Jour. Symb. Comp. 37 (2004), 707-716. (arXiv)
Marcelo Fiore, Tom Leinster, Objects of categories as complex numbers , Adv. Math. 190 (2005), 264-277 (arXiv:0212377)
Marcelo Fiore, Isomorphisms of generic recursive polynomial types , to appear in 31st Symposium on Principles of Programming Languages (POPL04). (ps)
C.T.C. Wall, Arithmetic invariants of subdivision of complexes, Canad. J. Math. 18(1966), 92-96, doi, pdf