  |
はてなキーワード:ホモリンとは
コホモリン: （ホモジーの肩を叩く）ホモジーさん、もう朝ですよ。あんた、また徹夜で単体ホモロジーのチェーン複体 Cₙ(X) を眺めとったんですか？ なんでそんなに、境界作用素 ∂ₙ が気ぃなるんです？ ∂² = 0 はもう、摂理みたいなもんやないですか。
ホモジー: （ゆっくりと顔を上げる）摂理…？ コホモリン…お前はわかってない…。この境界作用素 ∂ₙ: Cₙ(X) → Cₙ₋₁(X) が、ただの摂理で終わると思とるんか？ これはな、鎖複体のコホモロジー Hⁿ(X) とホモロジーHₙ(X) を繋ぐ、導来関手の源泉なんや…。Ext関手とかTor関手が、この単純な関係から生まれるって、鳥肌もんなんやで…！
コホモリン: （額に手を当てる）いや、そこまでいくと、もう代数やないですか。あんた、完全にホモロジー代数の世界に意識飛んでますやん。位相空間の形の話はどこ行ったんですか。
ホモジー: 形…？ 形とはなんぞや、コホモリン…。ホモトピー同値な空間は、ホモロジー群が同型やろ？ けどな、エキゾチック球面 S⁷ は、普通の S⁷ とは微分同相じゃないのに、ホモロジーは同型なんやで…？ あれって、結局、微分構造が持つ情報って、ホモロジーだけじゃ捉えきられへんってことやろ？ 俺はもう、その不確定性原理に囚われとんねん！
コホモリン: （震え声で）不確定性原理…もう、あんた、物理学まで手ぇ出しとるんか。エキゾチック球面は、ミルナーの偉業ですよ。あれは、多様体の圏と位相空間の圏の間の、深い亀裂を示しとるわけや。あんた、もうそっちの闇に堕ちて行ってるんちゃいますのん？
ホモジー: 闇…そうや、闇や…。特異点解消の理論とか、フルーリーのインデックス定理とか、闇深すぎやろ…。特に、交叉ホモロジー！ あれは、特異点を持つ空間のホモロジーを定義するときに使うねんけど、あの構成可能層の概念が、俺の脳みそを層化して、導来圏の中で消滅コホモロジーとして彷徨わせとんねん…！
コホモリン: （絶句）き、交叉ホモロジー？！あんた、そこまで行ったらもう、完全に偏執狂ですよ！ド・ラームコホモロジー Hᵈᴿⁿ(M) が特異コホモロジー Hⁿ(M; ℝ) と同型になるド・ラームの定理でさえ、あんたの目には生ぬるいんか！？
ホモジー: 生ぬるい…生ぬるすぎる…。p-進ホモロジーとかエタールコホモロジーの存在を知ってしまったら、もう普通のホモロジーには戻られへんねん…。特にエタールコホモロジーは、代数多様体の上で定義されるやろ？ヴェイユ予想の解決にも貢献したって聞いて、もう夜も眠れへんねん。ガロアコホモロジーとの関連とか、考えたら意識が飛ぶわ…！
コホモリン: （顔面蒼白）エ、エタールコホモロジー…！？ それ、数論幾何の最先端やないですか！ もう、あんたは位相幾何学の領域を完全に飛び出して、数学のあらゆる深淵を覗き込んどる…！ホモジーさん、お願いやから、もうやめてください…！ 俺のホモトピー群 πₙ(X) が、完全に自明群になってしまいそうですわ…！
ホモジー: （恍惚とした表情で、宇宙の果てを見つめるように）フフフ…コホモリン…俺のボーゲン–シュミット予想がな、今、頭の中で圏論的極限を迎えようとしとるんや…。宇宙全体のホモロジー群 が、俺には見えるんや…！
コホモリン: （膝から崩れ落ち、全身が震える）うわあああああああ！ホモジーさん、あんたはもう、人間やない！数学の抽象的対象そのものや！ 俺はもう無理や…あんたの隣におったら、俺の有理ホモトピー型が壊れてまう…！
