MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to get the gist of the proof of the Weil conjectures. Let $X$ be a variety over $\mathbb{F}_{p^n}$. A priori $Z(X,t)\in \mathbb{Q}[[t]]$. Due to the Grothendieck-Lefschetz fixed point theorem, $Z(X,t)=\prod P_i(t)^{(-1)^{i+1}}$, where $P_i(t)$ is the characteristic polynomial of the Frobenius acting on $H^i(X,\mathbb{Q}_l)$ where $l$ is a fixed prime different from $p$. This implies that $Z(X,t)\in \mathbb{Q}_l(t)\cap \mathbb{Q}[[t]]$ for every prime $l$ different from $p$.

Does this suffice to determine that it is in $\mathbb{Q}(t)$? If not, then how was it proven that it is in $\mathbb{Q}(t)$?

share|cite|improve this question
You mean rationality. Integrality sounds like $Z(X,t)\in\mathbb Z[[t]]$ or that the Frobenius eigenvalues are algebraic integers. $H^i$ should be $H^i_c.$ – shenghao Oct 26 '11 at 1:49
About $H^i$ being $H^i_c$, you're of course right. I was assuming in my head that $X$ is projective, so they are both isomorphic. I believe, and correct me if I'm wrong, that when people talk about the "rationality" of the zeta function, they mean that it is a rational function. That it is a rational function with coefficients in the rationals, is, I thought, called the integrality of the zeta function. – Makhalan Duff Oct 26 '11 at 4:13
up vote 12 down vote accepted

It is not necessarily obvious that this suffices, though it is true (fortunately). You can find a proof in Milne's Lectures on Etale Cohomology. (I happened to just be looking at this while thinking about this question.)

It is Lemma 27.9, phrased as: Let $k\subset K$ be fields and $f(t)\in k[[t]]$. If $f(t)\in K(t)$, then $f(t)\in k(t)$.

share|cite|improve this answer
Wow, that's a pretty strong lemma. – Makhalan Duff Oct 25 '11 at 22:55
From the number of votes, you'd think I'd come up with it myself :) – B R Oct 26 '11 at 20:10

First embedd $\mathbf{Q}_{\ell}\subseteq\mathbf{C}$ and then there is quite an easy argument that I discovered which answers your question, see the following link 1.

In fact this argument shows that for any normal subfield $K\subseteq\mathbf{C}$, if $$ \frac{f}{g}\in\mathbf{C}(x_1,x_2,\ldots,x_n)\cap K[[x_1,x_2,\ldots,x_n]] $$ with $\gcd(f,g)=1$ and the constant term of $f$ and $g$ are equal to $1$ then $f,g\in K[x_1,\ldots,x_n]$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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