[论文解读] Toric principal bundles, piecewise linear maps and buildings

Kiumars Kaveh, Christopher Manon|arXiv (Cornell University)|Jun 14, 2018

Algebraic Geometry and Number Theory参考文献 17被引用 3

一句话总结

本文引入了从扇状图 Σ 到线性代数群 G 的建筑 B(G) 的分段线性映射，表明这些映射对复数域上的 тор簇 XΣ 上的带框架的环丛主 G-丛进行分类。关键结果将克里亚赫科对环丛向量丛的分类推广，并将正性和全局生成性与相关映射的凸性联系起来。

ABSTRACT

We define the notion of a piecewise linear map from a fan $\Sigma$ to $\mathcal{B}(G)$, the underlying space of the Tits building of a linear algebraic group $G$. We show that if $X_\Sigma$ is a toric variety over $\mathbb{C}$ with fan $\Sigma$, the set of integral piecewise linear maps from $\Sigma$ to $\mathcal{B}(G)$ classifies (framed) toric principal $G$-bundles on $X_\Sigma$. In particular, this recovers Klyachko's classification of toric vector bundles on $X_\Sigma$. Moreover, extending the case of line bundles, it is shown that criteria for ampleness and global generation of a toric vector bundle translates to convexity conditions on the associated piecewise linear map.

研究动机与目标

• 将克里亚赫科对环丛向量丛的分类推广至环丛主 G-丛在环丛簇上的情形。
• 通过扇状图和建筑的组合数据，建立系统化框架，对带框架的环丛主 G-丛进行分类。
• 通过凸性条件，将正性和全局生成性等几何性质推广至环丛主丛的设定。
• 统一环丛丛的组合分类与蒂茨建筑及分段线性映射的结构。

提出的方法

• 定义从环丛簇 XΣ 的扇状图 Σ 到线性代数群 G 的建筑 B(G) 的分段线性映射。
• 建立整数分段线性映射与 XΣ 上带框架的环丛主 G-丛的同构类之间的双射。
• 利用蒂茨建筑 B(G) 的结构，编码在环丛图上 G-丛约化所对应的组合数据。
• 利用映射的分段线性性质，将丛的几何性质转化为凸性条件。
• 当 G = GL(n, ℂ) 时，作为特例恢复克里亚赫科对环丛向量丛的分类。
• 应用分段线性映射的凸性，刻画相关环丛向量丛的正性和全局生成性。

实验结果

研究问题

• RQ1 如何将环丛向量丛的分类推广至任意半单群 G 的环丛主 G-丛？
• RQ2 扇状图 Σ 上何种组合结构对应于环丛主 G-丛的数据？
• RQ3 环丛向量丛的正性和全局生成性等几何性质如何在相关分段线性映射中体现？
• RQ4 蒂茨建筑 B(G) 以何种方式成为编码环丛 G-丛结构的映射的自然目标？
• RQ5 能否将分段线性映射到 B(G) 的凸性作为相关丛正性或全局生成性的判别准则？

主要发现

• 从扇状图 Σ 到建筑 B(G) 的整数分段线性映射对环丛簇 XΣ 上的带框架环丛主 G-丛进行分类。
• 当 G = GL(n, ℂ) 时，该分类恢复了克里亚赫科对环丛向量丛的结果。
• 环丛向量丛的正性等价于相关分段线性映射为严格凸。
• 环丛向量丛的全局生成性对应于相关分段线性映射为凸。
• 建筑 B(G) 为编码在环丛图上 G-丛约化数据提供了自然的几何目标。
• 该框架通过分段线性映射的凸性，将线丛的判别准则推广至高秩丛。