โฬ
โตโ
๐โฒ
๐ฅ^โข
ฮฉ_X^โข
ฯโ^รฉt
Spec
Ext
Tor
๐ฝโ_G
Rฮ
๐ช_X
๐ฝ_q
Gal(kฬ/k)
๐_g
Adโฐฯ
H_f^1
๐ญ-adic
๐_โ
๐ค๐ฉ_n
๐ฎโฒ
limยน
๐xt
๐ฏor
๐
๐
Rฮ(X,ฮฉ_X^โข) โ ๐ฅ^โข(X,โ)
ch(Rf_*E)ยทTd(Y)=f_*(ch(E)ยทTd(X))
Eโ^{p,q}=H^p(X,โ^q(K^โข)) โ ๐ฅ^{p+q}(X,K^โข)
ฯโ^รฉt(X,xฬ) โ Gal(kฬ/k)
Ext^i_{๐ช_X}(๐ฝ,๐ข) โ
H^i(X,๐om(๐ฝ,๐ข))
Tor_i^R(M,N) โ
H_i(P_โข โ_R N)
๐โฒ(ฮฉ) โ T : ฯ โฆ โจT,ฯโฉ
H^1(G_K,Adโฐฯ) / H_f^1(G_K,Adโฐฯ)
โซ_{๐_g} ฯโ^{aโ}โฏฯ_n^{a_n}
๐ฝโ_G = LG / LโบG
Spec โค โ Spec ๐ช_K โ Spec ๐ฝ_q
โฬ_E^2=0, F_A^{0,2}=0
โฬโตโ๐โฒSpec
ExtTorฯโ^รฉtฮฉ_X^โข
๐ฝโRฮAdโฐlimยน
๐_โ๐ฎโฒ๐ค
๐xt๐ฏor๐๐โ โ