フレアーホモロジー
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/28 08:33 UTC 版)
フレアーホモトピー
いくつかの対象のフレアーホモロジーを構成する考えられる方法の一つは、通常のホモロジーが求めるフレアーホモロジーとなっている関連するホモトピー論のスペクトルを構成することではないでしょうか。他のホモロジー論をそのようなスペクトルに適用することは、他の興味深い不変量へ結び付くかもしれない。この戦略は、ラルフ・コーヘン, ジョン・ジョーンズ, とグラミエ・セーガルにより提案され、Manolescu (2003) によりサイバーグ-ウィッテンフレアーホモロジーのある場合に実現され、コーヘンにより余接バンドルのフレアーホモロジーに対して実現された。
解析的基礎
これらのフレアーホモロジーの多くは完全で厳密に構成されているわけではなく、多くの同値関係が予想はされているものの、証明されてはいない。テクニカルな困難は、擬正則曲線のコンパクト化[9]は、解析の中にある。ホーファーは、クリス・ウィスコスキ(Kris Wysocki) とエドゥアルド・ゼンダー(Eduard Zehnder)の協力を得て、「高次元多様体」の理論と「一般化されたフレドホルム理論」を経て、新しい解析的な基礎を開発している。高次元多様体のプロジェクトは未だに完全ではないが、横断性がより簡単な方法を使って示された重要なケースがある。
計算
フレアーホモロジーは、明確な計算をすることが一般には困難で、例えば、全つの曲面のシンプレクティック写像のシンプレクティックフレアーホモロジーが完成したのは、2007年であった。ヒーガードフレアーホモロジーには、この考え方から大きな成功への道がある；研究者たちは様々たクラスの3次元多様体のホモロジーを計算するために、代数的な構造を開拓しているし、実際に理論の多くの計算の組み合わせ的なアルゴリズムを見つけた。このことは既存の不変量や構造へ結び付けると同時に、3次元多様体のトポロジーへの多くの見方を生みだしてきた。
- ^ コボルディズムのパンツ分解の積のことであり、位相的場の理論の公理的な取り扱いで重要な役割を果たします
- ^ サイバーグ・ウィッテン・ゲージ理論
- ^ コーシー-リーマン方程式と擬正則曲線の定義式との関係は、古典的擬正則曲線のコーシー-リーマンの方程式との類似(Analogy with the classical Cauchy-Riemann equations)に、擬正則曲線の記載がある。
- ^ 英語版では、"Floer Homology"にリンクが張られてるが記載がないので、記載のある文献を上げる。
- ^ 2次元平面上へ結び目を射影して、平面の上で格子を描き、格子との交点に符号を与えて、結び目不変量を求める組み合わせ的手法のこと
- ^ クラスタホモロジーとは、ディスクが非局所的に余次元1でバブルになるので、代数的にモデリングすることが困難になる点を、モースフローを次のように拡張することで、克服する方法です。擬正則ディスクのモジュライ空間をラグランジュ部分多様体の上のモース函数を、負のグラジエントフローまで拡張すると、クラスタ化されたモジュライ空間ができます。これらをコンパクト化すると、次数付きの可換微分代数ができ、このホモロジーがクラスタホモロジーと呼ばれている。
- ^ ゲージ理論。
- ^ DG-圏は、Differentail Graded Categoryの訳語である。
- ^ コンパクト化(compactification)の意味は、数学と物理（弦理論）では異なっている。ここでは、数学側の意味へリンクをはっている。物理側（特に弦理論）はコンパクト化 (物理学)である。
- フレアーホモロジーのページへのリンク
