examples of computations of etale cohomology

Last modified date: <%+ tp.file.last_modified_date() %>



examples of computations of etale cohomology

  • For a smooth connected complete curve \(X\) over an algebraically closed field of characteristic coprime to \(n\): \begin{align*} { {H}^{\scriptscriptstyle \bullet}} (X; C_n) \cong C_n \oplus C_n{ {}^{ \scriptscriptstyle\times^{2g} } }[1] \oplus C_n[2]\end{align*} and \begin{align*} { {H}^{\scriptscriptstyle \bullet}} (X; {\mathbf{G}}_m{}_{/ {k}} ) \cong k^{\times}\oplus \operatorname{Pic}(X)[1] \end{align*}

  • For any sheaf \({\mathcal{F}}\) and \(x= \operatorname{Spec}k\) a geometric point, \begin{align*}\tau_{\geq 1} { {H}^{\scriptscriptstyle \bullet}} _\text{ét}(x; {\mathcal{F}}) = 0.\end{align*}

  • \(H^i_{\text{ét}, c}({\mathbf{A}}^1_{/ {k}} \otimes_k k^{ {}^{ \operatorname{sep} } }; { {\mathbf{Q}}_\ell }) = { {\mathbf{Q}}_\ell }(-1)[2]\).

Etale fundamental groups

attachments/Pasted%20image%2020220404010008.png attachments/Pasted%20image%2020220404010029.png

Elliptic curves

See https://people.math.ethz.ch/~kowalski/deligne.pdf#page=12

attachments/Pasted%20image%2020220424125342.png attachments/Pasted%20image%2020220424125513.png attachments/Pasted%20image%2020220424125542.png attachments/Pasted%20image%2020220424125559.png

#todo/untagged #todo/add-references #todo/create-links