Theorem 64.14.4 (03U1): Weil—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 3: Topics in Scheme Theory
Chapter 64: The Trace Formula
Section 64.14: Lefschetz numbers
Theorem 64.14.4: Weil (cite)

numberstags

Theorem 64.14.4 (Weil). Let $C$ be a nonsingular projective curve over an algebraically closed field $k$, and $\varphi : C \to C$ a $k$-endomorphism of $C$ distinct from the identity. Let $V(\varphi ) = \Delta _ C \cdot \Gamma _\varphi $, where $\Delta _ C$ is the diagonal, $\Gamma _\varphi $ is the graph of $\varphi $, and the intersection number is taken on $C \times C$. Let $J = \underline{\mathrm{Pic}}^0_{C/k}$ be the jacobian of $C$ and denote $\varphi ^* : J \to J$ the action induced by $\varphi $ by taking pullbacks. Then

\[ V(\varphi ) = 1 - \text{Tr}_ J(\varphi ^*) + \deg \varphi . \]

Proof. The number $V(\varphi )$ is the number of fixed points of $\varphi $, it is equal to

\[ V(\varphi ) = \sum \nolimits _{c \in |C| : \varphi (c) = c} m_{\text{Fix}(\varphi )} (c) \]

where $m_{\text{Fix}(\varphi )} (c)$ is the multiplicity of $c$ as a fixed point of $\varphi $, namely the order or vanishing of the image of a local uniformizer under $\varphi - \text{id}_ C$. Proofs of this theorem can be found in [Lang] and [Weil]. $\square$

Comments (0)

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment