| date | page |
|---|---|
| Apr 08 | scissors_congruence.... |
| Apr 09 | TC.html |
| Apr 10 | monoidal_category_re... |
| Apr 11 | quasisymmetric_funct... |
| Apr 12 | directed_algebraic_t... |
| Apr 12 | mapping_space.html |
| Apr 13 | unstable_chromatic.h... |
| Apr 14 | triangulated_categor... |
| Apr 14 | triangulated_categor... |
| Apr 14 | triangulated_categor... |
| Apr 14 | thick_subcategory.ht... |
| Apr 14 | nilpotence_theorem.h... |
| Apr 14 | stable_homotopy_cate... |
| Apr 15 | Grothendieck_constru... |
| Apr 16 | singularity.html |
| Apr 16 | stratified_spaces.ht... |
| Apr 16 | stratification_and_g... |
| Apr 17 | matrix.html |
| Apr 18 | Stiefel_manifold.htm... |
| Apr 19 | generalized_quivers.... |
| Apr 20 | computer.html |
| Apr 20 | Lean.html |
| Apr 20 | software_for_proving... |
| Apr 20 | about.html |
| Apr 21 | topological_combinat... |
| Apr 22 | fibered_category.htm... |
| Apr 22 | double_category.html |
| Apr 23 | numbers.html |
| Apr 24 | word_problem.html |
| Apr 25 | plus_construction.ht... |
格子 (lattice) |
|
Euclid空間の中の格子があると, その変換群が考えられる。原点を止めて格子を格子に移す等長変換の成す群である。 原点から最も近い点の集合の変換群, つまりそれらの点を頂点とする多面体の変換群となる。 頂点が格子点である凸多面体を lattice polytope という。
より一般には, 自由Abel群に内積が定義されているものを lattice と呼ぶ。 格子は, sphere packing の問題を考えるときには, 当然その中心となるものであるが, sphere packing で重要な格子の変換群には, 重要な有限群が現われる。 例えば, Leech lattice という\(24\)次元の lattice の変換群は, Conway が発見した \(\cdot 0\) という群であるが, そこから, \(\cdot 1\) と \(\cdot 2\) と \(\cdot 3\) という sporadic group を作ることができる。
T.M. Thompson の [Tho83] には, Conway がどのように \(\cdot 0\) を発見したかが詳しく書いてあり, 興味深い。Conway は, 土曜日の\(12\)時から\(0\)時までと, 水曜日の\(18\)時から\(0\)時まで, Leech lattice の変換群が分かるまで何ヶ月も続けようと考えていたようである。 Conway と Smith の本 [CS03] には, 四元数と八元数の格子に関することが書いてあるが, まずはこの本でこれらの低い次元の場合に慣れ親しんでおくのがよいかもしれない。 References
|