23
$\begingroup$

There are a collection of definitions of "combinatorial Euler characteristic", which is different from the "homotopy Euler characteristic". I will describe a few of them and give some references, and then ask how far they can be generalized.

  • A good place to start is Hadwiger's theorem. Define a "Hadwiger measure" m on Rn to be a thing that assigns (possibly negative) real numbers to (nice?) subsets of Rn in such a way that the assignment is invariant under rigid transformations (i.e. isometries) and satisfies the "inclusion-exclusion" principle that m(_A_ ∪ B) = m(_A_) + m(_B_) - m(_A_ ∩ B); Hadwidger measures are also required to satisfy some analytic properties. Then Hadwidger proves that the space of measures on Rn is precisely (n+1)-dimensional, and has a basis mi with mi([0,1]i) = 1 and miA) = λi mi(A), where λ A is the set rescaled by a factor of λ in every direction. In particular, m0 of a finite set counts the number of points, and agrees with Euler characteristic for compact regions; the function m0 is the "combinatorial Euler characteristic". It is not homotopy-invariant: m0([0,1]) = 1 whereas m0(R) = -1. It is multiplicative.

    Incidentally, Hadwiger's paper is in German and so I cannot read it. Apparently all this material is in Rota's book "Introduction to Geometric Probability", but I have been away from a library and haven't read it yet. Thus I don't know the precise statement of "nice".

  • Schanuel in MR1173024 various "geometric categories". Namely, say that a subset of Rn is a "polyhedron" if it is the positive locus finitely many affine maps to R; close the collection of polyhedra under union, intersection, and complement, and thus recover the notion of "polyhedral set" (so that a polyhedral set is actually a pair (n,_S_) where S is a subset of Rn satisfying certain properties). Then morphism of polyhedral sets is a set-theoretic function whose graph (as a subset of Rn x Rm) is polyhedral. Then it's straightforward to check that a morphism is an isomorphism if it is a set-theoretic bijection — morphisms allow gluing and cutting.

    Or replace the word "affine" with "polynomial" and thus recover the notion of "semi-algebraic set". Or restrict your attention to bounded polyhedral sets. Anyway, each of these geometric categories has well-behaved product and coproduct, and so a "Burnside Rig" (ring without negation) whose elements are isomorphism classes of objects. Schanuel computes each of these Burnside rigs, and shows that the universal cancelative quotient of each is the integers; this map to Z is the combinatorial Euler characteristic.

  • Apparently there are also more analytic definitions. Schanuel in MR842922 (wonderful but only trying to develop intuition and motivation) suggests that each of the Hadwiger measures can be defined in terms of curvatures and whatnot, but the formulas he gives only make sense for compact manifolds (with boundaries, corners...).

    Chen (MR1215324) describes the combinatorial Euler characteristic with the following fun integral: let f: RR be continuous except for finitely many jump and/or removable discontinuities, and define ∫Eulerf = ΣxR [ f(x) - (1/2) (f(x+) + f(x-)) ]; then try to compute Euler integrals of characteristic functions. The problem is that he then defines the multi-dimensional version via the Fubini theorem, but suggests that his integrals depend on a choice of basis.

  • The definition of combinatorial Euler characteristic is great for "finite polyhedral complexes", I think. By a "finite polyhedral complexes" I mean glue together finitely many polyhedra, but you're allowed to leave some faces open, so that unlike a CW complex not every cell must have complex closure. Then you can calculate Euler characteristic with the usual formula: (number of cells of even dimension) - (number of cells of odd dimension). I think this is a topological (but not homotopy!) invariant.

Anyway, so first, are there references I've missed?

Second and more importantly, all the references consider only subsets of Euclidean space (well, Schanuel briefly mentions the Burnside rig of varieties/C, but only computes a quotient). Why? Why isn't there an intrinsic topological description, or perhaps manifold-theoretic description?

In particular, a "measure-theoretic" version that does not rely on embeddings in Euclidean space would be great, as it would presumably give "measures" against which we could integrate smooth functions. Any ideas?

$\endgroup$
2
  • $\begingroup$ Theo -- I'd suggest trying to phrase your title as a question. How about "Is there a topological description of combinatorial Euler characteristic?"? $\endgroup$ Oct 20, 2009 at 17:11
  • $\begingroup$ @Scott: no problem. $\endgroup$ Oct 20, 2009 at 19:34

6 Answers 6

15
$\begingroup$

the best approach to the geometric euler characteristic comes from the theory of o-minimal structures.

the best reference in this area is the book "tame topology and o-minimal structures" by lou van den dries. requires very little background to understand.

in brief: an o-minimal structure is collection of boolean algebras of subsets of $R^n$ which satisfies a short list of axioms. (the name comes from model theory, but you don't need to know any model theory to understand the results)

examples of o-minimal structures include the semialgebraic sets, the globally subanalytic sets, and (if you tweak the definitions a bit) the piecewise-linear sets.

elements of an o-minimal structure are "tame" or "definable" sets. mappings between tame sets are tame iff their graph is a tame set.

basic relevant results:

every tame set has a well-defined euler characteristic.

two tame sets are "definably homeomorphic" (there is a tame bijection between them --- not necessarily continuous!) iff they have the same dimension and euler characteristic.

(yes, i wrote iff - this is the first surprise in this subject)

one can so this for more general manifolds as well.

concerning integration with respect to euler characteristic:

1) in the o-minimal framework, one can integrate all constructible functions, as noted by viro and schapira in the 1980s, based on works of macpherson and kashiwara in the 1970s. these results follow from sheaf theory. though more difficult than the combinatorial approach, all these proofs are "natural" and don't rely on "luck".

2) if you want to integrate non-constructible (e.g., smooth) integrands, the theory of chen (really due to rota) will fail -- that integral vanishes on all continuous integrands.

3) baryshnikov and ghrist have extensions of the integral to definable integrands (see 2009 arxiv paper). there are two such extensions, and they are dual. there are deep connections with morse theory, but the integral operators are unfortunately non-linear, and the fubini theorem does not hold in full generality.

$\endgroup$
1
  • $\begingroup$ Cool. I'm not too surprised by the results --- without all the model theory they are in Schanuel. What I was asking about integration is this: on a compact Riemannian, there is a (smooth) measure described in terms of curvature of the manifold whose total integral is the euler characteristic, but we can also use it as a natural measure on the manifold for integrating other functions. I don't know (and the papers I cited don't say, but I'll check out your paper) a natural "measure" on R whose total integral is -1. Given the Chen/Rota definition, I'd expect it to concentrated near the ends. $\endgroup$ Oct 19, 2009 at 18:20
5
$\begingroup$

a few comments on the comments above:

  1. the combinatorial euler characteristic of a definable space (roughly speaking, a space with finite decomposition into finite-dimensional cells) is a homeomophism invariant, but not a homotopy invariant. there is a corresponding homological definition in terms of borel-moore homology or, if preferred, cohomology with local coefficients. it is, indeed, an invariant of definable bijections --- which do not need to be continuous.

  2. the "polyconvex" sets are the combinatorial approach to "tame" sets. if you use the o-minimal theory, then you can vastly generalize the class of spaces for which euler characteristic is well-defined.

  3. one reason to use the combinatorial (sometimes called "geometric") euler characteristic is that it satisfies the mayer-vietoris principle (or inclusion/exclusion) without requiring the spaces to be compact. specifically, $\chi(A \cup B) = \chi(A) + \chi(B) - \chi(A \cap B)$. hence, you can treat $d\chi$ as a finitely-additive signed measure on definable spaces and integrate constructible functions.

i apologize for harping on the o-minimal theory, but i found that it greatly simplified and generalized otherwise clunky proofs. the book of van den dries on the subject is very elementary and clear.

$\endgroup$
4
$\begingroup$

Why isn't there an intrinsic topological description, or perhaps manifold-theoretic description?

At least in some cases, the combinatorial Euler characteristic of X is equal to the homotopy Euler characteristic of the one-point compactification of X minus 1. For instance this is true when X is compact (of course) and also when X = R^n. It's true for all "nice" subsets of R^1. I don't know whether it works when X is, say, the open unit square plus one of its vertices.

Of course the first question is whether the combinatorial Euler characteristic is even a homeomorphism invariant. I would like to know the answer also.

$\endgroup$
1
  • 3
    $\begingroup$ Let $\overline{X}$ be the one point compactification of $X$, and $\infty$ the extra point. For nice spaces, the relative homology of $(\overline{X}, \infty)$ is the Borel-Moore homology of X; so combinatorial Euler characteristic is Borel-Moore Euler characteristic in those cases. I am learning this from the informal discussion in Section 2.6 of "Representation Theory and Complex Geometry", which cites Bredon's "Sheaf Theory" for details. $\endgroup$ Nov 23, 2009 at 18:36
3
$\begingroup$

The precise statement of "nice" in Hadwiger's Theorem is "expressible as a finite union of compact convex sets". In their book Introduction to Geometric Probability, Klain and Rota use "polyconvex" for such a set.

There's a whole list of possibly-relevant references here: http://math.ucr.edu/home/baez/counting/

$\endgroup$
1
  • $\begingroup$ Great, thanks! (And many of my references are from Baez's discussion.) $\endgroup$ Oct 20, 2009 at 19:35
2
$\begingroup$

Barvinok, in Lecture 1 of his Park City Lectures (reprinted in IAS/Park City Math Series Volume 13), defines an Euler characteristic which is very similar to this one. His domain of definition is sets whose indicator functions can be written as a finite linear combination of indicator functions of polyhedra, and he states as an exercise that this can be extended to linear combinations of indicator functions of convex sets.

With his conventions, chi is not a homeomorphism invariant, because chi(\mathbb{R})=1 and chi( (0,1))=-1. It is not clear to me what harm would come from letting the Euler characteristic of the real line be -1.

$\endgroup$
0
$\begingroup$

Sorry for a late answer. I want only to say something about a "measure-theoretic" version.

For even-dimensional Riemannian manifolds there is the Chern-Gauss-Bonnet theorem that expresses the Euler characteristic as the integral of a differential $2n$-form (the integrand is basically a complete contraction of the $n$-th degree of the curvature tensor viewed as a $2$-form with values in $2$-forms).

There is also a discrete analogue of this. For polyhedral manifolds (not embedded anywhere but equipped with a piecewise Euclidean metric) there is a canonical way to define a weight of every vertex. The weight is a certain combination of solid angles at that vertex, and the sum of weights is the Euler characteristic.

This can be further generalized with the help of the "normal cycle" construction, see for example articles of Joseph Fu. But the normal cycle is constructed extrinsically (for subsets of $R^n$). An intrinsic description of metric spaces with a "Chern-Gauss-Bonnet" measure is missing, I believe.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.