[论文解读] Schubert calculus and torsion explosion

Geordie Williamson|arXiv (Cornell University)|Sep 19, 2013

Advanced Algebra and Geometry参考文献 36被引用 28

一句话总结

本文证明了SLₙ中某些呈指数增长的施普伦格特上同调数对应于索尔杰尔双模中的扭量，从而表明当p ≤ h时，卢茨蒂格关于正特征下单模字符的猜想不成立。作者利用交形式以及索尔杰尔双模的生成元与关系来检测p-扭量，为卢茨蒂格和詹姆斯的猜想在高秩情形下提供了反例。

ABSTRACT

We observe that certain numbers occurring in Schubert calculus for SL_n also occur as entries in intersection forms controlling decompositions of Soergel bimodules and parity sheaves in higher rank. These numbers grow exponentially. This observation gives many counterexamples to Lusztig's conjecture on the characters of simple rational modules for SL_n over a field of positive characteristic. We explain why our examples also give counter-examples to the James conjecture on decomposition numbers for symmetric groups.

研究动机与目标

• 研究SLₙ中施普伦格特上同调与索尔杰尔双模中扭量之间的联系。
• 检验当p ≤ h时，卢茨蒂格关于正特征下单模字符的猜想是否成立。
• 为卢茨蒂格猜想与对称群分解数的詹姆斯猜想提供反例。
• 建立通过索尔杰尔双模理论中的交形式检测上同调层扭量的机制。
• 证明施普伦格特上同调数的指数增长会导致高秩情形下扭量的爆发。

提出的方法

• 作者利用索尔杰尔双模的单峰范畴的生成元与关系，计算对(w, x)的交形式，其中w ∈ W且x ≤ w。
• 通过分析这些整数交形式的初等因子，检测整数上同调复叠层的层与余层中的p-扭量。
• 该方法依赖于：无p-扭量与卢茨蒂格猜想在p > h时的真值之间的等价性，通过奇偶层与索尔杰尔的范畴化实现。
• 他们将此方法应用于斯坦贝格权附近的子商范畴，该范畴模拟了有理表示的主块。
• 作者利用权图理论以及埃利斯与威廉森的工作，相较于传统拓扑方法，简化了扭量的检测。
• 他们利用关于旗流形中扭量的已知结果（例如布拉登、波洛的研究），并通过索尔杰尔双模范畴中的代数计算加以推广。

实验结果

研究问题

• RQ1 SLₙ中的施普伦格特上同调数是否对应于索尔杰尔双模中的扭量？若如此，这对卢茨蒂格猜想有何影响？
• RQ2 施普伦格特上同调数的指数增长是否会导致高秩李群中扭量的爆发？
• RQ3 当p ≤ h时，卢茨蒂格猜想是否失效？这一失效能否通过交形式检测？
• RQ4 索尔杰尔双模中的扭量是否能够使对称群分解数的詹姆斯猜想失效？
• RQ5 是否存在一种系统性的代数方法，通过索尔杰尔双模检测交上同调中的p-扭量？

主要发现

• 本文识别出SLₙ中呈指数增长的施普伦格特上同调数，并证明其与索尔杰尔双模中的扭量相对应。
• 这些数在p ≤ h时导致了卢茨蒂格关于单模字符猜想的反例。
• 作者为对称群分解数的詹姆斯猜想提供了明确的反例。
• 通过索尔杰尔双模范畴中交形式的初等因子，检测到了交上同调层中的扭量。
• 利用生成元与关系的索尔杰尔双模方法，提供了一种计算上可行的p-扭量检测方式，避免了复杂的拓扑计算。
• 结果表明，扭量不仅限于低秩情形，如A₄ₙ₋₁与E₆等高秩旗流形中同样可能发生。