| 概要 | In this talk, we introduce a new algebraic type,
and a variant of schemes which enables
us to construct the Arakelov compactification
of the spectrum of ring of integers,
and to characterize it by a universal property.
Although the topic is totally new,
it already sheds light on the connection
between algebras and the polytope theory. |