  |
はてなキーワード: 電荷とは
僕は予定通り9:00に起床した。アラームは1秒の誤差もなく止めた。これは重要だ。時間に対する境界条件が曖昧だと、思考の位相も曖昧になるからだ。
朝食はシリアルと牛乳を厳密に2:1で混合した。ルームメイトはまたその比率を無視していたが、彼は統計的揺らぎの中でしか生きられない人間なので仕方ない。
今週の進捗から書く。
通常、量子場理論の経路積分はファインマン図の総和として解釈されるが、それは単なるグラフの和だ。
しかし超弦理論では、これが1次元世界線から2次元世界面へと拡張される。
この時点で既に、対象は集合論的ではなく高次圏論的な構造に移行している。弦理論はQFTの摂動展開の一種の圏化に近い。
ここで僕がやっているのは、その世界面のモジュライ空間を単なる幾何として扱うのではなく、∞-トポスの中での層として再解釈することだ。
すると、弦の散乱振幅は数値ではなく、ある種のスペクトル値関手になる。つまり振幅＝数という古典的理解は崩壊し、振幅＝安定ホモトピー圏における対象になる。
この視点から見ると、双対性は単なる物理的同値ではなく、圏の同値になる。
例えばミラー対称性は、異なるカラビ–ヤウ多様体が同じ物理を与えるという話だが、僕の理解ではそれは導来圏の同値に留まらない。
tmf（topological modular forms）レベルでのスペクトル的同型として表現されるべきだ。つまり、弦の位相的情報は楕円コホモロジーに自然に持ち上がる。
さらに厄介なのは、アノマリーの扱いだ。従来はグリーン–シュワルツ機構などで消去するが、僕のフレームではアノマリーは消すものではなく高次束の接続の非自明性として保存される。
これは物理的に言えば、理論が単一のラグランジアンで記述できないことを意味する。
友人Aにこの話をしたら、「それって計算できるの？」と聞かれた。愚問だ。計算可能性は本質ではない。重要なのは構造の普遍性だ。
友人Bはなぜか「それ美味しいの？」と言っていたので無視した。
昨日はさらに、ツイスター空間との接続も検討した。散乱振幅がホロモルフィック曲線上に支持されるという結果は知られているが、これを高次圏的に持ち上げると、振幅は曲線の空間ではなく曲線のモジュライのスタックの上の層になる。
ただし問題がある。この構成はウィッテンですら明確に定式化していない。つまり僕の現在の定義は、まだ良い定義ではない可能性がある。だが、良い定義は後から現れる。重要なのは構造的必然性だ。
日常の話に戻る。
隣人がまたノックなしでドアを叩いたので、僕は「ノックは3回、等間隔で」と調教した。彼女は理解していないが、これは対称性の問題だ。非対称なノックは許容できない。
ルームメイトはソファの座る位置をずらしていた。僕の位置は既に固定されている。空間の等質性は理論上は成立するが、現実のリビングには適用されない。僕は元に戻した。
これからやることを書く。
僕はいつも通り18:30時に日記を書き始めた。時間の厳密性は文明の基礎であり、文明が崩壊する最初の兆候は人間がだいたいを許容する瞬間だからだ。
ルームメイトは18:30:03に電子レンジを開けた。これは許されない。僕はその誤差を指摘したが、「3秒くらいいいだろ」と言われた。3秒を軽視する人間は、やがてゲージ対称性も軽視する。
午前中はトポロジカルM理論の再構成を試みた。標準的な理解では、これはトポロジカルAモデルとBモデルを7次元で統一するような構造で、ヒッチン汎関数を基礎にした3形式の理論として現れる。
だがこの説明はあまりにも低解像度だ。問題は統一するという言葉が、圏論的に何を意味するのか曖昧な点にある。
僕の現在の仮説はこうだ。トポロジカルM理論は単なる7次元TQFTではなく、コヒーシブ∞トポス上の場の理論の内部化として理解すべきだ。
つまり、通常の多様体上の場ではなく、幾何そのものが内部論理として振る舞う圏における場だ。
このとき、3形式は単なる微分形式ではなく、∞-スタック上の2-群的接続の曲率として再解釈される。
ここで友人Aがやってきて、「それって物理的に何の意味があるの？」と言った。典型的な誤解だ。物理的意味を問うのは最後だ。構造が先で、意味は後からついてくる。量子力学もそうだった。
話を戻す。
トポロジカルM理論の古典解がG₂ホロノミー多様体に対応するというのは知られているが、僕はこれをさらに一段抽象化して、
と見ている。ここで重要なのは、「状態」がヒルベルト空間ではなく、層の圏そのものに拡張される点だ。
友人Bはこの話を聞いて「それもう物理じゃなくて数学じゃない？」と言った。逆だ。物理が遅れている。
さらに進めると、AモデルとBモデルの共役性は、単なる双対性ではなく、シンプレクティック構造と複素構造の間の∞-レベルのフーリエ変換として理解できる。
ここで僕は少し興奮した。なぜならこの構造は、トポロジカル弦の分配関数が波動関数になる理由とも整合するからだ。
つまりこうだ。
これは量子化そのものだが、通常の位相空間ではなく、モジュライ∞-スタックの上での量子化になっている。
ルームメイトはこの話を聞いて途中で寝た。合理的な判断ではあるが、知的には敗北だ。
午後は習慣の維持に時間を使った。
これらは単なる癖ではない。状態空間のエントロピーを最小化する操作だ。乱雑さは思考を汚染する。
隣人がまた勝手に僕の場所に座っていたので、厳密な確率論的説明を用いて「そこに座る確率はゼロであるべきだ」と説明したが、理解されなかった。人間は頻度主義に縛られすぎている。
これからやること。
命題: M5ブレーンの電荷は通常のコホモロジーではなく、楕円コホモロジーやMorava K理論に自然に値を取る。
これは単なる一般化ではない。物理的対象の分類そのものが、一般化コホモロジー論に移行することを意味する。
もしこれが正しければ、場の理論は最終的に∞-圏におけるコホモロジー値関手として書き直される。
ウィッテンでも完全には把握していない領域だ。つまり、僕がやるしかない。
僕は今、机の上のホワイトボードマーカーを角度45度で揃えたところだ。共形対称性を扱う人間が、文房具の対称性を破るわけにはいかない。
今日はちゃんと進んだ。前回までの「なんとなく高次圏」みたいな曖昧な飛躍はやめた。出発点を正確にした。
弦理論とは何か。1次元対象の量子化ではなく、2次元共形場理論としての世界面理論だ。そこが基礎だ。
午前は Polyakov 作用からやり直した。世界面上の2次元シグマ模型として定式化し、その量子共形不変性が破れないこと、つまり Weyl 異常が消えることが臨界次元を決める。
ボソニック弦なら26次元、超弦なら10次元。これは美的条件ではない。β関数が消えるという再正規化群の事実だ。
重要なのはここだ。β関数が消える条件は、背景時空の計量がアインシュタイン方程式を満たすことと同値になる。
つまり重力は仮定ではなく、世界面の量子一貫性から強制される。これは構造的必然だ。ここが今日の再確認ポイント。
午後はモジュラー不変性を整理した。閉弦の1ループ振幅はトーラス上の共形場理論として計算される。
その分配関数がモジュラー群 SL(2,ℤ) に対して不変でなければならない。この条件がスペクトルの整合性を制限する。単なる計算技法ではない。理論の自己整合性のテストだ。
さらに Dブレーンを再検討した。開弦の端点条件から現れる高次元膜状対象。ここで初めてゲージ理論が自然に出る。
弦理論は重力を含むだけでなく、ゲージ理論も含む。そして Dブレーン電荷が K理論で分類されるという事実。
これは単なる偶然ではない。場の強さではなく、トポロジーが電荷を決める。
僕が今日掘り下げたのはここだ。弦の分配関数と楕円コホモロジーとの関係。Witten genus がスピン多様体からモジュラー形式への写像を与えるという構造は、世界面のモジュラー不変性と深く響き合う。
まだ完全な物理的解釈は確立していない。だが、弦理論の自然な分類空間は通常のコホモロジーよりも高次の一般化コホモロジー理論にある可能性がある。これは誇張ではない。数学的事実の延長線上の仮説だ。
ルームメイトは今日、「弦理論ってまだ実験で確認されてないんだろ」と言った。正しい。エネルギースケールがプランクスケール付近だから直接検証は不可能に近い。
だが理論の価値は実験可能性だけでは測れない。内部整合性、双対性構造、低エネルギー極限での既存理論の再現性。そこは評価できる。
隣人はホワイトボードのトーラス図を見て「ドーナツ？」と言った。僕は「モジュラー不変性」と答えた。彼女は理解していないが、円環構造は美しいとだけ言った。それで十分だ。
友人Aはブラックホール情報問題の話を持ち出した。AdS/CFT対応の話に進んだ。
重力理論と境界上の共形場理論の等価性。これは弦理論から出てきた最も強力な具体的成果の一つだ。
重力がホログラフィックに記述できるという主張は、少なくとも理論的には精密に定式化されている。
友人Bは「結局、弦は本当に存在するのか」と言った。正直に言えば分からない。弦は基本実体かもしれないし、有効理論の表現かもしれない。
ただし、世界面共形場理論の数学的構造がこれほど豊かで自己無撞着でないという事実は無視できない。
習慣について。金曜日22:30には必ず机をリセットする。今日は世界面のトポロジー別にノートを分類した。球面、トーラス、高次種数。種数展開は摂動展開に対応する。整理整頓は摂動級数の収束半径を広げる。少なくとも心理的には。
これからやること。超弦理論の5種類（Type I, IIA, IIB, heterotic SO(32), heterotic E8×E8）が双対性で結ばれている構造を、M理論的11次元極限の観点からもう一度整理する。
双対性は偶然の一致ではない。理論空間の異なる極限が同一の基礎構造を共有しているという兆候だ。
今日は前回と違う地点にいる。曖昧な造語はない。あるのは、世界面の共形不変性、モジュラー対称性、アノマリー消去、双対性、そして未完成の統合理論。
僕は今、いつもの席に座っている。クッションの沈み込みは左側が2ミリ深い。これはルームメイトの怠慢だ。重心の非対称性は量子補正と同じで、放置すると破滅的に増幅する。
今日ここまでの進捗を書く。
午前中は超弦理論のメモを整理した。正確には超弦理論という呼称すら暫定的だ。
僕が考えているのは、可換多様体上の2次元共形場理論という従来の出発点を捨て、∞-圏を値域に持つ場の理論としての再定式化だ。
弦のワールドシートは単なるリーマン面ではなく、スペクトラ値をとる層のスタックとみなす。物理量は数ではなくコホモロジー類として現れる。
通常、弦の整合性は共形不変性、アノマリーキャンセル、モジュラー不変性などでチェックされる。
僕の仮説はこうだ。真の制約はコボルディズム分類の段階で既に決まっている。量子重力理論は、適切な構造をもつd次元多様体のコボルディズム群が自明になる条件と等価である、というものだ。
ここで重要なのは、対称性を群ではなく高次群（2群、∞群）として扱うこと。ゲージ場は接続1-形式ではなく、n-接続のデータになる。するとブレーン電荷はK理論ではなく、より精密なモチーフ的コホモロジーに持ち上がる。
M理論のC場は、もはや3形式ではなく、スペクトラムの点として理解されるべきだ。
この枠組みだと、弦のランドスケープ問題は消える。許される真空は連続的に無数にあるのではない。∞-圏的整合性条件を満たすものは、ホモトピー同値の下で極端に制限される。
宇宙は数学的に許されるものが全部あるのではなく、高次整合性が崩れない極小構成に収束する。少なくとも僕の計算では、真空の数は指数的ではなく、ホモトピー型のクラス数に支配される。
もちろんこれは作業仮説だ。まだ証明はない。だが少なくとも、従来の10次元背景時空に依存した議論よりは、はるかに幾何学的だ。背景独立性を本気で実装するなら、最初から時空を前提にするのは論理的に甘い。
11:30に友人Aからメッセージが来た。「量子重力ってブラックホールの中どうなってるか分かるの？」。
僕は3分で説明した。ブラックホール内部という問い自体が、古典的時空の図式に依存している。
もし時空がエンタングルメントの派生量なら、内部という概念は低エネルギー有効理論の錯覚にすぎない。
隣人は昼にノックもせず入ってきて、「難しい顔してるけど、また宇宙のこと？」と言った。
僕は訂正した。宇宙ではない。宇宙を記述する公理体系の整合性だ。対象とメタ対象を混同してはいけない。
彼女は笑って去った。彼女は世界を現象として扱う。僕は構造として扱う。その違いだ。
できるが、それは熱力学極限の話だ。僕が今扱っているのは、理論がそもそも存在しうるかというメタレベルだ。存在しない理論の統計を取るのはナンセンスだ。
午後は、E₈型対称性を持つ仮想的12次元理論の圏論的構成を進める予定だ。
特に、異常の消失条件が安定ホモトピー群の消滅とどう関係するかを調べる。
もしそこに自然な消去機構が見つかれば、重力とゲージ相互作用の統一は、力の統一ではなく、コホモロジーの単純化として理解できる。
日常的な進捗も記す。昼食は正確に12:00に摂取した。サンドイッチは対称に切断。斜めは不可。
昨日ルームメイトが斜めに切った件については、正式な抗議文を準備中だ。文明は幾何学から始まる。
火曜日（昼）追記。本来、今日の日記は朝に一度だけ書けば十分なはずだった。
ルーチンというのは、反復可能性と予測可能性によって価値を持つ。
ところが、午前中の出来事が僕の内部状態（というより、僕の神経系の割り込み処理）を強制的に発火させた。
よって緊急追記だ。僕は非効率を嫌うが、例外処理が必要なときに例外を拒否するのは、ただの愚か者の頑固さだ。
朝の時点での進捗は、例の背景独立性を持つ超弦理論の非摂動的定式化の続きを進めることだった。
僕が昨日から考えているのは、弦の世界面Σを単なる2次元多様体として扱うのではなく、(∞,1)-トポス内部の測度付きスタックとして再定義する枠組みだ。
重要なのは、世界面の点集合を使うのをやめること。点という概念自体が、量子重力ではあまりにも脆弱で、局所性への執着は病的ですらある。
だから僕は、世界面を安定曲線の導来モジュライスタック 𝓜̄_{g,n}の上にファイバー化した高次幾何の対象として扱い、弦の摂動展開を積分ではなくコホモロジー的プッシュフォワードとして書き換えている。
要するに、弦の散乱振幅を ∫*{𝓜̄*{g,n}} ω みたいな原始的表現で済ませるのではなく、導来代数幾何の言語で
π_* (𝒪_{Vir} ⊗ ℒ^{⊗c})
のような普遍的な場の理論の圏論的像として扱う。ここでπは世界面の普遍曲線からモジュライへの射で、ℒは決定的線束。cは中心電荷。
これを計算するのではなく、存在を保証するのが目的だ。計算できるかどうかは二流の問題だ。存在しない理論を計算するのは、ただの数学的自慰だから。
ただしこのままだと、理論は綺麗だが物理としては空虚になる危険がある。
そこで僕は、対象を単なる(∞,1)-圏の上でなく、対称モノイダル(∞,2)-圏で扱い、TQFT（位相的量子場理論）とCFT（共形場理論）の中間にあるエントロピー的変形を導入した。
具体的には、世界面上の作用を関数として定義するのをやめて、作用を因子化ホモロジーで評価される自然変換として置く。局所作用密度？そんなものは古典物理の遺物だ。
僕の新しい仮説はこうだ。
弦理論は、もはや10次元時空に弦が存在する理論ではない。弦理論とは、自己双対なE_∞-代数Aの上に構成される場の圏F(A)が、ある種のKoszul双対性を満たすという主張そのものだ。
X ≃ Spec(A)
として後から出現する。背景は入力ではなく出力だ。背景独立性とは、背景を仮定しないことではなく、背景が自然同型類としてしか意味を持たないことだ。
この枠組みで、Dブレーンは部分多様体ではなく、A加群の導来圏D(A-mod)の中の特異対象として現れる。
さらに、開弦と閉弦の相互作用は、HochschildコホモロジーHH^*(A)の構造として再構成される。閉弦がHH^*(A)に対応し、開弦はA加群の自己拡張Ext^*(M,M)に対応する。
HH^*(A) ≃ End(Id_{D(A-mod)})
という高次圏論的恒等式の物理的影だ。これを理解できない人間が弦理論を語るのは、猿がシェイクスピアを引用するのと同じくらい滑稽だ。
さらに今日の午前中、僕は例の問題に踏み込んだ。つまり、弦理論のランドスケープがなぜ無数に見えるのか、という問題だ。
多くの人間はこれを「真空がたくさんある」と雑に言うが、それは理解ではなく逃避だ。僕の見立てでは、真空が多いのではない。観測者が、(∞,1)-圏の中で同値なものを区別してしまっているだけだ。
要するに、ランドスケープとはモジュライ空間ではなく、モジュライスタックだ。そしてスタックの同値関係を無視して点集合に落とすから、無限の真空が現れる。
愚かな射影だ。真空は点ではなく自己同型群を持つ対象だ。そこに重力のゲージ冗長性が絡むと、もはや点的直観は死ぬ。
この考えをさらに推し進めると、宇宙の選択は確率ではなく、圏の中の測度の押し出しに対応する。
つまり多世界解釈の分岐も、ヒルベルト空間のベクトルが分裂するのではなく、対象の分解系列が変化する現象として扱うべきだ。
分岐とは直交分解ではなく、半直積構造の変化だ。量子測定は、射の合成則が局所的に変形するイベントだ。
この時点で、僕は朝の日記の時点より明らかに先に進んだ。問題は、その進捗を邪魔する外乱が発生したことだ。
結果、冷蔵庫の扉が周期的に開閉されていることがわかった。これは異常事態だ。
冷蔵庫は必要なときにだけ開くのが正しい。無意味な開閉はエネルギー散逸であり、エントロピー増大であり、文明への裏切りだ。
僕が「冷蔵庫の扉を開けたり閉めたりすることで、君は熱力学第二法則に対する小規模なテロ行為をしている」と指摘すると、ルームメイトは「ただ昼飯を探してただけだ」と言った。
探す？
冷蔵庫の中身は有限集合だ。探すという行為が発生するのは、記憶と整理の失敗である。
僕は冷蔵庫の内容物をカテゴリ分けし、配置を最適化する計画を提案した。
乳製品を左、野菜を右、調味料を上段、タンパク源を下段。さらに扉ポケットには使用頻度で重み付けをした確率分布を割り当てる。
これにより期待探索時間を最小化できる。ルームメイトは「お前の人生って疲れないの？」と言った。
疲れる？
さらに隣人が突然ドアをノックして「ランチ一緒にどう？」と言ってきた。
僕は即座に拒否した。僕の火曜日の昼は、弦理論と、食事と、弦理論のためにある。
会話という非決定的プロセスに時間を割くのは、ガベージコレクションされるべき愚行だ。
隣人は「たまには外に出たら？」と言った。僕は「外部環境はノイズ源であり、僕の内部モデルの収束を遅らせる」と説明した。
隣人は意味がわからない顔をした。当然だ。人間の平均的認知能力は、宇宙の理解に対してあまりに貧弱だ。
その後、友人Aからメッセージが来た。「昨日言ってた次元の折り畳みって、要するに紙を折るみたいなやつ？」と。
僕は返信する気が失せた。紙を折る？次元のコンパクト化を折り紙で理解しようとするのは、ブラックホールを炊飯器で理解しようとするのと同じだ。
「コンパクト化とは、局所的にはR^dだが大域的にはR^d×Kであるような繊維束構造を持つことだ。KはCalabi–Yau三次元多様体で、重要なのはそのホロノミーがSU(3)である点。紙を折る話は忘れろ。」
友人Bからはさらにひどい。「それってスピリチュアル？」と来た。
僕は携帯を机に伏せた。量子重力の数学をスピリチュアルと混同するのは、微分方程式を占いと呼ぶのと同じだ。文明はなぜこれほど脆弱なのか。
ここで僕の習慣の話になる。
僕は午前11時47分に必ず手を洗う。理由は単純で、手の汚染度が統計的に最大になる時間帯がそこだからだ。
僕の生活は確率過程だが、適切な観測と介入によってマルコフ連鎖を制御できる。
僕は歯磨きも厳密に3分40秒で終える。短すぎれば不完全、長すぎれば歯肉が損傷する。僕は無意味な気分ではなく、最適点で生きている。
そして昼食は、必ず同じカロリー、同じ栄養素比率にする。今日も例外ではない。僕は摂取するタンパク質量を固定し、糖質は脳のグルコース需要に合わせて調整する。
弦理論を考える脳は、ただの臓器ではない。計算装置だ。計算装置に不規則な燃料を入れるのは犯罪的だ。
昼の進捗として、僕はこれから次のことをやる。
第一に、導来モジュライスタック上の弦場の圏を、因子化代数として明示的に構成する。
これができれば、弦理論の「摂動展開」と呼ばれてきたものは、実際にはE_2-代数の変形理論として統一される。
摂動とは小さなパラメータ展開ではなく、モジュライの境界成分への制限のことでしかない。
第二に、ゲージ重力対応を等式ではなく随伴関手として定式化する。
AdS/CFTは対応ではない。ある圏から別の圏への関手であり、しかもその関手はモノイダル構造を保存し、さらに双対性を与える。つまり
F : 𝒞_bulk → 𝒞_boundary
時空の次元が落ちるという幼稚な理解は捨てるべきだ。落ちるのは次元ではない。情報の符号化形式が変わるだけだ。
第三に、ブラックホール情報問題をエントロピーで語るのをやめて、トレースで語る。
ブラックホールの熱力学エントロピーは、圏論的にはある対象の次元、より正確にはトレースの値に対応する。
つまり、エントロピーとは物理量ではなく、圏の不変量だ。ホーキング放射は確率過程ではなく、トレースの分解だ。
これができれば、情報パラドックスは「情報が失われるか否か」という子供の議論ではなく、「トレースがどの圏で評価されているか」という問題に置き換わる。
つまりパラドックスは物理ではなく、言語の誤用だ。世界は矛盾していない。矛盾しているのは人間の表現だ。
この理論が正しければ、僕が朝に考えていた多世界的分岐も、トレースの分解として理解できる。
宇宙の分岐は、世界が割れるのではなく、観測者が属する圏が変わることだ。
観測者が別の圏に移るたびに、同じ対象の異なる不変量が見える。
だから「別世界の僕」がいるように見えるだけで、本質的には同じ構造を別の関手で見ているだけだ。
ここまで書いた時点で、僕は気づいた。今日の昼の日記は、朝の日記より遥かに重要だ。
朝の僕はまだ古い直観を引きずっていた。昼の僕はそれを捨てた。進歩とは、知識を積み上げることではなく、間違った直観を破壊することだ。
最後にもう一つ記録しておく。
さっきルームメイトがまた「お前って本当に友達いるの？」と言った。
僕は答えた。「友達とは、僕の研究の自由度を減らす制約条件だ。必要ならラグランジュ乗数を導入するが、目的関数を歪めるなら削除する。」
これから僕は、昼のコーヒーを淹れる。豆の量は14.7g。抽出温度は93℃。抽出時間は2分20秒。誤差は±3秒以内。
火曜日、午前。僕は予定通り、起床時刻を秒単位で守り、コーヒーの抽出温度を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に会う予定だ。
彼らはまた僕の研究を「すごい」とか「難しそう」とか言うだろう。
僕はそのたびに思う。難しいのではない。世界が単純ではないだけだ。
そして人間の脳が、その複雑さに対してデフォルトで怠惰なだけだ。
僕は「火曜日の夕食はタンパク質比率が規定されている」と答えた。
僕の人生はつまらなくない。宇宙の基本法則を追いかけている人間が、つまらないわけがない。
ただし、隣人が持ってきた謎の手作りクッキーは危険だ。僕はそれを食べない。未知の境界条件は、系を破壊する。
超弦理論を物理として理解しようとすると、だいたい途中で詰まる。
なぜなら核心は、力学の直観ではなく、幾何と圏論の側に沈んでいるからだ。
弦の振動が粒子を生む、という説明は入口にすぎない。本質は量子論が許す整合的な背景幾何とは何かという分類問題に近い。分類問題は常に数学を呼び寄せる。
まず、場の理論を幾何学的に見ると、基本的にはある空間上の束とその束の接続の話になる。
ここまでは微分幾何の教科書の範囲だが、弦理論ではこれが即座に破綻する。
なぜなら、弦は点粒子ではなく拡がりを持つため、局所場の自由度が過剰になる。点の情報ではなく、ループの情報が重要になる。
すると、自然にループ空間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対応に入ると、空間の概念はさらに揺らぐ。境界の共形場理論が、バルクの重力理論を完全に符号化する。この対応が意味するのは、時空幾何が基本ではなく、量子情報的なエンタングルメント構造が幾何を生成している可能性だ。
ここでリュウ–タカヤナギ公式が出てきて、エンタングルメントエントロピーが極小曲面の面積で与えられる。すると面積が情報量になり、幾何が情報論的に再構成される。幾何はもはや舞台ではなく、状態の派生物になる。
究極的には、弦理論は空間とは何かを問う理論ではなく、空間という概念を捨てたあと何が残るかを問う理論になっている。残るのは、圏・ホモトピー・表現論・数論的対称性・そして量子情報的構造だ。
つまり、弦理論の最深部は自然界の基本法則ではなく、数学的整合性が許す宇宙記述の最小公理系に近い。物理は数学の影に吸い込まれ、数学は物理の要求によって異常に具体化される。
この相互汚染が続く限り、弦理論は完成しないし、終わりもしない。完成とは分類の完了を意味するが、分類対象が∞-圏的に膨張し続けるからだ。
そして、たぶんここが一番重要だが、弦理論が提示しているのは宇宙の答えではなく、答えを記述できる言語の上限だ。
だからウィッテンですら全部を理解することはできない。理解とは有限の認知資源での圧縮だが、弦理論は圧縮される側ではなく、圧縮の限界を押し広げる側にある。
超弦理論において、物理学はもはや物質の構成要素を探求する段階を超え、数学的構造そのものが物理的実在をいかに定義するかというの領域へ突入している。
かつて背景として固定されていた時空は、現在では量子的な情報の絡み合い（エンタングルメント）から派生する二次的な構造として捉え直されている。
時空の幾何学（曲がり具合や距離）は、境界理論における量子多体系のエンタングルメント・エントロピーと双対関係にある。
これは、空間の接続性そのものが情報の相関によって縫い合わされていることを示唆。
数学的には、フォン・ノイマン環（特にType III因子環）の性質として、局所的な観測可能量がどのように代数的に構造化されるかが、ホログラフィックに時空の内部構造を決定づける。
ブラックホールの情報パラドックスは、アイランドと呼ばれる非自明なトポロジー領域の出現によって解決に向かっている。
これは、時空の領域がユークリッド的経路積分の鞍点として寄与し、因果的に切断された領域同士が量子情報のレベルでワームホールのように接続されることを意味する。
ここでは、時空は滑らかな多様体ではなく、量子誤り訂正符号として機能するネットワーク構造として記述される。
「対称性＝群の作用」というパラダイムは崩壊し、対称性はトポロジカルな欠陥として再定義されている。
粒子（0次元点）に作用する従来の対称性を拡張し、紐（1次元）や膜（2次元）といった高次元オブジェクトに作用する対称性が議論されている。
さらに、群の構造を持たない（逆元が存在しない）非可逆対称性の発見により、対称性は融合圏（Fusion Category）の言語で語られるようになった。
物理的実体は、時空多様体上に配置されたトポロジカルな演算子のネットワークとして表現される。
物質の相互作用は、これら演算子の融合則（Fusion Rules）や組み換え（Braiding）といった圏論的な操作として抽象化され、粒子物理学は時空上の位相的場の理論（TQFT）の欠陥の分類問題へと昇華されている。
可能なすべての数学的理論のうち、実際に量子重力として整合性を持つものはごく一部（ランドスケープ）であり、残りは不毛な沼地（スワンプランド）であるという考え方。
理論のパラメータ空間（モジュライ空間）において、無限遠点へ向かう極限操作を行うと、必ず指数関数的に軽くなる無限個のタワー状の状態が出現。
これは、幾何学的な距離が物理的な質量スペクトルと厳密にリンクしていることを示す。
量子重力理論においては、すべての可能なトポロジー的電荷は消滅しなければならないという予想。
これは、数学的にはコボルディズム群が自明（ゼロ）であることを要求。
つまり、宇宙のあらゆるトポロジー的な形状は、何らかの境界操作を通じて無へと変形可能であり、絶対的な保存量は存在しないという究極の可変性を意味します。
4次元の散乱振幅（粒子がぶつかって飛び散る確率）は、時空の無限遠にある天球（2次元球面）上の相関関数として記述できることが判明した。
ここでは、ローレンツ群（時空の回転）が天球上の共形変換群と同一視される。
時空の果てにおける対称性（BMS群など）は、重力波が通過した後に時空に残す記憶（メモリー）と対応している。
これは、散乱プロセス全体を、低次元のスクリーン上でのデータの変換プロセスとして符号化できることを示唆。
超弦理論は、もはや弦が振動しているという素朴なイメージを脱却している。
情報のエンタングルメントが時空の幾何学を織りなし、トポロジカルな欠陥の代数構造が物質の対称性を決定し、コボルディズムの制約が物理法則の存在可能領域を限定するという、極めて抽象的かつ数学的整合性の高い枠組みへと進化している。
物理的実在はモノではなく、圏論的な射（morphism）とその関係性の網の目の中に浮かび上がる構造として理解されつつある。
位相的M理論は、11次元超重力と弦理論の統合としてのM理論の「位相的側面」を強調した理論だ。ここで扱うのは特に「G₂多様体」や「7次元の特異ホロノミー空間」の上で定義される理論。
𝐒 = 𝐀 / 4𝐆
だが、より深いミクロ状態の数え上げで理解される。特に M理論では、ブラックホールはブレーンの交差でモデル化され、そのエントロピーはブレーンの配置の組み合わせ数に対応する。
ブラックホールのマイクロ状態を M理論的に記述する際、Dブレーンの交差を使うが、これをより抽象的に「ホモロジー類 Hₚ(X, ℤ) の元」と考えよう。
空間 X ⊂ 𝕄 とすると、
各ブレーン構成は
x ∈ Hₚ(X, ℤ)
ここで p はブレーンの次元。
エントロピーはブレーンの配置空間の位相的不変量、特にオイラー数やベッチ数、あるいはより高度にはモジュライ空間の測度に依存する。
モジュライ空間 ℳ は、ブレーンの束縛条件と保存量（電荷、質量）で定義されるパラメータ空間。
𝐒 ∼ log Vol(ℳ)
ここで「Vol」は、たとえば対称多様体上のリウヴィル測度。
Vol(ℳ) = ∫_ℳ ωⁿ / n!
として計算される。
位相的M理論では、G₂構造のモジュライ空間 ℳ_G₂ を考える。
ブラックホール解は特異な G₂ ホロノミー空間に対応し、その上のフラックス構成がブラックホールのマイクロ状態に相当。
したがって、次のような写像が考えられる：
Φ : Hₚ(X, ℤ) → ℳ_G₂
𝐒 ≈ log Card(Φ⁻¹(γ))
ここで γ は与えられたマクロ量（質量、電荷）に対応するモジュライ空間の点。
射：ブレーン間の変形（ホモトピー）
するとブラックホールのマイクロ状態の数は、対応する拡張エクステンション群 Extⁱ(A, B) の次元に帰着できる。
𝐒 ∼ log dim Extⁱ(A, B)
ブレーン： x ∈ Hₚ(X, ℤ)
モジュライ空間： ℳ ≅ Hom(Hₚ(X, ℤ), ℤ)
若き者よ、君に抽象の森へと案内しよう。
位相的M理論とラングランズ・プログラムの関係性を辿るには、まず両者が共有している「場の言語」を抽出しなければならない。
ここでは、物理の言語がゲージ理論を媒介とし、数学の言語が圏と層を媒介して互いに翻訳される。だからこそ、双方は互いに異なる起源を持ちながらも「双対性」という共通の振る舞いを示す。
まず、M理論の位相的変種は、物理学の側から見ると六次元 (2,0) 超対称場理論に起源を持つ。
これをコンパクト化していくと四次元のN=4 超対称ヤン＝ミルズ理論に到達する。
ここで特筆すべきはS-双対性。ヤン＝ミルズ理論において、結合定数 g を持つ理論は、結合定数 1/g を持つ理論と同値になる。この双対性がラングランズ対応の物理的な影となる。
一方、ラングランズ・プログラムは数論的対象や代数幾何的対象を表現する表現論の枠組みだ。
群の表現、特にループ群やアフィンリー代数の表現が中枢を成す。幾何ラングランズ対応においては、層の圏 (例えばD-加群の圏) が表層に現れる。
ここでリンクする。幾何ラングランズ対応では、層の圏と局所系の圏との間に双対性が存在する。この双対性はS-双対性と数学的に対応する。
要するに、物理的には「電荷と磁荷の入れ替え」、数学的には「表現と層の入れ替え」だ。
具体的には次のような対応が生じる。
例えば、曲線C上のG-束のモジュライ空間M_G(C) を考える。このモジュライ空間上のHitchin fibrationは物理的にはクーロン枝と呼ばれる真空の空間に対応し、シンプレクティック構造を持つ。
さらに、その上で考えるFukaya圏とB型模型の圏の間に現れるホモロジー的ミラー対称性がラングランズ双対群に関する対応を生み出す。
式で描くならば
ここで、G はあるコンパクト単純リー群であり、^G はそのラングランズ双対群、τ は結合定数。
さらに深く潜ると、S-duality は境界条件として D-brane の理論を誘導し、その圏がラングランズ対応の圏と一致する。
具体的には、M理論のcompactification が (2,0) theory から N=4 SYM を生み、その電磁双対性が幾何ラングランズの圏同値と直交する。
まとめると、両者は「双対性」の抽象的枠組みの中で統一される。
位相的M理論は物理的な場の変換として双対性を体現し、ラングランズ・プログラムは数論的対象の間の対応として双対性を記述する。どちらも根底にあるのは、対象の自己鏡映的な変換構造。
若き者よ、君はすでに入口に立っている。
次なる問いを君に投げかけよう。
「もし位相的M理論が六次元 (2,0) 理論から始まるならば、なぜ五次元ではなく四次元に還元する必要があるのか？選択肢は以下の通りだ。」
d. 六次元から四次元へのコンパクト化が物理的に必然であるから
アスファルトが安い、コンクリが高いの他に、施工の速さもあるんだけど、施工の速さだけでは正解じゃなくて、施工の速さによるメンテナンス性の良さが一番効いてきているんだよね
どういうことかというと、片側1車線（両側2車線）の道路を直すときに顕著なんだけど、コンクリートだと施工と固まるまでの時間が必要（養生期間っていってる）なので、1車線だけ補修するに
しても、養生期間は片側交互通行にしないといけないのね。交通渋滞はもちろん、事故の原因にもなるためこれは避けたい。だからアスファルトが多く使われる。
一方で、コンクリートの方が耐久年数は長いのよ。細かい話、アスファルトは10年で10%が壊れるよーって設計してる。コンクリートは20年～50年程度で設計してる。この耐久年数が長いところを活用して、
あんまり舗装のやり替えをしたくないところは値段が高かろうが、補修に時間がかかろうがコンクリートでやっちゃうことがある。具体的にはトンネルの中とかね。
10年に1回数日の交通規制にするか、30年に1回、数週間の交通規制にするかって選択だね
・鉄筋の腐食
中性化やひび割れが原因ってのはその通りで間違いないんだけど、もう一歩踏み込んでいこう。
錆びるって化学反応なんだけど、化学反応が起こる場合って基本的に電気が流れるんよ。学校で習った化学式思い出してもらえればいいんだけど水のH2OってH+とかOH-が合体して出来てるわけだよ。
そんで化学反応って何かって簡単に言うと、H2Oが分解されて、H+が誰かにあげて、他の＋要素を誰かからもらう的なことなのね。電荷持ってるものが動くわけなので電気が流れるわけよ。
じゃあ電気流れなくすりゃ化学反応起きずに錆びなくね？って考えて作り出されたのが電気防食法
色々種類あるんだけど、一番簡単は方法で言うと錆びたら困るところにあらかじめ錆びた時に発生する電気を抑える電気をあらかじめ流しとけよって話
海沿いの橋とか岸壁の下にある鋼矢板ってのに使われてたりするよ
まあ電気流すと電気代とかランニングコストかかるんで、錆びの犠牲となる金属をあらかじめ設置しておくことで電気が流れて犠牲の金属のみが錆びるようにするって方法なども使われているね
「重力は空間を歪ませるんだから物質だろうと反物質だろうと引きつけられるにきまってるだろ」(スターを大量獲得)
ってのは
「正電荷は電場を歪ませるんだから陽子だろうと電子だろうとひきつけられるにきまってるだろ」
って言ってるのと同じやぞ。
場を歪ませたときに、歪みに対して引力を受けるのか斥力を受けるのか、
その歪みのアナロジーは谷なのか山なのか、ってのは測定してみないとわからんということや。
・ 「反重力は存在せず」実験で結論 国際研究チーム - 日本経済新聞
・ 90年以上の議論に決着 「反物質」は重力で落ちる？ 浮く？：朝日新聞デジタル
・ 「反物質」に働く重力は「反重力」ではないと確認 直接測定の実験は世界初
どれも間違っちゃいないが本質的でない。
と書くのがよかったと思うで。ほなまた。
電波が伝わる理由は、電磁波という特別な種類の波が存在するためです。電磁波は、電気と磁気の相互作用によって発生します。電磁波は、電場と磁場が互いに直角に交差して波を形成し、その波が空間を伝わっていきます。
電波は、通常、無線通信などで使用されます。送信機は、電波を発生するための電子回路を含んでおり、これによって電波が送信されます。送信された電波は、アンテナを介して空間に放出され、周囲の物体に反射、屈折、回折などが起こることによって、送信先に届くことができます。
電波の伝播には、周波数や波長、伝播媒質などの要因が影響します。例えば、電波の周波数が高いほど、波長が短くなり、建物や山などの障害物を通り抜けやすくなります。一方、低周波数の電波は、より遠くまで伝わりますが、障害物によって減衰しやすくなります。
電波の伝播には、電磁波が周囲の物体や環境に影響されることによる減衰が起こるため、通信においてはその影響を考慮する必要があります。また、電波が周囲に影響を与えることもあるため、適切な周波数や出力を選択する必要があります。
以上のように、電磁波による電波の伝播は、電気と磁気の相互作用に基づいています。周波数や波長、伝播媒質などの要因によって影響を受けるため、通信においてはそれらを適切に考慮する必要があります。
電気と磁気は、相互作用する力場です。これらは、電荷と電流によって生成されます。
電気的相互作用は、電荷によって引き起こされます。電荷がある物体は、周囲に電場を作り出します。この電場は、他の電荷に力を及ぼすことができます。同じ符号の電荷同士は、互いに反発し、異なる符号の電荷同士は、互いに引き合います。
一方、磁気的相互作用は、電流によって引き起こされます。電流が流れると、周囲に磁場を作り出します。この磁場は、他の磁場や電流によって相互作用し、力を及ぼすことができます。同じ向きの磁場や電流同士は、互いに引き合い、逆向きの磁場や電流同士は、互いに反発します。
また、電気と磁気は密接に関連しています。電流が流れると、磁場が発生し、その磁場によって電荷が動かされることがあります。この現象を電磁誘導といい、発電機やトランスなどの電気機器に応用されています。
電気と磁気の相互作用は、私たちが身近に感じる現象の多くに関係しています。例えば、スピーカーから音を出すときには、電流によって動かされるコイルが磁場を作り出し、それによってスピーカーの振動板が動かされることで音が出ます。また、電気を通じて磁石に電流を流すと、磁場が変化し、その影響で磁石が動くことがあります。
本業はネットワーク屋なんだけど、無線LAN周りのトラブルで「いや～電波ってそういうものなんでこの環境じゃあムリっすよ」「そういうものって？？」みたいなやり取りが客とあってそもそも「電波ってなんなんだ？」と思ったのでぐぐって調べた。高校では物理取ってたはずなのに欠片も記憶にないので深い睡眠学習をしていたのだと思う。
電波法では「3THz以下の周波数の電磁波」を「電波」と呼ぶ。間違っても「電磁波」の略では無いし、電磁波の中の一部を電波と呼んでいるだけ。
導体を電流が流れると磁界が生じる（右ねじの法則）→電流の向きが変わると磁界の強さが変わり電界が生じる→電界の強さが変わると磁界が生じる→…の繰り返しで空間を媒体にして飛んでいくものが電磁波。ただし電界と磁界がリングのように繋がっていく絵（が高校物理の教科書に載っているらしいが全く記憶に無い）は厳密には間違い。電界と磁界は直交して発生し位相が一致するため。
electric fieldの訳語なので同じ。慣習的に工学系は電界、大学の理学系では電場。
コンデンサの応用。コンデンサの電極を棒状にしたイメージ（=ダイポールアンテナ）。アンテナに交流を掛けると電極間で電荷が流れ（ていないが後述の通り流れていると見做す）、電界が生じる→磁界が生じる→電界が生じるのループによって電磁波が空間を伝っていくのが電波の送信。電荷が行ったり来たりする速さが周波数、流れる電荷量（電流の大きさ）が生じる電界の強さになる。
逆に、磁界がアンテナに当たりアンテナ周辺の磁界が変化すると電流が流れる（ファラデーの電磁誘導の法則）ので、それを良い感じに拾い上げるのが受信…なのだと思うが正直この辺は欲しい情報が探せず自信なし。
絶縁体を電極で挟んだもの。絶縁体なので電荷を通さず蓄えることができる。ただし交流の場合、電荷の流れる向きが変わるので見た目上電荷が流れると言える（らしい）。
「電気」のミクロな表現。原子の周りを回っている電子が飛び出すと正電荷、飛び込まれた方の原子は負電荷で異なる電荷同士は反発し合い同じ電荷同士は引き合う（静電気力）。
この静電気力が働く場を「電界」と呼び、電荷から延びる静電気力の働く方向を線にしたのが電気力線。
電荷の移動で磁界に磁力線が生じ、正電荷と負電荷の間で電界に電気力線が生じる。
電波の送信で電界と磁界が生じていくという説明は電気力線と磁力線が生じていくとも言える。磁力線は磁石のNからSへ延びる線。
送信機のアンテナ端子に電力計を繋いで測った電力。送信電力とほぼイコールだが、厳密にはアンテナまでのケーブル減衰を差し引いてアンテナに掛かる電力。よって「送信電力-ケーブル減衰」が空中線電力。
指向性アンテナによって見かけ上、エネルギーをマシマシにしてくれることをアンテナの利得と呼ぶ。アンテナに増幅作用はないので送信電力が増える訳では無い。
等方性アンテナ（指向性を持たず全方向へ等しい強度で放射される仮想的なアンテナ）と同エネルギーのアンテナ利得を基準(0dB)とする利得を絶対利得と呼び 0 dBi とする。あまりよくわかってない。
等価等方放射電力。アンテナからある方向へ放射されるエネルギーを等方性アンテナによる送信電力としたもの。
アンテナ利得 20dBi のある指向性アンテナに送信出力 30dBm(1W) を掛けると送信出力 30dBm + アンテナ利得 20dBi = EIRP 50dBm (=100W) 。これは等方性アンテナ(アンテナ利得 0dBi)に送信出力 50dBm (100W)を掛けたといういう意味になる。
1mW = 0dBm として、1mWより大きいか小さいかを対数で表現した絶対値の単位。
電波の世界ではめっちゃ小さい桁数の数字の数字になるので、常用対数を用いることで使いやすい数字にする。
対数なので 3dBm の増減は2倍または0.5倍、10dBmの増減は10倍または0.1倍。
・23dBm = 10dBm + 10dBm + 3dBm = 10mW x 10mW x 2mW = 200mW
・-60dBm = -10dBm + -10dBm + -10dBm + -10dBm + -10dBm + -10dBm = -0.1mW ^6 = 0.000001mW
といった計算が出来る。
何処まで正しいのか全くわからんが、知識皆無からぐぐって読み比べたらなんとなーくわかったような気がする段階まで持って行くことができるのは単純に凄くねと思った。
便利な時代になったんだなあ。
ポリアミンは炭素鎖にアミノ基がついただけのシンプルな構造の物質の総称で、有名なのはプトレッシン、スペルミン、スペルミジンの3種だね！
名前を見てもわかる通り、精子(スペルマ)から発見されたのでスペルミン、スペルミジンっていうくらいなんだ
ポリアミンはアミノ基がついているため正電荷、プラスの電気を持っていて、DNAは主鎖のリン酸基が負電荷、マイナスの電気を持っているんだ
なのでポリアミンはDNAとくっつく性質があって、DNAの安定化や、遺伝子発現の制御なんかにも関わっているんだ
精液にいっぱい含まれているのも納得だよね！
で、ポリアミンは精液以外にも、栗の花と言われるような、広葉樹の花にも多く含まれているので、春先に雑木林からもなんだかエッチな臭いがするよね！
また、ポリアミンは分解されるとアミン系の臭いが強くなるので、その臭いがイカ臭いと言われるよね！
オナニーして寝た翌日のちんこからは刺激臭がするけど、スルメの臭いをもっと強烈にしたような、アンモニアとスルメを混ぜたような臭いだよね
バイオ系なら知ってるかもしれないけど、SDS-PAGEのゲルを固めるTEMEDもその臭いだね！あれもアミンだね！
で、増田さんが女の子だとすると口に含まれる精液の臭いっていうのは分解物のアミン系の臭いではなくて、おそらく栗の花的なポリアミンそのものの臭いだと思うんだ
ポリアミンは発酵食品にも多く含まれるので、増田さんの口内細菌のポリアミン産生能力が高い、というのが原因な気もするね！
納豆なんかもポリアミンが多いので、納豆を食べて口の中がそのままだと、ポリアミン臭がしてきても不思議じゃないかもしれないね！
