\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}}}

% Modifiers
\newcommand{\fn}[0]{{\mathsf{fn}}}
\newcommand{\smooth}[0]{{\mathsf{sm}}}
\newcommand{\Aff}[0]{{\mathsf{Aff}}}
\newcommand{\Ab}[0]{{\mathsf{Ab}}}
\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{\Fin}[0]{{\mathsf{Fin}}}
\newcommand{\Free}[0]{\mathsf{Free}}
\newcommand{\Perf}[0]{\mathsf{Perf}}
\newcommand{\Unital}[0]{\mathsf{Unital}}
\newcommand{\eff}[0]{\mathsf{eff}}
\newcommand{\derivedcat}[1]{\mathbf{D} {#1} }
\newcommand{\Cx}[0]{\mathsf{Ch}}
\newcommand{\Stable}[0]{\mathsf{Stab}}
\newcommand{\ChainCx}[1]{\mathsf{Ch}\qty{ #1 } }
\newcommand{\Vect}[0]{{ \mathsf{Vect} }}


% Rings
\newcommand{\Fieldsover}[1]{{ \mathsf{Fields}_{#1} }}
\newcommand{\Field}[0]{\mathsf{Field}}
\newcommand{\Ring}[0]{\mathsf{Ring}}
\newcommand{\CRing}[0]{\mathsf{CRing}}
\newcommand{\DedekindDomain}[0]{\mathsf{DedekindDom}}

% Modules
\newcommand{\modr}[0]{{\mathsf{Mod}\dash\mathsf{R}}}
\newcommand{\modsleft}[1]{\mathsf{#1}\dash\mathsf{Mod}}
\newcommand{\modsright}[1]{\mathsf{Mod}\dash\mathsf{#1}}
\newcommand{\mods}[1]{{\mathsf{#1}\dash\mathsf{Mod}}}
\newcommand{\bimod}[2]{(\mathsf{#1}, \mathsf{#2})\dash\mathsf{biMod}}
\newcommand{\Mod}[0]{{\mathsf{Mod}}}

\newcommand{\zmod}[0]{{\mathbb{Z}\dash\mathsf{Mod}}}
\newcommand{\rmod}[0]{{\mathsf{R}\dash\mathsf{Mod}}}
\newcommand{\kmod}[0]{{\mathsf{k}\dash\mathsf{Mod}}}
\newcommand{\gmod}[0]{{\mathsf{G}\dash\mathsf{Mod}}}
\newcommand{\grMod}[0]{{\mathsf{grMod}}}
\newcommand{\gr}[0]{{\mathsf{gr}\,}}
\newcommand{\mmod}[0]{{\dash\mathsf{Mod}}}
\newcommand{\Rep}[0]{{\mathsf{Rep}}}

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


% Algebras
\newcommand{\alg}[0]{\mathsf{Alg}}
\newcommand{\Alg}[0]{{\mathsf{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\mathsf{Alg}}}
\newcommand{\kalg}[0]{{\mathsf{Alg}_{/k} }}
\newcommand{\kAlg}[0]{{\mathsf{Alg}_{/k} }}
\newcommand{\kSch}[0]{{\mathsf{Sch}_{/k}}}
\newcommand{\rAlg}[0]{{\mathsf{Alg}_{/R}}}
\newcommand{\ralg}[0]{{\mathsf{Alg}_{/R}}}
\newcommand{\CCalg}[0]{{\mathsf{Alg}_{\mathbb{C}} }}
\newcommand{\cdga}[0]{{\mathsf{cdga} }}

% Schemes and Sheaves
\newcommand{\Ringedspace}[0]{\mathsf{RingSp}}
\newcommand{\DCoh}[0]{{\mathsf{DCoh}}}
\newcommand{\QCoh}[0]{{\mathsf{QCoh}}}
\newcommand{\Cov}[0]{{\mathsf{Cov}}}
\newcommand{\sch}[0]{{\mathsf{Sch}}}
\newcommand{\presh}[0]{ \underset{ \mathsf{pre} } {\mathsf{Sh} }}
\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{Stack}}}
\newcommand{\Vark}[0]{{\mathsf{Var}_{/k} }}
\newcommand{\Var}[0]{{\mathsf{Var}}}

% Homotopy
\newcommand{\CW}[0]{{\mathsf{CW}}}
\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{\Spectra}[0]{{\mathsf{Sp}}}
\newcommand{\Sp}[0]{{\mathsf{Sp}}}
\newcommand{\Top}[0]{{\mathsf{Top}}}

% Infty Cats
\newcommand{\Finset}[0]{{\mathsf{FinSet}}}
\newcommand{\Cat}[0]{\mathsf{Cat}}
\newcommand{\Grpd}[0]{{\mathsf{Grpd}}}
\newcommand{\inftyGrpd}[0]{{\infty\dash\mathsf{Grpd}}}
\newcommand{\Fun}[0]{{\mathsf{Fun}}}
\newcommand{\Kan}[0]{{\mathsf{Kan}}}
\newcommand{\Monoid}[0]{\mathsf{Mon}}

% 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}}}

% Unsorted
\newcommand{\FGL}[0]{\mathsf{FGL}}
\newcommand{\FI}[0]{{\mathsf{FI}}}
\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{\dgens}[1]{\gens{\gens{ #1 }}}
\newcommand{\ctz}[1]{\, {\converges{{#1} \to\infty}\longrightarrow 0} \, }
\newcommand{\conj}[1]{{\overline{{#1}}}}
\newcommand{\complex}[1]{{#1}_{*}}

\newcommand{\floor}[1]{{\left\lfloor #1 \right\rfloor}}
\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{\gens}[1]{\left\langle{#1}\right\rangle}
\newcommand{\globsec}[1]{{\mathsf{\Gamma}\qty{#1} }}

\newcommand{\equalsbecause}[1]{\overset{#1}{=}}
\newcommand{\congbecause}[1]{\overset{#1}{\cong}}
\newcommand{\congas}[1]{\underset{#1}{\cong}}
\newcommand{\isoas}[1]{\underset{#1}{\cong}}
\newcommand{\addbase}[1]{{ {}_{\pt} }}
\newcommand{\ideal}[1]{\mathcal{#1}}
\newcommand{\adjoin}[1]{ { \left[ {#1} \right] } }
\newcommand{\powerseries}[1]{ { \left[ {#1} \right] } }
\newcommand{\htyclass}[1]{ { \left[ {#1} \right] } }
\newcommand{\formalpowerseries}[1]{ { \left[\left[ {#1} \right] \right] } }
\newcommand{\formalseries}[1]{ { \left[\left[ {#1} \right] \right] } }
\newcommand{\qtext}[1]{{\quad \operatorname{#1} \quad}}
\newcommand{\abs}[1]{{\left\lvert {#1} \right\rvert}}
\newcommand{\stack}[1]{\mathclap{\substack{ #1 }}} 

\newcommand\TAF{ \mathrm{TAF} }
\newcommand\TMF{ \mathrm{TMF} }

\newcommand{\BO}[0]{{\operatorname{BO}}}
\newcommand{\BP}[0]{{\operatorname{BP}}}
\newcommand{\BU}[0]{{\operatorname{BU}}}

\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{\hocofib}[0]{{\operatorname{hocofib}}}
\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\Kahler[0]{\operatorname{Kähler}}
\newcommand\Prinbun{\mathrm{Bun}^{\mathrm{prin}}}
\newcommand\aug{\fboxsep=-\fboxrule\!\!\!\fbox{\strut}\!\!\!}
\newcommand\compact[0]{\operatorname{cpt}}
\newcommand\hyp[0]{{\operatorname{hyp}}}
\newcommand\jan{\operatorname{Jan}}
\newcommand\kbar{ { \bar{k} } }
\newcommand\ksep{ { k\sep } }
\newcommand\mypound{\scalebox{0.8}{\raisebox{0.4ex}{\#}}}
\newcommand\rref{\operatorname{RREF}}
\newcommand{\Tatesymbol}{\operatorname{TateSymb}}
\newcommand\taf{ \mathrm{taf} }
\newcommand\tilt[0]{ { \flat } }
\newcommand\tmf{ \mathrm{tmf} }
\newcommand\vecc[2]{\textcolor{#1}{\textbf{#2}}}
\newcommand{\Af}[0]{{\mathbb{A}}}
\newcommand{\Ag}[0]{{\mathcal{A}_g}}
\newcommand{\Ahat}[0]{\hat{ \operatorname{A}}_g }
\newcommand{\Ann}[0]{\operatorname{Ann}}
\newcommand{\Arg}[0]{\operatorname{Arg}}
\newcommand{\Art}[0]{\operatorname{Art}}
\newcommand{\BB}[0]{{\mathbb{B}}}
\newcommand{\Betti}[0]{{\operatorname{Betti}}}
\newcommand{\CC}[0]{{\mathbb{C}}}
\newcommand{\CF}[0]{\operatorname{CF}}
\newcommand{\CH}[0]{{\operatorname{CH}}}
\newcommand{\CP}[0]{{\mathbb{CP}}}
\newcommand{\CY}{{ \text{CY} }}
\newcommand{\Cl}[0]{{ \operatorname{Cl}} }
\newcommand{\Crit}[0]{\operatorname{Crit}}
\newcommand{\DD}[0]{{\mathbb{D}}}
\newcommand{\DSt}[0]{{ \operatorname{DSt}}}
\newcommand{\Def}{\operatorname{Def} }
\newcommand{\Diffeo}[0]{{\operatorname{Diffeo}}}
\newcommand{\Diff}[0]{\operatorname{Diff}}
\newcommand{\Disjoint}[0]{\displaystyle\coprod}
\newcommand{\Disk}[0]{{\operatorname{Disk}}}
\newcommand{\Dist}[0]{\operatorname{Dist}}
\newcommand{\Div}[0]{\operatorname{Div}}
\newcommand{\EE}[0]{{\mathbb{E}}}
\newcommand{\EKL}[0]{{\mathrm{EKL}}}
\newcommand{\EO}[0]{{\operatorname{EO}}}
\newcommand{\Emb}[0]{{\operatorname{Emb}}}
\newcommand{\minor}[0]{{\operatorname{minor}}}
\newcommand{\Et}{\text{Ét}}
\newcommand{\trace}{\operatorname{tr}}
\newcommand{\Extpower}[0]{\bigwedge\nolimits}
\newcommand{\Extalgebra}[0]{\bigwedge\nolimits}
\newcommand{\Extalg}[0]{\Extalgebra}
\newcommand{\Extprod}[0]{\bigwedge\nolimits}
\newcommand{\Ext}{\operatorname{Ext} }
\newcommand{\FFbar}[0]{{ \bar{ \mathbb{F}} }}
\newcommand{\FFpn}[0]{{\mathbb{F}_{p^n}}}
\newcommand{\FFp}[0]{{\mathbb{F}_p}}
\newcommand{\FF}[0]{{\mathbb{F}}}
\newcommand{\FS}{{ \text{FS} }}
\newcommand{\Fil}[0]{{\operatorname{Fil}}}
\newcommand{\Flat}[0]{{\operatorname{Flat}}}
\newcommand{\Fpbar}[0]{\bar{\mathbb{F}_p}}
\newcommand{\Fpn}[0]{{\mathbb{F}_{p^n} }}
\newcommand{\Fppf}[0]{\mathrm{\operatorname{Fppf}}}
\newcommand{\Fp}[0]{{\mathbb{F}_p}}
\newcommand{\Frac}[0]{\operatorname{Frac}}
\newcommand{\GF}[0]{{\mathbb{GF}}}
\newcommand{\GG}[0]{{\mathbb{G}}}
\newcommand{\GL}[0]{\operatorname{GL}}
\newcommand{\GW}[0]{{\operatorname{GW}}}
\newcommand{\Gal}[0]{{ \mathsf{Gal}} }
\newcommand{\Gl}[0]{\operatorname{GL}}
\newcommand{\Gr}[0]{{\operatorname{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\mathbb{Z}}}
\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{\Inn}[0]{{\operatorname{Inn}}}
\newcommand{\Intersect}[0]{\displaystyle\bigcap}
\newcommand{\JCF}[0]{\mathrm{JCF}}
\newcommand{\Jac}[0]{\operatorname{Jac}}
\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{\Lie}[0]{\operatorname{Lie}}
\newcommand{\Log}[0]{\operatorname{Log}}
\newcommand{\MCG}[0]{{\operatorname{MCG}}}
\newcommand{\MM}[0]{{\mathcal{M}}}
\newcommand{\MW}[0]{\operatorname{MW}}
\newcommand{\Mat}[0]{\operatorname{Mat}}
\newcommand{\Mor}[0]{\operatorname{Mor}}
\newcommand{\NN}[0]{{\mathbb{N}}}
\newcommand{\NS}[0]{{\operatorname{NS}}}
\newcommand{\OO}[0]{{\mathcal{O}}}
\newcommand{\OP}[0]{{\mathbb{OP}}}
\newcommand{\OX}[0]{{\mathcal{O}_X}}
\newcommand{\Obs}{\operatorname{Obs} }
\newcommand{\Ob}[0]{{\operatorname{Ob}}}
\newcommand{\Op}[0]{{\operatorname{Op}}}
\newcommand{\Orb}[0]{{\mathrm{Orb}}}
\newcommand{\Orth}[0]{{\operatorname{O}}}
\newcommand{\Out}[0]{{\operatorname{Out}}}
\newcommand{\PD}[0]{\mathrm{PD}}
\newcommand{\PGL}[0]{\operatorname{PGL}}
\newcommand{\PP}[0]{{\mathbb{P}}}
\newcommand{\PSL}[0]{{\operatorname{PSL}}}
\newcommand{\Pic}[0]{{\operatorname{Pic}}}
\newcommand{\Pin}[0]{{\operatorname{Pin}}}
\newcommand{\Places}[0]{{\operatorname{Places}}}
\newcommand{\Presh}[0]{\presh}
\newcommand{\QHB}[0]{\operatorname{QHB}}
\newcommand{\QHS}[0]{\operatorname{QHS}}
\newcommand{\QQpadic}[0]{{ \QQ_p }}
\newcommand{\QQ}[0]{{\mathbb{Q}}}
\newcommand{\Quot}[0]{\operatorname{Quot}}
\newcommand{\RP}[0]{{\mathbb{RP}}}
\newcommand{\RR}[0]{{\mathbb{R}}}
\newcommand{\Rat}[0]{\operatorname{Rat}}
\newcommand{\Rees}[0]{{\operatorname{Rees}}}
\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{\SO}[0]{{\operatorname{SO}}}
\newcommand{\SP}[0]{{\operatorname{SP}}}
\newcommand{\SU}[0]{{\operatorname{SU}}}
\newcommand{\Sgn}[0]{{ \Sigma_{g, n} }}
\newcommand{\Sing}[0]{{\operatorname{Sing}}}
\newcommand{\Sm}[0]{{\operatorname{Sm}}}
\newcommand{\SpSp}[0]{{\mathbb{S}}}
\newcommand{\Spec}[0]{\operatorname{Spec}}
\newcommand{\Spf}[0]{\operatorname{Spf}}
\newcommand{\Spinc}[0]{\mathrm{Spin}^{{c} }}
\newcommand{\Spin}[0]{{\operatorname{Spin}}}
\newcommand{\Sq}[0]{\operatorname{Sq}}
\newcommand{\Stab}[0]{{\operatorname{Stab}}}
\newcommand{\Sum}[0]{ \displaystyle\sum }
\newcommand{\Syl}[0]{{\operatorname{Syl}}}
\newcommand{\Sym}[0]{\operatorname{Sym}}
\newcommand{\Tensor}[0]{\bigotimes}
\newcommand{\Tor}[0]{\operatorname{Tor}}
\newcommand{\Tr}[0]{\operatorname{Tr}}
\newcommand{\Ug}[0]{{\mathcal{U}(\mathfrak{g}) }}
\newcommand{\Uh}[0]{{\mathcal{U}(\mathfrak{h}) }}
\newcommand{\Union}[0]{\displaystyle\bigcup}
\newcommand{\U}[0]{{\operatorname{U}}}
\newcommand{\Wedge}[0]{\bigwedge}
\newcommand{\Wittvectors}[0]{{\mathbb{W}}}
\newcommand{\ZHB}[0]{\operatorname{ZHB}}
\newcommand{\ZHS}[0]{\mathbb{Z}\operatorname{HS}}
\newcommand{\ZZG}[0]{{\mathbb{Z}G}}
\newcommand{\ZZH}[0]{{\mathbb{Z}H}}
\newcommand{\ZZlocal}[1]{{ \ZZ_{\hat{#1}} }}
\newcommand{\ZZpadic}[0]{{ \ZZ_p }}
\newcommand{\ZZ}[0]{{\mathbb{Z}}}
\newcommand{\Zar}[0]{{\mathrm{Zar}}}
\newcommand{\ZpZ}[0]{\mathbb{Z}/p}
\newcommand{\abuts}[0]{\Rightarrow}
\newcommand{\ab}[0]{{\operatorname{ab}}}
\newcommand{\actsonl}[0]{\curvearrowleft}
\newcommand{\actson}[0]{\curvearrowright}
\newcommand{\adjoint}[0]{\leftrightarrows}
\newcommand{\adj}[0]{\operatorname{adj}}
\newcommand{\ad}[0]{\operatorname{ad}}
\newcommand{\afp}[0]{A_{/\FF_p}}
\newcommand{\annd}[0]{{\operatorname{ and }}}
\newcommand{\ann}[0]{\operatorname{Ann}}
\newcommand{\arccot}[0]{\operatorname{arccot}}
\newcommand{\arccsc}[0]{\operatorname{arccsc}}
\newcommand{\arcsec}[0]{\operatorname{arcsec}}
\newcommand{\aut}[0]{\operatorname{Aut}}
\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{\Bun}{{\mathsf{Bun}}}
\newcommand{\bung}{{\mathsf{Bun}_G}}
\newcommand{\by}[0]{\times}
\newcommand{\candim}[0]{\operatorname{candim}}
\newcommand{\chp}[0]{\operatorname{ch. p}}
\newcommand{\ch}[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{\convolve}[0]{\ast}
\newcommand{\correspond}[1]{\theset{\substack{#1}}}
\newcommand{\covers}[0]{\rightrightarrows}
\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{\ddt}{\tfrac{\dif}{\dif t}}
\newcommand{\ddx}{\tfrac{\dif}{\dif x}}
\newcommand{\dd}[2]{{\frac{\partial #1}{\partial #2}\,}}
\newcommand{\decreasesto}[0]{\searrow}
\newcommand{\definedas}[0]{\coloneqq}
\newcommand{\del}[0]{{\partial}}
\newcommand{\diagonal}[1]{\Delta}
\newcommand{\diag}[0]{\operatorname{diag}}
\newcommand{\diam}[0]{{\operatorname{diam}}}
\newcommand{\diff}[0]{\operatorname{Diff}}
\newcommand{\directlim}[0]{\varinjlim}
\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{\dmu}{\,d\mu}
\newcommand{\dom}[0]{\operatorname{dom}}
\newcommand{\dr}{\,dr}
\newcommand{\ds}{\,ds}
\newcommand{\dtheta}{\,d\theta}
\newcommand{\dt}{\,dt}
\newcommand{\dual}[0]{ {}^{ \vee }}
\newcommand{\du}{\,du}
\newcommand{\dw}{\,dw}
\newcommand{\dxi}{\,d\xi}
\newcommand{\dx}{\,dx}
\newcommand{\dy}{\,dy}
\newcommand{\dzbar}{\,d\bar{z} }
\newcommand{\dzeta}{\,d\zeta}
\newcommand{\dz}{\,dz}
\newcommand{\embeds}[0]{\hookrightarrow}
\newcommand{\eo}[0]{{\operatorname{eo}}}
\newcommand{\eps}[0]{{\varepsilon}}
\newcommand{\essdim}[0]{\operatorname{essdim}}
\newcommand{\et}{\text{ét}}
\newcommand{\eul}[0]{{\operatorname{eul}}}
\newcommand{\evalfrom}[0]{\Big|}
\newcommand{\ext}{\operatorname{Ext} }
\newcommand{\ff}[0]{\operatorname{ff}}
\newcommand{\fppf}[0]{\mathrm{\operatorname{fppf}}}
\newcommand{\fpqc}[0]{\mathrm{\operatorname{fpqc}}}
\newcommand{\fp}[0]{\operatorname{fp}}
\newcommand{\fqr}[0]{{\mathbb{F}_{q^r}}}
\newcommand{\fq}[0]{{\mathbb{F}_{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{\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{\increasesto}[0]{\nearrow}
\newcommand{\inftycat}[0]{{ \underset{\infty}{ \Cat}  }}
\newcommand{\injectivelim}[0]{\varinjlim}
\newcommand{\injects}[0]{\hookrightarrow}
\newcommand{\inner}[2]{{\left\langle {#1},~{#2} \right\rangle}}
\newcommand{\interior}[0]{^\circ}
\newcommand{\intersect}[0]{\cap}
\newcommand{\into}[0]{\to}
\newcommand{\inverselim}[0]{\varprojlim}
\newcommand{\inv}[0]{^{-1}}
\newcommand{\ip}[2]{{\left\langle {#1},~{#2} \right\rangle}}
\newcommand{\isomorphic}{{ \, \mapsvia{\sim}\, }}
\newcommand{\iso}{{ \isomorphic  }}
\newcommand{\kG}[0]{{kG}}
\newcommand{\kfq}[0]{K_{/\mathbb{F}_q}}
\newcommand{\kk}[0]{{\mathbb{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{\kx}[1]{k[x_1, \cdots, x_{#1}]}
\newcommand{\lci}[0]{\mathrm{lci}}
\newcommand{\lcm}[0]{\operatorname{lcm}}
\newcommand{\liealgk}[0]{{ \liealg_{/k} }}
\newcommand{\lieb}[0]{{\mathfrak{b}}}
\newcommand{\lied}[0]{{\mathfrak{d}}}
\newcommand{\lief}[0]{{\mathfrak{f}}}
\newcommand{\liegl}[0]{{\mathfrak{gl}}}
\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{\lier}[0]{{\mathfrak{r}}}
\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{\lk}[0]{\operatorname{lk}}
\newcommand{\loc}[0]{{\mathsf{loc}}}
\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{\mapstovia}[1]{\xmapsto{#1}}
\newcommand{\mapsvia}[1]{\xrightarrow{#1}}
\newcommand{\injectsvia}[1]{\xhookrightarrow{#1}}
\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{\mcp}[0]{{\mathcal{P}}}
\newcommand{\mcs}[0]{{\mathcal{S}}}
\newcommand{\mct}[0]{{\mathcal{T}}}
\newcommand{\mcu}[0]{{\mathcal{U}}}
\newcommand{\mcv}[0]{{\mathcal{V}}}
\newcommand{\mcx}[0]{{\mathcal{X}}}
\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{\mfm}[0]{{\mathfrak{m}}}
\newcommand{\mfn}[0]{{\mathfrak{n}}}
\newcommand{\mfp}[0]{{\mathfrak{p}}}
\newcommand{\mfq}[0]{{\mathfrak{q}}}
\newcommand{\mfr}[0]{{\mathfrak{r}}}
\newcommand{\mfs}[0]{{\mathfrak{s}}}
\newcommand{\mgn}[0]{{ \mathcal{M}_{g, n} }}
\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{\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{\nilrad}[1]{{\sqrt{0_{#1}} }}
\newcommand{\nil}[0]{{\operatorname{nil}}}
\newcommand{\noeth}[0]{\mathrm{Noeth}}
\newcommand{\nonzero}[0]{^{\bullet}}
\newcommand{\normalneq}{\mathrel{\reflectbox{$\trianglerightneq$}}}
\newcommand{\normal}[0]{{~\trianglelefteq~}}
\newcommand{\norm}[1]{{\left\lVert {#1} \right\rVert}}
\newcommand{\notimplies}[0]{\centernot\implies}
\newcommand{\onto}[0]{\twoheadhthtarrow}
\newcommand{\open}[1]{\overset{\circ}{#1}}
\newcommand{\op}[0]{^{\operatorname{op}}}
\newcommand{\ord}[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{\pnorm}[2]{{\left\lVert {#1} \right\rVert}_{#2}}
\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{\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{\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{\slope}[0]{{\mathrm{slope}}}
\newcommand{\smts}[1]{\setminus\theset{#1}}
\newcommand{\smz}[0]{\setminus\theset{0}}
\newcommand{\sm}[0]{\setminus}
\newcommand{\spanof}[0]{{\operatorname{span}}}
\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{\st}[0]{{~\mathrel{\Big|}~}}
\newcommand{\supp}[0]{{\operatorname{supp}}}
\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{\td}[0]{\mathrm{td}}
\newcommand{\tensor}[0]{\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]{\operatorname{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{\txt}[1]{{\operatorname{ {#1} }}}
\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{\wedgeprod}[0]{\vee}
\newcommand{\wt}[0]{{\operatorname{wt}}}
\newcommand{\zar}[0]{{\mathrm{zar}}}
\newcommand{\zbar}{\bar{z} }
\newcommand{\zlnz}[0]{\mathbb{Z}/\ell^n\mathbb{Z}}
\newcommand{\zlz}[0]{\mathbb{Z}/\ell\mathbb{Z}}
\newcommand{\znz}[0]{\mathbb{Z}/n\mathbb{Z}}
\newcommand{\zpz}[0]{\mathbb{Z}/p\mathbb{Z}}

\renewcommand{\AA}[0]{{\mathbb{A}}}
\renewcommand{\SS}[0]{{\mathbb{S}}}
\renewcommand{\bar}[1]{\mkern 1.5mu\overline{\mkern-1.5mu#1\mkern-1.5mu}\mkern 1.5mu}
\renewcommand{\det}{\operatorname{det}}
\renewcommand{\div}[0]{\operatorname{Div}}
\renewcommand{\hat}[1]{\widehat{#1}}
\renewcommand{\labelitemiii}{$\diamondsuit$}
\renewcommand{\labelitemiv}{$\diamondsuit$}
\renewcommand{\mid}[0]{\mathrel{\Big|}}
\renewcommand{\mod}{\pmod}
\renewcommand{\qed}[0]{\hfill\blacksquare}
\renewcommand{\too}[0]{\longrightarrow}
\renewcommand{\vector}[1]{\mathbf{#1}}

\DeclareMathOperator*{\eq}{=}
\DeclareMathOperator*{\hocolim}{hocolim}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\BiHol}{BiHol}
\DeclareMathOperator{\Bl}{Bl}
\DeclareMathOperator{\Br}{Br}
\DeclareMathOperator{\Curv}{Curv}
\DeclareMathOperator{\Deck}{Deck}
\DeclareMathOperator{\Der}{Der}
\DeclareMathOperator{\Endo}{End}
\DeclareMathOperator{\Exists}{\exists}
\DeclareMathOperator{\Forall}{\forall}
\DeclareMathOperator{\Forget}{Forget}
\DeclareMathOperator{\Frame}{Frame}
\DeclareMathOperator{\Frob}{Frob}
\DeclareMathOperator{\Fr}{Fr}
\DeclareMathOperator{\Griff}{Griff}
\DeclareMathOperator{\Hol}{Hol}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Ind}{Ind}
\DeclareMathOperator{\Isom}{Isom}
\DeclareMathOperator{\Ld}{{\mathbb{L} }}
\DeclareMathOperator{\Maps}{Maps}
\DeclareMathOperator{\Map}{Maps}
\DeclareMathOperator{\OFrame}{OFrame}
\DeclareMathOperator{\Prin}{Prin}
\DeclareMathOperator{\Proj}{Proj}
\DeclareMathOperator{\RHom}{\mathbb{R}Hom}
\DeclareMathOperator{\Rad}{Rad}
\DeclareMathOperator{\Rd}{{\mathbb{R} }}
\DeclareMathOperator{\Res}{Res}
\DeclareMathOperator{\Suspendpinf}{{\Sigma_+^\infty}}
\DeclareMathOperator{\Symb}{Symb}
\DeclareMathOperator{\Taut}{Taut}
\DeclareMathOperator{\Th}{Th}
\DeclareMathOperator{\Triv}{Triv}
\DeclareMathOperator{\UFrame}{UFrame}
\DeclareMathOperator{\coInd}{coInd}
\DeclareMathOperator{\codom}{codom}
\DeclareMathOperator{\coh}{coh}
\DeclareMathOperator{\coind}{coInd}
\DeclareMathOperator{\coinfl}{coinf}
\DeclareMathOperator{\colspace}{colspace}
\DeclareMathOperator{\cores}{cores}
\DeclareMathOperator{\hd}{Head}
\DeclareMathOperator{\hilb}{Hilb}
\DeclareMathOperator{\ind}{ind}
\DeclareMathOperator{\infl}{inf}
\DeclareMathOperator{\len}{len}
\DeclareMathOperator{\nullity}{nullspace}
\DeclareMathOperator{\nullspace}{nullspace}
\DeclareMathOperator{\per}{per}
\DeclareMathOperator{\prin}{prin}
\DeclareMathOperator{\projection}{Proj}
\DeclareMathOperator{\proj}{proj}
\DeclareMathOperator{\range}{range}
\DeclareMathOperator{\res}{res}
\DeclareMathOperator{\rowspace}{rowspace}
\DeclareMathOperator{\soc}{Soc}
\DeclareMathOperator{\submfds}{SubMfds}

\newcommand{\Suchthat}[0]{\middle\vert}
\newcommand{\suchthat}[0]{{~\mathrel{\Big|}~}}
\newcommand{\delbar}[0]{{ \bar{\del}}}

\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{\rightderive}[0]{{\mathbf{R}}}

\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\std[0]{\text{std}}
\newcommand\Mero[0]{\operatorname{Mero}}
\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 {d} \mkern-5mu \hodgestar}
\newcommand\covariant[0]{\nabla}
\newcommand\ol[1]{\overline{#1}}
\newcommand\univcover[1]{\overline{#1}}
\newcommand\closure[1]{\overline{#1}}
\newcommand\fps[1]{{\left[\left[ #1 \right]\right]  }}
\newcommand\laurent[1]{{\left(\left( #1 \right)\right)  }}
\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{\fractional}[1]{\theset{#1}}
\newcommand{\fractionalpart}[1]{\theset{#1}}
\newcommand{\integerpart}[1]{\left[ {#1}\right] }
\newcommand{\zadjoin}[1]{\mathbb{Z}\left[ {#1} \right]}
\newcommand{\Wedgepower}[0]{\bigwedge\nolimits}
\def\multichoose#1#2{{\left(\kern-.3em\left(\genfrac{}{}{0pt}{}{#1}{#2}\right)\kern-.3em\right)}}
\newcommand\elts[2]{{ {#1}_1, {#1}_2, \cdots, {#1}_{#2}}}
\newcommand\tselts[2]{{ \theset{ {#1}_1, {#1}_2, \cdots, {#1}_{#2} } }}
\newcommand\fiberproduct[1]{\underset{\scriptscriptstyle {#1} }{\times}}
\newcommand\fiberprod[1]{{ \fiberproduct{#1} }}
\newcommand\fprod[1]{{ \fiberproduct{#1} }}
\newcommand\smallprod[0]{{ \scriptscriptstyle\prod }}
\newcommand\sumpower[1]{{ {}^{ \scriptscriptstyle\oplus^{#1} }  }}
\newcommand\prodpower[1]{{ {}^{ \scriptscriptstyle\times^{#1} }  }}
\newcommand\tensorpower[2]{{ {}^{ \scriptstyle\otimes_{#1}^{#2} }  }}
\newcommand\derivedtensorpower[3]{{ {}^{ \scriptstyle {}_{#1} {\otimes_{#2}^{#3}} }  }}
\newcommand\smashpower[1]{{ {}^{ \scriptscriptstyle\smashprod^{#1} }  }}

\newcommand{\Tot}[0]{{ \operatorname{Tot} }}
\newcommand{\Totsum}[0]{\Tot^{\oplus}}
\newcommand{\Totprod}[0]{\Tot^{\Pi}}
\newcommand{\xpn}[0]{ { x^{p^n} } }
\newcommand{\Qbar}[0]{{ \bar{ \mathbb{Q} } }}

\newcommand{\Loop}[0]{{\Omega}}
\newcommand{\Loopinf}[0]{{\Omega}^\infty}
\newcommand{\Suspend}[0]{{\Sigma}}
\newcommand{\ptd}{{\scriptstyle { * } }}
\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{\qproj}[0]{{\mathrm{qproj}}}
\newcommand{\irr}[0]{{\mathrm{irr}}}
\newcommand{\ft}[0]{{\mathrm{ft}}}
\newcommand{\smol}[0]{{\mathrm{small}}}
\newcommand{\alev}[0]{{\,\mathrm{a.e.}}}
\newcommand{\semisimple}[0]{{\operatorname{ss}}}
\newcommand{\gon}[0]{{\dash\mathrm{gon}}}
\newcommand{\semi}[0]{{\operatorname{semi}}}
\newcommand{\inc}[0]{{\operatorname{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{\Nis}[0]{{\mathrm{Nis}}}
\newcommand{\perf}[0]{{\mathrm{perf}}}

\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{\localize}[1]{ \left[ { \scriptstyle #1\inv } \right]}
\newcommand{\sheafify}[1]{ \left( #1 \right)^{\scriptscriptstyle \mathrm{sh}} }
\newcommand{\complete}[1]{{ {}_{ \hat{#1} } }}
\newcommand{\takecompletion}[1]{{ \overbrace{#1}^{\widehat{\hspace{4em}}}  }}
\newcommand{\twistleft}[2]{{ {}^{#1} #2 }}
\newcommand{\twistright}[2]{{ #2 {}^{#1} }}
\newcommand{\liesover}[1]{{ {}_{/ {#1}} }}
\newcommand{\liesabove}[1]{{ {}_{/ {#1}} }}
\newcommand{\slice}[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{\pcomplete}[0]{{ {}^{ \wedge }_{p} }}


\newcommand{\B}[0]{{\mathsf{B}}}
\newcommand{\T}[0]{{\mathsf{T}}}
\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]{ \mathsf{B}\mkern-3mu \operatorname{GL} }

\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}
\newcommand{\fourcase}[4]{
\begin{cases}{#1} & {#2} \\ {#3} & {#4}\end{cases} 
}
\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{\dcoset}[3]{
    {\textstyle #1}
    \mkern-4mu\scalebox{1.5}{$\diagdown$}\mkern-5mu^{\textstyle #2}
    \mkern-4mu\scalebox{1.5}{$\diagup$}\mkern-5mu{\textstyle #3} }


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

# Kirsten Wickelgren, Talk 1 (Wednesday, July 14)


## Intro

**Abstract**:

> Morel and Voevodsky's $\AA^1$ homotopy theory imports tools from algebraic topology into the study of schemes, or in other words, into the study of the solutions to polynomial equations. 
  This theory produces greater understanding of arithmetic and geometric aspects these solutions. 
  We will introduce some of this theory using as a guide questions such as "How many lines meet 4 lines in 3-space?"  


**References/Background**:

- Some algebraic topology or algebraic geometry, for example as described in Hatcher's and Hartshorne's books
- [Lecture Notes 1](https://www.ias.edu/sites/default/files/L1%20-%20Intro%20to%20A1-homotopy%20theory%20using%20enumerative%20examples%20-%20Jul%2013%2C%202021_1.pdf)
- [Lecture Notes 2](https://www.ias.edu/sites/default/files/L2%20-%20Intro%20to%20A1-homotopy%20using%20enumerative%20examples%20-%20Jul%2015%2C%202021.pdf)
- [Exercises](https://www.ias.edu/sites/default/files/Pauli-Exercises_PCMI.pdf)

:::{.remark}
Enumerative geometry counts algebro-geometric objects over $\CC$.
Example: how many lines meet 4 generic lines in $\PP^3$?
The answer is 2, and our goal is to record this kind of arithmetic information about geometric objects over a field $k$ whose intersections are fixed over $\bar k$ but not necessarily $k$ itself.
Our main tool will be $\AA^1\dash$homotopy theory, due to Morel-Voevodsky.
:::

## Classical Theory

:::{.remark}
First some classical homotopy theory.
The sphere can be defined as 
\[
S^n \da \ts{\elts{x}{n} \st \sum x_i^2 = 1} \homotopic \PP^n(\RR) / \PP^{n-1}(\RR)
,\]
and we have a degree map $[S^n, S^n] \to \ZZ$.
Given any $f\in \Top(S^n, S^n)$ and $p\in S^n$, we can write $f\inv(p) = \ts{\elts{q}{N}}$ and compute $\deg f = \sum_{i=1}^N \deg_{q_i} f$ in terms of **local degrees**.
Letting $V$ be a ball containing $p$, we have $F\inv (V) \contains U \ni q_i$ another ball such that $U \intersect f\inv(p) = q_i$.
Then $U/\bd U \homotopic S^n \homotopic V/\bd V$, so we can define a map
\[
\bar f: {U \over U\smts{q_i}} \to {V \over V\smts{p}}
\]
and define $\deg_{q_i} f \da \deg \bar{f}$.

Letting $\tv{\elts{x}{n}}$ be oriented coordinates about $q_i$ and $\tv{\elts{y}{n}}$ about $p$, then $f = \tv{\elts{f}{n}}: \RR^n\to \RR^n$ and we can consider $J_f \da \det \qty{\del f_i \over \del x_i}$.
There is then a formula
\[
\deg_{q_i}(f) = 
\begin{cases}
+1 & J_f(q_i) > 0 
\\
-1 & J_f(q_i) < 0.
\end{cases}
,\]
and for all $q_i$ we have $\deg f = \# f\inv(\pt)$, i.e. the number of solutions to the polynomial system $\ts{f_1 = f_2 = \cdots f_n = 0}$.
:::

:::{.example title="?"}
If $f\in \CC[x]$ of degree $n$, we can regard $f$ as a function $f: \PP^1(\CC)\to \PP^1(\CC)$ and 
by the fundamental theorem of algebra,
\[
\deg f = n = \# \ts{f=0}
.\]
:::

:::{.remark}
We can similarly count solutions to $f=0$ when $f$ is a section of a rank $n$ vector bundle 

\begin{tikzcd}
V
\ar[d, "p"] 
\\
X 
\ar[u, bend left, dotted, "f"]
\end{tikzcd}
This count can be computed using the Euler class:
\[
e(V) = e(V, f) = \sum_{q_i\in \ts{f=0}} \deg q_i f
.\]
:::

:::{.example title="?"}
Let $X \da \Gr(1, 3)_{/\CC}$, the Grassmannian parameterizing dimension 2 subspaces $W \subseteq \CC^4$, or equivalently lines in $\PP W \subseteq \PP(\CC^4) \cong \PP^3(\CC)$, where $\PP W$ is defined as $W\smts{0}$ where $\lambda w\sim w$ for any $\lambda \in \CC\units$.
The tautological is a rank 2 bundle:

\begin{tikzcd}
S_{[\PP W]} = W
  \ar[r] 
& 
S
  \ar[d] 
\\
& 
\Gr(1, 3)\slice{\CC}
\end{tikzcd}

Let $L_1, \cdots, L_4$ be four lines in $\PP^3$, then $\ts{\text{lines intersecting all } L_i} = \ts{f=0}$ where $f$ is a section (depending on the $L_i$) of  the bundle 

\begin{tikzcd}
\mce\da \qty{\Extalg^2 S^*}^{\oplus 4}\
\ar[d] 
\\
\Gr(1, 3)
\end{tikzcd}

and the Euler number of this bundle counts the number of such intersections.
In particular, $e(\mce)$ is independent of the choice of lines and section, provided they're sufficiently generic (so the $L_i$ do not pairwise intersect).
Using the splitting principle and knowledge of $H^*(\Gr)$, one can compute $e(\mce) = 2$.
:::

## Over arbitrary fields: Grothendieck-Witt

:::{.remark}
We'd like to do this over arbitrary fields $k$.
Lannes and Morel defined degrees for rational maps $f:\PP^1 \to \PP^1$.
Above we only remembered the sign of $J_f$, and here we'll allow remembering more: $\deg f$ will be valued in $\GW(k)$.
We can realize $\GW(k)$ as the group completion of the semiring of nondegenerate symmetric bilinear forms under $\perp, \tensor_k$, where we complete with respect to $\perp$.
It is related to the Witt group by
\[
W(K) \iso {\GW(k) \over \ZZ\gens{q_{ \hyp} } } \da {\GW(k) \over \ZZ\adjoin{\gens{1} + \gens{-1}}}
.\]
There is a **rank map**
\[
\rank: \GW(k) &\to \ZZ \\
q: (V\tensorpower{k}{2} \to K) &\mapsto \dim_k V
,\]
which can be realized by a pullback

\begin{tikzcd}
	{\GW(k)} && {W(k)} & {} \\
	\\
	\ZZ && {\ZZ/2}
	\arrow["\rank", from=1-3, to=3-3]
	\arrow["\rank", from=1-1, to=3-1]
	\arrow[from=3-1, to=3-3]
	\arrow[from=1-1, to=1-3]
	\arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=1-1, to=3-3]
\end{tikzcd}

> [Link to Diagram](https://q.uiver.app/?q=WzAsNSxbMCwwLCJcXEdXKGspIl0sWzMsMF0sWzIsMCwiVyhrKSJdLFswLDIsIlxcWloiXSxbMiwyLCJcXFpaLzIiXSxbMiw0LCJcXHJhbmsiXSxbMCwzLCJcXHJhbmsiXSxbMyw0XSxbMCwyXSxbMCw0LCIiLDEseyJzdHlsZSI6eyJuYW1lIjoiY29ybmVyIn19XV0=)

We can also write $\GW(k)$ in terms of generators $\gens{a}$ where $a\in k\units/ (k\units)^{\times 2}$, where $\gens{a}$ is associated to a bilinear form
\[
\gens{a}: k^{\times 2} &\to k \\
(x, y) &\mapsto axy
,\]
subject to relations

- $\gens{a}\gens{b} = \gens{ab}$
- $\gens{u} + \gens{v} = \gens{uv(u+v)} + \gens{u+v}$
- $\gens{u} + \gens{-u} = \gens{1} + \gens{-1} = q_\hyp$, which is the matrix
\[
q_\hyp = \matt{0}{1}{1}{0}
.\]

:::

:::{.example title="of known $\GW$ groups"}
The **signature** is the difference between the numbers of positive and negative ones in the associated matrix, and one can show
\[
\rank: \GW(\CC) &\iso \ZZ \\ 
(\rank, \sig): \GW(\RR) &\iso \ZZ^{\times 2} \\
(\rank, \disc): \GW(\FF_q) &\iso \ZZ \cross \FF_q\units/ (\FF_q\units)^{\times 2}
\]
where the last is a situation where we can compute étale cohomology.

:::

:::{.example title="Springer's theorem"}
Let $k\in \Field$ be complete and discretely valued with residue field $\kappa$, e.g. $k= \QQpadic$ or $\FF_p\laurent{t}$ with $\kappa = \FF_p$. 
Then if $\ch k \neq 2$,
\[
GW(k) \iso W(k)\sumpower{2}
.\]
:::

:::{.remark}
For $E\slice k$ a finite separable field extension, we'll have transfers
\[
\Tr_{E\slice k}: \GW(E) &\to \GW(k) \\
(V\tensorpower{k}{2} \mapsvia{\beta} E) &\mapsto (V\tensorpower{k}{2} \mapsvia{\beta} E \mapsvia{\Tr_{E_{/k}}} k)
,\]
which coincide with classical transfers for field extensions.
:::

:::{.remark}
For Lannes/Morel's formula, given $\PP^1\slice{k} \mapsvia{f} \PP^1\slice{k}$ and $p\in \PP^1\slice{k}$, we can write $f\inv(p) = \ts{\elts{q}{N}}$ and suppose $J(q_i) = f'(q_i) \neq 0$ for all $i$.
Then we remember the entire Jacobian and set
\[
\deg f \da \sum_{i=1}^N \Tr_{k(q_i)\slice k} \gens{J(q_i)}
,\]
which in fact doesn't depend on $p$.
Morel defines an $\AA^1\dash$degree
\[
\deg^{\AA^1}: [\PP^n/\PP^{n+1}, \PP^n/\PP^{n+1}]^{\AA^1} \to \GW(k)
,\]
where we are taking unstable $\AA^1\dash$homotopy classes of maps.
Noting that an element of $\GW(\RR)$ was determined by its rank and signature, we get a commutative diagram showing that $\deg^{\AA^1}$ is compatible with rank, signature, and the classical algebraic topological degree.
There are other ways of computing this degree besides taking the above sum: Cazanave, [Brazelton-McKean-Pauli](https://arxiv.org/abs/2103.16614) give formulas in terms of Bézoutians.
:::

## Homotopy

:::{.remark}
Recall that 
\[
X\smashprod Y \da { X\times Y \over (X\cross \pt) \union (\pt \cross Y)} && \in \Top_*
,\]
and $S^n \smashprod S^m \mapsvia{\sim} S^{n+m}$ and $(S^1)\smashpower{n} \mapsvia{\sim}  S^n$, so we define 
\[
\Suspend_{S^1} X \da S^1 \smashprod X
.\]
In $\AA^1$ homotopy theory we declare $\AA^1 \homotopic \pt$.
:::

:::{.example title="?"}
We can take a pushout of the following form:

\begin{tikzcd}
	& z && z \\
	z & {\GG_m} && {\AA^1\homotopic \pt} \\
	\\
	{1/z} & {\pt \homotopic \AA^1} && { \therefore \PP^1 \homotopic \Suspend_{S^1} \GG_m}
	\arrow[maps to, from=2-1, to=4-1]
	\arrow[from=2-2, to=4-2]
	\arrow[from=2-2, to=2-4]
	\arrow[maps to, from=1-2, to=1-4]
	\arrow[from=4-2, to=4-4]
	\arrow[from=2-4, to=4-4]
	\arrow["\lrcorner"{anchor=center, pos=0.125, rotate=180}, draw=none, from=4-4, to=2-2]
\end{tikzcd}


> [Link to Diagram](https://q.uiver.app/?q=WzAsOCxbMSwxLCJcXEdHX20iXSxbMSwzLCJcXHB0IFxcaG9tb3RvcGljIFxcQUFeMSJdLFswLDEsInoiXSxbMCwzLCIxL3oiXSxbMywxLCJcXEFBXjFcXGhvbW90b3BpYyBcXHB0Il0sWzEsMCwieiJdLFszLDAsInoiXSxbMywzLCJcXFBQXjEgXFxob21vdG9waWMgXFxTdXNwZW5kX3tTXjF9IFxcR0dfbSJdLFsyLDMsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Im1hcHMgdG8ifX19XSxbMCwxXSxbMCw0XSxbNSw2LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJtYXBzIHRvIn19fV0sWzEsN10sWzQsN10sWzcsMCwiIiwxLHsic3R5bGUiOnsibmFtZSI6ImNvcm5lciJ9fV1d)

Here the formalism of homotopy pushouts allows us to conclude that in an appropriate $\AA^1\dash$homotopy category, 
\[
\Suspend_{S^1} \GG_m \da S^1\smashprod \GG_m \homotopic \PP^1
.\]

:::

:::{.remark title="on motivic spheres"}
We have 
\[
\GG_m \da \spec k[z, 1/z] = \AA^1\smts{\pt}
.\]
By taking pushouts inductively we can realize 
\[
\AA^n\smts{\pt} \homotopic \Suspend_{S^1} (\AA^1\smts{\pt}) \smashprod (\AA^n\smts{\pt}) \homotopic (S^1)\smashpower{n-1} \smashprod (\GG_m)\smashpower{n}
.\]
:::

:::{.remark}
We can use this to write
\[
\PP^n/\PP^{n-1} 
&\homotopic {\PP^n \over \PP^n\smts{\pt} }\\
&\homotopic {\AA^n \over \AA^n\smts{\pt} }\\
&\homotopic {\pt \over \AA^n\smts{\pt} }\\
&\homotopic \Suspend_{S^1} \qty{ \AA^n\smts{\pt} } \\
&\homotopic (S^1)\smashpower{n} \smashprod (\GG_m)\smashpower{n}
.\]
:::

:::{.remark}
Stable homotopy shows that inverting $\Suspend$ is useful, which we also do in the $\AA^1\dash$setting by inverting $\Suspend_{\PP^1} (\wait) \da \PP^1 \smashprod (\wait)$ to obtain a stable homotopy category $\SH(k)$.
:::

:::{.theorem title="Morel, Hopkins-Morel"}
For $k\in \Field$, stably we have
\[
[S^0, S^0] \mapsvia{\sim} [\PP^n/\PP^{n-1}, \PP^n/\PP^{n-1}] \mapsvia{\sim} \GW(k)
.\]
Moreover, there is a ring structure on homotopy classes which yields an isomorphism of rings into **Milnor-Witt $K\dash$theory**,
\[
\bigoplus_{n\in \ZZ} [ S^0, \GG_m\smashpower{n}] \mapsvia{\sim} \KMW_*(k)
.\]

:::

:::{.remark}
$\KMW_*$ is a graded associative algebra with generators $[u] \in \KMW_1(k)$ for $u\in k\units$ and $\eta \in \KMW_{-1}(k)$, with relations

- $[u][1-u] = 0$, the *Steinberg relations*,
- $[ab] = [a] + [b] + \eta[a][b]$,
- $[a]\eta = \eta[a]$,
- $\eta q_\hyp = 0$ for $q_\hyp \da \eta[-1] + 2$

:::

:::{.remark}
There is an isomorphism
\[
\GW(k) &\mapsvia{\sim} \KMW_0(k) \\
\gens{a} &\mapstofrom 1 + \eta[a] \\
q_\hyp \da \gens{1} + \gens{-1} &\mapstofrom 1 + 1 + \eta[-1]
.\]
:::

:::{.remark title="on the proof"}
$[a]$ yields a map
\[
[a]: S^0 = (\spec k)^{\coprod 2} &\to \GG_m \\
p &\mapsto a
,\]
where $p$ is the non-basepoint,
and 
\[
\eta: \AA^2\smts{\pt} &\to \PP^1 \\
(x, y) &\mapsto [x: y]
.\]
On $\CC\dash$points, $\CC^2\smz \homotopic S^3$ maps to $\CP^1\homotopic S^2$ by the Hopf map, but on $\RR\dash$points we get $S^1 \mapsvia{\deg = -2} S^1$ implying that $\eta$ is not nilpotent, which is a new fact.
:::

:::{.remark}
We can define 
\[
X\wedgeprod Y = {X \cross Y \over \pt_X \sim \pt_Y}
\]
and get maps 
\[
X\wedgeprod Y \to X\cross Y\to X\smashprod Y
.\]
which yields
\[
\Suspend(X\cross Y) \mapsvia{\sim } \Suspend X \wedgeprod \Suspend Y \wedgeprod \Suspend(X\smashprod Y)
.\]

:::

:::{.lemma title="?"}
In $\SH(k)$,we get

\begin{tikzcd}
	{\GG_m\prodpower{2} } && {\GG_m} \\
	\\
	{ {\GG_m\smashpower{2}} \wedgeprod {\GG_m\smashpower{2}} } && {\GG_m}
	\arrow["\mult", from=1-1, to=1-3]
	\arrow["{(1, 1, \eta)}", from=3-1, to=3-3]
	\arrow["\simeq", from=1-1, to=3-1]
	\arrow[equal, from=1-3, to=3-3]
\end{tikzcd}

> [Link to Diagram](https://q.uiver.app/?q=WzAsNCxbMCwwLCJcXEdHX21ee1xcdGltZXMgMn0iXSxbMCwyLCJcXEdHX21ee1xcd2VkZ2Vwcm9kIDJ9IFxcd2VkZ2Vwcm9kIFxcR0dfbV57XFxzbWFzaHByb2QgMn0iXSxbMiwyLCJcXEdHX20iXSxbMiwwLCJcXEdHX20iXSxbMCwzLCJcXG11bHQiXSxbMSwyLCIoMSwgMSwgXFxldGEpIl0sWzAsMSwiXFxzaW1lcSIsMV0sWzMsMiwiXFxzaW1lcSIsMV1d)

:::

:::{.lemma title="?"}
The map 
\[
f: \PP^1 &\to \PP^1 \\
z &\mapsto az
\]
is equal to $1 + \eta[a]$ in $\SH(k)$, since $f = \Suspend g$ where 
\[
g: \GG_m &\to \GG_m \\ 
z &\mapsto az
,\]
which is equal to 
\[
\Suspend(\GG_m \cross k \mapsvia{1\times a} \GG_m^{\times 2} \mapsvia{\mult} \GG_m)
.\]
:::

:::{.remark}
The lemma implies the relation $[ab] = [a] + [b] + \eta[a][b]$, and it turns out there's an isomorphism to motivic homotopy groups of spheres:
\[
\KMW_*(k) \mapsvia{\sim} \bigoplus _{n\in \ZZ} [S^0, \GG_m\smashpower{n}]
.\]
:::

## Big Problems

:::{.remark}
Notation: we'll write 
\[ 
\bigoplus_{n\in \ZZ} \pi_{n, n} \SS \da \bigoplus _{n\in \ZZ} [S^0, \GG_m\smashpower{n} ]
\] 
to be the zero line of the homotopy groups of spheres, and generally \( \bigoplus _n \pi_{n+r, n} \SS \) for the $r\dash$line.
Classical homotopy groups of spheres encode interesting geometric information, and we're finding that the corresponding motivic homotopy groups of spheres do as well.
[Röndigs-Spitzweck-Østvær](https://arxiv.org/abs/1604.00365) compute the 1-line for $\ch k\neq 2$ in a 2019 Annals paper, and we have some information about the 2-line.
:::

:::{.question}
What is $[\PP^n/\PP^{n-1}, \PP^n/\PP^{n-1}]$ for more general rings?
[Bachmann-Østvær (2021)](https://arxiv.org/abs/2102.01618) do this over $\ZZ\invert{2}$ and show \[
\pi_{0,0}\SS \tensor \ZZlocal{2} \mapsvia{\sim} \GW(\ZZ\invert{2})\tensor \ZZlocal{2}
.\]
:::

:::{.question}
What is $\pi_{*, *}\SS$ in general?
:::

:::{.question}
Is there a Freudenthal suspension theorem? 
I.e. which stable elements of $\pi_{*, *} \SS$ correspond to unstable groups?
:::

## Counting Things

:::{.remark}
Many people have used the $\AA^1\dash$Euler class for interesting things!
Let $X\in \smooth\Sch\slice{k}$ with $\dim X = d$ and let $V\to X \in \VectBun\slice{X}$ be a vector bundle.
:::

:::{.definition title="Orientation of bundles"}
A bundle $V\to X$ is **oriented** by the following data: $(L, \phi)$ where $L\to X$ is a line bundle and $\phi$ is a trivialization 
\[
\phi: \det V \iso L^{\tensor 2}
.\]
It is **relatively oriented** when $\Hom(\det TX, \det V)$ is oriented, where $\det (\wait) = \Extalg^{\text{top}}(\wait)$.
:::

:::{.example title="?"}
For $X = \PP^n$ or $\Gr(m, n)$ (parameterizing copies of $\PP^m$ in $\PP^n$), then 
\[
\omega_x = \det T^n X = \OO(-n-1)
,\]
and $X$ is orientable iff $n$ is odd.
For $\PP^1$, $\OO(n)$ is relatively orientable iff $n$ is even.
:::

## Euler Numbers

:::{.definition title="Euler Number in $\GW(k)$"}
Suppose $X\in \smsch\slice{k}$ is proper with $\dim X = d$ and consider a vector bundle
\begin{tikzcd}
\GL_d \actson F
  \ar[r] 
& 
V
  \ar[d] 
\\
& 
X 
\ar[u, "f", bend left, dotted]
\end{tikzcd}
Suppose 

  - $V$ is relatively oriented by $(L, \phi)$, and $f$ is a section with isolated zeros, so $\ts{f=0}$ consists of zeros of multiplicity 1, or equivalently
  - For all $x\in \ts{f = 0}$, the composite map
\[
Tf \da \qty{T_x X \to T_{f(x)} V \mapsvia{\sim} T_x X \oplus V_x \mapsvia{p_2} V_x} && f(x) \da (x, 0)
\]
  has nonvanishing determinant.

Then the **Euler number of $(V, \phi)$** with respect to $f$ is defined as 
\[
n(V, \phi, f) \da \sum_{x \in \ts{f = 0 } \subseteq X} \deg_x f
.\]
where $\deg_x f$ can be computed by 

- Choosing local Nisnevich coordinates on $X$ ,
- Choosing local trivializations of $V$ which are "compatible" with $\phi$,

Then locally writing
\[
f: \AA^d \to \AA^d \implies J_f \da \det \qty{\del f_i \over \del x_j}
,\]
one has
\[
\text{For } J_f(x) \neq 0 \in \kappa(x), \quad
\deg_x f \da \Tr_{\kappa(x) \slice k} \gens{J_f(x)}
.\]
:::

:::{.remark}
Equivalently, $T_x f\in \Hom(T_x X, V_x)$ and we can define 
\[
J_f(x) \da \det T_x f \in \Hom(\det T_x X, \det V_x) \iso L_x\tensorpower{k}{2}
,\]
where the orientation provides the isomorphism. 
Picking any basis for $L_x\tensorpower{k}{2}$ yields a number which is well-defined in $\kappa(x) / (\kappa(x)\units)^2$ by choosing a trivialization of $L_x$.
:::

:::{.question}
What happens if the zeros of $f$ have multiplicity $m_i > 1$?
In the classical setting, we didn't say what happens when $J_f(x) = 0$.
We'll answer this next time.
:::

:::{.question}
Why is the Euler number $n(V, f)$ independent of the section $f$?
Analogously, why is the number of intersections in the original problem 2, not depending on which specific lines were chosen?
:::

:::{.answer}
Sections with isolated zeros are often connected by 1-parameter $\AA^1\dash$families of such sections, and $\GW(k[x]) \mapsvia{\sim} \GW(k)$, although this is hard to show.

Alternatively, the Euler number is a pushforward of an Euler class taking values in interesting cohomology theories, so $n(V, f) = \pi_* e(V, f)$.
:::

# Kirsten Wickelgren, Talk 2 (Friday, July 16)

## Intro

:::{.remark}
Recall that we have a classical degree map 
\[
\deg: [S^n, S^n] \to \ZZ
\]
which roughly counts preimages.
Given $f\in \Hom_\Top(S^n, S^n)$ and $p\in S^n$, we write $f\inv(p) = \ts{ \elts{q}{N} }$ and have a formula $\deg f = \sum \deg_{q_i} f$ where the local degrees $\deg_{q_i}f$ can be computed by picking orientation-compatible coordinates $\tselts{x}{n}$ near $q_i$ and $\tselts{y}{n}$ near $p$.
In these coordinates we can form the Jacobian $J_f \da \det \dd{f_i}{x_j}$ and write
\[
\deg_x f =
\begin{cases}
+1 & J(q_i) > 0 
\\
-1 & J(q_i) < 0.
\end{cases}
\]
:::

:::{.question}
What happens if the zeros of $f$ are not of multiplicity 1, so $J_f(q_i) = 0$?
:::

:::{.proposition title="Eisenbud-H.Levine-Khimshiashvili signature formula"}
Over $k\da \RR$, any quadratic form can be diagonalized to $\diag(1,\cdots,1, -1,\cdots,-1)$, and there is a formula
\[
\deg_x f = \signature \omega^{\EKL}
\]
where $\omega^{\EKL}$ is the isomorphism class of the bilinear form defined in the following way: for $f = (f_1, \cdots, f_n)$, set
\[
Q \da {\RR[x_1, \cdots, x_n]_0 \over \gens{\elts{f}{n} } }
\]
which is a finite dimensional local complete intersection.
Since $Q$ is Gorenstein[^Gorenstein_note], there is an isomorphism $\Hom_k(Q, k) \mapsvia{\sim} Q$, which we can take to be the bilinear form.[^scheja_storch]


[^Gorenstein_note]: 
The dualizing sheaf is locally free

[^scheja_storch]: 
Even better, there is a distinguished isomorphism coming from a distinguished socle element (Scheja-Storch).

:::

:::{.remark}

This form can be made very explicit: writing $J_f = \det \dd{f_i}{x_j} \in Q$, choose a $k\dash$linear map $\eta: Q\to k$ such that $\eta(J_f) = \dim_k Q$ and set
\[
\omega^{\EKL} &\da \qty{ Q\tensorpower{k}{2} \mapsvia{\mult} Q \mapsvia{\eta} k} \\ \\
\implies \omega^{\EKL}: Q\tensorpower{}{2} &\to k \\
(g, h) &\mapsto \eta(gh)
.\]
It turns out that the isomorphism class of $\omega^{\EKL}$ does not depend on the choice of $\eta$.


:::

:::{.example title="?"}
Let $f:\AA^1\to \AA^1$ and $f(z) = z^2$ with $q=0$.
Then 
\[
Q = {k[x]_0 \over \gens{x^1} } \mapsvia{\sim} {k[x]\over \gens{x^2}}
\]
and $J_f = 2x$.
We then get $\omega^{\EKL} = \matt{0}{1}{1}{0}$, which up to a change of basis is $h \da \matt 1 0 0 {-1}$.
:::

:::{.question}
Eisenbud notes that $\omega^\EKL$ is defined over fields of arbitrary characteristic not equal to 2, does it have a topological interpretation?
:::

:::{.remark}
Yes! 
It comes from the $\AA^1\dash$degree.
:::

:::{.theorem title="Kass-W."}
$\omega^{\EKL} = \deg_q^{\AA^1}f$ is the local degree in $\GW(k)$ when $\kappa(q) = k$.
[Brazelton, Burklund, Mckean, Montoro, Opie](https://arxiv.org/pdf/1912.04788.pdf) handle the case when $\kappa(q)/k$ is separable.
:::

## $\AA^1\dash$Milnor numbers

:::{.definition title="Node, hypersurface singularity"}
For $\ch k\neq 2$, the simplest type of singularity is a **node**, defined over $\bar k$ as a point $p\in X$ such that[^completion_note]
\[
\widehat{\OO_{X, p}}
\mapsvia{\sim} 
{ \bar k \powerseries{ \elts{x}{n} } \over \sum x_i^2 + \text{h.o.t.} }
,\]

[^completion_note]: 
Her $\OO_{X, p}$ is the stalk of the structure sheaf at $p$, which is a local ring with a unique maximal ideal $\mfm_p$, and the LHS is completion at that ideal, so
\[
\widehat{\OO_{X, p}} \da \qty{\OO_{X, p}}\complete{\mfm_p}
.\]

A **hypersurface singularity** is a point $p\in \ts{f=0} \subseteq X$.
:::

:::{.definition title="Milnor number"}
Let $k\da \CC$.
If you vary $X$ in a family 
\[
X_+ \da \ts{f(x_1,\cdots, x_n) + \sum a_i x_i = t}
,\]
then the singularity $p$ bifurcates into nodes.
The number of nodes is given by the **Milnor number**, defined as $M_p$, the number of nodes in the family $X_+$ for any sufficiently small $\ts{a_i}$.
For $R=\CC$, this is explicitly described as
\[
M_p \da \deg_p^{\Top}\grad f
.\]
:::

:::{.remark}
For other $k$ with $\ch k \neq 2$, nodes come in different types: given a residue field $L$ at a node $p$, the tangent directions defined over some extension $L[\sqrt a]$ for $a\in L\units / (L\units)\prodpower{2}$.
:::

:::{.example title="?"}
Over $k=\RR$, one has examples like

- $x_1^2 +x_2^2 = 0$, yielding a non-split node and non-rational tangent directions

  ![](figures/2021-07-19_19-58-25.png)

- $x_1^2-x_2^2=0$, yielding a split node and rational tangent directions

  ![](figures/2021-07-16_13-26-04.png)
:::

:::{.definition title="Type of a node"}
Let $p$ be a node with
\[
\widehat{\OO_{X, p}} \iso { L\formalseries{ \elts{x}{n} } \over \sum a_i x_i^2 }, 
&& L \da \kappa(p)
.\]
The **type** $p$ is defined as 
\[
\type(p) \da \Tr_{L\slice k} \gens{2^n \prod_{i=1}^n a_i} \in \GW(k)
.\]
:::

:::{.definition title="$\AA^1\dash$Milnor numbers"}
The **$\AA^1\dash$Milnor number** is defined as 
\[
M_p \da \deg_p^{\AA_1} \grad f = \sum_{p\in N} \type(p)
,\]
$N$ is the set of nodes of $f$ in a family for a generic $\ts{\elts a n }$.

> Note: the second equality is due to Kass-Wickelgren.

:::

:::{.example title="?"}
Let $f(x,y)\da x^3-y^2$ with $\ch k\neq 2,3$, then 

- $p=(0, 0) \in \ts{f=0}$, 
- $\gradient f = (3x^2, -2y)$, and
\[
\deg^{\AA^1} \gradient f 
&= \deg^{\AA^1} (x\mapsto 3x^2 ) \deg^{\AA^1} (y\mapsto -2y) \\
&= \matt{0}{1/3}{1/3}{0} \gens{-2} \\
&= \gens{1} + \gens{-1} \\
&= q_{\hyp}
,\]
which has rank 2 and thus $M = 2$.
This yields a cusp.

The family $y^2 = x^3 + ax + t$ for $a\neq 0$ yields a family:


![](figures/2021-07-16_13-33-13.png)

- In the first term, the cusp bifurcates into 2 nodes, yields $\rank M^{\AA^1}(C) = M(C)$ for $C$ the cusp curve
- In the second, there are singular fibers when $x^3+ax+t$ has double roots, which happens when the discriminant is zero, so this occurs iff $-4a^3 -27b^2 =0$.

This yields a bifurcation into two nodes, and for example,

- Over $\FF_5$: $\gens{1} = \gens{-1}$, so this can not bifurcate into 1 split and 1 non-split rational node.
- Over $\FF_7$: $\gens{1} \neq \gens{-1}$, so this can not bifurcate into 2 split or 2 non-split nodes.
:::

:::{.remark}
The classical Milnor number appears in conductor formulas and are related to the Euler characteristic $\chi$ of the *Milnor fiber*.
M. Levine-Lehalleur-Srinivas and R. Azouri have subtle quadratic enrichments to $\GW(k)$.
:::

## $\AA^1\dash$Euler characteristic $\chi^{\AA^1}$

:::{.definition title="Relatively oriented bundles"}
For $X\in \smooth\Var^{\proj}\slice{k}$, we saw last time that a vector bundle $V\to X$ is **relatively oriented** by $(L, \phi)$ where $L\to X$ is a line bundle and 
\[
\phi: L\tensorpower{k}{2} \mapsvia{\sim} \Hom(\det \T X, \det V)
.\]
:::

:::{.remark}
The tangent bundle $\T X$ has a canonical relative orientation since 
\[
\Hom(\det \T X, \det \T X) \mapsvia{\sim} \OO \mapsvia{\sim} \OO\tensorpower{}{2}
\]
where $\OO$ is a trivial bundle of rank 1.
It follows that we may define the Euler number of tangent bundle:
\[
\chi^{\AA^1}(X) \da n(\T X) \in \GW(k)
,\]
where $n$ is the Euler number.
:::

:::{.theorem title="M. Levine"}
$\chi^{\AA^1}(X)$ is equal to the **categorical Euler characteristic**.
The definition is omitted here, see [Levine's "Enumerative geometry with quadratic forms"](https://arxiv.org/abs/1703.03049).
:::

:::{.example title="M. Levine-Lehalleur-Srinivas"}
\envlist

> See <https://arxiv.org/abs/2101.00482>.

Let $X \subseteq \PP^{n+1}$ for $n$ even, written $X \da \ts{F=0}$ for $f\in \RR[x_0, \cdots, x_n]_{e}$ homogeneous of degree $e$.
Take
\[
\omega^{\EKL}: Q\tensorpower{}{2}\to k && 
Q \da {k[x_0,\cdots, x_n] \over \gens{ \dd{f}{x_0}, \cdots, \dd{f}{x_n} } }
.\]

Define $B_{\Jac}$ to be the restriction of $\omega^\EKL$ to \( \bigoplus_{q=0}^n Q_{(q+1)e-n-2} \), then
\[
\chi^{\AA^1}(X) = \gens{e} + \gens{-e} B_{\Jac} + {n\over 2}q_{\hyp}
.\]
:::

:::{.example title="Clebsch surface"}
Take the Clebsch surface
\[
C \da \ts{ \tv{\elts x 3} \st \sum x_i^3 = \qty{\sum x_i}^3  } \subseteq \PP^3\slice{\QQ}
.\]
Then $\chi(C) = 9$, and 
\[
\chi^{\AA^1}(C) = 2q_{\hyp} + \gens{-10} + \gens{-6} + \gens{-21} + \gens{-14} + \gens{-2}
,\]
which can be computed with Macaulay2!
:::

## Cohomology and the Euler Class

:::{.remark}
Note that we have a stable $\AA^1\dash$homotopy category $\SH(k)$, so we can take cohomology theories on $X\in \smooth\Sch\slice{k}$:

- $H_\mot$ or $H\ZZ$: motivic cohomology
- $\tilde H_\mot$ or $H\tilde \ZZ$: extended motivic cohomology
- $\K$: \(\K\dash\)theory 
- $\KO$: Hermitian \(\K\dash\)theory 

It turns out that 
\[
H^n(X) = \pi_{-n}\Hom_{\SH(k)}(X, H) = [X, \Suspend^n H]
,\]
and it's useful to allow twisting the second term by shifts.
:::

:::{.definition title="Twisted suspension"}
Letting $V\to X$ be a vector bundle, we can define the **twisted suspension** 
\[
H^V(X) \da [X, \Th(V) \smashprod H]
&& \text{where } 
\Th(V) \da {V\dual \over V\dual\smz} = {\PP(V\dual \oplus \OO) \over \PP(V\dual)}
\]
where taking the dual is a condition needed for \(K\dash\)theory.
This reduces to a usual suspension for the trivial bundle. 
:::

:::{.example title="?"}
For $V\da (\OO_X)\sumpower{n}$ the trivial rank $n$ bundle on $X$, we have $H^V = H^n$.
:::

:::{.example title="?"}
\[
H\ZZ^n(X) \cong H_\mot^{2n}(X; \ZZ(n)) \cong H^{2n, n}_\mot(X) \cong \CH^n(X)
,\]
the Chow group of codimension $n$ cycles modulo rational equivalence.
These are the *geometric gradings*.
:::

:::{.example title="?"}
$\tilde{H\ZZ}^n(X) \cong \tilde{\CH}^n(X)$ the **Chow-Witt group**, also called the **oriented Chow group**.
Using the Gersten resolution, these can be expressed as formal sums of codimension $n$ subvarieties with coefficients in $\GW(k(Z))$, where $k(Z)$ are the rational functions of $Z$, subject to some conditions, modulo equivalence.
:::

:::{.example title="?"}
$\K^0(X)$ is the group completion of vector bundles on $X$, and $\KO^0(X)$ additionally remembers the data of a nondegenerate symmetric bilinear form.
These are "representable" in a sense because they are related to Thom spectra.
:::

:::{.definition title="Cohomology with support"}
Let $Z\embeds X$ be a closed subscheme, then define the **cohomology with support**
\[
H_Z^V(X) \da \htyclass{ { X \over X\sm Z}, \Th(V) \smashprod H}_{\SH(k)}
.\]
:::

:::{.definition title="Euler class"}
For $H$ a cohomology theory and $\SS|to H$ a ring? and a vector bundle $V\to X$ with a section $f$ (for example, the zero section), then the **Euler class** 
\[
e^H(V, f) \in H_{\ts{f=0}}^{V\dual}(X)
\]
is the class of the map
\[
{X\over X\sm\ts{f=0}} \mapsvia{f} {V\over V\smz} \smashprod H
.\]
:::

:::{.definition title="Euler Number"}
For $f:X\to S$ is a **local closed immersion** ($\lci$) if it locally factors as $U \mapsvia{i} P \mapsvia{p} S$ with $p$ smooth and $i$ a closed immersion determined by a *Koszul regular sequence* (so modding out doesn't yield a zero divisor, and the higher cohomology of the Koszul complex is zero).
:::

:::{.remark}
Some properties:

- This has a well-behaved **cotangent complex** $L_f$.
- For a regular embedding, $L_i \homotopic N_u\dual P[1]$ is **conormal bundle**.[^cornormal_note]

- $L_p \homotopic \Omega_{P/S} \homotopic \T_p\dual$.
- $L_{p_i}$ is determined by $i^* L_p\to L_{p_i} \to L_i$, 
- There is a coherent Serre duality related to $L_f$.

There is also a good notion of pushforward:
let $p:X\to S$ be proper 
[^proper_note]
and $\lci$.

[^proper_note]: 
Here **proper** means that the preimage of a compact set is compact.

[^cornormal_note]: 
I.e. the dual of the normal bundle.

Then there is a **Becker-Gottlieb transfer**
\[
\Tr^{\text{BG}}: \Suspend_+^\infty S\to \Th(L_p)
,\]
and the cartoon is the following:


![](figures/2021-07-16_14-06-20.png)

Here we embed $X\to S$ into the trivial bundle over $S$ and take a neighborhood.
Letting $B$ be the trivial bundle over $S$, then $\Th(B) \cong \Sigma_+^\infty S$ and collapsing fiberwise quotients by the complement of the neighborhood:


![](figures/2021-07-16_14-08-44.png)

This yields $p_*: H^{L_p}(X) \to H^0(S)$.
:::

## Oriented Cohomology Theories and Euler Numbers

:::{.remark}
\envlist

- $H$ is $\GL\dash$oriented if $H_Z^n(X) \mapsvia{\sim} H_Z^V(X)$ with $n\da \rank V$.
  
  An example is $H\ZZ, \K$, but non examples are ${H\tilde \ZZ}, \KO$.

- $H$ is $\SL\dash$oriented if 
  - $H_Z^V(X) \mapsvia{\sim} H_Z^{V'}(X)$,
  - $\rank V = \rank V'$ and 
  - $\det V \mapsvia{\sim} \det V' \tensor L\tensorpower{}{2}$ for $L\to X$ a line bundle.

  An example is $H\tilde{\ZZ}, \KO$.

:::

:::{.remark}
For $V\to X$ a relatively oriented vector bundle on $X \mapsvia{p} k$ with $p$ smooth and proper, and $H$ an $\SL_c\dash$oriented cohomology theory.
Then 
\[
H^{V\dual}(X) \mapsvia{\sim} H^{\T\dual X}(X)
.\]
Letting $f$ be any section of $V$, e.g. the zero section, then

\begin{tikzcd}
	{e^H(V, f) \in} & {H_{\ts{f=0}}^{V\dual}(X)} &&& {H^{V\dual}(X)} \\
	& {X\to {X\over X\smts{f=0}}} &&& {\Th(V) \smashprod H} \\
	& {}
	\arrow["{z: \text{ forget support}}", from=1-2, to=1-5]
	\arrow[maps to, from=2-2, to=2-5]
\end{tikzcd}

> [Link to Diagram](https://q.uiver.app/?q=WzAsNixbMSwwLCJIX3tcXHRze2Y9MH19XntWXFxkdWFsfShYKSJdLFs0LDAsIkhee1ZcXGR1YWx9KFgpIl0sWzEsMl0sWzAsMCwiZV5IKFYsIGYpIFxcaW4iXSxbMSwxLCJYXFx0byB7WFxcb3ZlciBYXFxzbXRze2Y9MH19Il0sWzQsMSwiXFxUaChWKSBcXHNtYXNocHJvZCBIIl0sWzAsMSwiejogXFx0ZXh0eyBmb3JnZXQgc3VwcG9ydH0iXSxbNCw1LCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJtYXBzIHRvIn19fV1d)

Letting $f: X\to \Th(V) \smashprod H$, any two sections $f_1, f_2$ of $V$ are connected by copies of $\AA^1$ in $H^0(V)$, so
\[
e^H(V) \da z(e^H(V, f_1)) = z(e^H(V, f_2))
.\]
:::

:::{.definition title="Euler number"}
The **Euler number** $n^H(V)$ of $V$ in $H^0(S)$ is 
\[
n^H(V) \da p_* e^H(V)
.\]

:::

:::{.remark}
This agrees with 
\[
n(V, f) = \sum_{x\in \ts{f= 0 } \subseteq X} \deg_x f, && \deg_x f \in \GW(k)
,\]
for $H = H\tilde{\ZZ}, \KO$ over $S\da \spec k$.
Moreover, $n(V, f)$ is independent of the choice of section.

> See [Déglise-Jin-Khan](https://arxiv.org/abs/1805.05920), [Bachmann-Wickelgren](https://arxiv.org/abs/2002.01848).

:::

## Arithmetic count of lines on a smooth cubic surface (joint with Jesse Kass)

:::{.definition title="Cubic surface"}
A **cubic surface** is given by $X \subseteq \PP^3$ where $X = \ts{f=0}$ with $f\in k[w,x,y,z]_3$ homogeneous of degree 3.
:::

:::{.theorem title="Salmon-Cayley, 1849"}
Any smooth cubic surface over $\CC$ contains exactly 27 lines.
:::

:::{.example title="?"}
Consider the Fermat cubic:
\[
f(x,y,z,w) = x^2 + y^2 + z^2 + w^2
.\]
The lines are given by 
\[ 
\ts{ \tv{S, -S, T, -T}  \st [S, T] \in \PP^1(\CC) \subseteq X }
.\]
For $\omega^3,\lambda^3 = 1$, we can take 
\[ 
\ts{\tv{S, \lambda S, T, \omega T} \st [S, T]\in \PP^1(\CC) } 
.\]
Permuting the variables in ${4\choose 2}/2 =3$ ways, then there are $3\cdot 3 \cdot 3 = 27$ total lines.
:::

:::{.proof title="?"}
Let $\Gr(1, 3)$ be the Grassmannian parameterizing $W \subseteq \CC^4$ with $\dim W=2$, or equivalently copies of $\PP^1$ in $\PP^3$.
Take the tautological $S\to \Gr(1, 3)$ whose fiber over $[\PP W]$ is $W$ itself.
Then $\Sym^3 S\dual_{[\PP W]} = \Sym^3(W\dual)$ are cubic polynomials in $W$, and $f$ determines a section $\sigma_f$ of $\Sym^3 S\dual$ given by 
\[
\sigma_f([\PP W) = \ro{f}{W}
,\]
which is zero iff the line $\PP W$ is contained in $X$.
So we've reduced to counting zeros of a section:
\[
n(V) = \sum_{\text{lines } L \subseteq X} \deg_L \sigma_f
.\]


:::{.fact}
For a smooth cubic surface, all zeroes of $\sigma_f$ have multiplicity one.
:::

Over $\CC$, the classical differential topological degree is 1, so $n(V)$ is the number of lines, and $n(V) = 27$.

Consider now the situation over $\RR$:

- Schläfli (1861): 
  Over $\RR$, there can only be $3, 7, 15$, or $27$ lines.
- Segre (1942): 
  These lines break into two classes: hyperbolic, or elliptic.

For $L \subseteq X$ a real line, $L$ gives an involution $I:L\to L$ where $I(p)$ is defined by consider $T_p X$, which contains a line $L$ along with a curve $C$ of degree 2 since the total degree is 3:


![](figures/2021-07-16_14-28-57.png)

In particular, there is another point in the intersection of $L \intersect C \intersect X$, so $I(p)$ is defined as that point where $T_{I(p)}X = T_pX$.
If $I$ yields a $\CC\dash$conjugate pair, say $L$ is elliptic, and otherwise if $I$ yields two $\RR\dash$point say $L$ is hyperbolic.
Taking a path $p\to I(p)$, if the tangent space undergoes a full twist, this is the elliptic situation.
:::

:::{.theorem title="Segre + many authors in the 2010s"}
The number of hyperbolic lines minus the number of elliptic lines is exactly 3.
:::

:::{.question}
What about other fields, like $k = \FF_p, \QQpadic, \QQ$?
:::

:::{.answer}
The above proof works in $\AA^1\dash$homotopy theory.
Letting $X \subseteq X \subseteq \PP^3\slice{k}$ a cubic surface.
:::

:::{.definition title="Type of a line"}
The **type** of a line $L$ is an element 
\[
\gens{D} \in \GW(k(L)),
&&
D \in k(L)\units / (k(L)\units)\prodpower{2}
\]
such that the fixed points $\Fix(I)$ form a conjugate pair of points defined over $k(L)\adjoin{\sqrt D}$.
:::

:::{.theorem title="Kass-Wickelgren"}
let $k\in \Field^{\ch \neq 2}$ and $X \subseteq \PP^3\slice{k}$, then 
\[
\sum_{\substack{\text{lines} \\ L \subseteq k(X) }} \Tr_{k(L) / k} \type(D) = 15\gens{1} + 12\gens{-1} \in \GW(k)
.\]
:::