[论文解读] Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions

Akihiro Higashitani, Yusuke Nakajima|arXiv (Cornell University)|Feb 23, 2017

Commutative Algebra and Its Applications参考文献 37被引用 12

一句话总结

本文利用底层偏序集刻画了Hibi环中的锥型除子理想，提供了识别这些秩一最大 Cohen-Macaulay 模的组合准则。基于此刻画，作者为多项式环的Segre积构造了非交换的创痕解析（NCCRs），并通过突变操作生成额外的NCCRs，建立了分裂NCCRs的完整交换图。

ABSTRACT

In this paper, we study divisorial ideals of a Hibi ring which is a toric ring arising from a partially ordered set. We especially characterize the special class of divisorial ideals called conic using the associated partially ordered set. Using our description of conic divisorial ideals, we also construct a module giving a non-commutative crepant resolution (= NCCR) of the Segre product of polynomial rings. Furthermore, applying the operation called mutation, we give other modules giving NCCRs of it.

研究动机与目标

• 通过底层偏序集的组合学方法对Hibi环中的锥型除子理想进行分类。
• 利用锥型除子理想为多项式环的Segre积构造非交换创痕解析（NCCRs）。
• 通过对现有NCCRs应用突变操作，生成新的NCCRs，揭示分裂NCCRs的完整交换图。
• 为给定类别的toric环提供所有分裂NCCRs的有限、组合显式描述。

提出的方法

• 通过类群 Cl(R) ≅ Z^{n−d} 将Hibi环的除子理想表示为 Z^{n−d} 中的元素，其中 n 和 d 由偏序集的哈斯图导出。
• 将锥型除子理想定义为实点在映射 σ: M_R → R^n 下的像经上取整后得到的，即 T(a) = T(⌈σ(x)⌉)，其中 x ∈ M_R。
• 利用锥型理想恰好对应于 R^{1/m} 的直和项这一事实，通过 End_R(R^{1/m}) 构造NCCRs。
• 对权格中的特征所关联的模应用突变操作 μ±_{χ,λ}，从已有NCCRs生成新的NCCRs。
• 通过迭代应用突变操作构建分裂NCCRs的交换图，其中顶点代表除子理想的直和，边表示突变转移。
• 通过验证所有结果模均为最大Cohen-Macaulay模且具有有限全局维数，确认其为有效的NCCRs。

实验结果

研究问题

• RQ1 Hibi环中的哪些除子理想是锥型的？如何利用偏序集结构进行组合刻画？
• RQ2 如何利用锥型除子理想为多项式环的Segre积构造非交换创痕解析（NCCRs）？
• RQ3 连接同一环的不同NCCRs的突变图具有何种结构？
• RQ4 能否从单个初始NCCR出发，通过突变操作生成一个Segre积的所有分裂NCCRs？
• RQ5 何种条件可确保分裂NCCR的突变结果仍为分裂NCCR？

主要发现

• Hibi环中的锥型除子理想与 M_R 中满足其在 σ 下的像经上取整后属于 Z^n 的点之间存在双射关系，从而提供了完整的组合刻画。
• 对于 r 个维度为 t 的多项式环的Segre积，当 r=2, t=3 时，模 M_L = ⊕_{η∈L} M_η（其中 L = {(0,0), (1,0), (0,1), (1,1)}）构成一个分裂NCCR。
• 突变操作 μ+_{χ,λ} 和 μ−_{χ,λ} 可从已有NCCRs生成新NCCRs，且当 r=2, t=3 时，其结果交换图包含多个通过突变边连接的顶点。
• 突变过程保持了分裂性质与有限全局维数，确保所有结果模均为有效的NCCRs。
• NCCRs的交换图是有限的且可显式计算，每个顶点对应一个除子理想的直和，边表示突变转移。
• 通过突变构造的所有NCCRs均为分裂型，且整个家族可由单个初始分裂NCCR经迭代突变生成。