[論文レビュー] An explicit formula for the discrete power function associated with circle patterns of Schramm type

Hisashi Ando, Mike Hay+2 more|arXiv (Cornell University)|May 9, 2011

Polynomial and algebraic computation参考文献 16被引用数 3

ひとこと要約

本稿では、6番目のパンルベ方程式の超幾何τ関数を用いて、シュラム型の円型配置に関連する離散的べき関数の明示的公式を提示する。定義域を離散的リーマン面へ拡張し、指数γの実部が1である場合の自己同型性（immersion）を証明することで、離散的正則関数と可積分系の間の直接的かつ明示的な関係を、パンルベ超越関数を介して確立する。

ABSTRACT

We present an explicit formula for the discrete power function introduced by Bobenko, which is expressed in terms of the hypergeometric τfunctions for the sixth Painlevé equation. The original definition of the discrete power function imposes strict conditions on the domain and the value of the exponent. However, we show that one can extend the value of the exponent to arbitrary complex numbers except even integers and the domain to a discrete analogue of the Riemann surface. Moreover, we show that the discrete power function is an immersion when the real part of the exponent is equal to one.

研究の動機と目的

• 6番目のパンルベ方程式の超幾何τ関数を用いて、離散的べき関数の明示的表現を確立すること。
• 離散的べき関数の定義域をℤ²₊を超えて、リーマン面の離散的類似物へ一般化すること。
• 元の定義で制限されていた偶数整数を除く任意の複素数γへ指数γを拡張すること。
• γの実部が1である場合の離散的べき関数の自己同型性を証明すること。
• 従来の間接的または制限付き表現よりも優れた直接的かつ明示的な公式を提供すること。

提案手法

• 6番目のパンルベ方程式に関連する超幾何τ関数を用いて、ℤ²₊上での離散的べき関数の明示的公式を導出する。
• アフィンワイル群作用Ŵ(D₄⁽¹⁾)を適用し、τ関数間の双線形関係を導出する。
• 平行移動作用素T₁₄ⁿ′T̂₃₄ᵐT̂₄₀ˡT̂₁₃ᵏを用いて、格子点上のτ関数の再帰的関係を生成する。
• 広田の微分作用素Dを適用し、τ関数とそのシフトとの間の双線形恒等式を導出する。
• τ関数の恒等式を介して、離散的べき関数とパンルベVI方程式の解との対応関係を確立する。
• 初期条件f₀₀=0, f₁₀=1, f₀₁=e^{γπi/2}を用いて、格子上での解の位置を固定する。

実験結果

リサーチクエスチョン

• RQ1 6番目のパンルベ方程式の超幾何τ関数を用いて、離散的べき関数の明示的公式を導出可能か？
• RQ2 離散的べき関数の定義域をℤ²₊から離散的リーマン面へどのように拡張できるか？
• RQ3 複素指数γのどの値に対して、離散的べき関数が自己同型となるか？
• RQ4 τ関数の観点から、離散的べき関数とパンルベVI方程式の関係は何か？
• RQ5 Re(γ)=1の場合に、自己同型性を厳密に証明できるか？

主な発見

• 6番目のパンルベ方程式の超幾何τ関数を用いて、すべてのγ ∈ ℂ \ 2ℤに対してℤ²₊上での離散的べき関数の明示的公式が導出された。
• 離散的べき関数の定義域が、多価関数的挙動を許容するリーマン面の離散的類似物へ拡張された。
• Re(γ) = 1の場合に、自己同型性が厳密に証明され、幾何的に整合性のある離散的等角写像であることが示された。
• アフィンワイル群Ŵ(D₄⁽¹⁾)および平行移動作用素から導かれる双線形関係系を、離散的べき関数が満たす。
• 離散的正則関数とパンルベ超越関数との間の直接的関係が公式により確立され、従来の間接的表現のギャップが解消された。
• 導出結果により、Re(γ) = 1のとき、離散的べき関数が自己同型であることが確認され、連続的ケースにおける正則べき関数の離散的類似としての役割が裏付けられた。