Warning! — Theorems ahead

Don't worry, no danger ahead! — This is just a short post about the German mathematician Ewald Warning and the theorems that bear his name.

It seems that Ewald Warning's name will be forever linked with that of Chevalley, for the Chevalley-Warning theorem is one of the rare modern results that can be taught to undergraduate students; in France, it is especially famous at the Agrégation level. (Warning published a second paper, in 1959, about the axioms of plane geometry.)

Warning's paper, Bemerkung zur vorstehenden Arbeit von Herrn Chevalley (About a previous work of Mr Chevalley), has been published in 1935 in the Publications of the mathematical seminar of Hamburg University (Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg), just after the mentioned paper of Chevalley. Emil Artin had a position in Hamburg at that time, which probably made the seminar very attractive; as a matter of fact, the same 1935 volume features a paper of Weil about Riemann-Roch, one of Burau about braids, one of Élie Cartan about homogeneous spaces, one of Santalo on geometric measure theory, etc.

1. The classic statement of the Chevalley—Warning theorem is the following.

Theorem 1. – Let $p$ be a prime number, let $q$ be a power of $p$ and let $F$ be a field with $q$ elements. Let $f_1,\dots,f_m$ be polynomials in $n$ variables and coefficients in $F$, of degrees $d_1,\dots,d_m$; let $d=d_1+\dots+d_m$. Let $Z=Z(f_1,\dots,f_m)$ be their zero-set in $F^n$. If $d<n$, then $p$ divides $\mathop{\rm Card}(Z)$.

This is really a theorem of Warning, and Chevalley's theorem was the weaker consequence that if $Z\neq\emptyset$, then $Z$ contains at least two points. (In fact, Chevalley only considers the case $q=p$, but his proof extends readily.) The motivation of Chevalley lied in the possibility to apply this remark to the reduced norm of a possibly noncommutative finite field (a polynomial of degree $d$ in $d^2$ variables which vanishes exactly at the origin), thus providing a proof of Wedderburn's theorem.

a) Chevalley's proof begins with a remark. For any polynomial $f\in F[T_1,\ldots,T_n]$, let $f^*$ be the polynomial obtained by replacing iteratively $X_i^q$ by $X_i$ in $f$, until the degree of $f$ in each variable is $<q$. For all $a\in F^n$, one has $f(a)=f^*(a)$; moreover, using the fact that a polynomial in one variable of degree $<q$ has at most $q$ roots, one proves that if $f(a)=0$ for all $a\in F^n$, then $f^*=0$.

Assume now that $Z$ contains exactly one point, say $a\in F^n$, let $f=\prod (1-f_j^{q-1})$, let $g_a=\prod (1-(x_i-a_i)^{q-1})$. Both polynomials take the value $1$ at $x=a$, and $0$ elsewhere; moreover, $g_a$ is reduced. Consequently, $f^*=g$. Then
$$(q-1)n=\deg(g_a)=\deg(f^*)\leq \deg(f)=(q-1)\sum \deg(f_j)=(q-1)d,$$
contradicting the hypothesis that $d<n$.

b) Warning's proof is genuinely different. He first defines, for any subset $A$ of $F^n$ a reduced polynomial $g_A=\sum_{a\in A} g_a=\sum_{a\in A}\prod (1-(x_i-a_i)^{q-1})$, and observes that $g_A(a)=1$ if $a\in A$, and $g_A(a)=0$ otherwise.
Take $A=Z$, so that $f^*=g_Z$. Using that $\deg(f^*)\leq \deg(f)=(q-1)d$ and the expansion
$(x-a)^{q-1} = \sum_{i=0}^{q-1} x^i a^{q-1-i}$, Warning derives from the equality $f^*=g_Z$
the relations
$$\sum_{a\in Z} a_1^{\nu_1}\dots a_n^{\nu_n}=0,$$
for all $(\nu_1,\dots,\nu_n)$ such that $0\leq \nu_i\leq q-1$ and $\sum\nu_i <(q-1)(n-d)$. The particular case $\nu=0$ implies that $p$ divides $\mathop{\rm Card}(Z)$. More generally:

Proposition 2. — For every polynomial $\phi\in F[T_1,\dots,T_n]$ of reduced degree $<(q-1)(n-d)$, one has $\sum_{a\in A} \phi(a) = 0$.

c) The classic proof of that result is even easier. Let us recall it swiftly. First of all, for every integer $\nu$ such that $0\leq \nu <q$, one has $\sum_{a\in F} a^\nu=0$. This can be proved in many ways, for example by using the fact that the multiplicative group of $F$ is cyclic; on the other hand, for every nonzero element $t$ of $F$, the change of variables $a=tb$ leaves this sum both unchanged and multiplied by $t^\nu,$ so that taking $t$ such that $t^\nu\neq 1$, one sees that this sum vanishes. It follows from that that for every polynomial $f\in F[T_1,\dots,T_n]$ whose degree in some variable is $\lt q-1$, one has $\sum_{a\in F^n} f(a)=0$. This holds in particular if the total degree of $f$ is $\lt (q-1)n$.
Taking $f$ as above proves theorem 1.

2. On the other hand there is a second Warning theorem, which seems to be absolutely neglected in France. It says the following:

Theorem 3. — Keep the same notation as in theorem 1. If $Z$ is nonempty, then $\mathop{\rm Card}(Z)\geq q^{n-d}$.

To prove this result, Warning starts from the following proposition:

Proposition 4. – Let $L,L'$ be two parallel subspaces of dimension $d$ in $F^n$. Then $\mathop{\rm Card}(Z\cap L)$ and $\mathop{\rm Card}(Z\cap L')$ are congruent modulo $p$.

Let $r=n-d$. Up to a change of coordinates, one may assume that $L=\{x_1=\dots=x_{r}=0\}$ and $L'=\{x_1-1=x_2=\dots=x_{r}=0\}$. Let
$$\phi = \frac{1-x_1^{q-1}}{1-x_1} (1-x_2^{q-1})\cdots (1-x_{r}^{q-1}).$$
This is a polynomial of total degree is $(q-1)r-1<(q-1)(n-d)$. For $a\in F^n$, one has $\phi(a)=1$ if $a\in L$, $\phi(a)=-1$ if $a\in L'$, and $\phi(a)=0$ otherwise. Proposition 4 thus follows from proposition 2. It is now very easy to prove theorem 3 in the particular case where there exists one subspace $L$ of dimension $d$ such that $\mathop{\rm Card}(Z\cap L)\not\equiv 0\pmod p$. Indeed, by proposition 4, the same congruence will hold for every translate $L'$ of $L$. In particular, $\mathop{\rm Card}(Z\cap L')\neq0$ for every translate $L'$ of $L$, and there are $q^{n-d}$ distinct translates.

To prove the general case, let us choose a subspace $M$ of $F^n$ of dimension $s\leq d$ such that $\mathop{\rm Card}(Z\cap M)\not\equiv 0\pmod p$, and let us assume that $s$ is maximal.
Assume that $s< d$. Let $t\in\{1,\dots,p-1\}$ be the integer such that $\mathop{\rm Card}(Z\cap M)\equiv t\pmod p$. For every $(s+1)$-dimensional subspace $L$ of $F^n$ that contains $M$, one has $\mathop{\rm Card}(Z\cap L)\equiv 0\pmod p$, by maximaility of $s$, so that $Z\cap (L\setminus M)$ contains at least $p-t$ points. Since these subspaces $L$ are in 1-1 correspondence with the lines of the quotient space $F^n/M$, their number is equal to $(q^{n-s}-1)/(q-1)$. Consequently, $$\mathop{\rm Card}(Z) = \mathop{\rm Card}(Z\cap M) + \sum_L \mathop{\rm Card}(Z\cap (L\setminus M)) \geq t + (p-t) \frac{q^{n-s}-1}{q-1} \geq q^{n-s-1}\geq q^{n-d},$$ as was to be shown.

3. Classic theorems seem to an everlasting source of food for thought.

a) In 1999, Alon observed that Chevalley's theorem follows from the Combinatorial Nullstellensatz he had just proved. On the other hand, this approach allowed Brink (2011) to prove a similar result in general fields $F$, but restricting the roots to belong to a product set $A_1\times\dots\times A_n$, where $A_1,\dots,A_n$ are finite subsets of $F$ of cardinality $q$. See that paper of Clarke, Forrow and Schmitt for further developments, in particular a version of Warning's second theorem.

b) In the case of hypersurfaces (with the notation of theorem 1, $m=1$), Ax proved in 1964 that the cardinality of $Z$ is divisible not only by $p$, but by $q$. This led to renewed interest in the following years, especially in the works of Katz, Esnault, Berthelot, and the well has not dried up yet.

c) In 2011, Heath-Brown published a paper where he uses Ax's result to strengthen the congruence modulo $p$ of proposition 4 to a congruence modulo $q$.

d) By a Weil restriction argument, a 1995 paper of Moreno-Moreno partially deduces the Chevalley-Warning theorem over a field of cardinality $q$ from its particular case over the prime field. I write partially because they obtain a divisibility by an expression of the form $p^{\lceil f \alpha\rceil}$, while one expects $q^{\lceil \alpha}=p^{f\lceil\alpha\rceil}$. However, the same argument allows them to obtain a stronger bound which does not involve not the degrees of the polynomials, but the $p$-weights of these degrees, that is the sum of their digits in their base $p$ expansions. Again, they obtain a divisibility by an expression of the form $p^{\lceil f\beta\rceil}$, and it is a natural question to wonder whether the divisibility by $p^{f\lceil\beta\rceil}$ can be proved.

Counting points and counting curves on varieties — Tribute to Daniel Perrin

$\require{enclose}\def\VarC{\mathrm{Var}_{\mathbf C}}\def\KVarC{K_0\VarC}$
Daniel Perrin is a French algebraic geometer who turned 70 last year. He his also well known in France for his wonderful teaching habilities. He was one of the cornerstones of the former École normale supérieure de jeunes filles, before it merged in 1985 with the rue d'Ulm school. From this time remains a Cours d'algèbre which is a must for all the students (and their teachers) who prepare the agrégation, the highest recruitment process for French high schools. He actually taught me Galois theory (at École normale supérieure in 1990/1991) and Algebraic Geometry (the year after, at Orsay). His teaching restlessly stresses  the importance of examples. He has also been deeply involved in training future primary school teachers, as well as in devising the mathematical curriculum of high school students: he was responsible of the report on geometry. It has been a great honor for me to be invited to lecture during the celebration of his achievements that took place at Orsay on November, 23, 2016.

Diophantine equations are a source of numerous arithmetic problems. One of them has been put forward by Manin in the 80s and consists in studying the behavior of the number of solutions of such equations of given size, when the bound grows to infinity. A geometric analogue of this question considers the space of all curves with given degree which are drawn on a fixed complex projective, and is interested in their behavior when the degree tends to infinity. This was the topic of my lecture and is the subject of this post.

Let us first begin with an old problem, apparently studied by Dirichlet around 1840, and given a rigorous solution by Chebyshev and Cesáro around 1880: the probability that two integers be coprime is equal to $6/\pi^2$. Of course, there is no probability on the integers that has the properties one would expect, such as being invariant by translation, and the classical formalization of this problem states that the numbers of pairs $(a,b)$ of integers such that $1\leq a,b\leq n$ and $\gcd(a,b)=1$ grows as $n^2 \cdot 6/\pi^2$ when $n\to+\infty$,

This can be proved relatively easily, for example as follows. Without the coprimality condition, there are $n^2$ such integers. Now one needs to remove those pairs both of which entries are multiples of $2$, and there are $\lfloor n/2\rfloor^2$ of those, those where $a,b$ are both multiples of $3$ ($\lfloor n/3\rfloor^2$), and then comes $5$, because we have already removed those even pairs, etc. for all prime numbers. But in this process, we have removed twice the pairs of integers both of which entries are multiples of $2\cdot 3=6$, so we have to add them back, and then remove the pairs of integers both of which are multiples of $2\cdot 3\cdot 5$, etc. This leads to the following formula for
the cardinality $C(n)$ we are interested in:

$\displaystyle
 C(n) = n^2 - \lfloor\frac n2\rfloor^2 - \lfloor \frac n3\rfloor^2-\lfloor \frac n5\rfloor^2 - \dots
+ \lfloor \frac n{2\cdot 3}\rfloor^2+\lfloor\frac n{2\cdot 5}\rfloor^2+\dots
- \lfloor \frac n{2\cdot 3\cdot 5} \rfloor^2 - \dots $.

Approximating $\lfloor n/a\rfloor$ by $n/a$, this becomes

$\displaystyle
C(n) \approx  n^2 - \left(\frac n2\right)-^2 - \left (\frac n3\right)^2-\left( \frac n5\rfloor\right)^2 - \dots
+ \left (\frac n{2\cdot 3}\right)^2+\left(\frac n{2\cdot 5}\right)^2+\dots
- \left (\frac n{2\cdot 3\cdot 5} \right)^2 - \dots $

which we recognize as

$\displaystyle
C(n)\approx n^2 \left(1-\frac1{2^2}\right) \left(1-\frac1{3^2}\right)\left(1-\frac1{5^2}\right) \dots
=n^2/\zeta(2)$,

where $\zeta(2)$ is the value at $s=2$ of Riemann's zeta function $\zeta(s)$. Now, Euler had revealed the truly arithmetic nature of $\pi$ by proving in 1734 that $\zeta(2)=\pi^2/6$. The approximations we made in this calculation can be justified, and this furnishes a proof of the above claim.

We can put this question about integers in a broader perspective if we recall that the ring $\mathbf Z$ is a principal ideal domain (PID) and study the analogue of our problem in other PIDs, in particular for $\mathbf F[T]$, where $\mathbf F$ is a finite field; set $q=\operatorname{Card}(\mathbf F)$. The above proof can be adapted easily (with simplifications, in fact) and shows that number of pairs $(A,B)$ of monic polynomials of degrees $\leq n$ such that $\gcd(A,B)=1$ grows as $q^n(1-1/q)$ when $n\to+\infty$. The analogy becomes stronger if one observes that $1/(1-1/q)$ is the value at $s=2$ of $1/(1-q^{1-s})$, the Hasse-Weil zeta function of the affine line over $\mathbf F$.

What can we say about our initial question if we replace the ring $\mathbf Z$ with the PID $\mathbf C[T]$? Of course, there's no point in counting the set of pairs $(A,B)$ of coprime monic polynomials of degree $\leq n$ in $\mathbf C[T]$, because this set is infinite. Can we, however, describe this set? For simplicity, we will consider here the set $V_n$ of pairs of coprime monic polynomials of degree precisely $n$. If we identify a monic polynomial of degree $n$ with the sequence of its coefficients, we then view $V_n$ as a subset of $\mathbf C^{n}\times\mathbf C^n$. We first observe that $V_n$ is an Zariski open subset of $\mathbf C^{2n}$: its complement $W_n$ is defined by the vanishing of a polynomial in $2n$ variables — the resultant of $A$ and $B$.

When $n=0$, we have $V_0=\mathbf C^0=\{\mathrm{pt}\}$.

Let's look at $n=1$: the polynomials $A=T+a$ and $B=T+b$ are coprime if and only if $a\neq b$;
consequently, $V_1$ is the complement of the diagonal in $\mathbf C^2$.

For $n=2$, this becomes more complicated: the resultant of the polynomials $T^2+aT+b$ and $T^2+cT+d$ is equal to $a^2d-abc-adc+b^2-2bd+bc^2+d^2$; however, it looks hard to guess some relevant properties of $V_n$ (or of its complement) just by staring at this equation. In any case, we can say that $V_2$ is the complement in $\mathbf C^4$ of the union of two sets, corresponding of the degree of the gcd of $(A,B)$. When $\gcd(A,B)=2$, one has $A=B$; this gives the diagonal, a subset of $\mathbf C^4$ isomorphic to $\mathbf C^2$; the set of pairs of polynomials $(A,B)$ whose gcd has degree $1$ is essentially $\mathbf C\times V_1$: multiply a pair $(A_1,B_1)$ of coprime polynomials of degree $1$ by an arbitrary polynomial of the form $(T-d)$.
Consequently,
\begin{align}V_2&=\mathbf C^4 - \left( \mathbf C^2 \cup \mathbf C\times V_1\right)\\
&= \mathbf C^4 - \left( \enclose{updiagonalstrike}{\mathbf C^2}\cup \left(\mathbf C\times (\mathbf C^2-\enclose{updiagonalstrike}{\mathbf C})\right)\right)\\
&=\mathbf C^4-\mathbf C^3
\end{align}
if we cancel the two $\mathbf C^2$ that appear. Except that this makes no sense!

However, there is a way to make this computation both meaningful and rigorous, and it consists in working in the Grothendieck ring $\KVarC$ of complex algebraic varieties. Its additive group is generated by isomorphism classes of algebraic varieties, with relations of the form $[X]=[U]+[Z]$ for every Zariski closed subset $Z$ of an algebraic variety $X$, with complement $U=X-Z$. This group has a natural ring structure for which $[X][Y]=[X\times Y]$. Its unit element is the class of the point, $[\mathbf A^0]$ if one wishes. An important element of this ring $\KVarC$ is the class $\mathbf L=[\mathbf A^1]$ of the affine line. The natural map $e\colon \VarC\to \KVarC$ given by $e(X)=[X]$ is the universal Euler characteristic: it is the universal map from $\VarC$ to a ring such that $e(X)=e(X-Z)+e(Z)$ and $e(X\times Y)=e(X)e(Y)$, where $X,Y$ are complex varieties and $Z$ is a Zariski closed subset of $X$.

In particular, it generalizes the classical Euler characteristic, the alternate sum of the dimensions of the cohomology groups (with compact support, if one wishes) of a variety. A subtler invariant of $\KVarC$ is given by mixed Hodge theory: there exists a unique ring morphism $\chi_{\mathrm H}\KVarC\to\mathbf Z[u,v]$ such that for every complex variety $X$, $\chi_{\mathrm H}([X])$ is the Hodge-Deligne polynomial of $X$. In particular, if $X$ is projective and smooth, $\chi_{\mathrm H}([X])=\sup_{p,q} \dim h^q(X,\Omega^p_X) u^pv^q$. If one replaces the field of complex numbers with a finite field $\mathbf F$, one may actually count the numbers of $\mathbf F$-points of $X$, and this furnishes yet another generalized Euler characteristic.

The preceding calculation shows that $e(V_0)=1$, $e(V_1)=\mathbf L^2-\mathbf L$ and $e(V_2)=\mathbf L^4-\mathbf L^3$; more generally, one proves by induction that $e(V_n)=\mathbf L^{2n}-\mathbf L^{2n-1}$ for every integer $n\geq 0$.

Equivalently, one has $e(W_n)=\mathbf L^{2n-1}$ for all $n$. I have to admit that I see no obvious reason for the class of $W_n$ to be equal to that of an affine space. However, as Ofer Gabber and Jean-Louis Colliot-Thélène pointed out to me during the talk, this resultant is the difference of two homogeneous polynomials $p-q$ of degrees $d=2$ and $d+1=3$; consequently, the locus it defines is a rational variety — given $a,b,c$, there is generically a unique $t$ such that $p-q$ vanishes at $(at,bt,ct,t)$.

These three results have a common interpretation if one brings in the projective line $\mathbf P_1$. Indeed, pairs $(a,b)$ of coprime integers (up to $\pm1$) correspond to rational points on $\mathbf P_1$, and if $\mathbf F$ is a field, then pairs $(A,B)$ of coprime polynomials in $\mathbf F[T]$ correspond (up to $\mathbf F^\times$) to elements of $\mathbf P_1(\mathbf F(T))$.
In both examples, the numerical datum $\max(|a|,|b|)$ or $\max(\deg(A),\deg(B))$ is called the height of the corresponding point.

In the case of the ring $\mathbf Z$, or in the case of the ring $\mathbf F[T]$ where $\mathbf F$ is a finite field, one has an obvious but fundamental finiteness theorem: there are only finitely many points of $\mathbf P_1$ with bounded height. In the latter case, $\mathbf C[T]$, this naïve finiteness does not hold. Nevertheless, if one sees $\mathbf P_1(\mathbf C(T))$ as an infinite dimensional variety — one needs infinitely many complex numbers to describe a rational function, then the points of bounded height constitute what is called a bounded family, a “finite dimensional” constructible set.

The last two examples have a common geometric interpretation. Namely, $\mathbf F(T)$ is the field of functions of a projective smooth algebraic curve $C$ over $\mathbf F$; in fact, $C$ is the projective line again, but we may better ignore this coincidence. Then a point $x\in\mathbf P_1(\mathbf F(T))$
corresponds to a morphism $\varepsilon_x\colon C\to\mathbf P_1$, and the formula $H(x)=\deg(\epsilon_x^*\mathscr O(1))$ relates the height $H(x)$ of $x$ to the degree of the morphism $\varepsilon_x$.

Since the notion of height generalizes from $\mathbf P_1$ to projective spaces $\mathbf P_n$ of higher dimension (and from $\mathbf Q$ to general number fields), this suggests a general question. Let $V\subset\mathbf P_n$ be a projective variety over a base field $k$ hat can one say about the set of points $x\in V(k)$ such that $H(x)\leq B$, when the bound $B$ grows to $\infty$?
The base field $k$ can be either a number field, or the field of functions $\mathbf F(C)$ of a curve $C$ over a finite field $\mathbf F$, or the field of functions $\mathbf C(C)$ of a curve over the complex numbers. In the last two cases, the variety can even be taken to be constant, deduced from a variety $V_0$ over $\mathbf F$ or $\mathbf C$.

1. When $k$ is a number field, this set is a finite set; how does its cardinality grows? This is a question that Batyrev and Manin have put forward at the end of the 80s, and which has attracted a lot of attention since.
2. When $k=\mathbf F(C)$ is a function field over a finite field, this set is again a finite set; how does its cardinality grows? This question has been proposed by Emmanuel Peyre by analogy with the question of Batyrev and Manin.
3. When $k=\mathbf C(C)$ is a function field over $\mathbf C$, this set identifies with a closed subscheme of the Grothendieck-Hilbert scheme of $V$; what can one say about its geometry, in particular about its class in $\KVarC$? Again, this question has been proposed by Emmanuel Peyre around 2000.

In a forthcoming post, I shall recall some results on these questions, especially the first one, and in particular explain an approach based on the Fourier summation formula. I will then explain a theorem proved with François Loeser where we make use of Hrushovski–Kazhdan's motivic Fourier summation formula in motivic integration to prove an instance of the third question.

“May you and all your students flourish.”

Francis Su was the former president of the Mathematical Association of America. He just gave a beautiful address at the AMS-MAA Joint Meeting, entitled “Mathematics for Human Flourishing”.

Basically, when asked about the goal of mathematics, the answer is often related to its contribution to the progress of mankind through the advancement of science. Francis Su explicits what the deepest goal of mathematics may be: contribute to the flourishing not only of mankind as a whole, but of each of us as human beings. Starting from Aristotle's view that a well-lived life goes through the exercise of “virtue” — excellence of character leading to the excellence of conduct. He then quotes five basic desires which mathematics help fulfill while cultivating such virtues: play, beauty, truth, justice and love.

Francis Su's address is full of personal stories, encounters, and quotes, and I invite all of you either to watch the video on the Facebook page of the MAA, or to read its transcript on Francis Su's blog.

On the beginning of this New Year, I would just like to conclude this short message by repeating his
final wish: ”May you and all your students flourish!”