Arakelov 理論

一種形式化的數學理論，它透過定義整數的數域的除子類群的新型別，引入“無窮遠分量”。除子類群被稱為“算術曲面”。