Summer School 数理物理 に参加してきた. とりあえずスーパー楽しかった. 河東先生のは微妙なところだが, 大体全ての講演の内容にピントが合いまくっているので, 大分景色が広がった. 入門的な話を議論するということで面倒なところに触れていないからということもあるが, 人の話が これだけクリアに分かった経験もなく, 楽しかった. 順に感想を書いていこう.
新井先生: 相対論的量子電気力学
新井先生の話は 2 日使って相対論的 QED の 発見法的な (数学的に厳密でない) 議論をした上で, 最終日にきちんと定義できる部分の話をした. Hamiltonian を定義してその詳しい性質を調べたいわけだが, 今のところ運動量・空間の切断をつけないとうまくいかないということで難しいが, それでも議論は進んできている, という夢のある話が展開された. 切断つきとはいえ, 思った以上に議論が進んでいたのでびっくりした. 最近の新井研は相対論の人が多いらしく, 会場内でも学生さん達がその辺の議論をしていて楽しそうだった.
最終日のお昼, たまたま新井先生と新井研の学生さん達と食事しながらお話したのだが, 散乱理論さえ構成できれば基底状態の存在などはとりあえず言えなくてもいい, とか「それはそうだ」という話を色々した. とにかく本当に物理的な, カットオフなしの理論は何も言えていないから, やるべきこと・知りたいことは色々ある. QCD やその格子正則化の議論もしたいが難しい, という話とか色々. 論文タイトルだけは QCD を示唆しているが, 実際にはヒッグスが起きたあとの massive theory であって, ある意味こけおどしのような論文もあるからそんなに難しいと思わずとりあえず目を通して比較してみたら, とかいうコメントもあったりして実に楽しそう. 活発に研究されているようで見ているだけでも楽しい.
あと, 学生の頃からずっと新井先生にはメール上で本の誤植を送ったり論文をお送りしたりと交流があったのだが, 今回ようやく始めてお話する機会を得た. きちんと覚えて頂けていたようで, 何よりであった. 非同値表現など CAR・CCR の表現論周りで, 簡単過ぎるかもしれないがやらなければいけないことなどを考えていて, それについても少しお話したところ, Derezinski がきちんとやらないといけないと言い始めているようで, 実際に大事だろうから是非やるといい, 的な話もした. 考えていることが無意味ということはないようなので, 少し安心した. その方面も基礎的なところをきちんと固めていきたい. 「やろうと思っているがなかなか時間が取れないところをやってくれているので嬉しい」的なことも言われたので, 地味な研究だが粛々と議論を進めていきたい. 今回有限温度の話は全くなかったが, その辺も絡めてやっていく必要がある.
最終日のお昼, たまたま新井先生と新井研の学生さん達と食事しながらお話したのだが, 散乱理論さえ構成できれば基底状態の存在などはとりあえず言えなくてもいい, とか「それはそうだ」という話を色々した. とにかく本当に物理的な, カットオフなしの理論は何も言えていないから, やるべきこと・知りたいことは色々ある. QCD やその格子正則化の議論もしたいが難しい, という話とか色々. 論文タイトルだけは QCD を示唆しているが, 実際にはヒッグスが起きたあとの massive theory であって, ある意味こけおどしのような論文もあるからそんなに難しいと思わずとりあえず目を通して比較してみたら, とかいうコメントもあったりして実に楽しそう. 活発に研究されているようで見ているだけでも楽しい.
あと, 学生の頃からずっと新井先生にはメール上で本の誤植を送ったり論文をお送りしたりと交流があったのだが, 今回ようやく始めてお話する機会を得た. きちんと覚えて頂けていたようで, 何よりであった. 非同値表現など CAR・CCR の表現論周りで, 簡単過ぎるかもしれないがやらなければいけないことなどを考えていて, それについても少しお話したところ, Derezinski がきちんとやらないといけないと言い始めているようで, 実際に大事だろうから是非やるといい, 的な話もした. 考えていることが無意味ということはないようなので, 少し安心した. その方面も基礎的なところをきちんと固めていきたい. 「やろうと思っているがなかなか時間が取れないところをやってくれているので嬉しい」的なことも言われたので, 地味な研究だが粛々と議論を進めていきたい. 今回有限温度の話は全くなかったが, その辺も絡めてやっていく必要がある.
河東先生: 代数的場の量子論における各種共形場理論
作用素環専攻で比較的近い分野であったにも関わらず, 河東先生の話は一度も聞いたことがなかったが今回はじめて聞いた. 物理的に何かあるのかは全く分からないが, 単純に数学として非常に面白い内容だった. パン耳パイセンとか Twitter 上の作用素環の人, この辺やって私にレクチャーしてほしい. 冨田-竹崎理論とか多変数関数論とか, その辺のサポートならとりあえずある程度はできるのだが.
「この辺やっているのは私と Longo と Longo の学生くらいしかいないので人が増えてほしいのですが」的な話をしていた. 本当に面白いのでここも人が増えてほしいのだが, 冨田-竹崎理論やら多変数関数論が必要やらで参入障壁が高く感じられてしまうようで, 全然人が増えません, とのこと. その辺の詳細をうまいこと回避していたためとはいえ, かなり良く分野の様子が見えてこれも本当に楽しかった. むしろ, その辺をうまく回避しつつ面白いところを的確に時間内に盛り込んでいった河東先生の力量が凄まじいとも言える. Twitter でも河東先生のトークが凄かったという呟きを見かけたが, 確かに圧巻だった.
初日のトークで「私は数学者なので演算子ではなく作用素といいます」という話があったのだが, これを受けてその後, 原さんは「僕は物理屋なので, 演算子, といいます」といい, その後さらに廣島先生が「僕は数学者なので作用素といいます」と言っていた. 原さんが物理学者に物理学者と認識されているのか非常に気になるところだがそれはともかく, 原さんが自分を物理「屋」といい, 河東・廣島先生が自分を数学「者」と言っていたのが面白かった.
講演自体だが, 初日は場の量子論と Wightman 場, 作用素値超関数が必要というところから非有界で鬱陶しいので有界作用素に移るという話から始まった. 物理としては 4 次元 Minkowski 時空で Poincare 対称性を考えるが, これだと例が作れないしよく分からないので,
2 日目からが本番で, 数学的な話がはじまった. これが面白い. Haag duality やら Reeh-Schlieder やらあるが, 特に Haag duality は話の中で拡大の極大性や locality との兼ね合いで酷使されるととても大事なのだが, 結構難しいがそれは公理として認めてしまってとにかくやってしまえばいい, みたいな話をしていて笑った. さすがに自分の学生がこの辺したいと言い出したらきちんとやるようにはいうようだし, それはそうだと思うが, それも含めて笑った. Haag duality は単なる便利なコンベンションくらいに思っていたのだが, 実際の議論では本質的に効いてくるようだった.
例を作ることと合わせて, 共形場の定式化の 1 つである頂点作用素代数やそれが発展する契機になった Moonshine 予想の話を噛ませたあとに作用素環的な議論が進んだ. 頂点作用素代数の結果を使いつつ議論するのは 3 日目の最後までずっと出てきたので, 相当大事なようだ. 共形場の定式化として適当に対応があることを使って, 頂点作用素代数で議論されていることを作用素環でトレースすることやその逆についてもかなり活発に議論されている模様. 同じ理論を記述しているのだからお互いの対応があるはずだが, 頂点作用素代数も代数的場の量子論もそのままでは一般的過ぎるから, 適当に制限をしたところでないと完全対応はないだろうという話, そしてそれは作用素環では完全有理性という条件で良さそうだ, ということだった. 完全有理性は本質的に面白い結果を出すところでは大体仮定されるらしい. きちんと確認していないが, 完全有理性は河東先生達が定義した概念のようだ. この辺もかなり凄い.
頂点作用素代数というか, 物理的に同じ理論を研究しているのだから別の数学を使ってできたことは作用素環でもできるはずだしその逆だってできるはず, というのは構成的場の量子論でも同じで, 作用素論・作用素環でできたことは確率論 (汎関数積分) でもできるはず, というのは私も思っているし実際にやりたいことでもある. そういう意味でも河東トークはとても楽しかった. 頂点作用素代数と作用素環は一方は純代数, 一方は解析学と本当に本来の興味感心がかなり違うはずなのだが, そこに対応する議論が展開できるというのはひどく非自明で楽しい. 河東先生も「昔は考えることもできなかったような分野の数学者とも話が通じるようになってとても楽しい」的なことを言っていた. 何かの文章でもあったが「昔は operator algebra で検索すると vertex operator algebra も引っかかって鬱陶しいと思っていたが, 今ではきちんと関係があることが分かった」みたいな話をして笑いを誘っていた.
3 日目はカイラルから発展してフルの共形場, 境界共形場の話をして非可換幾何の話をして終わった. 公理の設定があること, 共形場を全く知らないのでどういう話が常識なのかも知らないこともあるが, カイラルから共形場が復元できるというのはなかなか凄い. 境界つき理論との関係もなかなか無茶で, 境界の追加・削除の議論というのも凄まじい. 最後, 非可換幾何の話をするときに非可換幾何の Dirac 作用素を見つけるのに, 頂点作用素代数の構成を媒介して見つけてくるというのがかなり心に響いた. 思いもしない異分野の相互作用として相当に格好いい. 何かさらっと話していたし発見者が誰なのか確認してこなかったが, 発見者, 相当興奮したのではなかろうか.
やや別件だが, 非可換多様体は実際には非可換スピン多様体であるという話がされた. 前から普通の多様体の話をしているはずなのに何故 Dirac 作用素が出てくるのか不思議だったが, 実際, 非可換多様体の定義として今使われている spectral triple は非可換 Riemann 多様体, 特にスピン多様体であると直接確認できたので, その辺の胸のつかえが取れた感もある.
立川さん (後で名前を把握したというか顔と名前を一致させた) が色々面白げな質問をしていて, 超弦周りの話と何か絡んでいくのかもしれない. そもそも AdS/CFT とかある. 物理がどうなのかは全く分からないが, 数学としてはとても楽しいのでどんどんやっていってほしい. よい話だった.
「この辺やっているのは私と Longo と Longo の学生くらいしかいないので人が増えてほしいのですが」的な話をしていた. 本当に面白いのでここも人が増えてほしいのだが, 冨田-竹崎理論やら多変数関数論が必要やらで参入障壁が高く感じられてしまうようで, 全然人が増えません, とのこと. その辺の詳細をうまいこと回避していたためとはいえ, かなり良く分野の様子が見えてこれも本当に楽しかった. むしろ, その辺をうまく回避しつつ面白いところを的確に時間内に盛り込んでいった河東先生の力量が凄まじいとも言える. Twitter でも河東先生のトークが凄かったという呟きを見かけたが, 確かに圧巻だった.
初日のトークで「私は数学者なので演算子ではなく作用素といいます」という話があったのだが, これを受けてその後, 原さんは「僕は物理屋なので, 演算子, といいます」といい, その後さらに廣島先生が「僕は数学者なので作用素といいます」と言っていた. 原さんが物理学者に物理学者と認識されているのか非常に気になるところだがそれはともかく, 原さんが自分を物理「屋」といい, 河東・廣島先生が自分を数学「者」と言っていたのが面白かった.
講演自体だが, 初日は場の量子論と Wightman 場, 作用素値超関数が必要というところから非有界で鬱陶しいので有界作用素に移るという話から始まった. 物理としては 4 次元 Minkowski 時空で Poincare 対称性を考えるが, これだと例が作れないしよく分からないので,
- 数学としてきちんとできて面白い共形場に移ること,
- フルの共形場ではなくカイラルに移って議論しよう,
- 時空としては \(x=t\) の直線上, しかもコンパクト化して $S^1$で対称性としては \(\mathrm{Diff} (S^1)\) という巨大な群を考えよう,
- そしてその公理系を簡単に説明した,
2 日目からが本番で, 数学的な話がはじまった. これが面白い. Haag duality やら Reeh-Schlieder やらあるが, 特に Haag duality は話の中で拡大の極大性や locality との兼ね合いで酷使されるととても大事なのだが, 結構難しいがそれは公理として認めてしまってとにかくやってしまえばいい, みたいな話をしていて笑った. さすがに自分の学生がこの辺したいと言い出したらきちんとやるようにはいうようだし, それはそうだと思うが, それも含めて笑った. Haag duality は単なる便利なコンベンションくらいに思っていたのだが, 実際の議論では本質的に効いてくるようだった.
例を作ることと合わせて, 共形場の定式化の 1 つである頂点作用素代数やそれが発展する契機になった Moonshine 予想の話を噛ませたあとに作用素環的な議論が進んだ. 頂点作用素代数の結果を使いつつ議論するのは 3 日目の最後までずっと出てきたので, 相当大事なようだ. 共形場の定式化として適当に対応があることを使って, 頂点作用素代数で議論されていることを作用素環でトレースすることやその逆についてもかなり活発に議論されている模様. 同じ理論を記述しているのだからお互いの対応があるはずだが, 頂点作用素代数も代数的場の量子論もそのままでは一般的過ぎるから, 適当に制限をしたところでないと完全対応はないだろうという話, そしてそれは作用素環では完全有理性という条件で良さそうだ, ということだった. 完全有理性は本質的に面白い結果を出すところでは大体仮定されるらしい. きちんと確認していないが, 完全有理性は河東先生達が定義した概念のようだ. この辺もかなり凄い.
頂点作用素代数というか, 物理的に同じ理論を研究しているのだから別の数学を使ってできたことは作用素環でもできるはずだしその逆だってできるはず, というのは構成的場の量子論でも同じで, 作用素論・作用素環でできたことは確率論 (汎関数積分) でもできるはず, というのは私も思っているし実際にやりたいことでもある. そういう意味でも河東トークはとても楽しかった. 頂点作用素代数と作用素環は一方は純代数, 一方は解析学と本当に本来の興味感心がかなり違うはずなのだが, そこに対応する議論が展開できるというのはひどく非自明で楽しい. 河東先生も「昔は考えることもできなかったような分野の数学者とも話が通じるようになってとても楽しい」的なことを言っていた. 何かの文章でもあったが「昔は operator algebra で検索すると vertex operator algebra も引っかかって鬱陶しいと思っていたが, 今ではきちんと関係があることが分かった」みたいな話をして笑いを誘っていた.
3 日目はカイラルから発展してフルの共形場, 境界共形場の話をして非可換幾何の話をして終わった. 公理の設定があること, 共形場を全く知らないのでどういう話が常識なのかも知らないこともあるが, カイラルから共形場が復元できるというのはなかなか凄い. 境界つき理論との関係もなかなか無茶で, 境界の追加・削除の議論というのも凄まじい. 最後, 非可換幾何の話をするときに非可換幾何の Dirac 作用素を見つけるのに, 頂点作用素代数の構成を媒介して見つけてくるというのがかなり心に響いた. 思いもしない異分野の相互作用として相当に格好いい. 何かさらっと話していたし発見者が誰なのか確認してこなかったが, 発見者, 相当興奮したのではなかろうか.
やや別件だが, 非可換多様体は実際には非可換スピン多様体であるという話がされた. 前から普通の多様体の話をしているはずなのに何故 Dirac 作用素が出てくるのか不思議だったが, 実際, 非可換多様体の定義として今使われている spectral triple は非可換 Riemann 多様体, 特にスピン多様体であると直接確認できたので, その辺の胸のつかえが取れた感もある.
立川さん (後で名前を把握したというか顔と名前を一致させた) が色々面白げな質問をしていて, 超弦周りの話と何か絡んでいくのかもしれない. そもそも AdS/CFT とかある. 物理がどうなのかは全く分からないが, 数学としてはとても楽しいのでどんどんやっていってほしい. よい話だった.
原さん: 構成的場の量子論, \(\phi^4\) の話
田崎さんからの影響で何となく「さん」づけで呼ぶのが自然な印象がある原さんであった. 田崎さんとの共著で出る予定の Ising 本の査読をしていることもあり, 一応構成的場の量子論にいる人間として先達でもあり, 名前はずっと前から認識していたが, 今回初観測に成功した. 何か凄いかわいいというか穏やかな感じの人だった. 3 日目, ホテルの隣の部屋の人が変なことをして鳴らして警報機で起こされるなど, 今回は散々だったらしい. 体調が万全であればもっと色々な話が聞けたかと思うと残念だ. これはこれで, 今までふんわりしたことを知っていただけでもう少しきちんと知りたいけれどもなかなか勉強の時間が取れず, 解析が死ぬ程つらい分野のため精神的負担も大きかった triviality に関してある程度具体的に状況を把握できたので, とても有意義で楽しかったのだが.
Ising 本を読んでいたこともあり, スピン系に関する議論にピントがあっていたので滅茶苦茶面白かった.
「どんな汚い手を使ってでも OS の公理系を満たす例を作ればこちらの勝ち」という台詞, 非常に気に入っているというか, 私も基本的にこのスタンスというか, こういう風に言っている人達の背中を見て育った結果というか, こう色々なものを想起して感慨深く楽しい.
Ising で古典スピン系の様子を一定以上把握できていたので, ハードアナリシス部分はともかく, 今まで以上に景色を見渡せるようになった感がある. もちろんハードアナリシスパートこそが命なので, 全然何も分かったことにはなっていないけれども.
Ising 本を読んだとはいえ, あまり真面目に 13 章を読んでいなかったので相転移・臨界現象と \(\phi^4\) がどう関係するのか全く理解していなかったのだが, スケール変換に関する繰り込みで使うこと, その使い方というのをようやく把握できたので, 胸のつかえが取れた感ある. あれは本当に格好いい. スペクトル表示や鏡映正値性の話をもっときちんと聞きたかったが, 仕方ない. Frohlich から Hubbard 強磁性の解析にも鏡映正値性が使える可能性があるからちょっとやっておけ的なことを言われているし, もう少し真面目に勉強したい. Ising 本の付録, あまりきちんと読んでいないので, もう一度読み直したい.
\(\phi^4\) の triviality について, 原さんは相当思い入れがあるようで, 小話をしていた. 学部から院にかけて素粒子をやろうとしていたから場の理論を頑張って勉強していて \(\phi^4\) ももちろん頑張って計算したが, 院に入ったくらいだかに triviality 周辺の結果が出てきて, 自分の 2 年間は何だったのかと思った, みたいな話をしていた.
折角相関不等式のプロに会ったので, Hubbard でそういう話がないか聞いてみた. 凄い便利だからあったら誰かやっているだろうけれどもあまり聞かないなら難しいのではないか, とか実に真っ当なコメントを頂いた. あったらいいな, くらいだし, あろうがなかろうが無限系 Hubbard はやるしかないので粛々と進めるだけの市民だった.
あと Ising 本を催促してきた. もう少しでできるとしか言えないとのことだったが. このブログなど見ているかはどうかというのは積極的に棚に上げ, とりあえずここでも催促していきたい.
Ising 本を読んでいたこともあり, スピン系に関する議論にピントがあっていたので滅茶苦茶面白かった.
「どんな汚い手を使ってでも OS の公理系を満たす例を作ればこちらの勝ち」という台詞, 非常に気に入っているというか, 私も基本的にこのスタンスというか, こういう風に言っている人達の背中を見て育った結果というか, こう色々なものを想起して感慨深く楽しい.
Ising で古典スピン系の様子を一定以上把握できていたので, ハードアナリシス部分はともかく, 今まで以上に景色を見渡せるようになった感がある. もちろんハードアナリシスパートこそが命なので, 全然何も分かったことにはなっていないけれども.
Ising 本を読んだとはいえ, あまり真面目に 13 章を読んでいなかったので相転移・臨界現象と \(\phi^4\) がどう関係するのか全く理解していなかったのだが, スケール変換に関する繰り込みで使うこと, その使い方というのをようやく把握できたので, 胸のつかえが取れた感ある. あれは本当に格好いい. スペクトル表示や鏡映正値性の話をもっときちんと聞きたかったが, 仕方ない. Frohlich から Hubbard 強磁性の解析にも鏡映正値性が使える可能性があるからちょっとやっておけ的なことを言われているし, もう少し真面目に勉強したい. Ising 本の付録, あまりきちんと読んでいないので, もう一度読み直したい.
\(\phi^4\) の triviality について, 原さんは相当思い入れがあるようで, 小話をしていた. 学部から院にかけて素粒子をやろうとしていたから場の理論を頑張って勉強していて \(\phi^4\) ももちろん頑張って計算したが, 院に入ったくらいだかに triviality 周辺の結果が出てきて, 自分の 2 年間は何だったのかと思った, みたいな話をしていた.
折角相関不等式のプロに会ったので, Hubbard でそういう話がないか聞いてみた. 凄い便利だからあったら誰かやっているだろうけれどもあまり聞かないなら難しいのではないか, とか実に真っ当なコメントを頂いた. あったらいいな, くらいだし, あろうがなかろうが無限系 Hubbard はやるしかないので粛々と進めるだけの市民だった.
あと Ising 本を催促してきた. もう少しでできるとしか言えないとのことだったが. このブログなど見ているかはどうかというのは積極的に棚に上げ, とりあえずここでも催促していきたい.
廣島先生: 汎関数積分による Nelson モデルの話
廣島先生も一方的に名前だけ把握していたが今回初観測に成功した. ほぼ一環して経路積分と言っていたが, 要は確率論を使って場の理論を記述していこうという話だ. ずっと興味はあったがあまり真面目にやっておらず, というか粒子系の方で確率解析やら何やら色々必要でしんどくて全く手がついていない分野だったため, とても (おそらく一番) 楽しみにしていた. 先日ささくれパイセン向けセミナーとして場の方の経路積分は復習していたので, 大体はついていけた. もちろんありとあらゆる意味でハードアナリシスこそ本道でそこについては全くフォローできていないが, 以前よりも親しみは増したので大変に有意義であった.
赤外正則化の元での個数期待値の指数減衰や (confined potential の場合の) 位置の指数減衰に関する詳細な評価ができるというのは, やはり圧倒的に力強い.
非 Fock 表現での Nelson (正確には私が知りたいのは van Hove) の基底状態について, 汎関数積分で見るとどうなるかが知りたいのでちょっと時間を取って取り組みたい. 物理での赤外発散の位置づけを全く理解できていないのがつらいところだが, とりあえず数学というか数理物理として処理しきりたいと前から思っている.
Pauli-Fierz は 3 日に 1 回夢に見ると言っていた. うらやましい.
赤外正則化の元での個数期待値の指数減衰や (confined potential の場合の) 位置の指数減衰に関する詳細な評価ができるというのは, やはり圧倒的に力強い.
非 Fock 表現での Nelson (正確には私が知りたいのは van Hove) の基底状態について, 汎関数積分で見るとどうなるかが知りたいのでちょっと時間を取って取り組みたい. 物理での赤外発散の位置づけを全く理解できていないのがつらいところだが, とりあえず数学というか数理物理として処理しきりたいと前から思っている.
Pauli-Fierz は 3 日に 1 回夢に見ると言っていた. うらやましい.
小嶋先生との話
廣島先生の 2 日目, 基底状態の非存在に関する議論が出たときに「数学者である廣島先生に聞くのは筋違いかもしれないが」との前置きのあと, 基底状態の非存在に関する物理について質問されていた. 鹿野さんとのやり取りなどほとんどフォローできていないのだが, そもそも赤外発散とは何か, 赤外正則化と実際の物理とは何か, 赤外発散があるときの基底状態とは何か, といったところの物理, 私はよく把握できていないことを改めて認識した. 物性や有限温度への応用で冨田-竹崎理論を使えばいい, という話もあったのだが, それはそれでまず数学として色々難しくてあまり進んでいないというコメントをした.
一応 BEC の存在を言えている系はあるので, その辺の話なども少ししたら, 興味を持って頂けたようで, とりあえずプレプリントを見てみたいというお話になったので, プレプリントをお送りしておいた. 以前の Summer School 数理物理の BEC 回のとき, 小嶋先生もスピーカーとして話していて, 色々考えないといけないことはあるということなので, 多少なりとも参考になれば嬉しい.
一応 BEC の存在を言えている系はあるので, その辺の話なども少ししたら, 興味を持って頂けたようで, とりあえずプレプリントを見てみたいというお話になったので, プレプリントをお送りしておいた. 以前の Summer School 数理物理の BEC 回のとき, 小嶋先生もスピーカーとして話していて, 色々考えないといけないことはあるということなので, 多少なりとも参考になれば嬉しい.
総評
超楽しかった.
0 件のコメント:
コメントを投稿