格子群

ウィキペディア

格子 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/01 08:05 UTC 版)

この項目「格子 (数学)」は途中まで翻訳されたものです。（原文：en:Lattice (group) 07:41, 23 August 2011） 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2011年8月）

ユークリッド平面上の格子

代数的構造 → 群論 群論
基本概念 部分群 正規部分群 商群 （半）直積 群準同型 核 像 直和 リース積 単純 有限 無限（英語版） 連続 乗法 加法 巡回 アーベル 二面体 冪零 可解 群論の用語 群論のトピックス一覧
有限群 有限単純群の分類 巡回 交代 リー型（英語版） 散在（英語版） コーシーの定理 ラグランジュの定理 シローの定理 ホールの定理 p 群 基本アーベル群 フロベニウス群（英語版） シューア multiplier（英語版） 対称群 Sn クラインの四元群 V 二面体群 Dn 四元数群 Q8 二重巡回群 Dicn
離散群 格子 整数 (Z) 格子 モジュラー群 PSL(2, Z) SL(2, Z)
位相 / リー群 ソレノイド（英語版） 円周 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) ユークリッド E(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) 斜交 Sp(n) G2（英語版） F4（英語版） E6（英語版） E7（英語版） E8 ローレンツ ポアンカレ 共形（英語版） 微分同相 ループ（英語版） 無限次元リー群（英語版） O(∞) SU(∞) Sp(∞)
代数群 楕円曲線 線型代数群 アーベル多様体

数学における、特に初等幾何学および群論における、n-次元空間 Rⁿ 内の格子（こうし、英: lattice）とは、実ベクトル空間 Rⁿ を生成するような Rⁿ の離散部分群をいう。すなわち、Rⁿ の任意の格子は、ベクトル空間としての基底から、その整数係数線型結合の全体として得られる。ひとつの格子は、その基本領域あるいは原始胞体（英語版）による正多面体空間充填 (regular tiling) と見ることもできる。

格子には多くの顕著な応用があり、純粋数学では特にリー環論、数論および群論に関係がある。応用数学でいえば、まず暗号理論において、いくつかの格子問題の計算が困難であることに起因する符号理論に関連する。また、物理科学においてもいくつかのやり方で応用があり、例えば物質科学および固体物理学では、「格子」は結晶構造の「枠組み」の同義語であり、結晶において原子や分子が隣接して占める正多面体状の三次元的な空間配列を意味する。より一般に、物理学において格子モデルが（しばしば計算物理の手法を用いて）研究される。

対称性としての解釈と例

格子は n 種類の方向への平行移動対称性の成す離散的対称変換群である。この平行移動対称性の格子のパターンは、もっと多くの対称性を含みうるが、格子自身の持つ対称変換より対称性が少なくなることはない。

3-次元の正多面体空間充填の意味での格子（例えば結晶における原子や分子の位置や、もっと一般に平行移動対称性としての群の作用の軌道）は平行移動の成す格子に翻訳することができる。平行移動に関するコセットは必ずしも原点を含むことは必要ではないので、冒頭で述べた意味では格子でない。

格子の簡単な例として、Rⁿ の部分群としての Zⁿ が挙げられる。少し込み入った例では、R²⁴ におけるリーチ格子がある。また、19世紀数学で発展した楕円函数の研究で中心的な役割を果たす R² の周期格子が挙げられる。これはアーベル函数論においてさらに高次元へ一般化される。

格子による空間分割

典型的な Rⁿ の格子 Λ は

${\displaystyle \Lambda =\left\{\sum _{i=1}^{n}a_{i}v_{i}\;|\;a_{i}\in \mathbb {Z} \right\}}$

斜方格子、菱形格子、中心矩形格子、二等辺三角格子 (cmm): 均等な間隔で並べられた列の上に均等な間隔で点が並ぶ、かつ、各列は配置間隔の半分ずつ互い違いにずれている（対称的にジグザグ）

六角格子、正三角格子 (p6m)

正方格子 (p4m)

矩形格子、原始矩形格子 (pmm)

平行体格子、歪斜格子 (p2): （非対称なジグザグ）

与えられた格子の分類のため、ある一点から始めて次に最も近い点をとる。三つ目の点は、それが同一直線上にないなら、もとの二点との距離を考える。そして、それら二つの距離より距離が小さくなるような点たちのうち、この二つの距離のうち小さいほうが最小距離となるような点たちの中で、その二つの距離のうちの大きいほうが最小距離となるようなものを選ぶ（論理同値ではないが、今の場合は単に「その二つの距離のうちの大きいほうが最小距離となるようなものを選ぶ」と言っても結果としては同じである）。

格子の5つのタイプは、三角形が等辺（正）、直角二等辺、直角、二等辺および不等辺となる各場合に対応する。斜方格子では、最短距離は菱形の対角線か辺のいずれかである。つまり、最初の二点を結ぶ線分は二等辺三角形の等辺になるかもしれないしならないかもしれない。これは菱形の小さいほうの角が 60° より小さいのか、60° と 90° の間になるのかに依存する。

一般の場合は周期格子として知られる。ベクトル p および q が格子を生成するとき、p と q の代わりに p および p − q などを取っても同じ格子が生成される。平面では一般に、ad − bc = ±1 を満たす整数 a, b, c, d を考えるとき、ap + bq および cp + dq はもとと同じ格子を生成する。これは、p, q 自身が他の二つのベクトルの整数係数線型結合となることをも保証する。どの対 p, q も平行四辺形を定めるが、その面積は全て同じ値で、それらの対のベクトル積の大きさになる。平行四辺形をひとつ決めれば、それによって平面全体を埋め尽くせる。追加の対称性を考えないならば、この平行四辺形は基本平行四辺形である。

周期格子の基本領域。画像の各「曲線三角形」は各平面格子のタイプに対してひとつの複素数を含む。グレーで塗られた部分は自然な表現で、格子上の二点 0, 1 が互いに最も近い位置にある場合に対応する（各領域の重複を避けるために境界は半分だけ含むものとする）。斜方格子はその境界上の点によって、六角格子は頂点として、正方格子は i によって、矩形格子は虚軸としてそれぞれ表現される。そして残りの部分は平行体格子を表し、その平行体の鏡像は虚軸における鏡像によって表現される。

ベクトル p および q は複素数として表現することができる。大きさと向きの違いを除けば、このような対をそれらの商として表せる。幾何学的に表示すれば、格子上の二点を 0 および 1 とし、格子上の第三点の位置を考えるのである。同じ格子を生成するという意味での同値性はモジュラー群によって表される。

${\displaystyle T\colon z\mapsto z+1}$

が表すのは、同じグリッドの第三点を取り替えることであり、

${\displaystyle S\colon z\mapsto -1/z}$

は三角形の基準とする辺 01 を別の辺に取り替えることを表す。これは一般に、格子のスケールを変えたり回転したりすることを含意する。

空間格子

三次元空間の14種類の格子のタイプは ブラベー格子と呼ばれ、それらの空間群によって特徴付けられる。特定のタイプの平行移動対称性の三次元パターンは、より多くの対称性を持ちうるが、格子自身の持つ対称性より少なくはならない。

複素空間における格子

Cⁿ における格子は Cⁿ の離散部分群で、実ベクトル空間として 2n-次元の実ベクトル空間 Cⁿ を生成するものである。例えば、ガウスの整数環は C における格子を成す。

Rⁿ における任意の格子は、階数 n の自由アーベル群であり、同様に Cⁿ における格子は階数 2n の自由アーベル群である。

リー群における格子

詳細は「局所コンパクト群における格子」を参照

より一般に、リー群 G の格子 Γ は、商 G/Γ が測度有限となるような離散的部分群である。ただし、測度は G 上のハール測度から内在的に定まる測度とする（この格子の定義は、左不変でも右不変でも、ハール測度の選び方によらない）。G/Γ がコンパクトなときは明らかにこの要件が満たされるが、それは十分条件であって必要条件ではない。なんとなれば、SL₂(R) に含まれるモジュラー群の場合を見ればよい。この場合、モジュラー群は格子になっているが、商はコンパクトではない（尖点 (cusp) が存在する）。リー群に含まれる格子の存在については一般的な結果として述べることができる。

格子が一様または余コンパクトであるとは、G/Γ がコンパクトになることを言う。さもなくば格子は非一様である。

一般のベクトル空間上の格子

通常は Rⁿ の Z-格子を考える一方で、この概念は任意の体上の任意の有限次元ベクトル空間に対して一般化することができる。それは以下のような内容である。

K を体、V を n-次元 K-ベクトル空間とし、

${\displaystyle B=\{\mathbf {v} _{1},\ldots ,\mathbf {v} _{n}\}}$

を V の K 上の基底とする。さらに、R を K に含まれる環とすれば、V において B の生成する R-格子 ${\displaystyle {\mathcal {L}}}$ は

${\displaystyle {\mathcal {L}}=\left\{\sum _{i=1}^{n}a_{i}\mathbf {v} _{i}\mid a_{i}\in R,\mathbf {v} _{i}\in B\right\}}$

で与えられる。一般に異なる基底は異なる格子を生成するが、それらの基底の間に R の一般線型群 GL_n(R) に属する遷移行列 T があれば（つまり、T の全ての成分は R に属し、T⁻¹ の全ての成分が再び R に属す。これは T の行列式が R^× に属するといってもよい。ただし R^× は R の乗法可逆元全体の成す単元群である）、それらの基底の生成する格子は同型になる。これは遷移行列 T が二つの格子の間の同型写像を誘導するからである。

このような格子で重要なものとして、K として p-進数体、R として p-進整数環をとった数論における例が挙げられる。

もしベクトル空間がさらに内積空間となっているならば、上記の格子に対してその双対格子と呼ばれる格子が

${\displaystyle {\mathcal {L}}^{*}=\{\mathbf {v} \in V\mid \langle \mathbf {v} ,\mathbf {x} \rangle \in R,\forall \mathbf {x} \in {\mathcal {L}}\}=\{\mathbf {v} \in V\mid \langle \mathbf {v} ,\mathbf {v} _{i}\rangle \in R\}}$

によって与えられる。

関連項目

• 逆格子
• 単模格子 (Unimodular lattice)
• 結晶系
• マーラーのコンパクト性定理 (Mahler's compactness theorem)
• 格子グラフ (Lattice graph)
• Lattice-based cryptography
• Merkle-Hellmanナップサック暗号

参考文献

• Conway, John Horton; Sloane, Neil J. A. (1999), Sphere Packings, Lattices and Groups, Grundlehren der Mathematischen Wissenschaften, 290 (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-98585-5, MR0920369