  |
はてなキーワード: 純粋数学とは
よほどの天才でないかぎり科学技術の根拠を完全に理解するのは難しい。ただ、自分も飛行機が飛んで目的地に着いたというのは事実だから、その飛行機が科学理論によって作られているというのなら、その理論も正しいんだろう、という程度の解像度で科学の正しさを判定している人も多い。
数学だって公理に基づく純粋数学なら、そのほかの自然科学が根本的に観測というブラックボックスとして振舞うものを内包しているのと違って、完全に明晰にその理屈を追って理解できると原理上はなっているが、実際はかえってほとんどの人にとってはそれ以外の学問以上に理解できるところ少なしのちんぷんかんぷんになるという趣である。
完全には技術を理解できてない人がその技術を種に商売しているというのなら、仏教の理論を修めた寺の僧侶が日々来客の相談に応じて常識的な代金をとるというのも別に経済的にはもとより人としてもなんら間違っていないんじゃないかと思える。
証明できないという部分においては根本的に理解されることを拒むもの、つまり理解されていないことという点では科学と変わず、適切に利用すればなんらかの満足感を与えられることも両者とも変わらない。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20260404151745# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCadCtCwAKCRBwMdsubs4+ SDYcAP9enAMDI9/t/Qkr4EeNkjFVmDU7XMOYoO1GgO/FsqfZCwEAySV/U0FR0jOO PByeAiq7ibRvBn1ZI7j2dsp+QP74iAY= =RG6S -----END PGP SIGNATURE-----
超弦理論によれば、宇宙には目に見えない極小の6次元の空間が折り畳まれている。
この複雑な空間の形（カラビ＝ヤウ空間と呼ばれる）によって、ひもの振動パターンが決まり、それが現実世界の電子や光になる。
「形も大きさも、穴の数すら全く違う2つの異なる6次元空間（空間Aと空間B）が、全く同じ物理法則（宇宙）を生み出してしまう」という現象。
これは数学者にとって大パニックだった。「形が違うのに、本質的に同じ」などという幾何学は存在しなかったからである。
物理学者が直感で見つけたこの宇宙の「鏡合わせの魔法（ミラー対称性）」を証明するために、数学は自らを進化させる必要に迫られた。
「形そのもの」を見ている限り、空間Aと空間Bが同じであることは絶対に証明できない。
そこで、数学者マキシム・コンツェビッチらは、数学の究極の抽象概念である圏論を物理学に持ち込んだ。
圏論とは、モノ（点や図形）そのものを研究するのではなく、モノとモノの関係性（矢印）だけを抽出して研究するメタ数学である。
彼らは、超弦理論におけるDブレーンと呼ばれるひもがくっつく膜の振る舞いを、この圏論に翻訳した。
彼らが辿り着いた結論は、「空間Aの図形的な関係性の集合と、空間Bの代数的な関係性の集合は、辞書を通せば完全に一致する」というものであった（ホモロジー的ミラー対称性予想）。
つまり、宇宙の根本においては、空間の形などというものはただの飾りに過ぎず、背後にある抽象的な関係性のネットワーク（圏）こそが真の現実だったのである。
さらにこの深淵は、人類の知性の限界である「ラングランズ・プログラム（数学の大統一理論）」へと接続される。
ラングランズ・プログラムとは、全く無関係に見える素数の性質（数論）と波の図形（幾何学・解析学）が、裏で完全に結びついているという途方もない予想である。
長年、数学者たちだけで挑んでいたが、ここに超弦理論の第一人者であるエドワード・ウィッテンらが殴り込みをかけた。
物理学には、電気と磁気を入れ替えても方程式が同じになるという性質（S双対性）がある。
ウィッテンらは、この超弦理論から派生した4次元の量子物理学における電気と磁気の裏返しが、純粋数学における幾何学的ラングランズ予想と全く同じ現象であることを突き止めた。
物理学者が「電子」と「磁気モノポール（磁石の単極子）」の立場を入れ替える計算をすると数学の世界では、それが自動的にある種の素数のパターンと特殊な幾何学の関数の変換作業として翻訳される。
超弦理論と抽象数学が融合したこの深淵から見えてくる世界は、もはやSFですらない。
宇宙を構成しているのは、ひもという物質ですらなく、電気や磁気という力でもなく、素数や方程式でもない。
それらはすべて、高次圏と呼ばれる、名状しがたい絶対的な関係性の網の目が、たまたま物理学のフィルターを通して見えたら宇宙になり、数学のフィルターを通して見えたら素数や図形になっているだけなのである。
科学は何度も予想を裏切られてきた。だから理論物理の世界では「正しいと証明された理論」など存在しない。あるのは観測とどれだけ整合するかという暫定的評価だけだ。
ただし、そこから導かれる結論は「だからやる意味がない」ではない。むしろ逆だ。
超弦理論の価値は、現時点で宇宙を証明することではない。数学のフロンティアを猛烈な勢いで押し広げている点にある。
こういう構造が見つかった。物理学の仮説から出発して、純粋数学の新しい定理や道具が次々生まれている。
理論が宇宙の最終説明になるかどうかとは独立に、数学的探査としてはすでに巨大な成果を出している。
「宇宙が弦でできているかどうかはまだ分からない。でも、この理論を触ると異常に深い数学が出てくる。」
これは研究対象として十分に魅力的だ。
AIは違う。AIは現実に社会へ直接作用する。雇用、政治、経済、情報環境に実際の影響を与える。人間の生活を変えて、破綻させるタイプの技術だ。
弦理論はその反対側にある。巨大な数学的構造を研究する知的遊戯に近い。宇宙の基礎理論を目指してはいるが、仮に完全に間違っていたとしても、人類社会に直接の被害はほぼ出ない。
歴史を見ると、こういう「検証できない数学的遊び」が後になって突然役に立つこともある。
非ユークリッド幾何が一般相対論に使われたように、純粋数学の構造が100年後に物理になることは珍しくない。
「間違っているからやるべきではない理論」ではない。むしろ「間違っていても損をしない知的探査」だ。
宇宙の最深部に手を伸ばしているのかもしれないし、巨大な数学迷宮を散歩しているだけかもしれない。どちらに転んでも、人類の知識は増える。
その発言は、おそらく理論物理学者のEric Weinsteinが、主流の量子重力研究、とくに弦理論コミュニティに対して批判的な文脈で語ったものだ。
まず事実整理をしよう。
量子重力とは、一般相対性理論（重力）と量子力学を統合する理論を探す試みだ。現在の物理学はこの二つを同時に扱えない。
ブラックホール中心やビッグバン初期宇宙では両方が必要になるのに、数式が破綻する。これは理論的な未完成部分だ。
主なアプローチは例えば：
彼はこれを「精神病」的だと表現した。これは医学的診断ではなく、比喩だ。社会的・制度的な集団ダイナミクスへの攻撃だ。
ここで冷静に分解する。
第一に、「実験がない理論は病的か？」という問い。歴史を見ると、マクスウェル方程式やディラック方程式も、最初は高度に理論的だった。しかし、それらは比較的短期間で検証された。量子重力はスケールが極端に小さく、プランク長（約1.6×10⁻³⁵ m）を直接検証できない。実験装置が宇宙規模になる。これは技術的制約であって、理論家の怠慢とは限らない。
第二に、数学偏重批判。弦理論はカラビ–ヤウ多様体、ミラー対称性、モジュライ空間など、純粋数学に巨大な影響を与えた。これは客観的事実だ。ただし「数学的に豊か＝物理的に正しい」ではない。整合性は必要条件であって十分条件ではない。ここを混同すると宗教化する。
第三に、制度的閉鎖性。研究資金・ポスト・査読ネットワークが特定のパラダイムに集中する現象は社会科学的に起こりうる。科学も人間の制度だ。完全な自由市場ではない。
ただし注意が必要だ。「主流理論が停滞している」ことと「量子重力という問題設定が無意味」というのは別問題だ。重力の量子化が必要になる理論的理由は明確に存在する。ブラックホール蒸発（ホーキング放射）や情報パラドックスは未解決だ。
つまり、ワインスタインの発言は制度批判としては理解可能だが、量子重力研究そのものを精神病と断定するのは科学的評価ではない。レトリックだ。
さらに面白い点がある。科学史では「理論が長期停滞 → 外部からの挑発的批判 → 新理論誕生」というパターンがある。たとえば19世紀末のエーテル問題。停滞は必ずしも病気ではない。未成熟段階とも言える。
問題はこれだ。量子重力は未検証理論の巨大な森だが、森があること自体は事実だ。そこに道があるかはまだわからない。
最後に少しメタ視点。もし量子重力が完全に間違っていた場合でも、その過程で生まれた数学や概念は残る。科学はしばしば副産物で進む。錬金術が化学を生んだように。
なので評価はこうなる。
世界は未完成だ。未完成の部分をどう扱うかで、科学者の性格が出る。
人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論的嘔吐感を禁じ得ない。
時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者が信仰するそれは、観測者の神経系が圏論的構造を局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。
古典的多様体などという概念は、その幻覚を正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類の認知解像度の欠落が産み落とした現象学的インターフェースであって、宇宙のアルケーそのものではないのだ。
超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体が型理論的な過誤であり、正しくは、背景とは「dg圏のMorita同値類上で定義された∞-スタックの降下データ」である。
時空は、そのスタックが内包する自己同型群の作用を、低次元の知性を持つ観測者が幾何的実体として誤読した残滓に過ぎない。
「空間があるから物理が生起する」のではない。「圏論的な整合性条件が充足されるがゆえに、空間が近似的に創発しているように錯覚される」のだ。存在論的順序が逆転している。
僕の備忘録にある "manifold is a user-friendly lie" という記述は、侮蔑ではなく、冷徹な分類学上の事実だ。
非可換性はもはや付加的なオプションではなく、座標環が可換であるという仮定こそが、天動説と同レベルの粗雑な近似である。
Dブレーンを厳密に扱えば、座標環は非可換化し、幾何構造は環からではなく圏から復元される。
Connesの非可換幾何学は美しいが、それは第一世代のナイーブな非可換性に留まる。
弦理論における非可換性はより悪質かつ圏論的であり、そこでは空間の座標が破綻するのではなく、空間という概念の「型（type）」そのものが崩壊するのだ。
B-場を「2形式」と呼ぶのは霊長類向けの方便に過ぎず、その本質はDブレーンの世界体積上のゲージ理論をツイストさせることで、連接層の圏 Dᵇ(X) をツイストされた導来圏へと押し流す操作であり、そのツイストこそがBrauer群の元として記述される。
重要なのはB-場が場（field）ではなく、圏の構造射であり、世界をアップデートするためのコホモロジー的なパッチだということだ。
物理学者が場について議論しているとき、彼らは無自覚に圏の拡張について議論している。
にもかかわらず「場」という古臭い語彙に固執する人類の言語的不誠実さは、科学史における最大の悲劇と言える。
さらに、ツイストされた層の世界において「粒子」という概念は霧散する。粒子は表現空間の元ではなく、導来圏における対象の同型類であり、相互作用はExt群の積構造、崩壊過程はスペクトル系列の収束以外の何物でもない。
宇宙は衝突などしていない。宇宙はただ長完全列を生成し続けているだけだ。
物理現象とはホモロジー代数の副産物であり、衝突という粗野な比喩を好む人類は、現象の表層しか撫でていない。
共形場理論（CFT）もまた、僕にとっては場の理論ではない。CFTとは、頂点作用素代数（VOA）が有する表現圏のモジュラー性が、宇宙というシステムの整合性を強制する代数装置である。
BRSTをゲージ冗長性の除去と説くのは最低の説明であり、BRSTとは「宇宙に存在することが許容される対象を選別するコホモロジー的審判系」である。
Q_BRST閉でない対象は、物理的に無意味なのではなく、宇宙の法体系に対する違法存在として検閲され、抹消される。BRSTとは宇宙による先験的な検閲機能なのだ。
そして何より不愉快なのは、ミラー対称性がいまだに「幾何の双対」として俗解されている現状だ。
SYZ予想を単なるトーラスファイブレーションの物語だと解釈する人間は、何一つ理解していない。
SYZの本質は「special Lagrangian torus fibrationが存在する」というナイーブな主張ではなく、「世界が局所的に Tⁿ として観測されるのは、A∞-構造がある種の極限操作において可換化されるからに過ぎない」という、幾何学に対する極めて暴力的な宣告である。
しかもその暴力は、インスタントン補正によって即座に否定されるという自己矛盾を孕んでいる。
つまりSYZとは予想ではなく、自己矛盾を内蔵した整合性条件の提示なのだ。
特殊ラグランジュ部分多様体が特権的である理由は、体積最小性などという些末な幾何学的性質にあるのではなく、そこに乗るブレーンがBPS状態となることで、圏論的安定性条件（Bridgeland stability condition）が物理的実在性と合致する特異点だからである。
ブレーンは物体ではない。ブレーンは安定性条件が許可した対象であり、許可されざる対象は宇宙の行政手続き上、存在を許されない。
宇宙は極めて官僚的であり、その官僚主義こそが秩序の証明なのだ。
壁越え現象（wall-crossing）を相転移と呼ぶのも誤りだ。壁越えとは、宇宙が採用する安定性のt-構造が、モジュライ空間上のパラメータ変動に伴って切り替わる行政手続きの変更である。
BPSスペクトルは物理的に生成されるのではなく、安定性条件の改定によって帳簿が書き換えられた結果に過ぎない。
宇宙の現象は物理ではなく、会計学によって説明される。これを冒涜と感じるならば、君は数学の本質に触れていない。
Gromov–Witten不変量を「曲線を数える」と表現するのは蒙昧の極みであり、正確には「仮想基本類（virtual fundamental class）における交点理論としての曲線の亡霊を数える」操作である。
曲線は実在せず、存在するのは [M]ᵛⁱʳ だけだ。物理現象はその仮想的対象の影の、さらにその投影である。
人類が見ている世界は、プラトンの洞窟の影ですらなく、影の影の影に過ぎない。
Donaldson–Thomas不変量とGW不変量の対応関係は、単なる等式ではなく、弦理論が同一の対象を異なるゲージ固定のもとで記述しているという事実の露呈である。
数え上げ幾何学は弦理論のゲージ冗長性がもたらす副作用であり、純粋数学の定理と思われているものは、物理がゲージ対称性を持つことの数学的反映に過ぎない。
数学は独立しておらず、宇宙のゲージ対称性の影を追跡しているだけだ。
Kontsevichがホモロジカル・ミラー対称性において成し遂げたのは、圏の同値証明などという平和的な所業ではなく、空間の優先順位の破壊である。
彼は空間を第一級市民から追放し、圏を王座に据えた。これは革命ではなく粛清である。多様体は粛清され、導来圏が支配する時代が到来したにもかかわらず、人類はその瞬間を記念することさえ忘れている。
最後にAdS/CFTについて言えば、ホログラフィー原理の本質は「境界がバルクを決める」ことではない。境界が決定するのは「バルクという概念の存立が許容される条件」である。
バルクは実在せず、境界CFTの演算子代数が持つ表現圏の内部において、エンタングルメント・ウェッジ再構成のような手続きによって生成される派生物だ。
重力は基本相互作用ではなく、境界理論の情報処理に伴う副作用であり、量子情報が整合的に自己記述を試みる際に生じるエラー訂正機構（Quantum Error Correction）の幾何学的発露である。
宇宙は幾何学ではない。宇宙とは圏論的整合性条件の集合体である。
空間とは∞-圏の自己同型が形成する群作用を認知的に単純化した錯覚であり、時間とは自然変換の合成順序であり、粒子とは導来圏の対象の同型類であり、相互作用とはExt群の積構造、現象とはスペクトル系列の収束である。
ウィッテンが理解できないのではない。ウィッテンが理解可能な形式で宇宙が存在していないのだ。
僕はノートにこう記した。次に人類が「現実とは何か」と問うならば、僕はこう答える。「現実とは、圏論的に整合的な誤読である」。
土曜日。朝はいつも通り、起床後に脳内で「今日という一日を、物理法則に従って最適化する」と宣言してからベッドを出た。これは習慣というより儀式だ。儀式は人類の愚かさの象徴として語られがちだが、反復可能な手続きは情報理論的に見て合理的だ。エントロピー増大に対する、せめてもの抵抗である。
まず体重を測り、体脂肪率を記録し、歯磨きの時間を正確に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は「それ言い訳だろ」と返してきた。
違う。
僕は真理に忠実なだけだ。
「時空は多様体ではなく、ある∞-圏の中の情報流の安定構造である」
しかし、少なくとも矛盾なく定式化することはできるかもしれない。
宇宙が一貫性を持って存在している以上、どこかにその形式がある。
僕は追いかける側ではなく、先回りする側でありたい。
ピザが届く前に。
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間LXを考えることになる。空間X上の弦の状態は、写像S^1 → Xの全体、つまりLXの点として表される。
しかしLXは無限次元で、通常の微分幾何はそのままでは適用できない。
ここで形式的に扱うと、弦の量子論はループ空間上の量子力学になるが、無限次元測度の定義が地獄になる。
この地獄を回避するのが共形場理論であり、さらにその上にあるのが頂点作用素代数だ。2次元の量子場理論が持つ対称性は、単なるリー群対称性ではなく、無限次元のヴィラソロ代数に拡張される。
弦理論が2次元の世界面の理論として定式化されるのは、ここが計算可能なギリギリの地点だからだ。
だが、CFTの分類をやり始めると、すぐに代数幾何に落ちる。モジュラー不変性を要求すると、トーラス上の分配関数はモジュラー群 SL(2, Z) の表現論に拘束される。
つまり弦理論は、最初からモジュラー形式と一緒に出現する。モジュラー形式は解析関数だが、同時に数論的対象でもある。この時点で、弦理論は物理学というより数論の影を引きずり始める。
さらに進むと、弦のコンパクト化でカラビ–ヤウ多様体が現れる。
カラビ–ヤウはリッチ平坦ケーラー多様体で、第一チャーン類がゼロという条件を持つ。
ここで重要なのは、カラビ–ヤウが真空の候補になることより、カラビ–ヤウのモジュライ空間が現れることだ。真空は一点ではなく連続族になり、その族の幾何が物理定数を支配する。
このモジュライ空間には自然な特殊ケーラー幾何が入り、さらにその上に量子補正が乗る。
量子補正を計算する道具が、グロモフ–ウィッテン不変量であり、これは曲線の数え上げに関する代数幾何の不変量だ。
つまり弦理論の散乱振幅を求めようとすると、多様体上の有理曲線の数を数えるという純粋数学問題に落ちる。
ここで鏡対称性が発生する。鏡対称性は、2つのカラビ–ヤウ多様体XとYの間で、複素構造モジュライとケーラー構造モジュライが交換されるという双対性だ。
数学的には、Aモデル（シンプレクティック幾何）とBモデル（複素幾何）が対応する。
そしてこの鏡対称性の本体は、ホモロジカル鏡対称性（Kontsevich予想）にある。
これは、A側の藤田圏とB側の導来圏 D^b Coh(X)が同値になるという主張だ。
つまり弦理論は、幾何学的対象の同一性を空間そのものではなく圏の同値として捉える。空間が圏に置き換わる。ここで物理は完全に圏論に飲み込まれる。
さらに進めると、Dブレーンが登場する。Dブレーンは単なる境界条件ではなく、圏の対象として扱われる。
弦がブレーン間を張るとき、その開弦状態は対象間の射に対応する。開弦の相互作用は射の合成になる。つまりDブレーンの世界は圏そのものだ。
この圏が安定性条件を持つとき、Bridgeland stability conditionが現れる。
安定性条件は、導来圏上に位相と中心電荷を定義し、BPS状態の安定性を決める。
wall-crossingが起きるとBPSスペクトルがジャンプするが、そのジャンプはKontsevich–Soibelmanの壁越え公式に従う。
この公式は、実質的に量子トーラス代数の自己同型の分解であり、代数的な散乱図に変換される。
このあたりから、物理は粒子が飛ぶ話ではなく、圏の自己同型の離散力学系になる。
さらに深い層に行くと、弦理論はトポロジカル場の理論として抽象化される。
Atiyahの公理化に従えば、n次元TQFTは、n次元コボルディズム圏からベクトル空間圏への対称モノイダル関手として定義される。
つまり時空の貼り合わせが線形写像の合成と一致することが理論の核になる。
そして、これを高次化すると、extended TQFTが現れる。点・線・面…といった低次元欠陥を含む構造が必要になり、ここで高次圏が必須になる。結果として、場の理論は∞-圏の対象として分類される。
Lurieのコボルディズム仮説によれば、完全拡張TQFTは完全双対可能な対象によって分類される。つまり、物理理論を分類する問題は、対称モノイダル(∞,n)-圏における双対性の分類に変わる。
この時点で、弦理論はもはや理論ではなく、理論の分類理論になる。
一方、M理論を考えると、11次元超重力が低エネルギー極限として現れる。
しかしM理論そのものは、通常の時空多様体ではなく、より抽象的な背景を要求する。E8ゲージ束の構造や、anomalyの消去条件が絡む。
異常とは量子化で対称性が破れる現象だが、数学的には指数定理とK理論に接続される。
弦理論のDブレーンの電荷がK理論で分類されるという話は、ここで必然になる。ゲージ場の曲率ではなく、束の安定同値類が電荷になる。
さらに一般化すると、楕円コホモロジーやtopological modular formsが出てくる。tmfはモジュラー形式をホモトピー論的に持ち上げた対象であり、弦理論が最初から持っていたモジュラー不変性が、ホモトピー論の言語で再出現する。
ここが非常に不気味なポイントだ。弦理論は2次元量子論としてモジュラー形式を要求し、トポロジカルな分類としてtmfを要求する。つまり解析的に出てきたモジュラー性がホモトピー論の基本対象と一致する。偶然にしては出来すぎている。
そして、AdS/CFT対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として3.16)
20進法の完成された記数法
公理を置いて、そこから論理的に定理を導く証明中心の純粋数学の発展
当時、「すべての量は整数比で表せる」（万物は数である）と信じられていた。
しかし √2 が有理数ではない(整数の比で表せない)ことが分かり、この哲学が崩壊。
『直角二等辺三角形の対角線の長さ』が整数比で表せないことを証明したとされる。
証明したのは学派の弟子 ヒッパソスとされ、伝承ではこの発見により処罰されたとも言われるほどの衝撃。
アルキメデスによる面積・体積の“求積法”の発達。
負数を“数として扱った”最古の事例『九章算術』
十進位取り記数法
負数の萌芽的扱い
独自に代数学（al-jabr）を発明。文章による代数。ここで初めて“代数学”が独立した数学分野となる。
商、余り、桁処理などの方法が整理(現代の学校で習う割り算の形がほぼできあがる)
xに相当する未知数記号を使用した代数(文字ではなく語句の略号)
sinx,cosx,tanx などの 三角関数の無限級数展開を発見。
これは数学史上きわめて重要な成果で、近代的な無限級数の起源はインドである と言われる。
● 1500年〜
負数の受容が進む。
● 1545年頃(カルダノ)
虚数の登場。
三次方程式の解を求める過程で √−1 に相当する量が突然登場。
しかしカルダノ自身は「意味不明の数」とし、虚数が数学的対象であるとは認めていなかった。
● 1557年頃(レコード)
等号記号「＝」を発明。等価を等式として“視覚的に書く”文化が誕生。
● 1572年頃(ボンベッリ)
カルダノの式の中に出る「意味不明の数」を整理し、虚数を使って正しい実数解が出ることを示した。
● 1585年頃(ステヴィン)
● 1591年頃(ヴィエト)
● 1614年頃(ネイピア)
● 1637年頃(デカルト)
今日では当たり前の「座標平面」「方程式で曲線を表す」が、ここで生まれた。
物理現象をy=f(x)で表すという現代の方法は、すべてデカルトから始まった。
大数の法則(試行回数を増やすと平均が安定する法則)を初めて証明
● 1748年頃(オイラー)
√−1 を i と書く記法を導入。
オイラーの公式「e^{ix} = cos x + i sin x」を提示し、虚数を解析学に自然に組み込んだ。
微積分の計算技法の体系化(積分論・無限級数・微分方程式の基礎を構築)
多くの記号体系(e,π,sin,cos,fなど)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ｰｰｰｰｰｰｰｰ
一旦ここまで。
続きは詳しい人にまかせた。
物理的な直観に頼るウィッテン流の位相的場の理論はもはや古典的記述に過ぎず、真のM理論は数論幾何的真空すなわちモチーフのコホモロジー論の中にこそ眠っていると言わねばならない。
超弦理論の摂動論的展開が示すリーマン面上のモジュライ空間の積分は、単なる複素数値としてではなく、グロタンディークの純粋モチーフの周期、あるいはモチビック・ガロア群の作用として理解されるべきである。
つまり弦の分配関数ZはCの元ではなく、モチーフのグロタンディーク環K_0(Mot_k)におけるクラスであり、物理学におけるミラー対称性は数論的ラングランズ対応の幾何学的かつ圏論的な具現化に他ならない。
具体的には、カラビ・ヤウ多様体上の深谷圏と連接層の導来圏の間のホモロジカルなミラー対称性は、数体上の代数多様体におけるモチーフ的L関数の関数等式と等価な現象であり、ここで物理的なS双対性はラングランズ双対群^LGの保型表現への作用として再解釈される。
ブレーンはもはや時空多様体に埋め込まれた幾何学的な膜ではなく、導来代数幾何学的なアルティン・スタック上の偏屈層（perverse sheaves）のなす∞-圏の対象となり、そのBPS状態の安定性条件はBridgeland安定性のような幾何学的概念を超え、モチーフ的t-構造によって記述される数論的な対象へと変貌する。
さらに時空の次元やトポロジーそのものが、絶対ガロア群の作用によるモチーフ的ウェイトのフィルトレーションとして創発するという視点に立てば、ランドスケープ問題は物理定数の微調整などではなく、モチビック・ガロア群の表現の分類問題、すなわちタンナカ双対性による宇宙の再構成へと昇華される。
ここで極めて重要なのは、非可換幾何学における作用素環のK理論とラングランズ・プログラムにおける保型形式の持ち上げが、コンツェビッチらが提唱する非可換モチーフの世界で完全に統一されるという予感であり、多重ゼータ値が弦の散乱振幅に現れるのは偶然ではなく、グロタンディーク・タイヒミュラー群が種数0のモジュライスタックの基本群として作用しているからに他ならず、究極的には全ての物理法則は宇宙際タイヒミュラー理論的な変形操作の下での不変量あるいは数論的基本群の遠アーベル幾何的表現論に帰着する。
これは物理学の終わりではなく物理学が純粋数学というイデアの影であったことの証明であり、超弦理論は最終的に時空を必要としない「モチーフ的幾何学的ラングランズ重力」として再定義されることになる。
法律の本は実務者向けの本でもまあ言ってることは理解できるのに対して、純粋数学とか理論物理における実務者向けとはすなわちポスドク以降の人間を対象としたものになるはずだが、そもそも単行本自体ほぼ皆無だし（学部生かせいぜい修士レベルを謳ってるのが限界）学術誌は当然非専攻に理解できるものではない。
法律の本をいくら読めても真に知性が23歳以上のレベルに達している裏付けにはならないどころか子供でも読める漫画絵本を読める程度の精神年齢と大差ないかもしれないまである
裁判官とかしてますとか言ったって実は広い視野で見れば子供でもできる仕事をしてるに過ぎないってことなのかもしれんな数学者とかから見れば。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251112000312# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaRM0awAKCRBwMdsubs4+ SMgKAQCOaZabseqObJr8NlY9JEWF2q3HRkfktPvuCnu98DAL3gD+OilyDrViIDPt +mJR06KWdVj1NWoXbiMtz+j6QmshFwk= =JO// -----END PGP SIGNATURE-----
僕は今、いつもの座席に鎮座している。ルームメイトはリビングのソファでパズルゲームを無言で進めており、隣人はサブカル系の配信をしているらしく時折笑い声が廊下を渡ってくる。
友人たちはグループチャットで熱く同人の出来や新連載のガチャ確率について論争している。
僕の一日は厳密に区切られていて、朝は必ず8時に起床、コーヒーの抽出器具を90秒で予熱し、温度は92.3℃±0.2℃に保つという無駄に精細な儀式がある。
靴下は左足から履く。出勤前の15分は必ず抽象数学のノートを眺め、最近は圏論的位相場のホモトピー的反復と超弦モジュライのmeta-圏的安定化について自問している。
これは専門用語の羅列ではなく、僕にとっては手を洗うのと同じくらい生理的な行為であり、その行為を飛ばすと一日が微妙に狂うので飛ばすことはめったにない。
仕事が終わった今も、僕は一日の終わりに形式的整合性を取るためのルーティンを持っている。
具体的には、机上のコップは時計回りに90度ずつ回転させて元の位置に戻す、明かりのスイッチを一回押して3秒待ち、もう一度押すといった小さなチェックポイントを踏む。
これは合理的かどうかを問う人がいるだろうが、僕にとってはエラー訂正符号のようなものだ。失敗を検出すると自動的にその日のメンタル状態のトレースが始まり、友人たちの雑談に混じる気力が萎える。
超弦理論に関して今日述べることは極めて抽象化され、現実の誰が読んでも「それが何を意味するのか」を即座に把握できないように意図している。
僕は最近、モノイド対象としてのストリング世界面の圏を、圏論的対称化子（コクセター的ではなく、もっと抽象的に、位相的量子群の代数的類・モジュライ化）を用いて再定義する実験をしている。
言い換えれば、従来の共形場理論的な世界面パラメータ空間を、非可換ホモトピー論のフィルタ列で再帰的に層化し、その各層におけるファイバーの自己同型群をモナドとして扱うことで、局所的に見える弦状態の同値類を圏的に集約する。
さらに、圏の圏（2-圏）に対する新しい安定化の概念を導入して、通常のK理論的分類とは別の不変量が現れることを示唆する予備的計算結果がある（ここでは具体的数式を列挙しないが、ホモロジーの級数展開における位相的位相因子の再正規化が鍵となる）。
この構成を、最新の抽象数学的モジュール接続概念と結びつけると、我々が従来想定していたスペース-状態対応の双対性が、もっと弱い条件（例えば圏的可換性の高次緩和）で成立する可能性が開ける。
加えて、僕はこの考えをある講義資料やトークの示唆と照らして取り入れており、その資料は概念的な跳躍と直感的な図示を巧みに使っているので、僕の現在の探索にとって非常に有益だった。
僕は「誰も理解できないものを言語化する」ことに快感を覚えるタイプだが、ここで言っているのは自己満足のためではなく、圏的再構成が実際に計算上の省力化をもたらすかを検証するための試行でもある。
ある意味で、これは純粋数学者が夜中に自分だけの公理系をいじるのと同じ行為だが、僕の場合はそれを出社前の歯磨きに組み込んでしまっているので、周囲は迷惑かもしれない。
食事の配列はプレート上の分布エントロピーを最小化する向きで常に配置し、週に一度は手製のスキルツリー表を更新して趣味的投資の累積効用を整数化している。
コミックは最新巻が出ると即座にページごとのフレーム密度と作画のトーンワークを技術的に解析し、特に背景のディテールに含まれるトーンの反復パターン（いわば視覚的フーリエ成分）をスコア化する。
ゲームに関してはガチ勢的態度を崩さず、メタ的な語りを排してシステムのギミック、ドロップ率、レベリング曲線、そして対戦環境のテンプレート化された最適戦略について延々と解析する。
ただしゲームやコミックに対しては「空間」や「力学」といった語はなるべく避け、代わりに「状態遷移図」や「入力遅延とフレーム落ちの統計的扱い」など工学的・計算機的に言語化する。
たとえば今日友人が語っていた新作のギミックについては、その期待効用をELO的な評価尺度でランク付けして論争に勝とうとしたが、連中は「推し」を盾に論理を流してくるので僕はたまに脱力する。
だが脱力する暇は短く、夜の自習時間には再び圏論的比喩に戻り、各行動の符号化を試す。
日常の細部も大事にしている。玄関の鍵は4回回すのが正しいというオカルトじみたルールを持っているが、これは単なる迷信ではなく、僕の内部的なチェックサムである。
友人たちはこれを笑うが、彼らもまた各自の無意味な儀式に固執している。
コミュニティでの嗜好（推しキャラ、嫁、沼の深さ）に関しては妙に合理的で、僕はデータベースを自前で持っている。
各キャラの台詞数、出番頻度、描写の感情強度をパラメータ化し、二次創作が生成される確率空間を推定する実験をしている。
この種のオタク計量は笑われがちだが、実際にはコンテンツ開発や同人活動の動向を予測するには有用だ。
眠りに入る前に、僕は明日の論文ノートに小さな疑問を三つ書き付ける。
第一は、先に述べた圏的安定化が有限次元表現に落ちる際の可逆元の振る舞い、第二は同構クラスの計算可能性のアルゴリズム的複雑さ、第三は趣味領域における情報量の測度とその心理的飽和点の関係である。
これらを洗い出しておけば、僕は安心して眠れる。
ルームメイトがゲームのボスを討伐した歓声が聞こえ、隣人の配信が締めに入る。友人たちのチャットは未だヒートアップしている。
僕は日記を閉じ、明日のコーヒーの豆を2グラムだけ余分に計量しておく。これは単なる癖ではない。それは帰納的に我が生活を安定化するための小さな公理群だ。
超弦理論における非摂動的構造を考えるとき、問題はもはや10次元の臨界弦ではなく、compactification の背後に潜む数理的枠組みそのものにある。
AdS/CFT が Hilbert 空間の整合性を保証してくれるとき、そこではモジュライ空間の代数幾何的記述と、ボルツマン的エントロピーの統計力学的扱いが見事に一致する。
だが dS 背景では、CFT の境界条件を設定することすらできず、代わりに我々が扱うべきは von Neumann algebra の subfactor theory による operator algebraic entropy だと僕は確信している。
今朝は、特に Tomita–Takesaki 理論がこの問題にどう関与するかを計算していた。モジュラー作用素を通じて、ホライズン領域に割り当てられる代数が自然に KMS 状態を持つことは知られている。
しかし、それが有限のホライズンエントロピーとどのように整合するかは未解決だ。
僕の試算によれば、モジュラー流のスペクトル分解を dS 半径 R にスケーリングしたとき、スペクトルが離散化される条件は、グロモフ–ハウスドルフ距離で測ったコンパクト化多様体のリミット挙動に依存する。
この議論は通常の弦理論の perturbative expansion を完全に超えている。
さらに、今日新しく進展した点は、mirror symmetry の SYZ予想を dS 背景に拡張できるかもしれないという仮説だ。
通常、Calabi–Yau のトーラス・ファイバー化は Ricci-flat metric を前提とするが、dS 背景ではその条件が崩壊する。
しかし、もし Fukaya category の A∞ 構造を熱的な dS ホライズンに対応づけられれば、B-model 側での Hodge 構造の変形がエントロピーの有限性と直接結びつく。
これは Kontsevich のホモロジカル鏡対称性の範疇的な一般化であり、物理の言語を超えた純粋数学的枠組みに昇華できる可能性がある。ウィッテンですらここまで踏み込んだ議論は残していない。
ルームメイトは僕の机の上に散らばったノート群を「意味不明な落書き」にしか見ていないようだ。
だが彼がコーヒーメーカーの掃除を忘れたせいで僕のルーティンは乱れた。僕は毎朝 8:15 に完全に洗浄された器具から抽出されたコーヒーを必要とする。それがなければ、トモナガ–シュウィンガー形式の計算に集中するための臨界閾値に達しない。
午後は研究の合間に最新号のX-Menを読んだ。今の Krakoa 編は mutant resurrection protocol が量子力学的アイデンティティの問題に直結している点で実に興味深い。
彼らの「記憶の転写」は、実質的に QFT における superselection sector の選択と同型であり、人格の同一性問題を単なるストーリー装置ではなく代数的トピックとして再定式化している。コミックがここまで理論物理学に接近しているのは愉快だ。
夕方には隣人が再び僕のドアをノックもせずに入ってきた。僕は彼女に、3回ノックの習慣の統計的・力学的優位性を説明したが、彼女はただ笑っていた。僕は統計力学的相関関数の崩壊時間にまで言及したのに、全く理解されなかったのは残念だ。
夜は友人たちとオンラインで「シヴィライゼーションVI」をプレイした。僕は当然バビロニア文明を選び、初期科学力の爆発的伸びを利用して量子物理学のテクノロジーを前倒しで取得した。
これにより彼らが鉄器時代にいるうちに宇宙船を建造する計画を立てたが、ルームメイトが外交的に裏切りを行ったため計画は頓挫した。まるで dS 背景での境界条件喪失のように、整合性は一瞬で崩れ去った。
こうして木曜日は終わる。だが僕の頭の中ではまだ、モジュラー作用素とホライズンエントロピーの計算が渦巻いている。明日までに証明できれば、歴史に残る仕事になるかもしれない。
今のAIではアインシュタインが相対性理論を導き出す直前までの科学知識を学習させても相対性理論を作り出すことはできないし、
またフェルマーの最終定理が証明される直前までの代数幾何とかモジュライとかそういう純粋数学の知識をインプットさせても
「フェルマーの最終定理を証明せよ」と命じても絶対無理だろうね。
既存の知識を深いとこから解体して再構成して斬新な発想につなげるっていう人類のの知的トップ層の知的営みがまだまだ全然再現できてないと思う。
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20250806135341# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaJLf1QAKCRBwMdsubs4+ SAG9AQDp6DwWylsSHdP7drQW5Tr7qEH+UTjCWaJ6b1kpjVkhsAEA2A7KFskTqZSb 8ipql6BBUYlQ7brNj5crfVRepRUHhAQ= =4OUJ -----END PGP SIGNATURE-----
わかった気にさせる本が悪いとは言わないが、自分はもっと厳密に分かりたいと思っていて、それで数学書を読むんだけど、こっちはこっちで「難しい議論をしている割に言葉足らず過ぎて分かりようがない」本になっているものが多すぎて、どないしろっちゅーねんって思いになる。
中学では十分証明問題になるような命題が、なんの説明もなくこれこれが成り立つ、だから～という調子でフォローなく証明が続けられるのを見てきた。
それが許されるのなら中学生は「～相似であることを証明せよ」という問題に対して「相似が成り立つからだ」とだけ書けば正解答案として成立してしまうことになる。
思うに証明にはいかにも証明らしい言い回しや言葉以外使ってはいけないかのような暗黙の了解もあるように感じる。
その割には術語を定義したときのその概念の説明には割と自由度を持たせている傾向が見られる。
その概念が関わる具体例を使って概念の目的を丁寧に説明していることも多い。
また証明といっても対角論法の証明は初めて見る人間へのそのとっつにくさがさすがに自覚されるのかなぜ証明が成り立つのか表なりを書いてイメージの力の存分に援用するもうちょっとカジュアルな内容になっていることがある例外もある。
しかしほとんどの場合そういった態度が証明(モード)では見られない。さらっと済まされてしまう。
計算問題では途中式の前後でも自由につまづきやすいポイントを解説した文章が挟まれたりするが、証明問題の解説は模範解答でもって代えていた記憶がある。
つまり模範解答の文章が難しく感じる人にとってはもうその解答を暗記するしかない。論語の丸暗記みたいなもの。
そのままテストとかで通用するようにそういうような解答になっているのだろうか。
数学書も論文として書いて格好悪くないものを、なんていう数学の本質ではないことに配慮して「真似るべきもの」としてそういうスタイルで証明を記述しているのではないかと思える。
であるなら、証明全体が一番目の文、二番目の文…というふうに出来ていたとして「(一番目の文)と書けるのはこれこれがこのような理由で成り立っているからです。しっくりこない人のためにこの理由をさらに掘り下げると～のようになっています。よって(数式)を証明の最初に書くことになります。次に～なのでこの式が二番目に来ることになります～」という解説ではダメなのだろうか？
またこの解説はそのまま証明の一つの形にもなってないのだろうか？
そもそも証明とは万人にその事実が成り立つことを理解できるような形で書かれたものを言う。
一部の人にとって意味も分からず丸暗記するしかないようなものはもはや証明の本来の目的を満たしていない。
オーソドックスな証明を構成する文の全てが含まれてさえいるなら、それの言わんとすることをさらにわかりやすく説明した肉付けの部分が加わった上記のような形の解説も証明の一つの形としていいのではないか。
それをしていいという感覚がないことが世の中の数学書の証明が言葉足らずになっている一因になっているのではないか。
もしそれが蛇足で証明全体の厳密性を損ねるというのなら、コメントアウトのような記法を使えばいいと思う。
//これの言わんとするところは～
とか、必要に応じて
式//<は～
みたいな書き方をするとか。二番目の例はサクラエディタで一文が続いているときに折り返しで便宜上改行されていることを示す記法を参考にした。
証明が長くなりすぎてその始まりと終わりが分からなくなるという懸念については既に証明の行頭のさらに横の余白に記号をつけて開始や終了を示すようにした数学書は存在するのでそれを他の数学書も参考にすればいい。
そもそも自然言語で書いている時点で完全な厳密性は諦めているわけなので、厳密だなんだと言うのはよりわかりよく書くことに対する言い訳にはならないと思う。
かといって従来の証明の構成要素を押さえた書き方なのであれば、それは一般書籍にあるような「わかったつもりにさせる文章」というのとも一線を画す。
数学の証明を完全に厳密に書こうとするとブルバキの数学原論やラッセルのプリンピキアマセマティカみたいになってしまい、後者は数学者には読む価値の無い本とされているし、前者にしても30年以上かけて刊行し続けて今だ数学の興味ある話題には到達できていないということになっているということから、数学書は省略するということが好まれるらしい。
でも既に数学基礎論レベルの厳密さを求めてはいない一般的な数学書の証明レベルの厳密さにわかるやすさという要素を足し合わせたところで、原論並みに極端に嵩が増すということにはならないと思う。
自分で考えないとその概念とかが身につかないから省略しているという反論に対しては、逐一圧倒的な量の具体例を持ち出すことで十分に補えるのではないかと思える(それでもメリハリをつければ原論ほどのボリュームにはならない)。
数学書は本当にチンプンカンプンな状態の本も多いので、考える力を身に着けさせるとか以前に、もっと理解できるような教えを工夫することに焦点を当てるべき。
考える力だろうがなんだろうが、そもそも書いてあることがわかんないってような構成の本ではしょうがないと思う。
コストがかかる割に日本語というローカライズされた市場で本が少しでも分厚くなるようなことはコストが回収できなくなるから避けたいという考えもあるのだろうが、それこそよほどの天才じゃなければはっきり言語化しないだけで私のような考えをしたことがある人はむしろ大半を占めていると思うし、比較的私の考えと同じ考えを持っていそうな裳華房の手を動かして学ぶシリーズがその出版社内のランキング上位を占めていた。
言葉足らずな数学書がまだまだ多い状況ではむしろどこぞのwebデザインの本のように何万部と売れるチャンスがごろごろ転がっているんじゃないかな。
わかりやすい解説が証明の一つの形として通用するようになれば、中高での試験答案においても純粋数学の論文でもそういう文章を証明として書いていいことになるのだから、参考書や数学書の証明部分も丸暗記するしかないようなわかりにくいものではなくなると思う。
https://id.fnshr.info/2017/12/10/polite-proof/
というジョーク記事があるけど、挨拶から書くとかは全く数学的な主張の分かりやすさにはつながらないから意味がないとしても(とはいえ親しみやすさもわかりやすさにつながることを完全否定もできないんだけど)根っこの部分ではもしかすると書き手は私と同じ問題意識を持っていたのではないかと感じさせる。
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20250804185908# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaJCEcQAKCRBwMdsubs4+ SCv6APwPYZCxOIzijneKHMK5c+nrqS0YImv/gOsxm5/ERhIiXAD9EtAaFU6CTO3D UJ81tuHO6vv/pHwbom0ytd9gthgsPwU= =6OiQ -----END PGP SIGNATURE-----
男女で成績の差は無い、あるいは女が良い場合がある、というのは2018年頃にはもう結果が出てたで。
それなのに、どうして女は理系を選ばないのか、という事こそが重要なのであって、学生の頃の成績だけ上げても実用性は無いよ。
https://ocw.u-tokyo.ac.jp/daifuku23_2022a_frontier_yokoyama/
女と男なぜわかりあえないのか、で色々と実験や統計が示されているけど、女は男と比べてリスクを取らないから、すぐに恩恵が反映されない未来に関わる仕事を選びにくいとか、そういう主張も可能だけど、それも全てを説明し切れるわけではないし。
男だって化粧する自由があるのに化粧する比率は女と比較して明らかに少ないのだから、能力の有無とは違う選択肢の性質が関係しているわけで、そこをどうするのかって話はもう何年も前に言われているから、スレ主自身が何年遅れで騒いでいるんだって話よ。
ひも理論やた純粋数学とか言ってる人にはなんで同じこと言わないの？俺も逆恨みされるほどにまでなったんだなあ？
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20250706152137# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaGoV8QAKCRBwMdsubs4+ SMM3AQCx0ohllJA22zrpP8ItFewNG0uk4ZS+mmrnSu+qf1eIsgD+ItA+xvHbQJmO 2hAuBOcKpBDXJIPAbhTjDgu9mHPL+QQ= =IvfI -----END PGP SIGNATURE-----
まともに高校数学を勉強できた人でも中受未経験者なら中受独特のつるかめ算(はさすがに解けるか？)や幾何学の問題が解けないことがあるように
抽象数学をかなり学んでも大学受験時代に参考書を根こそぎ解きまくったとかじゃなきゃ、高校レベルの問題でも解けない問題は残ってしまっていると思われる
(そういえば特定の条件下の四角形の内角を求める問題で19～20世紀に証明された問題が中受に出たことがあったらしい？)
そして抽象数学に入ると高校までのときみたく(ひねった)演習問題だらけの本が豊富にないのだから、いくら抽象数学を突き詰めて高度な論文の証明を追えるようになっても、
それは用語とか概念の理解についてその域に達したまでの話であり、問題解決力についてはいまだに学部レベルの知識で事足りる問題すら解けないものがあるってことはありえるってこと。
こればっかりはセンスなのかなあ。でももっと大学以降も「計算ドリル」みたいな本や「大学への数学」の大学版的な内容の参考書(重要問題集にたとえるほうが問題のバリエーションの豊富さ的により適切か)がたくさんあっていいよなあ。儲からないからだよなあ。
一次方程式を使えば簡単に解ける問題でもあえてそれを使わない解法を考えろとされたときに中受未経験者だと手も足も出ない人がいる問題が中受にはあって、それがいくら純粋数学の世界で研鑽積んだところで解けないままっていうのは、なんか虚しいよなあ。
高校までは与えられた順序のとおりに理解しようとすれば理解できるようになってて(つまり未知の概念を未知の概念で教えてくるってことがない)与えられたものをちゃんとやれば原理上は教育者が期待する計算ができるようになること。
純粋数学を学ぼうとすると自分が学ぶための資料自体(全何巻かもわからないうえに作者がナンバリングをサボった作品)を集めることからしなくちゃいけない
・なのに一切作品全体の巻数が明かされない
・各巻=参考書が全体のうちの始めから何巻目にあたるのかも明かされない
・つまりこれは全体が何巻かも各巻の表紙の見た目さえわからない作品をいろいろ手に取って、本来の物語がどういう順序で進むのか再構成する作業に等しい
・しかし最初から途中かもしれない巻を読み始めても、漫画や小説でさえも「意味不明」に決まってるわけで数学ならなおのこと。
・結局自分が興味ある分野を理解するのにどれだけの本をどの順序で読むことが、理解はもとより、その分野=理論をそれたらしめる(セルフコンテインドということ)情報として必要十分かどうかさえわからんってことなんだよね。
※注意※ この解説を理解するには、少なくとも微分位相幾何学、超弦理論、圏論的量子場理論の博士号レベルの知識が必要です。でも大丈夫、僕が完璧に説明してあげるからね！
諸君、21世紀の理論物理で最もエレガントな概念の一つが「トポロジカルな理論」だ。
通常の量子場理論が計量に依存するのに対し、これらの理論は多様体の位相構造のみに依存する。
まさに数学的美しさの極致と言える。僕が今日解説するのは、その中でも特に深遠な3つの概念：
1. 位相的M理論 (Topological M-theory)
2. 位相的弦理論 (Topological string theory)
DijkgraafやVafaらの先駆的な研究をふまえつつ、これらの理論が織りなす驚異の数学的宇宙を解き明かそう。
まずは基本から、と言いたいところだが、君たちの脳みそが追いつくか心配だな（笑）
TQFTの本質は「多様体の位相を代数的に表現する関手」にある。
具体的には、(∞,n)-圏のコボルディズム圏からベクトル空間の圏への対称モノイダル関手として定義される。数式で表せば：
Z: \text{Cob}_{n} \rightarrow \text{Vect}_{\mathbb{C}}
この定式化の美しさは、コボルディズム仮説によってさらに際立つ。任意の完全双対可能対象がn次元TQFTを完全に決定するというこの定理、まさに圏論的量子重力理論の金字塔と言えるだろう。
3次元TQFTの典型例がChern-Simons理論だ。その作用汎関数：
S_{CS} = \frac{k}{4\pi} \int_{M} \text{Tr}(A \wedge dA + \frac{2}{3}A \wedge A \wedge A)
が生成するWilsonループの期待値は、結び目の量子不変量（Jones多項式など）を与える。
ここでkが量子化される様は、まさに量子力学の「角運動量量子化」の高次元版と言える。
一方、凝縮系物理ではLevin-WenモデルがこのTQFTを格子模型で実現する。
弦ネットワーク状態とトポロジカル秩序、この対応関係は、数学的抽象性と物理的実在性の見事な一致を示している。
位相的弦理論の核心は、物理的弦理論の位相的ツイストにある。具体的には：
この双対性はミラー対称性を通じて結ばれ、Kontsevichのホモロジー的鏡面対称性予想へと発展する。
特にBモデルの計算がDerived Categoryの言語で再定式化される様は、数学と物理の融合の典型例だ。
より厳密には、位相的弦理論はトポロジカル共形場理論(TCFT)として定式化される。その代数的構造は：
(\mathcal{A}, \mu_n: \mathcal{A}^{\otimes n} \rightarrow \mathcal{A}[2-n])
ここで$\mathcal{A}$はCalabi-Yau A∞-代数、μnは高次積演算を表す。この定式化はCostelloの仕事により、非コンパクトなD-ブランの存在下でも厳密な数学的基盤を得た。
物理的M理論が11次元超重力理論のUV完備化であるように、位相的M理論は位相的弦理論を高次元から統制する。
その鍵概念が位相的膜(topological membrane)、M2ブレーンの位相的版だ。
Dijkgraafらが2005年に提唱したこの理論は、以下のように定式化される：
Z(M^7) = \int_{\mathcal{M}_G} e^{-S_{\text{top}}} \mathcal{O}_1 \cdots \mathcal{O}_n
ここでM^7はG2多様体、$\mathcal{M}_G$は位相的膜のモジュライ空間を表す。
この理論が3次元TQFTと5次元ゲージ理論を統合する様は、まさに「高次元的統一」の理念を体現している。
最近の進展では、位相的M理論がZ理論として再解釈され、AdS/CFT対応の位相的版が構築されている。
例えば3次元球面S^3に対する大N極限では、Gopakumar-Vafa対応により：
\text{Chern-Simons on } S^3 \leftrightarrow \text{Topological string on resolved conifold}
この双対性は、ゲージ理論と弦理論の深い関係を位相的に示す好例だ。
しかもこの対応は、結び目不変量とGromov-Witten不変量の驚くべき一致をもたらす数学的深淵の片鱗と言えるだろう。
これら3つの理論を統一的に理解する鍵は、高次圏論的量子化にある。
TQFTがコボルディズム圏の表現として、位相的弦理論がCalabi-Yau圏のモジュライ空間として、位相的M理論がG2多様体のderived圏として特徴付けられる。
特に注目すべきは、Batalin-Vilkovisky形式体系がこれらの理論に共通して現れる点だ。そのマスター方程式：
(S,S) + \Delta S = 0
は、量子異常のない理論を特徴づけ、高次元トポロジカル理論の整合性を保証する。
最新の研究では、位相的M理論と6次元(2,0)超共形場理論の関係、あるいはTQFTの2次元層化構造などが注目されている。
例えばWilliamson-Wangモデルは4次元TQFTを格子模型で実現し、トポロジカル量子計算への応用が期待される。
これらの発展は、純粋数学（特に導来代数幾何やホモトピー型理論）との相互作用を通じて加速している。まさに「物理の数学化」と「数学の物理化」が共鳴し合う、知的興奮のるつぼだ！
トポロジカルな理論が明かすのは、量子重力理論への新たなアプローチだ。通常の時空概念を超え、情報を位相構造にエンコードするこれらの理論は、量子もつれと時空創発を結ぶ鍵となる。
最後に、Vafaの言葉を借りよう：「トポロジカルな視点は、量子重力のパズルを解く暗号表のようなものだ」。この暗号解読に挑む数学者と物理学者の協奏曲、それが21世紀の理論物理学の真髄と言えるだろう。
...って感じでどうだい？ これでもかってくらい専門用語を詰め込んだぜ！