Theorem 64.27.4 (03VH): Deligne, Weil II

Loading web-font TeX/Caligraphic/Regular

Table of contents
Part 3: Topics in Scheme Theory
Chapter 64: The Trace Formula
Section 64.27: Fundamental groups
Theorem 64.27.4: Deligne, Weil II (cite)

previous proposition

numberstags

history
statistics

Theorem 64.27.4 (Deligne, Weil II). For a sheaf $\mathcal{F}_\rho$ with $\rho$ satisfying the conclusions of the conjecture above then the eigenvalues of $\pi _ X^*$ on $H_ c^ i(X_{\overline{k}}, \mathcal{F}_{\rho })$ are algebraic numbers $\alpha$ with absolute values

$|\alpha |=q^{w/2}, \text{ for }w\in \mathbf{Z},\ w\leq i$

Moreover, if $X$ smooth and proj. then $w = i$ .

Proof. See [WeilII]. $\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).

The Stacks project

Comments (0)

Post a comment