[论文解读] Conormal Geometry of Maximal Minors

Steven L. Kleiman, Anders Thorup|ArXiv.org|Aug 22, 1997

Commutative Algebra and Its Applications参考文献 5被引用 4

一句话总结

本文研究代数几何中最大子式的法丛几何，聚焦于当 A[N] 在 A[M] 上非有限生成时，Proj(A[M]) 中例外子簇 E 的维数与等维性。通过交换代数与代数几何的技术，作者证明在特定条件下 dim E = r−1，包括当 N 自由且 A[N] 为对称代数时，或当 A 为普遍诺特环且 W 非空时。该结果恢复并重新证明了最大子式经典的高度不等式，并推广了理想积分依赖性的判别准则。

ABSTRACT

Let A be a Noetherian local domain, N be a finitely generated torsion- free module, and M a proper submodule that is generically equal to N. Let A[N] be an arbitrary graded overdomain of A generated as an A-algebra by N placed in degree 1. Let A[M] be the subalgebra generated by M. Set C:=Proj(A[M]) and r:=dim C. Form the (closed) subset W of Spec(A) of primes p where A[N]_p is not a finitely generated module over A[M]_p, and denote the preimage of W in C by E. We prove this: (1) dim E=r-1 if either (a) N is free and A[N] is the symmetric algebra, or (b) W is nonempty and A is universally catenary, and (2) E is equidimensional if (a) holds and A is universally catenary. Our proof was inspired by some recent work of Gaffney and Massey, which we sketch; they proved (2) when A is the ring of germs of a complex- analytic variety, and applied it to perfect a characterization of Thom's A_f-condition in equisingularity theory. From (1), we recover, with new proofs, the usual height inequality for maximal minors and an extension of it obtained by the authors in 1992. From the latter, we recover the authors' generalization to modules of B"oger's criterion for integral dependence of ideals. Finally, we introduce an application of (1), being made by the second author, to the geometry of the dual variety of a projective variety, and use it to obtain an interesting example where the conclusion of (1) fails and A[N] is a finitely generated module over A[M].

研究动机与目标

• 分析 A[N] 在 A[M] 上非有限生成时 Proj(A[M]) 中例外子簇 E 的几何结构。
• 在模 N 与环 A 的特定条件下，建立 E 的维数与等维性性质。
• 通过新的几何方法，恢复并重新证明关于由最大子式生成的理想高度的经典结果。
• 通过法丛几何框架，将理想积分依赖性的理论推广至模。
• 将结果应用于射影代数簇的对偶簇，揭示主结论失效的反例。

提出的方法

• 定义 A[M] 为诺特局部整环 A 上有限生成无挠模 N 的真子模 M 生成的 A-子代数。
• 构造 C = Proj(A[M])，并定义 E 为 W ⊆ Spec(A) 中满足 A[N]_p 在 A[M]_p 上非有限生成的点在 C 中的原像。
• 利用普遍诺特环的性质与对称代数的结构，分析 E 的维数。
• 应用受 Gaffney 与 Massey 在奇点等值性理论中研究 Thom 的 A_f 条件所启发的技术。
• 利用分次超域与 Proj 构造，将模论性质与几何维数关联。
• 通过局部上同调与 ICIS 局部芽中的维数理论，分析有限生成性的失效。

实验结果

研究问题

• RQ1 在何种条件下，Proj(A[M]) 中的例外子簇 E 的维数为 r−1，其中 r = dim C？
• RQ2 当 A 为普遍诺特环且 N 自由时，例外子簇 E 何时为等维？
• RQ3 如何通过法丛几何框架恢复并推广最大子式理想的高度不等式？
• RQ4 法丛几何框架对模中理想积分依赖性准则有何影响？
• RQ5 当 A[N] 仍为 A[M] 上有限生成时，主定理是否可能失效？若如此，何种几何条件导致此现象？

主要发现

• 若 N 自由且 A[N] 为对称代数，或 W 非空且 A 为普遍诺特环，则例外子簇 E 的维数为 r−1。
• 当 N 自由且 A 为普遍诺特环时，例外子簇 E 为等维。
• 主结果恢复了由最大子式生成的理想经典高度不等式。
• 通过法丛几何框架的模论推广，恢复了 Böger 关于理想积分依赖性的判别准则。
• 构造了一个反例，表明即使 A[N] 为 A[M] 上有限生成，主定理的结论仍可能失效，从而证明了假设条件的必要性。