[论文解读] Complex Intersections of Real Cycles in Real Algebraic Varieties and Generalized Arnold-Viro Inequalities

Sergey Finashin|arXiv (Cornell University)|Feb 3, 1999

Algebraic Geometry and Number Theory参考文献 10被引用 4

一句话总结

本文通過歐拉特徵積分，建立實代數簇上交集形式與實奇點局部不變量之間的公式，將其與 Arnold-Viro 不等式推廣。該文提供了計算曲面奇點局部不變量的方法，並將結果推廣至高維代數簇，特別應用於射影空間中沿超平面構型分支的雙覆蓋。

ABSTRACT

Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in $d$-homologies of $\R X$. Analizing it, one can obtain an information about $\R X$, as it was done by V.I.Arnold in the case of non-singular double planes and then generalized by O.Ya.Viro and V.M.Kharlamov to the nodal surfaces. I present an integration (based on the Euler characteristic) formula, which expresses this form in terms of a certain local inveriant of the real singularities (which is, essentially, the local version of this form). I give a few methods to calculate this invariant in the case of surface singularities and analyze its properties in the higher dimensional case. The results are applied, for instance, to the double coverings over a projective space, branched along simple arrangements of hyperplanes.

研究动机与目标

• 透過將實代數簇上的交集形式與其實奇點的局部不變量相聯繫，擴展對其理解。
• 將先前針對非奇異與結點曲面的結果推廣至高維代數簇與奇點情形。
• 發展用於控制實代數簇上全局交集形式之局部不變量的計算工具。
• 將理論應用於射影空間沿超平面構型分支的雙覆蓋。

提出的方法

• 使用歐拉特徵推導出積分公式，將全局交集形式以實奇點的局部不變量表示。
• 定義一個局部不變量，用以捕捉每個實奇點對全局交集形式的貢獻。
• 在複化實代數簇的背景下應用該公式，其中複化在實軌道附近為有理同調流形。
• 使用 AMS-TeX 進行形式化表述，嚴謹推導公式及其性質。
• 透過拓撲與代數技術分析局部不變量在高維情形下的行為。
• 提供利用推導公式與拓撲不變量，對曲面奇點進行顯式計算的方法。

实验结果

研究问题

• RQ1 如何以實代數簇上實奇點的局部不變量來表達其上全局交集形式？
• RQ2 在存在實奇點的情形下，控制交集形式的局部不變量的精確性質為何？
• RQ3 一般化的 Arnold-Viro 不等式如何從實週環上歐拉特徵的積分中產生？
• RQ4 對於曲面奇點，該局部不變量在多大程度上可顯式計算？
• RQ5 此公式對沿超平面構型分支的射影空間雙覆蓋有何影響？

主要发现

• 本文推導出一個精確的積分公式，將簇實部分上的全局交集形式以實奇點的局部不變量表示。
• 證明局部不變量是連結實軌道拓撲與複交集形式的關鍵組成部分。
• 針對曲面奇點，本文提供多種計算局部不變量的方法，使顯式應用成為可能。
• 該理論將先前針對非奇異與結點曲面的結果推廣至具有更複雜實奇點的代數簇。
• 該框架成功應用於沿簡單超平面構型分支的射影空間雙覆蓋，得出新的不等式。
• 透過拓撲與同調方法，將 Arnold-Viro 型不等式之適用範圍擴展至具有奇點的實代數簇。