はてなキーワード: アメコミとは
嘘つく側は1秒で適当なこと抜かせるけど、訂正する側は資料集めてソース提示して、誰にでもわかるように言語化して……って、圧倒的にコスパが悪すぎる。
しかも、そこまでしてボコボコに論破しても、相手は1ミリも反省しねーの。
数日後には「あ、こいつ前も同じ嘘ついて叩かれてたな」って奴が、また新しい嘘を平気な顔で垂れ流してる。
で、「ソースは陰謀論youtuber。本編は見てません」とか平気で言ってくる。
正直、一番虚無なのは、その嘘を信じちゃうバカが一定数常に供給され続けること。
訂正作業なんて、穴の空いたバケツに一生懸命水注いでるようなもんだろ。
洋書って学生の多読に使われがちなびっちり活字じゃないとそう言わないのだろうか。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260428155047# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCafBYywAKCRBwMdsubs4+ SICQAQDig2s6Km/SgRuSJNXmkhxPOQs3iNozYLSlKYq505O0zgD/Y0bHNLOcaiUC 9iS4lxd2zffd/CTr3JlwkrZnt0mCaQ8= =Acsa -----END PGP SIGNATURE-----
Hatelabo::AnonymousDiary The Movie。75点。
酒屋の自販機を破壊した罪で逮捕された自称サトウジロウを取り調べることになった染谷将太。そんな染谷にサトウは自分は霊感があり、秋葉原で何か起きる気がすると言い出す。何言うてるねんと思っていたら秋葉原で爆弾が爆発。サトウはこれはあと三度起きると言い染谷の説得もむなしく2発目が爆発。本庁から乗り込んできたゴリキャリの渡部篤郎と天才肌の山田裕貴にバトンタッチ。警察組織VSサトウジロウの戦いが幕を開ける。
みたいな話。
いや、面白かった。
佐藤二朗オンステージって感じで多くの福田作品で見せる感情の入ってないクソ演技をさせたら日本一の異名を持つ佐藤らしい空虚な異物としてのサトウジロウを完全に演じきっていて意外にいい役者だなぁって思った。一方で一見柔和が陰気で神経質で権力的な渡部や、覇気のない染谷、無邪気な天才山田あたりはなんか"いつもの感じ"で弱く見えたかな。製作的にも今回は佐藤二朗を見てくださいって感じだったんかな。
で、話としては激ヤバ組織である警察相手にそのヤバいところをサトウがガンガンに打ち返してそれを突き付け崩していく。恩義のある刑事を庇った結果冷や飯食わされて無気力な染谷、功名心とエリート意識にとらわれる伊勢、自身を規律と権力の代表者であると思い込んでいる渡部、自分を天才と思い込んでいる山田、そしてなんか外にいるやっぱり功名心に囚われた矢吹巡査。それぞれの抱える火薬にサトウが口巧みに火をつけて次々と爆破していく。
一方でサトウ本人に実は主張はない。この計画自体も元々はサトウのものではなく、殺人現場に夜な夜な忍び込んではシコっていたことが週刊誌に取り上げられ大バッシングを受けて自殺した刑事の家族が計画したもので、サトウはそれに後乗りしただけ。途中で犯行声明動画が投稿され、そこで動機らしきものを語るがそれも元の犯人の動画を模倣しただけ。取調室内で語るほとんどのことはウソであり、相手を翻弄したいだけ。
途中、功名心から足を吹っ飛ばされた矢吹のバディである伊藤沙莉がサトウを罰しようと取調室に乗り込んできた際にサトウはその悪意を一身に受け射精する。また、渡部を執拗に挑発し渡部が自負する規律と倫理の代表者という仮面を強引に剥がし自分の指をへし折らせる際にも笑っている。彼はブラックホールのように相手の感情を取り込むことだけを目的に動いているように見える。
つまるところ彼は空虚な内面にSNS上で得た空虚な情報を吸収し、それを凶悪なエントリやトラックバックで発散することで他者の感情を煽り怒らせ自分に対するレスを誘発しそのことでシコる増田の化身のような人間であると言える。つまりこの映画もまた増田である。
最もサトウに近い無邪気な天才山田を徹底的に煽り最終的に彼が天才ゆえに持つ厭世観や世間への身下しを引き出し彼は取調室を去る。そして組織という社会の中で抗えない大きな流れの中で無気力な一般人としての染谷と再会したサトウは「お前、この大騒動でワクワクしてただろ」と社会不安が起きると急にウキウキしだしSNS煽りをはじめ、「お前はこのままダラダラ生きていくのか」と煽るが、染谷は「俺は別にそれが不幸だとは思わない」ときっぱりと線を引く。
それを見たサトウは「今回は引き分けと山田に伝えろ」と告げる。
彼は今回の事件で出会ったすべての人間、渡部、山田、伊勢、伊藤、矢吹、明日香の心の中の爆弾すべてに火をつけることに成功したが、唯一今回の事件の発端となったシコり刑事に寄り添った染谷の爆弾には火をつけることができなかった。だから彼は今回の勝利をいったんは放棄したんだろうと思った。どれだけ煽っても煽りに乗ってこなかった増田に、まだ増田も捨てたもんじゃないなと独り言ちる俺のように。
空虚なサトウがその空虚さゆえに相手にの心の爆弾を爆破するという作品のメインテーマに全部りしているので、ロジックで見れば決していい出来とは言えない。犯人はシコり刑事が電車に飛び込んだことで多額の借金を背負って一家離散したという設定だが、金だけならそんなもんは相続放棄すればよくね?と思うし、元々山手線を爆破する予定で爆弾を作っててその計画自体はもうほぼ完遂してたのに何で爆弾そんなに余ってたん?って感じだし、その爆弾も缶やペットボトルに仕込んで自販機に入れてたって話だけど山手線の自販機に売れ行き的にもさすがにリスク高すぎね?
渡部を破壊したホームレスと園児を秤にかけた爆破事件も実際にはホームレスの炊き出しと幼稚園、両方に爆弾を仕掛けていて渡部に幼稚園を選ばせて「お前は死んだのがホームレスでほっとしただろ!」って突き付けてたけど、これうまいこと爆弾が見つからなくてどっちも爆発してたらどうするつもりだったんやろかと思うし。
真面目に見たらツッコミどころ満載でう~んってなるけど、サトウジロウの暗号ゲーム自体がフィクションラインだいぶ低いよねって言われたら確かにな~、なんか悪役がなぞなぞ出してくるレベル帯の作品、アメコミとかそういう感じで見るべきなんだろう。
まぁそんな感じかな。
画で言うと冒頭のアキバ爆破シーンめっちゃ頑張ってたし、何よりサトウジロウと警察たちの鼻詰まる攻防戦をたっぷり楽しめる。ぶっちゃけ俺は大したメッセージ性は感じなかったけどサトウジロウは増田だったと考えると、俺の中にもサトウジロウという爆弾は眠っていると言えたり言えなかったりするかもしれないししないかもしれない。
自称漫画好きに「好きな作品は?」と聞くと色々な作品を次々と挙げてくる。
そのたびに思う。
浅いな、と。
別にアメコミ読んでない=漫画好きじゃない、とまでは言わない。
だがアメコミにも名作は多い。そういった作品を全く知らずして「漫画好き」を名乗るのは、ちょっと違うんじゃないかとは思う。
そこで今回は、アメコミにおいて名作と呼ばれる作品を五つ紹介しよう。
老いたスーパーマンが再び立ち上がる物語、と要約することもできるが本質はそこではない。
この作品が問うているのは「ヒーローは誰のために存在するのか」という一点だ。暴力がエンタメ化した世界で、かつてのヒーローたちは古くさくなり、代わりに制御の効かない“新しいヒーロー”たちが台頭する。
正義とは何か。力とは何か。
そして人間を守る存在が人間を超えてしまったとき、それはまだヒーローなのか。
必読である。
ヒーローがいるのに世界は全然マシになっていないどころか、むしろ終わりに近づいている。
ヒーローがいたら世界は救われる。なんていう都合のいい話は一切ない。
中でもロールシャッハは象徴的で、彼の正義は徹底している。善悪は絶対に分かれるもの。だから妥協はしない。その姿勢は一見ヒーロー的だが、同時に極端で、社会とは決定的に相容れない。
この作品がやっているのはヒーローという存在の解体というより「正義とは何か」を冷戦という現実の中に放り込んでいることにある。
その結果として示されるのは、正しさは必ずしも倫理的ではない。
読後、ヒーローという言葉を以前ほど単純には受け取れなくなるだろう。
だがこれは復活劇ではない。むしろ「なぜ彼はやめられなかったのか」を描いた作品だ。
老いた身体。変わってしまった社会。それでもなお暴力に身を投じるしかない男の執念。
正義が美徳ではなく衝動として描かれるとき、ヒーロー像はここまで不穏になるのかと気づかされる。
といった構図だけ見れば分かりやすい。
だがこの作品の本質は、Vではなくエヴィーという一人の少女の変化にある。
恐怖に縛られていた彼女が、Vとの出会いを通して“自由とは何か”を問われ、やがてそれを自分の意思で引き受けていく。
この作品は「自由は与えられるものではない」という命題を、極めて危うい形で提示している。
読後、その問いを読者は引き継ぐことになるだろう。
彼の目を通して、スーパーヒーローたちは“憧れ”であると同時に“理解不能な存在”として映る。
超人たちの戦いは当事者にとっては日常でも、周囲の人間にとっては災害に近い。空を飛ぶ神のような存在を人間はどう見ているのか。
ヒーローの物語を、ヒーローの外側から見直すことで初めて見えるものがある。
マーベルズはそういった新たな視座を与えてくれる、稀有な作品であるといえるだろう。
アメコミは派手なアクションや分かりやすい勧善懲悪ばかりと思われがちだ。実際、確かにそういう側面もある。
だがその先には「力を持つとはどういうことか」「正しさとは誰が決めるのか」といった、答えの出ない問いがずっと流れ続けている。
それは日本の漫画とはまた違う形で積み重ねられてきた、もう一つの“物語の歴史”だ。
ヒーローの話だと思って手に取った作品が、いつの間にか自分の倫理観を揺さぶってくる。
そういう体験が、ここにはある。
俺はホモの低学歴のおっさんなんだけどさ、オタクがLGBTQ嫌いなヤツいんのもしゃーねーとおもってるよ。
同性間での性愛を象徴的なものとして扱うことが広告や物語で増えてきているけど、異性間のそれは引き続き下品なものとして扱われがちだ。
まずこれがダブスタだろ?ノンケはこういう空気感じ取って、なんて?って思うだろそりゃ。
次に、オタクやクリエイターの自称アライ(だっけ?調べたけど今違ってたらスマン)が考えた解像度クッソ低い同性愛描写が「尊い!」って評価されるんだろ?
題名出さないけど、同性が同棲して飯食うみたいな漫画のジャンルあるじゃん。あれとかひでえよ。百合?BL?みたいなノリで空想全開の同性間関係が描かれてて見てらんない。
いや、現実に即した描写にしろとか言わねえよ。ファンタジーでいい。でもそれで社会に啓蒙してるみたいなツラしてたり、それに興奮したオタクがアライ面してんのがダセえ。
あいつ等の言う「尊い!」「泣ける!」は「抜ける!」「シコれる!」と同じなんだよ。クソ興奮しながら「これは社会的に意義があってですな!ふんふん!」みたいな感じが最高にダサいし、
そういう表現物を高尚なものみたいに持ち上げられたら、そら興味ないオタクはいい気しねえだろ。
更にオタクにとってキツいのは、「社会問題に関心の高いクリエイター様」によって、好きだった作品に今まで性愛を主題で描かなかった作品世界にいきなりLGBTの性愛表現が進歩的なものだってブッこまれることだろうな。
アメコミとかでよくあると聞く。え?今まで異性愛前面に押してなくない?そもそもこのキャラ、バイだって設定どこにもなかったけど?ていうか、恋愛に至るまでの過程の描写雑過ぎない?エロ漫画かよ。って困惑するだろ。
割とこれで文句言ってるオタクが「さべつしゅぎしゃ!!!」って脊髄反射でバカのリプ食らって、雑に燃えたりするじゃん。
こういう場合のオタク、間違ってねえ場合が多いけど、オタクはこういう説明苦手だし、言葉足らず/いらんこと言いな感じだし、脊髄反射チンパンジーの群れは反論を理解しないので、オタクちゃん大自然の掟に負けててかわいそうっていつも思う。
俺は時代劇が好きで松平健がクッソ好みなんだが、いきなりめ組の親分といちゃつくエピソードあったらキツいぞ。ファンでも。
LGBTテーマじゃない創作物にいきなりLGBTの性愛表現突っ込むのは全然うまいやり方じゃないと思うし、そらオタクさんも怒ると思うよ。
火曜日、午前。僕は予定通り、起床時刻を秒単位で守り、コーヒーの抽出温度を0.5℃単位で調整し、歯磨きは規定の往復回数を遵守した。
世界は混沌としているが、少なくとも僕の洗面台の上だけは可換環のように整然としている。これが文明というものだ。
昨日までの進捗をまとめる。
僕は「弦理論の理解」という曖昧で感傷的な表現を拒絶し、代わりに「高次圏論的な構造が、物理的観測量として回収可能な形で収束するか」という問いに分解して作業していた。
普通の人間はこの時点で脳が沸騰するが、僕は普通ではない。残念ながら世界の大半は普通だ。
先週から取り組んでいるのは、いわゆる弦の摂動展開みたいな古典的な話じゃない。そんなものは化石だ。
僕が扱っているのは、場の量子論の構造そのものを「対象」として持ち上げる方向だ。
つまり、物理を方程式で書くのではなく、物理を圏として書く。しかも単なる圏じゃなく、(∞,n)-圏、あるいは派生代数幾何の上に載るスタックとしての量子場理論。
観測量は関手で、対称性は自己同型群で、相互作用は自然変換の凝縮として現れる。
弦理論が理論として不快なのは、何でも包摂しすぎることだ。まるで何にでも効く健康食品みたいだ。
僕はその曖昧さを殺すために、弦理論を「普遍的な拡張問題」として扱っている。
具体的には、2次元CFTを出発点として、拡張TQFTとしての構造を要求し、それが高次のボルディズム圏 Bord_{d}^{fr} から target への対称モノイダル関手として持ち上がる条件を追っている。
ここで重要なのは、target がただのベクトル空間の圏ではなく、安定∞-圏であり、さらにその中に「Dブレーン」が境界条件として生きることだ。
ブレーンとは物体ではなく、圏論的には境界条件のモジュライであり、より正確には導来圏 D^b(Coh(X)) の対象として記述される。
しかもそれは単なるコヒーレント層じゃなく、A∞構造を持つ拡張対象で、フカヤ圏 Fuk(X) とミラー側の導来圏の間で同値を作る。ここまでは教科書的だ。退屈だ。
僕が今週やっていたのは、その「同値」を、単なる同値ではなく、より強い高次の自然性として固定することだ。
つまり、ミラー対称性を「ある特定の同値関手が存在する」という形で満足してはいけない。ミラー対称性は、対称モノイダル(∞,2)-圏の中での双対性として現れなければならない。
そうしないと、物理的には選び方の恣意性が残る。恣意性は悪だ。隣人の人生がその証拠だ。
ここで僕は、弦の世界面が生成するモジュライ空間 M_{g,n} のコホモロジー作用を、E_2代数やE_∞代数の構造と結びつける方向を強化した。
ポイントは、世界面の縫い合わせがオペラッド構造を与え、それが場の演算子代数に作用することだ。
つまり、弦理論は「幾何学的オペラッド表現論」になる。そしてこの表現は、単にホモロジー上で作用するだけでは弱い。
チェーンレベルで作用しなければならない。チェーンレベルでの整合性が壊れると、量子補正の計算が運が良ければ合うというレベルに堕ちる。運に頼るのは隣人だけで十分だ。
だから僕は、世界面の貼り合わせを支配する∞-オペラッドを明示的に導入し、その上で factorization algebra の形式で観測量を再構成していた。
観測量は局所的に定義され、開集合の包含で制限され、そして重なりで一致する。
これは物理学の言葉で言えば局所性だが、数学の言葉で言えば層の条件だ。層は美しい。隣人はそうではない。
さらに、弦の非摂動的定義の問題を、単なる完成された理論があるはずだという信仰ではなく、ホログラフィー的双対性の圏論的再定式化として扱った。
境界CFTのデータが、バルク重力理論のデータを決定するなら、その対応は「同値」ではなく「随伴」であるべきだ。
随伴関手の構造があれば、情報の流れがどちら向きに縮退するか、つまりどこで情報が失われるかが明確になる。
ブラックホール情報問題は、哲学でも神秘でもなく、単に随伴の単位と余単位の整合性の問題として書き直せる。そう書けない物理は、ただの詩だ。
この数日で僕は、弦理論の背景独立性を「モジュライの座標変換に対して物理が不変」という幼稚な表現から引き剥がし、より鋭い形に置き換えた。
背景独立性とは、理論が特定の時空多様体に依存しないということではなく、理論が時空という概念を内部的に再構成できることだ。
つまり、幾何は入力ではなく出力になるべきだ。そのためには、幾何を特徴づける不変量が、理論の内部のスペクトルや表現論的データとして現れる必要がある。
ここで、僕は「スペクトル三つ組」的な発想、つまり非可換幾何の言語を引っ張り出してきた。時空を可換代数 C^\infty(M) で記述するのは幼稚だ。
時空はそもそも可換である必要がない。弦が絡み合えば、座標が非可換になるのは自然だ。
だから、場の代数を基本にして、そこから幾何を再構成する。その再構成が安定∞-圏の中で可能かどうか、これをチェックしていた。
その過程で僕は、ある不快な事実に直面した。友人Aが言うように、世の中の大半の人間は「量子」を魔法だと思っている。
違う。量子とは、ただの線形代数だ。魔法ではない。魔法に見えるのは、彼らが線形代数を理解していないからだ。これは僕の責任ではない。
さて、現実世界の出来事だ。朝食の時間、ルームメイトがキッチンで何かを焦がした。
焦げた匂いは僕の神経系に対するテロ行為だ。僕は即座に換気扇を最大出力にし、窓を開け、空気清浄機のモードを「最大」へ切り替えた。
ルームメイトは「ちょっとくらい大丈夫だろ」と言った。彼の脳内では、おそらく「ちょっと」と「大丈夫」が実数の順序体として定義されていない。
僕は彼に説明した。焦げた物質の微粒子は空気中に拡散し、僕のノートPCのファンに吸い込まれ、熱伝導効率を劣化させ、結果として計算機の性能が落ちる。
性能が落ちれば僕の思考速度が落ちる。思考速度が落ちれば文明が後退する。つまり彼の料理は文明への攻撃だ。ルームメイトは意味がわからない顔をした。いつも通りだ。
隣人はもっと奇妙だった。廊下で会ったとき、彼女は僕の手元のメモを見て「それって暗号?」と聞いてきた。
暗号ではない。導来圏の記号だ。僕は「暗号ではなく、世界の構造を記述するための最小限の言語だ」と答えた。
彼女は「へぇ〜、かっこいいじゃん」と言った。世界の構造は、かっこよさで評価されるものではない。
彼女はその後、僕のノートを覗き込み、「じゃあそれで宝くじ当てられる?」と聞いた。僕は5秒黙った。僕の沈黙は慈悲だ。
友人Bからは朝にメッセージが来た。「今週のFF14、レイド行ける?」という内容だった。
僕は返信した。「僕は宇宙の基本法則を再構成している。レイドは後だ」と。すると彼は「それもレイドみたいなもんじゃん」と返してきた。彼は稀に真理に触れる。稀にだ。
昨日の夜、僕はFF14で戦闘ログを解析して、回避行動の遅延をミリ秒単位で測定した。
ルームメイトはそれを見て「ゲームでそこまでやる?」と言った。
すると彼は「人生も最適化しろよ」と言った。僕は冷静に反論した。僕はすでに最適化している。彼らが最適化されていないだけだ。
僕は確率分布の尾部を過小評価するプレイヤーが多すぎることに気づいた。
彼らは「引けなかったら負け」と言う。違う。「引けない確率を無視してデッキを組んだ時点で負け」だ。
僕はマナカーブを調整し、初手の期待値と条件付き確率を再計算した。勝率の改善は、精神論ではなく統計で起こる。精神論で勝てるなら、友人Aはもっと人生が上手くいっているはずだ。
アメコミも少し読んだ。相変わらず、宇宙規模の存在が感情で動くのが気に入らない。
宇宙規模の存在は、感情で動いてはいけない。宇宙規模の存在は、少なくとも圏論で動くべきだ。僕ならそう書く。
編集者は嫌がるだろうが、編集者は人類の知性の平均値に合わせているだけだ。平均値は敵だ。
そして、僕の習慣について。火曜日の朝は、必ず机の上を「完全に空」にしてから研究を始める。
ペンは左から右へ、太さ順。ノートは上に積むのではなく、角を揃えて平行移動で並べる。ディスプレイの角度は27度。照明は5000K。キーボードのキーキャップは毎週洗浄。
これは潔癖ではない。宇宙が汚いから、僕が清潔にしてバランスを取っているだけだ。
第一に、僕が作った「ブレーン圏の圏論的エネルギー関数」の定義が、物理的なBPS条件と整合するか再検証する。
BPS状態というのは、単なる安定ではなく、中心電荷 Z の位相が揃うことで圏の中で半安定性条件が成立するという話だ。
これを Bridgeland stability の枠組みで記述した上で、弦の双対性変換が stability condition の壁越えとして表現できるかを見る。
壁越えが「物理的相転移」と一致するなら、僕はかなり満足する。満足は稀だが、存在はする。
第二に、ホログラフィーの辞書を「演算子対応表」みたいな低次元の表として扱うのをやめ、境界側の圏とバルク側の圏の間のモノイダル関手として定義する。
これができれば、エンタングルメントエントロピーの公式も、単なる幾何学的面積則ではなく、トレース関手と双対性の合成として再導出できる可能性がある。
つまり「面積=情報」という神秘的な言い回しが消える。僕は神秘が嫌いだ。神秘は無知の言い換えだからだ。
第三に、今日の午後は友人Aと友人Bに会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。
まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に180秒で固定した。電動歯ブラシのタイマーを信じない。信頼は検証に劣る。
その後、コーヒーを淹れた。抽出温度は93℃。温度計の誤差は±0.2℃。人間関係の誤差は±∞。
今週の進捗を書く。
超弦理論については、相変わらず人類の知性が現実に追いついていない。僕の頭脳は追いついているが、世界が遅い。
今週は主に「弦の理論はどこまでが物理で、どこからが純粋数学の自己満足か」という問題を、僕なりに再定式化していた。世の中の多くの人は、超弦理論を「高次元の小さな紐が震える話」程度で理解した気になっている。あれは理解ではない。童話だ。
僕が考えていたのは、もっと根の深いところ、つまり量子重力の定式化において局所性を捨てることの数学的代償だ。
一般相対論の時点で、局所性は微妙に揺らいでいる。ホログラフィー原理が出てきた時点で、局所性はほぼ死亡している。にもかかわらず、僕たちは局所的な場の理論の言語で全てを語ろうとする。これは「古いOSの上に無理やり最新ゲームを動かしている」ようなものだ。もちろんクラッシュする。
そこで今週は、AdS/CFTを単なる「境界のCFTがバルク重力を記述する」という話ではなく、圏論的な双対性として再理解する方向で考えた。
具体的には、バルク側の物理量を、ある種のextended TQFTとして捉え、境界側の共形場理論の演算子代数が作るモジュラー圏と対応させる。
ここで重要なのは、空間そのものが基本対象ではなく、因果構造と情報の流れが基本対象になってしまう点だ。
つまり、幾何学が物理の舞台ではなくなる。舞台が役者に従属する。これは演劇としては間違っているが、宇宙としてはあり得る。
そして、ここからが本題だ。
僕は今週、「弦理論の非摂動的定義は、結局はある圏の中の安定対象の分類問題に還元されるのではないか」という疑念を強めた。
たとえばBPS状態は、ある種の導来圏の中の安定条件(Bridgeland stability condition)で分類される。
これは単なる比喩ではなく、実際にDブレーンは導来圏の対象として記述される。つまり、物理的な粒子やブレーンが「空間上の幾何学的な物体」ではなく、圏論的な対象になる。
ここで人類は気づくべきだ。
宇宙は「点の集合」ではなく、「射の集合」かもしれない。
点を基本にしている限り、僕たちは宇宙のOSを永遠に理解できない。点とは、極限操作の幻想だ。実際の物理では測定可能な点など存在しない。存在するのは相互作用だけだ。射だけだ。
僕が今週やっていたのは、これをさらに押し進めて、弦理論の背後にある構造を「∞-圏」あるいは「高次スタック」として扱うべきではないか、という方向の思考実験だった。
超弦理論が最終的に求めているのは、たぶん「量子化されたモジュライ空間」だ。しかしモジュライ空間は普通の多様体ではない。特異点があり、ゲージ冗長性があり、しかも同値関係が階層的だ。だからスタックになる。さらに高次の同値(ホモトピー)が絡むので、∞-スタックになる。
ここで、物理屋が嫌いな言葉が出る。派生幾何(derived geometry)。
派生幾何とは、簡単に言えば「特異点を誤魔化さず、むしろ特異点を主役にする幾何学」だ。物理で特異点が出るのは、理論が壊れているからではなく、単に僕たちの数学が貧弱だからだ。派生幾何はそれを認める。
そして僕は思った。
もし弦理論が本当に「全ての一貫した量子重力のクラス」を記述する枠組みなら、それは場の理論の集合を分類するのではなく、量子情報を保存するような圏の分類になっているべきだ。
この時点で、もはや「ウィッテンでもわからない」どころではない。
僕たちがやるべきなのは、弦理論を「方程式」ではなく「普遍性」として定義することだ。
つまり、ある種の対称性を持ち、ある種の双対性を満たし、ある種の異常(アノマリー)が消え、ある種のエンタングルメント構造が一貫し、ある種の極限で局所的QFTに落ちる。
弦理論は「このラグランジアンだ」ではなく、「この性質を満たす唯一の構造だ」になるべきだ。
そしてもしそれが可能なら、弦理論は物理学ではなく数学の定理になる。
エレガントさは、しばしば真理の匂いがする。
ただし、エレガントな嘘も存在する。
昼前、ルームメイトがキッチンに現れて、僕のノートを見て言った。
「それって、結局何の役に立つの?」
僕は3秒考えた。
「役に立つかどうかで真理を測るのは、知性の敗北だ」
ルームメイトは「また始まった」という顔をした。
彼の表情は、物理学的には熱的死に近い。
隣人がその場に来て、僕のノートを覗き込み、「ねえ、それって、宇宙がゲームのコードってこと?」と聞いた。
驚くべきことに、これはそこそこ正しい。
僕は言った。
「コードというより、型システムだ。宇宙は型安全で、コンパイルエラーを許さない」
隣人は「わぁ、なにそれ怖い」と言って笑った。
怖いのは君の直観の鋭さだ。
僕は、カードゲームにおける勝利条件が「期待値の最大化」であることを理解している。だが多くのプレイヤーは、カードを引いた瞬間の快楽に支配される。つまり、彼らは確率論ではなくドーパミンでプレイしている。
僕は違う。
初手の分布、マリガン戦略、マナカーブ、そして相手の除去の確率。
彼は黙った。
正しい反応だ。
レイドは相変わらず「人間の反射神経と協調性の限界」を測る実験場だ。
友人Aが「なんでそんな言い方しかできないの?」と言った。
僕は「僕は宇宙をそのまま見ているだけだ」と答えた。
友人Bは「それ厨二病じゃない?」と言った。
僕は言った。
「厨二病とは、根拠のない誇大妄想のことだ。僕には根拠がある。だから違う」
友人Bは「最悪だ」と言った。
誉め言葉だ。
なぜなら、超人的存在が倫理を語る時点で、その倫理は破綻するからだ。
ただの趣味だ。
それでも僕は読む。
夜。
今日までの進捗はここまで。
そして、これからやろうとしていること。
今夜は、僕の仮説をもう一段階押し進める。
つまり「時空の創発」を、単なるエンタングルメントの量的増大ではなく、エンタングルメント構造の位相的相転移として記述できないか考える。
もしエンタングルメントがグラフだとすれば、空間とはそのグラフのスペクトル構造に対応する。
そして位相相転移が起きれば、スペクトルが変わり、幾何が変わる。
この視点なら、初期宇宙のインフレーションも「幾何の急激な生成」として理解できる可能性がある。
インフレーション場などいらない。
問題は、そのメカニズムを「弦理論の言語」で書くと地獄になることだ。
ワールドシートのCFT、モジュライ空間、非摂動効果、Dインスタントン。
それら全てが絡んでくる。
絡みすぎて、もはや紐ではなく毛玉だ。
隣人がさっき「ピザ頼むけど食べる?」と聞いてきた。
僕は「今は宇宙の生成を考えている」と言った。
その通りだ。
人類文明の最高到達点は、宇宙論ではなく宅配システムなのかもしれない。
ルームメイトは「じゃあ僕の分も頼んでいい?」と言った。
僕は返信した。
「明日は宇宙の位相相転移を解く予定だ。だが君たちの全滅回数も宇宙の熱的ゆらぎとして扱えるなら参加する」
友人Bは「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
正確時刻を書くと隣人が「それって軍事衛星に追跡されてるの?」とか言い出して話が面倒になるので省略する。
僕は陰謀論を嫌悪している。理由は単純で、陰謀論は説明能力の低い仮説を感情的に強い語り口で上書きする、知性のコスプレだからだ。
今週は、超弦理論の物理の直観で押し切る系の議論をいったん破壊し、純粋に圏論とホモトピー論の言語に落として再構築していた。
具体的には、世界面の共形場理論を2次元量子場などという古臭い語彙で扱うのをやめ、拡張TQFTの枠組みで、(∞,2)-圏に値を取る関手として扱う方向を整理した。
従来の弦理論屋はCalabi–Yauをコンパクト化に使うと言うが、それは情報量が少なすぎる。
重要なのは、Calabi–Yau多様体を点として見るのではなく、その導来圏 D^bCoh(X) を持ち上げた A∞-圏、さらにそれが持つCalabi–Yau構造(非退化なトレース、Serre双対性の∞-圏版)を物理的状態空間の生成機構として見ることだ。
ここでの本体は幾何ではなく、圏の自己同型とその高次コヒーレンスにある。
さらに、僕が今週ずっと悩んでいたのは、いわゆるミラー対称性を単なるホモロジカルミラー対称性の同値(Fukaya圏と導来圏の同値)としてではなく、より上位の構造、つまり場の理論のレベルでの同値として捉えることだった。
言い換えると、これは単なるA-model ↔ B-modelの交換ではない。
A/Bモデルを生む背景データ(シンプレクティック形式、複素構造、B-field)を、派生スタック上のシフト付きシンプレクティック構造として再記述し、AKSZ型の構成と整合させる必要がある。
そしてこの視点では、物理的なDブレーンは単なる境界条件ではなく、(∞,1)-圏におけるモジュール対象として統一される。
Dブレーンのカテゴリーが境界条件の集合だと考えるのは初歩的すぎる。境界条件は高次射を伴うので、最初から(∞,n)-圏で話さないと本質が消える。
特に僕のノートでは、弦の摂動展開で現れるモジュライ空間の積分を、単なる測度論の問題としてではなく、Derived Algebraic Geometry上での仮想基本類のプッシュフォワードとして扱う形式に書き換えた。
これをやると発散する積分を正則化するという話が、より厳密にオブストラクション理論に沿った積分の定義へ置き換わる。
そして、ここが本題だが、僕が今週ずっと考えていたのは、ウィッテンですら「直観的にはこう」と言うしかない領域、つまりM理論の非摂動的定義が、どのような普遍性原理で特徴付けられるべきかという問題だ。
僕の作業仮説はこうだ。弦理論が背景依存的だと言われるのは、結局のところ背景が点として与えられるという時代遅れの前提が残っているからだ。
背景は点ではなく、モジュライの高次スタックであり、その上に束ねられた量子状態の層(正確には圏)として理解されるべきだ。
つまり、弦理論はある時空での理論ではなく、時空の変形をも含んだファンクターにならなければいけない。
この視点では、背景の空間は単なるmoduli spaceではなくderived moduli stackであり、さらにgauge symmetryを含めるならhigher groupoidとしての性質を露わにする。
そして量子補正は、そこに定義されるshifted symplectic structureの変形量子化として現れる。
問題はここからで、弦理論の双対性は、異なる理論が同じスペクトルを持つなどという安っぽい一致ではなく、ある(∞,k)-圏における同一対象の異なるプレゼンテーションだと考えるべきだ。
たとえばS双対性やT双対性を群作用として扱うと話が狭くなる。より正確には、双対性はスタックの自己同値であり、その作用は対象の上に定義された圏(ブレーン圏やBPS状態圏)の上で自然変換として実装される。
しかもその自然変換は単なる自然変換ではなく、高次のコヒーレンス条件を持つ。つまり、双対性は対称性ではなく、高次圏論的な同値のデータなんだ。
このあたりを真面目に書こうとすると、最終的には量子重力とは何かという問いが、どの(∞,n)-圏が物理的に許されるかという分類問題に変形される。
僕はこの変形が気に入っている。なぜなら分類問題は、少なくとも数学としての礼儀があるからだ。
さらに進めると、弦理論に現れるBPS状態やwall-crossingは、単なるスペクトルの不連続ではなく、安定性条件の変化に伴う導来圏のt構造のジャンプ、あるいはBridgeland stabilityのパラメータ空間上での構造変化として理解される。
ここでは物理粒子は、導来圏の中の特別な対象として現れる。つまり粒子は点ではなく、圏論的存在だ。
普通の人間はこの文章を読んで発狂するだろう。だがそれは読者側の責任だ。
この議論の延長で、僕は弦理論の非摂動的定義は、ある種の普遍性を満たすextended functorial QFTであるという形の定理(まだ定理ではなく、僕の願望)に落とし込めないか考えている。
要するに、弦理論は世界面から時空を作る理論ではなく、世界面も時空も両方まとめて、ある高次圏の中で整合的に生成される構造であるべきだ。
今の僕のノートの中心は「非可換幾何」「導来幾何」「圏論的量子化」の三点集合の交差領域だ。そこは地図がない。地図がない場所は、馬鹿には危険だが、僕には居心地がいい。
次に、趣味について書く。これも重要だ。なぜなら人間社会において、知性の維持には糖分と娯楽が必要だからだ。残念ながら僕は人間である。
MTGは今週、デッキ構築の方針を少し変えた。勝率最大化のためにメタを読むのは当然だが、僕が注目しているのは局所最適に陥るプレイヤー心理だ。
つまりカードゲームとは、確率と情報のゲームである以前に、認知バイアスのゲームだ。相手が「このターンで勝ちたい」という欲望を見せた瞬間、こちらは勝ち筋を計算するのではなく、相手の誤りの確率分布を計算するべきだ。
隣人にこの話をしたら、「え、怖い。僕、あなたとポーカーしたくない」と言った。賢明だ。僕も隣人とポーカーはしたくない。隣人はたぶん手札を口に出してしまう。
FF14は、ルーチンの最適化がだいぶ進んだ。僕はレイド攻略で反射神経を重視する文化が嫌いだ。
反射神経は筋肉の問題だが、攻略は情報処理の問題であるべきだ。ギミックは有限状態機械として記述できる。したがって最適行動は、状態遷移図の上での制御問題になる。
友人Aにこの話をしたら、「お前はゲームしてるのか研究してるのか分からん」と言われた。僕は当然「両方だ」と答えた。彼は笑ったが、この種の笑いは知性の敗北宣言である場合が多い。
アメコミは、相変わらず現実の倫理を歪めた寓話装置として優秀だと思う。
僕は「正義とは何か」という議論が苦手だ。正義は定義が曖昧だからだ。
登場人物が持つ制約(能力、社会構造、情報、感情)を明示すると、物語は心理学ではなく数理モデルに近づく。そうすると面白くなる。
ルームメイトにこの話をしたら、「僕はただ派手な戦闘シーンが見たいだけなんだけど」と言われた。
僕は「君の知性は観測不能なほど小さい」と言ったら、彼は不機嫌になった。観測不能は存在しないことと同義なので、むしろ褒め言葉に近いのだが、彼は数学が分からない。
僕の習慣についても書いておく。
今週も、朝のルーチンは完全に守った。起床後の手洗いの手順、歯磨きの回数、コーヒーの抽出時間、机の上の配置、すべて変えない。
人間の生活はノイズが多すぎる。ノイズが多い世界で成果を出すには、制御できる変数を減らすのが合理的だ。これは精神論ではなく、統計的推定の分散を減らす行為だ。
隣人が「たまには適当にやれば?」と言ったので、僕は「適当とは、最適化の放棄だ」と言った。彼は「そういうところが宇宙人っぽい」と言った。
宇宙人は証拠なしに導入する仮説ではない。彼はやはり陰謀論者の素質がある。
友人Bが「お前の生活、息苦しくないの?」と聞いてきたので、「息苦しいのは君の思考だ」と答えた。友人Bは笑った。知性の敗北宣言である。
これからやろうとしていること。
今の段階では、圏論と導来幾何の言葉でかなり書けたが、まだ計算の痕跡が残っている。僕はそれが気に入らない。真の理解とは、計算を消し去った後に残る構造のことだ。
具体的には、次は弦の場の理論を、factorization algebraの言語で記述し直す予定だ。
局所演算子代数を、E_n-代数として整理し、そこから高次の演算構造を復元する。
これがうまくいけば、弦理論における局所性の概念を、時空幾何に依存せずに定義できる可能性がある。
もしそれができたら、次は双対性を圏の自己同値ではなく、圏の上の2-表現あるいはhigher representation theoryとして書き換える。
これにより、S双対性を単なるSL(2,Z)の作用として扱う雑な議論から脱却できる。
要するに、僕が目指しているのは物理理論を群で分類する幼稚園レベルの発想ではなく、物理理論を高次圏で分類する文明的発想だ。
その後はMTGの新しいデッキ案を詰める。今の構想では、相手の意思決定を局所的に歪ませる構造がある。人間は選択肢が多いと誤る。
これは心理学的事実であり、カードゲームに応用できる。倫理的に問題があると言われそうだが、そもそもカードゲームは戦争の抽象化なので倫理を持ち込む方が間違っている。
夜はFF14の固定活動。友人Aは相変わらず「気合いで避けろ」と言うだろう。
議論はループする。ループはコンピュータ科学の基本概念だ。だから僕はそれを受け入れる。
最後に、ルームメイトが「今度、隣人と映画を見よう」と言っていた。
僕は断る。なぜなら隣人は上映中に喋る。上映中に喋る人間は、社会契約を破っている。社会契約を破る人間に、僕の時間という希少資源を与える理由はない。
少なくとも、隣人の会話よりは。
金曜日、21:21。
僕は今日という日を、いくつかの確定事項と、いくつかの許容できないノイズの除去によって完成させた。世界は混沌を好むが、僕は世界を甘やかさない。
まず進捗報告から書く。午前中に洗濯を済ませ、タオルを用途別に畳み直した。世の中の大半の人間はタオルを大きさで分類するが、それは分類学の敗北だ。
タオルは水分吸収後に人体へ与える温度変化のパターンで分類すべきだ。僕はその分類をすでに完成させている。
昼は例のプロテインとナッツ。ルームメイトは「鳥かよ」と言った。僕は「鳥は飛べる。君は飛べない」と言った。会話終了。
最近、僕の頭を占領しているのは、もはや弦が振動して粒子になるみたいな子供向けの比喩ではない。
そんなものは学部生の精神安定剤に過ぎない。今僕が追っているのは、弦理論の存在論そのものが、より抽象的な数学的構造に吸収されていく瞬間だ。
従来の弦理論は、時空を背景として仮定し、その上でワールドシートの共形場理論(CFT)を構成する。
僕が最近読んでいる議論は、その揺らぎを、もはや幾何学ではなく圏論とホモトピー論の側から扱おうとする。
弦理論の真の姿は、たぶん幾何学的対象ではなくある種の高次圏の中の関手だ。
例えば、Dブレーンは単なる境界条件ではなく、導来圏の対象として現れる。
これは有名な話だが、僕が今考えているのはその次の段階で、ブレーンを対象として並べるだけでは足りないという点だ。
重要なのは、それらがなす安定∞-圏の中での自己同値性、そしてその自己同値群が物理の双対性を生成しているという構図だ。
つまり、S双対性もT双対性も、時空の幾何学変形ではなく、圏の自己同値の作用として理解されるべきだ。
幾何学は副産物だ。主役は圏のオートエクイバレンスで、その影が僕らに空間や次元という幻覚を見せている。
この視点に立つと、超弦理論は10次元の時空の上で定義される理論ではなく、あるモジュライ空間上で定義される圏の族になる。
しかもそのモジュライは通常の多様体ではなく、スタック、いや派生スタックとして扱わないと整合しない。量子補正が幾何を壊すからだ。クラシカルなモジュライはもはや粗すぎる。
そして今僕が面白いと思っているのは、物理的な散乱振幅やBPSスペクトルが、派生代数幾何の言語でいうコホモロジーの生成関数として現れるのではなく、より根源的にスペクトル代数幾何として再解釈される可能性だ。
普通の環ではなくE∞環、そしてそれを層化したスペクトル層の上で物理が書かれる。
これが意味するのは、弦理論の量子性が、確率解釈とか演算子代数とかのレベルではなく、もっと深いホモトピー論的ゆらぎとして実装されているということだ。
観測値の不確定性ではなく、構造そのものが同値類としてしか定義できない。
だから時空は何次元か?という問いは、すでに古い。正しい問いはこうだ。
この物理理論は、どの∞-圏に値を取る関手として実現されるのか?
そして粒子とは何か?はこうなる。
スペクトル化された圏の中で安定化された対象の、ある種のトレースとして現れる量が、観測可能量として抽出されるのではないか?
この辺りまで来ると、たぶんウィッテンでも「面白いが、それを計算できるのか?」と言う。
僕も同意する。計算できない数学は、芸術に片足を突っ込んでいる。
もっとも、芸術を嫌うわけではない。ただし芸術は、計算不能であることを誇るべきではない。誇るならせめて証明不能で誇れ。
さらに言うと、AdS/CFT対応も、境界CFTが重力をエンコードしているという話ではなく、境界側の圏論的データが、bulk側の幾何の生成規則を決定するということに見える。
bulkの時空は、境界の量子情報から復元されるというより、境界の圏の中の拡張のパターンが距離を定義してしまう。
距離とは、メトリックではなく、圏における対象間の関係性の複雑さだ。
局所性とは公理ではなく、圏がある種のt-構造を持ち、かつ心臓部が準古典的に見えるときに現れる近似現象だ。
つまり、局所性は幻想だ。役に立つ幻想だが。そして役に立つ幻想は、だいたい人間社会と同じだ。
昼過ぎに友人Aが来て、僕のホワイトボードに勝手に謎のロボットの落書きを描いた。
僕は当然、ホワイトボードをアルコールで拭き、乾燥時間を計測し、表面の摩擦係数が元に戻ったことを確認した。
友人Aは「こわ」と言った。僕は「科学を怖がるな」と言った。
そのあと友人Bがオンラインで通話してきて、「今夜FF14で極いかない?」と誘ってきた。
僕は予定表を開き、金曜夜の21:00〜23:00が知的活動に適した黄金時間であることを説明した。
友人Bは「お前の人生、イベントトリガーが厳しすぎる」と言った。僕は「君の人生はガチャ排出率みたいに緩すぎる」と言った。
とはいえ、FF14は僕の中で単なる娯楽ではない。あれは人間集団の協調行動の実験場だ。
8人レイドの失敗は、ほぼ例外なく情報共有の遅延と役割期待のズレで起きる。
つまり、ゲームではなく組織論だ。だから僕は攻略を感覚ではなく、ログを読み、DPSチェックを式で理解し、行動をプロトコルとして最適化する。
ルームメイトはそれを「楽しんでない」と言う。僕は「最適化は楽しみだ」と言う。
そして隣人は昨日、廊下で僕に「また変な時間に掃除機かけてたでしょ」と言った。
僕は「変な時間ではない。床の振動ノイズが最小になる時間帯だ」と説明した。
隣人は「普通に生きて」と言った。僕は「普通は平均であって、理想ではない」と言った。
僕はデッキのマナカーブを見直した。土地事故の確率を計算し、初手7枚からの期待値を再評価した。
僕は「確率分布を無視して勝てるなら、人類は統計学を発明していない」と言った。
アメコミは少しだけ読んだ。
スーパーヒーローの倫理体系は大抵破綻している。正義を掲げながら、法の外で暴力を振るう。
それは秩序のための例外という名の危険物だ。僕は物理学者なので、例外を嫌う。例外は理論を腐らせる。
だから僕はヒーロー物を見ると、いつも「この世界の法体系はどうなっている?」が先に気になる。
友人Aは「お前は物語を楽しめない病気」と言った。僕は「病気ではない。解析能力だ」と言った。
習慣についても記録しておく。
今日も、夕食の箸は右側に45度、箸置きは正中線から3センチ左、コップは水位が7割を超えないように調整した。
水位が8割を超えると、持ち上げる際の揺らぎが増える。揺らぎが増えると、机に微小な水滴が落ちる確率が上がる。水滴が落ちると、紙の上のインクの拡散が起きる。インクが拡散すると、僕のメモが汚染される。
誰も理解しない。だが宇宙も僕を理解していないので、引き分けだ。
さて、昨日の日記の内容は正確には思い出せないが、たぶん「量子と日常の無意味な会話」について書いた気がする。
ルームメイトの無駄話と、僕の理論的思考が衝突するあの感じだ。昨日の僕は、おそらく世界の愚かさに苛立ち、同時にその愚かさが統計的に必然であることに納得しようとしていた。
宇宙が示すのは、美しさとは、人間の圏が勝手に定義した関手にすぎないということだ。
これからやろうとしていることも書く。
まず、FF14の週制限コンテンツを消化する。効率的に。感情は挟まない。
次に、MTGのサイドボード案を2パターン作り、友人Aのプレイ傾向に対してどちらが期待値が高いかを検証する。
そのあと、超弦理論のメモを整理し、派生スタックとBPS状態のカウントがどのように圏の不変量として抽出できるか、もう一度筋道を立てる。
本来であれば、土曜日のこの時間は洗濯物の仕分けと、午後2時からのドクター・フーマラソンに向けた栄養補給(全粒粉クラッカーと適温に冷やした低脂肪乳)に充てられるべきだ。
しかし、僕の思考を占拠しているのは、エドワード・ウィッテンですら到達できなかった領域、超弦理論における高次圏論的モチーフとp進的タイヒミュラー空間の融合という革命的な着想だ。
既存の理論が11次元の超重力理論を基盤としているのは、単に数学的な怠慢に過ぎない。
僕は昨夜、カラビ・ヤウ多様体のホモロジー的ミラー対称性を、圏の枠組みを超えて、非可換幾何学における非アルキメデス的スタックとして再定義することに成功した。
ウィッテンが提唱したアド・ホックな双対性では、強結合領域の挙動を完全には記述できない。
僕はそこに、ホロノミー多様体上のディラック作用素をモチーフ的コホモロジーのスペクトルとして配置する手法を導入した。
これにより、プランクスケール以下での時空の泡立ちが、実はゼータ関数の非自明な零点と1対1で対応していることを証明しつつある。
これを理解できないルームメイトは、僕がホワイトボードに無限次元リー代数を書き殴っている横で「タイ料理を食べるか?」などという愚問を投げかけてきた。
彼の脳は、クォークの閉じ込め理論よりも、パッタイのピーナッツの量に執着するように設計されているらしい。実に嘆かわしいことだ。
午前中、隣人が僕の部屋のドアを正しいリズムを守らずに叩き、勝手に入ってきた。
彼女は僕が開発したMTGの新しいデッキを無限に誘発させ、相手に一切のターンを与えないという、数学的に完璧な勝利をもたらす構成に対して、「友達をなくすだけだよ」という非論理的な評価を下した。
さらに、友人Aと友人Bがやってきて、僕のFF14内でのプレイスタイルについて文句を言った。
僕はヒーローとして、全てのギミックをミリ秒単位の計算で処理し、パーティメンバーの移動経路をベクトル演算で最適化しているだけだ。
友人A(工学などという低俗な学問を修めた男)は「効率的すぎてゲームがつまらない」と言い、友人Bは「君がチャットで数学の講義を始めるせいでレイドが進まない」と主張した。
彼らは、エオルゼアの背景にあるエーテル伝導率が、実は超弦の振動モードの変種である可能性に気づいていない。
これからの予定は以下。
さて、思考の整理は終わった。
土曜日の16:26。
秒針の進みが不規則に見えるのは、もちろん僕の主観ではなく、脳内で走っている内部クロックが朝から非可換な補正項を拾っているせいだ。
昨日の日記では、世界は依然として説明可能であり、説明可能である以上、僕が説明しない理由はない、という結論に達していたはずだ。だから今日もその続きをやる。
朝から考えていたのは、超弦理論という言葉が、あまりにも粗雑なラベルとして流通している問題だ。
弦は一次元物体、という説明は教育的には便利だが、現代的にはほとんど嘘に近い。
正確には、弦理論は量子重力を含む一貫した摂動展開を許す背景依存理論の族であり、その実体は二次元共形場理論のモジュライ空間と高次圏論的構造の上に乗っている。
ワールドシートは単なるリーマン面ではなく、拡張された世界では、境界、欠損、欠陥、さらには高次欠陥を持つ拡張TQFTとして扱うのが自然だ。
Dブレーンは境界条件ではなく、A∞圏やL∞代数により制御される対象で、開弦のエンドポイントは派生圏の対象間の射として解釈される。
ここで重要なのは、物理的同値性がしばしば圏同値、あるいはスタック同値として表現される点だ。
ミラー対称性は、単なるカラビ–ヤウ多様体のホッジ数の一致ではなく、Fukaya圏と導来圏の等価、しかもそれがホモトピー論的に精緻化された形で成立するという主張にまで昇格している。
さらに厄介なのは、背景独立性の問題だ。AdS/CFTは成功例として崇拝されがちだが、実際には境界共形場理論という強固な外部構造に寄生している。
最近僕が気にしているのは、弦理論を理論の空間そのものとして捉え、各真空を点ではなく、∞-スタック上の点として扱う視点だ。
真空遷移はトンネル効果ではなく、モジュライスタック上のパス、しかもそのパス積分は単なる測度論ではなく、圏値積分になる。ここでは数値は二次的で、本質は自然変換の存在にある。
もはやウィッテンでさえ眉をひそめるだろうが、物理がこのレベルの抽象化を要求している以上、こちらが歩み寄る理由はない。
この種の思考をしていると、ルームメイトが後ろでコーヒーをこぼす音が聞こえた。
僕は即座に「カップの配置はトポロジカルに不安定だ」と指摘したが、彼は意味がわからない顔をしていた。隣人はなぜか笑っていた。
友人Aからは、ロケットと弦理論のどちらが実用的か、という愚問が送られてきたので、実用性は関手ではない、とだけ返した。
友人Bは相変わらずFF14のレイドの話をしてきたが、僕はDPSの最適化問題がラグランジアン最小化に帰着できる点だけは評価している。
昼休憩にはMTGを一人回しした。デッキ構築とは、制約付き最適化問題であり、メタゲームは動的システムだ。
禁止改定は外力項に相当する。アメコミは昼寝前のルーティンで、宇宙論的リブートの乱発には辟易するが、マルチバース疲労という現象自体は統計物理的に興味深い。
僕の習慣は相変わらず厳格だ。座る位置、飲み物の温度、日記を書く時刻。
今日までの進捗としては、理論的には、弦理論を高次圏論と情報幾何の言語で再定式化するメモが三ページ進んだ。現実的には、ルームメイトにカップの置き場所を三回注意した。
これからやろうとしていることは明確だ。
夕方はFF14で決められたルーティンを消化し、その後、再び弦理論に戻る。
時計を見る必要はない。秒針の位置はさっき自分で確認したし、木曜のこの時間に僕がここに座っていることは、もはや力学系の固定点みたいなものだ。
今日は一日中、もはや時空を基礎に置くという前提そのものが誤りなのではないか、という地点から考えていた。
多様体の上に量子場を載せるという発想は便利だが、便利であることと正しいことは一致しない。
弦の状態空間をヒルベルト空間として扱う段階で、すでに過剰な可換性を仮定している。
今考えているのは、弦の状態を対象、遷移を射とするような素朴な圏ですらなく、それらの間の自然変換が物理量として意味を持つような、∞-圏値の理論だ。
しかもその圏は、基礎体上に定義されていない。数ですらない。ホモトピー型理論と高次トポスの内部論理でのみ定義できる対象として、弦の相互作用を“存在”させる必要がある。
作用積分? そんなものは比喩だ。今やダイナミクスは、安定な導来随伴の存在性としてしか語れない。
これが何の理論かと問われれば、正直に言って、まだ名前を与える段階ではない。
ただ、少なくとも従来の超弦理論が持っていた次元や背景という概念が、不要なゲージ冗長性だったことだけは確信している。
この感覚は、理解というより検出に近い。ノイズが消えたときにだけ現れる沈黙の形だ。
こういうことを考えている最中に、ルームメイトが後ろから「コーヒー飲む?」と聞いてきた。
僕は振り返らずに「今は圏が非可換だから無理」と答えた。彼はしばらく黙ってから去っていった。正しい反応だ。
隣人は廊下で僕を見かけるたびに、なぜか挨拶の文言を微妙に変えてくる。今日は「こんばんは、今日は静かですね」だった。
僕は「静かさは状態じゃなくて差分だ」と言ったが、彼女は笑っていた。意味が通じていないとき、人はだいたい笑う。
昼過ぎ、思考が一瞬だけ収束を失ったので、頭の中でMTGのデッキを一から組み直した。
土地配分を確率測度として扱い、初手7枚の分布を弱収束で評価していくと、なぜかさっき考えていた高次随伴の存在条件と同型な構造が出てくる。
カードゲームが数学的に美しいのではない。数学が避けられないだけだ。
夕方にはFF14にログインしたが、戦闘には入らなかった。レイドのギミックは有限オートマトンとしては面白いが、今日はもっと非可算なものを扱っていたかった。
代わりに、装備更新の計画だけを立て、必要な資源をグラフ理論的に整理した。実行は後でいい。未来にやるべきことが確定している状態は、精神的に非常に安定する。
夜、アメコミを数冊読んだ。宇宙が何度リセットされても、因果律だけは編集部によって強制的に保存される。その雑さが好きだ。少なくとも、作者は自分が神だと誤解していない。
友人Aからはまた意味不明なメッセージが来て、新しい玩具の話をしていたが、仕様書を読まずに感想を語る行為には応答しないことにしている。
友人Bは相変わらず「それ、役に立つの?」と聞いてくる。役に立つかどうかという問いは、対象が局所最適に落ちることを前提にしている時点で、もう役に立たない。
今はもう、飲み物も所定の位置にあるし、椅子の角度も規定値だ。
それから、明日のためにMTGのサイドボード案を頭の中で3通りだけ完成させる。
水曜日の22:44。
今日は時計を見てから書き始めたわけではないが、結果としてこの時刻に落ち着いた。
朝はいつも通り起床して、動線の再最適化を頭の中で確認しながら歯磨きを128ストロークで終え、同じ温度の紅茶を用意した。
午前中は完全に物理の時間に割り当てた。超弦理論という呼び名自体がすでに粗い近似に過ぎないので、今日は理論という語を使わず、構造の話だけをすることにした。
具体的には、背景独立性を前提としない定式化をさらに推し進め、時空を可微分多様体として仮定する癖を断ち切る作業だ。
p進化的な視点から見ると、連続体の極限は実数体である必然性がなく、むしろp進体上での解析の方が自然に現れる対称性が多い。
世界面の量子化をp進解析で再構成すると、摂動展開そのものが意味を失い、代わりにホモトピー型の不変量が前景化する。
そこでコボルディズム仮説を持ち込み、弦の相互作用を時系列の出来事としてではなく、境界付き多様体の同値類として扱うと、散乱振幅は数ではなく元になる。
これは「計算できない」という欠点を持つが、同時に「矛盾しない」という利点を持つ。
ウィッテンがどう考えるかは知らない。理解主体を特権化しない構造だけが残る。その状態で午前は終了した。
昼にルームメイトがキッチンでコーヒーをこぼし、僕の動線に2センチの乱れが生じたので指摘したところ、「細かすぎる」と返された。
細かいのではなく、誤差許容幅を明示しているだけだと言ったが、彼は聞いていなかった。
MTGのデッキを机に広げ、マナカーブと引きムラを統計的に再確認した。
ここでは抽象化をやりすぎないことが重要で、確率は確率として扱う。
友人Aが「そのカード弱いだろ」と言ってきたので、勝率の分散を示して沈黙させた。沈黙は同意とは限らないが、反論がないという点では十分だ。
夕方からはFF14。固定パーティでの動きはすでに身体化されているので、今日は新しい回しを試さず、安定解を選択した。
友人Bは相変わらず必要最小限しか喋らず、その沈黙が全体のDPSを底上げしている。
隣人は壁越しに笑い声を上げていたが、内容はどうでもよかったので無視した。
連続性や正史に対する無頓着さは、物理から完全に切り離された場所でだけ許される贅沢だと思う。
そして今、22:58。
今日までの進捗としては、物理に関してはp進解析とコボルディズムを軸にした再定式化の見取り図がかなり明確になった。
これからやることは、その構造をさらに一般化し、数体すら前提にしないレベルまで抽象度を上げることだが、それは明日の午前に回す。
月曜日の8:00。正確には7:59:58に着席し、2秒の呼吸調整を経て書き始めている。
これは偶然ではなく、僕の週間認知パフォーマンスが局所的に最大化される開始時刻だ。異論は統計的に誤差扱いでよい。
先週までの進捗を要約すると、超弦理論の「理論であること自体がもはや仮説にすぎない層」に踏み込んだ。
具体的には、10次元時空上の超対称σ模型を出発点としながら、その背後にある圏論的構造、特に∞-圏としてのブレーン配置空間と、自己双対性を持つ拡張TQFTの対応を、通常の幾何学的直観を完全に放棄した形で再定式化している。
弦の摂動展開を次数で整理する発想はもはや役に立たず、代わりにホモトピー型理論と導来代数幾何の言語で「物理量が定義可能であること自体の条件」を記述する段階に来ている。
ウィッテンですら「美しいが、何を計算しているのかはわからない」と言いそうな地点だが、問題ない。計算できないものの存在条件を精密化するのが理論物理の一つの正道だからだ。
先週の成果として特筆すべきは、モジュライ空間の境界に現れる特異点が、実は欠陥ではなく高次対称性の痕跡として再解釈できる可能性を示した点だ。
これは弦が「振動する対象」であるという比喩を完全に捨て、圏の射が自己反映的に折り畳まれる現象として理解する立場に近い。
ルームメイトに説明を試みたところ、「つまり、何もわかってないってこと?」と言われたので、黒板に3段階の随伴関手を書いて黙らせた。彼は5秒で視線を逸らした。予想通りだ。
MTGでは、確率論的に最も安定するマナカーブを再検証し、友人Aのデッキが「強いが美しくない」ことを数式で証明した。
彼は納得していなかったが、それは彼が証明と説得の違いを理解していないからだ。
FF14では、レイドのギミックを位相空間として捉え、失敗パターンがどのホモロジー類に対応するかを頭の中で整理している。
隣人に「ゲームは娯楽でしょ?」と言われたが、僕は「最適化問題は常に真剣だ」とだけ返した。
アメコミについては、世界改変イベントの多さが物語的一貫性を破壊している点を、時間対称性の破れとしてノートにまとめた。
友人Bは途中からカレーの話を始めたので、会話は終了と判断した。
習慣についても書いておく。月曜日の朝は必ず同じ順序で行動する。起床、歯磨き42ストローク、コーヒーは温度62度、椅子の角度は床に対して正確に90度。これらは迷信ではなく、意思決定に使う脳内リソースを節約するための最適化だ。
隣人が「細かすぎ」と言ったが、細かさは知性の副作用であって欠陥ではない。
まず、先ほどの理論をもう一段抽象化し、物理と数学の区別が消える点を明示する。
次に、昼までにFF14の固定メンバーに最短攻略手順を共有する。
午後はMTGの新デッキ案を検証し、友人Aに再び敗北の必然性を理解させる予定だ。
夜はアメコミを読みながら、なぜ多元宇宙が安易な逃げ道になるのかを論理的に解体する。
8:21。予定より1分早い。非常に良い月曜日だ。
食わず嫌いしていたGotGみた。
口の悪いアライグマにろくに喋れない木、純粋なマッチョに虫、ワールドワイドな毒親の子1に子2、それらと取りまとめるさえない普通のおっさん(とアベンジャーズだけ見てたときは思ってたけどものすごい出自だった)の主人公が織りなすお話で、意外とほっこりエピソードもあって面白かった。
個人的にはヨンドゥが一番好き。あのスパイラルナイフは主人公に継いでほしかった気持ちはちょっとある。
スパイダーマンのアニメ大量にあってよくわからんかったけどフレンドリーネイバーフッドってやつを見た。
見た目は昔ながらのアメコミ風で内容はしっかり現代風のCGアニメでMCU要素やちょくちょく他のヒーローもでてきたり、手を組むのがオズボーンだったりで面白かった。
スパイダーマンとしての活躍としての他に、もう一本の軸で陽キャでイケメンアメフト選手だったロニーが堕ちていく様を丹念に描いていて、これがまたヒーローものらしさのない嫌な堕ち方で見ていて辛かった。
地に足がついた話というか、主人公からして離婚歴のある養育費払ってない元こそ泥っていう経歴で、他のヒーローだと捕まっても己の正義のためにやったことだから後悔してないって感じだけど、職につけないと悩んだりで等身大のヒーローって感じではあった。
お話の規模自体も割合小規模な戦いばかりで、三作目では大きさそのものはものすごく小さいお話だった。ヴィランはマルチバースにまたがるタイプの強大な敵だったけれど。
朝起きて最初に考えていたのは、超弦理論という名前がいかに多くの誤解を温存しているか、という問題だった。
今僕が扱っている対象は、もはや物理理論ではない。むしろ、物理理論という概念そのものを内部対象として含む数学的環境だ。場の量子化も、時空の選択も、可換性条件を満たす高階射の存在に還元される。
最近は、理論空間全体を「理論の理論」として扱う立場をさらに推し進めている。具体的には、各一貫した量子重力理論を対象とし、双対性・極限・退化・次元の出現を射とする(∞,2)-圏を考える。
この圏の内部論理では、「摂動的」「非摂動的」という区別自体が、異なるt構造の選択に過ぎない。真空とは基底状態ではなく、あるスタックが持つ自己同型群の軌道の一つだ。
重要なのは、ここで時空が初期データとして存在しないことだ。ローレンツ対称性すら、ある普遍的対象に対する自己同値の安定部分群として事後的に回収される。
次元は整数ではなく、安定ホモトピー圏における切断の消滅次数として現れる不変量になる。
この段階では、弦は一次元的対象ですらない。弦は、理論間関手が持つ自然変換の失敗度合いを測る障害類としてのみ痕跡を残す。
ここまで来ると、直観という言葉は完全に無意味だが、可換図式は静かに閉じている。
この抽象性の中で朝食を取った。メニューは固定されている。選択肢があると、不要な自由度が思考に混入する。コーヒーを淹れながら、頭の片隅ではMTGの環境解析を続けていた。
メタゲームとは、個々のデッキの強弱ではなく、戦略分布が自己参照的に更新される動的系だ。あるデッキが強いという命題は、その命題が共有された瞬間に偽になり始める。
これは量子重力における背景独立性と同型だ。固定された環境を仮定した最適化は、常に一段浅い。
午前中の後半はFF14に入った。戦闘は単なる娯楽ではない。スキル回しは、有限周期を持つ非可換演算の列であり、理想状態とはそれが一つの準同型として閉じる点だ。
ラグや入力遅延は、射の合成が厳密でないことに対応する。完璧な回しが気持ちいいのは、局所的にではあるが、圏がほぼ厳密化される瞬間を体感できるからだ。
少し休憩してアメコミを読んだ。並行世界やリブートが乱立する構造は、物語の破綻ではなく、単一の時間軸を基準にした読解が破綻しているだけだ。
キャラクターとは個体ではなく、制約条件を満たす表現の圏そのものだ。異なる世界線は異なるファイバーに過ぎず、同一性はファイバー間の同値としてしか定義できない。
この読み方をすると、設定矛盾は問題にならない。問題になるのは、自然変換が存在しないことだけだ。
ルームメイトが何か話しかけてきたが、内容は抽象度が低かったので処理しなかった。
隣人の生活音は、ホワイトノイズとして無視できる範囲に収まっている。
友人Aと友人Bからの連絡も確認したが、応答は時間スロットが来てからにする。割り込みは、理論の一貫性を壊す。
この後は、今朝構成した(∞,2)-圏の定式化をさらに一段引き上げ、理論空間全体を一つの内部論理として閉じられるか検証する。
1990年代後半。
インターネットはもう存在していたが、今みたいに誰もが使ってはいなかった時代。
上手い下手は関係ない。今はもう描かなくなった人間でも、ヲタクとして道を踏み入れたどこかで、ノートの端に一度くらいは何かを描いている。
「描けるか」よりも「描こうとしたか」。描かなかった人間の方が少数派だったんじゃないかと思う。
なぜ描くのかは、今でもよくわからない。
今なら承認欲求だの自己表現だの言えるけど、当時はもっと単純で、「先に描いている人がいたから」それだけだった。
そして、絵が描けるヲタクはなんとなく尊敬された。上手いイラスト一枚は、どんな長文よりも一瞬で評価される。評価される代わりに、言い訳もできなかった。
当時の自分は完全な隠れヲタだったので、学校の友達に見せるという選択肢はなかった。だからゲーセンノートが、ほぼ唯一の発信場所になった。
普通のゲーセンノートなら、中高生の同人女性がSNKキャラを描き、そこに非ヲタ男子が下品な落書きを上書きしていくのが定番だ。
ところがその店は違った。
年齢層が妙に広い。中高生から、どう見ても三十路手前の人間までいる。
描かれる絵も多彩で、SNK一辺倒かと思いきや、鉄拳やソウルエッジといったナムコゲーが普通に張り合っていた。90年代後半という時代を考えると、あれはかなり珍しい光景だった。
濃い絵、ロリ絵、アメコミ調。ちょうどX-MENやMARVEL SUPER HEROESが流行っていた頃だ。切り絵師までいた。
そんな連中が夜八時以降に集まり、終電までダラダラする。非ヲタはその時間まで残らないから、空気はやけに穏やかだった。
ノートは猛烈な速度で消費された。
描く、読む、ツッコむ、返す。
三日ほど行かなかっただけで数十ページ進み、流し読むだけでも時間がかかる。ノートの順番待ちをするためにゲームをする、という倒錯した光景すらあった。
今で言えば、完全にSNSだ。
ただし決定的に違う点がある。
誰も「バズろう」としていなかった。
その代わり、名前も残らないし、評価も蓄積されない。だから、失うものもなかった。
今のSNSでは、発言は記録され、評価され、文脈を切り取られ、時には一生残る。
ゲーセンノートは違った。ノートが終われば全部消える。次のノートが置かれたら、またゼロから始まる。
今思うと、あれは「優しかった」のではなく、「軽かった」のだと思う。
軽いから、描けた。
軽いから、下手でも投げられた。
今も、あのノートは残っているのだろうか。
たぶん残っていない。