[论文解读] Quotients by finite equivalence relations

Janós Kollár|ArXiv.org|Dec 18, 2008

semigroups and automata theory参考文献 23被引用 15

一句话总结

本文研究概形上的有限等价关系，重点关注当态射非平坦或目标非正规时商的重构问题。文章建立了此类商作为几何商存在的条件，引入了使用1-上循环的上同调准则以检测非有效关系，并证明仿射环化概形上的环化等价关系通过有限态射到商概形是有效的。

ABSTRACT

This note studies the existence of quotients by finite set theoretic equivalence relations. May 18: Substantial revisions with a new appendix by C. Raicu

研究动机与目标

• 确定从配备有限等价关系 R 的概形 X 构造几何商 Y 的必要且充分条件。
• 解决当 f: X → Y 为有限但非平坦态射时，尤其在 Y 非正规时，纤维积 X ×_Y X 失去传递性与纯维性的问题。
• 通过柯尔莫哥洛夫型复形中的1-上循环，建立一个上同调准则，以检测等价关系是否非有效。
• 证明仿射环化概形上的环化等价关系是有效的，即存在某个有限态射 f: X → Y，使得该关系为 X ×_Y X。
• 提供明确例子，表明即使关系由理想定义，集合论等价关系仍可能因附着点的存在而失效传递性。

提出的方法

• 通过满足自反性、对称性和传递性条件的有限态射 σ₁, σ₂: R ⇉ X 来定义有限等价关系。
• 利用结构层上 σ₁* − σ₂* 的核构造范畴商，定义 (X/R)cat，即概形范畴中的普遍商。
• 将几何商定义为有限态射 q: X → Y，其既是范畴商，又在几何点上诱导 K-点集的双射。
• 在复形 C → C⊗_B C → C⊗_B C⊗_B C → ⋯ 中构造一个1-上循环 f(x,y)，其中 C = A[x]，B = A[f₁,…,fₘ]，以检测非有效关系。
• 应用条件 f(x,y) + f(y,z) − f(x,z) ∈ J(x,y) + J(y,z) 作为上循环条件，通过理想 I(x,y) 定义等价关系。
• 使用 Macaulay2 验证特定 f(x,y) = (x₁y₂ − x₂y₁)y₂³ 在模 J 下不是上边缘，从而证明在 ℤ 上关系为非有效，并且在任意域 k 上基变换后仍保持非有效。

实验结果

研究问题

• RQ1 在什么条件下，概形 X 上的有限等价关系 R 会作为 R ≅ X ×_Y X 对某个有限态射 f: X → Y 成立？
• RQ2 当 f: X → Y 为有限但非平坦态射时，尤其在 Y 非正规时，为何纤维积 X ×_Y X 会失去纯维性或约化性？
• RQ3 能否通过上同调不变量算法检测给定的集合论等价关系是否非有效？
• RQ4 每个齐次非有效等价关系是否都包含于由满足上循环条件的1-上循环构造的普遍关系中？
• RQ5 仿射环化概形上的环化等价关系是否总是作为某个 Y 的纤维积 X ×_Y X 出现，即使不假设平坦性？

主要发现

• 对于任意有限且满射的态射 f: X → Y，几何商 X/R 存在，其中 R = red(X ×_Y X)，且同构于 Y。
• 若关联的1-上循环 f(x,y) 在复形 (50.2) 中不是上边缘，则有限等价关系 R 在 X 上是非有效的，该条件可通过计算机代数系统检验。
• 以 f₁(x) = x₁²，f₂(x) = x₁x₂ − x₂²，f₃(x) = x₂³ 及 f(x,y) = (x₁y₂ − x₂y₁)y₂³ 定义的例子，在 ℤ 上构成一个齐次非有效等价关系。
• 该例子在基变换到任意域 k 后仍保持非有效，因为 f(x,y) 在 k 上复形的 H¹ 中的上同调类非零。
• 商 W/V ≅ H ≅ ℤ 是由 f(x,y) 的类生成的自由 ℤ-模，证明该1-上循环不是上边缘。
• 对于域 k 上的仿射环化概形，每个环化等价关系 R 都可表示为某个仿射环化概形 Y 的 X ×_Y X，因此此类关系总是有效的。