[论文解读] Singular matroid realization spaces

Daniel Corey, Dante Luber|arXiv (Cornell University)|Jul 21, 2023

Retinoids in leukemia and cellular processesBiochemistry, Genetics and Molecular Biology被引用 3

一句话总结

本文证明了复数可实现的秩3拟阵的实现空间在基集大小为11或更少时是光滑的，但在大小为12或更多时变得奇异，出现节点奇异点。通过理论约化与基于OSCAR的计算机辅助验证，作者证明了开格拉斯曼流形 $Γ^{∞}(3,n;\mathbb{C})$ 在 $n \geq 12$ 时不满足 schön 性质，从而解决了热带几何与模形式理论中的一个关键问题。

ABSTRACT

We study smoothness of realization spaces of matroids for small rank and ground set. For $\mathbb{C}$-realizable matroids, when the rank is $3$, we prove that the realization spaces are all smooth when the ground set has $11$ or fewer elements, and there are singular realization spaces for $12$ and greater elements. For rank $4$ and $9$ or fewer elements, we prove that these realization spaces are smooth. As an application, we prove that $ ext{Gr}^{\circ}(3,n;\mathbb{C})$ -- the locus of the Grassmannian where all Plücker coordinates are nonzero -- is not schön for $n\geq 12$.

研究动机与目标

• 确定复数可实现的秩3拟阵在基集大小 $n$ 最小为何值时，其实现空间变为奇异。
• 将光滑性与不可约性的研究扩展至基集较小的秩4拟阵。
• 研究开格拉斯曼流形 $\mathsf{Gr}^\circ(3,n;\mathbb{C})$ 及其模空间 $\mathcal{R}(3,n)$ 的 schön 性质，特别是当 $n \geq 12$ 时。
• 将拟阵实现理论应用于热带几何，特别是初始退化及其奇异点。
• 识别实现空间为奇异的条件，并探讨固定 $(d,n)$ 对下可能出现的奇异类型范围。

提出的方法

• 利用主扩张与结构结果，将光滑性验证约化为更小的拟阵，利用自由扩张下的封闭性。
• 使用 OSCAR 计算代数系统，验证了 50,945 个拟阵的光滑性，显著降低了计算负担。
• 应用 Mnëv 的普遍性定理与 Gelfand-MacPherson 对应关系，将拟阵层与格拉斯曼流形的初始退化联系起来。
• 构造含代数独立元素的一参数矩阵族 $E_1(t)$ 与 $E_2(t)$，以建模初始退化并分析其热带化。
• 利用逆极限构造与态射 $\pi: \mathsf{Gr}(\mathsf{w}) \to \mathcal{R}(\mathsf{Q}_{\text{sing}};\mathbb{C})$ 分析初始退化的结构。
• 验证热带化 $\mathsf{trop}(\mathsf{p}_1(t))$ 与 $\mathsf{trop}(\mathsf{p}_2(t))$ 等于固定权向量 $\mathsf{w}$，从而确认 $\mathsf{w} \in \mathsf{TGr}^\circ(3,n;\mathbb{C})$。

实验结果

研究问题

• RQ1 存在复数可实现的秩3拟阵，其基集大小为 $n$，且实现空间为奇异的最小 $n$ 是多少？
• RQ2 对于 $n \leq 9$，复数可实现的秩4拟阵的实现空间是否均为光滑？
• RQ3 开格拉斯曼流形 $\mathsf{Gr}^\circ(3,n;\mathbb{C})$ 在 $n = 9, 10, 11$ 时是否满足 schön 性质？
• RQ4 对于固定的 $(d,n)$ 对，拟阵实现空间中可能出现哪些奇异类型？是否存在某些类型的障碍？
• RQ5 用于 $n \geq 12$ 的技术是否可扩展，以解决 $n = 9,10,11$ 时的 schön 性质问题？

主要发现

• 基集大小为11或更少的 $\mathbb{C}$-可实现秩3拟阵，其所有实现空间均为光滑。
• 当 $n \geq 12$ 时，存在秩3拟阵，其在 $\mathbb{C}$ 上的实现空间具有节点奇异点，从而确立了 $n=12$ 为最小此类大小。
• 基集大小 $n \leq 9$ 的 $\mathbb{C}$-可实现秩4拟阵，其所有实现空间均为光滑。
• 当 $n \geq 12$ 时，开格拉斯曼流形 $\mathsf{Gr}^\circ(3,n;\mathbb{C})$ 不满足 schön 性质，由奇异初始退化的存在性所证实。
• 模空间 $\mathcal{R}(3,n)$ 在 $n \geq 12$ 时不满足 schön 性质，这是由于在环因子下 schön 性质的等价性。
• 逆极限态射 $\psi_{\mathsf{w}}$ 是同构，确认了初始退化 $\mathsf{Gr}(\mathsf{w})$ 作为具有两个横截相交不可约分支的约化概形的结构。