を多項式環のイデアルとする。多項式環なので は多項式のイメージ。ちなみに一変数っぽく書いているけど、 である。 ここで、多項式（イデアル）の 零点集合を考える。多項式の零点を集めた集合のことで、ようするに楕円曲線 とか円 の解の集合みたいなもの…

不変微分の定義 [AEC III.5, The Invariant Differential, p.75] 不変微分はtranslation-by--mapに対して不変であるの証明 [AEC III.5.1, p.76] C上の楕円曲線と微分形式の線積分 [AEC, VI.1, Elliptic Integrals, p.158] K上定義された代数的集合 defined o…