全实域上迹欧氏二次格的有限性定理

Zilong He 在全实数域上引入迹欧氏与 house 欧氏二次格，并通过 $p$-norm 欧氏性质联系这两个概念。作者证明当 $F$ 取遍任意次数的全实数域时，任意秩 $n\ge1$ 的正定迹欧氏 $\mathcal{O}_{F}$-格在同构意义下只有有限多个，且对每个 $p\in[1,\infty]$ 正定 $p$-norm 欧氏格也有同样的有限性。