数学において、 L関数の特殊値の研究は、 πのライプニッツの公式のような公式を一般化することに専念する数論のサブフィールドです。
左辺の式は でもあることを認識することにより、ガウス有理数体に対するディリクレL関数であることがわかる。この式は解析類数公式の特殊な場合であり、その用語を用いると、ガウス体の類数は1であることがわかる。式の右辺の因子は、この体に4つの1の根が含まれるという事実に対応する。
L関数の一般的なクラス(非常に一般的な設定は、数体上のChow モチーフに関連付けられたL関数)に対して定式化された 2 つの予想ファミリーがあり、2 つに分割されるのは次のような質問を反映しているためです。
この種の式が成り立つと予想される の 整数値については、補助的な説明が与えられます。
(a) の予想は、アレクサンダー・ベイリンソンにちなんでベイリンソン予想と呼ばれています。[ 1 ] [ 2 ]その考え方は、数体の規制因子から、代数 K 理論に由来する実ベクトル空間上に構築された行列式である「高次の規制因子」(ベイリンソン規制因子)へと抽象化するというものです。
(b) の予想は特殊値に対するブロッホ=加藤予想と呼ばれています(スペンサー・ブロッホと加藤和也にちなみ、この考え方は2009 年に証明が発表されたミルナー予想を拡張した K 理論のブロッホ=加藤予想とは異なります)。また、玉川数予想とも呼ばれますが、この名前はバーチ=スウィナートン=ダイアー予想と、その線形代数群に対する玉川数問題の楕円曲線類似体としての定式化から生まれました。[ 3 ]さらなる拡張で、同変玉川数予想 (ETNC) が定式化され、これらのアイデアと岩澤理論およびそのいわゆる主予想との関連を強化しました。
これらの推測はすべて、特殊な場合にのみ真実であることが知られています。