1
$\begingroup$

Does a (connected?) projective (or just complete?) variety over a finite field have cardinality congruent to 1 mod the size of the field?

Do (connected?) affine varieties have cardinality a power of the size of the field?

I think the answers to these questions are supposed to be yes, but I suspect some sort of better formulation of the question (missing hypotheses perhaps) is needed. Maybe there needs to be some mention of rational points over an algebraic closure. Feel free to fill such things in.

It would be nice if there was any sort of converse, like "if a variety is connected and has cardinality 1 mod |K|, then it is complete", but I'm less sure something like this exists.

  • 0
    I admit that I haven't read this too carefully, but you know about [Chevalley-Warning](http://en.wikipedia.org/wiki/Chevalley–Warning_theorem), right? This sounds a lot like what you want.2012-06-22
  • 0
    @DylanMoreland, thanks that sounds like the right direction, especially for the affine case.2012-06-22
  • 0
    Looks like the affine statement is pretty wrong, and the projective one needs a load of hypotheses. Connected and has an algebraic cell decomposition looks good for now.2012-06-22

1 Answers 1

2

Nope. The general case is very far from the case of projective and affine space. Already this is false for elliptic curves; in general we only have the Hasse bound $$q + 1 - 2 \sqrt{q} \le |E(\mathbb{F}_q)| \le q + 1 + 2 \sqrt{q}$$

and neither lower nor upper bound can be improved conditional on the Sato-Tate conjecture. See also the Weil conjectures.

In the affine case a simple counterexample is the variety $xy = 1$, which has cardinality $q - 1$ over $\mathbb{F}_q$.

In the projective case, any curve of genus $0$ with at least one point over $\mathbb{F}_q$ is isomorphic to $\mathbb{P}^1$ and hence has $q + 1$ points over $\mathbb{F}_q$, but it may happen that it has no such points, e.g. take the projective closure of $x^4 + y^4 = -1$ over $\mathbb{F}_5$.

  • 0
    What genus does y=1/x have? I am considering that "genus 0" is one of the missing hypotheses.2012-06-22
  • 0
    @Jack: it has genus $0$, but it is missing more than one point at infinity. (One of them corresponds to the horizontal asymptote and one of them corresponds to the vertical asymptote.)2012-06-22
  • 0
    Hrm. Maybe the affine case just isn't true. I was worried about disjoint unions of points earlier (so added connected), but this allows us to remove points one by one. In the projective case, does genus 0 help? Counting zeros is saner projectively right? Bezout's theorem or something.2012-06-22
  • 0
    @Jack: I added an edit addressing this. Are you only interested in curves?2012-06-22
  • 0
    Usually yes, but this time I'm actually mostly concerned with large dimensions, and am only looking for an affirmative result (so trying to find sufficient hypotheses). They should include flag manifolds, and some of their other-group variations.2012-06-22
  • 0
    @Jack: this is quite special. Explicit formulas for counting points on flag manifolds are known. Morally they come from the fact that flag manifolds have a cell decomposition into copies of affine space, so the number of points $\bmod q$ is just the number of $0$-cells.2012-06-22
  • 0
    let us [continue this discussion in chat](http://chat.stackexchange.com/rooms/3849/discussion-between-jack-schmidt-and-qiaochu-yuan)2012-06-22