不変微分の定義
- [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 over [AEC, I.1. Affine Variety, p.2]
代数多様体の同型射
- rational map [AEC, I.3 Maps Between Varieties, p.11]
- defined over
- morphism [AEC, I.3 Maps Between Varieties, p.12]
- rational mapかついくつかの条件
- isomorphic [AEC, I.3 Maps Between Varieties, p.13]
- morphism が存在して、 がidentity mapであるとき、 は 上同型であるという(単にrational mapだけではだめ)