前半: 標数 p の体上のある曲線が超
特異的となるための条件を与えます.
これは 1941 年に M. Deuring によって
与えられた,超特異楕円曲線の判定
法の,ある種の一般化になっています.
なお,あるアーベル多様体が超特異的
とは,それがいくつかの楕円曲線の直
積に同種となるときをいいます.さらに,
ある曲線が超特異的とは,そのヤコビ
多様体が超特異的となるときをいいます.
後半: 前半に Deuring 多項式のある種
の一般化が定義されます.この多項式
を用いて,有限体上のある関数体の塔
が,代数幾何符号を構成するときに,よ
い性質をもつものであることを示します.
(このような塔を漸近最良といいます.)