數論中,岩澤理論是理想類群的伽羅瓦模理論,由日本數學家岩澤健吉於1950年代提出,是割圓域理論的一部分。
1970年代初,考慮了岩澤理論在阿貝爾簇上的推廣。
1990年代初,拉爾夫·格林伯格將岩澤理論應用到動形理論。
岩澤健吉起初觀察到代數數論中某些數域所成的塔的伽羅瓦群同構於p進數所構成的加法群。
這個群通常寫作Γ 並采乘法符號,它是加法群 z\/p^nz的逆極限,其中p是固定的素數而。
我們可以用龐特裏亞金對偶定理得到另一種表法:Γ對偶於所有複數域裏的p-次單位根所成的離散群。
自岩澤理論在1950年麵世起,已經有了一套豐富的理論。
人們注意到在模論與黎貝和heinrich-wolfgang leopoldt在1960年定義的p進數l-函數間有根本的聯係。
後者從函數在負整數點的取值(與伯努利數有關)作插值,得到狄利克雷l函數在p進數域的類比。
顯然此理論有希望從庫默爾一個世紀創建前的正則素數理論向前邁進。
“岩澤理論主猜想”被陳述為:以兩種不同方法定義的 p進數l-函數(模理論\/插值法)應當相等,隻要它們是明確定義的。
這個猜想在q上的情形最後由貝利·馬祖爾(barry mazur)與安德魯·懷爾斯證明,並由懷爾斯證明所有實域的情形,稱作馬祖爾-懷爾斯定理。
他們仿造肯尼斯·阿蘭·黎貝證明埃爾布朗定理之逆定理(即所謂埃爾布朗-黎貝定理)的辦法。
近來 chris skinner 與 eric urban 也仿用肯尼斯·阿蘭·黎貝的辦法,公布了gl(2)的“主猜想”的一個證明。
借由 kolyvagin 發展的歐拉係統,可以得到馬祖爾-懷爾斯定理更初等的證明(請參見 washington 的書)。
karl rubin 等人用歐拉係統得到主猜想其它的推廣形式。
1970年代初,考慮了岩澤理論在阿貝爾簇上的推廣。
1990年代初,拉爾夫·格林伯格將岩澤理論應用到動形理論。
岩澤健吉起初觀察到代數數論中某些數域所成的塔的伽羅瓦群同構於p進數所構成的加法群。
這個群通常寫作Γ 並采乘法符號,它是加法群 z\/p^nz的逆極限,其中p是固定的素數而。
我們可以用龐特裏亞金對偶定理得到另一種表法:Γ對偶於所有複數域裏的p-次單位根所成的離散群。
自岩澤理論在1950年麵世起,已經有了一套豐富的理論。
人們注意到在模論與黎貝和heinrich-wolfgang leopoldt在1960年定義的p進數l-函數間有根本的聯係。
後者從函數在負整數點的取值(與伯努利數有關)作插值,得到狄利克雷l函數在p進數域的類比。
顯然此理論有希望從庫默爾一個世紀創建前的正則素數理論向前邁進。
“岩澤理論主猜想”被陳述為:以兩種不同方法定義的 p進數l-函數(模理論\/插值法)應當相等,隻要它們是明確定義的。
這個猜想在q上的情形最後由貝利·馬祖爾(barry mazur)與安德魯·懷爾斯證明,並由懷爾斯證明所有實域的情形,稱作馬祖爾-懷爾斯定理。
他們仿造肯尼斯·阿蘭·黎貝證明埃爾布朗定理之逆定理(即所謂埃爾布朗-黎貝定理)的辦法。
近來 chris skinner 與 eric urban 也仿用肯尼斯·阿蘭·黎貝的辦法,公布了gl(2)的“主猜想”的一個證明。
借由 kolyvagin 發展的歐拉係統,可以得到馬祖爾-懷爾斯定理更初等的證明(請參見 washington 的書)。
karl rubin 等人用歐拉係統得到主猜想其它的推廣形式。