5
$\begingroup$

In this link, Corollary 3.2.2, page 59 the author claims that: The Euler characteristic of the toric variety $X_K$ associated to a convex polytope $K$ is the number of vertices of $K$.

I want to see how it works. Could someone please illustrate this for me by using this method to compute the Euler characteristic of $\mathbb{P}^{2}$ and $\mathbb{P}^{1}\times \mathbb{P}^{1}$? Thanks so much.

$\endgroup$
2
  • 2
    $\begingroup$ I added the 'toric-variety' label. $\endgroup$
    – VA.
    Commented May 11, 2010 at 2:31
  • 2
    $\begingroup$ I've changed the title and some wording. I hope this is acceptable. $\endgroup$
    – S. Carnahan
    Commented May 12, 2010 at 5:19

1 Answer 1

16
$\begingroup$

Merely observe that a toric variety is the union of torus orbits $(\mathbb C^\*)^r$ for various dimensions $r$, and that the Euler characteristic of $(\mathbb C^\*)^r$ is zero if $r>0$ and $1$ if $r=0$.

Vertices of a polytope correspond to 0-dimensional orbits, $r$-dimensional faces -- to $r$-dimensional orbits.

$\mathbb P^2$ corresponds to a triangle, $\mathbb P^1\times\mathbb P^1$ to a square. It is not very hard to count their vertices.

$\endgroup$
1
  • 11
    $\begingroup$ More generally, if a circle $S^1$ acts on a manifold or the 1-dimensional torus $C^*$ acts on a complex algebraic variety then the Euler characteristic of the "whole" = the Euler characteristic of the fixed point set. This is a very powerful tool in topology. $\endgroup$ Commented May 11, 2010 at 3:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .