These notes outline the “fundamental theorems” of étale cohomology, following [4, Ch. vi], as well as briefly discuss the Weil conjectures.

On June 23, 1993, Andrew Wiles unveiled his strategy for proving the Shimura-Taniyama-Weil conjecture for semistable elliptic curves defined over the field Q of rational numbers. Thanks to the work of Gerhard Frey, Jean-Pierre Serre, and Kenneth Ribet, this was known to imply Fermat’s Last Theorem. Six years later Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor have finally an...

Building on work of Crew, we give a rigid cohomological analogue of the main result of Deligne’s “Weil II”; this makes it possible to give a purely p-adic proof of the Weil conjectures. Ingredients include a p-adic analogue of Laumon’s application of the geometric Fourier transform in the l-adic setting, as well as recent results on p-adic differential equations, due to André, Christol, Crew, M...

In both of these examples, we have proved that X(Q) = ∅ by showing that X(Qv) = ∅ for some place v. In the first case it was v = ∞, the real place. In the second case we showed that X(Q2) was empty: the argument applies equally well to a supposed solution over Q2. Given a variety X over a number field k and a place v of k, it is a finite procedure to decide whether X(kv) is empty. Moreover, X(k...

Absolute Hodge classes first appear in Deligne’s proof of the Weil conjectures for K3 surfaces in [14] and are explicitly introduced in [16]. The notion of absolute Hodge classes in the singular cohomology of a smooth projective variety stands between that of Hodge classes and classes of algebraic cycles. While it is not known whether absolute Hodge classes are algebraic, their definition is bo...

This is an expository paper on zeta functions of abelian varieties over finite fields. We would like to go through how zeta function is defined, and discuss the Weil conjectures. The main purpose of this paper is to fill in more details to the proofs provided in Milne. Subject to length constrain, we will not include a detailed proof for Riemann hypothesis in this paper. We will mainly be follo...

In this article, following an insight of Kontsevich, we extend the Weil conjecture, as well strong form Tate from realm algebraic geometry to broad noncommutative setting dg categories. Moreover, establish a functional equation for Hasse-Weil zeta functions, compute l-adic and p-adic absolute values eigenvalues cyclotomic Frobenius, provide complete description category numerical motives in ter...