最近のarXivから：2008.11261

前回の続きです。ナイアの最近の論文 "Matter-gravity coupling for fuzzy geometry and the Landau-Hall problem"

https://arxiv.org/abs/2008.11261

をフォローします。前回は Jackiw-Nair-Pi-Polychronakos 流体モデルの発展に関するものでしたが、今回はファジィ空間における物質場（ファジィ空間で表される物理系と結合する自由度）についての考察です。そのような物質場の有効理論はある種のチャーン・サイモンズ作用で与えられるというのが結論ですが、そのチャーン・サイモンズ項が一般にディラック指数密度で特徴づけられるとのことです。そこで、ディラック指数密度(Dirac index density)って何？ということになりますが、これはドルボー指数密度(Dolbeault index density)から複素構造を除いたもののようです。物質場の無い場合、ファジィ空間の背景場の揺らぎの有効理論はこのドルボー指数密度と関連したチャーン・サイモンズ項を用いて記述できることが、Karabali-Nair によって指摘されていました。

https://arxiv.org/abs/1604.00722

今回の論文は、同様な物理系において物質場と重力の相互作用がどのように現れるかを複素構造を持たないより一般的な場合にも拡張して調査したものであり、先行研究について知識が無いと読み進めるのに苦労すると思います。私も参考文献を読み返したりしているうちにいつの間にか一週間経ってしまいました。さすがにこれ以上放っておいても埒が明かないので強引にまとめてみます。

まず、なぜドルボー指数が出てくるかというと、論文（10頁）でさらっと触れていますが、ファジィ空間上での物理系における正則偏極(holomorphic polarization)条件から、系の状態数が反正則微分の核（カーネル）の次元に対応しているため、この状態数はドルボー作用素の指数定理からドルボー指数で表されるからです。具体的にファジィ$S^2$, $\cp^2$空間の場合についてドルボー指数密度が書き下されています。ただし、物理系の時空間は$\M_F \times \R$（$\M_F$がファジイ空間、$\R$が時刻）で表される。これらのドルボー指数密度は$U(1)$ゲージ背景場$A$の場の強さ$F=dA$と背景場の曲率$R=d \om$（$\om$はスピン接続）で記述され、これらに対応するチャーン・サイモンズ作用は$A$, $\om$の関数として与えられる。この時、問題となる物質場の動力学はチャーン・サイモンズ作用の$A$を物理系のラグランジアン密度分だけシフトさせることで得られるというのが、この論文の要旨である。ただし、論文では量子ホール系との関連からハミルトニアンを使ってポアンカレ・カルタン形式(Poincare-Cartan form)という用語が出てくるが、これは物理系のラグランジアン密度と解釈するほうがすっきりする。

さらに、ドルボー指数密度に替えて、ディラック指数密度を用いるとより一般化された背景場についても同様の議論を行うことができる。これらの結果から対象となる物理系において物質場のダイナミックスは$S_{eff} = \int \rho (A, \om) \L$という有効理論で記述できることが分かる。ただし、$\rho$は指数密度で与えられ、$\L$は系のラグランジアン密度である。$S_{eff}$の具体的な形から、状態数が大きいとき（つまり可換極限では）物質場の有効作用において$U(1)$ゲージ場による項（$F$で表される項）が優勢であるが、その次に優勢な項として曲率に依存した項（$R$で表される項）が存在することが分かる。このような曲率依存項の存在は暗黒物質の問題と関連して興味深い研究対象となっている。

今回の論文では重力理論と量子ホール系さらにその背後にある数学的トピック（非可換幾何学、幾何学的量子化、指数定理）などが織り交ざり、これまでのナイアの研究の豊かさとその奥深さを垣間見た気がします。導出されたチャーン・サイモンズ項は重力理論と有限温度の場の理論でもある thermofield dynamics との関連

https://arxiv.org/abs/hep-th/0605007

からも理解できるとのことです。同じ日に流体力学についてのプレプリントも投稿されているしどんだけ守備範囲が広いのかと浅学の私はクラクラしてきました。今後もできる範囲で先生の論文をフォローしたいと思います。

最近のarXivから：2008.11260

遅くなりましたが、先月末にナイアがプレプリントを連投していたのでフォローします。先ずは、"Topological Terms and Diffeomorphism Anomalies in Fluid Dynamics and Sigma Models"

https://arxiv.org/abs/2008.11260

から。毎度のことですがナイアの論文を読んでいると学生に戻った気分になり身が引き締まる思いです。今回の論文では、まずターゲット空間が$\cp^2$となる(2+1)-次元シグマ模型にトポロジカル項がある場合、エネルギー・運動量テンソルの交換関係にはそのトポロジカル項で表される異常項が現れること、そしてそれはターゲット空間の座標変換不変性に起因することが詳説されています。このシグマ模型との類推で、非アーベル型に拡張できる流体モデルにトポロジカル項を追加することを考えるというのがこの論文のメインテーマです。

ここで非アーベル型流体モデルというのは Jackiw-Nair-Pi-Polychronakos によって開発された手法です。私がナイアの学生だった頃にナイアがJackiw達と精力的に研究していたテーマで、私より一つ上の学生の研究課題でもありました。Brookhaven National Laboratory (BNL) でのクォーク・グルーオンプラズマの物理現象を解析することがモチベーションの一つだったと記憶しています。この手法では（流体）速度のクレブシュ表示 (Clebsch parametrization)をもちいて完全流体のラグランジアンを書き下すことにより理論の非アーベル化や量子化、また磁気ヘリシティや渦と言った物理量に関連する項についての考察が可能となります。非アーベル化について詳しくはこちらを参照ください。

さて、論文2008.11260ではこの（非アーベル化されていない）流体モデルにどのようなトポロジカル項が追加できるかを前出のシグマ模型との類推で考察したものです。具体的に３つのトポロジカル項が構成され、その一つは(2+1)次元の流体において知られている渦のダイナミクスを記述する有効理論を導くことが示されています。さらに(3+1)次元に拡張するとこのトポロジカル項が渦糸の流体力学を記述すること、また別のトポロジカル項をもちいると渦糸で表される結び目や絡み目の流体力学が記述できることが予想されています。ここでは、さらっと結果だけまとめましたが当然ながら実際にはそれぞれの場合について具体的にエネルギー・運動量テンソルの交換関係が計算されその物理的な意味が議論されています。

最近のarXivから：2001.05040

前回に引き続き、先月連投されたナイアのもう１つの論文 "Landau-Hall States and Berezin-Toeplitz Quantization of Matrix Algebras"

https://arxiv.org/abs/2001.05040

も簡単に紹介します。Berezin-Toeplitz量子化については

https://arxiv.org/abs/1003.2523

にまとめられていますが、そのエッセンスはナイアの論文のイントロ部分で丁寧に紹介されています。その内容を表面上だけ追ってみます。ケーラー空間 ${\cal M}$ 上の複素関数 $A(z, \bz )$ をケーラー空間上で定義される演算子 $\hat{A}$（の行列要素$A_{ij}$）に対応させる枠組みをBerezin-Toeplitz(BT)量子化と呼ぶ。${\cal M}$上のコヒーレント状態の波動関数（で正則条件を満たしたもの）の完全系の要素を$\Psi_i$で表すと、$A(z, \bz )$と$A_{ij}$の関係は
\[
A_{ij} = \int_{\cal M} d V ~ \Psi^{*}_{i}  A(z, \bz ) \Psi_{j}
\tag{1}
\]
で与えられる。ただし、$dV$ は ${\cal M}$ の体積要素。反対に $A_{ij}$ から古典的な関数を導出する式は
\[
(A) = {\cal C} \sum_{k,l} \Psi_k A_{kl} \Psi^{*}_{l}
\tag{2}
\]
で定義される。ただし、${\cal C}$ は規格化定数。BT量子化において、$A(z, \bz )$,  $(A)$ はそれぞれ反変シンボル、共変シンボルと呼ばれ、量子化における重要な要素を成す。これらは互いに変換可能ではない、つまり$A(z, \bz)$が与えられたとして、$(1)$, $(2)$を用いて算出された $(A)$ は $A(z, \bz)$ とはならない。なお、これらが一致するのは行列要素 $A_{ij}$ が対角成分だけをもつ場合（対角化されたコヒーレント状態表現）に限られる。

この論文では ${\cal M}$ として具体的に $S^2$ と $\cp^2 = SU(3)/U(2)$ を取り上げ、$A(z, \bz )$ と $(A)$ のスター積をシステマティックに算出しています。前回同様ナイアが長年研究してきたファジイ空間を使った量子ホール系の解析手法を用いて、上記のコヒーレント状態を量子ホール問題の最低ランダウ準位とみなすことで、BT量子化を場の理論の問題として再定義し、数学的なスター積の記述に物理的な意味を与えています。

共変シンボルのスター積はナイアが以前に導出した量子ホール系の有効作用の計算と同様です。一方、反変シンボルのスター積については、関係式$(1)$に注目して、最低ランダウ準位に制限された１粒子系の量子ホール問題の解析と関連付けられることが示されており、崎田・レイの論文

https://arxiv.org/abs/cond-mat/0105626

https://arxiv.org/abs/hep-th/9304033

で与えられたスター積について現代的な解釈がなされている点が興味深かったです。

最近のarXivから：2001.04957

まだよく理解してないのですが、気になって流し読みしたということで記録しておきます。私の指導教官だったNairのプレプリント

https://arxiv.org/abs/2001.04957

タイトルは "Entanglement for Quantum Hall states and a Generalized Chern-Simons Form" です。主な結論は「量子ホール状態における量子もつれのエントロピー（エンタングルメント・エントロピー、EE）を背景場の揺らぎの関数として表すと、それは一般化されたチャーン・サイモンズ項で与えられる。」というものです。この描像は重力の場の方程式がEEの極値化により求まることを示唆しており、今後このアイデアに沿った発展が期待されるとのことです。

エンタングルメント・エントロピー(EE)ってなんだっけと思い調べてみると

https://www.jsps.go.jp/seika/2015/vol2_004.html

で第一人者の高柳君が解説しているように、EEは反ドジッター空間の曲面の面積に相当するとのことなので、この面積の変分をゼロにすることで重力の方程式が導かれるというのは十分納得できます。ただ、その面積が一般化されたチャーン・サイモンズ項で与えられるってどういうことなのでしょうか。

論文に沿って議論の流れを見ていきましょう。まず、イントロからナイア節が炸裂しています。

１．ブラックホールに代表されるエントロピーと重力の関係
２．相対論的場の量子論におけるエンタングルメントの必然性
３．非可換幾何学における自由度は空間そのもので与えられる

という３つの観察から、非可換空間上で定義される状態間のEEを計算することができるのか、そしてそれを重力と関係づけることができるのかとの疑問が自然に生じると導入されています。第一段落目だけでこれだけの内容なので、背景知識の乏しい読者としては半ば置いて行かれた感がありますが、頑張って読み進めると、非可換幾何学の簡単な物理モデルとして量子ホール系があると紹介されています。この話は長年ナイアが研究してきたテーマなので私も知っていました。そこで、量子ホール系で２つの領域で定義された状態のもつれ（エンタングルメント）をモジュラー演算子のスペクトルを使って考えると言うのですが、モジュラー演算子って何？？となり一旦詰まってしましました。分からないのでとりあえず飛ばして読み進めると論文の後半では上述の結論を導くとのこと。

さて、上記のモジュラー演算子（正しくは富田モジュラー演算子）については２章で定義されていました。この章の後半は富田・竹崎理論の解説となっていて、ウィッテン先生の最近のあの論文 "Notes on Some Entanglement Properties of Quantum Field Theory"

https://arxiv.org/abs/1803.04993

をナイアが咀嚼してまとめた内容が展開されています。私には抽象的すぎるのでそういう数学があるんだということを認めるしかありませんでした。場の量子論においてEEは密度行列を用いてフォン・ノイマンエントロピーとして定義できます。この密度行列を用いてモジュラー演算子を定義することもでき、EEとの関連では、このモジュラー演算子のスペクトルが正の実数となることが重要だということです。

最近のarXivから：spinor-helicity形式の質量化(massive deformation)

PC関連の作業や現実逃避の読書で後回しになっていましたが、最近とても興味深いプレプリントがいくつか出ています。著者名、タイトルを割愛してリンクだけ紹介すると

https://arxiv.org/abs/1912.03324
https://arxiv.org/abs/1910.13407
https://arxiv.org/abs/1909.10551
https://arxiv.org/abs/1905.11433
https://arxiv.org/abs/1902.07204

です。これらは2017年の論文

https://arxiv.org/abs/1709.04891

に触発される形で、散乱振幅の計算手法の発展を現象論的に興味深い模型（特に、ヒッグス機構を含めた電弱理論）へ応用しようという試みです。最近の散乱振幅計算の発展は以前も触れたように2次元共形場理論の理解と密接に関わっているため対象となる粒子は必然的に質量ゼロのボソンとなります。ただ、現実的には当然、質量のある粒子（ヒッグス粒子やクォーク）を取り扱う必要があります。その為には、散乱振幅の計算で用いられているspinor-helicity形式の質量化(massive deformation)を考えなければなりません。散乱振幅を計算するに当たりファインマン図の内線にあたる仮想粒子(virtual particle)が現れるのでそのような質量化は以前から知られていましたが、2017年の論文では代数的な手法を用いてこの質量化が簡素に表示されることが示され、その表示法のもとでヒッグス機構が記述されました。

2017年当時、私も興味深くフォローしていましたが数値的に予言能力があるのかどうか不明なままでした。その前に、まず以前の reference spinor を用いたspino-helicity形式の質量化とどう関係しているのか明らかにしなければと思いながら、別の研究（の泥沼）にはまり込んでどうしようもなくなっていました。今回、上記2番目の論文 1910.13407 でそのあたりのことがクリアにされているようなので、今度時間を見つけてホロノミー形式の研究に戻りたいと思います。

最近のarXivから：1908.04115

最近発表されたプレプリント arXiv:1908.04115 [hep-th] についてです。タイトル "Notes on anomalies, elliptic curves and the BS-D conjecture" を見てとうとうarXiv[hep-th]にもにBSD予想に関連する論文が出るようになったかと興味深く読みました。標準模型と同じタイプの$SU(N) \times SU(2) \times U(1)$ゲージ理論におけるアノマリー相殺の計算を楕円曲線の３次式と関連付け、その階数の計算から$U(1)$ハイパー電荷にどのような制限がかかるかを議論したものです。

標準模型ではカラー自由度が$N=3$で与えられ、（弱い相互作用を受ける）左巻きのクォーク・レプトンは$SU(2)$のダブレット（2重項）表示されるが、この論文では先月発表された arXiv:1907.00514 [hep-th] を参考にして、$N$を任意の自然数にとり左巻きのクォーク・レプトンを$SU(2)$のマルチプレット（$q$重項）表示されると仮定して、標準模型の類推からアノマリー相殺の関係式を導出し、$q=3$の場合にこの関係式が射影平面$\mathbb{P}^2$上の非特異な平面代数曲線（楕円曲線）とみなせることを示している。このような仮定($q=3$)は現象論的に現実的ではないため、素粒子論としての応用はあまり期待できないものの、楕円曲線の階数は数論において重要な研究対象なので物理的なアプローチから階数の解析がなされるのは興味深い。

楕円曲線はMordell-Weil群と呼ばれるアーベル群 $E( \mathbb{Q} )$ と関連付けられ、これは$E( \mathbb{Q} ) = \mathbb{Z}^r \oplus T$と表される。ただし、$T$はねじれ(torsion)群と呼ばれる有限部分群であり、$r$は階数(rank)である。この論文の主要な結果は、「上記アノマリー相殺の関係式から導かれる楕円曲線の階数は$N=3,9$のとき$r=0$となり、それ以外の$N$では$r>0$となる」というものである。アノマリー相殺の関係式に還元すると、これは「スケール因子を除くと$U(1)$ハイパー電荷が$N=3,9$の場合にはユニークに決まるが、$N \ne 3,9$の場合はハイパー電荷は無限に選べる」と言い換えられる。

これらの結果を補足・確認するのに楕円曲線のデータベース

http://www.lmfdb.org/EllipticCurve/Q/

が用いられている点も面白い。私も以前からこのLMFDBで遊んでいましたが、実際に物理の論文で使われているのを見ることはありませんでした。この論文ではLMFDBを用いて、実際に$N=3,9$に対応する楕円曲線がランク０($r=0$)であること及び$N<34$の範囲では$N\ne 3,9$に対応する楕円曲線は$r \ge 1$であることが確認されている。