11
$\begingroup$

Let's suppose we have a Scheme $X$ over the the field $k$, where such a field can be though to be either $\mathbb{C}$ or a finite field $\mathbb{F}_q$. Then having this in mind, Where do we find some representative examples where Geometry governs arithmetic? That is to say, examples where the geometry (or topology) of $X$ over $\mathbb{C}$ dictates the arithmetic behavior over $\mathbb{F}_q$.

Answers along with references would be highly appreciated.

$\endgroup$
4
  • 1
    $\begingroup$ Standard example: The number of rational points on a curve is governed by the Hasse-Weil bound, which depends only on the genus and size of the base field. One could conceivably argue that the genus is governed by the complex topology, but I don't see a good reason to direct a causal arrow in any particular direction. Standard reference for the analogy: some chapter in BBD, Faisceaux Pervers, Asterisque 100. $\endgroup$
    – S. Carnahan
    Dec 1, 2009 at 5:25
  • $\begingroup$ Scott- I would say the genus is determined by the cohomology. Can you reconstruct the genus just knowing the number of points (actually you probably can...is the Hasse bound sharp if you look at large enough finite fields of a given characteristic?) $\endgroup$
    – Ben Webster
    Dec 2, 2009 at 20:41
  • $\begingroup$ By the way, I think that BBD is a terrible reference for this stuff. Milne's Etale Cohomology is much more accessible, and in English, and actually about this stuff. (BBD sends the reader back to SGA and Theorie de Weil a lot). $\endgroup$
    – Ben Webster
    Dec 2, 2009 at 20:42
  • $\begingroup$ @Ben, to reconstruct the Hasse bound: see my answer below. $\endgroup$ Dec 2, 2009 at 23:03

5 Answers 5

5
$\begingroup$

Let's start with the most elementary example: projective space $\mathbb P^n$. It's not hard to see that that the number of points on it is always $q^n + q^{n-1} + \dots + q + 1.$

Note that this is because $\mathbb P^n$ can be always decomposed into simpler pieces: $\mathbb A^n \cup \mathbb A^{n-1}\cup\dots\cup \mathbb A^0$. Interestingly, something similar applies to all $\mathbb F_q$-varieties. Specifically, the Lefschetz fixed points formula from topology applied to arithmetics gives the following statement for a variety $X/\mathbb F_q:$

There exist some algebraic numbers $\alpha_i$ with $|\alpha_i| = q^{n_i/2}$ for some $(n_i)$ such that the number of points $$\\# X(\mathbb F_{q^l}) = \sum_i (-1)^{n_i}\alpha^l_i\quad \text{for}\\ l > 0 .$$

Numbers $\alpha_i$ in fact come from geometry: they are eigenvalues of some operators acting on etale cohomology groups $H_{et}(X)$. In particular, the numbers $n_i$ can only occupy an interval between 0 and $\text{dim}\\, X$ and there are as many of them as the dimension of this group.

These groups can directly compared to the case of $\mathbb C$ whenever you construct your variety in a geometric way. To see how, consider the example of curves. Over $\mathbb C$ the cohomology have the form $\mathbb C \oplus \mathbb C^{2g} \oplus \mathbb C\ $ for some $g$ called genus; the same holds over $\mathbb F_q$:

  • projective line $\mathbb P^1$ has genus 0, so it always has $n+1$ points
  • elliptic curves $x^2 = y^3 + ay +b$ have genus 1, so they must have exactly $n + 1 + \alpha + \bar\alpha$ points for some $\alpha\in \mathbb C$ with $|\alpha| = \sqrt q.$ This is exactly the Hasse bound mentioned in another post.

These theorems, which provided an unexpected connecion between topology and arithmetics some half-century ago, were just the beginning of studying varieties over $\mathbb F_q$ using the geometric intuition that comes from the complex case.

You can read more at any decent introduction to arithmetic geometry or étale cohomology. There are also some questions here about motives which are a somewhat more abstract version of the above picture.


As a reply to Ben's comment above about reconstructing the genus if you know $X_n = \#X(F_{q^n})$:

  • You know with certainty that $1 + q^n - X_n = \sum \alpha_i^n\ $ for some algebraic numbers $\alpha_i, i = 1, 2, \dots $ having property $|\alpha_i| = \sqrt q.$

  • There cannot be two different solutions $(\alpha_i)$ and $(\beta_i)$ for a given sequence of $X_n$ because if $N$ is a number such that both $\alpha_i = \beta_i = 0$ for $i>N$ then both $\alpha$ and $\beta$ are uniquely determined from the first $N+1$ terms of the sequence.

  • So a given sequence uniquely determines the genus.

I don't know, however, if a constructive algorithm that guarantees to terminate and return genus for a sequence $X_n$ is possible. The first idea is to loop over natural numbers testing the conjecture that genus is less then $N$, but there seem to be some nuances.

$\endgroup$
0
6
$\begingroup$

Look at Dan Abramovich's Birational geometry for number theorists

$\endgroup$
0
5
$\begingroup$

E. Kowalski just published a very beautifull survey on a related issue: "My main emphasis has been to try to present some of the theory and applications surrounding the Deligne Equidistribution Theorem, for non-specialists (in particular, for readers with little experience in algebraic geometry)". Deligne's theorem and the work of Katz and others later on it are tough to enter, this survey provides a kind of bridge.

$\endgroup$
3
$\begingroup$

A brief answer is: in order to relate a variety over a finite field with a one over complex numbers, a common 'nice' model for them over some number field is needed. If such a model exists, then the varieties in question have isomorphic etale cohomology groups. Probably they also have isomorphic etale homotopy types; then l-completions of their homotopy groups are isomorphic. Note here: etale cohomology 'almost computes' singular cohomology of complex varieties, and completely computes the number of point of a variety over a finite field.

$\endgroup$
1
  • $\begingroup$ I didn't know that! sounds really amazing...I'll take a look at the references, Thks $\endgroup$ Dec 3, 2009 at 4:43
2
$\begingroup$

Look at Darmon's article on "Arithmetic of Curves".

$\endgroup$
1
  • $\begingroup$ Thanks!! :D Do I not have a proper claim towards the best answer? $\endgroup$
    – Anweshi
    Jan 2, 2010 at 23:53

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.