頂点作用素代数のテーター関数の研究

1999 Fiscal Year Annual Research Report

• Project/Area Number: 10874001
• Research Institution: University of Tsukuba
• Principal Investigator: 宮本 雅彦 筑波大学, 数学系, 教授 (30125356)
• Co-Investigator(Kenkyū-buntansha): 藤田 尚昌 筑波大学, 数学系, 講師 (60143161) ; 増田 哲也 筑波大学, 数学系, 助教授 (70202314) ; 宮下 庸一 筑波大学, 数学系, 教授 (00000795) ; 林 正洪 筑波大学, 数学系, 助手 (60292497)
• Keywords: テーター関数 / ラティス / モジュラー不変 / ヴィラソロ代数 / 自己同型群 / モンスター単純群 / 頂点作用素代数 / ムーンシャイン予想

Research Abstract

頂点作用素代数の概念は現在、2次元共形場理論を代数化したものと理解されているが、2次元共形場理論がモジュラー不変形を仮定するのに対し、頂点作用素代数の公理には入ってはいない。しかしながら、ズーが証明したように、強いモジュラー不変性を示している。
本研究は研究代表者の宮本がテーター関数の拡張となるものを頂点作用素代数の上で定義したのが出発点であり、後にその性質の研究から多変数のテーター関数へと拡張された。即ち、ランクnの頂点作用素代数Vに対して、次数作用素L(0)とウエイト1の元vを使ってトレイス関数ch(v,z)=tr|V exp(2πiL(0)z+v(0))を定義することが出来る。ラティスから構成される頂点作用素代数に対してこれを適用すると、一般的なテーター関数(のデデキントのエーター関数のn乗倍)が得られる。さらに、ヴィラソロ元の代わりに、共形元の直和を使うと、多変数のトレイス関数が頂点作用素代数から定義でき、それらに対して群の作用による不変性を求めることが本研究の目的である。前年度では、この関数のモジュラー変換の公式を示し、通常のテーター関数と同様にモジュラー不変の性質を持つことを示すとともに、より強い保形性が成り立つのではないかと期待された。最終年度である平成11年度ではその事実を考察し、多変数のテータ関数を導入することに成功した。しかも、その多変数のテータ関数が高い保型性を持つことも証明し、国際会議で発表した。これらの事実を考察すると、そこには頂点作用素代数のウエイト2の空間であるグライス代数の可換部分代数が関係しているように理解できる。この事実は頂点作用素代数のモジュラー不変性に関する新たな手段を提供するのではないかと期待できる。

Research Products

• [Publications] 宮本雅彦: "A Hamming code vertex operator algebra and construction of vertex operator algebras"Journal of Algebra. 215巻. 509-530 (1999)
• [Publications] 花木,丹原,宮本雅彦: "Quantum Galois theory for finite groups"Duke Math. J.. 97巻. 541-544 (1999)
• [Publications] 江川、宮本雅彦: "Graph labelings in Boolean lattices"Ars Combin.. 52巻. 13-19 (1999)
• [Publications] 北詰、宮本雅彦、山田: "Temary codes and vertex operator algebras"Journal of Algebra. 223. 379-395 (2000)