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 $ X(\mathbb{F}_q)$ of $ X$. This led us to define the zeta function

of $ X$. Furthermore, I asked the reader to have faith that there are rigid cohomology spaces $ H_\mathrm{rig}^i(X)$ of $ X$, that the Frobenius extends to an operator $ F$ on each of them, and that we have a product expansion

Obviously many details have been left out, but this will suffice for continuing. I should state the disclaimer that from now on things will be a bit more sketchy since I'm not familiar with the more specialized material, and eventually I will just give references. As I have mentioned previously, I am not an expert in these areas, and I ask the patience of the reader since these summaries may lack some of the polish of my usual posts.

More »