[論文レビュー] Theta functions, quantum tori and Heisenberg groups

Yuri I. Manin|ArXiv.org|Nov 23, 2000

Algebraic structures and combinatorial models参考文献 9被引用数 7

ひとこと要約

この論文は、代数群からアーベル・多様体へと量子群およびホップ代数の枠組みを一般化し、古典的テータ関数を量子化されたものに置き換えることで、ムーディの写像を介して余乗法構造を保ちながら、変形された乗法を導入する。主な貢献は、異なる周期格子と量子化パラメータを持つアーベル・多様体の間の深い関係を明らかにする線形的カテゴリの構成であり、これはヘイゼンベルク群の作用とねじれを統合することで実現される。

ABSTRACT

A linear algebraic group $G$ is represented by the linear space of its algebraic functions $F(G)$ endowed with multiplication and comultiplication which turn it into a Hopf algebra. Supplying $G$ with a Poisson structure, we get a quantized version $F_q(G)$ which has the same linear structure and comultiplication, but deformed multiplication. This paper develops a similar theory for abelian varieties. A description of abelian varieties $A$ in terms of linear algebra data was given by Mumford: $F(G)$ is replaced by the graded ring of theta functions with symmetric automorphy factors, and comultiplication is replaced by the Mumford morphism $M^*$ acting on pairs of points as $M(x,y)=M(x+y,x-y).$ After supplementing this by a Poisson structure and replacing the classical theta functions by the quantized ones, introduced by the author earlier, we obtain a structure which essentially coincides with the classical one so far as comultiplication is concerned, but has a deformed multiplication which moreover becomes only partial. The classical graded ring is thus replaced by a linear category. Another important difference from the linear case is that abelian varieties with different period groups (for multiplication) and different quantization parameters (for comultiplication) become interconnected after quantization.

研究の動機と目的

• 線形代数的群からアーベル・多様体へ、量子群およびホップ代数の枠組みを拡張すること。
• 変形された乗法を用いた、アーベル多様体上の古典的テータ関数理論の量子化されたバージョンの再定式化。
• 量子変形を通じて、異なる周期群と量子化パラメータを持つアーベル多様体の間の対応を確立すること。
• 古典的なテータ関数の次数付き環が、量子化によって線形的カテゴリに置き換えられることを示すこと。
• ムーディ写像と余乗法構造が、量子化の下でも構造的に変わらずに保たれることを示し、一方で乗法が部分的かつ変形されることを示すこと。

提案手法

• 乗法子 α によるねじれを用いて、古典的なテータ関数の環を量子化されたものに置き換えることで、変形された乗法を導入する。
• ムーディの写像 M*(x,y) = M(x+y,x−y) を用いて、量子的設定における余乗法構造を保つ。
• 小ヘイゼンベルク群 G(L) を、ヘイゼンベルク群 G(H,α) 内の乗法子 L(B) の像の正規化群を L(B) で割った商として定義する。
• 余乗法写像 M* の源および終域に、twistings u_{1,α} と u_{1,α²} を適用し、量子化下でも構造的整合性を保つ。
• 複素トーラス A = C^d / (Λ′ ⊕ Λ) 上の線分束 L のセクションとして量子テータ関数を表現し、リーマンの対称性および正則性条件を満たす自動性因子 (c,q) を用いる。
• T(H,1)(K) → T(h⁻(B),1)(K) の核と H/h⁻(B) の双対性を用いて、Γ(L) 内の既約表現およびほぼ標準基底を構成する。

実験結果

リサーチクエスチョン

• RQ1 アーベル多様体上の古典的テータ関数理論は、変形された乗法を伴う量子的設定へどのように拡張可能か？
• RQ2 ムーディ写像は、量子化の下でも余乗法構造をどのように保っているか？
• RQ3 量子化後、どのようにして異なる周期格子と量子化パラメータが相互に接続されるか？
• RQ4 小ヘイゼンベルク群が量子テータ関数空間上に作用する表現の構造は何か？
• RQ5 量子テータ関数空間にほぼ標準基底を構成可能か？また、その構成はどのようにリフトの選択に依存するか？

主な発見

• テータ関数空間における量子化された乗法は部分的となり、古典的な次数付き環が線形的カテゴリに置き換えられる。
• ムーディの写像 M*(x,y) = M(x+y,x−y) によって定義される余乗法構造は、量子化の下でも不変のままである。
• dim Γ(L) = [H : h⁻(B)] < ∞ かつ K が特定の全射性および有理型条件を満たすとき、小ヘイゼンベルク群 G(L) は量子テータ関数空間 Γ(L) 上に既約に作用する。
• Γ(L) 内に、H/h⁻(B) の特徴のインデックス付きのほぼ標準基底が存在し、リフトの選択に依存する共通定数因子まで定義される。
• twistings u_{1,α} と u_{1,α²} は、量子化下でも写像 M* を保ち、余乗法構造の整合性を保証する。
• T(H,1)(K) → T(h⁻(B),1)(K) の核と商 H/h⁻(B) の間の相互作用は、双対性を生じさせ、これが表現の既約性および基底の構成の根拠となる。