群上のフーリエ変換4：ポアソン和公式

はじめに

　この記事では 前回の記事 に引き続き局所コンパクトアーベル群上のフーリエ変換
$$\hat{f}(x)={\int }_{G}f(x)\overline{\chi (x)}dx$$
の性質について簡単に解説していきます。

ポアソン和公式

　今回の記事ではポアソン和公式
$$\sum _{x\in \mathrm{\Gamma }}f(x)=\sum _{\chi \in \widehat{G/\mathrm{\Gamma }}}\hat{f}(\chi )$$
について解説していきます。
　と言っても証明は通常のポアソン和公式
$$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}f(n)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\hat{f}(n)(\hat{f}(y)={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}f(x)e^{-2\pi ixy}dx)$$
の場合とほとんど同じなのでさっさと示しちゃいましょう。

　なお一応注意しておくと$\widehat{G/\mathrm{\Gamma }}$は$\hat{G}$の部分群
$${\mathrm{\Gamma }}^{\perp }=\{\chi \in \hat{G}\mid \chi (g)=1,\mathrm{\forall }g\in \mathrm{\Gamma }\}$$
と同型となります。特に$G$の指標群$\hat{G}$が既に求まっていれば簡単に$\widehat{G/\mathrm{\Gamma }}={\mathrm{\Gamma }}^{\perp }$を求めることができます。
　ちなみにこの群${\mathrm{\Gamma }}^{\perp }$のことを$\mathrm{\Gamma }$の双対格子と言うことがあります。

具体例

　例えば${\mathbb{R}}^n$の格子$\mathrm{\Gamma }$、つまりある$\mathbb{R}$-線形独立な元${\mathit{a}}_1,{\mathit{a}}_2,\dots ,{\mathit{a}}_n\in {\mathbb{R}}^n$を用いて
$$\mathrm{\Gamma }=\mathbb{Z}{\mathit{a}}_1+\mathbb{Z}{\mathit{a}}_2+\cdots +\mathbb{Z}{\mathit{a}}_n$$
と表せる加法群、あるいは同じことですが正則な正方行列
$$A=\left(\begin{array}{cccc}{\mathit{a}}_1& {\mathit{a}}_2& \cdots & {\mathit{a}}_n\end{array}\right)$$
を用いて$\mathrm{\Gamma }=A{\mathbb{Z}}^m$と表せる加法群を考えてみましょう。
　このとき${\mathbb{R}}^n/\mathrm{\Gamma }$の基本領域
$$D=\{\sum _{i=1}^n{t}_i{\mathit{a}}_i|0\le t_i<1\}$$
の体積は行列式$|\det A|$として求まり、また$\mathrm{\Gamma }$の双対格子は
$$\begin{array}{rl}{\mathrm{\Gamma }}^{\perp }& =\{\chi :\mathit{x}\mapsto e^{2\pi i\mathit{x}\cdot \mathit{y}}\mid \mathit{y}\in {\mathbb{R}}^n,\mathit{x}\cdot \mathit{y}\in \mathbb{Z}\}\\ & ={}^t{A}^{-1}{\mathbb{Z}}^n\end{array}$$
と表せる(ただし${}^t{A}^{-1}$は$A^{-1}$の転置とした)ので以下の形のポアソン和公式が得られます。

　この公式自体は標準的なポアソン和公式
$$\sum _{\mathit{n}\in {\mathbb{Z}}^n}g(\mathit{n})=\sum _{\mathit{n}\in {\mathbb{Z}}^n}\hat{g}(\mathit{n})$$
において$g(\mathit{x})=f(A\mathit{x})$とおき
$$\hat{g}(\mathit{x})=\frac{1}{|\det A|}\hat{f}({}^t{A}^{-1}\mathit{x})$$
を確かめることでも示せますが、そんなまどろっこしいことしなくても直接上の公式が導けるというのは少し楽(?)ですね。

おまけ

　ちなみに代数体$K$をある環準同型$K\to {\mathbb{R}}^n(n=[K:\mathbb{Q}])$によって${\mathbb{R}}^n$に埋め込んだとき、$K$の任意の分数イデアル$\mathfrak{a}$は${\mathbb{R}}^n$の格子となることが知られています。
　また$\mathfrak{a}$の双対格子は共役差積$\mathfrak{d}$というものを用いて
$$\begin{array}{rl}{\mathfrak{a}}^{\perp }& =\{\beta \in K\mid {\mathrm{Tr}}_{K/\mathbb{Q}}(\alpha \bar{\beta })\in \mathbb{Z},\alpha \in \mathfrak{a}\}\\ & =\overline{(\mathfrak{a}\mathfrak{d}{)}^{-1}}\end{array}$$
と表せ、これによってあるテータ関数の変換公式
$$\theta (\mathfrak{a},-1/\mathit{z})=\frac{\sqrt{N(\mathit{z}/i)}}{N(\mathfrak{a})}\theta ((\mathfrak{a}\mathfrak{d}{)}^{-1},\mathit{z})$$
や完備化された部分デデキントゼータ関数の関数等式
$$\xi (\mathfrak{a},s)=\xi ((\mathfrak{a}\mathfrak{d}{)}^{-1},1-s)$$
が得られたりします。
　詳しい話についてはまた気が向いたときに記事にしようと思ってます。

ヴェイユの公式

　以上が局所コンパクトアーベル群上のポアソン和公式の概説となります。
　ただ上で紹介したポアソン和公式の証明はあまり一般的ではありません。具体的には上では
$${\int }_{G/\mathrm{\Gamma }}(\sum _{g\in \mathrm{\Gamma }}f(gx))dx={\int }_{G}f(x)dx$$
という形の等号を示すのに基本領域$D$を用いて${\int }_{G/\mathrm{\Gamma }}={\int }_D$と表す、という方法を取りました。
　これは通常のポアソン和公式の証明の延長として自然な方法だとは思うのですが、そもそも格子の基本領域という対象について詳しく触れられている文献すらあまり見かけませんでした。
　では一般的にはどうしているのかと言うと、 第一回の記事 でもちらっと触れたリース・マルコフ・角谷の表現定理と呼ばれる次の主張を用います。

　特に$X=G$が局所コンパクト群であるときは次のような主張が成り立ちます。

　これを用いるといま考えている等式
$${\int }_{G/\mathrm{\Gamma }}(\sum _{g\in \mathrm{\Gamma }}f(gx))dx={\int }_{G}f(x)dx$$
の一般化であるヴェイユの公式が得られます。

　ちなみに以下の証明は$H$と$G/H$が共に局所コンパクトハウスドルフであれば成り立ちますが

• 局所コンパクトハウスドルフ空間の閉集合は局所コンパクトである。
• 局所コンパクト群$G$とその部分群$H$に対し、$H$が閉であることと商空間$G/H$が局所コンパクトハウスドルフであることは同値である。

という事実からそれは$H$が閉部分群であるという条件に集約されることとなります。

　いまヴェイユの公式を用いると次のようなポアソン和公式の一般化が得られます。

$G/\mathrm{\Gamma }$の商測度について

　いま、一般にハウスドルフ位相群の離散部分群は閉であることが知られているので、局所コンパクトアーベル群$G$の格子$\mathrm{\Gamma }$は$G$の閉部分群となります。
　したがってヴェイユの公式から
$${\int }_{G}f(x)dx={\int }_{G/\mathrm{\Gamma }}(\sum _{g\in \mathrm{\Gamma }}f(gx))d[x]$$
が成り立っていたわけですが、ここで$G/\mathrm{\Gamma }$の商測度$\nu$が具体的にどのように定まるかを考えてみましょう。
　と言っても話は簡単で、$\mathrm{\Gamma }$の基本領域$D$に対し
$$f_D(x)=\{\begin{array}{ll}1& (x\in D)\\ 0& (x\notin D)\end{array}$$
とおくと任意の$x\in \mathrm{\Gamma }$に対し
$$\sum _{g\in \mathrm{\Gamma }}{f}_D(gx)=1$$
となることから
$$\mu (D)={\int }_G{f}_D(x)dx={\int }_{G/\mathrm{\Gamma }}d[x]=\nu (G/\mathrm{\Gamma })$$
が成り立つので、この等式$\nu (G/\mathrm{\Gamma })=\mu (D)$によって$G/\mathrm{\Gamma }$の商測度が定まることになります。
　特にこれは定理1の証明で用いた押し出し測度$\nu (E)=\mu ({\pi }^{-1}(E))$に合致していることがわかります。

おわりに

　以上がポアソン和公式に関する概説でした。
　ちなみにポアソン和公式の非可換群への一般化としてセルバーグの跡公式
$$\sum _{\gamma }\mathrm{vol}({\mathrm{\Gamma }}_{\gamma }\mathrm{\setminus }{G}_{\gamma }){\int }_{G_{\gamma }\mathrm{\setminus }G}f(x^{-1}\gamma x)dx=\sum _{\pi }m(\pi )\mathrm{trace}(\pi (f))$$
というものがあるようですが、詳しいことは各々で調べてみてください。
　
　またこれを以ってこのシリーズは一旦終わりとなります。
　まだ上のセルバーグの跡公式とか 第二回の記事 でも言及した表現論とかスペクトル理論とかのように深堀りしたい話題はいくらでもあるのですが、このシリーズを書き始めた当初の目標であったポアソン和公式の話はできたので一先ずここで区切りとし、そこら辺の発展的な話題についてはまた気が向いたときに調べていきたいと思います。
　とりあえず今回の記事はこんなところで。では