Goal
From the equations of $X$, compute $\operatorname{Pic}(X^{\mathrm{al}}) \subset H_2(X_{\Bbb{C}},\Z)$ as a $\operatorname{Gal}(k^{\mathrm{al}}/k)$-module.
"The evaluation of $\rho$ for a given surface presents in general grave difficulties." (Zariski)
Corollary
The Picard Galois module gives the algebraic Brauer group for studying rational points.
$$\begin{aligned} H^1(\operatorname{Gal}(k^{\mathrm{al}}/k), \operatorname{Pic}X^{\mathrm{al}}) &\simeq \operatorname{Br}_1(X)/\operatorname{Br}_0(X) \\ X(k) &\subset X(\mathbf{A}_k)^{\operatorname{Br}} \subset X(\mathbf{A}_k) \end{aligned}$$
APPROVED (2026-09-14): [s04-m01] Slide 4: Pic; slide 8: the approved NS(A) gloss. Author, verbatim: "Yes, NS(A) should be used when mentioning abelian varieties, not on this slide."
APPROVED (2026-09-14): [s04-m02] Use ^{al} for varieties, fields and Galois groups. Author, verbatim: "we use ^{al} everywhere, no overlines"
APPROVED (2026-09-14): [s04-m03] Use ^{al} in Lectures 2 and 3 when those decks are worked on; cross-lecture instruction retained. Contact-sheet verdict: APPROVED; no note supplied.
APPLIED, SOURCE-SETTLED (2026-09-14): [s04-m04] Applied the rational equality to the added descent line; it is absent from both I15:L151-173 and L:L472-496. The source frames do not assert the disputed equality. Checked Auel-Bernardara, Remark 2.7, equation (2.1), and Stacks 0CDT. Historical approval request retained; no author verdict inferred.
OPEN (2026-09-14): [s04-m05] The Corollary box's label and statement await the author's explanation; the intended implication is UNVERIFIED. Recommendation: keep the two equations from L:L493-494 together under Corollary and explain their connection to the Goal orally. Author, verbatim: "The last two equations should be under a Corollary box, I will explain out loud what I mean by this".
AUTHOR'S CALL: [s04-m90] Which of the two Question bullets should remain? Their formulations overlap; both are preserved pending your choice.
AUTHOR'S CALL: [s04-m91] What does the Corollary box assert, and of what? Your words: "The last two equations should be under a Corollary box, I will explain out loud what I mean by this". The box is applied but has no label and no statement, so what it claims is unverified. One line is enough; it becomes the box label plus a speaker note. The two equations are unchanged.