モンストラス・ムーンシャイン
数学において、モンストラス・ムーンシャインもしくはムーンシャイン理論とは、モンスター群とモジュラー函数、特に j-不変量との間の予期せぬ関係を指し示す用語、およびそれを記述する理論である。1979年にジョン・コンウェイ(John Conway)と(Simon Norton)により命名された。今ではその背景として、モンスター群を対称性として持つある共形場理論があることが知られている。コンウェイとノートンによって考案されたムーンシャイン予想は1992年、リチャード・ボーチャーズ(Richard Borcherds)により、弦理論や(vertex operator algebra)、一般カッツ・ムーディ代数を用いて証明された。
1978年、(John McKay)は、j (τ) のフーリエ展開（）の最初のいくつかの項の係数
が、モンスター群 M の既約表現の次元 formula_2 （ ）の、小さな非負実数を係数とする線型結合として表し得ることを発見した（ここで、formula_3 、τ は(half-period ratio)）。
実際、formula_2 = 1, 196883, 21296876, 842609326, 18538750076, 19360062527, 293553734298, ... とすると、
となる。
（ r の間には formula_6 のように多くの線型関係が存在するので、このような表現には複数の方法が存在することがある。）マッカイは、この証拠として、M の自然に発生する無限次元の次数付き表現が存在することを見つけ、この表現の次数次元が j の係数で与えられ、上記のように低いウェイトの部分が既約表現へ分解することを発見した。マッカイがジョン・トンプソン(John G. Thompson)にこの発見の話をすると、トンプソンは、次数の次元がまさに単位元の次数トレースとなっているので、そのような表現の上の M の 非自明元 g の次数付きトレースが、同じく注目すべき対象となると示唆した。
コンウェイとノートンは、今日(McKay–Thompson series) T として知られているそのような次数付きトレースの低い次数を計算し、トレースのすべてが Hauptmodul の展開として現れることを発見した。言い換えると、G は、T を固定したの部分群であれば、複素平面の上半平面の G による商が、有限個の点を取り去った球面となり、さらに T はこの球面の上の有理函数の体を生成する。
彼らの計算を基礎として、コンウェイとノートンは Hauptmodul のリストを作成し、M の無限次元の次数付き表現の存在を予想した。次数付きトレース T は正確にこれらのリストの函数の展開となる。
1980年、(A. Oliver L. Atkin)とポール・フォング(Paul Fong)とステファン・スミス(Stephen D. Smith)は、そのような次数付き表現が存在し、計算機での計算することで、トンプソンの発見した境界の差異を無視すると(upto) M の表現の（次元の）中へ j の係数が分解することを示した。(Igor Frenkel)と(James Lepowsky)は、明確に、表現を構成し、マッカイ・トンプソン予想が有効であるという答えを与えた。さらに彼らは、構成したムーンシャイン加群 formula_7 と呼ばれるベクトル空間が、(vertex operator algebra)の加法構造を持ち、その自己同型群が正確に M に一致することを示した。
ボーチャーズは1992年にムーンシャインモジュールについてのコンウェイとノートンの予想を証明し、1998年にこの予想の解決をひとつの根拠として、フィールズ賞を受賞した。
フレンケル・レポースキー・ミュールマンの構成は2つのツールを使用している。
フレンケル、レポウスキ、ミュールマンは、ムーンシャイン、加群の自己同型群が頂点作用素代数として M であり、その次数付きの次元は j のフーリエ展開を与えることをしめした。
リチャード・ボーチャーズ(Richard Borcherds)のコンウェイとノートンによる予想の証明は、次の主要なステップに分けることができる。
このようにして、証明は完成した()。ボーチャーズが後に語る所によると"「ムーンシャイン予想を証明した際、私はまさに月をも飛び超えるほどの舞い上がり様でした。」「ある種の薬物を摂取した人の感じる気分とはこれの事なのかと、偶に思ったりもします。その仮説を検証した事は無いので、定かではありませんが。」"
コンウェイとノートンは、1979年の論文で「ムーンシャインは恐らくモンスターに限るものではなく、同様の現象が他の群でも起こりうるのではないか」と示唆している。1980年に、ラリッサ・クイーン(Larissa Queen)たちは、実際には、多くのの次元の単純な組み合わせから多くの Hauptmodul (McKay-Thompson series T) を構成することができることを発見した。1987年、ノートンはクイーンの結果と彼の計算を組み合わせ、一般化されたムーンシャイン予想を定式化した。この予想は、モンスターの各々の元 g、次数付きベクトル空間 V(g)、各々の元と元の交換子 (g, h)、に対して、正則函数 f(g, h, τ) を関係づける規則があり、次の条件を満たすという予想である。
この予想は、コンウェイ・ノートンの予想の一般化である。その理由は、ボーチャーズの定理が、g が恒等元として設定されているときの場合に関係しているからである。今日まで、この予想は未解決である。
コンウェイ・ノートンの予想のように、一般化されたムーンシャイン予想もまた、物理的な解釈をもっていて、1988年にディクソン・ギンスパーク・ハーヴィ(Dixon-Ginsparg-Harvey)により提案された。かれらはベクトル空間 V(g) をモンスター対称性を持った共形場理論のツイストされたセクターとして、また、函数 f(g,h,τ) の乗法的数列の種数 1 を分配函数の種数として解釈した。そこでは、ツイストされた境界条件に沿って貼り合わせることでトーラスを作ることができる。数学のことばでは、ツイストしたセクターは既約なツイストした加群で、分配函数は主モンスターバンドルを持つ楕円曲線に対応し、バンドルの同型タイプは 1-サイクルの基底()、つまり可換な元のペアに沿ったモノドロミーにより記述される。
2007年、エドワード・ウィッテン(Edward Witten)は、AdS/CFT対応が (2+1)-次元の反ド・ジッター空間の純粋量子重力と、臨界で正則CFTの間の双対性を主張していると示唆した。(2+1)-次元の純粋重力は自由度を持たないが、しかし宇宙定数が負のときにBTZブラックホール解が存在するために非自明なことが起きる。ハーン(G. Höhn)により導入された臨界CFTは、低エネルギーではヴィラソロプライマリー場を持たないということにより特徴づけられ、ムーシャイン加群が一つの例となっている。
ウィッテンの提案（）に従うと、AdS空間内の最大の負の宇宙定数を持つ重力は、中心電荷 formula_13 でCFTの分配函数がちょうど formula_14 となる正則CFTのAdS/CFT双対である。この正則CFTは、ムーンシャイン加群の次数付き指標(character)である。フレンケル・レポウスキー・ミュールマンの予想であるムーンシャイン加群は、中心電荷が 24 で指標が formula_14 である唯一の正則頂点作用素代数(VOA)であるという予想を前提として、ウィッテンは最大の負の宇宙定数を持つ純粋重力は、モンスターCFTの双対であると結論づけた。ウィッテンの提案の一部として、ヴィラソロプライマリー場はブラックホールを生成する作用素の双対であり、整合性チェックとして、彼は大きな質量境界で与えられたブラックホールのベッケンシュタイン・ホーキングの準古典エントロピーの見積もりと、対応するムーンシャイン加群のヴィラソロプライマリーの多重度の対数が一致することを発見した。小さな質量領域では、エントロピーに対して小さな量子補正が存在し、最も小さなエネルギーのプライマリー場は、formula_16である。一方、ベッケンシュタイン・ホーキングの見積もりはformula_17である。
後日、ウィッテンは提案を精査した。ウィッテンは大きな宇宙定数をもつ臨界CFTは、ミニマルな場合のようなモンスター対称性を持つかもしれないとの見通しを与えた。しかし、ガイオット(Gaiotto)とハーン(Höhn)の独立した仕事によりすぐにこの提案は棄却された。マロニーとウィッテンの論文（）は、複雑な鞍点が微妙な性質があるうまい条件を満たすという微妙な性質を持たない限り、純粋重力は分配函数に関係する整合性チェックを満たさないかもしれないと示唆した。しかしながら、リ、ソン、ストロミンジャー（）は、モンスターCFTのカイラル部分の双対であること、つまり、モンスター頂点代数であるとき、マスコット(Maschot)により2007年に提案されたカイラル重力がより安定な性質をもつかもしれないことを示唆した。ダンカンとフレンケル（）は、を使い、この双対性の証拠をさらに加え、大域的トーラス同種(isogeny)幾何学上の正規化された和を使い、(2+1)-次元重力の分配函数としてマッカイ・トンプソン級数を再現した。さらに、彼らは、モンスターの元でパラメトライズされるツイストしたカイラル重力の族の存在を予想し、一般化されたムーンシャインや重力インスタントンとの関係を示唆した。現在のところ、これら全てのアイデアは、むしろ期待でしかなく、その理由の一つとしては、3-次元量子重力が厳密な数学的な基礎を持っていないことにある。
2010年、江口徹、大栗博司、立川祐二は、K3曲面上の楕円種数が N=(4,4) の指標へ分解することができ、の多重度が(Mathieu group M)の既約表現の単純な結合のように見えることを発見した。このことは、M 対称性を持つ対象空間としてK3曲面を持つシグマモデルの共形場理論が存在することを示唆している。しかし、向井・近藤分類によると、による任意のK3曲面の上のこの群にはがなく、ガバルディエール(Gaberdiel)、ホーエンネッガー(Hohenegger)、ボロパト(Volpato)によると、任意のK3シグマモデルの共形場理論には忠実表現が存在しないという議論があり、基礎となるヒルベルト空間上に作用が現れないことがいまだにミステリーになっている。
マッカイ・トンプソン級数の類似で、チェン(M. Cheng)は、(multiplicity function)も M の非自明元の次数付きトレースも両方とも、(Mock modular form)を形成することを示唆している。2012年、ガノン(Gannon)は、多重度の最初のものだけは Mの表現の非負な整数係数の線形結合であることを証明し、ガバルディエール(Gaberdiel)、パーソン(Persson)、ローネレンフィッチ(Ronellenfitsch)、ボロパト(Volpato)は、一般化されたムーンシャイン函数のすべての類似物を計算し、強くマチュー・ムーンシャインの背後に正則共形場理論の類似物が存在することを強く示唆した。2012年には、チェン(Cheng), ダンカン(Duncan), と(Harvey)は、アンブラル・ムーシャイン()現象の数値的な証拠を積み上げ、そこではモックモジュラ形式がナイエメイヤー格子(Niemeier lattice)に付随して現れることを示した。A の特別な場合はマチュー・ムーンシャインであるが、一般的には、未だこの現象は幾何学的な解釈は持っていない。
「モンストラス・ムーンシャイン(monstrous moonshine)」という言葉は、コンウェイにより命名された。彼は、1970年代に(John McKay)から formula_18 の係数（つまり、196884）は、(Griess algebra)の次元に正確に一致すると聞いた（従って、モンスター群の最小な忠実複素表現の次数よりも 1 だけ大きい）ときに、これは気が狂いじみていて、馬鹿げた考え方であるいう意味"moonshine"との返答をした。 このようにして、この言葉は、モンスター群 M を意味するだけではなく、M とモジュラ函数の間の本質的な関係の馬鹿馬鹿しく見えることをも意味している。
しかしながら、「ムーンシャイン」はアメリカにおける密造ウィスキーの俗語でもあり、事実、この意味から同じように説明される。モンスター群は、1970年代に数学者であるジャン＝ピエール・セール(Jean-Pierre Serre)や(Andrew Ogg)やジョン・G・トンプソン(John G. Thompson)により研究され、彼らは SL(R) の部分群によるの商として研究した。特に、SL(2,R) の中のモジュラ群 Γ(p) の Γ(p) を研究した。彼らは、リーマン面を双曲面を Γ(p) で割った商とみることにより、（リーマン面の）種数がゼロとなることと、p が 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71 のいづれかであることと同値であることを発見した。オッグ(Ogg)が後日にモンスター群について聞いたときに、これらは M のサイズのになることに気付き、彼はこの事実を説明できた人がいれば、ジャックダニエルのボトルを進呈すると論文に記載した。