## Strasbourg 2012 Part 3: More Rigid Cohomology

In Strasbourg Part 2, I gave a bit of motivation for rigid cohomology, but I skirted defining anything substantial, except for the zeta function. Recall that we have an smooth algebraic variety $ X$ of pure dimension $ d$ defined over the finite field $ \mathbb{F}_q$, and initially we were interested in the rational points […]