1
１０
氏 名 河野孝彦
学 位 の 種 類 博士（理学）
報 告 番 号 甲第 562 号 学 位 授 与 年 月 日 2021 年 3 月 31 日
学 位 授 与 の 要 件 学位規則(昭和２８年４月１日文部省令第９号) 第４条第１項該当
学 位 論 文 題 目 On the Multiplicative Relations of Gauss Sums
（ガウス和の乗法的関係式について）
審 査 委 員 （主査） 杉山 健一（立教大学大学院理学研究科教授）
ガイサ、トーマス（立教大学大学院理学研究科教 授）
横山 和弘（立教大学大学院理学研究科教授）
青木 昇（立教大学大学院理学研究科教授）
2
Ⅰ．論文の内容の要旨
（１） 論文の構成
本学位論文は、整数論において重要な役割を演じるガウス和についての研究 である。ここでの研究テーマは、いくつかのガウス和の積が１の冪根と整数の 積になる乗法的関係式についてであり、ある特別な無限族について、その正確 な形を決定することを目標としている。
第１章では、準備としてガウス和の乗法的関係式の一般的な枠組みを述べ、
その上で申請者が得た新しい関係式を証明している。続く第２章ではガウス和 の乗法的関係式に対応する代数的ガンマ単項式を考察している。第３章では、
ある虚２次体の環類体を詳細に調べて、第１章で得たガウス和の乗法的関係式 の特別な場合について第２章の結果を用いることにより、ガウス和の乗法的関 係式がある２次形式と深く関連していることを解明している。
（２） 論文の内容要旨
ガウス和は標数ｐの有限体Fの乗法的指標χと加法的指標ψの積のF上の和と して定義される整数論的な量である。ガウス和は整数論の様々な場面に表れる 興味深い対象であるが、一般にはその値の具体的な表示を得ることは困難であ る。しかし、ガウス和のいくつかの積が簡単な値になる場合がある。特に、そ れが p の冪と 1 の冪根の積となるとき、その関係式はガウス和の乗法的関係 式と呼ばれる。その代表的な例として、ダヴェンポート・ハッセ関係式とノル ム関係式と呼ばれる二つの基本的な関係式がある。ハッセはすべての乗法的関 係式がそれらから得られると予想したが、山本によって、その予想に反例が存 在することが示された。また、山本は、すべての乗法的関係式に対して、その ２乗はダヴェンポート・ハッセ関係式とノルム関係式の組み合わせから得られ ることを示した。しかし、その平方根を取ってガウス和そのものを得る際の符 号決定は一般には難しい問題であることが知られている。1960年代以降、多く の研究者によってガウス和の乗法的関係式の具体的な形の研究が進められてい るが、まだ完全な解決には至っていない。本学位論文において、申請者は指標 χの位数ｍが４を法として３と合同な素数ℓの４倍である場合に対して、ガウス 和の乗法的関係式についての詳細な研究を行った。
本論文の概要は次の通りである。まず、第 1 章では基礎的な知識と記号を準
備し、ガウス和の乗法的関係式がどのように構成されるかなどを一般的な枠組
みの中で説明している。その過程で、上述のダヴェンポート関係式とノルム関
3
係式を復習し、本論文で扱いやすい形に整えてある。その上で、χの位数がｍ
＝４ℓの場合に、ガウス和の乗法的関係式でダヴェンポート関係式とノルム関係 式の組み合わせからは得られないものを一つ具体的に構成している（Theorem 1.2.1）。山本の研究により、ｍ＝４ℓの場合には、ダヴェンポート関係式とノ ルム関係式を合わせると、それですべての乗法的関係式が得られることが知ら れている。更に、申請者は位数４のヤコビ和を用いて、対応するガウス和の積 の形を具体的に決定した（Theorem 1.3.9）。この二つの結果についてはマスカ ットによる、m=12 の場合（つまりℓ=3の場合）の先行研究の一般化になってい る。
次に、第２章ではガウス和の乗法的関係式に対応するガンマ単項式を考察し ている。コブリッツとオーガスにより代数的ガンマ単項式と呼ばれるガンマ関 数のいくつかの特殊値の積は代数的数であり、円分体上のあるクンマー拡大を 生成することが証明されている。この結果はガウス和の乗法的関係式のガンマ 関数版の類似になっているとみることができる。更に、ドリーニュはこのクン マー拡大のクンマー指標とガウス和の乗法的関係式に現れる 1 の冪根εが密 接に関係していることを示す明示的な関係式を証明した。申請者は、m=4ℓの場 合に、ガンマ単項式を具体的に計算し、それにドリーニュの定理を適用するこ とにより、εの値をある実２次体の基本単数を用いて表す公式を得ることに成 功した（Theorem 2.0.1）。この関係式は、ガウス和の乗法的関係式が２次体の 整数論と密接に関係していることを示唆している。
第 3 章では、第１章で得られた乗法的関係式のある特別な場合においては、
その符号がある特別な整数係数 2 元 2 次形式による素数 p の表示と関係し ていることを論述している。第１章と第２章では、素数ｐとしては４ℓを法とし て１と合同な素数を考えていたが、申請者は２次形式との関連を得るためには、
より強くｐは８ℓを法として１と合同な素数である必要があるという事実を明 らかにした。そして、その条件下で素数 p の適当な冪乗を主形式と呼ばれる特 別な 2 次形式で表したとき、その整数解の ℓ を法とした合同条件によりガウ ス和の乗法的関係式の符号が完全に決定できることを主張する結果を得ている
（Theorem 3.0.1）。この定理の証明のために、申請者は判別式が -8ℓ の虚２ 次体の導手４の環類体について詳細な研究を行い、ドリーニュの定理によって 代数的ガンマ単項式で得られたクンマー拡大の類体論的な性質を明らかにした。
その結果をもとに、更に環類体と２次形式の一般論を用いることによりTheorem
3.0.1を得ている。
4
