[论文解读] Diagonalizing the genome II: toward possible applications

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

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

一句话总结

本文提出了一种基于具有标记点的稳定亏格零曲线模空间的模型，利用轨形堆叠 ${\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$ 矩阵空间的精细几何结构化分辨率，解决由于特征值重数导致的奇异分层问题。
• 建立一个拓扑群胚框架，将带标记点的实亏格零曲线模空间 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 与归一化二次型空间联系起来。
• 探索以对称矩阵特征值为参数的耦合振子系统，作为基因组与进化动力学的建模工具。
• 构建一个堆叠 $\widetilde{\sf Q}^{*}_{n}$，以解决商空间 $\mathcal{Q}^{*}_{n}/{\rm O}(n)$ 的奇点问题，具有有限稳定子群和受控同伦型。
• 建议该分辨率可能为高维分层空间中的进化转变作为相变现象提供几何基础。

提出的方法

• 在可定向模空间 $\widetilde{\sf M}_{n+1}$ 上构造堆叠 $\widetilde{\sf Q}^{*}_{n}$ 作为拉回，以解决实二次型空间的奇点问题。
• 利用辫子超平面排列及对称群 $\mathbb{S}_n$ 的作用，根据特征值重数对对称矩阵空间进行分层。
• 应用双曲流形上立方体与关联多面体剖分之间的对偶性，定义实直线上点配置空间的紧致、无挠（aspherical）分辨率。
• 在 $\widetilde{\sf Q}^{*}_{n}$ 上定义一个拓扑群胚结构，其稳定子群同构于半直积 $\mathbb{S}_{n_i} \wr \mathbb{Z}_2$，反映重复特征值的对称性。
• 在模空间 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 与归一化二次型空间之间建立函子关系，保持几何与群胚结构。
• 应用范坎彭定理计算 $\widetilde{\sf Q}^{*}_{n}$ 的基本群，证明当 $n > 2$ 时其为平凡群，表明该空间是单连通的。

实验结果

研究问题

• RQ1 能否通过具有有限稳定子群和受控同伦型的拓扑堆叠，对实对称矩阵空间的奇异分层进行分辨率？
• RQ2 如何将对称矩阵特征值的配置空间与带标记点的稳定亏格零曲线模空间相关联？
• 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)$ 的拓扑堆叠，成功解决了实对称矩阵空间的奇点问题。
• 当 $n > 2$ 时，基本群 $\pi_1(\widetilde{\sf Q}^{*}_{n})$ 为平凡群，表明该分辨率是单连通的。
• $\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})$ 与二次型空间联系起来，使得特征值构型的拓扑分析成为可能。