建物 (数学)

数学における（ティッツの、あるいはブリュア–ティッツの）建物ブルバキ『リー群とリー環 3』杉浦光夫訳、東京図書（たてもの、, ）は、とジャック・ティッツに名を因む、旗多様体、有限射影平面およびのある種の側面を一斉に一般化する組合せ論的かつ幾何学的な構造である。初め、建物はジャック・ティッツによっての構造を理解するための手段として導入され、その理論は自由群の研究に木が用いられたのと同じ仕方で、 p-進リー群その離散的対称変換部分群の等質空間の幾何および位相を研究するのにも用いられた。

概観建物の概念は、ジャック・ティッツによって、任意の体上の単純代数群を記述するための手段として考案された。ティッツはそのような種類の任意の群が、の球建物あるいは球面型建物と呼ばれる、の作用を持つ単体的複体にどのように対応させられるかを具体的に示して見せた。群はこの方法によって得られる複体に、非常に強い組合せ論的正則性条件を強いることになる。それらの条件を単体的複体のクラスに対する公理として扱うことにより、ティッツは建物の最初の定義に到達した。建物を定義するデータの一部は、ワイル群と呼ばれるある種のコクセター群であり、これはコクセター複体と呼ばれる高度に対称的な単体的複体を決定する。建物は、そのアパートと呼ばれるの複数のコピーをある正則なやり方で貼合せることによって得られる。が有限型コクセター群ならば、コクセター複体は位相的球面であり、対応する建物は球面型と呼ばれる。がアフィンワイル群（つまり、コクセター群としてアフィン）ならば、コクセター複体はアフィン平面の細分であり、建物はアフィン型あるいはユークリッド型であるという。-型のアフィン型建物は、終端頂点を持たない無限木と同じものである。

半単純代数群の理論は建物の概念に対する最初の動機を与えるものであったけれども、全ての建物が群から得られるわけではない。特に、射影平面およびは、において研究される、建物の公理を満足するが群と無関係であるような、グラフの二つのクラスを形成する。この現象は、対応するコクセター系が低階数（つまり二階）であるようなものに関係することが分かる。ティッツは、階数が以上の任意の球面型建物は群に関連する。さらに階数が以上の建物が群に関連するならば、その群は建物によって本質的に決定される。という驚くべき定理を証明した。

岩堀-松本、ボレル-ティッツ、およびブリュア-ティッツは、球面型建物に関するティッツの構成のアナロジーとして、アフィン型建物もある種の群（つまり非アルキメデス局所体上の簡約代数群）から構成できることを示した。さらに、そのような群の分裂階数が以上であるならば、それは本質的にその建物から決定される。後にティッツは、建物の理論の基礎となる部分を、専ら最も大きい次元の単体の隣接性のみを用いて建物の情報を記述する、小部屋系の概念を用いて再構成している。これにより、球面型、アフィン型ともに簡略化されることとなった。ティッツは球面型の場合のアナロジーとして、アフィン型の階数が 4 以上の任意の建物が群から得られるということを示した。

定義 -次元建物はであって、アパートと呼ばれる以下の条件を満たす部分複体の和となっているようなものである。

の各 -単体は、ならば少なくとも三つの -単体に含まれる。アパートに属する任意の -単体はちょうど二つの隣接するの -単体に含まれる、かつ隣接 -単体のグラフは連結である。に属する任意の二つの単体に対し、それらをともに含むアパートが存在する。二つの単体が、二つのアパートおよびのいずれにも含まれるならば、からの上への単体同型で、二つの単体の頂点を固定するものが存在する。

に属する -単体を部屋または小部屋と呼ぶ。

この建物の階数はと定められる。

基本的性質建物の任意のアパートはコクセター複体である。実は、平行または -次元単体で交わる任意の二つの -次元単体に対して、の鏡映と呼ばれる周期の単体的自己同型で、二つの -単体の共有点を動かさず、一方を他方の上に移すようなものが一意的に存在する。このような鏡映はのワイル群と呼ばれるコクセター群を生成し、単体的複体はの標準幾何的実現に対応する。このコクセター群の標準生成系はのある固定された小部屋の壁（境界となる -次元の単体）に関する鏡映によって与えられる。アパートは同型を除いて建物によって決定されるから、同じことは共通のアパートに属するの任意の二つの単体に対しても正しい。が有限型のとき、建物は球面的であると言い、アフィンワイル群となるとき建物はアフィンあるいはユークリッド型であるという。

小部屋系は小部屋の全体の成す隣接グラフによって与えられ、さらに隣接する小部屋の各対に対してコクセター群の標準生成元によるラベル付けを行ったものである。

任意の建物は、頂点をヒルベルト空間の正規直交基底と同一視することによって得られる幾何的実現から受け継がれる標準を持つ。アフィン型建物に対して、標準長さはの比較不等式を満足する。この設定は測地三角形に対するブリュア-ティッツの非正値曲率条件として知られる。つまり、頂点から対辺の中点までの距離は、辺長が同じであるような対応するユークリッド的三角形での距離よりも大きくはならない。

ティッツ系との関係群の建物への単体的な作用が、小部屋とそれを含むアパートの対の上に推移的であるとき、そのような対の安定部分群としてBN対あるいはティッツ系と呼ばれるものが定まる。実は、部分群の対およびはBN対の公理を満足し、そのワイル群はと同一視される。逆に、建物はBN対から復元することができるから、任意のBN対は自然に建物を定義する。実は、BN対の用語法を用いて、の任意の共軛を、ボレル部分群を含むような部分群を抛物型部分群と呼べば、次のことが言える。建物の頂点は極大抛物型部分群に対応する。個の頂点は、対応する抛物型部分群の交わりが再び坊物型となるときは常に、-次元単体を成す。アパートは、を含む極大抛物型部分群の -共軛によって与えられる頂点全体から成る単体的部分複体と -共軛である。

同じ建物が、相異なるBN対によって記述されることもしばしば起こる。さらに、必ずしも全ての建物がBN対から得られるものではない。これは階数や次元が低い場合に、分類が上手くいかないことに対応している（後述）。

SL に対する球面型・アフィン型建物に対応するアフィン型および球面型の建物の単体構造は、それらの相互接続同様、初等的な代数学および幾何学の概念のみを用いて直接的に説明することが容易である。この場合、三種類の異なる建物が存在する（球面型二種類とアフィン型一種類）。それぞれは「アパート」の和として、それ自身単体的複体である。アフィン群に対して、アパートは単にユークリッド空間の等辺 -次元単体による標準空間分割から得られる単体複体である。一方、球面型建物に対しては、アパートは与えられた共通の頂点に関する個の単体全体の成す有限型単体的複体で、の空間分割に対応する。

各建物は単体的複体であって、以下の公理はアパートの和集合である。の任意の二つの単体は共通のアパートに含まれる。単体が二つのアパートに含まれるならば、一方のアパートから他方への単体同型で、共有点を固定するようなものが存在する。を満足するものでなければならない。

球面型建物体と、の非自明な部分線型空間を頂点とするような単体的複体を考える。ただし、二つの頂点（つまり部分空間）が連結されるのは、一方が他方の部分集合となっているときとする。の -次元単体は互いに連結された個の部分空間からなる集合であり、連結性が極大となるのは、個の部分空間をとったときであり、対応する -次元単体は

である。低次元単体は中間部分空間のより少ない部分旗に対応する。

のアパートを定義するために、の枠（順序付けられた基底）を定義することは有効である。枠は、基底から、その各ベクトルのスカラー倍の違いを除いたものとして決まる。別な言い方をすれば、枠は一次元部分空間たちの成す集合で、それらのうちの任意の個が必ず -次元部分空間を張るようなものをいう。いま、順序付けられた枠から

とおくことにより極大旗を定める。たちの順番を入れ替えたものもやはり枠となるから、たちの和として得られるこのような部分空間の全体が球面型建物のアパートに対して初期の型の単体的複体をなすことが直接的に分かる。建物の公理を満足することは、ジョルダン・ヘルダー分解の一意性証明に用いられる古典的なを用いれば容易に示せる。

アフィン型建物を有理数体と -進数体との中間体とする（は、適当な素数に対する上の通常の非アルキメデス的 p-進ノルムに関するの p-進完備化）。またを

で定まるの部分環とする。のときは有理整数環の p における局所化であり、のときは -進整数環（すなわちにおけるの閉包）。

建物の頂点はの -格子すなわち

の形の -部分加群である。ただし、はの上の基底である。二つの格子が互いに同値であるとは、一方が他方のの乗法群の元（実は、-冪となる整数のみが必要である）によるスカラー倍となるときにいう。また、二つの格子が隣接するとは、に同値な格子でとその部分格子の間にあるものが存在するときに言う（この関係は対称的である）。の -次元単体は個の互いに隣接する格子からなるクラスに同値であり、-次元単体は、適当にラベルを付け替えれば、鎖

に対応する。ただし、それぞれの隣り合う項の商は位数を持つものとする。アパートはの固定された基底に対して基底に関する格子全体をとることによって定義される。ただし、はの元で、各成分に同じ整数を加える違いを除いて一意的に定まるものとする。

定義により、このような各アパートは所期の形となり、それらの和は全体と一致する。二番目の公理は、シュライヤー細分の一種から従う。最後の公理を満たすことは

の形の有限アーベル群の順序に基づく単純な数え上げ法によって示される。標準コンパクト性論法により、が実はの取り方に独立であることが示される。特に、ととればの可算性が従う。他方、をとれば、定義からが建物に自然な単体作用を持つことが分かる。

この建物は、その頂点にに値を持つ「ラベル付け」を持つものになる。実際、格子を固定すれば、のラベルは十分大きなに対して

で与えられる。の任意の -次元単体はの全体を亘ってそれぞれ相異なるラベルを持つ。の任意の単体自己同型はの置換でを満たすようなものを定める。特にをの元とすれば、

が成り立つ。故に、がラベルを保つのはがに属するときである。

自己同型ティッツは、アフィン型建物のラベルを保つ任意の自己同型がの元から得られることを示した。建物の自己同型はラベルの置換を引き起こすから、自然な準同型

が存在する。の作用は -巡回置換を生じる。建物のほかの自己同型は、ディンキン図形の自己同型に関係のあるのから得られる。正規直交基底に関する標準対称双線型形式をとるとき、格子をその双対格子に移す写像は、（各ラベルを法に関する反数へ移すような置換を与えるとき）平方が恒等変換となるような自己同型を与える。上記の準同型の像はとによって生成され、位数の二面体群 Dn に同型となる。のときはこれはと一致する。

をの有限次ガロワ拡大とし、建物をの代わりにから構成されるものとすると、ガロワ群はこの建物の上にも自己同型として作用する。

幾何学的関係球面型建物は、に対するアフィン型建物に関連した二種類のきわめて異なる方法から得られる。

アフィン型建物の各頂点のは、有限体のもとでの部分加群に対応する。これはの球面型建物に他ならない。アフィン型建物は、に対する球面型建物を「無限遠」における境界として加えることにより、コンパクト化することができる。

分類ティッツは、階数がより大きい任意の既約球面型建物（つまり有限型ワイル群を持つ建物）が単純代数群または古典群に対応することを示した。同様のことが、次元がよりも大きい既約アフィン型建物（これは「無限遠」において階数がよりも大きい球面型建物になる）についても成立する。低階数あるいは低次元においては、このような分類は存在しない。実際、任意のから階数の球面型建物が得られる。また、ボールマンとブリンは、有限射影平面内のに同型な頂点のリンクを持つ任意の二次元単体的複体が、必ずしも古典的でない建物の構造を持つことを示した。多くの二次元アフィン型建物が、双曲的や他のに関連するより奇妙な構造を用いて構成された。

ティッツは、建物が常に群のティッツ系によって記述されるならば、殆どすべての場合において建物の自己同型は群の自己同型に対応することも示した。

応用建物に理論は、いくつかの全く異なった分野に重要な応用を持つ。一般の局所体上の簡約代数群の構造に関してすでに述べたことに加えて、建物はそれらの群の表現の研究にも用いられる。建物による群の決定についてのティッツの結果は、モストウとマーグリスの剛性定理およびマーグリスの算術性に深い関連がある。

球面型建物は離散幾何学において研究され、有限単純群の分類問題において単純群の特徴付けに対する幾何学的手法の考え方が非常に実り豊かなものであることが証明された。球面型やアフィン型以外のより一般の種類の建物の理論は、未だ比較的発達していないけれども、しかし既にこれらの一般化された建物は、代数学におけるカッツ・ムーディ群や位相幾何学および幾何学的群論における非正値的に曲がった多様体およびの構成に応用が見出されている。

建物 (数学)

Źródło i licencja