代数曲線 → 因子 → 有理型関数 → 線形系 → 種数 → Riemann-Roch の定理
入口
代数曲線
目標
Riemann-Roch の定理
進捗
ルート設計中
方程式で定まる一次元の幾何を扱う
点の重み付き和で零点と極を記録する
零点と極をもつ関数を見る
条件を満たす関数の空間を作る
曲線の穴の数にあたる量を使う
関数空間の次元を因子と曲線の形から計算する