nLab
Euler characteristic

Idea

The Euler characteristic of an object is – if it exists – its categorical dimension.

Definitions

Of a chain complex

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.

Definition

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:

$$\chi (V):=\sum _{n\in \mathbb{Z}}(-1{)}^n{\mathrm{rk}}_R{V}_n.$$\chi(V) := \sum_{n \in \mathbb{Z}} (-1)^n rk_R V_n \,.

Definition

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:

$$\chi (V):=\sum _{n\in \mathbb{Z}}(-1{)}^n{\mathrm{rk}}_R{H}_n(V).$$\chi(V) := \sum_{n \in \mathbb{Z}} (-1)^n rk_R H_n(V) \,.

When both of these are defined, they are equal. This is a consequence of the functoriality of the categorical definition (Definition 6).

Remark

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.

Of a topological space (or $\mathrm{\infty }$-groupoid)

Definition

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

$$\chi (X)=\sum _{n\in \mathbb{N}}{\mathrm{rk}}_{\mathbb{Z}}{H}_n(X,R).$$\chi(X) = \sum_{n \in \mathbb{N}} rk_{\mathbb{Z}} H_n(X, R) \,.

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

Definition/Proposition

Let $X$ be a finite CW-complex. Write $\mathrm{cell}(X{)}_k$ for the set of its $k$-cells. Then the Euler characteristic of $X$ is

$$\chi (X)=\sum _{k\in \mathbb{N}}(-1{)}^k\mid \mathrm{cell}(X{)}_k\mid .$$\chi(X) = \sum_{k \in \mathbb{N}} (-1)^k \vert cell(X)_k \vert \,.

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:

Definition/Proposition

Let $X$ be a convext polyhedron. Then its Euler characteristic is

$$\chi (X)=\mid \mathrm{Vertices}(X)\mid -\mid \mathrm{Edges}(X)\mid +\mid \mathrm{Faces}(X)\mid .$$\chi(X) = \vert Vertices(X)\vert - \vert Edges(X)\vert + \vert Faces(X)\vert \,.

Of an object in a symmetric monoidal category

All the definitions considered so far can be subsumed by the following general abstract one.

Definition

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

$$S\stackrel{\eta }{\to }X\otimes X^{*}\stackrel{\cong }{\to }{X}^{*}\otimes X\stackrel{\epsilon }{\to }S$$S \xrightarrow{\eta} X \otimes X^* \xrightarrow{\cong} X^* \otimes X \xrightarrow{\varepsilon} S

where $\eta$ and $\epsilon$ 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={\mathrm{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\stackrel{\cong }{\to }Y\otimes X$ introduces a sign $x\otimes y\mapsto (-1{)}^{\mid y\mid }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 reproduces 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 $\mathrm{\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 }_{+}^{\mathrm{\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.

Homotopy cardinality ($\mathrm{\infty }$-groupoid cardinality)

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.

Definition

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

$${\chi }_{\mathrm{homotop}}(X):=\sum _{[x]\in {\pi }_0(X)}\prod _{k=1}^{\mathrm{\infty }}(\mid {\pi }_k(X,x)\mid {)}^{(-1{)}^k}.$$\chi_{homotop}(X) := \sum_{[x] \in \pi_0(X)} \prod_{k =1}^\infty (|\pi_k(X,x)|)^{(-1)^k} \,.

Of posets, groupoids and categories

The process of sending a category $C$ to its geometric realization of categories $\mid C\mid \in$ Top $\simeq$ Grpd is a way to present topological spaces, and hence ∞-groupoids, by a category: we can think of $\mid C\mid$ 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 $\mid C\mid$, it is of interest to ask if one can read off the Euler characteristic $\chi (\mid C\mid )$ already from $C$ itself. This is indeed the case:

Of finite categories

Definition

Let $C$ be a finite category. A weighting on $C$ is a function

$$k^{(-)}:\mathrm{ob}C\to \mathbb{Q}$$k^{(-)} : ob C \to \mathbb{Q}

satsifying

$$\forall a\in \mathrm{ob}C:\sum _{b\in \mathrm{ob}C}\mid C(a,b)\mid k^b=1,$$\forall a \in ob C \;:\; \sum_{b \in ob C} \vert C(a,b) \vert k^b = 1 \,,

where $\mid C(a,b)\mid$ is the cardinality of the hom-set $C(a,b)$. A coweighting on $C$ is a weighting on the opposite category $C^{\mathrm{op}}$.

If $C$ admits both a weighting $\{k^a\}$ and a coweighting $\{k_a\}$, then its Euler characteristic is

$$\chi (C):=\sum _{a\in \mathrm{ob}C}{k}^a=\sum _{a\in \mathrm{ob}C}{k}_a\in \mathbb{Q}.$$\chi(C) := \sum_{a \in ob C} k^a = \sum_{a \in ob C} k_a \;\;\; \in \mathbb{Q} \,.

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.

Remark

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 (\mid C\mid )$ of its geometric realization. Since that is integral, in these cases also $\chi (C)$ is.

Of enriched and higher categories

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

$$\mid -\mid :V\to ℝ.$$|-| : V \to \mathbb{R} \,.

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 $\mid -\mid :\mathrm{FinSet}\to ℝ$ the ordinary cardinality operation.

Since strict infinity-categories can be understood as arising from iterative enrichment

$$\mathrm{Str}2\mathrm{Cat}\simeq \mathrm{Cat}-\mathrm{Cat}$$Str2Cat \simeq Cat-Cat

$$\mathrm{Str}3\mathrm{Cat}\simeq \mathrm{Str}2\mathrm{Cat}-\mathrm{Cat}$$Str3Cat \simeq Str2Cat-Cat

etc, this gives a notion of Euler characteristic of strict $\mathrm{\infty }$-categories, hence in particular of strict infinity-groupoids.

One should be able to show that applied to strict $\mathrm{\infty }$-groupoids this does reproduce homotopy cardinality.

Properties

Compatibility with homotopy colimits

Euler characteristic behaves well with respect to the basic operations in homotopy theory.

Proposition

In a symmetric monoidal triangulated category with dualizable objects $X,Y,Z$, if

$$\begin{array}{ccc}Z& \to & Y\\ \downarrow & & \downarrow \\ X& \to & W\end{array}$$\array{ Z &\to& Y \\ \downarrow && \downarrow \\ X &\to& W }

is a homotopy pushout, then the tractial Euler characteristic of $W$ exists and is

$$\chi (W)=\chi (X)+\chi (y)-\chi (Z).$$\chi(W) = \chi(X) + \chi(y) - \chi(Z) \,.

This is due to (May, 1991).

Relations between the various definitions

The following propositions assert that and how the various definitions of Euler characteristics all suitably agree when thez jointly apply.

Proposition

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

$$\chi (X)=\chi (P_T(X)).$$\chi(X) = \chi(P_T(X)) \,.

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 $\mathrm{\infty }$-groupoid:

Proposition

Let $C$ be a finite poset or, slightly more generally, a finite skeletal category with no nontrivial endomorphisms.

Write $\mid C\mid \in$ Top $\simeq$ ∞Grpd for its geometric realization. Then

$$\chi (C)=\chi (\mid C\mid ).$$\chi(C) = \chi(\vert C \vert) \,.

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).

Proposition

For $X$ a manifold, regard its suspension spectrum

$${\Sigma }^{\mathrm{\infty }}X\in \mathrm{Ho}(\mathrm{Spec})$$\Sigma^\infty X \in Ho(Spec)

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?

Relation between Euler characteristic and $\mathrm{\infty }$-groupoid cardinality

For topological space / $\mathrm{\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:

Proposition

For $C$ a finite groupoid, its Euler characteristic as a category, def. 8, coincides with its homotopical Euler characteristic, def. 7 or groupoid cardinality

$$\chi (C)={\chi }_{\mathrm{homotop}}(C).$$\chi(C) = \chi_{homotop}(C) \,.

This is noted in (Leinster, example 2.7).

Example

For instance for $G$ a finite group let $BG\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$.

$$BG\simeq \mid *//G\mid \simeq \mid C\mid .$$B G \simeq |*//G| \simeq |C| \,.

By prop. 3 we have that the categorical Euler characteristic of $C$ is the topological Euler characteristic of $BG$. But by prop. 5 we have that the categorical Euler characteristic of $*//G$ is the homotopy cardinality of $BG$.

Typically for one and the same $\mathrm{\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).

Gauss-Bonnet theorem

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.

Related concepts

• Euler class

References

A standard textbook reference for topological Euler characteristics is page p. 156 and onwards in

• E.H. Spanier, Algebraic topology , McGraw-Hill (1966)

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:

• V. A. Efremovich, Yu. B. Rudyak, On the concept of the Euler characteristic, Uspehi Mat. Nauk 31:5(191) (1976), 239–240 MR458412, Russian pdf

The description of Euler characteristics are categorical traces in symmetric monoidal categories is discussed in section 4 of

• Albrecht Dold, Dieter Puppe, Duality, trace and transfer , Proceedings of the Steklov Institute of Mathematics, (1984), issue 4

Behaviour of tracial Euler characteristic under homotopy colimits is discussed in

• Peter May, The additivity of traces in triangulated categories K-theory (1991) (website)

Textbooks on combinatorial aspects of Euler characteristic include

• Richard P. Stanley, Enumerative Combinatorics , Vol. I, Cambridge Studies in Advanced Mathematics 49, Cambridge University Press, corrected reprint (1997)

• Gian-Carlo Rota, On the foundations of combinatorial theory I: theory of Möbius functions , Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2 (1964), 340–368.

The Euler characteristic of a smooth manifold as its dimension in the stable homotopy category is discussed in example 3.7 of

• Kate Ponto, Mike Shulman, Traces in symmetric monoidal categories (pdf, slides).

See Thom spectrum for more on this

The Euler characteristic of groupoids – groupoid cardinality – has been amplified in

• John Baez, James Dolan, From Finite Sets to Feynman Diagrams (arXiv)

An exposition with an eye towards the relation between Euler characteristic and $\mathrm{\infty }$-groupoid cardinality is in

• John Baez, The mysteries of counting: Euler characteristic versus homotopy cardinality (web) Lecture notes (2005)

The role of homotopy cardinality in quantization is touched on towards the end of

• Dan Freed, Mike Hopkins, Jacob Lurie, Constantin Teleman, Topological Quantum Field Theories from Compact Lie Groups

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

• Thomas Fiore, Wolfgang Lück, Roman Sauer, Euler Characteristics of Categories and Homotopy Colimits (arXiv:1007.3868)

More on Euler characteristics of categories is in

• Kazunori Noguchi, The Euler characteristic of infinite acyclic categories with filtrations, arxiv/1004.2547

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:

• Lou van den Dries, Tame Topology and O-Minimal Structures Cambridge U. Press, Cambridge, 1998. Chapter 4.2: Euler Characteristic.

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