Tricks of The Trade
Tricks are used in deep results.

[ IAS ] 
Pierre Deligne is a famous number theorist who has won most of the top honors in mathematics. Among many achievements he developed Alexander Grothendieck’s idea of motives, a way to unify various notions of cohomology.
Today I thought we would look at tricks that are used in proving deep theorems, like Deligne’s result on the finite Riemann hypothesis.
The finite Riemann hypothesis can be framed around polynomials of some degree (at most) . A natural question is how many points are there in the finite field of elements so that
Deligne proved, solving a famous open problem, that the number of such points is near : The bound is
Such bounds are immensely important whenever one needs to bound the number of solutions to equations over finite fields.
Deligne’s Trick
Timothy Gowers outlines the trick in his essay for Deligne’s Abel prize. One of the objectives is to establish the following expression for the zeta function of the system of degree equations over :
where each is a polynomial with integer coefficients. Then one needs to show that the reciprocals of the roots of each are algebraic integers of modulus .
A general technique gives an upper bound of on —that is, a lower bound of on the modulus of the roots themselves. The additive in the power at first seems a substantial gap. However, the technique is general enough to apply to fold tensor products of the system of equations, in which the corresponding reciprocals are . This gives
for all even integers . The additive does not change, so under taking th roots of both sides it gets whittled down. The conclusion is
as desired. A previouslyknown duality condition—we were just talking about that subject—makes this an equality and the rest of the analysis goes through.
Deligne commented on Grothendieck’s reaction in to his proof:
If I had done it using motives, he would have been very interested, because it would have meant that the theory of motives had been developed. Since the proof used a trick, he did not care.
Indeed deep results sometimes rely on “tricks”; Deligne’s result is an example of this phenomenon. We do not mean to say his proof is anything but amazing. The point is that while the proof uses advanced machinery it also needs a trick.
What do we mean by a trick? A trick is a simple, usually obvious, fact that has important consequences. Perhaps the best way to explain what we mean as tricks is to give some more examples.
Some Favorite Tricks
Prime Divisors I: If does not divide the integer , then is not zero.
Prime Divisors II: If too many primes divide the integer , then is zero.
Even vs Odd: Many arguments use the trivial fact that when is even and is odd. The version of this for is the key in many proofs that certain numbers are not rational. Think and .
The Pigeonhole Principle: Of course the fact that placing objects into or less bins yields some bin with at least two or more objects is use often.
Polynomial Roots: This is the often used fact that a polynomial of degree can have at most roots, unless its is identically zero.
Expectation: Suppose that some random variable has positive expectation. Then there must be some value so that is positive. This is the basis of the probabilistic method.
Epsilon Trick: This is that
for all , implies that . Note that this is used in the final step of Deligne’s trick.
A trigonometry Identity: An early proof of the Prime Number Theorem uses that
This follows since
This plays a key role in showing that the Riemann Zeta function is not zero for points with real part at least .
Sums of Squares: The fact that
for reals, is used often.
Injective and Surjective: This is the fact that a map is 11 if and only of it is onto for any map provided is finite. This is critical in many proofs, especially in showing that certain results on finite fields can move over to the complex numbers.
The Geometric Identity: Many deep arguments in number theory use the fact that
provided . This shows that
when is a root of unity bounded away from . This is used in the analysis of exponential sums, which are used to prove many deep results.
Absolute Values: The following simple idea is used in number theory to prove results about the Riemann Zeta function. Suppose
Then it follows that the sequence
changes sign somewhere. The point is that showing an upper bound
and a lower bound
are often easier than trying to show there is some sign change in a sequence.
This last trick is one of my recent favorites. I have never used it, but I find it appealing. Here is one place where it is critical. Suppose that we have a real valued function defined for in the interval . We wish to prove that for some point in the interval . By the famous intermediate value theorem we only need to show that and have different signs. This can be hard, if the function is complicated, as it is in the application. So suppose we can prove this
Then the integral version of the above trick shows that there is a zero as needed. This is used to show that many of the zeroes of the Riemann Zeta function lie on the critical line—neat. The key is that while proving lower and upper bounds are hard, they are possible.
Open Problems
I wanted to point out some tricks to make the point that deep results can pivot on knowing certain simple but important facts—tricks. Perhaps the more tricks we know the better our chances at solving an open problem.
What are some of your favorite tricks?
Since you anyhow mentioned Gowers: http://www.tricki.org/
Telescoping sums and products
Also, Professor Tao has written about a similar trick “tensor power trick” https://terrytao.wordpress.com/2007/09/05/amplificationarbitrageandthetensorpowertrick/
Dear i like tricks:
Yes Tao has written about this. I think he has shown that it can be quite powerful. Thanks for the comment.
Best
Dick
Between two points there is a line. Is that a trick? Should be right?
Dear Reader:
Yes line defined by two points is a kind of trick. Or could use: Suppose that a set of points in the plane cannot be covered by N > 1 lines, implies that must have at least 2N1 points. Proof: Suppose that has only 2N2 points. Then can cover it by N1 lines, since each covers two points.
Best
Dick
When is a trick not an axiom?
What I gave was one of Euclid’s axioms.
One trick that I like is the trick of using generic variables. Suppose you want to prove that every matrix divides its characteristic polynomial (the Cayley Hamilton theorem). The proof is easy if the matrix is diagonal. And it also easy if the matrix can be diagonalized, e.g. if all eigenvalues are distinct. But then you replace the entries by generic variables. Now all eigenvalues must be distinct so you diagonalize and prove for this symbolic matrix which implies the identity for every instance. Now, maybe this involves some cheating but at the very least it gives a very good intuition. And, of course, it is important for randomized algorithm…
Dear Gil:
I love this trick. I heard this first in a paper by Richard Bellman, if I recall. You are right that it is a very powerful trick.
Are there ways to do this in finite fields? I know it works in the reals or the complex. Is there a way to do something like this in finite structures?
Best
Dick
Dear Dick, well, I think that the idea of replacing constants with generic elements or variables should work also in finite characteristics. So it can give you identities (like the fact that substituting a matrix in the characteristic polynomial gives zero) also over finite fields. Over the real and complex numbers you can use a limiting argument but probably this is not needed. I vaguely remember that there are some caveats that you need to worry about to get a complete proof even for the CayleyHamilton theorem. But I don’t remember what they are.
I used this trick heavily in my Ph D thesis for something called “algebraic shifting”. (This can be done over every characteristics.)
best Gil