Incidence equivalence, a survey

ملخص تقني: تكافؤ الحدوث، مسح شامل

بيان المشكلة
يتناول هذا المسح سؤالاً جوهرياً في نظرية الدورات الجبرية على المتنوعات الإسقاطية المعقدة الملساء، وهو سؤال طرحه ب. غريفيث في أوائل السبعينيات. تتعلق المشكلة المركزية بالعلاقة بين علاقتي تكافؤ معرفتين على الدورات من الكوديمينشن (الرتبة التغايرية) $i$ التي تكون مكافئة جبرياً للصفر:

1. تكافؤ الحدوث ($\sim_{inc}$): علاقة هندسية بحتة تُعرف عبر المراسلات. تكون الدورة $\alpha$ مكافئة للحدوث للصفر إذا كانت "مقاسم الحدوث" الخاصة بها على أي متنوع إسقاطي سلس $Y$ (المستحثة بواسطة مراسلات صحيحة من الدرجة $1-i$) مكافئة عقلانياً للصفر.
2. تكافؤ أبيل-جاكوبي ($\sim_{AJ}$): علاقة ترانسندنتالية (متسامية) تُعرف عبر نواة خريطة أبيل-جاكوبي $\psi^i_{AJ}$، التي ترسم الدورات المتكافئة هومولوجياً إلى جاكوبيات غريفيث الوسيطة $J^i(X)$.

السؤال المركزي، والمشار إليه بـ $GC(X, i)$، هو ما إذا كان هذان التكافؤان يتطابقان بالنسبة للدورات المكافئة جبرياً للصفر، على الأقل بعد الضرب في $\mathbb{Q}$. إن الإجابة الإيجابية ستمدد مبرهنة أبيل للدورات (divisors) إلى رتب أعلى.

المنهجية والإطار العملي
يجمع البحث بين النتائج الكلاسيكية من السبعينيات والتطورات الأحدث في نظرية هودج ونظرية الـ biextensions (التمديدات الثنائية). تعتمد المنهجية على المكونات الهيكلية التالية:

• المراسلات (Correspondences): يستخدم المسح فعل المراسلات الصحيحة على مجموعات تشو (Chow groups) والكوهلمولوجيا لتعريف تكافؤ الحدوث ودراسة دالاتية المتنوعات المرتبطة بها.
• الجاكوبيات الوسيطة ومتنوعات بيكار: يميز المؤلف بين جاكوبيات غريفيث الوسيطة $J^i(X)$ (وهي عموماً توريّات معقدة، وليست بالضرورة متنوعات أبيلية) وبين "متنوعات بيكار المعممة" $Pic^i(X)$، المعرفة كخارج الدورات المكافئة جبرياً بالنسبة لتكافؤ الحدوث. وتتم إعادة صياغة المسألة $GC(X, i)$ كمسألة حول ما إذا كانت صورة خريطة أبيل-جاكوبي، $J^i_{alg}(X)$، متماثلة (isogenous) مع $Pic^i(X)$.
• التخمينات القياسية (Standard Conjectures): يرتبط التحليل بعمق بتخمينات غروتينديك القياسية، وتحديداً:
  • التخمين $B(X)$: أن مؤثر ليتزف (Lefschetz operator) $\Lambda$ مستحث بواسطة مراسلة جبرية.
    اقتران $D(X)$: أن التكافؤ الهومولوجي يتطابق مع التكافؤ العددي.
  • تخمين هودج المعمم ($GHC$): الذي يربط ترشيح الـ coniveau في الكوهلمولوجيا بالبنى الهودجية الجزئية.
• الـ biextensions: يدمج المسح أعمال س. مولر-ستاتش باستخدام own Bloch-biextensions. يربط هذا النهج بين انقسام بعض الـ $\mathbb{C}^\times$-torsors (Bloch-biextensions) وتكافؤ الحدوث، مما يوفر جسراً بين الخصائص الهندسية والترانسندنتالية.
• تفكيك ليتزف (Lefschetz Decomposition): يتضمن جزء كبير من الحجة التقنية تحليل المكونات الأولية لتفكيك ليتزف لكلاسات الكوهلمولوجيا ضمن ترشيح الـ coniveau.

المساهمات والنتائج الرئيسية
يقدم البحث نظرة شاملة للنتائج المعروفة ويؤسس عدة استلزامات فيما يتعلق بـ $GC(X, i)$:

1. إعادة صياغة التكافؤ: يثبت أن $GC(X, i)$ يتحقق إذا وفقط إذا كانت $J^i_{alg}(X)$ متماثلة مع متنوع بيكار المعمم $Pic^i(X)$.
2. استلزامات التخمينات القياسية:
   • إذا تحقق تخمين هودج المعمم $GHC(X, 2i-1, i)$، فإن $GC(X, i)$ يكون صحيحاً.
   • إذا تحقق التخمين $B(X)$، فإن جميع المكونات الأولية لتفكيك ليتزف للكلاسات الجبرية هي نفسها جبرية. هذا الشرط، المسمى $(\Lambda, X, i)$، يستلزم $GC(X, i)$.
   • بناءً على ذلك، يُعرف أن $GC(X, i)$ يتحقق للمتنوعات الأبيلية، حيث أن $B(X)$ متحقق بالنسبة لها.
3. حالات محددة:
   • الكوديمينشن 1 و $d$: يتحقق كل من $GC(X, 1)$ و $GC(X, d)$ (مستعيداً النتائج الكلاسيكية للدورات (divisors) والدورات الصفرية عبر متنوعات بيكار وألبرنيس).
   • الكوديمينشن 2: يستعرض البحث برهان ج. مور لـ $i=2$. ويشير إلى أن حجة مور الهندسية الأصلية المتعلقة بعدم تدهور اقتران ضرب كوب (cup-product pairing) على $H^3_{alg}(X)$ بدت غير مكتملة. يقدم المؤلف برهاناً مصححاً وأكثر عمومية باستخدام مؤثر هودج $*$ ونتائج ويل (Weil) على تفكيك ليتزف، مؤكداً $GC(X, 2)$.
   • الأبعاد الفردية والتقاطعات الكاملة: بالنسبة لمتنوع $X$ ذي البعد $d=2m+1$ حيث تتلاشى أعداد بيتتي الفردية $b_{2k+1}(X)$ لـ $k \neq m$ (مثل التقاطعات الكاملة الملساء في الفضاء الإسقاطي)، فإن $GC(X, m)$ يتحقق.
4. الثنائية (Duality): يوضح المسح الثنائية بين $J^i_{alg}(X)$ و $J^j_{alg}(X)$ (حيث $i+j=d+1$) ويبين أنه إذا تحقق $GC(X, i)$، فإن $GC(X, j)$ يتحقق تحت شروط ثنائية محددة.

الأهمية والدوافع
يذكر المؤلف أن الدافع لهذا المسح ينبع من ملاحظة حديثة لـ ز. تشن تربط سؤال غريفيث بالسلوك التقاربي للاقتران الارتفاعي (height pairing) الأرخميدي في سياق هندسي. وتحديداً، تشير الأعمال الحديثة لـ هاين وبراوسنان-بيرلستين حول السلوك التقاربي للاقترانات الارتفاعية لمتغيرات بنى هودج المختلطة القابلة للضبط، إلى أنه إذا كانت الإجابة على $GC(X, i)$ إيجابية، فإن معاملًا معينًا في التوسع التقاربي يتوافق مع اقتران ارتفاع هندسي محلي.

يهدف البحث إلى تجميع الأدبيات القديمة التي أصبح من الصعب تحديد موقعها، وتوضيح الحجج التي تعتمد على معرفة كانت شائعة في السبعينيات ولكن ربما نسيها الأجيال الجديدة. إنه يعمل كمرجع يربط النظرية الكلاسيكية لتكافؤ الحدوث بالتطورات الحديثة في نظرية هودج، لا سيما فيما يتعلق بسلوك الكلاسات ذات المستوى الهودي $\leq 1$ في الكوهلمولوجيا ذات الرتبة الفردية. لا يدعي المسح حل الحالة العامة لـ $GC(X, i)$ لمتنوعات اختيارية، بل يحدد الشروط الدقيقة (مثل $B(X)$ أو $GHC$) التي يُعرف تحتها تحقق هذا التكافؤ.