[論文レビュー] Sylvester's law of inertia for quadratic forms on vector bundles

Giacomo Dossena|arXiv (Cornell University)|Jul 8, 2013

Microtubule and mitosis dynamics参考文献 4被引用数 4

ひとこと要約

この論文は、連結で局所連結かつパラコンパクトなハウスドルフ空間上の実ベクトルバンドルにおける非退化な二次形式へ、スレイターの慣性法則を一般化する。ゲージ群の作用の下で二つの不変量を導入する：全ゲージ群作用の下での正規直交フレームバンドルの同型類、および恒等成分のゲージ群作用の下での最大正定値部分バンドルのホモトピー類であり、これらは慣性よりも細かい分類を提供する。

ABSTRACT

This paper presents a generalisation of Sylvester's law of inertia to real non-degenerate quadratic forms on a fixed real vector bundle over a connected locally connected paracompact Hausdorff space. By interpreting the classical inertia as a complete discrete invariant for the natural action of the general linear group on quadratic forms, the simplest generalisation consists in substituting such group with the group of gauge transformations of the bundle. Contrary to the classical law of inertia, here the full action and its restriction to the identity path component typically have different orbits, leading to two invariants: a complete invariant for the full action is given by the isomorphism class of the orthonormal frame bundle associated to a quadratic form, while a complete invariant for the restricted action is the homotopy class of any maximal positive-definite subbundle associated to a quadratic form. The latter invariant is finer than the former, which in turn is finer than inertia. Moreover, the orbit structure thus obtained might be used to shed light on the topology of the space of non-degenerate quadratic forms on a vector bundle.

研究の動機と目的

• 有限次元ベクトル空間におけるスレイターの慣性法則を、ベクトルバンドル上の非退化二次形式へ拡張すること。
• ベクトルバンドル上の非退化二次形式の空間におけるゲージ群作用の完全な離散的不変量を同定すること。
• 全ゲージ群とその恒等成分の間の軌道構造の違いを、位相的複雑性のため生じる点を明確にすること。
• これらの不変量を用いて、ベクトルバンドル上の非退化二次形式の空間の位相を研究するための枠組みを提供すること。

提案手法

• 有限次元ベクトル空間における二次形式の一般線型群作用の下でのスレイターの慣性法則を、完全不変量として再定式化する。
• 一般線型群をバンドル自己同型のゲージ群に置き換えることで、この定式化をベクトルバンドルへ一般化する。
• 二つの不変量を定義する：全ゲージ群作用の下での正規直交フレームバンドルの同型類、および恒等成分のゲージ群作用の下での最大正定値部分バンドルのホモトピー類。
• ホモトピー論およびバンドル分解技術を用いて、部分バンドルのホモトピー類が恒等成分のゲージ群作用の下での軌道同値性と関係することを示す。
• 非退化二次形式の空間の路成分が、恒久成分のゲージ群作用の軌道とちょうど一致することを確立する。
• 全ゲージ群軌道内の路成分の数が、商群 Gau(E)/Gau₀(E) の路成分数によって上から抑えられることを証明する。

実験結果

リサーチクエスチョン

• RQ1 構造群が GL(n) ではなくゲージ群であるベクトルバンドル上の二次形式へ、スレイターの慣性法則をどのように一般化できるか。
• RQ2 なぜ全ゲージ群作用とその恒等成分は、非退化二次形式の空間上での軌道構造を異なるものとするのか。
• RQ3 非退化二次形式の空間における全ゲージ群作用の軌道を分類する完全な離散的不変量は何か。
• RQ4 非退化二次形式の空間におけるゲージ群の恒等成分の作用の軌道を分類する完全な離散的不変量は何か。
• RQ5 最大正定値部分バンドルのホモトピー類は、ゲージ群の恒等成分の作用における軌道構造とどのように関係するか。

主な発見

• 非退化二次形式に付随する正規直交フレームバンドルの同型類は、ベクトルバンドル上の非退化二次形式への全ゲージ群作用の完全不変量である。
• 非退化二次形式に付随する任意の最大正定値部分バンドルのホモトピー類は、ゲージ群の恒等成分作用の完全不変量である。
• ホモトピー類不変量は、正規直交フレームバンドルの同型類よりも細かく、同型類は古典的慣性 (n₊, n₋) よりも細かくなる。
• 非退化二次形式の空間の路成分は、まさにゲージ群の恒等成分による軌道である。
• 1つの全ゲージ群軌道内の路成分数は、商群 Gau(E)/Gau₀(E) の路成分数によって上から抑えられる。
• 同じ全ゲージ群軌道に属する任意の2つの路成分は、ゲージ群作用がそれらの間で同相写像を誘導するため、互いに同相である。