Varieties with representable CH_0-group and a question of Colliot-Thélène

तकनीकी सारांश: प्रतिनिधि योग्य (Representable) $CH_0$-समूह वाले प्रकार और कोली-थेलन (Colliot-Thélène) का एक प्रश्न

समस्या विवरण
यह शोध पत्र कोली-थेलन द्वारा उठाए गए एक विशिष्ट प्रश्न को संबोधित करता है जो शून्य-चक्रों (zero-cycles) के चेकोव समूह ($CH_0$) की प्रतिनिधित्व क्षमता (representability) और एक चिकनी प्र been projective जटिल किस्मों (smooth projective complex varieties) पर एक "सार्वभौमिक 0-चक्र" (universal 0-cycle) के अस्तित्व के बीच संबंध से संबंधित है।

माना कि $X$ एक चिकनी प्र been projective किस्म है। $CH_0(X)$ समूह को प्रतिनिध्य योग्य (representable) कहा जाता है यदि अल्बेनाज़ मॉर्फिज्म (Albanese morphism) $a_X: CH_0(X)_{hom} \to Alb(X)$ एक समाकारिता (isomorphism) हो। $X$ के लिए एक सार्वभौमिक 0-चक्र को एक कोडिमेंशन $n$ चक्र $\Gamma \in CH_n(Alb(X) \times X)$ (जहाँ $n = \dim X$) के रूप में परिभाषित किया गया है, ऐसा कि किसी भी $t \in Alb(X)$ के लिए, संरचना $a_X \circ \Gamma^* (\{t\} - \{0\})$ $Alb(X)$में$t$ के बराबर होती है।

यद्यपि यह ज्ञात है कि बिना सार्वभौमिक 0-चक्रों वाली किस्में मौजूद हैं (जैसे कि लेखक द्वारा पूर्ववर्ती कार्य में निर्मित कुछ सतहें), और ऐसी किस्में भी मौजूद हैं जिनमें प्रतिनिधि योग्य $CH_0$ समूह होते हैं, यह एक खुला प्रश्न था कि क्या ये दोनों गुण परस्पर अनन्य (mutually exclusive) हैं। विशेष रूप से, कोली-थेलन ने पूछा था: क्या कोई ऐसी चिकनी जटिल प्र been projective किस्म $X$ मौजूद है जिसका $CH_0$ समूह प्रतिनिधि योग्य है, लेकिन जिसमें सार्वभौमिक 0-चक्र नहीं है?

कार्यप्रणाली और सैद्धांतिक ढांचा
लेखक $CH_0$ की प्रतिनिधित्व क्षमता द्वारा लगाए गए ज्यामितीय प्रतिबंधों का विश्लेषण करके इस समस्या के प्रति दृष्टिकोण अपनाते हैं।

1. ज्यामितीय न्यूनीकरण (Geometric Reduction): मुमफोर्ड (Mumford) के प्रमेय का उपयोग करते हुए, शोध पत्र यह स्थापित करता है कि यदि $CH_0(X)$ प्रतिनिधि योग्य है और $Alb(X)$ गैर-तुच्छ (non-trivial) है, तो $X$ का अल्बेनाज़ मानचित्र एक चिकनी प्र been projective वक्र $C$ के माध्यम से कारक होता है। विशेष रूप से, एक प्रभावी (dominant) मॉर्फिज्म $\phi: X \to C$ मौजूद है ताकि $Alb(X) \cong J(C)$ हो।
2. मॉर्फिज्म का सूचकांक (Index of Morphisms): एक सार्वभौमिक 0-चक्र का अस्तित्व $\phi: X \to C$ के सूचकांक (index) से जुड़ा हुआ है। सूचकांक को $C$ पर प्रभुत्व रखने वाली $X$ की अपरिमेय उप-विविधताओं (irreducible subvarieties) की डिग्री के महत्तम समापवर्तक (gcd) के रूप में परिभाषित किया गया है। शोध पत्र सिद्ध करता है कि यदि यह सूचकांक 1 है, तो एक सार्वभौमिक 0-चक्र मौजूद होता है।
3. हॉज सिद्धांत (Hodge Theory) से संबंध: एक सार्वभौमिक 0-चक्र का गैर-अस्तित्व एक विशिष्ट हॉज क्लास $\gamma_X \in H^{2n}(Alb(X) \times X, \mathbb{Z})_{tf}$ (टोरशन के भागफल के रूप में) की गैर-बीजगणितीयता (non-algebraicity) के समान दिखाया गया है। यह क्लास विकर्ण (diagonal) के कुनेथ अपघटन (Künneth decomposition) से उत्पन्न होती है। अतः, एक प्रति-उदाहरण (counterexample) बनाने के लिए एक ऐसी किस्म खोजने की आवश्यकता है जहाँ यह विशिष्ट क्लास बीजगणितीय नहीं है, जो टोरशन के भागफल के रूप में इंटीग्रल हॉज अनुमान (integral Hodge conjecture) के लिए एक प्रति-उदाहरण प्रदान करती है।
4. प्रति-उदाहरण निर्माण: निर्माण बेनोइस्ट (Benoist) और ओट्टम (Ottem) द्वारा प्रदान किए गए इंटीग्रल हॉज अनुमान के एक प्रति-उदाहरण पर आधारित है। लेखक एक 3-fold $X$ का निर्माण एक उत्पाद $E \times S$ के कोटि (quotient) के रूप में करते हैं, जहाँ $E$ एक दीर्घवृत्त वक्र (elliptic curve) है और $S$ एक K3 सतह है जिसे एक निश्चित-बिंदु-मुक्त एंटीसिम्प्लेक्टिक इनवोल्यूशन (fixed-point-free antisymplectic involution) $g$ के साथ रखा गया है।

मुख्य योगदान और परिणाम

• प्रमेय 1.4 (मुख्य परिणाम): शोध पत्र यह सिद्ध करता है कि एक चिकनी प्र been projective 3-fold $X$ का अस्तित्व है जिसका $CH_0(X)$ प्रतिनिधि योग्य है, लेकिन $X$ में सार्वभौमिक 0-चक्र नहीं है। यह कोली-थेलन के प्रश्न का सकारात्मक उत्तर देता है।

  • निर्माण: $X = (E \times S) / (t_\xi, g)$, जहाँ $E$ एक दीर्घवृत्त वक्र है जिसमें एक क्रम 2 का ट्रांसलेशन $t_\xi$ है, और $S$ एक K3 सतह है जिसमें एक निश्चित-बिंदु-मुक्त इनवोल्यूशन $g$ है। कोटि (quotient) एक एनिक (Enriques) सतह $\Sigma = S/g$ और एक दीर्घवृत्त वक्र कोटि $E_\xi = E/t_\xi$ है।
  • प्रतिनिधित्व क्षमता: मॉर्फिज्म $p_{E_\xi}: X \to E_\xi$ $CH_0$ पर एक समाकारिता (isomorphism) प्रेरित करता है, जो प्रतिनिधित्व क्षमता को सिद्ध करता है।
  • सार्वभौमिक 0-चक्र का गैर-अस्तित्व: प्रमाण यह प्रदर्शित करता है कि यदि एक सार्वभौमिक 0-चक्र मौजूद होता, तो यह एक विशिष्ट कोहोलोजीकल स्थिति (cohomological condition) को संतुष्ट करने वाले एक कोरेस्पोंडेंस (correspondence) $\Gamma_\Sigma \in CH_1(E_\xi \times \Sigma)$ के अस्तित्व को सूचित करता, जो एटाले डबल कवर्स (étale double covers) में शामिल है। इस स्थिति को सामान्य मापदंडों के चयन के लिए असंभव दिखाया गया है, जो बेनोइस्ट और ओट्टम के गैर-बीजगणिक टोरशन वक्र क्लासेज (torsion curve classes) के परिणामों पर निर्भर करता है।

• प्रस्तावना 2.2: शोध पत्र यह स्थापित करता है कि एक सार्वभौमिक 0-चक्र के अस्तित्व और $X \times X$ पर कुनेथ प्रोजेक्टर $\delta_1$ की बीजगणितीयता के बीच एक तुल्यता है, बशर्ते कि अल्बेनाज़ वैराइटी एक वक्र के जैकोबियन में एक सीधा योग (direct summand) हो। यह इस ज्यामितीय गुण को $X$ की मोटिविक संरचना से जोड़ता है।

• प्रस्तावना 2.7: यह सिद्ध किया गया है कि यदि अल्बेनाज़ मानचित्र एक सूचकांक 1 वाले वक्र $C$ के माध्यम से कारक होता है, तो एक सार्वभौमिक 0-चक्र मौजूद होता है। शोध पत्र नोट करता है कि इसका विलोम सत्य नहीं है, जो $d > 1$ सूचकांक वाली एक सतह का उदाहरण प्रदान करता है जो फिर भी एक सार्वभौमिक 0-चक्र रखती है।

• प्रस्तावना 3.5: लेखक बेनोइस्ट और ओट्टम के एक परिणाम का संक्षिप्त प्रमाण और हल्का सामान्यीकरण प्रदान करते हैं, जो कहता है कि एक चिकनी प्र been projective किस्म $W$ और एक गैर-शून्य क्लास $\beta \in H^1(W, \mathbb{Z}/k)$ के लिए, केवल गणनीय (countably many) दीर्घवृत्त वक्र $E$ ही ऐसे कोरेस्पोंडेंस $\Gamma$ को स्वीकार करते हैं कि $[\Gamma]^*\beta \neq 0$। यह तकनीकी लेम्मा मुख्य निर्माण में आवश्यक कोरेस्पोंडेंस के गैर-अस्तित्व को सुनिश्चित करने के लिए अत्यंत महत्वपूर्ण है।

• सतहों का विश्लेषण (अनुभाग 4): शोध पत्र उन सतहों की जांच करता है जहाँ $p_g=0$ और $q \neq 0$ है। यह दिखाता है कि यदि ऐसी सतह एक चक्रीय समूह द्वारा वक्रों के उत्पाद का कोटि (quotient) है, तो अल्बेनाज़ फाइब्रेशन का सूचकांक 1 है, जो एक सार्वभौमिक 0-चक्र के अस्तित्व का संकेत देता है। यह 3-fold उदाहरण के विपरीत है, जो प्रति-उदाहरण की प्रतिबंधात्मक प्रकृति को उजागर करता है।

महत्व और दावे
शोध पत्र यह दावा करता है कि वह शून्य-चक्रों की ज्यामिति के एक विशिष्ट खुले प्रश्न को हल करता है, यह प्रदर्शित करके कि प्रतिनिधि योग्य $CH_0$ समूह होने का गुण एक सार्वभौमिक 0-चक्र के अस्तित्व की गारंटी नहीं देता है।

निर्माण इस तथ्य पर आधारित है कि किस्म $X$ में उसकी इंटीग्रल बेटी कोहोलोजी (integral Betti cohomology) में टोरशन मौजूद है। फलस्वरूप, $X$ के लिए सार्वभौमिक 0-चक्र का गैर-अस्तित्व, चारफोल्ड $Alb(X) \times X$ पर वक्र क्लासेज (डिग्री 2 की हॉज होमोलॉजी क्लासेज) के लिए इंटीग्रल हॉज अनुमान के विरुद्ध एक प्रति-उदाहरण प्रदान करता है।

लेखक नोट करते हैं कि मुख्य प्रमेय की धारणाएं ज्यामितीय रूप से "बहुत प्रतिबंधात्मक" हैं, क्योंकि $CH_0$ की प्रतिनिधित्व क्षमता यह मजबूर करती है कि अल्बेनाज़ वैराइटी एक वक्र के जैकोबियन के समानान्तर हो। शोध पत्र यह दावा नहीं करता है कि बिना टोरशन वाली इंटीग्रल बेटी कोहोलोजी वाली किस्मों का निर्माण किया गया है, इसे एक खुले अन्वेषण के रूप में छोड़ दिया गया है। यह कार्य प्रतिनिधित्व क्षमता, अल्बेनाज़ मानचित्र की संरचना और इंटीग्रल हॉज अनुमान के बीच सूक्ष्म अंतर को स्पष्ट करने का कार्य करता है।