Serreスペクトル系列はファイブレーションの全空間のコホモロジーを計算する強力な道具ですが、計算がE∞ページまで到達したからといって、ただちに最終的なコホモロジー環が完全に決定されるわけではありません。スペクトル系列が与える情報は基本的には随伴次数環であり、そこから元の環構造を復元する際にはhidden extensionと呼ばれる問題が残ることがあります。
この記事では、Serreスペクトル系列における加法的・乗法的extension problemの意味、Steenrod作用やBocksteinなどの高次構造がどこまで情報を補えるのか、そして「どれだけ精密にスペクトル系列を計算すれば収束先のコホモロジー環を決定したと言えるのか」という問題について、一般論と具体例を交えながら解説します。
Serreスペクトル系列のE∞ページが与える情報とは何か
ファイブレーションF→E→Bに対するコホモロジーSerreスペクトル系列では、E_2ページは一般にH^s(B;H^t(F;F_p))で与えられ、微分d_rを順次計算することでE∞ページへ到達します。
ただし、E∞ページが直接与えるのはH^*(E;F_p)そのものではなく、H^*(E;F_p)に入るフィルトレーションの随伴次数環です。つまり、各次数について0⊂F^nH^n⊂…⊂F^0H^n=H^nという構造から、商F^sH^{s+t}/F^{s+1}H^{s+t}を集めたものになります。
このため、E∞から分かるのは「コホモロジー群がどのような層に分解されるか」という情報であり、その層同士が実際にどのようにつながっているかは別途決定する必要があります。
加法的extensionと乗法的extensionの違い
extension problemには大きく分けて加法的なものと乗法的なものがあります。加法的extensionとは、例えば随伴次数群がZ/p⊕Z/pを与えていても、実際の群がZ/p^2なのかZ/p⊕Z/pなのかを区別できないという問題です。
乗法的extensionはさらに複雑で、E∞上で積が分かっていても、フィルトレーションを外した実際の環でどの元同士が非自明な積を持つかが決まらない場合があります。
例えば、ある次数の生成元xについてE∞ではx^2=0に見えていても、実際のコホモロジー環ではフィルトレーションのずれによって別の元に対応する可能性があります。このような情報は通常の微分計算だけでは見えません。
乗法構造やtransgressionはhidden extensionを解決できるか
Serreスペクトル系列は単なる群のスペクトル系列ではなく、条件が整えば乗法的スペクトル系列になります。その場合、各ページには積構造があり、微分もLeibniz則を満たします。
またtransgressionはファイバー側のコホモロジー類が底空間側へどのように移るかを記述する重要な情報です。Hopf fibrationの計算などでは、このtransgressionによって環構造が大きく制約されます。
しかし、乗法構造やtransgressionをすべて知っていても、一般には完全な復元は保証されません。理由は、スペクトル系列が本質的に「段階的な近似情報」であり、フィルトレーションを分解する前の情報を完全には保持していないためです。
Steenrod作用やBocksteinはどこまで強力なのか
係数をF_pとしたコホモロジーでは、Steenrod作用Sq^iやP^iなどの安定コホモロジー作用素が追加情報を与えます。これらは単なる環構造ではなく、コホモロジー群の間の自然な作用を記録しています。
実際、多くの場合ではSteenrod作用を調べることで、E∞だけでは判別できなかったextensionを解決できます。例えば、あるクラスの平方や高次作用が非自明であることが分かれば、可能な環構造が大幅に制限されます。
しかし、Steenrod代数として同型であっても、環として異なる例は存在します。Steenrod作用は非常に強力ですが、あくまでコホモロジーに作用する追加構造であり、すべての乗法extensionを必ず検出する万能な不変量ではありません。
E∞が同じでも異なるコホモロジー環を持つ例
スペクトル系列では、同じ随伴次数環を持ちながら異なるfiltered algebraが存在することがあります。これは純粋な代数学でいうfiltered algebraの変形問題と同じ現象です。
例えば、群拡大の場合でも随伴次数だけでは元の群構造を決定できません。Z/p^2とZ/p⊕Z/pは、適切なフィルトレーションを選べば似た随伴次数を持ちますが、元の群としては異なります。
コホモロジー環の場合も同様で、E∞はassociated graded algebraを与えるだけなので、その背後にあるfiltered algebraの選択には余地があります。
Rees代数・Hochschildコホモロジーによるextension問題の理解
filtered algebra Aを考える場合、その情報をRees algebraによって一つの次数付き代数として扱うことができます。Rees代数はフィルトレーションと元の代数構造を結びつけるため、extension問題を変形問題として見る視点を与えます。
またHochschild cohomologyは代数変形のobstructionを記述する重要な道具です。環構造の一次変形はHH^2に関連し、変形が高次まで延長できるかどうかはより高次の障害類によって制御されます。
Serreスペクトル系列のhidden multiplicative extensionも、このようなfiltered algebraの変形問題として理解できます。ただし、通常のd_r微分はすべての変形情報を記録するわけではなく、ページ上に現れない高次情報が残る場合があります。
有限性条件を課せばコホモロジー環は決定できるのか
底空間が単連結で、各次数のコホモロジーが有限次元、E_2ページが有限生成代数であるなどの良い条件を課しても、extension問題が完全になくなるとは限りません。
これらの条件は収束性や計算可能性を改善しますが、associated graded objectから元のobjectを一意に復元できることとは別問題です。
ただし、空間が形式的である場合や、Massey積などの高次情報が消える場合など、追加条件によってコホモロジー環が決定しやすくなる状況はあります。
エサキダイオードのように「見えない情報」が重要になる理由
スペクトル系列のextension問題は、物理でいう観測量と内部構造の関係にも似ています。E∞ページは観測されたスペクトルのようなもので、内部の接続情報までは直接含みません。
そのため、より完全な復元を目指す場合には、Steenrod作用、Massey積、A∞構造、E∞構造などの高次ホモトピー情報を考える必要があります。
特に安定ホモトピー論では、単なるコホモロジー環より豊かな構造を考えることで、多くのextension問題を解決できます。
まとめ｜Serreスペクトル系列で環を決定するには追加情報が必要
Serreスペクトル系列をE∞ページまで計算することは、コホモロジー計算における非常に大きな前進ですが、それだけでH^*(E;F_p)の環構造が完全に決定されるとは限りません。
乗法構造、transgression、Steenrod作用、Bocksteinなどはhidden extensionを解決する強力な手掛かりになりますが、一般論としてはそれらをすべて加えても一意性が保証されるわけではありません。
最終的にコホモロジー環を完全に理解するには、filtered algebraの変形理論、高次コホモロジー作用素、Massey積やA∞構造など、スペクトル系列のページには現れない情報まで考慮する必要があります。つまり「スペクトル系列をどこまで計算すれば十分か」という問いへの答えは、対象となる空間と利用可能な追加構造によって決まる、というのが現代的な理解になります。
コメント