Definition 64.3.10 (03SW)—The Stacks project

Loading web-font TeX/Math/Italic

Table of contents
Part 3: Topics in Scheme Theory
Chapter 64: The Trace Formula
Section 64.3: Frobenii
Definition 64.3.10 (cite)

previous theorem
next remark

numberstags

history
statistics

Definition 64.3.10. If $x \in X(k)$ is a rational point and $\bar x : \mathop{\mathrm{Spec}}(\bar k) \to X$ the geometric point lying over $x$ , we let $\pi _ x : \mathcal{F}_{\bar x} \to \mathcal{F}_{\bar x}$ denote the action by $\text{frob}_ k^{-1}$ and call it the geometric frobenius¹

[1] This notation is not standard. This operator is denoted

$F_ x$ in [SGA4.5]. We will likely change this notation in the future.

Comments (0)

There are also:

12 comment(s) on Section 64.3: Frobenii

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