建物 (数学)のソースを表示

[[数学]]における（ティッツの、あるいはブリュア&ndash;ティッツの）'''建物'''<ref name="jname">ブルバキ『リー群とリー環 3』杉浦光夫訳、東京図書</ref>（たてもの、{{lang-en-short|''building''}}, {{lang-fr-short|''immeuble''}}）は、{{ill2|フランソワ・ブリュア|en|François Bruhat}}と[[ジャック・ティッツ]]に名を因む、[[旗多様体]]、有限[[射影平面]]および{{ill2|リーマン対称空間|en|Riemannian symmetric space}}のある種の側面を一斉に一般化する組合せ論的かつ幾何学的な構造である。初め、建物はジャック・ティッツによって{{ill2|リー型の群|label=リー型の例外群|en|Group of Lie type}}の構造を理解するための手段として導入され、その理論は[[自由群]]の研究に[[木 (数学)|木]]が用いられたのと同じ仕方で、[[p進リー群| ''p''-進リー群]]その離散的対称変換部分群の[[等質空間]]の幾何および位相を研究するのにも用いられた。

== 概観 ==
建物の概念は、[[ジャック・ティッツ]]によって、任意の[[可換体|体]]上の[[リー型の群|単純代数群]]を記述するための手段として考案された。ティッツはそのような種類の任意の[[群 (数学)|群]] {{mvar|G}} が、{{mvar|G}} の球建物あるいは'''球面型建物''' {{lang|en|(''spherical building'')}} と呼ばれる、{{mvar|G}} の[[群作用|作用]]を持つ[[単体的複体]] {{math|1=Δ = Δ(''G'')}} にどのように対応させられるかを具体的に示して見せた。群 {{mvar|G}} はこの方法によって得られる複体 {{math|Δ}} に、非常に強い組合せ論的正則性条件を強いることになる。それらの条件を単体的複体のクラスに対する公理として扱うことにより、ティッツは建物の最初の定義に到達した。建物 {{math|Δ}} を定義するデータの一部は、ワイル群と呼ばれるある種の[[コクセター群]] {{mvar|W}} であり、これは'''コクセター複体'''と呼ばれる高度に対称的な単体的複体 {{math|1=Σ = Σ(''W'',''S'')}} を決定する。建物 {{math|Δ}} は、その'''アパート'''<ref name="jname" />と呼ばれる {{math|Σ}} の複数のコピーをある正則なやり方で貼合せることによって得られる。{{mvar|W}} が有限型コクセター群ならば、コクセター複体は位相的球面であり、対応する建物は'''球面型''' {{lang|en|(''spherical type'')}} と呼ばれる。{{mvar|W}} がアフィンワイル群（つまり、コクセター群として[[コクセター群#アフィンコクセター群|アフィン]]）ならば、コクセター複体はアフィン平面の細分であり、建物は'''アフィン型'''あるいは'''ユークリッド型'''であるという。{{math|{{tilde|''A''}}{{sub|1}}}}-型のアフィン型建物は、終端頂点を持たない無限[[木 (数学)|木]]と同じものである。 

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

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

== 定義 ==
{{mvar|n}}-次元'''建物''' {{mvar|X}} は{{ill2|抽象単体的複体|en|Abstract simplicial complex}}であって、'''アパート''' {{lang|en|(''apartments'')}} と呼ばれる以下の条件を満たす部分複体 {{mvar|A}} の和となっているようなものである。

* {{mvar|X}} の各 {{mvar|k}}-単体は、{{math|''k'' &lt; ''n''}} ならば少なくとも三つの {{mvar|n}}-単体に含まれる。
* アパート {{mvar|A}} に属する任意の {{math|(''n'' − 1)}}-単体はちょうど二つの'''隣接する''' {{lang|en|(''adjacent'')}} {{mvar|A}} の {{mvar|n}}-単体に含まれる、かつ隣接 {{mvar|n}}-単体の[[グラフ理論|グラフ]]は連結である。
* {{mvar|X}} に属する任意の二つの単体に対し、それらをともに含むアパート {{mvar|A}} が存在する。
* 二つの単体が、二つのアパート {{mvar|A}} および {{mvar|A&prime;}} のいずれにも含まれるならば、{{mvar|A}} から {{mvar|A&prime;}} の上への単体同型で、二つの単体の頂点を固定するものが存在する。

{{mvar|A}} に属する {{mvar|n}}-単体を'''部屋'''<ref name="jname" />または'''小部屋''' {{lang|en|(''chamber'', }}{{lang|fr|''chambre'')}} と呼ぶ。 

この建物の'''階数'''は {{math|''n'' + 1}} と定められる。

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

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

任意の建物は、頂点を[[ヒルベルト空間]]の[[正規直交系|正規直交基底]]と同一視することによって得られる幾何的実現から受け継がれる標準{{ill2|内在的計量|label=長さ函数|en|Intrinsic metric}}を持つ。アフィン型建物に対して、標準長さは{{ill2|アレクサンドル・ダニロヴィッチ・アレクサンドロフ|label=アレクサンドロフ|en|Aleksandr Danilovich Aleksandrov}}の比較不等式{{ill2|CAT(k)空間|label=CAT(0)|en|CAT(k) space}}を満足する。この設定は測地三角形に対するブリュア-ティッツの'''非正値曲率条件'''として知られる。つまり、頂点から対辺の中点までの距離は、辺長が同じであるような対応するユークリッド的三角形での距離よりも大きくはならない{{sfn|Bruhat|Tits|1972}}。

== ティッツ系との関係 ==
群 {{mvar|G}} の建物 {{mvar|X}} への単体的な作用が、小部屋 {{mvar|C}} とそれを含むアパート {{mvar|A}} の対の上に推移的であるとき、そのような対の安定部分群としてBN対あるいは[[ティッツ系]]と呼ばれるものが定まる。実は、部分群の対 
: {{math|''B'' {{coloneqq}} ''G{{sub|C}}''}} および {{math|''N'' {{coloneqq}} ''G{{sub|A}}''}}
はBN対の公理を満足し、そのワイル群は {{math|''N''/''N''&cap;''B''}} と同一視される。逆に、建物はBN対から復元することができるから、任意のBN対は自然に建物を定義する。実は、BN対の用語法を用いて、{{mvar|B}} の任意の共軛を{{ill2|ボレル部分群|en|Borel subgroup}}、ボレル部分群を含むような部分群を抛物型部分群と呼べば、次のことが言える。
* 建物 {{mvar|X}} の頂点は極大抛物型部分群に対応する。
* {{math|''k'' + 1}} 個の頂点は、対応する抛物型部分群の交わりが再び坊物型となるときは常に、{{mvar|k}}-次元単体を成す。
* アパートは、{{mvar|B}} を含む極大抛物型部分群の {{mvar|N}}-共軛によって与えられる頂点全体から成る単体的部分複体と {{mvar|G}}-共軛である。

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

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

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

=== 球面型建物 ===
[[可換体|体]] {{mvar|F}} と、{{math|''V'' {{coloneqq}} ''F{{sup|n}}''}} の非自明な部分線型空間を頂点とするような単体的複体{{mvar|X}} を考える。ただし、二つの頂点（つまり部分空間）{{math|''U''{{sub|1}}, ''U''{{sub|2}}}} が連結されるのは、一方が他方の部分集合となっているときとする。{{mvar|X}} の {{mvar|k}}-次元単体は互いに連結された {{math|''k'' + 1}} 個の部分空間からなる集合であり、連結性が極大となるのは、{{math|''n'' &minus; 1}} 個の部分空間をとったときであり、対応する {{math|(''n'' &minus; 2)}}-次元単体は{{ill2|旗 (線型代数学)|label=極大旗|en|Flag (linear algebra)}}
: <math>(0) \subset U_1 \subset \cdots \subset U_{n-1}\subset V</math>
である。低次元単体は中間部分空間 {{mvar|U{{sub|i}}}} のより少ない部分旗に対応する。  

{{mvar|X}} のアパートを定義するために、{{mvar|V}} の'''枠'''（順序付けられた基底）を定義することは有効である。枠は、基底 {{math|{{mset|''v{{sub|i}}''}}}} から、その各ベクトル {{mvar|v{{sub|i}}}} のスカラー倍の違いを除いたものとして決まる。別な言い方をすれば、枠は一次元部分空間 {{math|''L{{sub|i}}'' {{coloneqq}} ''Fv{{sub|i}}''}} たちの成す集合で、それらのうちの任意の{{mvar|k}} 個が必ず {{mvar|k}}-次元部分空間を張るようなものをいう。いま、順序付けられた枠 {{math|''L''{{sub|1}}, …, ''L{{sub|n}}''}} から
: <math>U_i := L_1\oplus \cdots\oplus L_i</math>
とおくことにより極大旗を定める。{{mvar|L{{sub|i}}}} たちの順番を入れ替えたものもやはり枠となるから、{{mvar|L{{sub|i}}}} たちの和として得られるこのような部分空間の全体が球面型建物のアパートに対して初期の型の単体的複体をなすことが直接的に分かる。建物の公理を満足することは、[[ジョルダン・ヘルダー分解]]の一意性証明に用いられる古典的な{{ill2|シュライヤーの細分定理|label=シュライヤーの細分論法|en|Schreier refinement theorem}}を用いれば容易に示せる。

=== アフィン型建物 ===
{{mvar|K}} を有理数体 {{mathbf|ℚ}} と {{mvar|p}}-進数体 {{math|'''ℚ'''{{sub|''p''}}}} との中間体とする（{{math|'''ℚ'''{{sub|''p''}}}} は、適当な素数 {{mvar|p}} に対する {{mathbf|ℚ}} 上の通常の[[アルキメデスの性質|非アルキメデス的]][[p進絶対値| ''p''-進ノルム]] {{math|{{norm|''x''}}{{sub|''p''}}}} に関する {{mathbf|ℚ}} の[[p進数| ''p''-進完備化]]）。また {{mvar|R}} を
:<math> R := \{x: \| x\|_p\le 1\}</math>
で定まる {{mvar|K}} の[[部分環]]とする。{{math|''K'' {{coloneqq}} '''ℚ'''}} のとき {{mvar|R}} は有理整数環 {{mathbf|ℤ}} の ''p'' における[[環の局所化|局所化]] {{math|'''ℤ'''{{sub|(''p'')}}}} であり、{{math|''K'' {{coloneqq}} '''ℚ'''{{sub|''p''}}}} のとき {{mvar|R}} は [[p進数|{{mvar|p}}-進整数]]環 {{math|'''ℤ'''{{sub|''p''}}}}（すなわち {{math|'''ℚ'''{{sub|''p''}}}} における {{mathbf|ℤ}} の閉包）。

建物{{mvar|X}} の頂点は {{math|''V'' {{coloneqq}} ''K{{sup|n}}''}} の {{mvar|R}}-格子すなわち 
: <math>L := Rv_1\oplus\cdots\oplus Rv_n</math>
の形の {{mvar|R}}-[[部分加群]]である。ただし、{{math|(''v{{sub|i}}'')}} は {{mvar|V}} の {{mvar|K}} 上の基底である。二つの格子が互いに'''同値'''であるとは、一方が他方の {{mvar|K}} の乗法群 {{mvar|K*}} の元（実は、{{mvar|p}}-冪となる整数のみが必要である）によるスカラー倍となるときにいう。また、二つの格子 {{math|''L''{{sub|1}}, ''L''{{sub|2}}}} が'''隣接'''する {{lang|en|(''adjacent'')}} とは、{{math|''L''{{sub|2}}}} に同値な格子で {{math|''L''{{sub|1}}}} とその部分格子 {{math|''pL''{{sub|1}}}} の間にあるものが存在するときに言う（この関係は対称的である）。{{mvar|X}} の {{mvar|k}}-次元単体は {{math|''k'' + 1}} 個の互いに隣接する格子からなるクラスに同値であり、{{math|(''n'' &minus; 1)}}-次元単体は、適当にラベルを付け替えれば、鎖
: <math>pL_n\subset L_1\subset L_2\subset\cdots\subset L_{n-1}\subset L_n</math>
に対応する。ただし、それぞれの隣り合う項の商は位数 {{mvar|p}} を持つものとする。アパートは {{mvar|V}} の固定された基底 {{math|(''v{{sub|i}}'')}} に対して基底 {{math|(''p{{sup|a{{sub|i}}}}&sdot;v{{sub|i}}'')}} に関する格子全体をとることによって定義される。ただし、{{math|(''a{{sub|i}}'')}} は {{math|'''ℤ'''{{sup|''n''}}}} の元で、各成分に同じ整数を加える違いを除いて一意的に定まるものとする。 

定義により、このような各アパートは所期の形となり、それらの和は {{mvar|X}} 全体と一致する。二番目の公理は、シュライヤー細分の一種から従う。最後の公理を満たすことは
: <math>(L + p^k L_i)/ p^k L_i</math>
の形の有限アーベル群の順序に基づく単純な数え上げ法によって示される。標準コンパクト性論法により、{{mvar|X}} が実は {{mvar|K}} の取り方に独立であることが示される。特に、{{math|''K'' {{coloneqq}} '''ℚ'''}} ととれば {{mvar|X}} の可算性が従う。他方、{{math|''K'' {{coloneqq}} '''ℚ'''{{sub|''p''}}}} をとれば、定義から {{math|''GL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} が建物 {{mvar|X}} に自然な単体作用を持つことが分かる。

この建物は、その頂点に {{math|'''ℤ'''/{{mvar|n}}'''ℤ'''}} に値を持つ「ラベル付け」を持つものになる。実際、格子 {{mvar|L}} を固定すれば、{{mvar|M}} のラベルは十分大きな {{mvar|k}} に対して
: <math>\operatorname{label}(M) = \log_p |M/p^k L| \bmod n</math>
で与えられる。{{mvar|X}} の任意の {{math|(''n'' – 1)}}-次元単体は {{math|'''ℤ'''/{{mvar|n}}'''ℤ'''}} の全体を亘ってそれぞれ相異なるラベルを持つ。{{mvar|X}} の任意の単体自己同型 {{mvar|φ}} は {{math|'''ℤ'''/{{mvar|n}}'''ℤ'''}} の置換 {{mvar|π}} で {{math|1=label(φ(''M'')) = ''π''(label(''M''))}} を満たすようなものを定める。特に {{mvar|g}} を {{math|''GL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} の元とすれば、
: <math>\operatorname{label}(gM) = \text{label}(M) + \log_p \| \det g \|_p \bmod n</math>
が成り立つ。故に、{{mvar|g}} がラベルを保つのは {{mvar|g}} が {{math|''SL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} に属するときである。

=== 自己同型 ===
ティッツは、アフィン型建物のラベルを保つ任意の[[自己同型]]が {{math|''SL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} の元から得られることを示した。建物の自己同型はラベルの置換を引き起こすから、自然な準同型
: <math>\operatorname{Aut} X\to S^n</math>
が存在する。{{math|''GL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} の作用は [[巡回置換|{{mvar|n}}-巡回置換]] {{mvar|τ}} を生じる。建物のほかの自己同型は、[[ディンキン図形]]の自己同型に関係のある {{math|''SL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} の{{ill2|外部自己同型群|label=外部自己同型|en|Outer automorphism group}}から得られる。正規直交基底 {{math|{{mset|''v{{sub|i}}''}}}} に関する標準対称双線型形式をとるとき、格子をその双対格子に移す写像は、（各ラベルを法 {{mvar|n}} に関する反数へ移すような置換 {{mvar|σ}} を与えるとき）平方が恒等変換となるような自己同型を与える。上記の準同型の像は {{mvar|σ}} と {{mvar|τ}} によって生成され、位数 {{math|2''n''}} の[[二面体群]] ''D''<sub>''n''</sub> に同型となる。{{math|1=''n'' = 3}} のときはこれは {{math|''S''{{sub|3}}}} と一致する。

{{mvar|E}} を {{math|'''ℚ'''{{sub|''p''}}}} の有限次[[ガロワ拡大]]とし、建物を {{math|''SL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} の代わりに {{math|''SL{{sub|n}}''(''E'')}} から構成されるものとすると、[[ガロワ群]] {{math|Gal(''E''/'''ℚ'''{{sub|''p''}})}} はこの建物の上にも自己同型として作用する。

=== 幾何学的関係 ===
球面型建物は、{{math|''SL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} に対するアフィン型建物 {{mvar|X}} に関連した二種類のきわめて異なる方法から得られる。
 
* アフィン型建物 {{mvar|X}} の各頂点の{{ill2|リンク (幾何学)|label=リンク|en|Link (geometry)}} {{mvar|L}} は、有限体 {{math|1=''F'' {{coloneqq}} ''R''/''pR'' = '''ℤ'''/(''p'')}} のもとで {{mvar|L/pL}} の部分加群に対応する。これは {{math|''SL{{sub|n}}''(''F'')}} の球面型建物に他ならない。
* アフィン型建物 {{mvar|X}} は、{{math|''SL{{sub|n}}''('''ℚ'''{{sub|''p''}})}} に対する球面型建物を「無限遠」における境界として加えることにより、[[コンパクト化]]することができる{{sfn|Garrett|1997}}{{sfn|Brown|1989}}。

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

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

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

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

== 関連項目 ==
{{div col|20em}}
* {{ill2|Buekenhout幾何学|en|Buekenhout geometry}}
* [[コクセター群]]
* [[ティッツ系]] (or BN対)
* {{ill2|アフィンヘッケ環|en|Affine Hecke algebra}}
* [[ブリュア分解]]
* [[一般化された多角形]]
* [[ティッツ幾何]]
* [[双子建物]] (Twin building)
* [[双曲的建物]] (Hyperbolic building)
* [[ティッツの単純性定理]] (Tits simplicity theorem)
* {{ill2|コクセター複体|en|Coxeter complex}}
* {{ill2|ワイル距離函数|en|Weyl distance function}}
{{div col end}}

== 注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist}}
=== 出典 ===
{{reflist}}
== 参考文献 ==
* {{citation|last=Brown|first= Kenneth S.|title= Buildings|publisher= Springer-Verlag|year= 1989|isbn= 0-387-96876-8 |ref= harv}}
*{{citation|first=François|last= Bruhat|first2=   Jacques|last2= Tits|title=Groupes réductifs sur un corps local, I. Données radicielles valuées|journal= Publ. Math. IHES |volume= 41  |year=1972|pages= 5–251|url=http://www.numdam.org/item?id=PMIHES_1972__41__5_0 |ref= harv}}
* {{citation|last=Garrett|first=Paul|title=Buildings and Classical Groups|publisher= Chapman & Hall|year=1997|isbn= 0-412-06331-X|url=http://www.math.umn.edu/~garrett/m/buildings |ref= harv}}
* {{citation|last=Pott|first=Alexander| title= Finite Geometry and Character Theory|series=Lect. Notes in Math. |volume=1601| publisher=Springer-Verlag| year=1995|isbn=354059065X|doi=10.1007/BFb0094449 |ref= harv}}
* {{citation|first=Jacques|last=Tits|title=Buildings of spherical type and finite BN-pairs|series= Lecture Notes in Mathematics|volume=386|publisher= Springer-Verlag|year=1974 |isbn=0-387-06757-4|doi=10.1007/BFb0057391 |ref= harv}}
*{{citation|last=Tits|first=Jacques|chapter=A local approach to buildings|title=The geometric vein: The Coxeter Festschrift|pages= 519–547|publisher= Springer-Verlag| year=1981|isbn=0387905871 |ref= harv}}

== 関連文献 ==
*{{citation|first=Werner|last=Ballmann|first2=Michael|last2=Brin|title=Orbihedra of nonpositive curvature|
journal=Publications Mathématiques de l'IHÉS|volume= 82 |year=1995|pages=169–209|url=http://www.numdam.org/item?id=PMIHES_1995__82__169_0}} 
*{{citation|first=Sylvain|last=Barré|title=Polyèdres finis de dimension 2 à courbure ≤ 0 et de rang 2|journal=Ann. Inst. Fourier|volume=45|year=1995|pages=1037–1059|url=http://www.numdam.org/numdam-bin/fitem?id=AIF_1995__45_4_1037_0 }}
* {{citation|first=Sylvain|last=Barré|first2=Mikaël|last2=Pichot|title=Sur les immeubles triangulaires et leurs automorphismes|journal=Geom. Dedicata|volume=130|year=2007|pages=71–91|url=http://web.univ-ubs.fr/lmam/barre/henri.pdf|doi=10.1007/s10711-007-9206-0 }}
* {{citation|last=Bourbaki|first= Nicolas|title=Lie Groups and Lie Algebras: Chapters 4-6|series =Elements of Mathematics|publisher=Hermann|year=1968|isbn=3-540-42650-7}}
*{{SpringerEOM|title=Tits building|last= Kantor|first=William M.|urlname=Tits_building}}
* {{citation|first=William M.|last= Kantor|chapter=Generalized polygons, SCABs and GABs|editor-first=  L.A. |editor-last=Rosati |title= Buildings and the Geometry of Diagrams (CIME Session, Como 1984) |series= Lect. notes in math. |volume= 1181 |publisher= Springer  |year=1986|pages= 79–158|doi=10.1007/BFb0075513}}
* {{citation|last=Ronan|first=Mark| title= A construction of buildings with no rank 3 residues of spherical type|series=Lect. Notes in Math.|volume=1181| publisher=Springer-Verlag| year=1995|pages=159–190|doi=10.1007/BFb0075518}}
*{{citation|mr=1148671|last=  Ronan|first= Mark |title=Buildings: main ideas and applications. II. Arithmetic groups, buildings and symmetric spaces|journal= Bull. London Math. Soc. |volume= 24  |year=1992|issue= 2|pages= 97–126|doi=10.1112/blms/24.2.97}}
*{{citation|mr=1139056|last= Ronan|first= Mark|title= Buildings: main ideas and applications. I. Main ideas.|journal= Bull. London Math. Soc. |volume=24 |year=1992|issue= 1|pages= 1–51|doi=10.1112/blms/24.1.1}}
* {{citation|last=Ronan|first= Mark| title=Lectures on buildings| series=Perspectives in Mathematics '''7'''|publisher= Academic Press| year=1989|isbn= 0-12-594750-X}} 
*{{citation|first=Jacques|last= Tits|chapter=Immeubles de type affine|editor-first=  L.A. |editor-last=Rosati |title= Buildings and the Geometry of Diagrams (CIME Session, Como 1984) |series= Lect. notes in math. |volume= 1181 |publisher= Springer  |year=1986|pages= 159–190|doi=10.1007/BFb0075514}}
*{{citation|last=Weiss|first =Richard M.|title=The structure of spherical buildings|publisher=Princeton University Press|year= 2003|isbn= 0-691-11733-0}}

== 外部リンク ==
* {{Cite journal|和書|author=吉荒聡 |date=2001-06 |url=https://hdl.handle.net/2433/41176 |title=群と幾何における最近の動向 (群論とその周辺 : 総括と展望) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=1214 |pages=122-136 |hdl=2433/41176 |CRID=1050845760445270016 |ref=harv}}
* {{en icon}} {{citation|first=Guy|last=Rousseau |url=https://hal.science/hal-00094363/ |title=Euclidean Buildings |journal= Géométries à courbure négative ou nulle, groupes discrets et rigidité |date= Jun 2004 |location= Grenoble, France.|publisher= Société Mathématique de France |volume= 18 |pages=77-116|year= 2008 |series= Séminaires et congrès}}
* {{MathWorld|urlname=Building|title=Building}}
* {{nlab|urlname=building|title=building}}
* {{SpringerEOM|urlname=Tits_building|title=Tits building|first=W.M.|last=Kantor}}
* {{SpringerEOM|urlname=Bruhat-Tits_building|title=Bruhat-Tits building|first=E.|last=Landvogt}}

{{DEFAULTSORT:たてもの}}
[[Category:群論]]
[[Category:代数的組合せ論]]
[[Category:幾何学的群論]]
[[Category:数学的構造]]
[[Category:数学に関する記事]]