金沢での定例のセミナ，今年度２回目でした．ノートからちょっと抜き書き．
$k$を有限次代数体とする．素数$p$を固定して，$k$の$\mathbf{Z}_p$拡大（つまり，$k$のGalois拡大で，Galois群が$\mathbf{Z}_p$の加法群と同型なもの）すべての合成体を$\tilde{k}$と置くと，$\tilde{k}/k$はGalois拡大で，そのGalois群は$\mathbf{Z}_p^{r_2+1+\delta}$, ($r_2=r_2(k)$は$k$の虚素点の個数，$\delta = \delta(k,p) \ge 0$はLeopoldt defectとも呼ばれる非負整数で，$\delta(k,p)=0$が$k$と$p$に対するLeopoldt予想）である．
$L(\tilde{k})$を$\tilde{k}$の最大不分岐Abel $p$拡大とし，$X=\text{Gal}(L(\tilde{k})/\tilde{k})$をGalois群とする．$X$には完備群環$\Lambda=\mathbf{Z}_p[[\text{Gal}(\tilde{k}/k)]]$が共役によって作用する．Iwasawa-Greenbergにより，$X$は$\Lambda$加群として有限生成かつねじれ加群であることが示されている．
今回のセミナーの主眼は，"Generalized Greenberg Conjecture" (GGC), すなわち，$X$は$\Lambda$加群として "pseudo-null", つまり，$\Lambda$加群としてのannihilatorイデアル $\text{Ann}_{\Lambda}(X)$の高さが$2$以上であろう，という予想であった．特に，$k$が虚2次体，$p=3$の場合を主に論じた．
日々些事に紛れてしまいがちですが，こういう機会を持つと，なんというか，元気が出ますね．
の徳重先生の記事から．
」を買ってみた．さっそく子供らのおもちゃになっている．
」をお勧めする，という話もしたが，上のようなことならむしろ，
」とその一連の続巻も，本格的な数学の本である事，また，ちくま学芸文庫は，数学や物理の本格的な本がたくさん揃っている不思議なシリーズなので，それぞれ見かけたらぜひ手に取ってみるように，と勧めておいた．
の4乗剰余記号のあたりに入って，でも，相互法則の証明は次週に回すという．Gauss自身がこの発見について記録した論文が，邦訳されている（
）ので，彼らに紹介しておく．
」の当該特集を受講者諸君に勧めてみた．「数学セミナー」という雑誌を知っていたのは，4～5名という印象だった．
」の2章の終わりあたりを読む．2次体のArtin写像と，特にそのkernelの決定まで．Dirichletの算術級数定理の証明は3章以降なので，それは認めて使う．考えている2次体で分解する素数が存在することが，それで保証される．2章まで終わったので，別の文献に移ることも含め，今後の方針を話し合った．