2
$\begingroup$

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)$?

Improve this question
$\endgroup$
2
  • $\begingroup$ 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.$ $\endgroup$
    – shenghao
    Commented Oct 26, 2011 at 1:49
  • $\begingroup$ 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. $\endgroup$
    – Makhalan Duff
    Commented Oct 26, 2011 at 4:13

2 Answers 2

Reset to default
12
$\begingroup$

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)$.

Improve this answer
$\endgroup$
2
  • 3
    $\begingroup$ Wow, that's a pretty strong lemma. $\endgroup$
    – Makhalan Duff
    Commented Oct 25, 2011 at 22:55
  • $\begingroup$ From the number of votes, you'd think I'd come up with it myself :) $\endgroup$
    – B R
    Commented Oct 26, 2011 at 20:10
0
$\begingroup$

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]$.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .