Arakelov 理论

一种形式化的数学理论，它通过定义整数的数域的除子类群的新类型，引入“无穷远分量”。除子类群被称为“算术曲面”。