前回のおわりにも書いたように、アノマリー多項式という言葉自体はポルチンスキーにも出てきますが、M5 の話ではないのでその場合について具体的に書きたいと思います。

アノマリー多項式というのは、考えている理論の時空の次元より２高い次数の微分形式で、それに「降下方程式（descent equation）」と呼ばれる簡単な代数演算を行うと望みの理論のアノマリーが得られる、という大変便利な式です。アノマリー多項式は一般に何らかの（そのアノマリーを出すカイラルな場が結合している）場の曲率２次形式のなんとか乗のトレースの多項式になっているので、もっとちゃんと言うと、考えているベクター束の「チャーンルート」、つまり曲率の固有値の対称多項式で表されているので、そう呼ばれています。

ここのところはグリーン・シュワルツ・ウィッテンの教科書第２巻にすでにでていて、こうこれはいくら古くても朽ちることのない事実です。それによれば、M5 ブレイン上の場のうちアノマリーを出す２つの種類の場である、セルフデュアル2-フォーム場 とカイラルなシンプレクティックマヨラナスピナー のよる重力アノマリーは、それぞれ「ヒルツェブルフL-多項式(Hilzebruch L-polynomial)」と「A- ルーフジーナス(A-roof genus)」

から読み取れます。ここで、 はチャーンルートと言って、複素ベクターバンドルの曲率形式  の j 番目の固有値  と
のように関係しています。複素 n 次元なら  は U(n) リー代数に値をもつ 2-form なので、  は実数（に値をもつ 2-form）です。

もっとも、細かいことを言うと、今アノマリーを考えているのは M5-ブレインの世界体積(“world volume”)なので、その空間の符号は Lorentzian 、すなわち「時空」です。アノマリーを一番最初に習うときにでてくる三角アノマリーも４次元「時空」で考えています。なので、そこに出てくる曲率形式は（特に今の場合は重力アノマリーを考えているので）SO(2n-1,1) に値をとるので、複素ベクター束の標準接続の曲率形式や、これからやるようにそれをSO(2n)実ベクトル束と見たりするのはおかしいようにも思えます。しかし、そこのところは藤川メソッドをやるときのように「ユークリッド化」をしていると考えて、それで結局すべてうまくいくことがわかります。なので、ここではそういうツッコミはしないことにして先に進みましょう。このようにして出てくるアノマリー多項式からアノマリーインフローを引き起こす補正項の存在が帰結され、それが超弦のコンパクト化に重大な拘束条件をもたらす、というところまで話してやっと「ポルチンスキーの教科書が書かれた後になってわかった. . .」になるのですが、そのときには曲率形式は（カラビ・ヤウだったりする）コンパクトな方向だけ値をもつものを考えます。

話を元に戻して、上の  や  を展開すると、各項は  の対称式にまとまり、チャーンクラス

を使って

となります。これらのチャーンクラス  は基本対称式なので  の積の和で書くことができます。さらに、複素ベクター束の曲率形式  が

のとき、この複素ベクター束を実ベクター束と見たときの曲率形式  はなので

と書けます。

さて、これでやっと M5 のアノマリー多項式がどう言うものなのかを記述することができます。知られていることは、６次元のセルフデュアル2-フォーム場  のアノマリーのアノマリー多項式は  の  4次の項、シンプレクティックマヨラナスピナー のアノマリーのアノマリー多項式は の  4次の項で与えられる、ということです。これらは8次の微分形式なのでそれぞれ  ,   と書くことにすると、これらを足したものが M5 のアノマリー多項式です。

ここまでこの回もかなり長くなってしまったので、このアノマリー多項式が実際のアノマリーとどういう関係になっていて、そのようにして表されたアノマリーはあってもいいのか、それがどのように考えられたのかについては次の回に書くことにしましょう。

前回記事を書いてからまた1年が経ってしまいました . . . 。今年もこれからものすごく忙しいですが、新学期が始まる前の今、このチャンスに、今度こそポルチンスキーに書いてないことを書こうと思います！

ポルチンスキーに書いてない重要なことーそれはたくさんありすぎてどれからお話しすればいいか悩むところですが、まず最初に書くべきこととして、前回1年前にちょっと触れた、アノマリーインフローとそれによる超重力の修正、とその超弦コンパクト化への重大な帰結について書いてしまいたいと思います。今思えば、こんなこともわかっていなかったんだなあ、という感じがします。そういうことがこれ以外にももっとものすごくたくさんあるのです。

注　実は、M5 へのアノマリーインフローを引き起こす重力チャーンサイモンズ項（厳密な定義のチャーンサイモンズ項ではないですが、そう呼ばれることが多いです）の存在が指摘されたのがが　Duff, Liu and Minasian (1995) 、それによってフラックス保存（「タドポール」）条件が変わり、3次元ミンコフスキーx8次元多様体のワープコンパクト化が実現できることが示されたのが　Becker and Becker (1996) で、ポルチンスキーの教科書の初版が 1998年ですから、「ポルチンスキーの教科書が書かれた後になってわかった」というのは正確ではありません。しかし、これが書いてないのは事実ですし、またこのことが、2000年代になって始まった、KKLT をはじめとする超弦理論の宇宙論的応用に大きな影響を与えました。なので、そういうことを含めて「ポルチンスキーの教科書が書かれた後になってわかった」ことの一つとして書きたいと思います。ここまで注でした

さて本題ですが、M理論、それは結局11次元超重力とほとんど同じことですがいろいろな拡張をしている、あるいはこれからする、ということをにじませるときにこう言いますが、この理論には M5-ブレインというブレインがあります。「あります」と見てきたように言っていますが、これは例えば 11次元超重力にそういうブラックブレイン解があることからそう言います。
R. Gueven(ue は u ウムラウト), Phys. Lett.B276 (1992)49-55 です。

このブレインは、他の D-ブレインと同じように超対称性を半分だけ破ります。そして、そのブレインの揺らぎ（微小変形のゼロモード）を調べてみると、そのブレインは6＝5＋1次元ですが、その上に6次元(0, 2)超対称性が残ることがわかります。したがってM5-ブレインの上の(0, 2)超対称場の理論を考えることになりますが、それは「(0, 2)」ということを見てもわかるようにカイラル、つまり右と左が「ちんば」になっているのです。

こういう理論にはアノマリーがあります。この場合は、６次元の重力アノマリー(gravitational anomaly)です。６次元のブレインの上の一般座標変換、あるいは局所ローレンツ変換不変性に関するアノマリーです。一般座標変換、あるいは局所ローレンツ変換しても理論は当然不変になっていて欲しいところ、量子論的には変換すると同じになっていない！ということなので、もしこれがこのままどうにもならないとしたら、超弦で宇宙だとかそれどころの話ではないですが、それは「アノマリーインフロー」という「現象」によって矛盾なくいっている、ということがずっと前から（といってもポルチンスキーには書いてないですが）わかっています。この機構をもっと数式でちゃんとお話ししましょう。

アノマリーというのは、量子論的な有効作用、つまり古典的な作用にループ効果による補正も加えて考えた作用（この場合はループ効果だけでいい）が、変換したら変化が０でなく、別の値に変換してしまう、ということです。この場合は局所ローレンツ変換です。（重力アノマリーを考えるときは、一般座標変換による不変性の破れを考えるより、それにカウンタータームを付け加えて局所ローレンツ変換の破れとして扱う方が便利なのでそうしています。）どういう次元にどういうカイラルな理論があってどういう場があるときのアノマリー、つまり変換した時の有効作用の変化がどうなるかはずっと前に Witten によって調べられていて、その結果は「アノマリー多項式(anomaly polynomial)」によって簡明に記述されることがわかっています。アノマリー多項式や降下方程式自体については、ポルチンスキーの教科書にもヘテロティック弦でのグリーン・シュワルツ機構の説明のところで出てきます。次回はそれについて書くことにしましょう。