局所コンパクトアーベル群(きょくしょコンパクトアーベルぐん、英: locally compact abelian group)は、調和解析、位相空間論、数論など複数の分野に現れる、特に便利な位相構造をもつアーベル群である。例えば、離散位相を備えた整数全体の加法群や、通常の位相を備えた実数全体、円周(1次元トーラス)などが局所コンパクトアーベル群の例である。
定義と例 ある位相群が局所コンパクトであるとは、その位相空間が局所コンパクト空間かつハウスドルフ空間であることを意味する。 また、位相群がアーベルであるとは、群構造としてアーベル群であることを意味する。
局所コンパクトなアーベル群の例:
( は正の整数):ベクトル加法を群演算とする。
正の実数全体 に乗法を群演算とする群。これは指数関数により に同型。
任意の有限アーベル群(離散位相付き)。有限アーベル群の構造定理により、すべて巡回群の直積で表される。
整数 (加法群、離散位相)。
円周群 :複素数のうち絶対値が1のものの全体。(位相群として同型)。
p進数体 (加法群、通常のp進位相)。
双対群 局所コンパクトなアーベル群 に対し、そのキャラクターとは、 から円周群 への連続な群準同型である。
すべてのキャラクターの集合は、点ごとの積(乗法)を群演算として、局所コンパクトアーベル群となり、双対群(dual group) と呼ばれる。
双対群の構造:
群演算:キャラクターの点ごとの積。
逆元:複素共役。
位相:コンパクト開位相(一様収束、コンパクト集合上での収束に基づく)。
この位相は一般には距離化可能ではないが、 が可分空間であれば、双対群も距離化可能となる。
これは線型代数における双対空間の概念と類似しており、例えば を体 上のベクトル空間とすると双対空間は であり、局所コンパクトアーベル群でも である。
より抽象的には、いずれも表現可能関手(representable functor)であり、それぞれ および によって表現される。
双対群と同型な位相群を自己双対(self-dual)という。たとえば、実数全体や有限巡回群は自己双対だが、自然な同型ではないため、群とその双対群は通常は異なるものとして扱う。
双対群の例 の双対は 。任意のキャラクター は の形で決まり、 を任意に選べる。位相は点ごとの収束(これは の通常の位相と一致)。 の双対は 。キャラクターは という形()。このとき双対群 は離散位相をもつ。
の双対は 自身。キャラクターは ()。
も自己双対であり、アデール環(adele)も自己双対になる。
ポントリャーギン双対性 ポントリャーギン双対性によると、関手
は、局所コンパクトアーベル群の圏(連続写像を射とする)とその反対圏の間に圏の同値を与える:
圏論的性質 によれば、局所コンパクトアーベル群の圏 は、整数と実数の間の差異を測る圏論的構造を反映する。
より正確には、、、および の代数的K理論スペクトルは次のようなホモトピー繊維列に入る:
参考文献