From 215e46c90439d658fca78964fd6aab556b0e0976 Mon Sep 17 00:00:00 2001 From: Christian Merten Date: Wed, 25 Oct 2023 19:05:49 +0200 Subject: [PATCH] introduce spec command --- lec02.pdf | Bin 178188 -> 178187 bytes lec02.tex | 2 +- lecture.cls | 2 ++ 3 files changed, 3 insertions(+), 1 deletion(-) diff --git a/lec02.pdf b/lec02.pdf index fe4e6bc7d30ca1ffef25fc9363bda2b7a9cb23dc..6fb70cd4d610a63555469141d89fde3e173a67cc 100644 GIT binary patch delta 4885 zcmV+w6YA`Y@Cu9Y3XmlMFp~i{D3MM&f3S8A4AAIqbbsAw@bT%(Z`kB=_lQm|Cv@_c zN1vWPdi-38i6c&PJvqIY7)GR!6QeA#nomy8C$9=h7@5wDF~zqh&z^t#VmcE-7AL1u zD~nI2RuretzIyic=?Oj;#oxY;??3w-9-mBqI{otTbM880NXCd^3@Gs3Gi=h3f7Jhd z{9LdJlSD`)=VCIezn%$76wqFinDjDvHDip@;@e$$akB)1v@Ul0`MzA0>#3l{eixo? zrZZNoFU4AFEl1)F3(9ao5#H<<~6G^{zCl4KI6B$+6#x5(tpHM}xKx!q6U=UsTUxd<(R_3#i_KV=1Q z-#^>nqt{dHZX2FN-t0gbwbjLQRK3kM^fb>&!x_(~5pgKeyq+Nu*2_QBf0wX?HyZnW zjt_z`W$PAirY#$GbG&(%>l75q_Bxd&?No@SMdkGpRseNGX*mHECr+vG^0J&N;PR^6 zZ>t4f&OzpVc$yOm=djKif0f!_#T9Zk-^Ht-E%WtdPEv*wu618je4>dnz)QadxkBy{ z>10hzM)fI?Ae~ODk76s@ZN-TZ^R{cm7&9M@!w(OC?TxXF4GJu^d8W^4#3H*>1 zph<13KLDROFBlBVKQg=qe_~mW*DUKMot0f)SLhX_EGm$t_b1yDuFh}pasgM>8EP%I zIJ?>7g(%jWeRy(NMzaW3>s>IRTsbh;lfnaRe}LCSahoy@RkNxUrE6pojnQ|b7!?JH z>-j?-{2@nw=;@8LD^#LId)=d3fYk9I7{2 zrvVVy2bS^=nQp-HyGENn4rE4I8}HN4TG?7eaLCKZtQ_#Qz#pOdmRYBOg14RtmOamS zf9Bx5yk}M^XcMW81#{DBl$#-pr!?7i^I6_;6L=6|UhIde__XR?M zYJ&a+U!cPm4V2A{E+z0tcK9f>ZoJ!M&|n;{2VQS7!}!T$tl#S)>jxOHYd6Zb)y_xSU{vPOl=#=%3orl0zBM@L$kC-Qf6ue9 z4&qS7TRt$Jn;E(bl_jl&$*hMlHgK?(mh8jb0 zrpU#aeMbe9-$!QPthj>6gu^1CyauI>%idg!MsWaf+RVmF1i>z!z$7@)b=BYJvjw`vc-4MaE-yltRm^Q}gDin?CHX*p&q1un znsIWjwiiq`PO7Wu&<0exf2-(KW-Jg8Sh-H4%Y0WBa}x05(ymme757nO52WxUdKGQ< z>WgfE$(f#XhG~9M1D=lY?+hNAfd|Lz$qXPL z#u`Z~tjlFsEUZbg)O%4fSQ!zd$w3DNC>if3|6rMQ+le+{uI0%(4Q8MhC;*7DY6Yq? z1UaHL+8rDJbB8xsriVoU>H)FvMMv=PR!+Md=;L~oKU`=6=EvAk#%LQ~-slF%HDXdjFSpHtQ z10bx^=ta)Ag3+NY373%i;7Vhi z>G5z}88hbTfBc52$Dtjc(`>2?i$p8+Fd^<8ETOuMB~%B&aLO>+qPqL43fPY0s*);- z5H0W;N&n8QCdz8>*qDo}{JIO;LktjpO`C}IYx)4t(_UuTxQt-*uwYa!_kdR-)5Z<; z^8`1Z9p;Lc9wWc;febBnfGRxs3|GV|CXi`8DO#+nf8}<5Uiq*BTLC0mVFx$+GIoJM zM0n>z5Q8B|wVPwUeMd61b3o9Bi#u|GJ`5MaE-gePj`wzH8|w^eay4(`i0po;CYIv& z)|0M~#YD5&BRz*`c z_t(qH*FVwd9Py(3^`?3~RjR<9)kS>hQ)lqo*_Ohz8#A2@edj?);QB8-T&+L#`}9~( zB~@`!HNAKCI0G%)3O9D^-E)Q-+w*K4+HJeDi(P9|e6bJDx8-VHtz)D8Cj9QM0$7Mo ze|@0Rbkb5`4u{~)5VrWP$uh#rWk@l?)h6I{yzFHe{j;V{3$B|SohM`d%aCKH>BN7? zB_k;@ZQQ$h1za{6DZwl^tM=1;L6&HNezPOE%ck`NruFn)(t0XuC@td&O#V4D zmIVB2yD)hqt(WPlYq|ll9W&ewkG{+oe^*-BB?VQ?myUHSEt_4yOTQh|-8@D4_*|YD zPr@;9qv*ra9rj-G*f~3ph7+iFrk9309A(A@%mq9Hh*L3re+2j*CjV2cY#B`OIl+2f zor|I3xCbYk9l{Z;Hmi%4y{V!e@i-BaEr0S40cLB>Fy#r_cqo-kf6}== zkM&`&=g^vF2{(VvR*=mbcpF zQeexiLz7OW9o*%TR1gkiaFn`KfAtO&Xo=DK*dCPRh*fR#@!&p}6as<(`JSUFU@%Vy zi5p!ov5vVCju^0jGc4_hGp_d`GN2x;fN~S2h_36{Mk01*B}h=;Ct_y~gm#~JomoYw zQTK`0?>vp<@LN*Y9S^@T4XRxq^!jYG-7J@LUv24JL5UpA>l;uC)~uW_f3m>?^r1$J ze4Uq1uUfBHIrnk1FR;#53w0_;vHGqqzZy9vG+GutSnyrF_66VLM@^gn#_F{C`(?SB zZ-0TlD4sM?qcutzM6A09O=euP_CQ~(nZRdQ&w#%$P`H>cu?~rAUR-Uk_~<;`yg|NY zim^1PKzqVwq)5EK0|0v5e{R%Ok(zCJy`1|!L%cidls6@#!l0D4CBc~r*~}qIOIUk& zY_rW*mUVX**L&aP9++BmTaekPQfJ&HT%3Mcd$0+K@==V6w`NLV3bPJSf|Z`NGtEa zPpLl7d&Wx8w6s_lJnf0oUWdDIe6Y4c_&V&A3*EemmF=djY&S=W+3_fx?jNK|E7_%H z_pW4jte11UHHiiyf6F!r_%0J=D8eQ0p0Ud9Q7WQzddBMLTn4mKv^5ldJ2iVqQF7ZS znWo1B+Hs!dy_-5rJ*Lposk=bSp+j=HP1zJQYnh&8=;0s`5W|`;jB~^&jPcf~o9#~$ zpmjgMVy5kQ&Xph22ZpHzV~6zt%#TA?+P1pPh&vvWKdAahf6DW*sM;4)W0ig;V}UUo z?~6h84hf16puoqEc?~PD7I(A?sa7zDrMv*(DV~IJ<5~egj*n7D%3Ohr%wemFozZh5x2JT{h6Mh{IOS1p30+i@K zh~JXz3T19&gO?A7mk$BAmk$DUoCP^BH8U`m5v&3p1vxM^GcdO_tO9liLqs$(HbXHp zG($5mHbg=)IWa~?L^3%>H9<8(HbyWrG(I3aL^LusLoqWnLo+ZoL_#t-F-As2GC4*y zK{Y})Mldrpm+i9xIe%$XmqirE@tKF!B}owlLD{qfR6rB~7X)PyS;P$q+)t#rkV~d% zXE z%x%vYzmbp%qrh0(T5O0cc+k@t6Xc%xKn0Y6FZjVU&)CE+M1THJ%rJ;(5>Yqk&M<(e zHv~cto&|#YZCB_9Zt)!~=?Qm&8@eT9!2Q;p;budKf}uCWLN9BAUUZ3vup}6IG3*0< zAr!)(AA~~$^oIcu2~iLYF)#@3f)Oy#nn+)F(A_W?;vgOpU5)ZBtYbwM;Y`T^-)|H5ddA6SXHY^s8yeb~0 zOpk398-LG;P5+23l=JcNqK0-q!S-8kxx`Cg3Y5ZBYqm#eb~|O?!Hw8S7j~T#wQThy z?CApMMcuz*Z-A)J6i?H^270;gxOnD!cgA#>0W+<6mbcvBE)HB32dPFQ)qO4$eiMhd zf6teSCR)+NkuUrz4i6MZa>Y@WyhP)V6^Y~VqJOzsv>X&K|1Mr(``5Tludfj&c8S)# z;*DnUW}A46F1*dUlQh1K)}Er+?`#vN$?Dxa@m_*BlP2Ehw6nDA17<&D`*T_1JWD=G z5g#uT?cCT;XvKwd;^JlTDLH?3Npy4z(;rxJD?|LaUUW9PohxBB%(3RD|4*B1ZD5>>=2@HG z=A!x5mif78fwh}ET(r>I_ISg$#8|JTL!b4|I5)J`^ZDCFp7j!%UF2iE{6ZJ`TCXbE zMf(0%-*Az?_0~4HD8PDK)C#ZWir98T>_q4kwR%ghPWR8N*XPFDw?rJ!we=3^f8=om zyu)g(cl1xUOCJb@Fz5&25CQ#R07OC*L_-Y3TCcfATeTLL{{R8J@?DqXw*nyuFbX9l HMNdWwEB#R< delta 4913 zcmV-16VB|5@CuCZ3XmlMF_V!pD3MM&e@HtA2559Qy1#BT`1thYH*9jbdqgLf6FT|J zqfbvCJ$|ml#1W^to}6Ax3?ov=iBXnV%_pbllUD^Lj7(?7nBv=$XV1TVF`Wq^i<8r- zmBlAhD~i)+Up@Q!^aP)a;%{Ha_n&xLE>0S{J+hd|$50^;FPezYEVc z(-|w)@%;kdTtSmvhG;sOaX}*b&6e@j@x8;$)w z#|J@}vUQ6$)0PdpIo`a>bqWe)d!0&?b}B^EqVjqPD}Xwpw48v76Q@*od09>saCuek zx77kK=b-lRvwW8ktER*XeMGEOH-fJ&f_7dYyS=t9mtmDhnS`h1+kLs-fdcMw(x8SI zpgMN>S5OLFJk1G(b697Me@gAI;tDyN@8VU^mihWJCn>`T*Saq%KGDP(;H6)KTp{;} zbh0KUqxzIckWQ!7N3j*{w&KKyda#r0p#F;tSztUA7wzmbEa!fxMA(NkQKrV^20U)p z>$nvW3e?D?R^-{+`RaOEqUKOAAbi|_aG<8q&eN+X4cX-nXD~)1f6JFyikZ{5UWAIu zzG!K>V6&83qUtuPmt_{>O-;taVh|u7qt+}*X8zIxU7fbheP!y z>ofoY`@mBEA=8Z^&NbTfaUe6w+IXLS*2>l*fP6uk9Juo+UQpFK8=PoR9w}N8aF&r1n%stMJg1`s@aOF( zxVfn35Xc21+m%7E+X2-1^%`cd1{)H-gMaTcQvshXwHTwq5!xywYPhI1yn|Z3FAxe; z6Z9|m0v*0+ploJzDS=0_!$+BQ@`3T(EGaRnQO&Su&`qstYW5gjLT~~@wUVX1kl2XBVfyB$g?P7M_wHtKRa@A3 zZedCRINJ1-IRRsb5z7DzoHwAIc6T&5f0PfozcWwAE|Rerj5AF))EJ60 zMJ~?lJ1U_3J~9Jm#eE+3QwX}(Ppo{ z$Of34=}BjpHW}-s5-)aWc=j<@9QoSqog{fX|%)p42IhPb5hJn;`^&-poTQL=wReutZ3-qv|1moqX># zL&w(4Kwf2rI}ZjhEM{b)Z2sk~{ffOU#(xDaA*5Q)t5vx4e#T#g z7*hI(EczrVI%o^tj0Ha!Me24B>qS0;PrGe`HHAU8m^#WV7tmd$`kq*)uvX<@`FrIK zfUr)Z7dhVwMu)N_Tte!DKMgFxJmf{q$Meu&vtCASR`FHjb=WV-g|Uc1nu+C{rUtvE z$HQ@D%$TS18-J!Ahjx5Uv#ByH60Ow3gt&LGgz7eyP#pxrDZ^-s>h7y5U^|YhN~$PA zw7_d5{X4UoD673=V=k`p>n>;yF+lh=Z6emM=>tGddzoe9GJ?^=f>F8L173+t8#mO? z6Wn-qm@8g-jQqw2GPKwMs_^79ToJ37K&JJiXtA!A+kg3a<--bW1(0Zk9o+28*aZd= z;hhgb42B@pZjSl(9m&wn0YMus?#KoDFkA?`v=EUv-rJ>ZtTU*|)x3=(viqf)Sc>0U zZyraCqqh1M8gCP{F|P5l*7#v~N4pkc7~Y{56U}Ci^c;qPtc4|S{NCVy9r`J_vJVLT z)GZ92et$6N7j&=7=8y8?V&KwdsW^^V$A{Dv`5>Wy`ajf%4;~8K#{tUQ?6cG&esT!+ zrNv4S2?p0f_Y&d$tDorP9A1725);l&-uR{~_@}*1UQSK`{-<4Vu(5(F7|V`z0irQz z>xR1E&Ji|F#c&sfNQi6iJP{wqq{#(9Z4e7!)_=+|*Oo`jB&9Vd$IEK9D$lF=9${m+ zzg||p{)tBCh!^FrH`VK@QU&g;F5*LAkbZ8EDy7xUpOBo-@?go@eXOZrhz*>{^@Ri+y;$Em!ku9UJX8;dgfxz(RcL z1AmpKla>l|I0SEou*G*xmJwbqLy8fuHUX#OWiQLBzSX&Fyo^3R#E zB;Z%ug~=mny-ZhK(+!aAnBi`C^ku%d(tpY>DX3z;bgWxx+3W&d`t6|Z<|)d@=km;W z5{`izMIWB-u=kS3&e?%9oIt%Zy)@k6C^If#F5nqJoQmoDBf$4C`JZBC%V2`f3D)!K zTnrV*Jvia)5RPEASzWa3O%?Ts$BCG1`ICPLFaxZzf%P;3K4-9mDNoSGL#b?%&VTiJ ztPg`dht@PpxcPIof~;QC$FZlvY!9uobu7pBPqIshNG$Q8Tad!2`pYxtbhSg`3{5_^iM*PsJ4s$EDywxt3 z0$Xk!nsh4d;4YV>f^Z;%qtvCUcYmNjON`dX_Mjw3tZJK&2lu(85D)~&_Z&q5gLyhg z+~|UdbH|-;%=ac=(NJQ0@Al*JqpUX1SdEYD?z|O5|u>-+)rEX61a54Syb>4>elk z>%4q=)q1_kxsRKDfpxZ8s8d0T)pvFI)yOfS(X!~lg750JFZdomYT^ViR;Sh9FU!?@ z`wR3%@uZ0wtx?h-V%i=W)4wW!rH@Q zn{B?bth>9o-uo^uw^8hwNid(+xz*{RW_#nvQ3#IG)#FDY@cc+Kl^1^U`2uF5+sey} z?CBe-OtKGifXnD%8Cfr=wN%_Xs2!+0?=0W5ddX1hYhbA$cbOAci$x80Uyl7~`!|H`|{i zKh#Z24roGU-34-8Wc#t!QPm>-9(v~6{n5qCT$e^B+2lz-=AQME6q#wz_x#sXtF z-WP-F9TF5DK!J}R^BPuQE$(O)QmtSPOL+mnQ#=Xd#k4IVWP_Fuhn5ckx0VkAb({q_G&M6hmk_K19tAiwH8VN4Gpqu32SY_OK|?t) zK{GitLPSGBH!?;wI6^l$Ff%hULo`A{IYmAoJVi4>Lpd=)GdVOuL_SgXQ$$gfDBdcj9~FNkzlhQ(F=L3B$+|LT%R9uZ zvto`F6>*|6Ud){+=H-g{Y_(vwSa?}1`dd7f;i@qOrouERux4?kW|xGB$En)VSh0+9 zKCwqEZxk!mh?Pr4)e*7klz8%zSiN7YIVRRF5$o29rz*sHHr+rPPZx`gJbQ-xHZ2pI zkBet1({q12#g;Q->%XF!az39Ww$tt%Z2!V-mv|8r!*nRIrY1(SHI#i9H{wOQu=}K_ zWve|<*8|Rr`g>wuplFyN_S3-w^s=!{ymZT*Q3^9)rZq3~makkCO*h1=RO2AkZ4QUu z#UbwBYbD|^tvJk)M}8A6gT(83qLn3Y(D*kC#nFER(Y8vo9~8&_5O1;lac%}{@ zqN72aXczBxiudTk`>gwb#-F6MofP|2jrfqPPUnk{62-?E;tZ#KLd(uF`zhOhmMzY) z9-hA+8pPYjv(nhgchK=Cc@{%(c1xlMHYiXT>sAF1grmi(M4Zf_EIn%&M7PziIbx%>ZV^Q;YwchP)n zGdf+gz}hl@7cI1QTbGL#S$iSD@GUXcYwyx${Z70aTI>1z<08*`3GFWOv0i?Gi+ruO zIMqe^{#SLo$lrP!8eJ4%y=t|>+kRc_>=tdi?uuHyrB|=}=QZea<25c9O}e(;A^nd$ zu7KB~)_Sdfxm`jb48kD-`avW_L4Syb0T2VR5NEx%9onj6s`(ELW%4cxWo~41baG{3 jZ3<;>WN%_>3UhQ}a&&ldWo8O7H#RvpF$yImMNdWwHuhS; diff --git a/lec02.tex b/lec02.tex index fc685a2..a6a633d 100644 --- a/lec02.tex +++ b/lec02.tex @@ -10,7 +10,7 @@ Let $k$ be a field. Let $\mathcal{P}$ be a property of schemes over fields. For a $k$-scheme $X$ we say \emph{$X$ is geometrically} $\mathcal{P}$ if for all field extensions - $K / k$ the base change $X_K \to \mathrm{Spec}\ K$ is $\mathcal{P}$. + $K / k$ the base change $X_K \to \Spec K$ is $\mathcal{P}$. \end{definition} \begin{bsp} diff --git a/lecture.cls b/lecture.cls index e604222..68f00be 100644 --- a/lecture.cls +++ b/lecture.cls @@ -183,6 +183,8 @@ % people seem to prefer varepsilon over epsilon \renewcommand{\epsilon}{\varepsilon} +\newcommand{\Spec}{\operatorname{Spec}} + \ExplSyntaxOn % S-tackrelcompatible ALIGN environment