[论文解读] Cyclic symmetry loci in Grasssmannians

Chris Fraser|arXiv (Cornell University)|Oct 12, 2020

Algebraic structures and combinatorial models参考文献 45被引用 4

一句话总结

本文研究格拉斯曼流形中的循环对称性轨线，描述循环群作用下的不动点，给出完全非负 $\ell$-不动点的胞覆分解，并构建高效的完全正性检验方法。当轨道阶足够大时，该文猜想这些轨线上存在广义丛代数结构，将佩斯托诺夫的结果推广至对称情形。

ABSTRACT

The Grassmannian admits an action by a finite cyclic group via the cyclic shift map. We give a simple description of the points fixed by each element of this cyclic group, extending Karp's description of the points fixed by the cyclic shift itself. We give a cell decomposition of the set of totally nonnegative points in each cyclic symmetry locus and describe efficient total positivity tests, extending results of Postnikov to the cyclically symmetric setting. We describe a conjectural generalized cluster structure on cyclic symmetry loci provided the order of the orbifold point is sufficiently large. The generalized exchange relations we find should be a Higher Teichmüller analogue of the relations Chekhov and Shapiro used to study Teichmüller theory of orbifolds.

研究动机与目标

• 系统地描述格拉斯曼流形 $\mathrm{Gr}(k,n)$ 上循环移位作用的不动点轨线。
• 将佩斯托诺夫的胞覆分解与完全正性理论推广至循环对称点的情形。
• 为 $\mathrm{Gr}(k,n)$ 中的 $\ell$-不动点构建高效的完全正性检验方法。
• 在轨道阶 $p = n/\gcd(\ell,n)$ 至少为 $k$ 时，猜想 $\ell$-不动完全非负点的连通分支上存在广义丛代数结构。

提出的方法

• 通过线性坐标变换，将每个循环对称性轨线 $\mathrm{Gr}(k,n)^{\rho^\ell}$ 描述为更小格拉斯曼流形的不交并积。
• 利用 Galashin-Karp-Lam 的技巧，证明 $\ell$-不动完全非负轨线 $\mathrm{Gr}(k,n)^{\rho^\ell}_{\geq 0}$ 同胚于一个闭球。
• 在plabic图中发展循环对称版本的桥分解，以设计 $\ell$-不动完全非负轨线中所有胞覆的高效完全正性检验。
• 在特殊分量 $\mathcal{D}_{n}(k,\ell)$ 上定义一个猜想性的广义丛坐标图集，其中包含一个广义交换关系，其余均为二项式关系。
• 通过将广义丛代数 $\mathcal{A}_{\rm cyc}(k,\ell)$ 中的不定系数 $z_s$ 代入 $p$ 次单位根处的 $q$-二项式系数，恢复坐标环 $\mathbb{C}[\mathcal{D}]$。
• 利用仿射对称群 $\widetilde{S}_\ell$ 中序理想对偶偏序，描述 $\mathrm{Gr}(k,n)^{\rho^\ell}_{\geq 0}$ 中胞覆的闭包序。

实验结果

研究问题

• RQ1 如何代数与几何地刻画格拉斯曼流形 $\mathrm{Gr}(k,n)$ 上循环移位自同态 $\rho^\ell$ 的不动点轨线？
• RQ2 完全非负 $\ell$-不动轨线 $\mathrm{Gr}(k,n)^{\rho^\ell}_{\geq 0}$ 的胞覆分解是什么？其闭包序与仿射对称群有何关联？
• RQ3 能否为 $\ell$-不动点构建高效的完全正性检验方法？若能，其如何推广佩斯托诺夫的方法？
• RQ4 $\ell$-不动完全非负轨线上是否存在广义丛代数结构？其与高阶Teichmüller理论有何关系？

主要发现

• $\ell$-不动轨线 $\mathrm{Gr}(k,n)^{\rho^\ell}$ 同构于更小格拉斯曼流形的不交并积，且是 $\mathrm{Gr}(k,n)$ 中的Richardson簇。
• 完全非负 $\ell$-不动轨线 $\mathrm{Gr}(k,n)^{\rho^\ell}_{\geq 0}$ 同胚于一个闭球，扩展了 Galashin-Karp-Lam 的结果。
• 给出了 $\mathrm{Gr}(k,n)^{\rho^\ell}_{\geq 0}$ 的胞覆分解，其闭包序与 $\widetilde{S}_\ell$ 中Bruhat序下的一个序理想对偶。
• 通过plabic图的循环对称桥分解，为 $\ell$-不动完全非负轨线中所有胞覆构建了高效的完全正性检验，适用于所有胞覆，而不仅限于顶胞。
• 在包含 $\ell$-不动完全非负点的分量 $\mathcal{D}_{n}(k,\ell)$ 上，提出了一个猜想性的广义丛代数结构，其中包含一个广义交换关系，其余均为二项式关系。
• 证明了坐标环 $\mathbb{C}[\mathcal{D}]$ 与方便参数下的上广义丛代数一致，且该结构可通过将 $z_s \mapsto \binom{k}{s}_q$ 在 $p$ 次单位根处代入，作为 $\mathcal{A}_{\rm cyc}(k,\ell)$ 的特化得到。