は の正則写像で、 の 4点を分岐点として持つ。 はで広義一様収束するからこれを項別微分できて、 となる。 の の近傍におけるローラン展開を用いて、面倒な計算を行うことによりという微分方程式が成立することがわかる。ここで は以下のように定義される：…

§4.3「アフィン平面代数曲線」に入る。 ちょっと先を覗き見してみると多項式環だのガロア拡大だの難しそうな用語が並んでて心配。