マーラーのコンパクト性定理

マーラーのコンパクト性定理

マーラーのコンパクト性定理は、1946年にクルト・マーラーによって証明された、ユークリッド空間内の格子に関する基本的な結果です。この定理は、ある意味において「有界」であるような格子の集合を定義し、理解する手助けをします。

定理の概要

この定理は、格子が特定の列で収束しうる方法を示しており、二つの直感的な可能性が考えられます。一つは、体積よりも大きい基本領域を伴って目の粗い格子になること、もう一つは、より小さなベクトルを新たに含むようになることです。このような性質を持つ格子の集合は、特定の条件を満たすときに相対コンパクトであることが示されます。即ち、任意の固定された正の値 （ϵ > 0）に対して、一定の大きさ以上のシストールを持つ単位共容積の空間において、この定理が成り立つというものです。

格子の定義

ここで言う格子とは、整数倍の点の集合で構成されるもので、数学的には { ext{GL}}_{n}( ext{R})/{ ext{GL}}_{n}( ext{Z}) という商位相のある空間でパラメータ化されます。ここで、可逆な整数行列の行列式が±1となるものが存在し、特定の確定した関数 Δ が定義されます。この関数は、すべての格子点に対して一意であり、相対コンパクト性を証明する上で重要な役割を果たします。

相対コンパクト性と条件

マーラーの定理によると、格子の部分集合 Y が相対コンパクトであるためには、以下の二つの条件を満たす必要があります。第一に、関数 Δ が Y 上で有界であること、第二に、Y 内の任意の格子 Λ に対して、ある近傍 N が存在し、その中に含まれる唯一の格子点が 0 であることです。この条件を満たすことで、Y の格子点が制約され、相対コンパクト性が成り立ちます。

マンフォードによる一般化

マーラーのコンパクト性定理は、その後、他の数学的分野にも影響を与えました。特に、マンフォードによって半単純リー代数に一般化され、さらなる研究の基盤となっています。このように、本定理はただの格子の性質にとどまらず、さまざまな数学領域で応用されているのです。

結論

マーラーのコンパクト性定理は、数学において非常に重要な結果であり、格子に関する深い洞察を提供します。特にその直感的な理解と、複雑な数学的構造との関係を示すことができるため、多くの学際的な研究や応用においてその価値が高まっています。今後も、この定理は多様な数学の領域で活用されていくことでしょう。

参考文献

• - Coppel, W. A. (2006). Number theory, p. 418.
• - Mahler, K. (1946). “On lattice points in n-dimensional star bodies. I. Existence theorems”. Proceedings of the Royal Society. London. Series A. Mathematical, Physical and Engineering Sciences, 187, 151–187.

もう一度検索