完全不連結群

数学において、完全非連結群(totally disconnected group)とは完全非連結な位相群のことである。 完全非連結群はハウスドルフである。 局所コンパクトな完全非連結群（td-型の群、 局所副有限群、t.d.群, TDLC群などと呼ばれる)は興味深い対象である。完全非連結群がコンパクトである場合、すなわち副有限群である場合については十分に研究されてきたが、長い間その一般的な場合である局所コンパクトな完全非連結群についてはあまり知られていなかった。1930年代では「局所コンパクトな完全非連結群はコンパクト開部分群をもつ」というvan Dantzigの定理が知られているのみであった。 局所コンパクトな完全非連結群に関する画期的な業績は1994年になされた;George Willsは、任意の局所コンパクト完全非連結群は"整然部分群"と、"スケール関数"と呼ばれる整然部分群の自己同型写像上の特殊な関数（定義は後述）を持つことを示し、これによって局所的な完全非連結群の構造に関する知識が向上した。完全非連結群の大域的な構造に関する進歩は2011年にCapraceとMonodによって得られ、その中でも特性単純群とそのネーター群の分類は際立ったものである。 局所コンパクト完全非連結群において、単位元の任意の近傍はコンパクト開部分群を含む。逆に、位相群Gが「単位元の任意の近傍がコンパクト開部分群を含む」という条件を満たすとき、Gは局所コンパクト完全非連結群である。 Gを局所コンパクト完全非連結群、UをGのコンパクト開部分群、自己同型とする。 次のように定める: U + = ⋂ n ≥ 0 α n ( U ) {\displaystyle U_{+}=\bigcap _{n\geq 0}\alpha ^{n}(U)} U − = ⋂ n ≥ 0 α − n ( U ) {\displaystyle U_{-}=\bigcap _{n\geq 0}\alpha ^{-n}(U)} U + + = ⋃ n ≥ 0 α n ( U + ) {\displaystyle U_{++}=\bigcup _{n\geq 0}\alpha ^{n}(U_{+})} U − − = ⋃ n ≥ 0 α − n ( U − ) {\displaystyle U_{--}=\bigcup _{n\geq 0}\alpha ^{-n}(U_{-})} U が整然 (tidy) であるとは、 U = U + U − = U − U + {\displaystyle U=U_{+}U_{-}=U_{-}U_{+}} と U + + {\displaystyle U_{++}} と U − − {\displaystyle U_{--}} が閉であることをいう。 U + {\displaystyle U_{+}} における α ( U + ) {\displaystyle \alpha (U_{+})} の指数は有限であり、その値は α {\displaystyle \alpha } に関して整然なUの取り方によらない。したがってスケール関数 s ( α ) {\displaystyle s(\alpha )} をその指数と定める。内部自己同型写像への制限は興味深い性質をもつG上の関数を与える。 特に、G上の x {\displaystyle x} の内部自己同型を α x {\displaystyle \alpha _{x}} として s ( x ) := s ( α x ) {\displaystyle s(x):=s(\alpha _{x})} によってG上の関数 s {\displaystyle s} を与えると次の性質をもつ。 s {\displaystyle s} は連続である。 xがGのコンパクト元ならば s ( x ) = 1 {\displaystyle s(x)=1} である。 n {\displaystyle n} が非負整数ならば s ( x n ) = s ( x ) n {\displaystyle s(x^{n})=s(x)^{n}} が成り立つ。 G上のモジュラー関数は Δ ( x ) = s ( x ) s ( x − 1 ) − 1 {\displaystyle \Delta (x)=s(x)s(x^{-1})^{-1}} で与えられる。 スケール関数はHofmannとMukherjaによる予想の証明やHelge Glöcknerによるp進リー群や局所斜体上の線形群の明示的な計算に用いられた。 ^ & Cartier 1979, §1.1. ^ Bushnell & Henniart 2006, §1.1. ^ Borel & Wallach 2000, Chapter X. ^ p 進体上の簡約代数群の admissible 表現論入門 Borel, Armand; Wallach, Nolan (2000), Continuous cohomology, discrete subgroups, and representations of reductive groups, Mathematical surveys and monographs, 67 (Second ed.), Providence, Rhode Island: American Mathematical Society, ISBN 978-0-8218-0851-1, MR1721403  Bushnell, Colin J.; Henniart, Guy (2006), The local Langlands conjecture for GL(2), Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 335, Berlin, New York: Springer-Verlag, doi:10.1007/3-540-31511-X, ISBN 978-3-540-31486-8, MR2234120  Caprace, Pierre-Emmanuel; Monod, Nicolas (2011), “Decomposing locally compact groups into simple pieces”, Math. Proc. Cambridge Philos. Soc. 150: 97–128, doi:10.1017/S0305004110000368, MR2739075  Cartier, Pierre (1979), “Representations of p {\displaystyle {\mathfrak {p}}} -adic groups: a survey”, in Borel, Armand; Casselman, William, Automorphic Forms, Representations, and L-Functions, Proceedings of Symposia in Pure Mathematics, 33, Part 1, Providence, Rhode Island: American Mathematical Society, pp. 111–155, ISBN 978-0-8218-1435-2, MR0546593, http://www.ams.org/online_bks/pspum331/pspum331-ptI-7.pdf  G.A. Willis - The structure of totally disconnected, locally compact groups, Mathematische Annalen 300, 341-363 (1994)