[論文レビュー] On the number of n-dimensional representations of SU(3), the Bernoulli numbers, and the Witten zeta function

Dan Romik|arXiv (Cornell University)|Mar 12, 2015

Advanced Mathematical Identities参考文献 42被引用数 9

ひとこと要約

本稿では、SU(3)のn次元非可約表現の数に対する漸近公式を、SU(3)に関連するウィッテンゼータ関数の鞍点解析を用いて導出する。このゼータ関数とベルヌーイ数の深い関係を確立し、2008年にアゴーとディルチャーが示した恒等式を一般化する新しいアイデンティティを証明する。さらに、r(n)の漸近展開における明示的な定数を提供する。

ABSTRACT

We derive new results about properties of the Witten zeta function associated with the group SU(3), and use them to prove an asymptotic formula for the number of n-dimensional representations of SU(3) counted up to equivalence. Our analysis also relates the Witten zeta function of SU(3) to a summation identity for Bernoulli numbers discovered in 2008 by Agoh and Dilcher. We give a new proof of that identity and show that it is a special case of a stronger identity involving the Eisenstein series.

研究の動機と目的

• SU(3)のn次元表現の数（同値類を数えるものとして）に対する漸近公式を導出すること。
• SU(3)に関連するウィッテンゼータ関数ω(s)の分析と、ゼータ関数およびL関数の特殊値との関係を調べること。
• ウィッテンゼータ関数とベルヌーイ数の和に関する恒等式との関係を確立し、特にアゴーとディルチャーの結果を一般化すること。
• エーゼンスタイン級数とモジュラー形式を用いて、アゴー＝ディルチャー恒等式の新しい証明を提供すること。
• r(n)の漸近展開における明示的な定数、特に主要項および低次の項を計算すること。

提案手法

• 生成関数と鞍点解析を用いて、SU(3)のn次元表現の数r(n)の漸近的挙動を導出する。
• 次のように定義されるウィッテンゼータ関数ω(s) = ∑_{j,k≥1} (jk(j+k))^{-s} を導入する。これはSU(3)の非可約表現の次元を符号化する。
• ガンマ関数およびリーマンゼータ関数を用いた複素解析的技法を適用し、漸近展開における重要な定数を評価する。
• ω(s)をエーゼンスタイン級数およびモジュラー形式と関連づけることで、ベルヌーイ数を含む恒等式を導出する。
• コンピュータ支援実験を用いて、ベルヌーイ数の新しい和の恒等式を発見・検証し、その後モジュラー形式論を用いて証明する。
• 定数A₁, A₂, A₃, A₄, KをΓ(1/3), ζ(5/3), ζ(1/2), ζ(3/2)の関数として表現することで、漸近展開を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ のとき、SU(3)のn次元非可約表現の数の漸近的成長率は何か？
• RQ2 ウィッテンゼータ関数ω(s)とベルヌーイ数の和に関する恒等式との関係は何か？
• RQ3 2008年のアゴーとディルチャーのベルヌーイ数に関する恒等式は、モジュラー形式またはエーゼンスタイン級数を用いて一般化可能であり、証明可能か？
• RQ4 r(n)の漸近展開における低次の項の正確な構造は何か？そして、これらは閉形式で表現可能か？
• RQ5 モジュラー形式は、SU(3)ゼータ関数ω(s)の解析的性質をより深く理解する手がかりを提供するか？

主な発見

• SU(3)のn次元表現の数r(n)は、n → ∞ のとき、r(n) = (1+o(1)) K n^{-3/5} exp(A₁n^{2/5} - A₂n^{3/10} - A₃n^{1/5} - A₄n^{1/10}) という漸近公式を満たす。
• 主要定数Kは、K = (2√(3π)/√5) X^{1/3} exp(–(1/2560) X^{-10} Y^4) で明示的に与えられる。ここでX = (1/9 Γ(1/3)² ζ(5/3))^{3/10} および Y = –√π ζ(1/2)ζ(3/2) である。
• 定数A₁, A₂, A₃, A₄は次のように明示的に計算される：A₁ = 5X² ≈ 6.85826, A₂ = X^{-1}Y ≈ 5.77360, A₃ = (3/80)X^{-4}Y² ≈ 0.91134, A₄ = (11/3200)X^{-7}Y³ ≈ 0.35164。
• 本稿では、アゴー＝ディルチャー恒等式がエーゼンスタイン級数のより一般な恒等式の特別な場合であることを示し、新しい証明を提供する。
• 著者らはベルヌーイ数の新たな恒等式を発見・予想し、たとえばP(n,k) = (2n-1)² – 4(k-1)(n-k) に対して、∑_{k=1}^n binom(2n,2k-1) P(n,k) B_{2n+2k-2}/(2n+2k-2) B_{4n-2k}/(4n-2k) = –(1/2(6n+1)) binom(4n,2n) (B_{6n-2}/(6n-2)) が成り立つことを示す。
• 本稿では、すべての整数n ≥ 1に対してω(–n) = 0であることを証明し、この恒等式がベルヌーイ数の和の恒等式に依存せずに再導出可能である可能性を示唆する。これにより、モジュラー形式を用いた新たな証明の道筋が開かれる。