[論文レビュー] Diagonalizing the genome II: toward possible applications

Satyan L. Devadoss, Jack Morava|arXiv (Cornell University)|Sep 25, 2012

Genomics and Phylogenetic Studies参考文献 11被引用数 4

ひとこと要約

本稿は、標数0の安定型の有理型曲線のモジュライ空間に基づく、実対称行列（二次形式）の空間の位相的解消を、${\widetilde{\sf Q}}^{*}_{n}$ と呼ばれるオビホイドラルスタックを用いて提案する。固有値配置と配置空間を関連づけ、アソシアヘドロンのタイル張りを活用することで、有限の安定型を有し、単連結で階層構造を持つ空間が得られ、ゲノムや進化的生物学における結合振動子のモデル化に応用可能であることが示唆される。

ABSTRACT

In a previous paper, we showed that the orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. In this draft of a sequel, we construct a related (stacky) resolution of a space of real quadratic forms, and suggest, perhaps without much justification, that systems of oscillators parametrized by such objects may may provide useful models in genomics.

研究の動機と目的

• 実対称 $n \times n$ 行列の空間の、固有値の重複度に起因する特異的階層構造を、幾何的に整然とした解消法で扱うこと。
• 実 genus-zero 曲線にマークされた点を持つモジュライ空間 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ と、正規化された二次形式の空間との間の位相的グロイド枠組みを確立すること。
• 対称行列の固有値によってパラメータ化される結合振動子系が、ゲノム的および進化的ダイナミクスのモデルとして有効であるかを検討すること。
• $\mathcal{Q}^{*}_{n}/{\rm O}(n)$ の商空間の特異性を解消するスタック $\widetilde{\sf Q}^{*}_{n}$ を構成し、有限の安定型と制御されたホモトピー型を有すること。
• この解消が、高次元の階層的空間における段階的変化としての進化的移行を幾何的に基礎付ける可能性を示唆すること。

提案手法

• 有向モジュライ空間 $\widetilde{\sf M}_{n+1}$ 上での引き戻しとしてスタック $\widetilde{\sf Q}^{*}_{n}$ を構成し、実二次形式の空間の特異性を解消する。
• バターン超平面配置と対称群 $\mathbb{S}_n$ の作用を用いて、固有値の重複度に応じた対称行列空間の階層化を行う。
• 双曲的多様体の立方体的およびアソシアヘドロンのタイル張りの双対性を応用し、実直線上の点の配置空間のコンパクトかつ非アスphericalな解消を定義する。
• $\widetilde{\sf Q}^{*}_{n}$ に、反復固有値の対称性を反映する、${\mathbb{S}_{n_i} \wr \mathbb{Z}_2}$ に同型な安定型群を有する位相的グロイド構造を定義する。
• モジュライ空間 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ と正規化された二次形式の空間との間で、幾何的およびグロイド構造を保全する関手を確立する。
• van Kampen の定理を適用して $\widetilde{\sf Q}^{*}_{n}$ の基本群を計算し、$n > 2$ のとき単位元であることを示し、単連結性を示す。

実験結果

リサーチクエスチョン

• RQ1 実対称行列の空間の特異的階層構造は、有限の安定型と制御されたホモトピー型を有する位相的スタックによって解消可能か？
• RQ2 対称行列の固有値の配置空間は、マークされた点を持つ安定型の genus-zero 曲線のモジュライ空間とどのように関係するか？
• RQ3 オビホイドラルスタック $\widetilde{\sf Q}^{*}_{n}$ の位相的および幾何的意義は、ゲノム分野における結合振動子系のモデル化においてどのような意味を持つのか？
• RQ4 $\widetilde{\sf Q}^{*}_{n}$ を用いた二次形式の空間の解消は、段階的変化としての進化的移行を理解するための幾何的枠組みを提供できるか？
• RQ5 バターン群およびカクタス群は、解消された空間 $\widetilde{\sf Q}^{*}_{n}$ のホモトピーおよびコホモロジーにおいてどのような役割を果たすか？

主な発見

• オビホイドラルスタック $\widetilde{\sf Q}^{*}_{n}$ は、その商空間上での相対次元が常に $\frac{1}{2}n(n-1)$ である位相的スタックであり、実対称行列の空間の特異性を解消する。
• $\pi_1(\widetilde{\sf Q}^{*}_{n})$ は $n > 2$ のとき単位元であるため、解消空間は単連結である。
• $\widetilde{\sf Q}^{*}_{n}$ の安定型群は有限であり、$\prod N(n_i) = \prod \mathbb{S}_{n_i} \wr \mathbb{Z}_2$ に同型であり、反復固有値の対称性を反映している。
• $\widetilde{\sf Q}^{*}_{n}$ は ${\rm O}(n) \rtimes J^{*}_{n}$ のオビホイドラル自己同型作用を有し、豊かな対称性構造を示唆する。
• この構成により、ラベル化された固有値を持つ結合振動子系の幾何的モデルが得られ、ミトコンドリアや *E. coli* のようなゲノム系に応用可能である可能性がある。
• 関手的グロイド構造を通じて、モジュライ空間 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ と二次形式の空間が結びつけられ、固有値配置の位相的解析が可能になる。