To establish the Weil conjectures for $n$-dimensional projective space over a finite field is elementary. Does there exist a simple direct proof of the conjectures for finite field Grassmannians?
The first result on the google search "zeta function of grassmannian" seems to contain quite a direct and not too long derivation of the zeta function for a grassmannian over a finite field:
From the zeta you see that it is rational, of course get the zeros (which are none), but you don't immediately get confirmation of the functional equation. Though, from the very simple combinatoric representation of the zeta function, it might be easy to prove directly, I will try with pen and paper later.
I'm glad I searched this, I didn't know the zeta was so simple in this case as well.
|show 5 more comments|
Yes. Both cohomology and number of points are readily determined by looking at the Schubert cells (a cell of dimension k contributes one dimension to $H^k$, and $q^k$ to the point count) and they match.
In fact, it's very easy to check Weil's conjecture directly for any smooth variety which has a decomposition into cells.
|show 1 more comment|