[论文解读] Extremal varieties 3-rationally connected by cubics, quadro-quadric Cremona transformations and rank 3 Jordan algebras

Luc Pirio, Francesco Russo|arXiv (Cornell University)|Sep 16, 2011

Advanced Topics in Algebra参考文献 19被引用 6

一句话总结

本文建立了一种精确的双射关系——称为XJC对应——在三类数学对象之间：在ℙ²ⁿ⁺¹中被 twisted cubics 3-有理连通的n维射影簇、ℙⁿ⁻¹上的四次-四次Cremona变换，以及复Jordan代数的秩三类之间，分别模射影等价、线性等价与同构等价。其关键贡献在于通过Jordan代数的根与半单分解，将这些看似无关的领域联系起来，实现结构性分类。

ABSTRACT

For any $n\geq 3$, we prove that there exist equivalences between these apparently unrelated objects: irreducible $n$-dimensional non degenerate projective varieties $X\subset \mathbb P^{2n+1}$ different from rational normal scrolls and 3-covered by twisted cubic curves, up to projective equivalence; quadro-quadric Cremona transformations of $ \mathbb P^{n-1}$, up to linear equivalence; $n$-dimensional complex Jordan algebras of rank three, up to isotopy. We also provide some applications to the classification of particular classes of varieties in the class defined above and of quadro-quadric Cremona transformations, proving also a structure theorem for these birational maps and for varieties 3-covered by twisted cubics by reinterpreting for these objects the solvability of the radical of a Jordan algebra.

研究动机与目标

• 建立三类代数几何对象之间深层次的结构对应关系：被 twisted cubics 3-覆盖的极小簇、ℙⁿ⁻¹上的四次-四次Cremona变换，以及复Jordan代数的秩三类。
• 证明在ℙ²ⁿ⁺¹中，若不可约n维簇被 twisted cubics 3-有理连通（排除有理正规柱面），则其射影等价于秩3Jordan代数上的 twisted cubic。
• 证明ℙⁿ⁻¹上的每个四次-四次Cremona变换均线性等价于一个秩3Jordan代数的伴随映射，从而将双有理几何与非结合代数联系起来。
• 通过根扩张与零扩张理论，将对应关系推广至退化情形，包括有理正规柱面与“假”Cremona映射。
• 应用该对应关系，推导出四次-四次Cremona变换的结构定理，并通过Jordan代数根理论重新证明关于同态多项式已知的结果。

提出的方法

• 通过秩3Jordan代数上 twisted cubic 的几何实现，构造一个对应关系（即XJC对应），已知此类对象被有理三次曲线3-覆盖。
• 利用秩3Jordan代数的伴随映射，在ℙⁿ⁻¹上定义一个四次-四次Cremona变换，并证明其线性等价于一个对合。
• 应用Verra构造，将一个有理映射γ ∈ ℒ(X)提升为新簇Xγ，其为X的根扩张（radical null extension），并刻画Xγ仍属于3-有理连通簇类的条件。
• 利用Jordan代数的根与半单部分理论，定义Cremona变换或簇的半单秩与维数，从而实现结构定理。
• 利用Jordan代数的范数多项式刻画次数为3的同态多项式，证明此类多项式模线性等价即为半单秩3Jordan代数的范数。
• 证明Verra扩张Xγ属于类X(3,3)当且仅当γ在一般三次曲线C ⊂ X上的限制为嵌入，且其像为Gr(r, ℂ²ʳ)中的直线。

实验结果

研究问题

• RQ1 不可约n维射影簇X ⊂ ℙ²ⁿ⁺¹被 twisted cubics 3-有理连通（排除有理正规柱面）、ℙⁿ⁻¹上的四次-四次Cremona变换，与复Jordan代数的秩三类之间，其精确对应关系为何？
• RQ2 在何种几何条件下，X ∈ X(3,3)的Verra扩张Xγ仍属于X(3,3)？
• RQ3 如何利用Jordan代数的根与半单分解来定义并分类Cremona变换或3-有理连通簇的半单部分及其维数？
• RQ4 能否通过Jordan代数理论完全刻画定义四次-四次Cremona变换的次数为3的同态多项式的结构？
• RQ5 分裂根扩张在XJC对应中起何作用？与非分裂根扩张在对应几何实现中又有何区别？

主要发现

• 在不可约n维射影簇X ⊂ ℙ²ⁿ⁺¹被 twisted cubics 3-有理连通（排除有理正规柱面）、ℙⁿ⁻¹上的四次-四次Cremona变换，以及n维复Jordan代数的秩三类之间，存在一个自然的双射关系，分别模射影等价、线性等价与同构等价。
• 每个不可约n维簇X ⊂ ℙ²ⁿ⁺¹若被 twisted cubics 3-覆盖且非有理正规柱面，则其射影等价于一个秩3复Jordan代数上的 twisted cubic。
• ℙⁿ⁻¹上的每个四次-四次Cremona变换均线性等价于一个对合，即一个秩3Jordan代数的伴随映射，其维数为n。
• 若X ∈ X(3,3)，则其Verra扩张Xγ属于X(3,3)当且仅当γ在一般三次曲线C ⊂ X上的限制为嵌入，且其像为Gr(r, ℂ²ʳ)中的直线。
• 四次-四次Cremona变换或3-有理连通簇的半单部分对应于其关联Jordan代数的半单部分，且半单秩与维数为良好定义的不变量。
• 每个定义四次-四次Cremona变换且其分支点由f截取的次数为3的同态多项式f，模线性等价即为半单秩3Jordan代数的范数，从而为文献中已知结果提供了新证明。