\newcommand{\cat}[1]{\mathsf{#1}}

\newcommand{\Sets}[0]{{\mathsf{Set}}}
\newcommand{\Set}[0]{{\mathsf{Set}}}
\newcommand{\sets}[0]{{\mathsf{Set}}}
\newcommand{\set}{{\mathsf{Set}}}
\newcommand{\Poset}[0]{\mathsf{Poset}}
\newcommand{\GSets}[0]{{G\dash\mathsf{Set}}}
\newcommand{\Groups}[0]{{\mathsf{Group}}}
\newcommand{\Grp}[0]{{\mathsf{Grp}}}
\newcommand{\cC}[0]{{\mathsf{C}}}
\newcommand{\Ar}[0]{{\mathsf{Ar}}}
\newcommand{\Mot}[0]{{\mathsf{Mot}}}
\newcommand{\SW}[0]{{\mathsf{SW}}}
\newcommand{\cof}[0]{{\mathsf{cof}}}
\newcommand{\fib}[0]{{\mathsf{fib}}}

% Modifiers
\newcommand{\der}[0]{{\mathsf{d}}}
\newcommand{\dg}[0]{{\mathsf{dg}}}
\newcommand{\comm}[0]{{\mathsf{C}}}
\newcommand{\pre}[0]{{\mathsf{pre}}}
\newcommand{\fn}[0]{{\mathsf{fn}}}
\newcommand{\smooth}[0]{{\mathsf{sm}}}
\newcommand{\Aff}[0]{{\mathsf{Aff}}}
\newcommand{\Ab}[0]{{\mathsf{Ab}}}
\newcommand{\Add}[0]{{\mathsf{Add}}}
\newcommand{\Assoc}[0]{\mathsf{Assoc}}
\newcommand{\Ch}[0]{\mathsf{Ch}}
\newcommand{\Coh}[0]{{\mathsf{Coh}}}
\newcommand{\Comm}[0]{\mathsf{Comm}}
\newcommand{\Cor}[0]{\mathsf{Cor}}
\newcommand{\Corr}[0]{\mathsf{Cor}}
\newcommand{\Fin}[0]{{\mathsf{Fin}}}
\newcommand{\Free}[0]{\mathsf{Free}}
\newcommand{\Tors}[0]{\mathsf{Tors}}
\newcommand{\Perf}[0]{\mathsf{Perf}}
\newcommand{\Unital}[0]{\mathsf{Unital}}
\newcommand{\eff}[0]{\mathsf{eff}}
\newcommand{\Dc}[0]{\mathbf{D}}
\newcommand{\derivedcat}[1]{\Dc {#1}}
\newcommand{\Db}[0]{ \mathsf{D}^b }
\newcommand{\db}[0]{\Db}
\newcommand{\bderivedcat}[1]{\Db {#1}}
\newcommand{\Const}[0]{\mathsf{Const}}
\newcommand{\Cx}[0]{\mathsf{Ch}}
\newcommand{\Stable}[0]{\mathsf{Stab}}
\newcommand{\ChainCx}[1]{\mathsf{Ch}\qty{ #1 }}
\newcommand{\Vect}[0]{{ \mathsf{Vect}}}
\newcommand{\kvect}[0]{{ \mathsf{Vect}\slice{k}}}
\newcommand{\loc}[0]{{\mathsf{loc}}}
\newcommand{\locfree}[0]{{\mathsf{locfree}}}
\newcommand{\Bun}{{\mathsf{Bun}}}
\newcommand\Prinbun{{ \mathsf{PrinBun}}}
\newcommand{\bung}{{\mathsf{Bun}_G}}

% Rings
\newcommand{\Local}[0]{\mathsf{Local}}
\newcommand{\Fieldsover}[1]{{ \mathsf{Fields}_{#1}}}
\newcommand{\Field}[0]{\mathsf{Field}}
\newcommand{\Number}[0]{\mathsf{Number}}
\newcommand{\Numberfield}[0]{\Field\slice{\QQ}}
\newcommand{\NF}[0]{\Numberfield}
\newcommand{\Art}[0]{\mathsf{Art}}
\newcommand{\Global}[0]{\mathsf{Global}}
\newcommand{\Ring}[0]{\mathsf{Ring}}
\newcommand{\Mon}[0]{\mathsf{Mon}}
\newcommand{\CMon}[0]{\mathsf{CMon}}
\newcommand{\CRing}[0]{\mathsf{CRing}}
\newcommand{\DedekindDomain}[0]{\mathsf{DedekindDom}}
\newcommand{\IntDomain}[0]{\mathsf{IntDom}}
\newcommand{\Dom}[0]{\mathsf{Dom}}
\newcommand{\Domain}[0]{\mathsf{Domain}}
\newcommand{\DVR}[0]{\mathsf{DVR}}
\newcommand{\Dedekind}[0]{\mathsf{Dedekind}}

% Modules
\newcommand{\Quat}[0]{{\mathsf{Quat}}}
\newcommand{\torsors}[1]{{\mathsf{#1}\dash\mathsf{Torsors}}}
\newcommand{\torsorsright}[1]{\mathsf{Torsors}\dash\mathsf{#1}}
\newcommand{\torsorsleft}[1]{\mathsf{#1}\dash\mathsf{Torsors}}
\newcommand{\bimod}[2]{({#1}, {#2})\dash\mathsf{biMod}}
\newcommand{\bimods}[2]{({#1}, {#2})\dash\mathsf{biMod}}

\newcommand{\Mod}[0]{{\mathsf{Mod}}}
\newcommand{\modsleft}[1]{ {}_{#1}\Mod}
\newcommand{\modsright}[1]{ \Mod_{#1}}
\newcommand{\mods}[1]{ \modsleft{#1}}
\newcommand{\modr}[0]{ \modsright{R}}
\newcommand{\stmods}[1]{{\mathsf{#1}\dash\mathsf{stMod}}}
\newcommand{\grmods}[1]{{\mathsf{#1}\dash\mathsf{grMod}}}
\newcommand{\grMod}[0]{{\mathsf{grMod}}}
\newcommand{\comods}[1]{{\mathsf{#1}\dash\mathsf{coMod}}}

\newcommand{\gsetsleft}[1]{ {}_{#1}\Set}
\newcommand{\gsetsright}[1]{ \Set_{#1}}
\newcommand{\gset}[1]{\gsetsleft{#1}}
\newcommand{\gsets}[1]{\gset{#1}}

\newcommand{\zmod}[0]{ \modsleft{\ZZ}}
\newcommand{\qmod}[0]{ \modsleft{\QQ}}
\newcommand{\rmod}[0]{ \modsleft{R}}
\newcommand{\kmod}[0]{ \modsleft{k}}
\newcommand{\cmod}[0]{ \modsleft{ \CC }}
\newcommand{\fmod}[0]{ \modsleft{ \FF }}
\newcommand{\oxmods}[0]{ \mods{\OO_X}}
\newcommand{\amod}[0]{\mods{A}}
\newcommand{\gmod}[0]{\mods{G}}
\newcommand{\lmod}[0]{\mods{L}}
\newcommand{\Dmod}[0]{ \modsleft{\mathcal{D}} }
\newcommand{\dmod}[0]{ \Dmod }

\newcommand{\gr}[0]{{\mathsf{gr}\,}}
\newcommand{\mmod}[0]{{\dash\mathsf{Mod}}}
\newcommand{\Rep}[0]{{\mathsf{Rep}}}
\newcommand{\Irr}[0]{{\mathsf{Irr}}}
\newcommand{\Adm}[0]{{\mathsf{Adm}}}
\newcommand{\semisimp}[0]{{\mathsf{ss}}}
\newcommand{\Hodge}[0]{{\mathsf{Hodge}}}

% Vector Spaces and Bundles
\newcommand{\VectBundle}[0]{{ \Bun\qty{\GL_r}}}
\newcommand{\VectBundlerk}[1]{{ \Bun\qty{\GL_{#1}}}}
\newcommand{\VectSp}[0]{{ \VectSp }}
\newcommand{\VectBun}[0]{{ \VectBundle }}
\newcommand{\VectBunrk}[1]{{ \VectBundlerk{#1}}}
\newcommand{\Bung}[0]{{ \Bun\qty{G}}}

% Algebras
\newcommand{\Alg}[0]{ \mathsf{Alg}}
\newcommand{\algs}[1]{{ {}_{#1} \Alg }}
\newcommand{\Hopf}[0]{\mathsf{Hopf}}
\newcommand{\alg}[0]{\Alg}
\newcommand{\scalg}[0]{\mathsf{sCAlg}}
\newcommand{\cAlg}[0]{{\mathsf{cAlg}}}
\newcommand{\calg}[0]{\mathsf{CAlg}}
\newcommand{\liegmod}[0]{{\mathfrak{g}\dash\mathsf{Mod}}}
\newcommand{\liealg}[0]{{\mathsf{Lie}\dash\Alg}}
\newcommand{\Lie}[0]{\mathsf{Lie}}
\newcommand{\kalg}[0]{ {}_{k} \Alg }
\newcommand{\kAlg}[0]{\kalg}
\newcommand{\falg}[0]{ {}_{\FF} \Alg }
\newcommand{\ralg}[0]{ {}_{R} \Alg }
\newcommand{\rAlg}[0]{ \ralg }
\newcommand{\zalg}[0]{ {}_{\ZZ} \Alg }
\newcommand{\CCalg}[0]{ {}_{\\CC} \Alg }
\newcommand{\dga}[0]{{\mathsf{dg\Alg}}}
\newcommand{\cdga}[0]{{ \mathsf{c}\dga }}
\newcommand{\FMP}[0]{\mathsf{FMP}}
\newcommand{\dgla}[0]{\dg\Lie\Alg }
\newcommand{\DGLA}[0]{\dgla}
\newcommand{\Poly}[0]{{\mathsf{Poly}}}
\newcommand{\Hk}[0]{{\mathsf{Hk}}}
\newcommand{\Asm}[0]{{\mathsf{Asm}}}
\newcommand{\kSch}[0]{{\mathsf{Sch}_{/k}}}

\newcommand{\Grpd}[0]{{\mathsf{Grpd}}}
\newcommand{\inftyGrpd}[0]{{ \underset{\infty}{ \Grpd }}}
\newcommand{\Algebroid}[0]{{\mathsf{Algd}}}

% Schemes and Sheaves
\newcommand{\Loc}[0]{\mathsf{Loc}}
\newcommand{\Locsys}[0]{\mathsf{LocSys}}
\newcommand{\Ringedspace}[0]{\mathsf{RingSp}}
\newcommand{\RingedSpace}[0]{\mathsf{RingSp}}
\newcommand{\LRS}[0]{\Loc\RingedSpace}
\newcommand{\IndCoh}[0]{{\mathsf{IndCoh}}}
\newcommand{\dbcoh}[0]{\mathsf{D}^b\mathsf{Coh}}
\newcommand{\DbCoh}[0]{\dbcoh}
\newcommand{\DCoh}[0]{\mathsf{D}\mathsf{Coh}}
\newcommand{\dcoh}[0]{\DCoh}
\newcommand{\QCoh}[0]{{\mathsf{QCoh}}}
\newcommand{\qcoh}[0]{\QCoh}
\newcommand{\Ind}[0]{{\mathsf{Ind}}}
\newcommand{\ind}[0]{\Ind}
\newcommand{\Pro}[0]{\mathsf{pro}}
\newcommand{\pro}[0]{\Pro}
\newcommand{\Cov}[0]{{\mathsf{Cov}}}
\newcommand{\sch}[0]{{\mathsf{Sch}}}
\newcommand{\presh}[0]{ \underset{ \mathsf{pre}} {\mathsf{Sh}}}
\newcommand{\prest}[0]{ {\underset{ \mathsf{pre}} {\mathsf{St}} }}
\newcommand{\Descent}[0]{{\mathsf{Descent}}}
\newcommand{\Desc}[0]{{\mathsf{Desc}}}
\newcommand{\FFlat}[0]{{\mathsf{FFlat}}}
\newcommand{\Perv}[0]{\mathsf{Perv}}
\newcommand{\smsch}[0]{{ \smooth\Sch }}
\newcommand{\Sch}[0]{{\mathsf{Sch}}}
\newcommand{\Schf}[0]{{\mathsf{Schf}}}
\newcommand{\Sh}[0]{{\mathsf{Sh}}}
\newcommand{\St}[0]{{\mathsf{St}}}
\newcommand{\Stacks}[0]{{\mathsf{St}}}
\newcommand{\Var}[0]{{\mathsf{Var}}}
\newcommand{\Vark}[0]{{ \Var_{/k}}}
\newcommand{\kvar}[0]{{ \Var_{/k}}}
\newcommand{\Open}[0]{{\mathsf{Open}}}

% Homotopy
\newcommand{\CW}[0]{{\mathsf{CW}}}
\newcommand{\sset}[0]{{\mathsf{sSet}}}
\newcommand{\sSet}[0]{{\mathsf{sSet}}}
\newcommand{\ssets}[0]{\mathsf{sSet}}
\newcommand{\hoTop}[0]{{\mathsf{hoTop}}}
\newcommand{\hoType}[0]{{\mathsf{hoType}}}
\newcommand{\ho}[0]{{\mathsf{ho}}}
\newcommand{\SHC}[0]{{\mathsf{SHC}}}
\newcommand{\SH}[0]{{\mathsf{SH}}}
\newcommand{\Spaces}[0]{{\mathsf{Spaces}}}
\newcommand{\GSpaces}[1]{{G\dash\mathsf{Spaces}}}
\newcommand{\Spectra}[0]{{\mathsf{Sp}}}
\newcommand{\Sp}[0]{{\mathsf{Sp}}}
\newcommand{\Top}[0]{{\mathsf{Top}}}
\newcommand{\Bord}[0]{{\mathsf{Bord}}}
\newcommand{\TQFT}[0]{{\mathsf{TQFT}}}
\newcommand{\Kc}[0]{{\mathsf{K^c}}}
\newcommand{\triang}[0]{{\mathsf{triang}}}
\newcommand{\TTC}[0]{{\mathsf{TTC}}}
\newcommand{\dchrmod}{{\derivedcat{\Ch(\rmod)}}}

% Infty Cats
\newcommand{\Finset}[0]{{\mathsf{FinSet}}}
\newcommand{\Cat}[0]{\mathsf{Cat}}
\newcommand{\Fun}[0]{{\mathsf{Fun}}}
\newcommand{\Kan}[0]{{\mathsf{Kan}}}
\newcommand{\Monoid}[0]{\mathsf{Mon}}
\newcommand{\Arrow}[0]{\mathsf{Arrow}}
\newcommand{\quasiCat}[0]{{ \mathsf{quasiCat}} }
\newcommand{\inftycat}[0]{{ \underset{\infty}{ \Cat}  }}
\newcommand{\inftycatn}[1]{{ \underset{(\infty, {#1})}{ \Cat}  }}
\newcommand{\core}[0]{{ \mathsf{core}}}
\newcommand{\Indcat}[0]{ \mathsf{Ind}}

% New?
\newcommand{\Prism}[0]{\mathsf{Prism}}
\newcommand{\Solid}[0]{\mathsf{Solid}}
\newcommand{\WCart}[0]{\mathsf{WCart}}

% Motivic
\newcommand{\Torsor}[1]{{\mathsf{#1}\dash\mathsf{Torsor}}}
\newcommand{\Torsorleft}[1]{{\mathsf{#1}\dash\mathsf{Torsor}}}
\newcommand{\Torsorright}[1]{{\mathsf{Torsor}\dash\mathsf{#1}}}
\newcommand{\Quadform}[0]{{\mathsf{QuadForm}}}
\newcommand{\HI}[0]{{\mathsf{HI}}}
\newcommand{\DM}[0]{{\mathsf{DM}}}
\newcommand{\hoA}[0]{{\mathsf{ho}_*^{\scriptstyle \AA^1}}}
\newcommand\Tw[0]{\mathsf{Tw}}
\newcommand\SB[0]{\mathsf{SB}}
\newcommand\CSA[0]{\mathsf{CSA}}
\newcommand{\CSS}[0]{{ \mathsf{CSS}} }

% Unsorted
\newcommand{\FGL}[0]{\mathsf{FGL}}
\newcommand{\FI}[0]{{\mathsf{FI}}}
\newcommand{\CE}[0]{{\mathsf{CE}}}
\newcommand{\Fuk}[0]{{\mathsf{Fuk}}}
\newcommand{\Lag}[0]{{\mathsf{Lag}}}
\newcommand{\Mfd}[0]{{\mathsf{Mfd}}}
\newcommand{\Riem}[0]{\mathsf{Riem}}
\newcommand{\Wein}[0]{{\mathsf{Wein}}}
\newcommand{\gspaces}[1]{{#1}\dash{\mathsf{Spaces}}}
\newcommand{\deltaring}[0]{{\delta\dash\mathsf{Ring}}}
\newcommand{\terminal}[0]{{ 0_{\scriptscriptstyle \uparrow}}}
\newcommand{\initial}[0]{{ \mathscr \emptyset^{\scriptscriptstyle \downarrow}}}

% Universal guys

\newcommand{\coeq}[0]{\operatorname{coeq}}
\newcommand{\cocoeq}[0]{\operatorname{eq}}
\newcommand{\dgens}[1]{\gens{\gens{ #1 }}}
\newcommand{\ctz}[1]{\, {\converges{{#1} \to\infty}\longrightarrow 0} \, }
\newcommand{\conj}[1]{{\overline{{#1}}}}
\newcommand{\complex}[1]{{ {#1}_{\scriptscriptstyle \bullet}} }
\newcommand{\cocomplex}[1]{ { {#1}^{\scriptscriptstyle \bullet}} }
\newcommand{\bicomplex}[1]{{ {#1}_{\scriptscriptstyle \bullet, \bullet}} }
\newcommand{\cobicomplex}[1]{ { {#1}^{\scriptscriptstyle \bullet, \bullet}} }

\newcommand{\floor}[1]{{\left\lfloor #1 \right\rfloor}}
\newcommand{\ceiling}[1]{{\left\lceil #1 \right\rceil}}
\newcommand{\fourier}[1]{\widehat{#1}}
\newcommand{\embedsvia}[1]{\xhookrightarrow{#1}}
\newcommand{\openimmerse}[0]{\underset{\scriptscriptstyle O}{\hookrightarrow}}
\newcommand{\weakeq}[0]{\underset{\scriptscriptstyle W}{\rightarrow}}

\newcommand{\fromvia}[1]{\xleftarrow{#1}}
\newcommand{\generators}[1]{\left\langle{#1}\right\rangle}
\newcommand{\freeon}[1]{ \left[ {#1} \right]  }
\newcommand{\gens}[1]{\left\langle{#1}\right\rangle}
\newcommand{\globsec}[1]{{{\Gamma}\qty{#1} }}
\newcommand{\Globsec}[1]{{{\Gamma}\qty{#1} }}
\newcommand{\langL}[1]{ {}^{L}{#1} }
\newcommand{\modulo}[0]{{ \bigg/ }}

\newcommand{\equalsbecause}[1]{\overset{#1}{=}}
\newcommand{\congbecause}[1]{\overset{#1}{\cong}}
\newcommand{\congas}[1]{\underset{#1}{\cong}}
\newcommand{\isoas}[1]{\underset{#1}{\cong}}
\newcommand{\pwiso}[0]{\underset{\mathrm{pw}}{\cong}}
\newcommand{\addbase}[1]{{ {}_{\pt} }}
\newcommand{\ideal}[1]{\mathcal{#1}}
\newcommand{\adjoin}[1]{ { \left[ \scriptstyle {#1} \right] } }
\newcommand{\polynomialring}[1]{ { \left[ {#1} \right] } }
\newcommand{\htyclass}[1]{ { \left[ {#1} \right] } }
\newcommand{\qtext}[1]{{\quad \operatorname{#1} \quad}}
\newcommand{\abs}[1]{{\left\lvert {#1} \right\rvert}}
\newcommand{\stack}[1]{\mathclap{\substack{ #1 }}} 
\newcommand{\freezmod}[1]{\ZZ\left[ {#1} \right] } 

\newcommand{\functionfield}[1]{ { \left( {#1} \right) } }
\newcommand{\rff}[1]{ \functionfield{#1} }


\newcommand{\fps}[1]{{\llbracket #1 \rrbracket  }}
\newcommand{\formalseries}[1]{ \fps{#1} }
\newcommand{\formalpowerseries}[1]{ \fps{#1} }
\newcommand{\powerseries}[1]{ \fps{#1} }
\newcommand\fls[1]{(\hspace{-0.25em}( #1 )\hspace{-0.22em}) }

\newcommand\laurent[1]{\fls{#1}}
\newcommand\laurentseries[1]{\fls{#1}}

\newcommand\lshriek[0]{{}_{!}}
\newcommand\pushf[0]{{}^{*}}

\newcommand{\nilrad}[1]{{\sqrt{0_{#1}} }}
\newcommand{\jacobsonrad}[1]{{J ({#1}) }}
\newcommand{\localize}[1]{ \left[ { \scriptstyle { {#1}\inv}  } \right] }
\newcommand{\primelocalize}[1]{ \left[ { \scriptstyle { { ({#1}^c) }\inv}  } \right]}
\newcommand{\plocalize}[1]{\primelocalize{#1}}
\newcommand{\sheafify}[1]{ \left( #1 \right)^{\scriptscriptstyle \mathrm{sh}} }
\newcommand{\complete}[1]{{ {}_{ \hat{#1} } }}
\newcommand{\takecompletion}[1]{{ \overbrace{#1}^{\widehat{\hspace{4em}}}  }}
\newcommand{\pcomplete}[0]{{ {}^{ \wedge }_{p} }}
\newcommand{\procomplete}[0]{ {}^{ \wedge_{\scriptscriptstyle \pro }} } 
\newcommand{\kv}[0]{{ k_{\hat{v}} }}
\newcommand{\Lv}[0]{{ L_{\hat{v}} }}

\newcommand{\twistleft}[2]{{ {}^{#1} #2 }}
\newcommand{\twistright}[2]{{ #2 {}^{#1} }}
\newcommand{\liesover}[1]{{ {}_{/ {#1}} }}
\newcommand{\liesabove}[1]{{ {}_{/ {#1}} }}
\newcommand{\slice}[1]{_{/ {#1}}}
\newcommand{\coslice}[1]{_{{#1/}}}
\newcommand{\quotright}[2]{ {}^{#1}\mkern-2mu/\mkern-2mu_{#2} }
\newcommand{\quotleft}[2]{ {}_{#2}\mkern-.5mu\backslash\mkern-2mu^{#1} }
\newcommand{\invert}[1]{{ \left[ { \scriptstyle \frac{1}{#1} } \right] }}
\newcommand{\symb}[2]{{ \qty{ #1 \over #2 } }}
\newcommand{\squares}[1]{{ {#1}_{\scriptscriptstyle \square} }} 
\newcommand{\shift}[2]{{ \Sigma^{\scriptstyle[#2]} #1 }}

\newcommand\cartpower[1]{{ {}^{ \scriptscriptstyle\times^{#1} }  }}
\newcommand\disjointpower[1]{{ {}^{ \scriptscriptstyle\coprod^{#1} }  }}
\newcommand\sumpower[1]{{ {}^{ \scriptscriptstyle\oplus^{#1} }  }}
\newcommand\prodpower[1]{{ {}^{ \scriptscriptstyle\times^{#1} }  }}
\newcommand\tensorpower[2]{{ {}^{ \scriptstyle\otimes_{#1}^{#2} }  }}
\newcommand\tensorpowerk[1]{{ {}^{ \scriptscriptstyle\otimes_{k}^{#1} }  }}
\newcommand\derivedtensorpower[3]{{ {}^{ \scriptstyle {}_{#1} {\otimes_{#2}^{#3}} }  }}
\newcommand\smashpower[1]{{ {}^{ \scriptscriptstyle\smashprod^{#1} }  }}
\newcommand\wedgepower[1]{{ {}^{ \scriptscriptstyle\smashprod^{#1} }  }}
\newcommand\fiberpower[2]{{ {}^{ \scriptscriptstyle\fiberprod{#1}^{#2} }  }}
\newcommand\powers[1]{{ {}^{\cdot #1} }}
\newcommand\skel[1]{{ {}^{ (#1) } }}
\newcommand\transp[1]{{ \, {}^{t}{ \left( #1 \right) } }}

\newcommand\Restriction[2]{\mathrm{Res}^{#1}_{#2}}
\newcommand\coRestriction[2]{\mathrm{coRes}^{#1}_{#2}}
\newcommand\Induction[2]{\mathrm{Ind}^{#1}_{#2}}
\newcommand\coInduction[2]{\mathrm{coInd}^{#1}_{#2}}

\newcommand{\inner}[2]{{\left\langle {#1},~{#2} \right\rangle}}
\newcommand{\inp}[2]{{\left\langle {#1},~{#2} \right\rangle}}
\newcommand{\poisbrack}[2]{{\left\{ {#1},~{#2} \right\} }}
\newcommand\tl[2]{{ #1_1, \cdots, #1_{#2} }}
\newcommand\tlz[2]{{ #1_0, \cdots, #1_{#2} }}
\newcommand\tsl[3]{ \ts{ {#1}_{#2}, \cdots, {#1}_{#3} } }
\newcommand\tlset[2]{ \ts{ {#1}_{1}, \cdots, {#1}_{#2} } }

\newcommand{\cofinal}[0]{\mathsf{\emptyset} }
\newcommand{\final}[0]{\ts{\pt}}
\newcommand{\roof}[3]{ #1 {\, \scriptstyle {}^\swarrow\, } #2 {\, \scriptstyle {}^\searrow\,} #3 }
\newcommand{\catspan}[3]{\roof{#1}{#2}{#3}}
\newcommand{\bbcpt}[1]{\overline{ #1 }^{\bb}}

\newcommand{\norm}[1]{{\left\lVert {#1} \right\rVert}}
\newcommand{\normm}[1]{{\left\lVert \left\lVert {#1} \right\rVert\right\rVert}}
\newcommand{\open}[1]{\overset{\circ}{#1}}
\newcommand{\pnorm}[2]{{\left\lVert {#1} \right\rVert}_{#2}}

\newcommand{\fourcase}[4]{
\begin{cases}{#1} & {#2} \\ {#3} & {#4}\end{cases} 
}
\newcommand{\cvec}[2]{{ \begin{bmatrix} {#1} \\ {#2} \end{bmatrix} }}
\newcommand{\matt}[4]{{ \begin{bmatrix} {#1} & {#2}  \\ {#3} & {#4} \end{bmatrix} }}
\newcommand{\mattt}[9]{{
\begin{bmatrix}
  {#1} & {#2} & {#3}
\\
  {#4} & {#5} & {#6}
\\
  {#7} & {#8} & {#9}
\end{bmatrix}
}}

\newcommand\stacksymbol[3]{
  \mathrel{\stackunder[2pt]{\stackon[4pt]{$#3$}{$\scriptscriptstyle#1$}}{
  $\scriptscriptstyle#2$}}
}
\newcommand{\textoperatorname}[1]{
  \operatorname{\textnormal{#1}}
}
\newcommand\tmf{ \mathrm{tmf} }
\newcommand\taf{ \mathrm{taf} }
\newcommand\TAF{ \mathrm{TAF} }
\newcommand\TMF{ \mathrm{TMF} }
\newcommand\String{ \mathrm{String} }

\newcommand{\BO}[0]{{\B \Orth}}
\newcommand{\EO}[0]{{\mathsf{E} \Orth}}
\newcommand{\BSO}[0]{{\B\SO}}
\newcommand{\ESO}[0]{{\mathsf{E}\SO}}
\newcommand{\BG}[0]{{\B G}}
\newcommand{\EG}[0]{{\mathsf{E} G}}
\newcommand{\BP}[0]{{\operatorname{BP}}}
\newcommand{\BU}[0]{\B{\operatorname{U}}}

\newcommand{\MO}[0]{{\operatorname{MO}}}
\newcommand{\MSO}[0]{{\operatorname{MSO}}}
\newcommand{\MSpin}[0]{{\operatorname{MSpin}}}
\newcommand{\MSp}[0]{{\operatorname{MSpin}}}
\newcommand{\MString}[0]{{\operatorname{MString}}}
\newcommand{\MStr}[0]{{\operatorname{MString}}}
\newcommand{\MU}[0]{{\operatorname{MU}}}


\newcommand{\KO}[0]{{\operatorname{KO}}}
\newcommand{\KU}[0]{{\operatorname{KU}}}

\newcommand{\smashprod}[0]{\wedge}

\newcommand{\ku}[0]{{\operatorname{ku}}}
\newcommand{\hofib}[0]{{\operatorname{hofib}}}
\newcommand{\cofib}[0]{{\operatorname{cofib}}}
\newcommand{\hocofib}[0]{{\operatorname{hocofib}}}


\newcommand{\Loop}[0]{{\Omega}}
\newcommand{\Loops}[0]{\Loop}
\newcommand{\Suspend}[0]{{\Sigma}}
\DeclareMathOperator{\Suspendpinf}{{\Sigma_+^\infty}}
\DeclareMathOperator{\Loopinf}{{\Omega^\infty}}
\newcommand{\Loopsinf}[0]{\Loopinf}
% Names and Symbols
\newcommand*\dif{\mathop{}\!\operatorname{d}}
\newcommand*{\horzbar}{\rule[.5ex]{2.5ex}{0.5pt}}
\newcommand*{\vertbar}{\rule[-1ex]{0.5pt}{2.5ex}}
\newcommand\Fix{ \mathrm{Fix}}
\newcommand\CS{ \mathrm{CS}}
\newcommand\FP{ \mathrm{FP}}
\newcommand\places[1]{ \mathrm{Pl}\qty{#1}}
\newcommand\Ell{ \mathrm{Ell}}
\newcommand\homog{ { \mathrm{homog} }}
\newcommand\Kahler[0]{\operatorname{Kähler}}
\newcommand\aug{\fboxsep=-\fboxrule\!\!\!\fbox{\strut}\!\!\!}
\newcommand\compact[0]{\operatorname{cpt}}
\newcommand\hyp[0]{{\operatorname{hyp}}}
\newcommand\jan{\operatorname{Jan}}
\newcommand\curl{\operatorname{curl}}
\newcommand\EZ{\operatorname{EZ}}
\newcommand\depth{\operatorname{depth}}
\newcommand\Sim{\operatorname{Sim}}
\newcommand\kbar{{ \overline{k} }}
\newcommand\ksep{{ k\sep }}
\newcommand\mypound{\scalebox{0.8}{\raisebox{0.4ex}{\#}}}
\newcommand\rref{\operatorname{RREF}}
\newcommand\RREF{\operatorname{RREF}}
\newcommand{\Tatesymbol}{\operatorname{TateSymb}}
\newcommand{\Vor}{\operatorname{Vor}}
\newcommand{\Star}{\operatorname{Star}}
\newcommand\tilt[0]{ {}^{ \flat }}
\newcommand\vecc[2]{\textcolor{#1}{\textbf{#2}}}
\newcommand{\Af}[0]{{\mathbf{A}}}
\newcommand{\Ag}[0]{{\mathcal{A}_g}}
\newcommand{\Mg}[0]{{\mathcal{M}_g}}
\newcommand{\mgbar}[0]{\bar{\Mg}}
\newcommand{\Mgbar}[0]{\bar{\Mg}}
\newcommand{\agbar}[0]{\bar{\Ag}}
\newcommand{\Ahat}[0]{\hat{ \operatorname{A}}_g }
\newcommand{\Ann}[0]{\operatorname{Ann}}
\newcommand{\sinc}[0]{\operatorname{sinc}}
\newcommand{\Banach}[0]{\mathcal{B}}
\newcommand{\Arg}[0]{\operatorname{Arg}}
\newcommand{\BB}[0]{{\mathbb{B}}}
\newcommand{\Betti}[0]{{\operatorname{Betti}}}
\newcommand{\CC}[0]{{\mathbf{C}}}
\newcommand{\CCstar}[0]{{\CC\units }}
\newcommand{\cstar}[0]{{\CC\units }}
\newcommand{\CF}[0]{\operatorname{CF}}
\newcommand{\CH}[0]{{\operatorname{CH}}}
\newcommand{\Chow}[0]{{\operatorname{Ch}}}
\newcommand{\CP}[0]{{\mathbf{CP}}}
\newcommand{\CY}{{ \text{CY} }}
\newcommand{\Cl}[0]{ \operatorname{Cl}}
\newcommand{\Crit}[0]{\operatorname{Crit}}
\newcommand{\DD}[0]{\mathbb{D}}
\newcommand{\UU}[0]{\mathbb{U}}
\newcommand{\DSt}[0]{{ \operatorname{DSt}}}
\newcommand{\Def}{\operatorname{Def}}
\newcommand{\MT}{\operatorname{MT}}
\newcommand{\Diffeo}[0]{{\operatorname{Diffeo}}}
\newcommand{\Diff}[0]{\operatorname{Diff}}
\newcommand{\Disjoint}[0]{\amalg}
\newcommand{\resprod}[0]{\prod^{\res}}
\newcommand{\restensor}[0]{\bigotimes^{\res}}
\newcommand{\Disk}[0]{{\operatorname{Disk}}}
\newcommand{\Dist}[0]{\operatorname{Dist}}
\newcommand{\EE}[0]{{\mathbb{E}}}
\newcommand{\EKL}[0]{{\mathrm{EKL}}}
\newcommand{\vir}[0]{{\mathrm{vir}}}
\newcommand{\Nil}[0]{{\mathrm{Nil}}}
\newcommand{\QH}[0]{{\mathrm{QH}}}
\newcommand{\AMGM}[0]{{\mathrm{AMGM}}}
\newcommand{\Hasse}[0]{{\mathrm{Hasse}}}
\newcommand{\resultant}[0]{{\mathrm{res}}}
\newcommand{\tame}[0]{{\mathrm{tame}}}
\newcommand{\primetop}[0]{{\scriptscriptstyle \mathrm{prime-to-}p}}
\newcommand{\VHS}[0]{{\mathrm{VHS} }}
\newcommand{\ZVHS}[0]{{ \ZZ\mathrm{VHS} }}
\newcommand{\CR}[0]{{\mathrm{CR}}}
\newcommand{\unram}[0]{{\scriptscriptstyle\mathrm{un}}}
\newcommand{\Emb}[0]{{\operatorname{Emb}}}
\newcommand{\minor}[0]{{\operatorname{minor}}}
\newcommand{\fet}{\text{fét}}
\newcommand{\et}{\text{ét}}
\newcommand{\Et}{\text{Ét}}
\newcommand{\trace}{\operatorname{tr}}
\newcommand{\Trace}{\operatorname{Trace}}
\newcommand{\Kl}{\operatorname{Kl}}
\newcommand{\Rel}{\operatorname{Rel}}
\newcommand{\Norm}{\operatorname{Nm}}
\newcommand{\Extpower}[0]{\bigwedge\nolimits}
\newcommand{\Extalgebra}[0]{\cocomplex{\bigwedge}}
\newcommand{\Extalg}[0]{\Extalgebra}
\newcommand{\Extcomplex}[0]{\cocomplex{ \Extalgebra}}
\newcommand{\Extprod}[0]{\bigwedge\nolimits}
\newcommand{\Ext}{ \operatorname{Ext}}
\newcommand{\FFbar}[0]{{\bar\FF}}
\newcommand{\FFpn}[0]{{\FF_{p^n}}}
\newcommand{\FFp}[0]{{\FF_p}}
\newcommand{\FF}[0]{{ \mathbf{F} }}
\newcommand{\FS}{{ \text{FS} }}
\newcommand{\Fil}[0]{\operatorname{Fil}}
\newcommand{\Flat}[0]{{\operatorname{Flat}}}
\newcommand{\Fpbar}[0]{\bar{\FF_p}}
\newcommand{\Fpn}[0]{{\FF_{p^n} }}
\newcommand{\Fppf}[0]{\mathrm{\operatorname{Fppf}}}
\newcommand{\Fp}[0]{{\FF_p}}
\newcommand{\Frac}[0]{\operatorname{Frac}}
\newcommand{\GF}[0]{{\mathbf{GF}}}
\newcommand{\GG}[0]{{\mathbf{G}}}
\newcommand{\GL}[0]{\operatorname{GL}}
\newcommand{\GW}[0]{{\operatorname{GW}}}
\newcommand{\Gal}[0]{{ \mathsf{Gal}}}
\newcommand{\bigo}[0]{{ \mathsf{O}}}
\newcommand{\Gl}[0]{\operatorname{GL}}
\newcommand{\Gr}[0]{{\operatorname{Gr}}}
\newcommand{\GGr}[0]{ {\mathbb{Gr}}}
\newcommand{\HC}[0]{{\operatorname{HC}}}
\newcommand{\HFK}[0]{\operatorname{HFK}}
\newcommand{\HF}[0]{\operatorname{HF}}
\newcommand{\HHom}{\mathscr{H}\kern-2pt\operatorname{om}}
\newcommand{\HH}[0]{{\mathbb{H}}}
\newcommand{\HP}[0]{{\operatorname{HP}}}
\newcommand{\HT}[0]{{\operatorname{HT}}}
\newcommand{\HZ}[0]{{H\ZZ}}
\newcommand{\Hilb}[0]{\operatorname{Hilb}}
\newcommand{\Homeo}[0]{{\operatorname{Homeo}}}
\newcommand{\Honda}[0]{\mathrm{\operatorname{Honda}}}
\newcommand{\Hsh}{{ \mathcal{H} }}
\newcommand{\Id}[0]{\operatorname{Id}}
\newcommand{\Intersect}[0]{\bigcap}
\newcommand{\JCF}[0]{\operatorname{JCF}}
\newcommand{\RCF}[0]{\operatorname{RCF}}
\newcommand{\Jac}[0]{\operatorname{Jac}}
\newcommand{\II}[0]{{\mathbb{I}}}
\newcommand{\KK}[0]{{\mathbb{K}}}
\newcommand{\KH}[0]{ \K^{\scriptscriptstyle \mathrm{H}}}
\newcommand{\KMW}[0]{ \K^{\scriptscriptstyle \mathrm{MW}}}
\newcommand{\KMimp}[0]{ \hat{\K}^{\scriptscriptstyle \mathrm{M}}}
\newcommand{\KM}[0]{ \K^{\scriptstyle\mathrm{M}}}
\newcommand{\Kah}[0]{{ \operatorname{Kähler} }}
\newcommand{\LC}[0]{{\mathrm{LC}}}
\newcommand{\LL}[0]{{\mathbb{L}}}
\newcommand{\Log}[0]{\operatorname{Log}}
\newcommand{\MC}[0]{\operatorname{MC}}
\newcommand{\tw}[0]{\mathrm{tw}}
\newcommand{\MCG}[0]{{\operatorname{MCG}}}
\newcommand{\MM}[0]{{\mathcal{M}}}
\newcommand{\mbar}[0]{\bar{\mathcal{M}}}
\newcommand{\MW}[0]{\operatorname{MW}}
\newcommand{\Mat}[0]{\operatorname{Mat}}
\newcommand{\NN}[0]{{\mathbb{N}}}
\newcommand{\NS}[0]{{\operatorname{NS}}}
\newcommand{\NE}[0]{{\operatorname{NE}}}
\newcommand{\Amp}[0]{{\operatorname{Amp}}}
\newcommand{\OO}[0]{{\mathcal{O}}}
\newcommand{\OP}[0]{{\mathbb{OP}}}
\newcommand{\OX}[0]{{\mathcal{O}_X}}
\newcommand{\Obs}{\operatorname{Obs}}
\newcommand{\obs}{\operatorname{obs}}
\newcommand{\Ob}[0]{{\operatorname{Ob}}}
\newcommand{\Op}[0]{{\operatorname{Op}}}
\newcommand{\Orb}[0]{{\mathrm{Orb}}}
\newcommand{\Conj}[0]{{\mathrm{Conj}}}
\newcommand{\Orth}[0]{{\operatorname{O}}}
\newcommand{\PD}[0]{\mathrm{PD}}
\newcommand{\GU}[0]{\operatorname{GU}}
\newcommand{\PP}[0]{{\mathbf{P}}}
\newcommand{\WP}[0]{{\mathbf{WP}}}
\newcommand{\bb}[0]{\operatorname{BB}}
\newcommand{\En}[0]{\operatorname{En}}
\newcommand{\he}[0]{\operatorname{h.e.}}
\newcommand{\PGL}[0]{\operatorname{PGL}}
\newcommand{\PSL}[0]{{\operatorname{PSL}}}
\newcommand{\PSU}[0]{{\operatorname{PSU}}}
\newcommand{\Pic}[0]{\operatorname{Pic}}
\newcommand{\Alb}[0]{\operatorname{Alb}}
\newcommand{\Num}[0]{\operatorname{Num}}
\newcommand{\Pin}[0]{{\operatorname{Pin}}}
\newcommand{\Places}[0]{{\operatorname{Places}}}
\newcommand{\Presh}[0]{\presh}
\newcommand{\QQpadic}[0]{{ \QQ_p }}
\newcommand{\ZZelladic}[0]{{ \ZZ_\ell }}
\newcommand{\QQ}[0]{{\mathbf{Q}}}
\newcommand{\QQbar}[0]{{ \bar{ \mathbf{Q} } }}
\newcommand{\Quot}[0]{\operatorname{Quot}}
\newcommand{\RP}[0]{{\mathbf{RP}}}
\newcommand{\RR}[0]{{\mathbf{R}}}
\newcommand{\VV}[0]{{\mathbf{V}}}
\newcommand{\Rat}[0]{\operatorname{Rat}}
\newcommand{\Reg}[0]{\operatorname{Reg}}
\newcommand{\Ric}[0]{\operatorname{Ric}}
\newcommand{\SF}[0]{\operatorname{SF}}
\newcommand{\SL}[0]{{\operatorname{SL}}}
\newcommand{\SNF}[0]{\mathrm{SNF}}
\newcommand{\slc}[0]{\mathrm{slc}}
\newcommand{\nef}[0]{\mathrm{nef}}
\newcommand{\SO}[0]{{\operatorname{SO}}}
\newcommand{\Symp}[0]{{\operatorname{Sp}}}
\newcommand{\SU}[0]{{\operatorname{SU}}}
\newcommand{\F}[0]{{\operatorname{F}}}
\newcommand{\Sgn}[0]{{ \Sigma_{g, n} }}
\newcommand{\Sm}[0]{{\operatorname{Sm}}}
\newcommand{\SpSp}[0]{{\mathbb{S}}}
\newcommand{\Spec}[0]{\operatorname{Spec}}
\newcommand{\relspec}[0]{\ul{ \operatorname{Spec}} }
\newcommand{\Spf}[0]{\operatorname{Spf}}
\newcommand{\Spc}[0]{\operatorname{Spc}}
\newcommand{\spc}[0]{\operatorname{Spc}}
\newcommand{\Spinc}[0]{\mathrm{Spin}^{{ \scriptscriptstyle \mathbf C} }}
\newcommand{\Spin}[0]{{\operatorname{Spin}}}
\newcommand{\Mp}[0]{{\operatorname{Mp}}}
\newcommand{\Herm}[0]{{\mathsf{Herm}}}
\newcommand{\coinv}[0]{{\operatorname{coinv}}}
\newcommand{\Sq}[0]{\operatorname{Sq}}
\newcommand{\Stab}[0]{{\operatorname{Stab}}}
\newcommand{\stable}[0]{\mathrm{st}}
\newcommand{\lkt}[0]{\Lambda_{\mathrm{K3}}}
\newcommand{\unstable}[0]{\mathrm{unst}}
\newcommand{\Sum}[0]{ \sum }
\newcommand{\Syl}[0]{{\operatorname{Syl}}}
\newcommand{\Sym}[0]{\operatorname{Sym}}
\newcommand{\Tor}[0]{\operatorname{Tor}}
\newcommand{\Homcx}[0]{\operatorname{Hom}^{\bullet}}
\newcommand{\Tr}[0]{\operatorname{Tr}}
\newcommand{\Ug}[0]{{\mathcal{U}(\mathfrak{g}) }}
\newcommand{\Uh}[0]{{\mathcal{U}(\mathfrak{h}) }}
\newcommand{\Union}[0]{\bigcup}
\newcommand{\U}[0]{{\operatorname{U}}}
\newcommand{\Wedge}[0]{\bigwedge}
\newcommand{\Wittvectors}[0]{{\mathbb{W}}}
\newcommand{\ZHB}[0]{\operatorname{ZHB}}
\newcommand{\ZHS}[0]{\ZZ\operatorname{HS}}
\newcommand{\QHB}[0]{\operatorname{QHB}}
\newcommand{\PHS}[0]{\operatorname{PHS}}
\newcommand{\QHS}[0]{\mathbf{Q}\kern-0.5pt\operatorname{HS}}
\newcommand{\ZZG}[0]{{\ZZ G}}
\newcommand{\ZZH}[0]{{\ZZ H}}
\newcommand{\ZZlocal}[1]{{ \ZZ_{\hat{#1}} }}
\newcommand{\plocal}[0]{{ \scriptsize {}_{ \localize{p}  } }}
\newcommand{\ZZpadic}[0]{{ \ZZ_{\hat p} }}
\newcommand{\ZZladic}[0]{{ \ZZ_{\hat \ell} }}
\newcommand{\ZZpcomplete}[0]{{ \ZZpadic }}
\newcommand{\ZZplocal}[0]{{ L_p \ZZ }}
\newcommand{\ZZprof}[0]{{ \hat{\ZZ} }}
\newcommand{\QQladic}[0]{{ \QQ_\ell }}
\newcommand{\CCpadic}[0]{{ \CC_p }}
\newcommand{\ZZ}[0]{{\mathbf{Z}}}
\newcommand{\ZZbar}[0]{{ \bar{ \ZZ } }}
\newcommand{\ZZhat}[0]{{ \widehat{ \ZZ } }}
\newcommand{\Zar}[0]{{\mathrm{Zar}}}
\newcommand{\ZpZ}[0]{\ZZ/p}
\newcommand{\abuts}[0]{\Rightarrow}
\newcommand{\ab}[0]{{\operatorname{ab}}}
\newcommand{\Rees}[0]{{\operatorname{Rees}}}
\newcommand{\actsonl}[0]{\curvearrowleft}
\newcommand{\actson}[0]{\curvearrowright}
\newcommand{\adjoint}[0]{\dagger}
\newcommand{\adj}[0]{\operatorname{adj}}
\newcommand{\ad}[0]{ { \operatorname{ad}}}
\newcommand{\Ad}[0]{{ \operatorname{Ad} }}
\newcommand{\afp}[0]{A_{/\FF_p}}
\newcommand{\annd}[0]{{\operatorname{ and }}}
\newcommand{\ann}[0]{\operatorname{Ann}}
\newcommand{\csch}[0]{\operatorname{csch}}
\newcommand{\arccot}[0]{\operatorname{arccot}}
\newcommand{\arccsc}[0]{\operatorname{arccsc}}
\newcommand{\arcsec}[0]{\operatorname{arcsec}}
\newcommand{\bP}[0]{\operatorname{bP}}
\newcommand{\barz}{\bar{z}}
\newcommand{\bbm}[0]{{\mathbb{M}}}
\newcommand{\bd}[0]{{\del}}
\newcommand{\bigast}[0]{{\mathop{\text{\Large $\ast$}}}}
\newcommand{\bmgn}[0]{{ \bar{\mathcal{M}}_{g, n} }}
\newcommand{\bundle}[1]{\mathcal{#1}}
\newcommand{\by}[0]{\times}
\newcommand{\candim}[0]{\operatorname{candim}}
\newcommand{\chp}[0]{\operatorname{ch. p}}
\newcommand{\ch}[0]{\operatorname{ch}}
\newcommand{\AJ}[0]{\operatorname{AJ}}
\newcommand{\chr}[0]{\operatorname{ch}}
\newcommand{\characteristic}[0]{\operatorname{ch}}
\newcommand{\character}[0]{\operatorname{ch}}
\newcommand{\cl}[0]{{ \operatorname{cl}}}
\newcommand{\codim}[0]{\operatorname{codim}}
\newcommand{\cohdim}[0]{\operatorname{cohdim}}
\newcommand{\coim}[0]{\operatorname{coim}}
\newcommand{\coker}[0]{\operatorname{coker}}
\newcommand{\cok}[0]{\operatorname{coker}}
\newcommand{\cone}[0]{\operatorname{cone}}
\newcommand{\conjugate}[1]{{\overline{{#1}}}}
\newcommand{\connectsum}[0]{\mathop{ \Large\mypound }}
\newcommand{\const}[0]{{\operatorname{const.}}}
\newcommand{\converges}[1]{\overset{#1}}
\newcommand{\convergesto}[1]{\overset{#1}\too}
\newcommand{\convolve}[0]{\ast}
\newcommand{\correspond}[1]{\theset{\substack{#1}}}
\newcommand{\covers}[0]{\rightrightarrows}
\newcommand{\cocovers}[0]{\leftleftarrows}
\newcommand{\coveredby}[0]{\leftleftarrows}
\newcommand{\projresolve}[0]{\rightrightarrows}
\newcommand{\injresolve}[0]{\leftleftarrows}
\newcommand{\covol}[0]{\operatorname{covol}}
\newcommand{\cpt}[0]{{ \operatorname{compact} }}
\newcommand{\crit}[0]{\operatorname{crit}}
\newcommand{\cross}[0]{\times}
\newcommand{\dR}[0]{\mathrm{dR}}
\newcommand{\dV}{\,dV}
\newcommand{\dash}[0]{{\hbox{-}}}
\newcommand{\da}[0]{\coloneqq}
\newcommand{\ddd}[2]{{\frac{d #1}{d #2}\,}}
\newcommand{\ddim}[0]{\operatorname{ddim}}
\newcommand{\area}[0]{\operatorname{area}}
\newcommand{\ddt}{\tfrac{\dif}{\dif t}}
\newcommand{\ddx}{\tfrac{\dif}{\dif x}}
\newcommand{\dd}[2]{{\frac{\partial #1}{\partial #2}\,}}
\newcommand{\definedas}[0]{\coloneqq}
\newcommand{\del}[0]{{\partial}}
\newcommand{\diagonal}[1]{\Delta}
\newcommand{\Diagonal}[1]{\Delta}
\newcommand{\diag}[0]{\operatorname{diag}}
\newcommand{\diam}[0]{{\operatorname{diam}}}
\newcommand{\diff}[0]{\operatorname{Diff}}
\newcommand{\discriminant}[0]{{\Delta}}
\newcommand{\disc}[0]{{\operatorname{disc}}}
\newcommand{\disjoint}[0]{{\textstyle\coprod}}
\newcommand{\dist}[0]{\operatorname{dist}}
\newcommand{\dlog}[0]{\operatorname{dLog}}
\newcommand{\logd}[0]{{ \del^{\scriptsize \log} }}
\newcommand{\dom}[0]{\operatorname{dom}}
\newcommand{\BM}[0]{{\operatorname{BM}}}
\newcommand{\dual}[0]{ {}^{ \vee }}
\newcommand{\shriek}[0]{ { ! }}
\newcommand{\dmu}{\,d\mu}
\newcommand{\dr}{\,dr}
\newcommand{\dtau}{\,d\tau}
\newcommand{\ds}{\,ds}
\newcommand{\dtheta}{\,d\theta}
\newcommand{\dt}{\,dt}
\newcommand{\du}{\,du}
\newcommand{\dw}{\,dw}
\newcommand{\dxi}{\,d\xi}
\newcommand{\dx}{\,dx}
\newcommand{\dm}{\,dm}
\newcommand{\dA}{\,dA}
\newcommand{\dy}{\,dy}
\newcommand{\dn}{\,dn}
\newcommand{\dalpha}{\,d\alpha}
\newcommand{\dzbar}{\,d\bar{z}}
\newcommand{\dzeta}{\,d\zeta}
\newcommand{\dz}{\,dz}
\newcommand{\drho}{\,d\rho}
\newcommand{\dphi}{\,d\phi}
\newcommand{\embeds}[0]{\hookrightarrow}
\newcommand{\eo}[0]{{\operatorname{eo}}}
\newcommand{\eps}[0]{{\varepsilon}}
\newcommand{\essdim}[0]{\operatorname{essdim}}
\newcommand{\eul}[0]{{\operatorname{eul}}}
\newcommand{\evalfrom}[0]{\Big|}
\newcommand{\ext}{\operatorname{Ext}}
\newcommand{\ff}[0]{\operatorname{ff}}
\newcommand{\fppf}[0]{{\operatorname{fppf}}}
\newcommand{\fpqc}[0]{{\operatorname{fpqc}}}
\newcommand{\fp}[0]{{ \operatorname{fp} }}
\newcommand{\fqr}[0]{{\FF_{q^r}}}
\newcommand{\fq}[0]{{\FF_{q}}}
\newcommand{\fqbar}[0]{\bar{\FF_{q}}}
\newcommand{\freeprod}[0]{\ast}
\newcommand{\from}[0]{\leftarrow}
\newcommand{\gal}[0]{{ \operatorname{Gal}}}
\newcommand{\gl}[0]{{\mathfrak{gl}}}
\newcommand{\gp}[0]{ {\operatorname{gp} }}
\newcommand{\grad}[0]{\operatorname{grad}}
\newcommand{\graded}[0]{\operatorname{gr}}
\newcommand{\grdim}[0]{{\operatorname{gr\,dim}}}
\newcommand{\height}[0]{\operatorname{ht}}
\newcommand{\homotopic}[0]{\simeq}
\newcommand{\id}[0]{\operatorname{id}}
\newcommand{\im}[0]{\operatorname{im}}
\newcommand{\decreasesto}[0]{\searrow}
\newcommand{\increasesto}[0]{\nearrow}
\newcommand{\injectivelim}[0]{\varinjlim}
\newcommand{\injects}[0]{\hookrightarrow}
\newcommand{\interior}[0]{^\circ}
\newcommand{\intersect}[0]{\cap}
\newcommand{\Todd}[0]{\operatorname{Td}}
\newcommand{\into}[0]{\to}
\newcommand{\inverselim}[0]{\varprojlim}
\newcommand{\inv}[0]{^{-1}}
\newcommand{\ip}[2]{{\left\langle {#1},~{#2} \right\rangle}}
\newcommand{\kG}[0]{{kG}}
\newcommand{\kfq}[0]{K_{/\FF_q}}
\newcommand{\kk}[0]{{\mathbf{k}}}
\newcommand{\ko}[0]{{\operatorname{ko}}}
\newcommand{\krulldim}[0]{\operatorname{krulldim}}
\newcommand{\ks}[0]{\operatorname{ks}}
\newcommand{\kxn}[0]{k[x_1, \cdots, x_{n}]}
\newcommand{\kxnz}[0]{k[x_0, \cdots, x_{n}]}
\newcommand{\kx}[1]{k[x_1, \cdots, x_{#1}]}
\newcommand{\lci}[0]{\mathrm{lci}}
\newcommand{\SC}[0]{\mathrm{SC}}
\newcommand{\tb}[0]{\mathrm{tb}}
\newcommand{\lcm}[0]{\operatorname{lcm}}
% Lie theory
\newcommand{\liealgk}[0]{{ \liealg_{/k} }}
\newcommand{\liea}[0]{{\mathfrak{a}}}
\newcommand{\lieb}[0]{{\mathfrak{b}}}
\newcommand{\mfe}[0]{{\mathfrak{e}}}
\newcommand{\lied}[0]{{\mathfrak{d}}}
\newcommand{\lief}[0]{{\mathfrak{f}}}
\newcommand{\liegl}[0]{{\mathfrak{gl}}}
\newcommand{\liep}[0]{{\mathfrak{p}}}
\newcommand{\liesu}[0]{{\mathfrak{su}}}
\newcommand{\lieg}[0]{{\mathfrak{g}}}
\newcommand{\lieh}[0]{{\mathfrak{h}}}
\newcommand{\liel}[0]{{\mathfrak{l}}}
\newcommand{\lien}[0]{{\mathfrak{n}}}
\newcommand{\lieo}[0]{{\mathfrak{o}}}
\newcommand{\lieq}[0]{{\mathfrak{q}}}
\newcommand{\lier}[0]{{\mathfrak{r}}}
\newcommand{\lies}[0]{{\mathfrak{s}}}
\newcommand{\liesl}[0]{{\mathfrak{sl}}}
\newcommand{\lieso}[0]{{\mathfrak{so}}}
\newcommand{\liesp}[0]{{\mathfrak{sp}}}
\newcommand{\liet}[0]{{\mathfrak{t}}}
\newcommand{\lieu}[0]{{\mathfrak{u}}}
\newcommand{\lieW}[0]{{\mathfrak{W}}}
\newcommand{\liey}[0]{{\mathfrak{y}}}
\newcommand{\mfX}[0]{{\mathfrak{X}}}
\newcommand{\mfS}[0]{{\mathfrak{S}}}
\newcommand{\gitquot}{{ \mathbin{/\mkern-6mu/}}}
\newcommand{\modmod}{\gitquot}
\newcommand{\htyquot}{\gitquot}
\newcommand{\lk}[0]{\operatorname{lk}}
\newcommand{\rot}[0]{\operatorname{rot}}
\newcommand{\mTHH}[0]{{\operatorname{THH}}}
\newcommand{\mHH}[0]{{\operatorname{HH}}}
\newcommand{\TCH}[0]{{\operatorname{TCH}}}
\newcommand{\TC}[0]{{\operatorname{TC}}}
\newcommand{\THC}[0]{{\operatorname{THC}}}
\newcommand{\THoH}[0]{{\operatorname{THH}}}
\newcommand{\HoH}[0]{{\operatorname{HH}}}
\newcommand{\TP}[0]{{\operatorname{TP}}}
\newcommand{\TT}[0]{{\mathbb{T}}}
\newcommand{\mapscorrespond}[2]{\mathrel{\operatorname*{\rightleftharpoons}_{#2}^{#1}}}
\newcommand{\mapstofrom}[0]{\rightleftharpoons}
\newcommand{\ofrom}[0]{\overset{\circ}{\leftarrow}}
\newcommand{\oto}[0]{\overset{\circ}{\rightarrow}}
\newcommand{\wdot}[0]{{ \mathsf{w}_{\cdot} }}
\newcommand{\sdot}[0]{{ \mathsf{S}_{\cdot} }}
\newcommand{\mapstovia}[1]{\xmapsto{#1}}
\newcommand{\mapsvia}[1]{\xrightarrow{#1}}
\newcommand{\tovia}[1]{\xrightarrow{#1}}
\newcommand{\torational}[0]{\dashrightarrow}
\newcommand{\rational}[0]{\torational}
\newcommand{\birational}[0]{\overset{\sim}{\torational}}
\newcommand{\birationaliso}[0]{\overset{\sim}{\torational}}
\newcommand{\sbirational}[0]{\overset{\sim_{ \stab} }{\torational}}
\newcommand{\isomorphic}{{ \, \mapsvia{\sim}\, }}
\newcommand{\iso}{ \isomorphic  }
\newcommand{\qiso}{ \homotopic }
\newcommand{\isovia}[1]{\underset{#1}{\iso}}
\newcommand{\isoin}[1]{\overset{#1}{\iso}}
\newcommand{\injectsvia}[1]{\xhookrightarrow{#1}}
\newcommand{\injectsfrom}[0]{\hookleftarrow}
\newcommand{\embedsdense}[0]{{ \underset{ {\scriptscriptstyle\mathrm{dense}} }{\hookrightarrow} }}
\newcommand{\injectsfromvia}[1]{\xhookleftarrow{#1}}
\newcommand{\maps}[0]{\operatorname{Maps}}
\newcommand{\mat}[0]{\operatorname{Mat}}
\newcommand{\maxspec}[0]{{\operatorname{maxSpec}}}
\newcommand{\mcTop}[0]{\mathcal{T}\mathsf{op}}
\newcommand{\mca}[0]{{\mathcal{A}}}
\newcommand{\mcb}[0]{{\mathcal{B}}}
\newcommand{\mcc}[0]{{\mathcal{C}}}
\newcommand{\mcd}[0]{{\mathcal{D}}}
\newcommand{\mce}[0]{{\mathcal{E}}}
\newcommand{\mcf}[0]{{\mathcal{F}}}
\newcommand{\mcg}[0]{{\mathcal{G}}}
\newcommand{\mch}[0]{{\mathcal{H}}}
\newcommand{\mci}[0]{{\mathcal{I}}}
\newcommand{\mcj}[0]{{\mathcal{J}}}
\newcommand{\mck}[0]{{\mathcal{K}}}
\newcommand{\mcl}[0]{{\mathcal{L}}}
\newcommand{\mcm}[0]{{\mathcal{M}}}
\newcommand{\mcn}[0]{{\mathcal{N}}}
\newcommand{\mco}[0]{{\mathcal{O}}}
\newcommand{\mcp}[0]{{\mathcal{P}}}
\newcommand{\mcr}[0]{{\mathcal{R}}}
\newcommand{\mcs}[0]{{\mathcal{S}}}
\newcommand{\mct}[0]{{\mathcal{T}}}
\newcommand{\mcu}[0]{{\mathcal{U}}}
\newcommand{\mcv}[0]{{\mathcal{V}}}
\newcommand{\mcw}[0]{{\mathcal{W}}}
\newcommand{\mcx}[0]{{\mathcal{X}}}
\newcommand{\mcX}[0]{{\mathcal{X}}}
\newcommand{\mcy}[0]{{\mathcal{Y}}}
\newcommand{\mcz}[0]{{\mathcal{Z}}}
\newcommand{\mfa}[0]{{\mathfrak{a}}}
\newcommand{\mfb}[0]{{\mathfrak{b}}}
\newcommand{\mfc}[0]{{\mathfrak{c}}}
\newcommand{\mff}[0]{{\mathfrak{f}}}
\newcommand{\mfi}[0]{{\mathfrak{I}}}
\newcommand{\mfh}[0]{{\mathfrak{h}}}
\newcommand{\mfm}[0]{{\mathfrak{m}}}
\newcommand{\mfn}[0]{{\mathfrak{n}}}
\newcommand{\mfp}[0]{{\mathfrak{p}}}
\newcommand{\mfo}[0]{{\mathfrak{o}}}
\newcommand{\mfq}[0]{{\mathfrak{q}}}
\newcommand{\mfr}[0]{{\mathfrak{r}}}
\newcommand{\mfs}[0]{{\mathfrak{s}}}
\newcommand{\mfy}[0]{{\mathfrak{Y}}}
\newcommand{\mfx}[0]{{\mathfrak{X}}}
\newcommand{\mg}[0]{{ \mathcal{M}_{g} }}
\newcommand{\mgn}[0]{{ \mathcal{M}_{g, n} }}
\newcommand{\Mgn}[0]{{ \mathcal{M}_{g, n} }}
\newcommand{\Mell}[0]{{ \mathcal{M}_{\mathrm{ell}} }}
\newcommand{\cusp}[0]{{ \mathrm{cusp} }}
\newcommand{\Noeth}[0]{{ \mathrm{Noeth} }}
\newcommand{\minpoly}[0]{{\operatorname{minpoly}}}
\newcommand{\mltext}[1]{\left\{\begin{array}{c}#1\end{array}\right\}}
\newcommand{\mm}[0]{{\mathfrak{m}}}
\newcommand{\mot}[0]{{ \mathrm{mot}}}
\newcommand{\cell}[0]{{ \mathrm{cell}}}
\newcommand{\mspec}[0]{\operatorname{mSpec}}
\newcommand{\mproj}[0]{\operatorname{mProj}}
\newcommand{\ms}[0]{\xrightarrow{\sim}}
\newcommand{\multinomial}[1]{\left(\!\!{#1}\!\!\right)}
\newcommand{\mult}[0]{{\operatorname{mult}}}
\newcommand{\mveq}[0]{{\mapsvia{\sim}}} 
\newcommand{\mviso}[0]{{\mapsvia{\sim}}} 
\newcommand{\nd}[0]{\operatorname{nd}}
\newcommand{\nil}[0]{{\operatorname{nil}}}
\newcommand{\nonzero}[0]{^{\bullet}}
\newcommand{\normalneq}{\mathrel{\reflectbox{$\trianglerightneq$}}}
\newcommand{\normal}[0]{{~\trianglelefteq~}}
\newcommand{\notimplies}[0]{\centernot\implies}
\newcommand{\onto}[0]{\twoheadhthtarrow}


\newcommand{\op}[0]{^{\operatorname{op}}}
\newcommand{\ord}[0]{{\operatorname{Ord}}}
\newcommand{\order}[0]{{\operatorname{Ord}}}
\newcommand{\oriented}[0]{{ \operatorname{oriented} }}
\newcommand{\orr}[0]{{\operatorname{ or }}}
\newcommand{\padic}[0]{p\dash\text{adic}}
\newcommand{\pic}[0]{{\operatorname{Pic}}}
\newcommand{\poly}[0]{\mathrm{poly}}
\newcommand{\prim}[0]{{\operatorname{prim}}}
\newcommand{\projectivelim}[0]{\varprojlim}
\newcommand{\pr}[0]{{\operatorname{pr}}}
\newcommand{\pt}[0]{{\operatorname{pt}}}
\newcommand{\qc}[0]{{\operatorname{qc}}}
\newcommand{\qst}[0]{{\quad \operatorname{such that} \quad}}
\newcommand{\rank}[0]{\operatorname{rank}}
\newcommand{\realpart}[1]{{\mathcal{Re}({#1})}}
\newcommand{\red}[0]{{ \text{red} }}
\newcommand{\reg}[0]{\mathrm{reg}}
\newcommand{\reldim}[0]{\operatorname{reldim}}
\newcommand{\hilbdim}[0]{\operatorname{hilbdim}}
\newcommand{\gendim}[0]{\operatorname{gendim}}
\newcommand{\restrictionof}[2]{ {\left.{{#1}} \right|_{{#2}} }}
\newcommand{\rk}[0]{{\operatorname{rank}}}
\newcommand{\rotate}[2]{{\style{display: inline-block; transform: rotate(#1deg)}{#2}}}
\newcommand{\ro}[2]{{ \left.{{#1}} \right|_{{#2}} }}
\newcommand{\selfmap}[0]{{\circlearrowleft}}
\newcommand{\semidirect}[0]{\rtimes}
\newcommand{\wreath}[0]{\wr}
\newcommand{\size}[0]{{\sharp}}
\newcommand{\sep}[0]{{ {}^{ \operatorname{sep} } }}
\newcommand{\sgn}[0]{\operatorname{sgn}}
\newcommand{\shom}{ {\mathcal{H}}\kern-0.5pt{\operatorname{om}}}
\newcommand{\signature}[0]{\operatorname{sig}}
\newcommand{\sign}[0]{\operatorname{sign}}
\newcommand{\Sing}[0]{{\operatorname{Sing}}}
\newcommand{\sing}[0]{{\mathrm{sing}}}
\newcommand{\Pet}[0]{{\mathrm{Pet}}}
\newcommand{\CM}[0]{{\mathrm{CM}}}
\newcommand{\slope}[0]{{\mathrm{slope}}}
\newcommand{\smpt}[1]{\setminus\theset{#1}}
\newcommand{\smts}[1]{\setminus\theset{ #1 }}
\newcommand{\smz}[0]{\setminus\theset{0}}
\newcommand{\sm}[0]{\setminus}
\newcommand{\spec}[0]{\operatorname{Spec}}
\newcommand{\stab}[0]{{\operatorname{Stab}}}
\newcommand{\stirlingfirst}[2]{\genfrac{[}{]}{0pt}{}{#1}{#2}}
\newcommand{\stirling}[2]{\genfrac\{\}{0pt}{}{#1}{#2}}
\newcommand{\surjectsvia}[2][]{ \xrightarrow[#1]{#2} { \mathrel{\mkern-16mu}\rightarrow }\, }
\newcommand{\surjects}[0]{\twoheadrightarrow}
\newcommand{\syl}[0]{{\operatorname{Syl}}}
\newcommand{\sym}[0]{\operatorname{Sym}^*}
\newcommand{\Cox}[0]{\operatorname{Cox}}
\newcommand{\Eff}[0]{\operatorname{Eff}}
\newcommand{\Symalg}[0]{\sym}
\newcommand{\symalg}[0]{\sym}
\newcommand{\td}[0]{\mathrm{td}}
\newcommand{\Li}[0]{\mathrm{Li}}
\newcommand{\VMHS}[0]{\mathrm{VMHS}}
\newcommand{\MHS}[0]{\mathrm{MHS}}
\newcommand{\Tensor}[0]{\bigotimes}
\newcommand{\tensor}[0]{\otimes}
\newcommand{\boxtensor}[0]{\boxtimes}
\newcommand{\Ltensor}[0]{ \overset{\mathbb{L}}{ \otimes}}
\newcommand{\dtensor}[0]{ \overset{\mathbb{L}}{ \otimes}}
\newcommand{\tgn}[0]{{ \mathcal{T}_{g, n} }}
\newcommand{\theset}[1]{\left\{{#1}\right\}}
\newcommand{\thetaref}[0]{{ \theta_{\mathrm{Ref} } }}
\newcommand{\thevector}[1]{{\left[ {#1} \right]}}
\newcommand{\thinrank}[0]{T_n\dash\operatorname{rank}}
\newcommand{\too}[1]{{\xrightarrow{#1}}}
\newcommand{\tors}[0]{{\operatorname{tors}}}
\newcommand{\tor}[0]{\operatorname{Tor}}
\newcommand{\transverse}[0]{\pitchfork}
\newcommand{\trdeg}[0]{{\mathrm{trdeg}}}
\newcommand{\trianglerightneq}{\mathrel{\ooalign{\raisebox{-0.5ex}{\reflectbox{\rotatebox{90}{$\nshortmid$}}}\cr$\triangleright$\cr}\mkern-3mu}}
\newcommand{\tr}[0]{{\mathrm{tr}}}
\newcommand{\tspt}[0]{{\{\operatorname{pt}\}}}
\newcommand{\ts}[1]{\left\{{#1}\right\}}
\newcommand{\tv}[1]{{\left[ {#1} \right]}}
\newcommand{\txand}[0]{{\operatorname{ and }}}
\newcommand{\txor}[0]{{\operatorname{ or }}}
\newcommand{\type}[0]{{\operatorname{type}}}
\newcommand{\uniformlyconverges}[0]{\rightrightarrows}
\newcommand{\union}[0]{\cup}
\newcommand{\unital}[0]{{\operatorname{unital}}}
\newcommand{\units}[0]{^{\times}}
\newcommand{\up}[0]{\uparrow}
\newcommand{\vhat}[1]{\widehat{ \vector{#1} }}
\newcommand{\vol}[0]{\operatorname{vol}}
\newcommand{\wait}[0]{{-}}
\newcommand{\wt}[0]{{\operatorname{wt}}}
\newcommand{\zar}[0]{{\mathrm{zar}}}
\newcommand{\zbar}{\bar{z}}
\newcommand{\zlnz}[0]{\ZZ/\ell^n\ZZ}
\newcommand{\zlz}[0]{\ZZ/\ell\ZZ}
\newcommand{\znz}[0]{\ZZ/n\ZZ}
\newcommand{\zpz}[0]{\ZZ/p\ZZ}
\newcommand{\divergence}[0]{{ \nabla\cdot }}
\newcommand{\normalizer}[0]{{ N }}
\newcommand{\fracId}[0]{{ \ddot{\Id} }}
\newcommand{\Ord}[0]{{ \mathrm{Ord} }}
\newcommand{\join}[0]{{ \ast }}

\renewcommand{\AA}[0]{{\mathbf{A}}}
\renewcommand{\SS}[0]{{\mathbf{S}}}
\renewcommand{\ss}[0]{{\mathrm{ss}}}
\renewcommand{\bar}[1]{\overline{#1}}
\renewcommand{\det}{\operatorname{det}}
\renewcommand{\div}[0]{\operatorname{div}}
\newcommand{\IAS}[0]{\mathrm{IAS}}
\newcommand{\KSBA}[0]{\mathrm{KSBA}}
\newcommand{\isotrop}[0]{\mathrm{isotrop}}
\newcommand{\Div}[0]{\operatorname{Div}}
\newcommand{\CDiv}[0]{\operatorname{CDiv}}
\newcommand{\WDiv}[0]{\operatorname{WDiv}}
\newcommand{\Bs}[0]{\operatorname{Bs}}
\newcommand{\Nef}[0]{\operatorname{Nef}}
\renewcommand{\hat}[1]{\widehat{#1}}
\renewcommand{\labelitemiii}{$\diamondsuit$}
\renewcommand{\labelitemiv}{$\diamondsuit$}
\renewcommand{\mid}[0]{\mathrel{\Big|}}
\renewcommand{\mod}{\operatorname{mod}}
\renewcommand{\qed}[0]{\hfill\blacksquare}
\renewcommand{\too}[0]{\longrightarrow}
\renewcommand{\vector}[1]{\mathbf{#1}}
\newcommand{\sheafhom}[0]{\mathop{\mathcal{H}\! \mathit{om}}}

% Declare math operators
\DeclareMathOperator*{\spanof}{span}
\DeclareMathOperator*{\Mor}{Mor}
\DeclareMathOperator*{\Sec}{Sec}
\DeclareMathOperator*{\supp}{supp}
\DeclareMathOperator*{\eq}{=}
\DeclareMathOperator*{\hocolim}{hocolim}
\DeclareMathOperator{\Index}{Index}
\DeclareMathOperator{\aut}{Aut}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Inn}{Inn}
\DeclareMathOperator{\Out}{Out}
\DeclareMathOperator{\BiHol}{BiHol}
\DeclareMathOperator{\Curv}{Curv}
\DeclareMathOperator{\Deck}{Deck}
\DeclareMathOperator{\Der}{Der}
\DeclareMathOperator{\Exists}{\exists}
\DeclareMathOperator{\Forall}{\forall}
\DeclareMathOperator{\Forget}{Forget}
\DeclareMathOperator{\Frame}{Frame}
\DeclareMathOperator{\Fr}{Fr}
\DeclareMathOperator{\Griff}{Griff}
\DeclareMathOperator{\Hol}{Hol}
\DeclareMathOperator{\Ld}{{\mathbb{L} }}
\DeclareMathOperator*{\Map}{Maps}
\DeclareMathOperator*{\Maps}{Maps}
\DeclareMathOperator{\OFrame}{OFrame}
\DeclareMathOperator{\Prin}{Prin}
\DeclareMathOperator{\Cart}{Cart}
\DeclareMathOperator{\Proj}{Proj}
\DeclareMathOperator{\RHom}{\mathbb{R}Hom}
\DeclareMathOperator{\Rad}{Rad}
\DeclareMathOperator{\Rd}{{\mathbb{R} }}
\DeclareMathOperator{\Symb}{Symb}
\DeclareMathOperator{\Taut}{Taut}
\DeclareMathOperator{\Th}{Th}
\DeclareMathOperator{\triv}{triv}
\DeclareMathOperator{\Triv}{Triv}
\DeclareMathOperator{\UFrame}{UFrame}
\DeclareMathOperator{\Isom}{Isom}
\DeclareMathOperator{\codom}{codom}
\DeclareMathOperator{\coh}{coh}
\DeclareMathOperator{\coinfl}{coinf}
\DeclareMathOperator{\colspace}{colspace}
\DeclareMathOperator{\Res}{Res}
\DeclareMathOperator{\cores}{coRes}
\DeclareMathOperator{\hd}{Head}
\DeclareMathOperator{\hilb}{Hilb}
\DeclareMathOperator{\infl}{inf}
\DeclareMathOperator{\len}{len}
\DeclareMathOperator{\length}{length}
\DeclareMathOperator{\nullity}{nullspace}
\DeclareMathOperator{\nullspace}{nullspace}
\DeclareMathOperator{\per}{per}
\DeclareMathOperator{\prin}{prin}
\DeclareMathOperator{\projection}{Proj}
\DeclareMathOperator{\proj}{proj}
\DeclareMathOperator{\range}{range}
\DeclareMathOperator{\rowspace}{rowspace}
\DeclareMathOperator{\soc}{Soc}
\DeclareMathOperator{\submfds}{SubMfds}

\newcommand{\st}[0]{{~\mathrel{\Big\vert}~}}
\newcommand{\suchthat}[0]{\st}
\newcommand{\Suchthat}[0]{\middle\vert}

\newcommand{\delbar}[0]{{ \bar{\del}}}

\newcommand{\containedin}[0]{\subseteq}
\newcommand{\contains}[0]{\supseteq}
\newcommand{\containing}[0]{\supseteq}
\newcommand{\iscontainedin}[0]{\supseteq}

\newcommand{\rad}[1]{\sqrt{#1}}
\newcommand{\thecat}[1]{\mathbf{#1}}
\newcommand{\sheaf}[1]{\operatorname{\mathcal{#1}}}
\newcommand{\IC}[0]{\sheaf{IC}}
\newcommand{\rightderive}[0]{{\mathbf{R}}}
\newcommand{\leftderive}[0]{{\mathbf{L}}}
\newcommand{\rderive}[0]{\rightderive}
\newcommand{\lderive}[0]{\leftderive}

% More involved commands
\newcommand\rrarrows{\rightrightarrows}
\newcommand\rrrarrows{
    \mathrel{\substack{\textstyle\rightarrow\\[-0.6ex]
        \textstyle\rightarrow \\[-0.6ex]
        \textstyle\rightarrow}}
}



\newcommand\ul[1]{\underline{#1}}
\newcommand\constantsheaf[1]{\underline{#1}}
\newcommand\holomorphic[0]{\text{holo}}
\newcommand\hol[0]{\text{hol}}
\newcommand\cts[0]{\text{cts}}
\newcommand\std[0]{\text{std}}
\newcommand\Fl[0]{\operatorname{Fl}}
\newcommand\Mero[0]{\operatorname{Mero}}
\newcommand\Bl[0]{\operatorname{Bl}}
\newcommand\res[0]{\operatorname{res}}
\newcommand\coind[0]{\operatorname{coInd}}
%\newcommand\ind[0]{\operatorname{Ind}}
\newcommand\Sel[0]{\operatorname{Sel}}
\newcommand\Frob[0]{\operatorname{Frob}}
\newcommand\transfer[0]{\operatorname{transfer}}
\newcommand\modiso[0]{{_{\scriptstyle / \sim} }}
\newcommand\even[0]{\text{even}}
\newcommand\odd[0]{\text{odd}}
\newcommand\hodgestar[0]{\star}
\newcommand\dirac[0]{\mkern-3mu \not{ \partial}}
\newcommand\laplacian[0]{\Delta}
\newcommand\Laplacian[0]{\Delta}
\newcommand\stardstar[0]{\hodgestar \mathrm{d} \mkern-1mu \hodgestar}
\newcommand\covariant[0]{\nabla}
\newcommand\ol[1]{\overline{#1}}
\newcommand\univcover[1]{\overline{#1}}
\newcommand\closure[1]{\overline{#1}}
\newcommand\capprod{\frown}
\newcommand\cupprod{\smile}
\newcommand\Path{\mathcal{P}}
\newcommand\gradient{\nabla}

\newcommand\cechH[0]{{\check{H}}}
\newcommand\Hc[0]{{\check{H}}}
\newcommand\Cc[0]{{\check{C}}}
\newcommand\cupp[0]{\smile}
\newcommand\capp[0]{\frown}
\newcommand\sig[0]{\operatorname{sig}}
\newcommand\ev[0]{\operatorname{ev}}
\newcommand\coev[0]{\operatorname{coev}}
\newcommand\period[0]{\operatorname{period}}

\newcommand{\fractional}[1]{\theset{#1}}
\newcommand{\fractionalpart}[1]{\theset{#1}}
\newcommand{\integerpart}[1]{\left[ {#1}\right] }
\newcommand{\zadjoin}[1]{\ZZ\left[ {#1} \right]}
\newcommand{\wedgeprod}[0]{\vee}
\newcommand{\Prod}[0]{\displaystyle\prod}
\newcommand{\Wedgepower}[0]{\bigwedge\nolimits}
\def\multichoose#1#2{{\left(\kern-.3em\left(\genfrac{}{}{0pt}{}{#1}{#2}\right)\kern-.3em\right)}}
\def\rising#1#2{ \qty{#1}^{ (#2) }}
\def\falling#1#2{ \qty{#1}_{ (#2) }}
\newcommand\elts[2]{{ {#1}_1, {#1}_2, \cdots, {#1}_{#2}}}
\newcommand\tselts[2]{{ \theset{ {#1}_1, {#1}_2, \cdots, {#1}_{#2} } }}
\newcommand\mix[1]{\overset{\scriptscriptstyle {#1} }{\times}}
\newcommand\fiberproduct[1]{\underset{\scriptscriptstyle {#1} }{\times}}
\newcommand\fiberprod[1]{ \fiberproduct{#1}}
\newcommand\basechange[1]{{ \fiberproduct{k} {#1} }}
\newcommand\fprod[1]{{ \fiberproduct{#1} }}
\newcommand\smallprod[0]{{ \scriptscriptstyle\prod }}
\newcommand\eqLH[0]{{ \equalsbecause{\scriptscriptstyle\text{LH}} }}
\newcommand\drcomplex[0]{{\cocomplex{\Omega}}}
\newcommand{\cxH}[0]{{\complex{H}}}
\newcommand{\ccxH}[0]{{\cocomplex{H}}}
\newcommand{\chern}[0]{{\mathrm{ch}}}
\newcommand{\qsymb}[2]{{ \left( {#1} \over {#2} \right)  }}
\newcommand{\spinornorm}[0]{{\mathrm{spinornorm}}}
\newcommand{\RT}[0]{{\mathrm{RT}}}
\newcommand{\amp}[0]{{\mathrm{amp}}}
\newcommand{\vamp}[0]{{\mathrm{v.amp}}}

\newcommand{\Tot}[0]{{ \operatorname{Tot} }}
\newcommand{\Ram}[0]{ \operatorname{Ram}}
\newcommand{\weight}[0]{{ \operatorname{weight} }}
\newcommand{\Verts}[0]{{ \operatorname{Verts} }}
\newcommand{\Endo}[0]{{ \operatorname{End} }}
\newcommand{\Hom}[0]{{ \operatorname{Hom} }}
%\DeclareMathOperator*{\Hom}{Hom}
\newcommand{\PV}[0]{{ \operatorname{PV} }}
\newcommand{\Totsum}[0]{\Tot^{\oplus}}
\newcommand{\Totprod}[0]{\Tot^{\Pi}}
\newcommand{\xpn}[0]{ { x^{p^n} }}
\newcommand{\Qbar}[0]{{ \bar{ \mathbf{Q} } }}
% mathrms
\newcommand{\ptd}{{\scriptstyle { \ast } }}
\newcommand{\charpoly}[0]{{\mathrm{charpoly}}}
\newcommand{\Sw}[0]{{\mathrm{Sw}}}
\newcommand{\Sieg}[0]{{\mathrm{Sieg}}}
\newcommand{\Inertia}[0]{{\mathrm{In}}}
\newcommand{\generic}[0]{{\mathrm{gen}}}
\newcommand{\Conf}[0]{{\mathrm{Conf}}}
\newcommand{\Sub}[0]{{\mathrm{Sub}}}
\newcommand{\fin}[0]{{\mathrm{fin}}}
\newcommand{\can}[0]{{\mathrm{can}}}
\newcommand{\ess}[0]{{\mathrm{ess}}}
\newcommand{\fd}[0]{{\mathrm{fd}}}
\newcommand{\fg}[0]{{\mathrm{fg}}}
\newcommand{\free}[0]{{\mathrm{free}}}
\newcommand{\lf}[0]{{\mathrm{lf}}}
\newcommand{\holonomy}[0]{{\mathrm{holon}}}
\newcommand{\qproj}[0]{{\mathrm{qproj}}}
\newcommand{\irr}[0]{{\mathrm{irr}}}
\newcommand{\lft}[0]{\mathrm{lft}}
\newcommand{\ft}[0]{\mathrm{ft}}
\newcommand{\Brauer}[0]{\mathrm{Br}}
\newcommand{\smol}[0]{{\mathrm{small}}}
\newcommand{\alev}[0]{{\,\mathrm{a.e.}}}
\newcommand{\semisimple}[0]{{\mathrm{ss}}}
\newcommand{\semisimplification}[0]{{\mathrm{ss}}}
\newcommand{\val}[0]{{\operatorname{val}}}
\newcommand{\gon}[0]{{\dash\mathrm{gon}}}
\newcommand{\semi}[0]{{\mathrm{semi}}}
\newcommand{\inc}[0]{{\mathrm{inc}}}
\newcommand{\Ball}[0]{{B}}
\newcommand{\hq}[0]{{/}}
\newcommand{\unioninfty}[0]{{\union\ts{\infty}}}
\newcommand{\dualnumbers}[0]{{ [\eps] / \eps^2 }}
\newcommand{\crys}[0]{{\mathrm{crys}}}
\newcommand{\Xff}[0]{{X_\mathrm{FF}}}
\newcommand{\an}[0]{{\mathrm{an}}}
\newcommand{\prop}[0]{{\mathrm{prop}}}
\newcommand{\ram}[0]{{\mathrm{ram}}}
\newcommand{\Nis}[0]{{\mathrm{Nis}}}
\newcommand{\perf}[0]{{\mathrm{perf}}}
\newcommand{\exist}[0]{{\exists}}

\newcommand{\quillenplus}[0]{{ {}^{+} }}
\newcommand{\glue}[1]{{ \Disjoint_{#1} }}
\newcommand{\normcomplex}[1]{{\norm{\complex{#1}}}}
\newcommand{\nerve}[1]{{ \mathcal{N}({#1}) }}
\newcommand{\realize}[1]{{ \abs{#1} }}
\newcommand{\opcat}[1]{{ {#1}\op }}
\newcommand{\intcl}[0] { \operatorname{cl}^{\mathrm{int}}}
\newcommand{\algcl}[0] { \operatorname{cl}^{\mathrm{alg}}}
\newcommand{\sepcl}[0] { \operatorname{cl}^{\mathrm{sep}}}

\newcommand{\B}[0]{{\mathbf{B}}}
\newcommand{\E}[0]{{\mathbf{E}}}
\newcommand{\T}[0]{{\mathbf{T}}}
\newcommand{\TX}[0]{{\T X}}
\newcommand{\TM}[0]{{\T M}}
\newcommand{\K}[0]{{\mathsf{K}}}
\newcommand{\G}[0]{{\mathsf{G}}}
%\newcommand{\H}[0]{{\mathsf{H}}}
\newcommand{\D}{{ \mathsf{D} }}
\newcommand{\mH}{{ \mathsf{H} }}
\newcommand{\BGL}[0]{ \mathbf{B}\mkern-3mu \operatorname{GL}}
\newcommand{\proportional}{ \propto }
\newcommand{\asymptotic}{ \ll }
% More complicated math commands
\newcommand{\RM}[1]{%
  \textup{\uppercase\expandafter{\romannumeral#1}}%
}
\DeclareMathOperator{\righttriplearrows} {{\; \tikz{ \foreach \y in {0, 0.1, 0.2} { \draw [-stealth] (0, \y) -- +(0.5, 0);}} \; }}
\DeclareMathOperator*{\mapbackforth}{\rightleftharpoons}
% idk man
\newcommand\caniso[0]{{ \underset{\can}{\iso} }}
\renewcommand{\ae}[0]{{ \text{a.e.} }}
\newcommand\eqae[0]{\underset{\ae}{=}}

\newcommand{\sech}[0]{{ \mathrm{sech} }}
\newcommand{\Cone}[0]{{ \mathrm{Cone} }}
\newcommand{\Cyl}[0]{{ \mathrm{Cyl} }}

%\newcommand{\strike}[1]{{\enclose{\horizontalstrike}{#1}}}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}

# Tuesday, January 10

:::{.remark}
References:

- Beauville, "Complex Algebraic Surfaces"
- Huybrechts, "Lectures on K3 Surfaces"
- Gathmann, "Algebraic Geometry" (2002)

:::

:::{.remark}
K3s are amazing and used in many fields!
Named after Kähler, Kodaira, and Kummer.
An accomplishment of the early 1900s Italian school of algebraic geometry was classification of complex surfaces (4 real dimensions, admitting holomorphic charts to $\CC^2$).
These can be studied topologically or using algebraic geometry.

A rough plan:

- Review algebraic varieties:
  - Riemann-Roch,
  - Curves,
  - Divisors,
  - Line bundles,
  - Picard group,
  - The canonical bundle.
- Complex analytic tools:
  - The exponential exact sequence,
  - Betti numbers,
  - Topological Euler characteristic.
- K3s:
  - Examples of K3s,
  - Enriques-Kodaira classification,
  - The intersection form.
- Hodge theory:
  - Periods, etc.

:::

:::{.remark}
Recall the definition of an affine variety, e.g. $V(x_1, x_2) \subseteq \AA^2\slice k$ the union of the coordinate axes, or the cone $V(x_1^2-x_2^2-x_3^2) \subseteq \AA^3\slice k$.
Alternatively, view them as schemes: $X = V(f_1,\cdots, f_m) = \spec k[X]$ where $k[X] \da k[x_1,\cdots, x_n]/\gens{f_1, \cdots, f_m}$ is the ring of regular functions on $X$.
The association: for any point $(a_1,\cdots, a_n) \in k^n$ one can take the maximal ideals $\gens{x_1-a_1,\cdots, x_n-a_n}$, this is a bijection by the Nullstellensatz.
:::

:::{.remark}
An example of why schemes are useful: consider $V(y)$ and $V(y-x^2)$ in $\AA^2\slice k$.
The set-theoretic intersection is $X\da V(y, y-x^2) = \ts{0} \in \AA^2$, but note that $k[X] = [x,y]/\gens{y, x^2} \neq k = k[x,y]/\gens{x,y}$, so although e.g. $V(x) = V(x^2)$ these are distinguished as schemes by remembering the regular functions.
A scheme like $V(x^2)$ is often drawn as a point with a tangent direction -- the scheme remembers not only the values of the $x_i$, but also their various partial derivatives.
:::

:::{.remark}
Recall that varieties carry the Zariski topology: the closed sets are of the form $V_X(I)$ for $I \normal k[X]$.
From a scheme-theoretic perspective, 
\[
V(I) \da \ts{\text{prime ideals } p\in X \st p \contains I}
.\]
:::

:::{.exercise title="?"}
Consider $X\da V(xy) \subseteq \AA^2$, one has $k[X] = k[x,y]/\gens{xy}$ and $I=\gens{y-x-1}$ corresponding to the line $y=x+1$.
What are the closed sets?
:::

:::{.remark}
Note that $\AA^1\slice \CC$ with the Zariski topology differs from $\AA^1\slice \CC$ with the analytic topology.
The closed sets are of the form $V(I)$, and since $\CC[x]$ has GCDs every ideal is principal and $I = \gens{f} \subseteq k[X]$ for some $f$.
So closed sets are finite or the entire space, i.e. the cofinite topology.
By Serre's GAGA, miraculously many results and computations are the same in either topology for compact (proper) varieties over $\CC$.
:::

:::{.remark}
Affine varieties/schemes form a category
and there is an equivalence $\opcat{\Aff\Sch} \iso \CRing$.
:::

:::{.example title="?"}
An example of a morphism:
\[
\phi: \AA^1 &\to \AA^2 \\
t &\mapsto (t^2, t^3)
.\]
This induces a map on regular functions $\phi^*: \CC[\AA^2]\to \CC[\AA^1]$ which is of the form
\[
\phi^*: \CC[x,y] &\to \CC[t] \\
x &\mapsto t^2 \\
y&\mapsto t^3
.\]
One could similarly define $\phi$ with codomain $V(y^2-x^3)$.

:::

:::{.remark}
What are the regular functions on *open* sets?
Let $U \subseteq X$ in the Zariski topology, then regular functions on $U$ are ratios $f/g$ of polynomials.
:::

:::{.example title="?"}
Let $U \da \AA^1\smts{0, 1} \subseteq \AA^1$, then regular functions include ${1\over x}$ and ${1\over x-1}$.
:::

:::{.remark}
Recall the definition of a sheaf; we'll write $\OO_X$ for the structure sheaf and regard $\OO_X(U)$ as the $k\dash$algebra of functions on $U$, satisfying the sheaf axioms of existence and uniqueness of gluing.
:::

:::{.remark}
Write $\OO_\CC$ for the sheaf of **regular** functions, then e.g. $\OO_\CC(\ts{a_1,\cdots, a_n}^c) = \CC[x]\adjoin{{1\over x-a_1}, \cdots, {1\over x-a_n}}$, and more generally $\OO_X(V(f)^c) = \CC[x]\adjoin{1\over f}$.
We'll sometimes distinguish $\OO_\CC^{\hol}$ which is defined on $X^\an$ instead (in the Euclidean topology), which is a priori different as a ringed space.
Later we'll use this in the exponential exact sequence 
\[
2\pi i \ul{\ZZ} \to \OO &\mapsvia{\exp} \OO\units \\
f&\mapsto e^f
.\]
:::

:::{.example title="?"}
Schemes are useful in number theory: consider $X \da \spec \ZZ$, then $\OO_X(X) = \ZZ$.
There is a point $p$ for every prime, and a generic point $0$.
Note that e.g. $20\in \OO_X(X)$ can be regarded as a function on $\spec \ZZ$, and $V(20) \da \ts{p \st p\contains\gens{20}}$.
It contains $2$ and $5$, but contains 2 more!
So one might draw its "graph" in the following way:

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-01-10_10-42.pdf_tex} };
\end{tikzpicture}

Moreover one has $\OO_{\spec \ZZ}(\ts{2,3}^c) = \ts{f/g \st f,g\in \ZZ, g = 2^a3^b}$.
:::

:::{.remark}
We can formulate manifolds and varieties in terms of transition functions: for $U, V \subseteq X$ and charts $\phi_U, \phi_V: X\to M$ for $M$ some model space like $\AA^n$ or $\RR^n$, we can require $t_{UV} = \phi_V \circ \phi_U\inv \mid_{\phi_U(U \intersect V)}$ be continuous, smooth, holomorphic, etc.
For schemes, the gluing will be by regular maps, e.g. $\PP^1 = \AA_1 \Disjoint_{t\mapsto s = {1\over t} } \AA_1$ where $t,s$ are the coordinates on each factor.
:::

# Thursday, January 12

:::{.remark}
Recall the definition of $\PP^n\slice k$ as a variety: lines in $\AA^{n+1}\slice k$ passing through the origin.
In the classical topology, it is compact since it can be realized as a quotient $S^{2n+1}/S^1$.
One can also cover it by affine charts $U_0 = \spec \CC\adjoin{{x_1\over x_0}, {x_2\over x_0}}$ and $U_2, U_3$ defined similarly, using that $\tv{x_0:\cdots x_k \cdots : x_n} = \tv{{x_0\over x_k}:\cdots 1 : \cdots {x_n\over x_k}}$ on $\ts{x_k\neq 0}$.
Recall that $\OO_{\PP^n}(U) = \ts{f\in \OO_{U_i}(U \intersect U_i) \st \ro{f}{U \intersect U_i} = \ro{f}{U \intersect U_j} }$.
:::

:::{.example title="?"}
$\OO_{\PP^1}(\PP^1) = \ts{ (f_0, f_1) \in k[s] \times k[t] \st f_0(s) = f_1(s\inv) \text{ on } \AA^1\smz}$ using that $t=s\inv$ on the overlap.
This equals $k[s] \intersect k[s\inv] = k$, so the only global regular functions are constant.
:::

:::{.proposition title="?"}
Considering $\PP^1\slice \CC$ in the analytic (classical) topology,
\[
\OO_{\PP^1\slice \CC}^\hol(\PP^1\slice \CC) = \ts{f: \PP^1\slice \CC\to \CC \text{ holomorphic}} = \CC
.\]
:::

:::{.proof title="?"}
Since $\PP^1\slice \CC$ is compact, $f$ achieves a maximum value $m$ at some point $p$, so write $f(p) = m$.
Letting $U\ni p$ be a closed disk containing $p$, then $f$ has a maximum on $U$.
By the maximum modulus principle, $\ro{f}{U}$ is constant, and so $f$ is constant.
:::

:::{.remark}
Call $\kxnz$ the *projective* coordinate ring of $\PP^n\slice k$.
Recall that $f \in \kxnz$ is not a regular function on $\PP^n$, but if $f$ is homogeneous then $V(f)$ is well-defined since $f(\lambda x_0, \cdots, \lambda x_n) = 0 \iff \lambda^n f(x_0, \cdots, x_n) = 0$.
:::

:::{.example title="?"}
Consider $V(s^2-st) \subseteq \PP^1\slice k$, then $s(s-t)$ vanishes on $\tv{0: 1}$ and $\tv{1:1}$.
:::

:::{.example title="?"}
Consider $V(x^3+y^3+z^3) \subseteq \PP^2\slice \CC$ -- topologically this is $S^1\times S^1$ and defines an elliptic curve over $\CC$.
:::

:::{.example title="of a K3 surface"}
$V(x_0^4 + x_1^4 + x_2^4 + x_3^4) \subseteq \PP^3\slice \CC$ is a K3 surface.
:::

:::{.remark}
More generally, $V(f_1,\cdots, f_m) \subseteq \PP^n\slice k$ with $f_i$ homogeneous of degrees $d_i$ is a projective scheme, where we use the scheme structure to distinguish e.g. $V(s^2-st)$ and $V(s^3-s^2t)$.
:::

:::{.remark}
Some recollections:

- The definition of irreducibility: $X$ is reducible if $X = A\union B$ for $A, B$ proper nontrivial closed sets.
  - E.g. $V(xy) = V(x) \union V(y)$ is not irreducible in $\AA^2$.
- Dimension is defined in terms of lengths of chains of closed irreducible subsets.
- $X$ is irreducible iff $k[X] \da \kxn/I(X)$ is a domain iff $I(X)$ is prime 
- Krull's PID theorem, used to show $\dim R/\gens{f} = \dim R - 1$ if $f$ is not a zero divisor 
  - To see why this is, consider $R = \CC[x,y]$, then $\dim R/\gens{xy} = 1 = \dim \CC[x] = \dim R/\gens{x}$.
- $\spec R$ is reduced iff $R$ has no nilpotents
  - E.g. $V(x^2) = \spec k[x]/\gens{x^2}$ is not reduced, since $x$ is nilpotent ($x^2=0$ but $x\neq 0$).
- $X \in \Sch$ is reduced iff $\OO_X(U)$ has no nilpotents, so every regular function $f$ satisfies $f^n\neq 0$ for every $n$.
- $\spec R$ is quasicompact.
  - E.g. $\AA^1$ in the Zariski topology is the cofinite topology, so if $\mcu \covers \AA^1$ the $U_1$ covers all but finitely many points $p_k$ and each $p_k$ is in some $U_k$.
- Open sets are big: they are essentially the whole space, minus lower dimensional things.
- Completeness replaces compactness, where $X$ is (universally) complete iff for all $Y$, the projection $X\times Y\to Y$ is a closed map.
  - $\AA^1$ is not complete: take $Y\da \AA^1$, then $V(xy-1) \mapsto \AA^1\smz$ is a closed set mapping to an open set.
- Producing varieties that aren't manifolds: $V(xy) \subseteq \AA^2\slice \CC$ is singular at the origin and has no local chart to $\CC$ there.
- $V(f) \subseteq \RR^n$ is a manifold when $0$ is a regular value of $f$, so $df: T_p \RR^n\to T_0 \RR$ is surjective at all $p\in V(f)$.
  - Can be formulated as $Jf \da \qty{\dd{f_i}{x_j}}$ has maximal rank everywhere.

:::


# Tuesday, January 17

:::{.remark}
Recall $X = V(f_1,\cdots, f_m) = \spec R \subseteq \AA^n\slice k$ where $R\da \CC[x_1,\cdots, x_n]/\gens{f_1,\cdots, f_m}$ is smooth if $\Jac\ts{f_i} = \qty{\dd{f_i}{x_j}}$ has maximal rank $r = \codim_{\AA^n} X$ at *all* points $x\in X$, and we'll give a more intrinsic notion of smoothness which does not depend on the choice of equations $\ts{f_i}$.
Over $k=\CC$, if $X$ is smooth it is a complex manifold.
:::

:::{.example title="?"}
For $X\da V(x^2 + y^2 + 1)$, note $\nabla f = \tv{2x, 2y}$ has rank 1 everywhere except $0$, but since $0\not\in X$, in fact $X$ is smooth.
:::

:::{.definition title="Kähler differentials"}
Recall that $\Omega^1{R/k} \da \bigoplus R\dr/I$ where 
\[
I = \gens{ d(rs) = rds + sdr, d(cr) = cdr, d(r+s) = dr + ds \st r,s\in R, c\in k}
.\]
Note that $\Omega^1_{R/\CC}\in \rmod$, while $\Omega^1_{X/\CC}\in \oxmods$ is a sheaf.
:::

:::{.example title="?"}
Example: for $R = \CC[x,y]/\gens{x^2+y^2+1}$, we have $\Omega^1_{R/\CC} = Rdx + Rdy/I$.
Noting $x^2+y^2+1=0$ in $R$, we have 
\[
0 = d(x^2+y^2+1) = 2xdx + 2y dy 
.\]
:::

:::{.definition title="Smoothness"}
$X$ is **smooth** iff the rank of $\Omega^1_{X/\CC}$ at $p$ is $\dim X$ for every $p\in X$.
For $X$ a variety, point $p\in X$ correspond to $\mfm_p \in \mspec R$ and $\Omega^{1}_{R/\CC}/\mfm_x \in \mod{R/\mfm_p}$, so we take
\[
\rank_p \Omega^1_{X/\CC} \da \dim_{R/\mfm_p} (\Omega^1_{R/\CC}/k)
\]
where $R/\mfm_p \cong k$ is a fixed field via the map $f\mapsto f(p)$.
:::

:::{.example title="?"}
The previous example is still smooth: we have 
\[
\Omega^1_{R/\CC}/\mfm_p = {\CC dx \oplus \CC dy \over x(p)dx + y(p) dy}
\]
which has $\CC\dash$dimension 1 if we *don't* have $x(p) = y(p) = 0$.
This exactly recovers the Jacobi criterion.
:::

:::{.definition title="$\oxmods$"}
An $\OO_X\dash$module is a sheaf $\mcf$ on $X$ where 

- $\mcf(U) \in \mods{\OO_X(U)}$, so the sections are modules over regular functions, and
- $\mcf(U) \mapsvia{\Res_{UV}} \mcf(V)$ is compatible with the module structure and $\OO_X(U) \mapsvia{\Res_{UV}} \OO_X(V)$, so $\Res_{UV}(f.s) = \Res_{UV}(f) . \Res_{UV}(s)$ for $f\in \OO_X(U)$ and $s\in \mcf(U)$.
:::

:::{.example title="?"}
$\Omega^{1}_{X/\CC}\in \oxmods$, where the sections are 1-forms on open sets, as is $\OO_X$ itself.
An example: $\Omega^1_{\AA^1\smz} = \CC[x,x\inv]dx$.
:::

:::{.example title="?"}
Let $X = \AA^1\slice \CC$, then let $\OO_p$ be the skyscraper sheaf at $p$.
This can be made into an $\OO_X\dash$module in the following way: for $f\in \OO_X(U), s\in \OO_p$, define $f.s = f(p) s$.
How to visualize: think of $\OO_X$ as a trivial bundle.

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-01-17_10-09.pdf_tex} };
\end{tikzpicture}

Compare to the skyscraper sheaf:

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-01-17_10-11.pdf_tex} };
\end{tikzpicture}

:::

:::{.definition title="Morphisms in $\oxmods$"}
If $\mcf, \mcg\in \oxmods$ then $\phi: \mcf\to \mcg$ is a morphism iff it is a morphism of sheaves, so a collection $\phi(U): \mcf(U) \to \mcg(U)$, which are compatible with the module actions.
:::

:::{.example title="?"}
There is a morphism $\OO_X \to \OO_p$ of sheaves determined by
\[
\phi(U): \OO_X(U) &\to \OO_p \\
f &\mapsto f(p)
,\]
which is a morphism in $\oxmods$ since $(g\cdot f)(p) = g(p)\cdot f(p)$ is defined by pointwise multiplication.

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-01-17_10-16.pdf_tex} };
\end{tikzpicture}

Recall that the presheaf $\ker \phi$ is a sheaf, and here $\ker \phi(U) = \ts{f\in \OO_X(U) \st f(p) = 0}$ is the *ideal sheaf* of $p$, $I_p$, so we get a SES
\[
I_p \injects \OO_{\AA^1\slice \CC} \surjects \OO_p
.\]
:::

:::{.definition title="Ideal sheaf"}
For $V \subseteq W$ a subvariety, define
\[
I_V(U) = \ts{f\in \OO_W(U) \st \ro{f}{V \intersect U} = 0}
.\]
:::

:::{.example title="?"}
Let $X = \PP^1\slice \CC$, then recall $\OO_X(X) = \CC$ in this case.
Letting $p\neq q\in X$, there is a map
\[
\OO_X &\to \OO_p \oplus \OO_q \\
f &\mapsto f(p) \oplus f(q)
.\]
This is a surjection of sheaves, despite not being surjective on global sections: $\OO_X(X) = \CC$, while $(\OO_p \oplus \OO_q)(X) = \CC \oplus \CC$.
However, this is an open cover $\mcu \covers X$ where this is a surjection on sections: take $U_1 \da X\smts{p}$ and $U_2\da X\smts{q}$.
Here we get a SES
\[
I_{\ts{p, q}} \injects \OO_{\PP^1\slice \CC}\surjects \OO_p \oplus \OO_q
.\]
:::

:::{.example title="?"}
For $X = \AA^1\slice \CC$, there is an isomorphism 
\[
\Omega^1_{X} &\iso \OO_X \in \oxmods \\
f &\mapsto f\dx
.\]
:::

:::{.remark}
For $X$ not affine, what is $\Omega^1_{X}$?
If $\omega = \sum f_i dx_i$ in one chart and $\sum g_i dy_i$ in another via charts $\vec x, \vec y$, how are they related?
One needs a notion of pullbacks.
We define $\Omega^1_X(U)$ to be well-defined 1-forms $\omega_i \in \Omega^1_X(U \intersect U_i)$ which are compatible on overlaps.
:::

:::{.example title="?"}
Let $X = \PP^1$, glued from affines $U_0 = \spec \CC[s]$ and $U_1 = \spec \CC[t]$ by
\[
t_{01}: U_0 &\to U_1 \\
s &\mapsto t=s\inv
.\]

Take $\omega_i \in \Omega^1_X(U_i)$, then

- $\omega_0 = f_0(s)ds \in \CC[s] ds$
- $\omega_1 = f_1(t)dt \in \CC[t] dt$

Then the compatibility condition is that
\[
t_{01}^*(\omega_1) = f_1(s\inv)d(s\inv) = f_0(s) ds
.\]

This becomes
\[
- {f_1(s\inv) \over s^2}ds &= f_0(s) ds \\
\implies f_1(s\inv) &= -s^2 f_0(s)\\
\implies c_0 + c_1 s\inv + c_2 s^{-2} + \cdots + c_k s^{-k} &= d_0 s^2 + d_1 s^3 + \cdots + d_r s^r
,\]
which can only be true if $f \equiv 0$.
This implies that $\Omega^1_{X}$ is a line bundle.
:::

:::{.definition title="Vector bundle"}
A **line bundle** on $X$ is $\mcf\in \oxmods$ where $\exists \mcu \covers X$ where $\ro{\mcf}{U_i} = \OO_{U_i}$.
A **vector bundle** of rank $r$ is such an $\mcf$ where $\ro{\mcf}{U_i} = \OO_{U_i}\sumpower{r}$ for some $r$.
:::

:::{.example title="?"}
$\OO_p$ is not a vector bundle, since $\OO_p(U)\not\iso \OO_X(U)\sumpower{r}$ for any $r$ or any affine open $U\ni p$.
:::

:::{.definition title="Divisors"}
A Weil divisor on $X$ is a $\ZZ\dash$linear combination of irreducible codimension 1 subvarieties.
For $D = \sum n_i p_i$, its degree is $\sum n_i$.
:::

:::{.example title="?"}
The irreducible codimension 1 subvarieties of $\PP^1$ are points, so 
\[
\WDiv(\PP^1) = \bigoplus _{p\in \PP^1} \ZZ[p]
.\]
For example, $\WDiv(\PP^1\slice\CC)\ni D \da 2[0] - [\pi] + 3[\infty]$ and $\deg D = 4$.
Similarly, $\WDiv(\AA^2)\ni [V(x)] - [V(y)]$.
:::

:::{.definition title="Divisors of functions"}
Let $X$ be irreducible and $f\in \OO_X(U)$ with $U \subseteq X$ Zariski open, and define $\div(f) \da \sum n_i [D_i]$ where $n_i$ is the order of zeros/poles of $f$ along $D_i$.
:::

:::{.example title="?"}
Let $x/y^2 \in \OO_{\AA^2}(V(y)^c)$, then $\div(x/y^2) = [V(x)] - 2[V(y)]$.
Similarly, $f\da {s^2-t^2\over st}\in \OO_{\PP^1}(\PP^1\smts{0, \infty})$ has divisor $\div(f) = [1] + [-1] - [0] - [\infty]$.
:::


# Thursday, January 19 (Divisors)

:::{.remark}
Recall that $\exp$ is surjective as a map of sheaves.
On open contractible subsets $U \subseteq \CC$, for any $g\in \OO_{\hol}\units(U)$ there is an $f\da \log(g)$, but $z\mapsto \log(z)\not\in \OO_{\hol}(\CC\units)$.
Thus surjections of sheaves need not induce surjections on global sections, the failure is measured by sheaf cohomology.
:::


:::{.definition title="Divisor class group"}
Define the **principal Weil divisors** as 
\[
\Prin\mathrm{W}Div = \ts{\div(f) \st f\in K(X)}
,\]
divisors of nonzero rational functions.
Here $\div(f) = \sum n_Y [Y]$ where $n_Y$ is the order of vanishing/poles along $Y$.
We then define the **(Weil) divisor class group** as
\[
\mathrm{W}\Cl(X) \da \WDiv(X) / \Prin\Div(X)
.\]

:::

:::{.example title="?"}
On $\PP^1$, $\div\qty{s^2-t^2\over st} = [1] + [-1] - [0] - [\infty]$, regarding $\infty = s/t$.
:::

:::{.example title="?"}
$\Cl(\AA^1) = 0$ since $\sum n_p [p] = \div f$ where $f = \prod (x-p)^{n_p}$.
:::

:::{.example title="?"}
There is an isomorphism
\[
\deg: \mathrm{W}\Cl(\PP^1) &\iso \ZZ \\
\sum n_p [p] &\mapsto \sum n_p
.\]
E.g. considering $\div\qty{}$ $[1] + [-1] - [0] = [\infty]$ in $\Cl(\PP^1)$.
:::

:::{.example title="?"}
Consider $\Cl(\Spec \ZZ)$: principal divisors are primes, so $\WDiv(\spec \ZZ) = \ts{\sum_{p\text{ prime}} n_p [p] }$.
Rational functions on $\spec \ZZ$ are identified with $\QQ$, and if $r = \prod p_i^{n_i}\in \QQ$ then $\div(r) = \sum n_i [p_i]$, so $\Cl(\spec \ZZ) = 0$ since every $\sum_{p \text{ prime}} n_p [p]$ is the divisor of some $r\in \ZZ\subseteq \QQ$.
:::

:::{.example title="?"}
For $X = \spec R$ for $R\da \ZZ\adjoin{\sqrt{-5}}$, we have $\WDiv(X) = \sum_{p\neq 0 \text{ prime ideals}} n_p [p]$, and the rational functions on $X$ are $\QQ(\sqrt{-5})$.
Since $R\in \DD$, there is unique factorization of (fractional) ideals, so writing $(r) = \prod p_i^{n_i}$ we have $\div r = \sum n_i [p_i]$.
However, $R$ is not a UFD, considering $2\cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})$.

> Consider $r = 1\cdot [p]$ for $p = (2, 1 + \sqrt{-5})$? Ask.

:::

:::{.definition title="Cartier divisors"}
A **Cartier divisor** is a collection of rational functions $f_i$ on $U_i$ such that $\div(f_i) = \div(f_j)$ on $U_{ij}$.
These form a group $\CDiv(X)$, and there is a corresponding class group $\mathrm{Ca}\Cl(X) \da \CDiv(X) / \Prin\CDiv(X)$.
:::

:::{.example title="?"}
Write $\PP^1 = U_0 \union U_1$ and consider

- $f_0 = s$ on $U_0 = \spec \CC[s]$
- $f_1 = 1$ on $U_1 = \spec \CC[t]$

Note $\div f_0 = [0]$ on $U_0$ and $\div f_1 = 0$ on $U_1$, but $\ro{f_0}{U_{01}}$ has no poles or zeros and thus $\div \ro{f_0}{U_{01}}= 0 = \div \ro{f_1}{U_{01}}$.
:::

:::{.fact}
If $X$ is smooth then $\WDiv(X) = \CDiv(X)$.
Note all Weil divisors are Cartier: consider $X = V(xy-z^2) \subseteq \AA^3$, which is a circular cone.
Note that $V(z)$ is a union of two lines along the edge of the cone.
Consider $D = V_X(z, y)$, an irreducible codimension 1 subvariety, so $D\in \WDiv(X)$.
This is locally principal away from the origin, since one can slice by the plane $z=0$.
Suppose $f(x,y,z)$ cuts out $D$ at $0$, then write $f = c_0 + c_1x + c_2y + c_3z + \cdots$.
Since $f(0) = 0$ we have $c_0 = 0$, and the remaining terms always cut out *two* lines.
On the other hand, $2D$ is Cartier and principal, since the tangent plane along the cone $V_X(y) = V_X(y, z^2)$ cuts out a doubled line.
:::

:::{.remark}
Recall that line bundles are $\mcl\in\oxmods$ locally isomorphic to $\OO_{U_i}$.
Given $D\in\CDiv(X)$ with Cartier data $\ts{(f_i, U_i)}$ with $f_i$ rational on $U_i$ and $\div(f_i) = \div(f_j)$ on overlaps.
Define $\OO_X(D)\in\Pic(X)$ to be the sheaf whose sections over $U$ are $\ts{ (s_i) \in \OO_X(U \intersect U_i) s_i f_i = s_j f_j }$, so the sections are related by $s_j = {f_i\over f_j} s_i$ on $U_{ij}$.
Write $t_{ij} = {f_j\over f_i}\in \OO_X(U_i \intersect U_j)$ for the transition functions.
:::

:::{.example title="?"}
Write $\PP^1 = U_0 \union U_1$ and $D = \ts{(s, U_0), (1, U_1)} \in \CDiv(\PP^1)$, and consider $\OO_{\PP^1}(D)$.
This is given by $\ts{p\in k[s], q\in k[t] \st p = sq}$.
Writing $t=s\inv$, we have $p(s) = sq(s\inv)$, so if $q=1$ then $p=s$ and if $q(t) = t$ then $p=1$.
One can check $\OO_{\PP^1}(D) = \CC\gens{s, 1} \oplus \CC\gens{1, t}$.
:::

:::{.exercise title="?"}
Show that if $D = \ts{(s^k, U_0), (1, U_1)}$ then $\OO_{\PP^1}(D) = \OO_{\PP^1}(k)$, whose global sections are homogeneous degree $k$ polynomials on $\PP^1$.
:::


# Tuesday, January 24

:::{.remark}
Recall that $\WDiv(X) = \mathrm{Ca}\Div(X)$ if $X$ is smooth or if $\codim X_\sing \geq 3$, and for any $D\in \CDiv(X)$, 
\[
\OO_X(D)(U) \da \ts{f\in k(U) \st \div f + D \geq 0}\in \Pic(X)
\]
is a line bundle.
:::

:::{.example title="?"}
Let $D = V(xyz) \subseteq \PP^2$, then $D$ is 3 copies of $\PP^1$ linked in a triangle.
Consider $f\in \OO_{\PP^2}(D)(\PP^2)$, so $\div f = -L_1 -L_2 -L_3 + \sum n_p P$ for some $n_p \geq 0$.
Since $f\in k(\PP^2)\implies f = a/b$ with $a,b$ homogeneous polynomials of the same degree, one example is $f(x,y,z) = a(x,y,z)/xyz$ with $a$ homogeneous of degree 3.
Thus $\H^0(\OO_{\PP^2}(D)) \cong k[x,y,z]^{3, \homog}$.
:::

:::{.proposition title="?"}
If $D \equiv D'\in \Cl(X)$, so $D-D'= \div h$ for some $h$, then $\OO_X(D)\cong \OO_X(D')$ as sheaves.
:::

:::{.proof title="?"}
One needs a map $\OO_X(D)(U) \to \OO_X(D')(U)$ for every open $U \subseteq X$, so take the map 
\[
\OO_X(D')(U) &\to \OO_X(D)(U) \\
f' &\mapsto f\da f'\cdot h\inv
.\]
Since $\div (f' h\inv) = \div(f') - \div(h)$, we have 
\[
\div f' + D' \geq 0 \iff \div f' + D' + \div h \geq \div h \iff \div f + D \geq 0
.\]

:::

:::{.remark}
Note that if $D\geq 0$ then $\OO_X(D)(X) \ni 1$, the constant function, and this is a global section so $H^0(\OO_X(D)) > 0$.
:::

:::{.fact}
Any irreducible codimension 1 $D \subseteq \PP^n$ is of the form $V(f)$ for a single function $f$, which follows from the fact that any height 1 prime in $\kxnz$ is principal.
Thus $\Div(\PP^n) = \ts{\displaystyle\sum_{f\in k[x_0,\cdots, x_n]^{\homog, \irr} } n_f [V(f)] }$, and if $D = \sum n_f [V(f)]$ and $D' = \sum n_{f'}[V(f')]$, then $D\equiv D' \iff \sum n_f \deg f = \sum n_{f'} \deg f'$, noting $D-D' = \div\qty{\prod f^{n_f} \over \prod (f')^{n_{f'}} }$ which is a rational function on $\PP^n$.
So $\Cl(\PP^n)\isovia{\deg} \ZZ$ where $\sum n_f [V(f)] \mapsto \sum n_f \deg f$.
:::

:::{.definition title="?"}
$\Pic(X)$ is the group of line bundles on $X$ up to isomorphism, with group structure given by the following: for $L_1, L_2\in \Pic(X)$, define 
\[
(L_1\tensor L_2)(U) \da L_1(U)\tensor_{\OO_X(U)} L_2(U)
.\]
Alternatively, the transition functions on the tensor product are products of transition functions: 
\[
t_{UV}^{L_1\tensor L_2} = t_{UV}^{L_1}\cdot t_{UV}^{L_2}
.\]
The identity element is $\OO_X$, since $L_1(U) \tensor_{\OO_X(U)} \OO_X(U) = L_1(U)$.
Inverses are given by $L\inv \da \sheafhom(L, \OO_X)$, so $L\inv(U) = \Hom_{\OO_X(U)}(L(U), \OO_X(U))$ on small enough open sets, and the transition functions are given by 
\[
t_{UV}^{L\inv} = (t_{UV}^{L})\inv
.\]
It can be checked that if $L$ satisfies the cocycle condition iff $L\inv$ does, and similarly for $L_1\tensor L_2$.
:::

:::{.proposition title="?"}
If $X$ is smooth then $\Pic(X)\cong \Cl(X)$ via $D\mapstofrom \OO_X(D)$.
:::

:::{.proof title="?"}
This uses that $\OO_X(D)\cong\OO_X(D')\iff D\equiv D'$, the interesting part is to show surjectivity.
Let $L\in \Pic(X)$, then $\ro L U = \OO_U$ for some $U$, and we can consider $1\in \OO_U(U) \cong L(U)$.
In any other trivialization, $\ro L V \cong \OO_V$ and there is a transition function $t_{UV} \in k(V)$.
Since $1\in \OO_U(U)$, we have $\div(1) = D$ where the LHS is regarded as a rational section of $L$, and $L \cong \OO_X(D)$.
:::

:::{.definition title="Rational sections"}
A **rational section** of $L$ is a section of $L\tensor k(X)$.
:::

:::{.remark}
This allows for a section $s\in H^0(L)$ to have poles, and $L\cong \OO(\div(s))$ for any section $s$ of $L$.
If $s, s'$ are rational sections, then $s/s'$ is a rational *function*. 
Concretely, if $s = \ts{s_u \in k(U) \st t_{UV} s_U = s_V}$ and $s' = \ts{s'_U \in k(U) \st t_{UV} s'_U = s'_V}$.
Then $s/s' = \ts{s_U \over s_U' = s_V/s_V'} \in k(X)$, so $\div(s) = \div(s')$.
:::

:::{.remark}
The degree of any principal divisor on a curve is zero.
:::

:::{.example title="?"}
More interesting examples come from elliptic curves.
Write $X = \CC/ \Lambda$ where \( \Lambda = \ZZ \oplus \ZZ \tau \) with $\tau \in \HH$
This yields a complex manifold, since the transition functions are translations and thus holomorphic.
We can write $\Div(X)\ni D = \sum n_p [p]$ where $p\in X$ are points.
A meromorphic function is a rational function $f: X\rational \CC$ which extends to a holomorphic map $f:X\to \CP^1$ by mapping poles to $\infty$ -- note that this extension only works because $X$ is complex dimension 1, and does not work in higher dimensions.
This pulls back to $\tilde f: \CC\to \PP^1$ which satisfies $\tilde f(z+ \lambda) = \tilde f(z)$ for all $\lambda\in \Lambda$.
The Weierstrass $\wp\dash$function is defined by 
\[
\wp(z) \da {1\over z^2} + \sum_{\lambda\in \Lambda\smz}\qty{ {1\over (z - \lambda)^2 } - {1\over \lambda^2} }
,\]
which averages over the lattice and is thus periodic.
Note 
\[
{1\over (z- \lambda)^2} - {1\over \lambda^2} = { \lambda^2 - (z- \lambda)^2 \over (z- \lambda)^2 \lambda^2}
.\]
where the denominator is $\geq C \abs{ \lambda}^4$ for $\abs{z} \gg 1$ and the numerator is $\leq c \abs{ \lambda}$ for $\abs{z} \gg 1$, so 
\[
\sum_{ \lambda \in \Lambda\smz} C\abs{\lambda}^{-3} \leq C \int_{\RR^2} \abs{\lambda}^{-3} = C \iint r^{-3} r\dr\dtheta
\]
which converges.
So the extra constant ${1\over \lambda^2}$ is necessary to make the series converge.
Since translating by $\lambda\in \Lambda$ rearranges the series, $\wp(z)$ is a well-defined rational function on $X$ with a double pole at every $z\in \Lambda$, corresponding to $0\in \CC/ \Lambda$.
So $\div \wp(z) = -2 [0]$, and it induces $X\mapsvia{\pi} \PP^1$ where we have $\deg \pi = \deg \pi\inv(0) = \deg \pi\inv(\infty)$.
:::

:::{.proposition title="?"}
Let $f\in \CC(X)$ be meromorphic and let $\div f = \sum n_p [p]$.

1. $\sum n_p = 0$
2. $\sum n_p [p] \equiv 0 \mod \Lambda$

:::


:::{.proof title="?"}
Let $f\in \CC(X)$ with some zeros and poles.

Take the following contour:

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-01-24_10-44.pdf_tex} };
\end{tikzpicture}

Note that $\int_\gamma \dlog(f) = \int_\gamma {f'(z) \over f(z)} \dz = \sum_{p \text{ inside}} n_p$ by the residue theorem.
Recall that in local coordinates $w$, if $f(w) = cw^{-k} + \cdots$ then $\dlog(f) = -k {dw \over w} + h(w)$ where $h$ is holomorphic.
However, by periodicity, the edge integrals cancel and $\int_{C_1 + C_2} \dlog(f) = \sum_{p\text{ edge}} -n_p$, forcing $\sum n_p = 0$.

Now considering $\int_\gamma z\dlog(f) = \sum_{p \text{ inside}} n_p p$ and $\Res_p z\dlog(f) = n_p \cdot z(p)$.
On the other hand, $-\sum_{p \text{ edge}} n_p p+ \int_{A\sm A'} z\dlog(f)$.
:::







# Thursday, February 02

:::{.theorem title="Riemann-Hurwitz"}
If $f:C\to D$ is a map of smooth complete curves then
\[
2g(C) - 2 = \deg(f)\cdot\qty{ 2g(D) - 2 } + \deg R(f)
\]
where $R(f) = \sum_{p \in C} (e_p - 1)[p]$ is the ramification divisor.
:::

:::{.example title="?"}
Take 
\[
\CC &\to \CC \\
z &\mapsto z^{4}
\]
which is a 4-fold cover

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-02_09-43.pdf_tex} };
\end{tikzpicture}

:::

:::{.example title="?"}
If $f: C\to \PP^1$ is degree 2 then $f=a/b$ where $a,b\in H^0(C; K_C)$, and Riemann-Hurwitz gives $\deg R(f) = 6$.
If $\tv{s: t}$ are homogeneous coordinates on $\PP^1$, then one can take an equation of the form $z^2 = f_6(s, t)$ for $f_6(s,t) = \prod_{i=1}^6 (a_i s - b_i t)$ is a homogeneous degree 6 polynomial, so $f\in H^0(\PP^1;\OO_{\PP^1}(6))$ and $z\in \Tot \OO_{\PP^1}(-3)$: 

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-02_09-59.pdf_tex} };
\end{tikzpicture}

:::

:::{.exercise title="?"}
Describe why $z\not\in \Tot \OO_{\PP^1}(3)$ instead.
:::

:::{.exercise title="?"}
Recall that the normalization of a ring $R$ is the integral closure of $R$ in $\ff(R)$.
Compute the normalization of $y^2=x^3$ using the algebraic definition.
:::

:::{.example title="?"}
An example of normalization:

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-02_10-22.pdf_tex} };
\end{tikzpicture}

:::

:::{.fact}
Integrally closed and 1-dimensional implies smooth.
:::

:::{.exercise title="?"}
Recall the definition of the Čech cochain complex and compute $\Hc(S^1; \mcf)$ using an open cover of two sets.
:::











# Tuesday, February 07

:::{.remark}
Last time: Čech cochains defined as $C_{\mcu}^p(X; \mcf) \da \bigoplus_{i_0 < \cdots < i_p } \mcf(U_{i_0,\cdots, i_p})$ with homology defined as $\Hc^*(X;\mcf) \da \colim_{\mcu} H^*(C_\mcu^*(X; \mcf))$, and a SES of sheaves yields a LES in homology.
Recall $\Cl(X) \iso \Pic(X)$ in our setting via $D\mapsto \OO_X(D)$ which sends $U$ to $\ts{f\in k(U) \st \div f + D \geq 0}$.
:::

:::{.claim}
\[
\Pic(X) &\iso 
H^1(X; \OO_X\units) \\
L &\mapsto [(t_{UV})]
.\]
:::

:::{.proof title="?"}
Write $C_{\mcu}^1(X; \OO_X\units) = \ts{ ( t_{UV} ) \in \OO\units( U \intersect V) \st U,V \in \mcu}$ for some open cover $\mcu \covers X$, and $Z_{\mcu}^1(X; \OO_X\units) = \ts{(t_{UV}) \in \OO\units(U \intersect V)}$ with boundary $\bd^1(t_{UV}) = (t_{VW} t_{UW}\inv t_{UV})$.
Note that $t_{UW} = t_{UV} t_{VW}$.

A line bundle $L \mapsvia{\pi} X$ has a trivialization, and we can refine $\mcu$ to a cover that trivializes $L$, so $\ro{L}{U} \cong \OO_U$ as sheaves for each $U$.
We have $\pi\inv(U) \iso U\times \CC$, and $h_V\circ h_U\inv : (U \intersect V) \times \CC \to (U \intersect V)\times \CC$ is multiplication by $t_{UV}(p)$ on the fiber over $p \in U \intersect V$.
These satisfy $t_{UV} t_{VW} = t_{UW}$, so any $L$ defines an element of $Z^1(X; \OO_X\units)$ by sending $L$ to its transition function.

Conversely, given $(t_{UV})$, one can attempt to glue these to form a line bundle, but which collections define the same bundle?
Given two line bundles, refine their trivializing covers so that they coincide.
Then any two trivializations $L_U \mapsvia{h_U, h_{U}'} \OO_U$ differ by an element $f_U \in \OO\units(U)$:

\begin{tikzcd}
	{L_U} && {\OO_U} \\
	\\
	&& {\OO_U}
	\arrow["{h_U}", from=1-1, to=1-3]
	\arrow["{\cdot f_U}", from=1-3, to=3-3]
	\arrow["{h_U'}"', from=1-1, to=3-3]
\end{tikzcd}
> [Link to Diagram](https://q.uiver.app/?q=WzAsMyxbMCwwLCJMX1UiXSxbMiwwLCJcXE9PX1UiXSxbMiwyLCJcXE9PX1UiXSxbMCwxLCJoX1UiXSxbMSwyLCJcXGNkb3QgZl9VIl0sWzAsMiwiaF9VJyIsMl1d)

On overlaps, we have $t_{UV}\mapsto f_U\inv t_{UV}$ and $t_{VU} \mapsto f_U t_{VU}$, so at the level of tuples, $(t_{UV}) \mapsto (t_{UV}) \cdot \del^0 (f_U)$ and thus $(t_{UV})$ is uniquely defined up to $\del^0(C_\mcu^0(X; \OO_X\units))$.
:::

:::{.remark}
This works for higher rank vector bundles: one has $t_{VW} t_{UV} = t_{UW}$ in $\Hol(U \intersect V \intersect W, \GL_n(\CC))$, however for $n\geq 2$ this is a nonabelian group and order matters.
In this case we get e.g. $\del^1(t_{UV}) = ( t_{UV} t{UW}\inv t_{VW} )$.
One has
\[
\ts{\text{Vector bundles on } X} \iso H^1(X; \GL_n(\OO))
\]
where $\GL_n(\OO)(U) = \ts{\text{holomorphic functions } U\to \GL_n(\CC)}$.
:::

:::{.remark}
Recall the exponential SES; taking the LES yields $c_1: \Pic(X) \to H^2(X; \ZZ)$.
For $X$ a smooth curve, $c_1 = \deg$.
For $D\in \Div(X)$, one can define the fundamental class in $X$ by taking the fundamental class $[D]\in H_{\dim_\RR D}(D; \ZZ)\iso H_{\dim_\RR D} (X; \ZZ) \isovia{\PD} H^2(X; \ZZ)$.
:::

:::{.remark}
Why is $c_1 = \deg$ true?
Consider $\mcl = \OO_C(p)$ for $p\in C$ a point on a curve.
One can take the *point bundle construction*: let $U\ni p$ be a neighborhood of $p$ and $V$ the complement of a smaller neighborhood of $p$, so $U \intersect V$ is an annulus.
For $z: U\to \CC$ a local coordinate, one can form a Cartier divisor $\ts{(U, z), (V, 1)}$ with transition function $t_{UV} = 1/z$.
Note that $H^0(\OO_C(p)) \ni s = (s_U = z, s_V = 1)$ has a section which vanishes precisely at $p$.

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-07_10-19.pdf_tex} };
\end{tikzpicture}

Refine the open cover to split $U$ into two open subsets, then 
\[
c_1(\OO_C(p)) = ((z\inv)_{U_1V}, (z\inv)_{U_2V}, (1)_{U_1 U_2} ) \in Z^1(C; \OO\units)
.\]
Lifting to $C^1(C; \OO)$ using that exponential surjects on sheaves yields $(-\log(z), -\log(z), 0) \in C^1(C; \OO)$.
Taking its boundary yields
\[
\del^1( (-\log z)_{U_1 V}, (-\log z)_{U_2 V}, (0)_{U_1 U_2} ) = ( (-\log z)_{U_2 V} + (\log z)_{U_i V} )_{U_1 U_2 V}
\]
which is $0$ on the top component of $U_1 \intersect U_2 \intersect V$ and $2\pi i$ on the bottom.
This is an element of $\ul{2\pi i \ZZ}( U_1 \intersect U_2 \intersect V) \in Z^2(C; \ul{2\pi i \ZZ}) \to H^2(X; \ul{\ZZ} )$.
Thus $c_1 (\OO_C(p)) = [p]$ is the fundamental class of $p$.
:::

:::{.definition title="?"}
\[
\NS(X) \da \im c_1, \quad
\Pic^0(X) \da \ker c_1
.\]
:::

:::{.example title="?"}
For $X = E$ an elliptic curve, $\Pic X = E\times \ZZ$ where $D \mapsto (D, \deg D)$.
Thus $\NS(E) = \ZZ$ and $E = \Pic^0(E) = \ts{[p] - [0] \st p\in E}$.
Note that $\Pic^0(X) \cong \Jac(X)$ in this case.
:::

:::{.remark}
If $X$ is smooth projective, global holomorphic functions are constant, so part of the LES breaks into an exact piece: 
\[
H^0(\ZZ) = \ZZ^n \injects H^0(\OO) = \CC^n \surjects H^0(\OO\units) = (\CC\units)^n \qquad n = \size \pi_0 X
.\]
Thus $\Pic^0(X) = H^1(X; \OO)/ H^1(X; \ZZ)$, and Hodge theory shows $\rank H^1(X; \ZZ) = 2\dim_\CC H^1(X; \OO)$ and the image of $H^1(X;\ZZ)\to H^1(X; \OO)$ is discrete.
This yields $\ZZ^{2r} \injects \CC^r$ with image $\Lambda$ a lattice and $\Pic^0 X \cong \CC^r/\Lambda$.
In particular, for $C$ a smooth genus $g$ curve, $\Pic^0 X \cong \CC^g/ \Lambda$.
Note that $H^1(C; \ZZ)$ carries the intersection pairing, which induces a symplectic form and thus a polarization.
:::

# Thursday, February 09

:::{.remark}
Last time: $\Pic(X) \cong H^1(X; \OO_X\units)$ and 
\[
c_1: \Pic(X) &\to H^2(X; \ZZ) \\
\OO(D) &\mapsto [D]
\]
with $\im c_1 = \NS(X)$ and $\ker c_1 = \Pic^0(X) \cong \CC^g/ \Lambda$ where $H^1(X; \OO) \cong \CC^g$.
Today: consider the cohomology of vector bundles on a complex manifold $X$.
:::

:::{.definition title="$(p,q)\dash$forms"}
A **smooth $(p, q)\dash$form** is locally of the form 
\[
\sum_{ \abs{I} = p, \abs{J} = q} a_{I, \bar J} \dz_{i_1}\wedge\cdots \dz_{i_p} \wedge \dzbar_{j_1}\wedge \cdots \wedge \dzbar_{j_q}
.\]
Let $A^{p, q}$ be the sheaf of smooth $(p, q)\dash$forms
:::

:::{.example title="?"}
Some examples: 

- $A^{0, 1}(\CC) \ni \omega \da z\bar{z} \dzbar$.
- $A^{1, 0}(\CC\units) \ni \alpha \da \log\abs{z} \dz$
- $A^{1,1}(\CC^2)\ni \alpha \da e^{z_1}\dz_1 \wedge \dzbar_2 + \bar{z}_2 \dzbar_1 \wedge \dz_2$.
- An example of differentiation: $d(e^{z_2} \dz_1 + \dzbar_1 \dz_2) = e^{z_2} \dz_2\wedge \dz_1 + \dzbar_1 \wedge \dz_2$.
:::

:::{.remark}
Let $\Omega^{p}$ be the holomorphic $(p, 0)$ forms, noting that differentiation $d$ on smooth forms is not a map of $C^\infty(X, \CC)\dash$modules since $d(f\alpha) = fd(\alpha) + df\wedge \alpha$ for $f \in C^\infty(U, \CC)$ and $\alpha A^k(U)$.
There is a decomposition 
\[
A^k(U) = \bigoplus _{p+q=k} A^{p, q}(U)
,\]
which leads to a decomposition of sheaves.
Define $\del = \pi_{p+1, q}(d)$ and $\delbar: \pi_{p, q+1}(d)$, this yields a complex
\[
0 \to \OO_X \to A^{0,0} \mapsvia{\delbar} A^{0, 1} \mapsvia{\delbar} A^{0, 2} \to \cdots \to A^{0, \dim X} \to 0
,\]
which is an exact sequence of sheaves.
Noting that $d^2 = 0$, one has 

- $\del^2 = 0$,
- $\delbar^2 = 0$,
- $\del\delbar + \delbar\del = 0$.

See the Poincaré $\delbar$ lemma.

:::

:::{.remark}
More generally, for a vector bundle $E \in \oxmods$, note that $\OO\injects A^{0, 0}$ yields $\OO\injects \CC^\infty$, so can form $E\tensor_{\OO} C^\infty$.
Locally, $E\cong \OO\sumpower{r}$ on $U$, so one has $E\tensor A^{0,0} \cong (C^\infty)\sumpower{r}$ on $U$.
This yields $0\to E\injects E \tensor A^{0,0}$, and the claim is that there is a well-defined map $E\tensor A^{0,0}\to E\tensor A^{0, 1}$.
Locally this is given by $\tv{f_1,\cdots, f_r} \mapsto \tv{\delbar f_1,\cdots, \delbar f_r}$.
In a different trivialization, $s_V = t_{UV}(f_1,\cdots, f_r)$ where $t_{UV}$ is a holomorphic function valued in $\GL_r(\CC)$.
One has $\delbar(t_{UV} \circ (f_1,\cdots, f_r)) = t_{UV} (\delbar f_1, \cdots, \delbar f_r)$ since $\delbar (t_{UV}) = 0$, noting that in the first expression one is carrying out matrix multiplication.
:::

:::{.definition title="Dolbeault complex"}
\[
0 \to E \mapsvia{i} E\tensor A^{0,0} \mapsvia{\delbar} E\tensor A^{0, 1} \mapsvia{\delbar} \cdots \mapsvia{\delbar} E\tensor A^{0, \dim X} \to 0
,\]
and $H^*(X; E)$ can be computed from the homology of this complex.
:::

:::{.fact}
For any smooth vector bundle $V\to M$ over a manifold $M$, $\Hc^{i \geq 1}(M; V) = 0$ since $M$ admits partitions of unity.
Moreover if $\mcf \injects \complex{I}$ with $\complex{I}$ acyclic, so $H^{i\geq 1}(\complex I) = 0$, then $H^k(X; F)$ is computed as the homology of $\complex I$.
:::

:::{.remark}
Since $\Omega^p$ is a holomorphic vector bundle on $X$, this yields the Dolbeault resolution 
\[
0\to \Omega^p \to A^{p, 0} \to A^{p, 1} \to \cdots
,\]
and $H^{p, q} \da H^q(X; \Omega^p)$ is the homology of this complex.
Define $h^{p, q} \da \dim_\CC H^{p, q}$ -- note that this forms a diamond since for $p,q\geq \dim X$ there are no $p\dash$forms or $q\dash$forms whatsoever.
:::

:::{.theorem title="Hodge decomposition and symmetry theorems"}
There is a decomposition
\[
H^k(X; \ul{\CC}) \cong \bigoplus _{p+q=k} H^{p, q}
,\]
and a symmetry
\[
H^{p, q}(X) \cong \overline{H^{q, p}(X)}
.\]
:::

:::{.remark}
Note that $\bar{V}$ doesn't necessarily make sense yet for $V = H^{p, q}(X)$, since we don't know that it is a subspace of some real vector space $W$ -- here we'll take $H^k(X; \ul{\CC}) = H^k(X; \ul{\RR}) \tensor \CC$.
E.g. writing $\CC^2 = \RR^2 \tensor_\RR \CC$, if $V = \gens{u, v}_\CC$ then $\bar{V} = \gens{\bar u, \bar v}_\CC$.
:::

# Tuesday, February 14

:::{.proposition title="Riemann-Roch for curves"}
\[
h^0(C, L) - h^0(C, K_C \tensor L\inv) = \deg L + 1-g
.\]
:::

:::{.remark}
Recall: 

- $h^i(X, F) \da \dim_k H^i(X; F)$.
- $\chi(X, F) \da \sum_{i\geq 0}h^i(X, F)$ for $F\in \Sh(X, \kmod)$, provided these numbers are finite.
- $H^0(\AA^1\slice k; \OO) = k[x] t^0$, and note $\dim_k k[x] = \infty$.
- For $X$ an irreducible Noetherian topological space with $\dim X = d$, $H^i(X, F) = 0$ for $i > d$.
- For $X\in \Proj\Var\slice k$ and $F$ a finitely presented $\OO_X\dash$module, i.e. there is an exact sequence $\OO_X\sumpower m\to \OO_X\sumpower n\surjects F$, we have $h^i(X, F) < \infty$.
- Finitely presented sheaves are coherent.
  An analytic coherent sheaf is defined in the same way with respect to $\OO_X^\an$ (the sheaf of holomorphic functions).
- $h^0(X, K_C\tensor L\inv) = h^1(C, L)$.

:::

:::{.theorem title="Serre duality"}
Let $X$ be a compact complex manifold and let $E\to X$ be a holomorphic vector bundle.
Then $H^i(X, E) \iso H^{\dim_\CC X - i}(X, E\dual \tensor K_X)\dual$ where $K_X = \det\Omega_X \da \Omega_X^{\dim X}$.
:::

:::{.proof title="?"}
Regard $s\in H^i(X, E)$ as an element in Dolbeault cohomology,
\[
H^i(X, E) \cong { \ker \qty{ E\tensor A^{0, i}(X) \mapsvia{\delbar} A^{0, i+1}(X) } \over \im\qty{E\tensor A^{0, i-1}(X) \mapsvia{\delbar} E\tensor A^{0, i}(X) } }
.\]
Note that $K \tensor_\OO C^\infty = A^{n, 0}$.
Let 

- $t\in H^{n-i}(X, E\dual \tensor K)$
- $\tilde s\in E\tensor A^{0, i}(X)$
- $\tilde t\in E\dual \tensor K \tensor A^{0, n-i}(X) \cong E\dual \tensor A^{n, n-i}(X)$.

One can then pair $\inp{\tilde s}{\tilde t}\in A^{n, n}(X)$, and $\int_X \inp{\tilde s}{\tilde t} \in \CC$ is a perfect pairing.
:::

:::{.remark}
Upshot: the LHS in RR is $\chi(C, L)$.
:::

:::{.proposition title="?"}
The following is an important exact sequence of sheaves: for any $D\in \CDiv(X)^\eff$, one has 
\[
\OO_X(-D) \injects \OO_X \surjects \OO_D \qquad \in \Sh(X)
\]
where $\OO_D \da \iota_* \OO_X$ for $\iota: D\injects X$ the inclusion.
:::

:::{.proof title="?"}
Note $\OO_X(D)(U) = \ts{f\in \OO_(U) \st \div f \geq D}$, so $\OO_X(D) = I_D$ is the ideal sheaf of $D$.
If $D$ is cut out by a single function on $U$, we have $I_D(U) = (f) \subset \OO_X(U)$.
This yields an inclusion $\OO_X(-D) = I_D \injects \OO_X$.
By definition, the quotient $\OO_X/I_D$ are functions defined on $D$, at least on affine opens $U$.
Since exactness of sheaves is local, this check suffices.
:::

:::{.remark}
In particular, on a curve one has 
\[
\OO_C(-p) \injects \OO_C \surjects \OO_p
\]
where $p\in C$ is a point.
This can be tensored with any vector bundle $L$ to get 
\[
L(-p) \da L\tensor \OO_C(-p) \injects L \surjects \ro{L}{p}
,\]
which is exact since $L$ is locally free.
For $s_p\in H^0(\OO_C(p))$, we have $V(s_p) = [p]$ as a divisor: 

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-14_10-11.pdf_tex} };
\end{tikzpicture}

:::

:::{.proposition title="?"}
For $F_1\injects F_2 \surjects F_3$, 
\[
\chi(F_2) = \chi(F_1) + \chi(F_3)
.\]
:::

:::{.proof title="?"}
Take the LES in cohomology, where $H^n(F_i) = 0$ for large enough $n$.
Now for a LES of vector spaces $V_1\injects V_2\to \cdots \surjects V_n$, one has $\sum (-1)^i \dim_k V_i = 0$.
:::

:::{.claim}
$\ro L p \cong \OO_p$ satisfies $H^i(C, \OO_p) = \CC t^0$, which is more generally true for a skyscraper sheaf at a point.
:::

:::{.remark}
Take a fine enough open cover (e.g. an affine cover) so that $p$ appears in only one set, and use Čech cohomology.
That $\ro L p \cong \OO_p$ follows from the fact that this holds on a small enough open $U$ and both are identically zero away from $p$.
:::

:::{.remark}
Now use that $\chi(C, \OO_p) = 1$, we then claim that $\chi(L) = \chi(L(-p)) + 1$ and thus $L\cong \OO_C(\sum n_p [p])$ and $\chi(L) = \sum n_p + \chi(\OO_C)$ by repeatedly applying this fact.
Note $\sum n_p = \deg L$, so 
\[
\chi(L) = \deg L + \chi(\OO_C)
.\]
We have $\chi(\OO_C) = h^0(\OO_C) - h^1(\OO_C) = 1- h^0(K)$ by Serre duality.
Applying the above version of RR to $K$ yields $\chi(K) = \deg K + \chi(\OO) = 2g-2 + \chi(\OO)$.
On the other hand, this equals $h^0(K) - h^0(K\dual \tensor K) = h^0(K) - 1$.
Combining these yields 
\[
\chi(\OO) = -(2g-2 + \chi(\OO)) \implies 2\chi(\OO) = 2-2g \implies \chi(\OO) = 1-g
.\]
Plugging this back into the first equation yields 
\[
\chi(L) = \deg L + 1-g
.\]
:::

:::{.remark}
Note that $\chi^\Top(C) = g$ was defined as the index of a vector field, and this shows that also $g = h^1(\OO_X)$.
:::

:::{.remark}
An application of Serre duality: the Hodge diamond.
Let $n\da \dim_\CC X$ and recall $h^{p, q} \da \dim_\CC H^q(X, \Omega^p_X)$.
By duality, $h^{p, q} = \dim_\CC H^{n-q}(X, (\Omega_X^p)\dual \tensor \Omega^n)$.
We first claim 
\[
(\Omega^p_X)\dual \tensor \Omega^n \cong \Omega^{n-p}
.\]
Note that sections of $\Omega^p$ are of the form $\sum a_I \dz_{i_1}\wedge \cdots \wedge \dz_{i_p}$ with $a_I$ holomorphic functions on $U$, and sections of \( (\Omega^p)\dual \) look like $\sum a_I \dd{}{z_{i_1}} \wedge \cdots \wedge \dd{}{z_{i_p}}$ whose transition functions are the inverse of those for \( \Omega^p \).
Noting that $\Omega^n$ is a line bundle with local sections of the form $f \dz_1\wedge\cdots \dz_n$, one can contract forms (interior multiplication) to obtain 
\[
\qty{\sum a_I \dd{}{z_I}} \tensor \qty{f \dz_I} = f \sum_{j\in I^c} \dz_{j_1}\wedge\cdots \wedge \dz_{j_{n-p}} 
.\]
Thus $h^{p, q} = \dim H^{n-q}(X, \Omega^{n-p}) = h^{n-p, n-q}$.

\begin{tikzcd}
	&& {h^{n,n}} \\
	& {h^{n-q, n-p}} && {h^{n-p, n-q}} \\
	{h^{n, 0}} &&&& {h^{0, n}} \\
	& {h^{p, q}} \\
	&& {h^{0,0}} \\
	&& {}
	\arrow[dashed, no head, from=1-3, to=5-3]
	\arrow[curve={height=-12pt}, Rightarrow, no head, from=4-2, to=2-4]
	\arrow[dashed, no head, from=3-1, to=3-5]
	\arrow[Rightarrow, no head, from=2-4, to=2-2]
\end{tikzcd}
> [Link to Diagram](https://q.uiver.app/?q=WzAsOCxbMiwwLCJoXntuLG59Il0sWzIsNV0sWzIsNCwiaF57MCwwfSJdLFswLDIsImhee24sIDB9Il0sWzQsMiwiaF57MCwgbn0iXSxbMSwzLCJoXntwLCBxfSJdLFszLDEsImhee24tcCwgbi1xfSJdLFsxLDEsImhee24tcSwgbi1wfSJdLFswLDIsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzUsNiwiIiwwLHsiY3VydmUiOi0yLCJsZXZlbCI6Miwic3R5bGUiOnsiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFszLDQsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzYsNywiIiwwLHsibGV2ZWwiOjIsInN0eWxlIjp7ImhlYWQiOnsibmFtZSI6Im5vbmUifX19XV0=)

This yields $K_4$ symmetry, and we'll see that for a Calabi Yau there is a $D_4$ symmetry.
:::


# Tuesday, February 21

:::{.remark}
Last time: $M$ a compact manifold, $\dim_\RR M = 2n$, there is a perfect pairing 
\[
H^k(M;\ZZ)/\tors \tensor_\ZZ H^k(M; \ZZ)/\tors &\to \ZZ \\
\alpha \tensor \beta &\mapsto \int_M \alpha\wedgeprod \beta
.\]
Interpret $\alpha . \beta$ as $[N_1] . [N_2] = \sum_{p\in N_1 \transverse N_2} \pm 1$ where the $N_i$ are Poincaré duals.
Satisfies \( \alpha . \beta= (-1)^{n} \beta \alpha \) for \( \alpha, \beta\in H^{n}(X; \ZZ)/\tors \) where $n\da \dim_\CC M = {1\over 2}\dim_\RR M$.
:::

:::{.definition title="Lattices"}
An (orthogonal) lattice is a free abelian group \( \Lambda \cong \ZZ^k \) of finite rank, together with an integral symmetric bilinear form 
\[
\cdot: \Lambda\tensor \Lambda\to \ZZ 
.\]

- $\Lambda$ is **symplectic** if $\cdot$ is alternating, so $\alpha.\beta = -\beta . \alpha$.
- $\Lambda$ is **unimodular** if for all primitive nonzero vectors $x\in \Lambda$, $\exists y\in \Lambda$ such that $x.y = 1$, where $x$ is primitive if $x\neq \lambda z$ for any $z\in \Lambda$
- $\Lambda$ is nondegenerate if $\forall x\in \Lambda$, $\exists y \in \Lambda$ with $x.y \neq 0$.

- The **Gram matrix** of a basis $\ts{e_i}$ for a lattice \( (\Lambda, \cdot) \) is $M_{ij} \da e_i . e_j$.
  $M$ is symmetric for orthogonal lattices and skew-symmetric for symplectic lattices.
  One can write $v.w = v^t M w$.
- If \( \Lambda_i \) are lattices, so is \( \bigoplus_{i} \Lambda_i \).
  
:::

:::{.example title="?"}
The standard example: \( \Lambda \in \ZZ^2 \) with \( \tv{x_1, y_1}.\tv{x_2, y_2} \da x_1 x_2 + y_1 y_2 \) is nondegenerate and unimodular.
Here $\tv{2,2} = 2\tv{1,1}$ is not primitive, but $\tv{2,1}$ is primitive.
Proving unimodularity: if $\gcd(m, n) = 1$, one just needs to solve $mx + ny = 1$ for $\tv{x,y}\in \ZZ^2$.
This has Gram matrix $\matt 1 0 0 1$.
:::

:::{.example title="?"}
A degenerate lattice: $(\ZZ^2, \vector x . \vector y \da x_1 x_2)$.
This is symmetric, but $\vector x . \tv{0, 1} = 0$ for every $\vector x \in \Lambda$.
The Gram matrix is $\matt 1 0 0 0$.
:::

:::{.example title="?"}
A symplectic lattice: $(\ZZ^2, \vector x . \vector y \da x_1 y_2 - x_2 y_1)$, which has Gram matrix $\matt 0 1 {-1} 0$.
:::

:::{.example title="?"}
There is a $2g\dash$dimensional symplectic lattice for every $g\geq 0$ given by $\ZZ^{2g}_\mathrm{symp} \da \bigoplus_{i=1}^{g} (\ZZ^2, \cdot_\mathrm{symp})$, which has Gram matrix comprised of $g$ diagonal blocks of $\matt 0 1 {-1} 0$.
This is the only unimodular symplectic lattice up to isomorphism, and is the intersection form on $H^1(\Sigma_g; \ZZ)$.
The vectors here can be represented by fundamental classes of 1-dimensional submanifolds, i.e. real curves:

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-21_10-03.pdf_tex} };
\end{tikzpicture}

More generally, if $\dim_\RR M = 4k+2$, then $H^{2k+1}(M; \ZZ) \cong \ZZ^{2g}_\mathrm{symp}$ for some $g$.
:::

:::{.definition title="Orthogonal complements"}
For $M \subseteq \Lambda$, define $M^\perp \da \ts{x\in \Lambda\st x.m =0 \, \forall m\in M}$.
:::

:::{.example title="?"}
For $\ZZ^2_\mathrm{symp} = \ZZ \alpha \oplus \ZZ \beta$, we have $\ZZ\alpha^\perp = \ZZ\alpha$.
For $\ZZ^2_\std = \ZZ \alpha \oplus \ZZ \beta$, one instead has $\ZZ\alpha^\perp = \ZZ\beta$.
:::

:::{.remark}
Over $\RR$, symmetric bilinear forms are classified by their signature: they can all be diagonalized to $\diag(1,\cdots, 1, -1,\cdots,-1,0,\cdots, 0)$ for some multiplicities $n_+, n_-, n_0$ where $n_+ + n_- + n_0 = \rank_\ZZ \Lambda$.
Any lattice can be extended via $\Lambda_\RR \da \Lambda \tensor_\ZZ \RR$, so define $\sgn \Lambda \da (n_+, n_-, n_0)$.
:::

:::{.example title="?"}
Let \( \Lambda = \ZZ\adjoin{\sqrt{5}} \) and let $u.v = \Re(x\bar {y})$, so 
\[
\norm{u} = u.u = (a+b\sqrt{5})(a-b\sqrt{5}) = a^2 - 5b^2
.\]
Note that \( \Lambda_\RR \cong \RR^{1,1} \), which in the standard basis has Gram matrix $\matt 1 0 0 {-1}$.
This can be visualized as a 2-dimensional subspace of $\RR^2$ spanned by $1, \sqrt{5}$.
Note that $\norm{\sqrt 5} = -5$.
:::

:::{.remark}
Define the *hyperbolic signature* as $(1, n)$ for any $n\geq 0$.
One can visualize positive/negative norm vectors using the light cone: for $\RR^{1, n}$, solving $v.v=0$ to get $x_1^2 = x_2^2 + \cdots + x_{n_1}^2$.
This is a cone over $S^1$ at height 1 in $\RR^3$:

\begin{tikzpicture}
\fontsize{45pt}{1em} 
\node (node_one) at (0,0) { \import{/home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures}{2023-02-21_10-27.pdf_tex} };
\end{tikzpicture}

Note that $\ts{v.v > 0}$ has two connected components.
:::

:::{.definition title="Hyperbolic planes"}
A *hyperbolic cell/plane* is the lattice $H$ defined as $\ZZ^2$ with pairing given by the Gram matrix $\matt 0 1 1 0$ and signature $(1, 1)$.
This admits an orthonormal basis ${e_1 + e_2\over \sqrt 2}, {e_1 - e_2 \over \sqrt 2}$, and $H_\RR \cong \RR^{1, 1}$.
:::

:::{.remark}
Recall the ADE Dynkin diagrams: 

![](figures/2023-02-21_10-32-44.png)

One can build a root lattice out of each diagram: 

- Take one basis vector $e_i$ for each node, 
- $e_i^2 = -2$,
- $e_i.e_j = 1 \iff$ nodes $i, j$ are connected, and zero otherwise.

The lattices will be negative definite, i.e. of signature $(0, n)$ with $n$ the number of nodes.
The only unimodular such lattice corresponds to $E_8$.
:::

:::{.example title="?"}
$A_1$ corresponds to the matrix $[-2]$, and thus $\ZZ$ with bilinear form $-2n^2$.
$A_2$ yields $\matt{-2}{1}{1}{-2}$, and $A_3$ yields $\mattt {-2} 1 0 1 {-2} 1 0 1 {-2}$.
:::

:::{.question}
How does one check that a lattice is unimodular?
:::

:::{.definition title="?"}
Let \( (\Lambda, \cdot) \) be a nondegenerate lattice, so \( \Lambda\injects \Lambda_\RR \cong \RR^{a, b} \).
Define 
\[
\Lambda\dual \da \ts{ y\in \Lambda_\RR \st x.y\in \ZZ \, \forall x\in \Lambda}
.\]
:::

:::{.example title="?"}
Consider $\Lambda \da \sqrt{2}\ZZ \injects \RR^1$ with the standard pairing, then $1\over \sqrt{2}\in \Lambda\dual$.
:::

:::{.remark}
One can always find a basis of $\Lambda\dual$ given by $e_i\dual$ where $e_i\dual e_j = \delta_{ij}$.
Since $e_i\dual M e_j = \delta_{ij}$ for $M$ the Gram matrix of a form, one finds that $e_i\dual$ is the $i$th row of $M\inv$.
Why: letting $N$ be the matrix with rows $e_i\dual$, one has $NM = I$.
:::

:::{.proposition title="?"}
$\Lambda$ is unimodular iff \( \Lambda\dual = \Lambda \).
:::

:::{.proof title="?"}
Note $x^2\in \ZZ$ by definition, so $\Lambda \subseteq \Lambda\dual$.
If $v\in \Lambda\dual\sm \Lambda$, then one can show that the minimal $n$ such that $nv\in \Lambda$ yields a primitive element of $\Lambda$.
Since $Nv.w \in n\ZZ$ for all $w$, so can't pair to 1.
:::

:::{.remark}
So $\Lambda\dual \da \bigoplus \ZZ e_i\dual \subseteq \Lambda \implies e_i\dual \in \Lambda \implies M\inv \in \GL_n(\ZZ)$, and applying the same argument to duals yields $\det M = \pm 1$.
In general, $\det M = \size( \Lambda\dual / \Lambda)^2$ is the covolume.
So 

- $\vol(\RR^n / \Lambda) = \det M$
- $\vol(\RR^n / \Lambda\dual ) = \det M\inv$, which is the Gram matrix of \( \Lambda\dual \).
- $\size(\Lambda\dual / \Lambda)^2 = \covol( \Lambda)^2/ \covol( \Lambda\dual)^2 = \det(M)^2$.

:::


# Tuesday, March 14

:::{.remark}
Today: Hirzebruch-Riemann-Roch and Chern classes.
Let $E\to X$ be a smooth $\CC\dash$vector bundle, then $\exists f: Y\to X$ such that $f^* E$ splits (as a smooth $\CC\dash$vector bundle) into a direct sum of line bundles, i.e. $f^* E\iso \bigoplus _{i\leq r} L_i$ where $r\da \rank E$.
One can ensure that $f^*: H^*(X; \ZZ)\injects H^*(Y; \ZZ)$ is injective.

This allows us to build $c_k(E)$ and thus $c_k(E)$ from the Chern roots $x_i \da c_1(L_i)$ of $E$.
Set $c_k(f^* E) \da \sigma_k(x_1,\cdots, x_r)$, the $k$th elementary symmetric polynomial in the $x_i$.
Note that $\prod_{i\leq r}(t + x_i) = \sum_{i\leq r} s_{r-i} x^i$ where e.g. 

- $s_1(x_1,\cdots, x_r) = \sum x_i$ 
- $s_2(x_1,\cdots, x_r) = \sum_{i < j} x_i x_j$
- $s_r(x_1,\cdots, x_r) = \prod x_i$

Define 
\[
c(E, t) \da \prod_{i\leq r} (t+x_i),\qquad c(E) \da c(E, 1) = \sum c_i
\]
where $c_i = H^{2i}(Y; \ZZ)$, and set $f^*(c_k E) \da c_k (f^* E)$; this uniquely defines $c_k(E)$.
:::

:::{.remark}
Note on proving the splitting principle: for $A\injects B\surjects C$ smooth vector bundles, putting a Hermitian metric on $B$ yields $A^\perp$ in $B$ and thus a (smooth) splitting.
Set $Y\da \ts{x\in X\st V_1 \subseteq V_2 \subseteq \cdots \subseteq V_r = E_x,\, \dim_\CC V_i = i}$, where $f: Y\to X$ by forgetting the flag.
Then $\dim Y = \dim X + \dim \Fl(\CC^r)$, then $f^* E$ admits a filtration $F^i$ where $F^1$ is a line bundle.
This yields SESs $F^{i-1} \injects F_i \surjects L_r$ which split.
:::

:::{.remark}
Define the total Chern character as $c(E) \da\sum_{i\leq r} e^{x_i}$.
Note that $\CC[t_1,\cdots, t_r]^{S_r} = \CC[s_1, \cdots, s_r]$, and 
\[
\sum_{i\leq r} \qty{\sum_{k\geq 0} { x_i^k \over k!} } 
&= r + (x_1+\cdots + x_r) + \qty{{x_1^2\over 2} + \cdots + {x_r^2\over 2}} + \cdots \\
&= r + c_1 + \qty{{c_1^2\over 2} - c_2} + \cdots
,\]
noting that e.g. $c_1^2 = \sum_i x_i^2 + 2 \sum_{i < j} x_i x_j$.
Define the total Todd class as 
\[
\Todd(E) \da \prod_i {1\over 1-e^{-x_i}} = 1 + {c_1\over 2} + {c_1^2 + c_2 \over 12} + {c_1c_2 \over 24}
.\]
Note this is holomorphic at each $x_i$ by L'Hopital, and moreover symmetric, and each term is a generating function for Bernoulli numbers.
:::

:::{.remark}
Recall that RR says that for a holomorphic line bundle of $L$, one can compute $\chi(L)$ in terms of $\deg L = \int c_1(L)$, a purely topological invariant.
The following theorem generalizes this:
:::

:::{.theorem title="Hirzebruch-Riemann-Roch"}
Let $E\to X$ be a holomorphic vector bundle over a compact complex manifold.
Defining $\chi(E) \da \sum (-1)^i h^0(X; E)$, 
\[
\chi(E) = \int_X \mathrm{Chern}(E) \Todd(\T_X )
\]
where the multiplication is in $H^*(X;\ZZ)$, noting that both classes are supported in $H^\even(X;\ZZ)$ and the integration means taking the top degree part in $H^{2\dim_\CC X}(X; \ZZ) \cong \ZZ$.
:::

:::{.remark}
Recovering RR: for $L\to X$ a line bundle on a curve, one has $\mathrm{Chern}(L) = e^{c_1(L)} = 1 + c_1(L)$ and $\Todd(T) = {c_1(T) \over 1 - e^{-c_1(T)}} = 1 + {c_1(T)\over 2}$.
Thus 
\[
\chi(L) = \int_X (1 + c_1(L) )\qty{1 + {c_1(T)\over 2}} = \int_X c_1(L) + {c_1(T)\over 2} = \deg L + {1\over 2}\int_X c_1(T)
.\]
Note that $c_1(T)$ is the fundamental class of the zeros of some section of $T$, i.e. the number of zeros of a vector field, which by Chern-Gauss-Bonnet yields $\int_X c_1(T) = \chi_\Top(X)$.
Thus 
\[
\chi(L) = \deg L + {1\over 2}\chi_\Top(X)
.\]
For a curve, $\chi_\Top(X) = 2-2g$, so $\chi(L) = \deg L + (1-g)$.
:::

:::{.remark}
Let $E\to S$ now be a line bundle over a surface, then $\chi(L) = h^0(L) - h^1(L) + h^2(L)$ since $L$ is a coherent sheaf and $\dim X = 2$.
HRR yields 
\[
\chi(L) = \int_S \qty{1 + c_1(L) + {c_2(L)\over 2!} }\qty{1 + {c_1(T)\over 2} + { c_1(T)^2 + c_2(T) \over 12}}
.\]
First consider the special case $L = \OO_S$ so $c_1(L) = 0$ and $\chi(\OO_S) = \int c_1(\T_S)^2 + c_2(\T_S)$.
By the splitting principle, if $\T_S = L_1 \oplus L_2$ then $\det \T_S = L_1 \tensor L_2$, so 
\[
c_1(\T_S) = c_1(\det \T_S) = c_1(L_1 \tensor L_2) = c_1(L_1) + c_1(L_2) = x_1 + x_2
.\]
Note also that $c_1(\det \T_S) = c_1(-K_S\dual) = -c_1(K_S)$ and so $c_1(\T_S) = K_S^2$.

For the second term, note that the top Chern class of $E$ is always the fundamental class of $V(s)$ for $s$ a generic smooth section of $E$.
In particular, $\int_S c_2(\T_S) = \chi_\Top(S)$ is the number of zeros of a smooth vector field.
This yields **Noether's formula**
\[
\chi(\OO_S) = {1\over 12}\qty{K_S^2 + \chi_\Top(S)}
.\]
:::

:::{.remark}
Let $X = \PP^2$, so $K = \OO(-3)$ and $\chi_\Top(X) = 3$, so $K^2 = (-3H)^2 = 9H^2 = 9$ so 
\[
\chi(\OO_{\PP^2}) = {1\over 12}\qty{ 9 + 3} = 1
.\]
Since $h^0(\OO) = 1$ and $h^1(\OO) = {1\over 2}\beta_1 = 0$, this yields $h^2(\OO) = 0$.
:::

:::{.remark}
RR for surfaces: 
\[
\chi(S, L) = \chi(\OO_S) + {1\over 2}(c_1(\T_S) c_1(L)) + {1\over 2}c_1(L))^2
.\]
Reworking this, note $c_1(\T_S) = -c_1(K_S)$ and thus 
\[
\chi(S, L) = \chi(\OO_S) + {1\over 2}\qty{L^2 - L\cdot K_S}
.\]
:::

:::{.remark}
Computing the Hodge diamond of a K3: recall $h^1(X) = 0$ and $K_X = \OO_X$.

- $H^0: 1$.
- $H^1: (0, 0)$. 
- $H^2: (1, N, 1)$ by Serre duality for some $N$.
- $H^3: (0, 0)$ by Poincare duality.
- $H^4: 1$ by Poincare duality.

Computing $N$: $\chi(\OO) = {1\over 12}(K^2 + \chi(X))$ where $\chi(\OO) = 1-0+1 = 2$ and $K^2 = 0$, this yields $\chi(X) = 24$ and $N = 22$.
:::

# Thursday, March 16

:::{.definition title="Linear systems"}
For $X$ smooth projective, $L\in \Pic(X)$, $V \subseteq H^0(L)$, define $\PP V$ to be a linear system (a collection of linearly equivalent divisors) and $\abs{L} \da \PP H^0(L)$ to be a complete linear system.
If $s\in H^0(L)\smz$, then $V(s)\in \Div(X)$ and $\OO(V(s)) = L$ (noting that all sections are linearly equivalent).
Here we projectivize since $V( \lambda s) = V(s)$.

:::

:::{.example title="?"}
Let $X = \PP^1$ and $L = \OO(1)$, then 
\[
H^0(L) = \ts{ f\in k[x,y] \st f \text{ homogenous },\, \deg f = n}
.\]
As divisors, 
\[
\PP H^0(\OO(1)) = \ts{\sum a_i p_i \st a_i > 0,\, \sum a_i = n}
,\]
corresponding to the zeros and multiplicities of $f$.
:::

:::{.example title="?"}
Let $E = \CC / \Lambda$ be elliptic and $L = \OO(D)$ for $D = 3[0]$.
Then $\abs{L} = \ts{ [p] + [q] + [r] \st p+q+r =0 \mod \Lambda }$.
Note that $\abs{L} \cong \PP^2$ since $r$ is determined by $p, q$.
:::

:::{.example title="?"}
Let $C$ be a curve with $g\geq 2$ and $L = K_C = \Omega^1_C$.
Then by RR $h^0(K_C) = g$ and $\abs{K_C} \cong \PP^{g-1}$ is called the **canonical linear system**.
:::

:::{.definition title="?"}
Let $V \leq H^0(L)$ be a subspace and $\ts{s_0, \cdots, s_k}$ be a basis.
Then there is a map 
\[
\phi_V: X &\rational \PP^k \\
x &\mapsto [s_0(x):\cdots : s_k(x)]
.\]
Defining the **base locus** as $\Bs(L) \da \ts{x\in X\st s_i(x) = 0 \, \forall i}$, note $\phi_{\PP V}$ is not well-defined for any $x\in \Bs(L)$. 
:::

:::{.proposition title="?"}
For $C$ a curve of $g\geq 2$, $\Bs(K_X) = \emptyset$.
:::

:::{.proof title="?"}
STS $\forall p\in C$ there is some $s\in H^0(K_C)$ with $s(p) \neq 0$.
Letting $s_p$ be a section vanishing only at $p$, multiplication by $s_p$ induces $H^0(K_C(-p)) \injects H^0(K_C)$ with image the sections of $K_C$ vanishing at $p$.
Thus STS this is not surjective by showing $h^0(K_C) > h^0(K_C(-p))$.
Apply RR and Serre duality: 
\[
h^0(K_C(-p)) - h^1(K_C(-p))
&= h^0(K_C(-p)) - h^0(\OO(p))\\
&= \deg K_C(-p) + (1-g)\\
&= (2g-3) + (1-g)\\
&= g-2
.\]
Note that if $s\in H^0(\OO(p))$ then $V(s) = [q]$ must be a single point, but if $p\neq q$ then $[p]-[q] = 0$ and $\exists f: C\to \PP^1$ with $f\inv(0) = p$ and $f\inv(\infty) = q$ with $\deg f = 1$, forcing $C \cong \PP^1$ and contradicting $g \geq 2$.
So $p=q$, and $h^0(\OO(p)) = 1$, and thus 
\[
h^0(K_C(-p)) - 1 = g-2 \implies h^0(K_C(-p)) = g - 1 < g = h^0(K_C)
.\]
:::

:::{.exercise title="?"}
Show that if $C$ is not hyperelliptic ($\exists f: C\to \PP^1$ 2-to-1) then $\forall p,q\in C$ one can find $s \in H^0(K_C)$ with $s(p) = 0, s(q)\neq 0$, so they are separated by linear forms on $\PP^{g-1}$.
This yields an actual morphism $\phi_{\abs{K_C}}: C\to \PP^{g-1}$ where $p, q$ are not mapped to the same point.
This is the canonical embedding of a curve, which only works when $g\geq 3$ and $C$ is non-hyperelliptic.
If $g = 2$ or $C$ is hyperelliptic, $3K_C$ yields an (tricanonical) embedding.
:::

:::{.example title="?"}
If $C$ is not hyperelliptic and $g = 3$, then $C\embeds \PP^2$ by the canonical embedding.
This yields an element in $\Div(\PP^2)$, which is a smooth quartic.
:::

:::{.proposition title="Canonical of $\PP^n$."}
\[
K_{\PP^n} = \OO(-n-1)
.\]
:::

:::{.proof title="?"}
Take coordinates $[x_0:\cdots : x_n]$ and take $\omega \da {\dx_1\over x_1} \wedge \cdots \wedge {\dx_n\over x_n}$, noting that this omits $x_0$.
This has poles along each $V(x_i)$ for $i\neq 0$ and in fact a pole at $x_0$, since these are $n+1$ distinct spaces.
E.g. for $n=1$, since $x_1 = x_0\inv$ we have ${ d(x\inv)\over x\inv } = - {\dx_1\over x_1}$.
:::

:::{.proposition title="Adjunction"}
If $X$ is smooth and $D\in \Div(X)$ then
\[
K_D = \ro{\qty{K_X \tensor \OO(D)}}{D}
.\]
:::

:::{.proof title="?"}
Omitted, take residues.
:::

:::{.remark}
Applying this to the previous curve situation: note $\deg K_C = 2g-2 = 4$, which counts $\phi_{\abs{K_C}}(C) \intersect V(x_0)$ and yields a quartic.
:::

:::{.proposition title="?"}
For $C$ a degree $d$ curve in $\PP^2$,
\[
g = {d-1\choose 2}
.\]
:::

:::{.proof title="?"}
Take degrees in the adjunction formula and apply Bezout's theorem:
\[
K_{C} = K_{\PP^2} + C \mid_C \implies
2g(C) - 2 = = \deg(-3H + dH)\mid_C = d (d-3)
.\]
More generally if $C \subseteq S$ a curve in a surface, $\deg L \mid_C = c_1(L) . [C]$ is an intersection number.
Expanding this yields $g = {d^2 - 3d +2 \over 2} = {d-1\choose 2}$.
:::

:::{.definition title="Kodaira dimension"}
\[
\kappa(X) \da \max_{n > 0} \ts{\dim \im \phi_{nK_X} }
\]
where $\dim \emptyset \da -\infty$ and $\kappa(X) \in \ts{-\infty,0,\cdots, \dim X}$.
:::

:::{.remark}
Note that since $3K_C$ yields an embedding for a curve with $g\geq 2$, $\kappa(C) = 1$.
Also note that $\kappa(X) = -\infty \iff h^0(nK_X) = 0$ for all $n$.
For curves:

| $g(C)$ | $\kappa(C)$ | 
|--------|-------------|
| $0$    | $-\infty$   |
| $1$    | $0$   |
| $2$    | $1$   |
| $3$    | $1$   |
| $4$    | $\vdots$   |

Here we've used that $K_{\PP^1} = \OO(-2)$ has no sections and $K_E = \OO_E$ is trivial.
Fanos are $\kappa = -\infty$ and general type ($\kappa(X) = \dim X$) are $g\geq 2$.
:::

:::{.remark}
For smooth projective surfaces: $\kappa(S) \in \ts{ -\infty,0,1,2 }$.
See Beauville for the Enriques-Kodaira classification due to the Italian school: 

- $\kappa(S) = -\infty$: ruled and rational.
- $\kappa(S) = 0$: K3, Abelian, Enriques, Bi-elliptic.
- $\kappa(S) = 1$: Elliptic. 
- $\kappa(S) = 2$: General type. 

:::

:::{.definition title="?"}
$S$ is **ruled** if $\exists \pi: S\to C$ with generic fiber $\cong \PP^1$: 

<!-- Xournal file: /home/zack/SparkleShare/github.com/Notes/Class_Notes/2023/Spring/k3surfaces/sections/figures/2023-03-16_10-49.xoj -->

![](figures/2023-03-16_10-50-54.png)

$S$ is **rational** if $S\birational \PP^2$.
:::