Looking for reference on Serre's talk "linear rep and number of points mod p" - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T21:53:22Z http://mathoverflow.net/feeds/question/43631 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/43631/looking-for-reference-on-serres-talk-linear-rep-and-number-of-points-mod-p Looking for reference on Serre's talk "linear rep and number of points mod p" Ying Zhang 2010-10-26T04:30:25Z 2012-06-17T15:29:59Z <p>Actually I am not sure this is a legitimate question on MO. In April and June of this year Serre gave two talks on the same title "linear representations and the number of points mod p", one in ETH Number theory Days Zurich, another during Prof. Gross's birthday conference in Boston. Unfortunately I was in neither of those, nor could I find another reference about this talk online.</p> <p>In the proof of Weil conjecture for curves, say an elliptic curve $E$ over $\mathbf{Q}$ has good reduction mod $p$, then the characteristic polynomial of the Frobenius operator on the Tate module for $E$ mod $p$ will essentially give us the number of points on the curve in $\mathbf{F}_{p^n}$. So I would say this is an obvious example of relations between <em>two</em>-dimensional representation and number of points. But I wonder if Serre has more. E.g. (tangentially related) <a href="http://www.math.harvard.edu/conferences/gross_10/panel/panel.pdf" rel="nofollow">Here</a> Mazur was interested in the <strong>Chebyshev bias</strong> (which is usually a quite analytic phenomenon) among the number of points corresponding to different $p$ (which, by the way, has few references also), and I'd like to know if the representation side could shed some light on this. </p> <p>Of course since I didn't attend the talk, Serre could be talking about totally different things. I would greatly appreciate it if anyone attended the talk/have seen such notes/heard about this circle of ideas share some comments on this. Thanks!</p> http://mathoverflow.net/questions/43631/looking-for-reference-on-serres-talk-linear-rep-and-number-of-points-mod-p/43697#43697 Answer by Yuri Zarhin for Looking for reference on Serre's talk "linear rep and number of points mod p" Yuri Zarhin 2010-10-26T17:13:59Z 2010-10-26T17:13:59Z <p>Last year Serre gave a talk in Moscow </p> <p><a href="http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&amp;presentid=331" rel="nofollow">http://www.mathnet.ru/php/presentation.phtml?option_lang=rus&amp;presentid=331</a></p> <p>entitled </p> <p>Variation with $p$ of the number of solutions mod $p$ of a family of polynomial equations"</p> <p>where he discussed a "higher-dimensional" refined variant of Sato-Tate conjecture about the equidistribution of "angles" of Frobenius elements for elliptic curves without CM. Serre's conjecture relates the number of solutions with values of certain virtual characters of a certain compact Lie group (whose identity component is a maximal compact subgroup of the Mumford-Tate group involved). I believe that (in a less elementary form) this conjecture is discussed among others in Serre's Seattle talk </p> <p>Propriétés conjecturales des groupes de Galois motiviques et des représentations $\ell$-adiques" </p> <p>at the Motives conference (1991). (The text has appeared in Proc. Sympos. Pure Math., 55, Part 1 published by the AMS).</p> <p>Judging by the title, there might be some overlapping between Serre's talks in Zuerich/Boston this year and in Moscow last year. However, the video of Moscow talk and the notes of Seattle's talk are available.</p> http://mathoverflow.net/questions/43631/looking-for-reference-on-serres-talk-linear-rep-and-number-of-points-mod-p/43713#43713 Answer by Rob Harron for Looking for reference on Serre's talk "linear rep and number of points mod p" Rob Harron 2010-10-26T18:50:57Z 2010-11-01T05:58:56Z <p>At the Dick Gross conference, Serre went over what he called "missing exercises from SGA 4.5". Basically he used the relation between the number of points mod $p$ on a variety and eigenvalues of Frobenius at $p$ to make statements that were less obvious in one situation, but pretty clear in the other (one side being points mod $p$, the other side being statements about functions on topological groups). Here's the dictionary: Let $X$ be a separated finite type scheme over $\mathbf{Z}$ and let $N_X(p^e)=\mathrm{card}(X(\mathbf{F}_{p^e}))$. On the one hand, one has that</p> <ul> <li>$N_X(p^e)=\sum (-1)^i\mathrm{Tr}\left(\mathrm{Fr}_p^e|H^i_c(\overline{X},\mathbf{Q}_\ell)\right)$ for all $p\geq p_0$ and all $e\geq1$.</li> </ul> <p>On the other hand,</p> <ul> <li>let $G=\mathrm{Gal}(\mathbf{Q}_S/\mathbf{Q})$, where $\mathbf{Q}_S$ is the maximal extension of $\mathbf{Q}$ unramified outside a finite set of primes $S$. Consider the virtual character $a$ of $\sum(-1)^iH^i_c\left(\overline{X},\mathbf{Q}_\ell\right)$.</li> </ul> <p>Here are some situations he looked at:</p> <ol> <li><p>If $N_X(p)=N_{X^\prime}(p)$ for a set of primes of density 1 then $N_X(p^e)=N_{X^\prime}(p^e)$ for all $p\geq p_0$ and all $e\geq1$. (Under the dictionary, this is simply the statement that if $G$ is a topological group, $K$ is a topological field, and $a, a^\prime$ are two continuous functions $G\rightarrow K$ that agree on a dense subset, then they are equal.)</p></li> <li><p>Suppose $|N_X(p)-N_{X^\prime}(p)|$ is bounded for a set of primes of density 1. Then</p> <p>(i) $|N_X(p^e)-N_{X^\prime}(p^e)|$ has the same bound for all $p\geq p_0$ and all $e\geq1$;</p> <p>(ii) Base changing to a suitable finite extension of $\mathbf{Q}$, the value becomes constant.</p></li> <li><p>In the special case of 2. when the bound is equal to 1, then either the difference is a constant, a quadratic character, or the negative of a quadratic character.</p></li> <li><p>Let $B(X):=\sum\dim H^i_c(X(\mathbf{C}),\mathbf{Q})$. Suppose $N_X(p)\neq N_X(p^\prime)$ for an infinite set of $p$. Then,</p> <p>the set of such $p$ has density $\geq\frac{1}{(B(X)+B(X^\prime))^2}$.</p> <p>Here the group theory statement is the following: let $G$ be a compact group (and set its total Haar measure to 1) and let $K$ be a locally compact field of characteristic $0$. If $\rho_i:G\rightarrow \mathrm{GL}(n_i,K)$ are two continuous linear representations and $a:=\mathrm{Tr}\rho_1-\mathrm{Tr}\rho_2$, then either</p> <p>(i) $a=0$, or</p> <p>(ii) {$g\in G:a(g)\neq0$} has volume $\geq (n_1+n_2)^{-2}$.</p></li> </ol> <p>There's a little bit more he covered, and I've also left out the proofs. But that should give you a good idea of what his talk was about.</p> http://mathoverflow.net/questions/43631/looking-for-reference-on-serres-talk-linear-rep-and-number-of-points-mod-p/99819#99819 Answer by Chandan Singh Dalawat for Looking for reference on Serre's talk "linear rep and number of points mod p" Chandan Singh Dalawat 2012-06-17T05:19:42Z 2012-06-17T15:29:59Z <p>You might be interested in Serre's recent book </p> <p><em>Lectures on</em> $N_X(p)$, AK Peters, Taylor and Francis, New York, 2011, 163 pages,</p> <p>a version of which is available on his website at the <a href="http://www.college-de-france.fr/site/historique/essai.htm" rel="nofollow">Collège de France</a>. </p> <p>Serre deals with the following basic question : Let $X$ be a scheme of finite type over $\mathbf{Z}$. What can you say about the number $N_X(p)$ of points of $X$ over the finite field $\mathbf{F}_p$, as $p$ varies (over the primes) ? For example, it is not entirely trivial (Theorem 1.1) to show that $X$ is empty if and only if $N_X(p)=0$ for all sufficiently large $p$.</p> <p>Another aspect of the question is the relationship between the analytic space $X(\mathbf{C})$ and the sequence $N_X(p)$. For example, can you recover the dimension of $X(\mathbf{C})$, or the number of irreducible components of $X(\mathbf{C})$ from the sequence $N_X(p)$ ? See Theorem 1.2 for this.</p> <p>Later (Thoerem 6.15) he discusses what conclusion can be drawn if $|N_X(p)-N_Y(p)|&lt;2$ for a set of $p$ of density $1$.</p>