[論文レビュー] Iterated Residues and Multiple Bernoulli Polynomials

András Szenes|ArXiv.org|Jul 11, 1997

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

ひとこと要約

本稿では、整数超平面配置の格子点上での有理関数の和を計算するための残留に基づく公式を導入し、古典的なベルヌーイ多項式を複数変数に一般化する。反復残留と双対格子のチャネル分解を用いて、これらの和の明示的な多項式表現を導出し、その主要な結果はG-バンドルのモジュライ空間の体積や、リー理論における特別関数に応用可能である。

ABSTRACT

We describe an effective method for calculating certain infinite sums, generalizations of the classical Bernoulli polynomials. As shown by Edward Witten in his papers on two-dimensional gauge theories, the correlation functions of two-dimensional topological Yang-Mills theory (or intersection numbers on moduli spaces of flat connections) can be given in the form of such infinite sums. Thus, in particular, our results give finite expressions for these correlation functions in the case of arbitrary compact structure groups G.

研究の動機と目的

• 整数超平面配置の補集合における格子点上での有理関数の和を体系的に計算するための手法を開発すること。
• 超平面配置およびその双対格子の構造を用いて、古典的ベルヌーイ多項式を複数変数に一般化すること。
• 各チャネルごとに一意な局所残留形式を備えた残留理論的公式を確立し、関数に依存せずにこれらの一般化ベルヌーイ多項式を計算すること。
• ブラッド配置やSU(n)リー群のような特別なケースにこの枠組みを適用し、既知の公式を回復・拡張すること。
• ウィッテンの公式を通じて、特にリーマン面へのG-バンドルのモジュライ空間体積といった位相的不変量と結びつけること。

提案手法

• 整数超平面配置（IHPA）を、R^nにおける整数係数の中心的超平面配置と定義し、双対空間V*内の格子Λと双対的であるとする。
• 配置上でのみ極を持つA-有理関数f ∈ R_Aを導入し、B_f(t) = ∑_{j∈Γ_A} exp⟨t,j⟩ f(j) という和を考察する。これはtに関してΛ周期的である。
• B_f(t)が、双対配置A*によって誘導されるチャネル分解の各チャネルで多項式的であることを示し、V*上で区分的多項式関数であることを示す。
• 各チャネルΔに対して、B^Δ_f(t) = ⟨ω_Δ(A), f exp(t)⟩ となるように、一意な局所残留形式ω_Δ(A)を構成する。これは反復残留に定義されたペアリングを通じて実現される。
• 反復残留（グローテンディークおよびパーシンの残留の特別な場合）を用いてペアリングを定義し、特にブラッド配置における断片的回路基底および対角基底に注目する。
• SU(n)の場合にこの形式的枠組みを適用し、対称群作用と自然な対角基底のおかげで残留計算が簡略化され、Todd類を含むコン pact な公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 超平面配置の補集合における格子点上での有理関数の和を、残留理論を用いて体系的にどのように計算できるか。
• RQ2 得られる区分的多項式関数の構造は何か。また、古典的ベルヌーイ多項式はどのように一般化されるか。
• RQ3 双対配置の各チャネルに対して、関数に依存せず和を計算できる一意な局所残留形式を構成できるか。
• RQ4 これらの一般化ベルヌーイ多項式は、リーマン面上のG-バンドルのモジュライ空間体積とどのように関係するか。
• RQ5 ブラッド配置やSU(n)リー配置のような対称的配置では、どのような簡略化が生じるか。

主な発見

• 和B_f(t)はΛ周期的関数であり、双対配置A*の各チャネルに制限すると多項式となり、これらが複数変数ベルヌーイ多項式（MBPs）である。
• 任意のチャネルΔに対して、B^Δ_f(t)は、配置とチャネルにのみ依存する一意な局所残留形式ω_Δ(A)を用いて⟨ω_Δ(A), f exp(t)⟩ として与えられる。
• SU(n)の場合、Weyl対称関数fおよび絶対収束性を仮定すると、B_f(0) = n! × IRes_x (Todd(x) f) が成り立ち、反復残留は自然な対角基底上で行われる。
• 特別なt値では公式が簡略化される：c = γ(1,1,…,1,−n) で0 < γ < 1/nのとき、またはc = (k/(n+1),…,k/(n+1),(k−n−1)/(n+1),…) のとき、和は1つの残留項に簡略化される。
• この手法により、ウィッテンやジェフリー＝キルワンの既知の公式が回復・拡張され、体積公式のヴェルリンデ型変形が得られる。
• この構成はB_fの値を計算するための効率的な計算体系を提供し、ブラッド配置の場合には明示的な公式が得られ、残留基底には自然な対称群S_nの作用が存在する。