# Preface Possible topics announcement from Daniel > The course will loosely follow Poonen's book on rational points, available here: Planned topics include: the Hasse principle for quadratic forms, obstructions to the Hasse principle (i.e. the Brauer-Manin obstruction and beyond), finding rational points and some effective methods (e.g. Chabauty), as well as some conjectural aspects of rational points. I plan to cover topics in the second half of the semester which depend on student interest; i.e. if there's interest I can say some things about Faltings's proof of the Mordell conjecture. # Thursday, August 19 ::: {.remark} Some useful prerequisites: - Number theory (e.g. places) - Class field theory - See Cassels-Frolich (up through ch. 5 and 6) - AG (although we'll avoid the language of schemes) - Galois and group cohomology - Bjorn Poonen's book ::: ::: {.remark} Setup: let $$k = {\mathbb{Q}}$$ or more generally a number field or a function field over $${\mathbb{F}}_q$$. Consider a system of polynomial equations over $$k[x_1, \cdots, x_{m}]$$: $\begin{cases} f_1(x_1, \cdots, x_m) & = 0 \\ \quad \vdots & \vdots \\ f_n(x_1, \cdots, x_m)& =0 . \end{cases}$ Some natural questions: ::: ::: {.remark title="Topic 1: Are there any common solutions?"} More generally, does $$X \coloneqq V(f_1, \cdots, f_n)$$ have any rational points? How many rational points are there? Finitely many, or infinitely many? ::: ::: {.remark title="Topic 2: what is the distribution of points?"} - How many points are there of height at most $$N$$, where $$\operatorname{ht}(a/b) = \max({\left\lvert {a} \right\rvert}, {\left\lvert {b} \right\rvert})$$? - Are they Zariski dense? I.e. are there solutions outside of the ideal $$\left\langle{f_i}\right\rangle$$? - Are they *potentially* dense, i.e. dense after some finite extension $$k\hookrightarrow k'$$? - Choosing $$k\hookrightarrow{\mathbb{C}}$$ or $${ {\mathbb{Q}}_p }$$, are the solutions dense in the analytic topology on $$X({\mathbb{C}}), X({ {\mathbb{Q}}_p })$$? If not, what is the closure? There are many conjectures around these questions, but few general results! ::: ::: {.remark title="Topic 3: Local to Global Principles"} Topic 3: local to global principles. Given $$X_{/ {{\mathbb{Q}}}}$$, if $$X({ {\mathbb{Q}}_p })\neq \emptyset$$ for all $$p$$ and $$X({\mathbb{R}}) \neq \emptyset$$, does this imply that $$X({\mathbb{Q}}) \neq \emptyset$$? More generally, for $$X_{/ {k}}$$ with $$X(K_v) \neq \emptyset$$ for all places $$v$$ of $$K$$, is this enough to imply $$X(k)\neq \emptyset$$ If so, we say $$X$$ satisfies the **Hasse principle**. If not, are there obstructions? ::: ::: {.remark title="Topic 3': Weak and Strong Approximation"} As an example, $X(k) \hookrightarrow\prod_{v\in P(k)} X(k_v)$ where $$p(k)$$ are the places of $$k$$. Is this map dense? Note the topology is the product topology, so a basis for opens are sets with finitely factors with opens, and the remaining are the entire space. Strong approximation is an adelic version of this. Obstructions to this principle: if this is not dense, what is the closure $$X(k)$$ in $$\prod X(k_v)$$ or $$X({\mathbb{A}})$$ for $${\mathbb{A}}$$ the adeles? One example we'll consider is the Brauer-Manin obstruction. ::: ::: {.remark title="Topic 4: effectiveness and decidability questions."} Given a variety $$X_{/ {{\mathbb{Q}}}}$$, is there an actual algorithm that decides if $$X({\mathbb{Q}})= \emptyset$$? This is known over $${\mathbb{Z}}$$, but open for $${\mathbb{Q}}$$ and most (not all) number fields. Are there special classes of varieties where the answer of yes? For curves, this is only known contingent on open problems (the abc conjecture, the section conjecture, Birch-Swinnerton-Dyer, etc). Given a special $$X_{/ {k}}$$ can you find $$X(k)$$? ::: ::: {.remark} Other possible topics: - The Mordell-Weil theorem for $$X$$ an abelian variety, and a generalization, the Néron-Lang theorem which works over other fields. - Falting's theorem, that curves of genus 2 have finitely many rational points. ::: ## Examples of Hasse Principles ::: {.example title="?"} Let $$a\in {\mathbb{Q}}$$, does $$x^2 = a$$ satisfy a local to global principle? This is related to Chebotarev density. Claim: any positive number $$a$$ such that $$v_p(a)$$ is even for all $$p$$ is necessarily a square. This follows from writing $$a = \pm \prod p_i^{n_i}$$ where $$n_i\in {\mathbb{Z}}$$ and is equal to zero for all but finitely many $$i$$, then its square root is obtained by halving all of the $$n_i$$. Note that $$a \in ({\mathbb{R}}^{\times})^2$$ implies $$a$$ is positive, and $$a\in ({ {\mathbb{Q}}_p }^{\times})^2$$ implies that $$n_p$$ is even. ::: ::: {.example title="?"} Let $$a\in {\mathbb{Q}}$$ and take $$x^n=a$$, or more generally $$f(x) = a$$ for $$f\in {\mathbb{Q}}[x]$$, where $$f(x) - a$$ is irreducible. Corollary of Chebotarev density: the set of primes where $$f-a\operatorname{mod}p$$ has no linear factors has positive density. This means that an even stronger theorem is true: there exists a $$c<1$$ such that if $$f-a$$ has no roots $$\operatorname{mod}p$$ for a set of primes of density $$d>c$$, then $$f-a$$ has no roots. So this satisfies the Hasse principle. ::: ::: {.example title="Conics"} Take $$X \coloneqq V(ax^2+by^2 +cz^2) \subseteq {\mathbb{P}}^2$$ for $$a,b,c\in {\mathbb{Q}}$$. This also satisfies the Hasse principle, but the proof is harder. Note that $$x^2+y^2+z^2 = 0$$ has no rational points (excluding zero since we're in $${\mathbb{P}}^2$$) since it has no solutions over $${\mathbb{R}}$$. It is potentially dense, noting that one can take $${\mathbb{Q}}[i]$$ over $${\mathbb{Q}}$$ and get rational points $$0, 1, \infty$$. Given one point, one can stereographically project to yield infinite many points by just taking lines through the fixed point and letting slopes vary. {=tex} \todo[inline]{Something about using ${\mathcal{O}}(1)$ to give an embedding into ${\mathbb{P}}^1$. Start with ${\mathcal{O}}(-1)$, dualize, project?}  ::: ::: {.example title="Severi-Brauer varieties"} Taking $$X_{/ {k}}$$ such that $$X_{/ {\mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu}} \cong {\mathbb{P}}^n_{/ {\mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu}}$$ satisfy the Hasse principle. ::: ::: {.example title="Quadrics"} A theorem by Hasse-Minkowski shows that these also satisfy the Hasse principle. ::: ::: {.example title="Genus 1 curves"} The **Selmer curve** $$3x^3 + 4y^3 + 5z^3=0$$ does *not* satisfy the Hasse principle, which can be understood in terms of the Tate-Shafarevich group or Brauer-Manin obstructions. ::: ::: {.remark} Note that it doesn't make sense to say a single variety satisfies the Hasse principle, but rather a class. But it makes sense to say a single variety *doesn't*. ::: ::: {.remark} A common generalization is that these are all torsors for an algebraic group, i.e. a homogeneous space, for which there are cohomological methods to understand the Hasse principle. ::: ::: {.remark} A variety $$X_{/ {k}}$$ is *geometrically integral* in the affine case if when $$X = V(f_1,\cdots, f_n)$$, the ring $$\mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu[x_1,\cdots, x_n]$$ is an integral domain. ::: ::: {.theorem title="?"} Suppose $$K$$ is a number field and $$X_{/ {K}}$$ is geometrically integral. Then $$X(K_v) \neq \emptyset$$ for all but finitely many $$v$$. ::: ::: {.proof title="Sketch/idea"} {=tex} \envlist  1. Write $$X = V(f_1, \cdots, f_n)$$ with a nonempty smooth locus $$X^{{\mathsf{sm}}} \subseteq X$$ which is a variety (just adjoin inverses of partial derivatives appearing in minors of Jacobian matrices). So $$X^{{\mathsf{sm}}}/{\mathcal{O}}_{K, S} = {\mathcal{O}}_K\left[ {1\over N} \right]$$ which is smooth over $${\mathcal{O}}_{K, S}$$ 2. Use Lang-Weil to show that $$X^{\mathsf{sm}}({\mathcal{O}}_{K, S} / {\mathfrak{p}}) \neq \emptyset$$ for almost all $${\mathfrak{p}}$$. 3. Use smoothness and Hensel's lemma to get $$X^{{\mathsf{sm}}}({\mathcal{O}}_{K, S}{ {}^{ \widehat{{\mathfrak{p}}} } })$$. ::: # Tuesday, August 24 ::: {.remark} Last time: if $$K$$ is a number field and $$X_{/ {K}}$$ is geometrically irreducible, then $$X(K_v) \neq \emptyset$$ for almost all $$v$$. ::: ::: {.proof title="?"} Choose $$X_{/ {{\mathcal{O}}_K{ \left[ { \scriptstyle \frac{1}{N} } \right] }}}$$ such that $$X$$ has geometrically integral fibers. It's enough to show that $$X(K(v)) \neq \emptyset$$ for almost all $$v$$, where $$K(v)$$ is the residue field at finite places $$v$$. Now use the following theorem: ::: ::: {.theorem title="Lang-Weil Estimates"} If $$X$$ over $${\mathcal{O}}_K{ \left[ { \scriptstyle \frac{1}{N} } \right] }$$ is geometrically integral, then $\# X({\mathbb{F}}_{q^k}) = ( 1 + O(q^{1\over 2}) ) q^{k\dim X} .$ ::: ::: {.claim} If $$X_{/ {{\mathcal{O}}_{K_v}}}$$ is smooth then $X(K(v)) \neq \emptyset \implies X(K_v) \neq \emptyset .$ ::: ::: {.proof title="?"} Use - Slice and Hensel, or the formal smoothness criterion, i.e.  {=tex} \begin{tikzcd} {\operatorname{Spec}R} && X \\ \\ {\operatorname{Spec}R'} && Y \arrow["{\mathsf{sm}}", from=1-3, to=3-3] \arrow["{ \operatorname{cl}} ", from=1-1, to=3-1] \arrow[from=1-1, to=1-3] \arrow["\exists"{description}, dashed, from=3-1, to=1-3] \arrow[from=3-1, to=3-3] \end{tikzcd}  Taking $$R \coloneqq R'/I$$ with $$I$$ nilpotent. > [Link to Diagram](https://q.uiver.app/?q=WzAsNCxbMCwwLCJcXHNwZWMgUiJdLFswLDIsIlxcc3BlYyBSJyJdLFsyLDIsIlkiXSxbMiwwLCJYIl0sWzMsMiwiXFxzbW9vdGgiXSxbMCwxLCJcXGNsIl0sWzAsM10sWzEsMywiXFxleGlzdHMiLDEseyJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkYXNoZWQifX19XSxbMSwyXV0=) See Hartshorne chapter 3, in the exercises! ::: ::: {.remark} As a black box, we'll use that this is true for $$\dim_{{{\mathcal{O}}_{K_v}}} X = 1$$, i.e. for curves. This follows from the Weil conjectures for curves, see Severi/Bombieri. If $$X$$ is genus $$g$$, then in fact we have a finer estimate: ${\left\lvert { \# X({\mathbb{F}}_{q^k}) - q^n } \right\rvert} \leq q^{1\over 2} + 1 .$ ::: ::: {.proof title="?"} We'll show this for $$\dim_{{\mathcal{O}}_K{ \left[ { \scriptstyle \frac{1}{n} } \right] }} = 2$$. Idea: try to fiber with curves. - Suppose $$\operatorname{reldim}X = 1$$ for $$X \to S$$ over $${\mathcal{O}}_K{ \left[ { \scriptstyle \frac{1}{n} } \right] }$$ where $$S$$ is a curve with geometrically integral fibers. - Without loss of generality, $$X\to S$$ where - $$S$$ is smooth of genus $$g'$$, - $$X/S$$ is smooth with fibers of genus $$g$$. - Now take the count $X({\mathbb{F}}_{q^k}) &= (1 + O_{g'}(q^{- {k \over 2} }) )q\cdot (1 + O_g(q^{- {k\over 2} }))q \\ &= (1 + O_{g, g'}(q^{- {k\over 2} }))q^2 .$ - Such an $$X\to S$$ after replacing $$X$$ by an open subvariety. The proof of this follows from [Bertini](https://www.wikiwand.com/en/Theorem_of_Bertini): for $$X \subseteq {\mathbb{P}}^n$$, take geometric projections and delete the singular locus. The fibers are slices by hyperplanes, and thus the fibers are geometrically integral. ::: ## Brauer Groups ::: {.remark} Some upcoming topics: - Severi-Brauer varieties (so $$X_{/ {K}}$$ where $$X_{/ {\mkern 1.5mu\overline{\mkern-1.5muK\mkern-1.5mu}\mkern 1.5mu}} \cong {\mathbb{P}}^n$$) satisfy the Hasse principle. Implies Hasse-Minkowski! - The Brauer-Manin obstruction to the Hasse principle. ::: ### The Brauer-Manin Obstruction ::: {.remark} Setup: - $$X$$ is a variety, - $$\mathop{\mathrm{Br}}(X)$$ is an abelian group - Given $$X \xrightarrow{f} Y$$, there is an induced map $$f^*: \mathop{\mathrm{Br}}(Y)\to \mathop{\mathrm{Br}}(X)$$. For $$K$$ a number field (which we can view as a variety with a single point), we have $\mathop{\mathrm{Br}}(K_v) = \begin{cases} {\mathbb{Q}}/{\mathbb{Z}}& v \text{ finite} \\ {\mathbb{Z}}/2 & v \text{ real} \\ 0 & v \text{ complex}, \end{cases}$ which fits into a SES $0 \to \mathop{\mathrm{Br}}(K) \to \bigoplus_v \mathop{\mathrm{Br}}(K_v) \xrightarrow{\Sigma} {\mathbb{Q}}/{\mathbb{Z}}\to 0 .$ Note that most of the terms in the middle sum are $${\mathbb{Q}}/{\mathbb{Z}}$$, making $$\mathop{\mathrm{Br}}(K)$$ a large group. ::: ::: {.remark} The yoga of the Hasse principle says we should try to solve things in adelic points first. Write ${\mathbb{A}}_K = \prod_v' (K_v, {\mathcal{O}}_v) \subseteq \prod_v K_v$ where we take the restricted product. There is a map $$X(K)\to X({\mathbb{A}}_K)$$, and taking $$\alpha\in \mathop{\mathrm{Br}}(X)$$ one gets a map $$\alpha^*: X(K) \to \mathop{\mathrm{Br}}(K)$$. This yields a diagram {=tex} \begin{tikzcd} {X(K)} && {X({\mathbb{A}}_K)} \\ \\ {\mathop{\mathrm{Br}}(X)} && {\mathop{\mathrm{Br}}({\mathbb{A}}_k) \cong \bigoplus_v \mathop{\mathrm{Br}}(K_v)} \arrow["{\alpha^*}", from=1-1, to=3-1] \arrow["{\tilde\alpha^*}", from=1-3, to=3-3] \arrow[from=1-1, to=1-3] \arrow[from=3-1, to=3-3] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsNCxbMCwwLCJYKEspIl0sWzAsMiwiXFxCcihYKSJdLFsyLDAsIlgoXFxBQV9LKSJdLFsyLDIsIlxcQnIoXFxBQV9rKSBcXGNvbmcgXFxiaWdvcGx1c192IFxcQnIoS192KSJdLFswLDEsIlxcYWxwaGFeKiJdLFsyLDMsIlxcdGlsZGVcXGFscGhhXioiXSxbMCwyXSxbMSwzXV0=) Using that $$\Sigma: \mathop{\mathrm{Br}}({\mathbb{A}}_K) \to {\mathbb{Q}}/{\mathbb{Z}}$$, for a fixed $$\alpha\in \mathop{\mathrm{Br}}(K)$$, $X(K) \subseteq (\Sigma \circ \tilde \alpha)^{-1}(0) \subseteq X({\mathbb{A}}_K) ,$ and $$(\Sigma \circ \tilde\alpha)^{-1}(0) = X({\mathbb{A}}_K)^\alpha$$. Thus the Hasse principle is violated if $$X({\mathbb{A}}_K)$$ is nonempty but $$X({\mathbb{A}}_K)^\alpha$$ is empty. More generally, it's violated if $X({\mathbb{A}}_K)^{\mathop{\mathrm{Br}}} \coloneqq \displaystyle\bigcap_{\alpha\in \mathop{\mathrm{Br}}(X)} X({\mathbb{A}}_K)^{\alpha} = \emptyset .$ ::: ### The Hasse Principle for Severi-Brauers ::: {.remark} Let $$X_{/ {K}}$$ be a Severi-Brauer, then $$[X] \in \mathop{\mathrm{Br}}(K)$$ and $$X\cong {\mathbb{P}}^n_{/ {K}} \iff [X] = 0$$. Using that $\oplus \iota_v: \mathop{\mathrm{Br}}(K) \hookrightarrow\bigoplus_v \mathop{\mathrm{Br}}(K_v) ,$ we have $[X] = 0 \iff \iota_v(X) = 0\,\, \forall v && \text{since } \iota_v(X) = [X_{K_v}] \in \mathop{\mathrm{Br}}(K_v) .$ ::: ::: {.fact} It turns out that $$X\cong {\mathbb{P}}^n \iff X(K) \neq \emptyset$$. ::: ## Brauer Groups and Galois Cohomology ::: {.definition title="Brauer Groups"} Let $$K \in \mathsf{Field}$$, then $\mathop{\mathrm{Br}}(K) \coloneqq H^2_{ \mathsf{Gal}} (K, \mkern 1.5mu\overline{\mkern-1.5muK\mkern-1.5mu}\mkern 1.5mu^{\times}) = H^2_{{\mathsf{Grp}}}({ \mathsf{Gal}} (K^s/K), (K^s)^{\times}) .$ ::: ::: {.remark} Let $$G \in {\mathsf{Grp}}$$ be discrete, so we're not considering any topology on it. Let $$M \in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$, or equivalently $$M\in \mathsf{{\mathbb{Z}}[G]}{\hbox{-}}\mathsf{Mod}$$. We can take invariants and coinvariants: $M^G &\coloneqq\left\{{m\in M {~\mathrel{\Big|}~}gm=m \,\, \forall g\in G }\right\} = \operatorname{Hom}_{{\mathbb{Z}}[G]}({\mathbb{Z}}, M) \\ M_G &\coloneqq M /\left\langle{\left\{{gm-m {~\mathrel{\Big|}~}g\in G}\right\}}\right\rangle = {\mathbb{Z}}\otimes_{{\mathbb{Z}}[G]} M .$ These are the largest submodules/quotient modules respectively on which $$G$$ acts trivially. ::: ::: {.exercise title="?"} Why are these equal to homs and tensors respectively? ::: ::: {.definition title="Group cohomology"} $H^i(G; M) &\coloneqq\operatorname{Ext} ^i_{{\mathbb{Z}}[G]}({\mathbb{Z}}; M)\\ H_i(G; M) &\coloneqq\operatorname{Tor}_i^{{\mathbb{Z}}[G]}({\mathbb{Z}}; M) .$ ::: ::: {.example title="Cyclic groups"} For $$G\coloneqq{\mathbb{Z}}$$, we have $${\mathbb{Z}}[G] = {\mathbb{Z}} { \left[ {x, x^{-1}} \right] }$$. Take a projective resolution $0 \to {\mathbb{Z}}[G] \xrightarrow{\cdot (x-1)} {\mathbb{Z}}[G] \xrightarrow{x\mapsto 1} {\mathbb{Z}}\to 0 .$ Deleting the augmentation and applying $$\operatorname{Hom}_{{\mathbb{Z}}[G]}({-}, {\mathbb{Z}})$$ yields $$0\to {\mathbb{Z}}\xrightarrow{f: \cdot (x-1)} {\mathbb{Z}}\to 0$$, and noting that $$x$$ acts by 1, $$f$$ is the zero map. This yields $H^*(G; {\mathbb{Z}}) &= \begin{cases} {\mathbb{Z}}& * = 0, 1 \\ 0 & \text{else}. \end{cases} \\ H_*(G; {\mathbb{Z}}) &= \begin{cases} {\mathbb{Z}}& * = 0, 1 \\ 0 & \text{else}. \end{cases}$ ::: # Group Cohomology (Thursday, August 26) > See Cassels-Frohlich, Stein, etc for group cohomology. ## Computing Examples ::: {.example} For $$G={\mathbb{Z}}$$, take the resolution $0 \to {\mathbb{Z}}[x, x^{-1}] \xrightarrow{x-1} {\mathbb{Z}}[x, x^{-1}] \to 0 .$ Then $$H_*(G; {\mathbb{Z}})= H^*(G;{\mathbb{Z}})$$ is $${\mathbb{Z}}$$ in degrees 0 and 1, and 0 otherwise. For $$M\in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$, we have $H^*(G; M) = H^*(M \xrightarrow{x-1} M) = \begin{cases} M^G & *=0 \\ M_G & * = 1 \\ 0 & \text{else}, \end{cases} \\ H_*(G; M) = H_*(M \xrightarrow{x-1} M) = \begin{cases} M_G & *=0 \\ M^G & * = 1 \\ 0 & \text{else}. \end{cases}$ ::: ::: {.example title="?"} For $$G = {\mathbb{Z}}/n$$, write $$\sigma$$ as the generator so that $${\mathbb{Z}}[G] = {\mathbb{Z}}[\sigma] / \left\langle{\sigma^n - 1}\right\rangle$$ We can take a resolution $\cdots \to {\mathbb{Z}}[\sigma]/ \left\langle{\sigma - 1}\right\rangle \xrightarrow{\sigma - 1} {\mathbb{Z}}[\sigma]/ \left\langle{\sigma - 1}\right\rangle \xrightarrow{1 + \sigma + \cdots + \sigma^{n-1}} {\mathbb{Z}}[\sigma]/ \left\langle{\sigma - 1}\right\rangle \xrightarrow{\sigma - 1} {\mathbb{Z}}[\sigma]/ \left\langle{\sigma - 1}\right\rangle \to 0 .$ Now apply $$\operatorname{Hom}_{{\mathbb{Z}}[G]}({-}, {\mathbb{Z}})$$, use that $$\operatorname{Hom}_{{\mathbb{Z}}[G]}({\mathbb{Z}}[G], {\mathbb{Z}}) = {\mathbb{Z}}$$, and take homology of the complex ${\mathbb{Z}}\xrightarrow{\sigma - 1} {\mathbb{Z}}\xrightarrow{\sum \sigma^i} \to {\mathbb{Z}}\xrightarrow{\sigma - 1} \cdots {\mathbb{Z}}\xrightarrow{0} {\mathbb{Z}}\xrightarrow{n} \to {\mathbb{Z}}\xrightarrow{0} \cdots .$ This yields $H^*(G; {\mathbb{Z}}) = \begin{cases} {\mathbb{Z}}& *=0 \\ 0 & * \text{ odd} \\ {\mathbb{Z}}/n & * \text{ even}. \end{cases}$ ::: ::: {.remark} For the free abelian group $${\mathbb{Z}}^n$$, we get $$H^*({\mathbb{Z}}^n; {\mathbb{Z}}) = \bigwedge\nolimits^* ({\mathbb{Z}}^n)$$. For the free group $$F_n$$, we get $$H^*(F_n; {\mathbb{Z}})$$ is $${\mathbb{Z}}$$ in degree zero (always true for the trivial module, since the invariants are everything) and $${\mathbb{Z}}^n$$ in degree 1. ::: ::: {.fact} If $$X$$ is a CW complex with $$\pi_0(X) = 0, \pi_1(X) = G, \pi_{>2}(X) = 0$$, then $$H^*_{{\mathsf{Grp}}}(G; {\mathbb{Z}}) = H^*_{{\operatorname{Sing}}}(X; {\mathbb{Z}})$$. Note that $$X \xrightarrow{\sim} {\mathsf{B}}G$$ in this case, and the proof is easy: take the universal cover, then the simplicial/cellular cohomology resolves $${\mathbb{Z}}$$ as a $${\mathbb{Z}}[G]{\hbox{-}}$$module. ::: ::: {.proposition title="?"} Suppose $$G$$ is finite and $$M\in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$, then $$H^{>n}(G; M)$$ is torsion. 1. It suffices to show this for $$*=1$$ by using dimension shifting. Choose $$M \hookrightarrow I$$ into an injective object to get a SES $0 \to M\to I \to M/I \to 0$ to get a LES in cohomology, and use that $$\operatorname{Ext}$$ into injectives vanishes to get $$H^*(G; M) \cong H^{*}(G; M/I)[-1]$$. 2. We want to show $$H^1(G; M) = \operatorname{Ext} _{{\mathbb{Z}}[G]}^1({\mathbb{Z}}; M)$$ is torsion, and it suffices to show $$\operatorname{Ext} ^1_{{\mathbb{Z}}[G]}({\mathbb{Z}}; M)\otimes{\mathbb{Q}}= 0$$, which we can replace with $$\operatorname{Ext} _{{\mathbb{Z}}[G]}^1({\mathbb{Q}}, M \otimes{\mathbb{Q}})$$. So we consider SESs of the form $0 \to M\otimes Q \to W \to {\mathbb{Q}} ,$ which we'd like to split as a SES of $$G{\hbox{-}}$$representations over $${\mathbb{Q}}$$. See uniquely divisible groups? This splits by Maschke's theorem: all SESs of irreducible representations of $$G$$ for $$G$$ finite over $$\operatorname{ch}k = 0$$ split. The usual proof over $${\mathbb{C}}$$ doesn't work for $${\mathbb{Q}}$$, but one uses a splitting instead of an inner product. ::: ## Functoriality ::: {.remark} Given $$M\to N \in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$ there are maps $H^*(G; M) &\to H^*(G; N) \\ H_*(G; M) &\to H_*(G; N) .$ Suppose $$\iota: G\to T$$ with $$M\in {\mathsf{T}{\hbox{-}}\mathsf{Mod}}$$, then there are induced maps $\iota^*: H^*(T; M) &\to H^*(G; M) \\ \iota_*: H_*(T; M) &\to H_*(G; M)$ coming from the functoriality of Ext and Tor under change of rings. We'll use the following as a black box: for $$G\leq T$$ finite index, there is a *trace* map (or *corestriction*) $\operatorname{tr}_{G/T}: H^*(G; M) \to H^*(T; M) .$ It's functorial in $$M$$, and $$\operatorname{tr}_{G/T} \circ \iota^*$$ is multiplication by $$m \coloneqq[G: T]$$. This yields another proof of the previous element: take $$G = 1$$ to get $$H^*(G; M) = 0$$ and check $$\operatorname{tr}_{G/T} \circ \iota_*$$ is multiplication by $${\left\lvert {T} \right\rvert}$$ and zero, making the group torsion. ::: ::: {.remark} Some interpretations: - $$H_1(G; {\mathbb{Z}}) = G^{\operatorname{ab}}= G/[G, G]$$ is the abelianization (which can still be torsion). - $$H^1(G; {\mathbb{Z}}) = \operatorname{Hom}_{{\mathsf{Grp}}}(G;{\mathbb{Z}})$$, which is always torsionfree. - $$H^2(G; M)$$ classifies extensions of $$G$$ by $$M$$ in the following sense: $$G'$$ occurring in a "SES" $$\xi: 0\to M\to G' \to G\to 1$$ such that the action of $$G$$ on $$M$$ by conjugation is the given $$G{\hbox{-}}$$module structure on $$M$$. Moreover $$\xi = 0$$ in $$H^2(G; M)$$ iff $$\xi$$ splits, then $$G' \cong G \rtimes M$$. For $$M$$ a trivial $$G{\hbox{-}}$$module, these are *central extensions*. ::: ::: {.warnings} Note all SESs yield semidirect products: take $$0\to {\mathbb{Z}}\xrightarrow{\cdot n} {\mathbb{Z}}\to {\mathbb{Z}}/n \to 0$$, which has no sections since $${\mathbb{Z}}$$ has no $$n{\hbox{-}}$$torsion. This in fact represents a generator $$H^2({\mathbb{Z}}/n; {\mathbb{Z}})$$. ::: ::: {.definition title="Galois cohomology"} Let $$L_{/ {k}}$$ be a finite Galois extension, $$M\in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$ for $$G\coloneqq{ \mathsf{Gal}} (L_{/ {k}} )$$. Then $H^*_{ \mathsf{Gal}} (L_{/ {k}} ; M) \coloneqq H^*_{\mathsf{Grp}}(G; M) .$ If $$M$$ is a discrete continuous $${ \mathsf{Gal}} (k^s/K){\hbox{-}}$$module, then $H^i(k; M) \coloneqq\colim_{U {~\trianglelefteq~}{ \mathsf{Gal}} (k^s/k)} H^*( { \mathsf{Gal}} (k^s/k) / U; M) .$ ::: > The stabilizer of any point is open (and finite index). ::: {.definition title="Brauer Groups"} $\mathop{\mathrm{Br}}(k) = H^2(K; (k^s )^{\times}) .$ ::: ::: {.example title="?"} Consider $$\mathop{\mathrm{Br}}({\mathbb{F}}_q)$$, then $${ \mathsf{Gal}} ({\mathbb{F}}_q^s/{\mathbb{F}}_q) = \widehat{{\mathbb{Z}}} \left\langle{\mathop{\mathrm{Frob}}_q}\right\rangle$$. Then $\mathop{\mathrm{Br}}({\mathbb{F}}_q) &\coloneqq H^2\qty{\widehat{{\mathbb{Z}}}\left\langle{\mathop{\mathrm{Frob}}_q}\right\rangle; \mkern 1.5mu\overline{\mkern-1.5mu{\mathbb{F}}\mkern-1.5mu}\mkern 1.5mu_q ^{\times}} \\ &=\colim_{U_n \subseteq \widehat{{\mathbb{Z}}}\to \widehat{{\mathbb{Z}}}\to {\mathbb{Z}}/n} H^2\qty{ {\mathbb{Z}}/n; (\mkern 1.5mu\overline{\mkern-1.5mu{\mathbb{F}}\mkern-1.5mu}\mkern 1.5mu_q^{\times})^{U_n}}\\ &=\colim H^2\qty{ {\mathbb{Z}}/n \left\langle{\mathop{\mathrm{Frob}}_q}\right\rangle; \mkern 1.5mu\overline{\mkern-1.5mu{\mathbb{F}}\mkern-1.5mu}\mkern 1.5mu_{q^n}^{\times}} \\ &=\colim H^2( { \mathsf{Gal}} ({\mathbb{F}}_{q^n} / {\mathbb{F}}_q); \mkern 1.5mu\overline{\mkern-1.5mu{\mathbb{F}}\mkern-1.5mu}\mkern 1.5mu_{q^n}^{\times}) \\ &= \colim H^2 \qty{ {\mathbb{F}}_{q^n}^{\times}\xrightarrow{\mathop{\mathrm{Frob}}- 1} {\mathbb{F}}_{q^n}^{\times}\xrightarrow{\operatorname{Nm}} {\mathbb{F}}_{q^n}^{\times}\to \cdots } \\ &= \colim {\mathbb{F}}_q^{\times}/ \operatorname{Nm}({\mathbb{F}}_{q^n}, {\mathbb{F}}_q) {\mathbb{F}}_{q^n}^{\times}\\ &= \colim 0 \\ &= 0 .$ Note: we've used that $\ker (\mathop{\mathrm{Frob}}- 1: x\mapsto x^{q-1}) = {\mathbb{F}}_q^{\times} .$ ::: ::: {.exercise title="?"} Show that the norm is surjective. ::: # Tuesday, August 31 ::: {.remark} Today: a systematic way to compute group cohomology by taking standard resolution. For a fixed group $$G$$, we want to resolve $${\mathbb{Z}}$$ by free $${\mathbb{Z}}[G]{\hbox{-}}$$modules, so take a simplicial resolution {=tex} \begin{tikzcd} \cdots \stackar{7}[r] & G^{\times 3} \stackar{5}[r] & G^{\times 2} \stackar{3}[r] & G \end{tikzcd}  Taking free $${\mathbb{Z}}{\hbox{-}}$$modules yields {=tex} \begin{tikzcd} \cdots \stackar{7}[r] & {\mathbb{Z}}[G^{\times 3}] \stackar{5}[r] & {\mathbb{Z}}[G^{\times 2}] \stackar{3}[r] & {\mathbb{Z}}[G] \end{tikzcd}  Note that this is a simplicial set whose realization is $$EG$$. ::: ::: {.proposition title="?"} $$C_\bullet(G)$$ is exact, and $${\mathbb{Z}}[G^{\times n}]$$ is free in $${\mathsf{{\mathbb{Z}}[G]}{\hbox{-}}\mathsf{Mod}}$$ where $$G\curvearrowright G^{\times n}$$ diagonally and this extends linearly. ::: ::: {.proof title="?"} $${\mathbb{Z}}[G^{\times n}]$$ is a free $${\mathbb{Z}}[G]{\hbox{-}}$$module, using that $$\left\{{(1, g_1, \cdots, g_{n-1}) {~\mathrel{\Big|}~}g_k \in G}\right\}$$ is a free basis, since these are representatives for $$G{\hbox{-}}$$orbits on $$G^{\times n}$$. That this is an exact complex will follow from a nullhomotopy $$h: {\mathbb{Z}}[G^{\times n-1} \to {\mathbb{Z}}[G^{\times n}]$$ so that $$hd + dh = \operatorname{id}$$. Take the map $$h(g_1, \cdots, g_n) = (e, g_1, \cdots, g_n)$$, then $(hd)(g_1, \cdots, g_n) &= h \sum (-1)^i (g_1, \cdots, \widehat{g}_i, \cdots, g_n)\\ &= \sum (-1)^i (e, g_1, \cdots, \widehat{g}_i, \cdots, g_n) .$ and $(dh)(g_1, \cdots, g_n) &= d (e, g_1, \cdots, g_n) \\ &= (g_1,\cdots, g_n) - \sum (-1)^i (e, g_1, \cdots, \widehat{g}_i, \cdots, g_n) ,$ and adding these two cancels the two summed terms and yields the identity. Then just recall from homological algebra that $$x \in \ker d$$ implies $$x = hdx + dhx = dhx$$, so $$x\in \operatorname{im}d$$, so this makes the complex exact. ::: ::: {.corollary title="?"} For $$G \in {\mathsf{Grp}}$$ discrete and $$M\in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$, $H^*(G; M) &= H^*( \operatorname{Hom}^{\bullet}_{{\mathbb{Z}}[G]}(C_\bullet(G), M) ) \\ H_*(G; M) &= H^*( M \otimes_{{\mathbb{Z}}[G]} C_\bullet(G) ) .$ ::: ::: {.remark} Can we find a smaller way to represent this? Note that ${\mathbb{Z}}[G^{\times n}] = \bigoplus_{(g_1, \cdots, g_n) \in G^{n-1}} {\mathbb{Z}}[G](1, g_1, \cdots, g_{n-1}) ,$ and there is a free/forgetful adjunction between modules and sets that yields $\operatorname{Hom}_{{\mathbb{Z}}[G]}( {\mathbb{Z}}[G^{\times n}], M ) \cong \operatorname{Hom}_{{\mathsf{Set}}}(G^{\times n-1}, M) .$ ::: ::: {.definition title="Reduced Complex"} For $$G\in {\mathsf{Grp}}$$ discrete and $$M\in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$, set $\tilde C^r(G; M) \coloneqq\operatorname{Hom}_{{\mathsf{Set}}}(G^{\times r}, M) .$ The boundary maps are given by $\delta: \tilde C^0(G, M) &\to \tilde C^1(G, M) \\ \delta f( \sigma) &= \sigma f({-}) - f({-}) \\ \\ \delta: \tilde C^1(G, M) &\to \tilde C^2(G, M) \\ \delta f( \sigma, \tau) &= \sigma f(\tau) - f(\sigma \tau) + f(\sigma) \\ \\ \delta: \tilde C^2(G, M) &\to \tilde C^3(G, M) \\ \delta f( \sigma, \tau, \rho) &= \sigma f(\tau, \rho) - f(\sigma\tau, \rho) + f(\sigma, \tau\rho) - f(\sigma, \tau) .$ The pattern is multiply by $$\sigma$$ on the outside, cycle through multiplying it to each argument, and for the last term leave $$\sigma$$ off. ::: ::: {.remark} Punchline: in principle, group cohomology is computable -- however, the complex is quite large and not practical for large groups. ::: ## Some Formal Properties ::: {.proposition title="Spectral Sequences"} For $$H{~\trianglelefteq~}G$$ and $$M\in {\mathsf{G}{\hbox{-}}\mathsf{Mod}}$$, the **Hochschild-Serre spectral sequence** reads $E_2^{p, q} = H^p( G/H; H^q(H; M)) \Rightarrow H^{p+q}(G; M) .$ ::: ::: {.remark} This is useful for inducting on the lengths of composition series, since e.g. for solvable groups one can take $$G/H$$ to be cyclic and $$H$$ a smaller solvable group. ::: ::: {.proposition title="Inflation/Restriction Exact Sequence"} This spectral sequence induces an **inflation/restriction exact sequence** {=tex} \begin{tikzcd} 0 \\ {H^1\qty{ {G \over H}; M^H}} && {H^1\qty{G; M}} && {H^1\qty{H; M}^{G\over H}} \\ \\ {H^2\qty{ {G \over H}; M^H}} && {H^2\qty{G; M}} \arrow[from=1-1, to=2-1] \arrow[from=2-1, to=2-3] \arrow[from=2-3, to=2-5] \arrow[from=2-5, to=4-1, out=0, in=180] \arrow[from=4-1, to=4-3] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsNixbMCwxLCJIXjFcXHF0eXsge0cgXFxvdmVyIEh9OyBNXkh9Il0sWzIsMSwiSF4xXFxxdHl7RzsgTX0iXSxbNCwxLCJIXjFcXHF0eXtIOyBNfV57R1xcb3ZlciBIfSJdLFswLDMsIkheMlxccXR5eyB7RyBcXG92ZXIgSH07IE1eSH0iXSxbMiwzLCJIXjJcXHF0eXtHOyBNfSJdLFswLDAsIjAiXSxbNSwwXSxbMCwxXSxbMSwyXSxbMiwzXSxbMyw0XV0=) ::: ::: {.remark} This comes from the bottom-left corner of the HS spectral sequence, which is a general principle for first quadrant spectral sequences. Note that the $$G/H$$ action comes from $$G\curvearrowright H$$ by conjugation, which yields a $$G{\hbox{-}}$$action on $$H^*$$, and since $$H$$ acts trivially on $$H^*(H; M)$$ (since e.g. $$M^H$$ has a trivial action), this action factors through $$G/H$$. ::: ## Forms, Torsors, and $$H^1$$ {#forms-torsors-and-h1} ::: {.definition title="Forms/descent, a pseudo-definition"} Let $$X_{/ {k}}$$ be an object (e.g. a variety, a group scheme, a variety with extra structure), then a **form** of $$X$$ over $$k$$ is an object $$X'_{/ {k}}$$ with an isomorphism $$X'_{/ {k^s}} \xrightarrow{\sim} X$$ (i.e. a **descent** of $$X$$). ::: ::: {.example title="?"} For $$X \coloneqq{\mathbb{P}}^n_{/ {k^s}}$$ then a form of $$X_{/ {k}}$$ is a Severi-Brauer variety, for example a smooth conic. ::: ::: {.example title="Severi Brauers"} Let $$E$$ be a genus 1 curve, then $$E$$ is a form for its Jacobian $$\operatorname{Jac}(E)$$, i.e. it becomes isomorphic to its Jacobian if it has a rational point. Not every curve has such a point, so they only become isomorphic after base changing to a separable closure. Note that $$\operatorname{Jac}(E) \curvearrowright E$$ by addition of divisors (since Jacobians have degree zero, curves have divisors of degree 1, and adding them yields a degree 1 divisor). It is in fact a torsor. ::: ::: {.example title="?"} If $$L_{/ {k}}$$ is a finite separable extension then $$L$$ is a form of $$(k^s)^{\times n}$$. ::: ::: {.example title="?"} The groups $${\operatorname{SO}}(p, q)_{/ {{\mathbb{R}}}}$$, the matrices preserving a quadratic form $$\operatorname{diag}(1, \cdots, 1, -1, \cdots, -1)$$ with $$p$$ copies of 1 and $$q$$ copies of $$-1$$, and these are all forms of $${\operatorname{SO}}(p+q)_{/ {{\mathbb{C}}}}$$. ::: ::: {.proposition title="?"} Suppose $$X_{/ {k}}$$ is some object (e.g. a variety, then forms of $$X_{k^s}$$ over $$k$$ are canonically in bijection with $$H^1_{{ \mathsf{Gal}} }(k; \mathop{\mathrm{Aut}}(X_{k^s}))$$ (recalling that this was defined as a direct limit). Note that this automorphism group may be nonabelian, which we still need to define. ::: ::: {.proof title="?"} Suppose $$\mathop{\mathrm{Aut}}(X_{k^s})$$ is abelian, then we'll show the following stronger claim: ::: {.claim} $$X'_L \xrightarrow{\sim} X_L$$ since there is a bijection $\left\{{\substack{ \text{Forms of } X_{k^s} \\ \text{split by } L _{/ {k}} }}\right\} &\rightleftharpoons H^1_{ \mathsf{Gal}} (L_{/ {k}} ; \mathop{\mathrm{Aut}}(X_L)) .$ ::: ::: {.proof title="?"} Recall that $H^1(L_{/ {k}} ; \mathop{\mathrm{Aut}}(X_L)) = H^1( \tilde C^\bullet({ \mathsf{Gal}} (L/k)); \mathop{\mathrm{Aut}}(X_L) ) .$ Given $$X'_{/ {k}}$$ split by $$L$$, we want a map $${ \mathsf{Gal}} (L/k) \to \mathop{\mathrm{Aut}}(X_L)$$. Choose an isomorphism $$X'_L \xrightarrow{\sim} X_L$$, noting that Galois acts on the LHS since it's defined over $$k$$, which will be different from the natural action on the right-hand side. So we can take a map $f: { \mathsf{Gal}} (L/k) \to \mathop{\mathrm{Aut}}(X'/L) \xrightarrow{\sim} \mathop{\mathrm{Aut}}(X_L) ,$ although this is not generally a homomorphism. Instead, $$f(\sigma \tau) = f(\sigma) f(\tau)^\sigma$$, a **crossed homomorphism** which involves acting on the coefficients of defining equations (which come from $$L$$). This says that $$f\in \ker \delta$$, the differential for $$\tilde C^\bullet$$. So we now have a map from forms split by $$L$$ to $$H^1({ \mathsf{Gal}} (L/k), \mathop{\mathrm{Aut}}(X_L))$$, and we'll show it's injective and surjective. Injectivity: suppose $$X', X''$$ are isomorphic forms of $$X$$, so we have an isomorphism defined over $$k$$ of the form $$X_L' \xrightarrow{\sim} X_L''$$. ::: {.exercise title="?"} This changes $$f$$ by an element of the form $$\delta(g)$$ for $$g\in \mathop{\mathrm{Aut}}(X_L)$$. ::: Surjectivity: given a crossed homomorphism $$f: { \mathsf{Gal}} (L/k) \to \mathop{\mathrm{Aut}}(X_L)$$, we want to produce a form of $$X_{/ {k}}$$ mapping to it. This is the hardest part of the argument! Suppose $$X_{/ {k}}$$ is a variety. First suppose $$X\in {\mathsf{Aff}}{\mathsf{Var}}$$, so $$X = \operatorname{Spec}R$$ and $${ \mathsf{Gal}} (L_{/ {k}} )\curvearrowright_f R_L = R \otimes_k L$$, which is only an $$L{\hbox{-}}$$semilinear action. Then $$X' = \operatorname{Spec}(R_L)^{{ \mathsf{Gal}} (L/k)}$$, and the claim is that $$X_L' \cong X_L$$. The proof of this is **Galois descent**, i.e. there is an equivalence of tensor categories $\adjunction{({-}) \otimes L} {({-})^{{ \mathsf{Gal}} (L_{/ {k}} )} } {{\mathsf{k}{\hbox{-}}\mathsf{Mod}} }{{\mathsf{L}{\hbox{-}}\mathsf{Mod}} + \text{ a semilinear action of } { \mathsf{Gal}} (L_{/ {k}} ) }$ Now for general $$X$$, one reduces to the case of affines. One can alternatively prove Galois descent without reference to affine varieties. ::: ::: # Thursday, September 02 ## Correspondence of Forms ::: {.remark} Last time: standard/reduced complexes, forms, and $$H^1$$. A meta-definition for today: let $$k, L \in \mathsf{Field}$$ with $$L_{/ {k}}$$ finite and separable, and $$X_{/ {k}}$$ an object over $$k$$ (e.g. an algebraic variety, possibly with extra structure). A **form** of $$X_{/ {k}}$$ split by $$L$$ is an object $$X' _{/ {k}}$$ of the same class as $$X$$ such that $$X_L \xrightarrow{\sim} X_L'$$. ::: ::: {.theorem title="A meta-theorem"} The theorem was that there is a canonical bijection $\left\{{\substack{ \text{Forms of } X \\ \text{split by } L }}\right\} &\rightleftharpoons H^1_{ \mathsf{Gal}} (L_{/ {k}} ; \mathop{\mathrm{Aut}}_k(X_L))$ Note that we didn't assume the coefficients formed an abelian group, so we'll explain this today. It is true that $$\mathop{\mathrm{Aut}}(X_L) \in {\mathsf{{ \mathsf{Gal}} (L_{/ {k}} )}{\hbox{-}}\mathsf{Mod}}$$. We'll say that $$X'$$ is just **a form** of $$X$$ if there exists some $$L'$$ finite separable that splits $$k$$. In this case there is a correspondence $\left\{{\substack{ \text{Forms of }X }}\right\} &\rightleftharpoons H^1_{{ \mathsf{Gal}} }(L_{/ {k}} ; \mathop{\mathrm{Aut}}_k(X_{k^s}) )$ ::: ::: {.proof title="A meta-proof"} What is the map? Given a form $$X'$$, we by definition have $$F: X_L' \xrightarrow{\sim} X_L$$, and we want a map $${ \mathsf{Gal}} (L_{/ {k}} ) \to \mathop{\mathrm{Aut}}_k(X_L)$$ such that $$\delta f = 0$$ for the differential in cohomology. Since $$X'$$ is defined over $$k$$, we have an action $${ \mathsf{Gal}} (L_{/ {k}} )\curvearrowright X_L'$$, i.e. a map $${ \mathsf{Gal}} (L_{/ {k}} ) \to \mathop{\mathrm{Aut}}(X_L')$$, which we can compose with the given isomorphism to obtain $f: { \mathsf{Gal}} (L_{/ {k}} ) \to \mathop{\mathrm{Aut}}(X_L')\to \mathop{\mathrm{Aut}}(X_L) .$ We have $$f( \sigma \tau) = f(\sigma) f(\tau)^\sigma$$. What happens if we change the isomorphism $$F$$ to some $$F'$$, changing by some $$g\in \mathop{\mathrm{Aut}}(X_L)$$ ::: {.exercise title="?"} Here $$f$$ changes by a map of the form $$\sigma \to g(g^{-1})^\sigma$$. ::: We'll write an inverse map using Galois descent. Given $$f: { \mathsf{Gal}} (L_{/ {k}} )\to \mathop{\mathrm{Aut}}_k(X_L)$$ with $$f(\sigma \tau) = f( \sigma) f( \tau)^{ \sigma}$$, we want to construct a form of $$X$$. Assume $$X \in {\mathsf{Aff}}{\mathsf{Sch}}$$, so $$X = \operatorname{Spec}(A)$$ for some $$A\in{\mathsf{Alg}_{/k} }$$, then define $X' \coloneqq\operatorname{Spec}(A\otimes_k L)^{{ \mathsf{Gal}} (L_{/ {k}} )}$ where the action is given by $$f$$. ::: ::: {.remark} What is $$\mathop{\mathrm{Aut}}_k(X_{/ {L}} )$$ is nonabelian? Then we just make this proof a definition, and set $H^1(L_{/ {k}} ; G) \coloneqq\left\{{f: { \mathsf{Gal}} (L_{/ {k}} )\to G {~\mathrel{\Big|}~}f( \sigma \tau) = f( \sigma) f( \tau)^{ \sigma} }\right\}/ ( \sigma\to g(g^{-1}) ^{ \sigma}) .$ Here the maps are of finite discrete groups. This is a pointed set, using the constant map as a basepoint. ::: ## Torsors ::: {.definition title="Torsor"} Recall that for $$G \in {\mathsf{Alg}}{\mathsf{Grp}}_{/ {k}}$$, a **torsor** for $$G$$ (or a *principal homogeneous space*) is 1. A form of $$G$$ under the left action of $$G$$ on itself, i.e. a variety $$X$$ with a left $$G{\hbox{-}}$$action $$G\times X\to X$$ where $$X_L \xrightarrow{ \sim} G_L$$ using the left-translation action. 2. A $$G{\hbox{-}}$$variety $$X$$ such that $$G\times X \xrightarrow{\sigma, \pi_2} X\times X$$ is an isomorphism. ::: ::: {.claim} Note that these are equivalent if $$G$$ is smooth, which for us will always happen in characteristic zero. ::: ::: {.theorem title="?"} If $$G$$ is smooth, then $$G{\hbox{-}}$$torsors are canonically in bijection with $$H^1(k; G(k^s))$$, and $$G{\hbox{-}}$$torsors split by $$L$$ biject with $$H^1(L_{/ {k}} ; G(L))$$. ::: ::: {.exercise title="?"} Prove this! It suffices to show that $$\mathop{\mathrm{Aut}}_{G_L}(G_L)\cong G_L$$ as a $${\mathsf{Grp}}{\mathsf{Sch}}_{/ {G_L}}$$. ::: ## Example: Kummer Theory ::: {.example title="Kummer theory"} Suppose $$\mu_p \subseteq k$$, so $$k$$ contains all $$p$$th roots of unity. Then a $$\mu_p{\hbox{-}}$$torsor is the same as a $${\mathbb{Z}}/p$$ Galois extension of $$k$$, where we allow $$k^p =\mu_p$$ itself. ::: ::: {.theorem title="?"} There is a bijection $\left\{{\substack{ {\mathbb{Z}}/p {\hbox{-}}\text{extensions} }}\right\} &\rightleftharpoons H^1(k; \mu_p)$ ::: ::: {.proof title="?"} Use the SES $1 \to \mu_p \to (k^s)^{\times}\xrightarrow{x\mapsto x^p} (k^s)^{\times}\to 1 ,$ which yields a LES $1 \to H^0(k; \mu_p) \to H^0(k; (k^s)^{\times}) \xrightarrow{x\mapsto x^p} H^0(k; (k^s)^{\times})\to H^1(k; \mu_p) \to H^1(k; (k^s)^{\times}) ,$ and identifying terms yields $0 \to k^{\times}/ (k^{\times})^p \to H^1(k; \mu_p) \to H^1(k; (k^s)^{\times}) .$ ::: ::: {.example title="?"} What is $$H^1(k; (k^s)^{\times})$$? Use that $$L^{\times}= \mathop{\mathrm{Aut}}(V_{/ {L}} )$$ where $$V$$ is a 1-dimensional vector space over $$L$$. The claim is that by Galois descent, forms for a vector space split by $$L$$ are precisely vector spaces over $$k$$, which makes them all trivial. This in fact implies the more general fact that $$H^1(k; \operatorname{GL}_n(k^s)) = 1$$. ::: ::: {.remark} Kummer theory gives us an explicit form of the map and identifying terms yields $0 \to k^{\times}/ (k^{\times})^p \xrightarrow{x\mapsto k[x^{1\over p} ]} H^1(k; \mu_p) \to H^1(k; (k^s)^{\times}) .$ This can be found by unwinding the definition of the map from the snake lemma, or noting that the kernel of a map from the absolute Galois group cuts out exactly this field. ::: ## Geometry of Brauer Groups ::: {.example title="of $H^1$"} $$H^1(k; G)$$ are forms of objects with automorphism groups $$G$$. - Vector spaces are obtained by taking $$G = \operatorname{GL}_n$$. - Forms of $${\mathbb{P}}^n$$, i.e. Severi-Brauer varieties, come from taking $$G \coloneqq\operatorname{PGL}_{n+1}$$. - For $$G$$ finite, a form of $$G$$ is an étale $$k{\hbox{-}}$$algebra (product of separable extensions of $$k$$ with total Galois group $$G$$). - For $$G$$ simple, these are Galois extensions with Galois group $$G$$. For $$G\coloneqq{\mathbb{Z}}/p$$, this is Kummer theory. - For $$E$$ an elliptic curve, all genus 1 curves are torsors for their Jacobian. So genus 1 curves $$C$$ with $$\operatorname{Jac}(C) \cong E$$ biject with $$H^1(k; E(k^s))$$. ::: ::: {.remark} We'll now look at $$H^2$$, and there is a correspondence \includegraphics{figures/SectionsOne.pdf}{=tex} {=html}  Given a set-theoretic section $$s: G\to G'$$, we get a map $f_s: G^{\times 2} &\to A \\ (g_1, g_2) &\mapsto s(g_1) s(g_2) s(g_1 g_2)^{-1} .$ Note that if $$s$$ is a group morphism, this is just the constant map. ::: {.claim} One needs to show the following: 1. $$\delta f_s = 0$$, so one gets a cocycle. 2. Changing $$s$$ changes $$f_s$$ by a coboundary. 3. Make the inverse. ::: The group operation here is $$G' \cdot G'' \coloneqq G' { \underset{\scriptscriptstyle {G} }{\times} } G'' / A$$, and the multiplication map is $(a_1, g_1) \cdot (a_2, g_2) \coloneqq(a_1 a_2 f_s(g_1, g_2), \, g_1 g_2) .$ ::: ::: {.remark} Suppose $$1\to Z\to H' \to H\to 1$$ is a SES of groups with a $$G{\hbox{-}}$$action such that $$Z$$ is in the center of $$H'$$. Then there is a "LES" {=tex} \begin{tikzcd} 1 \\ \\ {Z^G} && {(H')^G} && {H^G} \\ \\ {H^1(G; Z)} && {H^1(G; H')} && {H^1(G; H)} \\ \\ {H^2(G; Z)} \arrow[from=1-1, to=3-1] \arrow[from=3-1, to=3-3] \arrow[from=5-1, to=5-3] \arrow[from=3-3, to=3-5] \arrow["{\delta_0}"', from=3-5, to=5-1, in=180,out=0] \arrow[from=5-3, to=5-5] \arrow["{\delta_1}"', from=5-5, to=7-1, in=180, out=0] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsOCxbMCwwLCIxIl0sWzAsMiwiWl5HIl0sWzIsMiwiKEgnKV5HIl0sWzQsMiwiSF5HIl0sWzAsNCwiSF4xKEc7IFopIl0sWzIsNCwiSF4xKEc7IEgnKSJdLFs0LDQsIkheMShHOyBIKSJdLFswLDYsIkheMihHOyBaKSJdLFswLDFdLFsxLDJdLFs0LDVdLFsyLDNdLFszLDQsIlxcZGVsdGFfMCIsMl0sWzUsNl0sWzYsNywiXFxkZWx0YV8xIiwyXV0=) Note that some terms here are only sets, so exactness means that differentials surject onto kernels, and $$H^1(G; Z)\curvearrowright H^1(G;H')$$ and $$H^1(G; H)$$ is the quotient by this action. ::: ::: {.remark} ::: ::: {.definition title="Brauer group"} Take $$1\to {\mathbb{G}}_m \to \operatorname{GL}_n \to \operatorname{PGL}_n \to 1$$, then we get a map $H^1(k; \operatorname{PGL}_n(k^s)) \xrightarrow{\iota_n} H^2(k, (k^s)^{\times}) .$ Then define the **Brauer group** of $$k$$ to be $\mathop{\mathrm{Br}}(k) \coloneqq\displaystyle\bigcup_{n} \operatorname{im}(\iota_n) .$ ::: ::: {.remark} Studying $$H^2$$ is hard in general, so this fact is the reason we can actually study Brauer groups. {=tex} \todo[inline]{Something about Hilbert 90}  This surjection gives us geometric objects to work with. We'll show this is a group next time, along with the following theorem: ::: ::: {.theorem title="?"} $\displaystyle\bigcup_n \operatorname{im}(\iota_n) = H^2(k; (k^s)^{\times}) .$ ::: # Tuesday, September 07 ## Intro: Historical POV on Brauer Groups ::: {.remark} Last time we defined $$\mathop{\mathrm{Br}}(k) \coloneqq H^2(k; k^{\times})$$ and had a SES $1 \to (k^s)^{\times}\to \operatorname{GL}_n(k^s)\to \operatorname{PGL}_n \to 1 .$ We identified a subset of $$\operatorname{PGL}_n{\hbox{-}}$$torsors in $$H^1(k; \operatorname{PGL}_n(k^s)) \xrightarrow{\iota_n} H^2(k; (k^s)^{\times})$$, and alternatively defined $$\mathop{\mathrm{Br}}(k) = \cup_n \operatorname{im}(\iota_n)$$. We'll now look at geometric interpretations of elements of $$H^1$$. ::: ::: {.example title="?"} $$\mathop{\mathrm{Aut}}(X) = \operatorname{PGL}_n$$ for the following: - $${\mathbb{P}}^{n-1}$$ - $$\operatorname{GL}_n$$ - $$\operatorname{Mat}(n\times n)$$, by the Skolem-Noether theorem. ::: ::: {.corollary title="?"} For any of the $$X$$ above, there is an isomorphism: $H^1(k; \operatorname{PGL}_n(k^s)) \xrightarrow{\sim} \left\{{\text{Forms of X}}\right\}_{/ {\sim}} \xrightarrow{\sim} \left\{{\operatorname{PGL}_n{\hbox{-}}\text{torsors}}\right\}_{/ {\sim}} .$ ::: ::: {.definition title="Severi-Brauers"} A **Severi-Brauer** variety over $$k$$ is a form of $${\mathbb{P}}^n_{/ {k}}$$ for some $$n$$. ::: ::: {.example title="?"} {=tex} \envlist  - $$C$$ a conic with no rational points, e.g. $$x^2 + y^2 + z^2 = 0$$ over $${\mathbb{R}}$$. - $$\operatorname{Sym}^n C$$ is a nontrivial Severi-Brauer if $$n$$ is odd. It's difficult to write any down for even $$n$$, e.g. there are no Severi-Brauer surfaces over $${\mathbb{R}}$$. ::: ::: {.definition title="CSAs/Azumaya Algebras"} A finite dimensional **central simple algebra** or **Azumaya algebra** over $$k$$ is a associative algebra over $$k$$ with no nontrivial 2-sided ideals with center $$k$$ which is finite-dimensional as a $$k{\hbox{-}}$$vector space. ::: ::: {.theorem title="Classification of CSAs"} Let $$A\in {\mathsf{Alg}}_{/ {k}}$$, then TFAE: - $$\exists$$ a finite separable extension $$L _{/ {k}}$$ where after base-changing to $$L$$ one obtains $$A\otimes_k L \cong \operatorname{Mat}(n\times n, L)$$. - $$A\otimes_k k^s \cong \operatorname{Mat}(n\times n, k^s)$$. - $$\exists$$ a finite (not necessarily separable) extension $$L_{/ {k}}$$ such that $$A\otimes_k L \cong \operatorname{Mat}(n\times n, L)$$. - $$A$$ is a finite dimensional central simple algebra / Azumaya algebra. - $$A$$ is a matrix algebra over a finite-dimensional central $$k{\hbox{-}}$$division algebra. This is essentially a classification theorem: they're all forms of matrix algebras over division algebras. Moreover there is a bijection $\left\{{\text{Central simple k{\hbox{-}}algebras }}\right\} \to H^2(k; (k^s)^{\times}) .$ ::: ::: {.definition title="Opposite algebra"} If $$A \in \mathsf{CSA}_{/ {k}}$$, then $$A^{\operatorname{op}}\in \mathsf{CSA}_{/ {k}}$$ is an algebra with the same underlying vector space as $$A$$ with $$a \cdot_{^{\operatorname{op}}} b \coloneqq ba$$. ::: ::: {.definition title="Morita equivalence"} $$A, B$$ are Morita equivalent if $$A\otimes_k B^{\operatorname{op}}$$ is isomorphic to a matrix algebra. ::: ::: {.theorem title="?"} Given $$A, B \in \mathsf{CSA}_{/ {k}}$$ which correspond to elements $$[A], [B]\in H^2$$, then - $$[A] = [B] \iff A, B$$ are Morita equivalent. - $$[A]^{-1}= [A^{\operatorname{op}}]$$. - $$[A] \cdot [B] = [A\otimes_k B]$$. ::: ## The Boundary Map and Twisted Vector Space ::: {.remark} We'd now like to make the boundary map explicit: $H^1(k; \operatorname{PGL}_n(k^s)) \to H^2(k; (k^s)^{\times}) .$ Given $$[f] \in H^1$$, choose a representable cocycle $$f$$: {=tex} \begin{tikzcd} {{ \mathsf{Gal}} (k^s/k)} && {\operatorname{PGL}(k^s)} \\ \\ {{ \mathsf{Gal}} (L/k)} && {\operatorname{PGL}_n(L)} \arrow["f", from=1-1, to=1-3] \arrow[from=1-1, to=3-1] \arrow[hook, from=3-3, to=1-3] \arrow["{\tilde f}"', from=3-1, to=3-3] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsNCxbMCwwLCJcXEdhbChrXnMvaykiXSxbMiwwLCJcXFBHTChrXnMpIl0sWzAsMiwiXFxHYWwoTC9rKSJdLFsyLDIsIlxcUEdMX24oTCkiXSxbMCwxLCJmIl0sWzAsMl0sWzMsMSwiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMiwzLCJcXHRpbGRlIGYiLDJdXQ==) To compute this boundary, we use the original SES: {=tex} \begin{tikzcd} 1 && {k^s} && {\operatorname{GL}_n(k^s)} && {\operatorname{PGL}_n(k^s)} && 1 \\ \\ &&&&&& {{ \mathsf{Gal}} (k^s/k)} \arrow[from=1-1, to=1-3] \arrow[from=1-3, to=1-5] \arrow[from=1-5, to=1-7] \arrow[from=1-7, to=1-9] \arrow["f", from=3-7, to=1-7] \arrow["{\text{Choose a set-theoretic lift } \tilde f}"{pos=0.8}, dashed, from=3-7, to=1-5] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsNixbMCwwLCIxIl0sWzIsMCwia15zIl0sWzQsMCwiXFxHTF9uKGtecykiXSxbNiwwLCJcXFBHTF9uKGtecykiXSxbOCwwLCIxIl0sWzYsMiwiXFxHYWwoa15zL2spIl0sWzAsMV0sWzEsMl0sWzIsM10sWzMsNF0sWzUsMywiZiJdLFs1LDIsIlxcdGV4dHtDaG9vc2UgYSBzZXQtdGhlb3JldGljIGxpZnQgfSBcXHRpbGRlIGYiLDAseyJsYWJlbF9wb3NpdGlvbiI6ODAsInN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9fX1dXQ==) So $$\tilde f: { \mathsf{Gal}} (k^s/k) \to \operatorname{GL}_n(k^s)$$ is a lieft of $$f$$, and $$\delta f$$ measures the failure of $$\tilde f$$ to be a cocycle. We have $\delta \tilde f(\sigma, \tau) = \tilde f(\sigma \tau) \qty{ \tilde f( \sigma) \tilde f (\tau)^{ \sigma} }^{-1}\in (k^s)^{\times} ,$ using exactness since for $$f$$ it lands in $$\operatorname{PGL}_n$$ and is trivial. ::: ::: {.definition title="Twisted vector spaces"} For $$L_{/ {k}}$$ a separable extension and $$\alpha G^{\times 2}\to L^{\times}$$ a 2-cocycle, so $$[\alpha] \in H^2(L_{/ {k}} ; L^{\times})$$, a **twisted vector space** is a twisted semilinear action of $${ \mathsf{Gal}} (L_{/ {k}} )$$ on $$L^n$$. I.e. it is a map $\tilde f: { \mathsf{Gal}} (L_{/ {k}} ) &\to \mathop{\mathrm{Aut}}(L^n) = \operatorname{GL}_n(L) \\ \text{such that } \tilde f( \sigma \tau) &= \tilde f( \sigma) \tilde g( \tau)^{ \sigma} \alpha( \sigma, \tau) .$ ::: ::: {.remark} For each $$\sigma\in { \mathsf{Gal}} (L_{/ {k}} )$$ we get a $$\sigma{\hbox{-}}$$semilinear automorphism of $$L^n$$, i.e. a map $f_\sigma: L^n &\to L^n \\ \text{where } f_ \sigma(s \cdot v) &= \sigma(s) \cdot f_{ \sigma}(v) ,$ which is just the definition of semilinearity, and moreover $$f_{ \sigma \tau} = f_{ \sigma} f_{ \tau} \alpha( \sigma, \tau)$$. ::: ::: {.remark} If $$\alpha = \operatorname{id}$$, an $$\alpha{\hbox{-}}$$twisted vector space is the same as a $$k{\hbox{-}}$$vector space by Galois descent. ::: ::: {.proposition title="Properties of categories of twisted vector spaces"} {=tex} \envlist  1. $$\alpha \in \operatorname{im}\qty{ H^1(k; \operatorname{PGL}_n(k^s)) \to H^2(k; (k^s)^{\times}) } \iff$$ there exists an $$n{\hbox{-}}$$dimensional $$\alpha{\hbox{-}}$$twisted vector space. The proof of this is just unwinding definitions, it's literally the same data! 2. The category $$\mathsf{Tw}_\alpha$$ of $$\alpha{\hbox{-}}$$twisted vector spaces is abelian -- the only nontrivial thing to check is that there are enough injectives. 3. There are natural functors $({-}) \otimes({-}) &: \mathsf{Tw}_\alpha \times \mathsf{Tw}_{\alpha'} \to \mathsf{Tw}_{\alpha \alpha'} \\ \operatorname{Hom}({-}, {-})&: (\mathsf{Tw}_\alpha)^{^{\operatorname{op}}} \times \mathsf{Tw}_{\alpha'} \to \mathsf{Tw}_{\alpha' \alpha^{-1}} \\ \operatorname{Sym}^n, \bigwedge\nolimits^n &: \mathsf{Tw}_\alpha \to \mathsf{Tw}_{\alpha^n} .$ 4. If $$F_{/ {k}}$$ is a separable field extension, then $({-})\otimes F: \mathsf{Tw}_{\alpha}{}_{/ {k}} \to \mathsf{Tw}_{\alpha}{}_{/ {F}} .$ 5. There is an equivalence of categories $\mathsf{Tw}_{\operatorname{id}}{}_{/ {k}} \xrightarrow{\sim} { \mathsf{Vect} }_{/ {k}} .$ ::: ::: {.proposition title="?"} There is a 1-dimensional $$\alpha{\hbox{-}}$$twisted vector space iff $$[\alpha] = 1\in H^1(k; (k^s)^{\times})$$. ::: ::: {.proof title="?"} $$\impliedby$$: First suppose $$\alpha \equiv 1$$, then $$\mathsf{Tw}_\alpha \xrightarrow{\sim} { \mathsf{Vect} }_{/ {k}}$$, so just take the vector space $$k$$. If $$\alpha = \delta g$$ for some $$g: { \mathsf{Gal}} (k^s/k) \to (k^s)^{\times}$$. Then the action $${ \mathsf{Gal}} (k^s/k)\curvearrowright k^s$$ where $$f_\sigma = g(\sigma)$$ is a 1-dimensional $$\alpha{\hbox{-}}$$twisted vector space by sending $$1\to g(\sigma)$$ and extending semilinearly. $$\implies$$: Let $$V$$ be a 1-dimensional $$\alpha{\hbox{-}}$$twisted vector space. Choose an isomorphism $$V \xrightarrow{\sim} k^s$$ For each $$\sigma\in { \mathsf{Gal}} (k^s/k)$$ set $$g(\sigma) = g(1)$$ and $$g( \sigma \tau) = g( \sigma) g( \tau)^{ \sigma} \alpha( \sigma, \tau)$$, then $\alpha= \delta g = g( \sigma \tau )\qty{g( \sigma) g( \tau)^{ \sigma} }^{-1} .$ ::: ::: {.theorem title="?"} Suppose $$\alpha\in H^2(k; (k^s)^{\times})$$ is in $$\operatorname{im}\qty{ H^1(k; \operatorname{PGL}_n) \to H^2(k; (k^s)^{\times})}$$, then $$\alpha^n = 1$$. ::: ::: {.proof title="?"} If $$\alpha$$ is in the image, there exists an $$n{\hbox{-}}$$dimensional $$\alpha{\hbox{-}}$$twisted vector space $$V\in \mathsf{Tw}_\alpha$$, and so $$\bigwedge\nolimits^n V \in \mathsf{Tw}_{\alpha^n}$$. ::: ::: {.definition title="Index and period"} Given $$H^2(k; (k^s)^{\times}) = \mathop{\mathrm{Br}}(k)$$ (which we'll prove soon), the **period** of $$\alpha$$ is the order of $$\alpha$$, and the **index** is defined the minimal $$n$$ such that $$\alpha$$ is in the above image. I.e., $\operatorname{period}(\alpha) &\coloneqq{\operatorname{Ord}}(\alpha) \\ \index(\alpha) &\coloneqq\min\left\{{ n {~\mathrel{\Big|}~}\alpha \in \operatorname{im}( H^1 \to H^2)}\right\} .$ ::: ::: {.corollary title="?"} Period divides index. ::: ::: {.question} An open question: how different are the period and index? See the period-index problem. ::: ::: {.remark} There are some maps between the categories $$\mathsf{Tw}_\alpha$$, $$\mathsf{SB}$$ (Severi-Brauers), and $$\mathsf{CSA}$$: {=tex} \begin{tikzcd} &&& V \\ &&& {\mathsf{Tw}_\alpha} \\ {{\mathbb{P}}(V)} &&&&& {\mathop{\mathrm{End}}_k(V)} \\ {} & \mathsf{SB}&&& \mathsf{CSA} \arrow[from=2-4, to=4-5] \arrow[from=2-4, to=4-2] \arrow[dashed, maps to, from=1-4, to=3-1] \arrow[dashed, maps to, from=1-4, to=3-6] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsNyxbMywxLCJcXFR3X1xcYWxwaGEiXSxbMSwzLCJcXFNCIl0sWzQsMywiXFxDU0EiXSxbMywwLCJWIl0sWzAsM10sWzAsMiwiXFxQUChWKSJdLFs1LDIsIlxcRW5kX2soVikiXSxbMCwyXSxbMCwxXSxbMyw1LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJtYXBzIHRvIn0sImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9fX1dLFszLDYsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Im1hcHMgdG8ifSwiYm9keSI6eyJuYW1lIjoiZGFzaGVkIn19fV1d) An analogy is that in vector spaces, $${\mathbb{P}}^n$$ is to $$\mathop{\mathrm{End}}(V)$$ as $$\mathsf{SB}$$ is to $$\mathsf{CSA}$$ in twisted vector spaces. Note that $${ \mathsf{Gal}} (L_{/ {k}} ) "\curvearrowright" V$$, which isn't a true action but only fails to be one up to a scalar. Thus projectivizing yields a semilinear action $${ \mathsf{Gal}} (L_{/ {k}} )\curvearrowright{\mathbb{P}}(V)$$, and Galois descent yields forms of $${\mathbb{P}}(V)_{/ {k}}$$. ::: ::: {.remark} Why is $$\mathop{\mathrm{End}}(V)$$ a form of $$\operatorname{Mat}(n\times n)$$? Since $$V\in \mathsf{Tw}_\alpha$$, split it: choose an $$L$$ such that $${ \left.{{ \alpha}} \right|_{{L}} }$$ is trivial. Then $$\mathsf{Tw}_{{ \left.{{\alpha }} \right|_{{L}} }}= { \mathsf{Vect} }_{/ {L}}$$. ::: # Thursday, September 09 ::: {.remark} Last time: 3 geometric avatars of elements $$\alpha$$ of a Brauer group: - $$\alpha{\hbox{-}}$$twisted vector spaces $$\mathsf{Tw}_\alpha$$ - After projectivizing: Severi-Brauer varieties - Taking endomorphisms: central simple algebras. Here we set $$G \coloneqq{ \mathsf{Gal}} (L_{/ {k}} )$$ and $$\alpha: G^{\times G}\to L^{\times}$$ representing $$[\alpha]\in H^2(G; L^{\times})$$, and defined an $$\alpha{\hbox{-}}$$twisted vector space as a $$V\in { \mathsf{Vect} }_{/ {L}}$$ with a semilinear map $$f_\sigma: V\to V$$ for each $$\sigma\in G$$ where $$\sigma(\ell v) = \sigma(\ell) \sigma(v)$$ such that $$f_{ \sigma \tau} = f_{ \sigma} \circ f_{ \tau} \alpha(\sigma\tau)$$. Last time we used this to show that $\operatorname{im}\qty{H^1(k; \operatorname{PGL}_n) \to H^2(k; (k^s)^{\times}) }$ is $$n{\hbox{-}}$$torsion. ::: ::: {.theorem title="?"} The category $$\mathsf{Tw}_\alpha$$ is **semisimple**, i.e. every SES splits, and every object is a direct sum of simple objects. ::: ::: {.proof title="?"} Take a SES $0 \to V_2 \to W \to V_1 \to 0 \in \mathsf{Tw}_\alpha .$ We want to split this, a good trick to try every time: apply $$\operatorname{Mor}_{\mathsf{Tw}_\alpha}(V_1, \cdot)$$: $0 \to \operatorname{Mor}_{\mathsf{Tw}_\alpha}(V_1, V_2) \to \operatorname{Mor}_{\mathsf{Tw}_\alpha}(V_1, W) \to \operatorname{Mor}_{\mathsf{Tw}_\alpha}(V_1, V_1) \to 0 .$ This sequence is exact since we can write $$\operatorname{Mor}_{\mathsf{Tw}_\alpha} = ({-})\otimes_k V_1 {}^{ \vee }$$. It's enough to split this SES, since any splitting $$s: \operatorname{Mor}_{\mathsf{Tw}_\alpha}(V_1, V_2) \to \operatorname{Hom}(V_1, W)$$ would allow taking $$s(\operatorname{id}_{V_1})$$ to split the original. But this sequence does split, since $$\operatorname{Mor}_{\mathsf{Tw}_\alpha}(V_1, V_1)$$ is free, thus projective. ::: ::: {.theorem title="?"} Any two simple objects $$D_1, D_2\in \mathsf{Tw}_\alpha$$ are isomorphic. ::: ::: {.remark} This is an analog of showing that every vector space is a sum of 1-dimensional sub-vector spaces, i.e. every vector space has a basis. In this situation, it's essentially Schur's lemma. ::: ::: {.proof title="?"} $$\operatorname{Mor}_{\mathsf{Tw}_\alpha}(D_1, D_2)\in{ \mathsf{Vect} }_{/ {L}}$$ is of dimension $$d = \dim_L(d_1) \dim_L(d_2) > 0$$, so there exists a nonzero map $$f:D_1\to D_2$$. The claim is that $$f$$ is an isomorphism: since both objects are simple, just use that $$\ker D_1 \leq D_1$$ and $$\operatorname{im}f \leq D_2$$ are sub-objects. ::: ::: {.corollary title="?"} There exists a unique simple object $$D$$ of $$\mathsf{Tw}_\alpha$$, and every other object is of the form $$D{ {}^{ \scriptscriptstyle\oplus^{I} } }$$. ::: :::{.corollary title="?"} Any CSA is a matrix algebra over a division algebra. :: ::: {.proof title="?"} $$\mathop{\mathrm{End}}(D{ {}^{ \scriptscriptstyle\oplus^{n} } }) = \operatorname{Mat}(n\times n, \mathop{\mathrm{End}}(D))$$, so it's enough to show $$\mathop{\mathrm{End}}(D)$$ is a division algebra. This follows by the previous argument, again using Schur's lemma. ::: ::: {.corollary title="?"} For $$X_{/ {k}}$$ a Severi Brauer, $$X\cong {\mathbb{P}}^n_{/ {k}} \iff X(k) \neq \emptyset$$. ::: ::: {.proof title="?"} $$\implies$$: Clear, since $${\mathbb{P}}^n$$ has rational points! $$\impliedby$$: We'll do a variant of the proof that uses $$\mathsf{Tw}_\alpha$$. Let $$X = {\mathbb{P}}(V)$$ for $$V\in \mathsf{Tw}_{\alpha}$$, then any point $$x\in X$$ yields a 1-dimensional (twisted!) subspace $$R \subseteq V$$. Then $$[\alpha] = 0 \in H^2(k; (k^s)^{\times})$$, and by Hilbert 90 this comes from a point in the following composition: {=tex} \begin{tikzcd} {H^1(k; \operatorname{GL}_n)} && {H^1(k; \operatorname{PGL}_n)} && {0\in H^2(k; (k^s)^{\times})} \\ {[\alpha]} && {[X]} && 0 \arrow[from=1-3, to=1-5] \arrow[from=1-1, to=1-3] \arrow[maps to, from=2-3, to=2-5] \arrow[maps to, from=2-1, to=2-3] \end{tikzcd}  > [Link to Diagram](https://q.uiver.app/?q=WzAsNixbMCwwLCJIXjEoazsgXFxHTF9uKSJdLFsyLDAsIkheMShrOyBcXFBHTF9uKSJdLFs0LDAsIjBcXGluIEheMihrOyAoa15zKVxcdW5pdHMpIl0sWzAsMSwiW1xcYWxwaGFdIl0sWzIsMSwiW1hdIl0sWzQsMSwiMCJdLFsxLDJdLFswLDFdLFs0LDUsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Im1hcHMgdG8ifX19XSxbMyw0LCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJtYXBzIHRvIn19fV1d) This forces $$X = {\mathbb{P}}^n$$. ::: ::: {.proof title="$\\impliedby$, classical proof"} Let $$X\in \mathsf{SB}$$ with $$X(k) \neq \emptyset$$, then Artin defines $$X {}^{ \vee }$$, a dual Severi Brauer variety. This is constructed using that $$X_{k^s} = {\mathbb{P}}^n$$ and sets $$X_{k^s} {}^{ \vee }= ({\mathbb{P}}^n) {}^{ \vee }$$, which comes with descent data to $$k$$. A rigorous construction is that if $$X = {\mathbb{P}}(V)$$, we set $$X {}^{ \vee }= {\mathbb{P}}(V {}^{ \vee })$$. If $$X$$ has a $$k{\hbox{-}}$$point, then $$X {}^{ \vee }$$ has a rational hyperplane $$H$$. The claim is that $$X {}^{ \vee }= {\mathbb{P}}^n$$: this follows from the fact that $${\mathcal{O}}(H)$$ is a line bundle on $$X {}^{ \vee }$$ which is isomorphic to $${\mathcal{O}}(1)$$ on $$({\mathbb{P}}^n) {}^{ \vee }$$ after base changing to $$k^s$$. This follows from cohomology of base change, since ${\mathsf{\Gamma}\qty{X {}^{ \vee }, {\mathcal{O}}(H)_{/ {k^s}} } } = {\mathsf{\Gamma}\qty{X_{k^s} {}^{ \vee }, {\mathcal{O}}(H)_{/ {k^s}} } } = {\mathsf{\Gamma}\qty{{\mathbb{P}}^n_{/ {Y}} , {\mathcal{O}}(1)} } .$ So $${\mathcal{O}}(H)$$ yields a map $$X {}^{ \vee }\to {\mathbb{P}}^n$$ which is an isomorphism after passing to $$k^s$$. Now we can write $$X = (X {}^{ \vee }) {}^{ \vee }$$ and $$X {}^{ \vee }= {\mathbb{P}}^n$$, so $X = (X {}^{ \vee }) {}^{ \vee }= ({\mathbb{P}}^n) {}^{ \vee }\cong {\mathbb{P}}^n .$ ::: ::: {.definition title="Reduced norm and trace"} Let $$A\in \mathsf{CSA}_{/ {k}}$$, then there are maps $\operatorname{Nm}_{A_{/ {k}} }: A &\to k && \text{multiplicative} \\ \operatorname{Tr}_{A_{/ {k}} }: A &\to k && \text{additive} .$ How they're constructed: let $$A\in \mathop{\mathrm{End}}(V) = V\otimes V {}^{ \vee }$$, then since $$\bigwedge\nolimits^*$$ is a functor, there is a map $\operatorname{Nm}_{A_{/ {k}} }: \mathop{\mathrm{End}}(V) &\to \mathop{\mathrm{End}}\qty{ \bigwedge\nolimits^{\dim V} V} = k \\ \operatorname{Tr}_{A_{/ {k}} }: \mathop{\mathrm{End}}(V) { { \, \xrightarrow{\sim}\, }}V\otimes V {}^{ \vee }&\xrightarrow{{\left\langle {{-}},~{{-}} \right\rangle}} k .$ ::: ::: {.proposition title="?"} For $$A\in \mathsf{CSA}_{/ {k}}$$, then if there exists a nonzero $$f\in A$$ with $$\operatorname{Nm}_{A_{/ {k}} }(f) = 0$$, then $$A$$ is not a division algebra. > Algebra: nontrivial matrix algebra over a field implies existence of matrices with determinant zero. ::: ::: {.proof title="?"} The norm is multiplicative, so if $$f$$ is a unit then $$\operatorname{Nm}(f f^{-1})= 1\neq 0$$. ::: ::: {.theorem title="?"} There is a surjection $\displaystyle\bigcup_n H^1(k; \operatorname{PGL}_n) \twoheadrightarrow H^2(k; (k^s)^{\times}) .$ ::: ::: {.proof title="sketch"} It's enough to show the following surjection: $\displaystyle\bigcup_n H^1(L_{/ {k}} ; \operatorname{PGL}_n) \to H^2(L_{/ {k}} ; L^{\times}) .$ Given $$\alpha$$ in the codomain, interpret it as a central extension: $1 \to L^{\times}\to M_\alpha \to { \mathsf{Gal}} (L_{/ {k}} ) \to 1 .$ ::: {.definition title="Semilinear group rings"} Define $$L[M_\alpha]$$ to be the **semilinear group ring** of $$M_\alpha$$: $L[M_\alpha] \bigoplus_{\lambda \in M_\lambda} L[e_\lambda]$ where $$e_{\lambda_1} e_{ \lambda_2} = e_{ \lambda_1 \lambda_2}$$ and $$\ell e_{ \lambda} = e_{\lambda} \lambda(\ell)$$. ::: ::: {.claim} $$A_\alpha \coloneqq L[M_{ \alpha}] / \left\langle{ \lambda e_1 - 1 e_{ \lambda}}\right\rangle$$ is a CSA mapping to $$[\alpha]$$. See Serre's *Local Fields*. ::: ::: ::: {.question} Can this construction be done in $$\mathsf{SB}$$ or $$\mathsf{Tw}_\alpha$$? ::: ## Computing Brauer Groups ::: {.remark} ::: ::: {.claim} $$\mathop{\mathrm{Br}}({\mathbb{F}}_q) = 0$$. ::: ::: {.theorem title="?"} Let $$k$$ be a $$C_1{\hbox{-}}$$field, so any homogeneous polynomial in $$k$$ with degree $$d < n$$ has a nonzero solution. Then $$\mathop{\mathrm{Br}}(k) = 0$$. ::: ::: {.remark} Note that Chevalley-Warring (?) exactly says that finite fields are $$C_1$$. ::: ::: {.proof title="of theorem"} {=tex} \envlist  ::: {.claim} Let $$A\in \mathsf{CSA}_{/ {k}}$$, then $$\operatorname{Nm}_{A_{/ {k}} }: A\to k$$ is a polynomial function on $$n^2$$ variables of degree $$n$$. ::: ::: {.proof title="?"} This is true for the actual determinant, and this is a claim that can be checked after passing to $$k^s$$ since the norm is a *form* of the determinant. ::: ::: {.corollary title="?"} If $$k$$ is $$C_1$$ and $$\operatorname{rank}A > 1$$, there exists a nonzero $$f\in A$$ such that $$\operatorname{Nm}_{A_{/ {k}} }(f) = 0$$. ::: But all $$k{\hbox{-}}$$division algebras are isomorphic to $$k$$, here all CSAs are of the form $$\operatorname{Mat}(n\times n, k)$$, so the Brauer group is trivial. ::: ::: {.theorem title="Tsem"} If $$k = \mkern 1.5mu\overline{\mkern-1.5muk\mkern-1.5mu}\mkern 1.5mu$$ and $$C_{/ {k}}$$ is a smooth proper curve, then the function field $$k(C)$$ is $$C_1$$. ::: ::: {.proof title="?"} Let $$f$$ be a homogeneous polynomial, $$\deg f = d$$, in $$n$$ variables over $$k(C)$$ with $$d < n$$. Then regard $$f: k(C)^n \to k(C)$$, we want to show $$f^{-1}(0)$$ is big. Let $$p\in C$$, and now $$f$$ as a map $f: {\mathsf{\Gamma}\qty{C; {\mathcal{O}}(r\cdot p)^n} } \to {\mathsf{\Gamma}\qty{C; {\mathcal{O}}(r d \cdot p)} } ,$ which is a polynomial map of finite dimensional vector spaces that are subspaces of the previous domain/codomain. Using Riemann-Roch, the dimension of the left-hand side grows like $$r\cdot n$$ and the right-hand side grows like $$r\cdot d$$, and for $$r$$ large enough, $$rn > rd$$. Since $$f$$ is homogeneous, $$f^{-1}(0)$$ contains 0, so $$\dim f^{-1}(0)> 0$$. But a positive-dimensional variety over an algebraically closed field has lots of rational points! :::