Much of the work on Shimura varieties over the last thirty years has been devoted to constructing the theory that would follow from a good notion of motives, one incorporating the Hodge, Tate, and standard conjectures. These conjectures are believed to be beyond reach, and may not even be correct as stated. I argue in this article that there exists a theory of motives, accessible to proof, weaker than Grothendieck's, but with many of the same consequences.
- पेपर ID: 2508.09972
- शीर्षक: Abelian motives and Shimura varieties in nonzero characteristic
- लेखक: J.S. Milne
- वर्गीकरण: math.AG (बीजगणितीय ज्यामिति), math.NT (संख्या सिद्धांत)
- प्रकाशन समय: 13 अक्टूबर 2025 (v2.0 संस्करण)
- पेपर लिंक: https://arxiv.org/abs/2508.09972
पिछले तीस वर्षों में, शिमुरा विविधताओं का अध्ययन मुख्य रूप से मोटिव्स की एक अच्छी अवधारणा पर आधारित एक सिद्धांत बनाने के लिए समर्पित रहा है, जिसमें हॉज, टेट और मानक अनुमान शामिल होने चाहिए। इन अनुमानों को प्रमाणित करना कठिन माना जाता है, यहां तक कि संभवतः गलत भी हो सकते हैं। लेखक इस पेपर में तर्क देते हैं कि ग्रोथेंडिएक के सिद्धांत से कमजोर लेकिन कई समान परिणाम वाला एक मोटिव्स सिद्धांत मौजूद है, और यह सिद्धांत प्रमाणित है।
- पारंपरिक विधि की कठिनाई: ग्रोथेंडिएक का मोटिव्स सिद्धांत हॉज, टेट और मानक अनुमानों पर निर्भर करता है, जिन्हें वर्तमान गणित की क्षमता से परे माना जाता है, यहां तक कि संभवतः गलत भी हो सकते हैं।
- शिमुरा विविधताओं के सिद्धांत की आवश्यकता: एक ऐसे शिमुरा विविधताओं के सिद्धांत की आवश्यकता है जो गैर-शून्य विशेषता की स्थिति को संभाल सके, विशेष रूप से मिश्रित विशेषता और विशेषता p > 0 के मामलों में।
- डेलिग्ने प्रमेय की प्रेरणा: डेलिग्ने ने 1982 में साबित किया कि एबेलियन विविधताओं पर हॉज वर्ग पूर्ण हॉज हैं, जो एबेलियन मोटिव्स की श्रेणी बनाने के लिए आधार प्रदान करता है।
लेखक का लक्ष्य एक "प्राप्य मोटिविक स्वर्ग" बनाना है, अर्थात् कठिन-से-प्रमाणित अनुमानों पर निर्भर नहीं, लेकिन फिर भी ग्रोथेंडिएक सिद्धांत के मुख्य परिणाम प्राप्त करना। यह दृष्टिकोण विशेष रूप से एबेलियन प्रकार की शिमुरा विविधताओं पर ध्यान केंद्रित करता है और सिद्धांत को विशेषता p तक विस्तारित करने का प्रयास करता है।
- नए तर्कसंगतता अनुमान प्रस्तावित किए: अनुमान A, B, C, D का परिचय दिया, जो शास्त्रीय हॉज, टेट अनुमानों की तुलना में अधिक सुलभ हैं।
- विशेषता p पर एबेलियन मोटिव्स का सिद्धांत बनाया: तर्कसंगत टेट वर्गों की अवधारणा के माध्यम से, विशेषता p पर मोटिव्स की श्रेणी स्थापित की।
- अपचयन फंक्टर का विस्तार: अपचयन फंक्टर को CM एबेलियन विविधताओं से अधिक सामान्य अच्छे अपचयन वाली एबेलियन विविधताओं तक विस्तारित किया।
- शिमुरा विविधताओं की मॉड्यूली स्पेस व्याख्या प्रदान की: मिश्रित विशेषता की स्थिति में, एबेलियन प्रकार की शिमुरा विविधताओं को एबेलियन मोटिव्स की मॉड्यूली स्पेस के रूप में महसूस किया।
मान लीजिए A Qal पर w पर अच्छे अपचयन वाली एबेलियन विविधता है, γ A पर एक पूर्ण हॉज वर्ग है। A0 पर सभी पूरक कोडिमेंशन के लेफशेट्ज़ वर्गों δ के लिए:
⟨γ0⋅δ⟩∈Q
एक अद्वितीय श्रेणीबद्ध Q-सबएल्जेब्रा परिवार R∗(A)⊂H2∗A(A)(∗) मौजूद है, जो संतुष्ट करता है:
- (R1) फंक्टरिएलिटी: एबेलियन विविधताओं के आकारिकी के लिए, पुशफॉरवर्ड और पुलबैक तर्कसंगत टेट वर्गों को संरक्षित करते हैं
- (R2) विभाजक वर्ग तर्कसंगत टेट वर्ग हैं
- (R3) पूर्ण हॉज वर्ग तर्कसंगत टेट वर्गों में विशेषज्ञता प्राप्त करते हैं
- (R4) समावेशन मानचित्र R∗(A)→H2∗A(A)(∗) Af के साथ टेंसर करने के बाद इंजेक्टिव है
- तर्कसंगत टेट वर्गों की अवधारणा: यह बीजगणितीय वर्गों और टेट वर्गों के बीच एक नई अवधारणा है, जो विशेषता p पर मोटिव्स सिद्धांत के लिए उपयुक्त पत्राचार प्रदान करती है।
- भिन्नता विधि: परिवारों में परिवर्तन का अध्ययन करके कुछ वर्गों के गुणों को साबित करना, कठिन अनुमानों के सीधे सामना से बचना।
- CM उत्थान तकनीक: CM एबेलियन विविधताओं की विशेष गुणों का उपयोग करके सामान्य मामलों को संभालना।
- पहला चरण: CM एबेलियन विविधताओं के लिए अनुमान A साबित करना
- दूसरा चरण: André विघटन प्रमेय का उपयोग करके परिणामों को सभी CM एबेलियन विविधताओं तक विस्तारित करना
- तीसरा चरण: शिमुरा विविधताओं के सिद्धांत के माध्यम से परिणामों को सभी अच्छे अपचयन वाली एबेलियन विविधताओं तक विस्तारित करना
चूंकि यह शुद्ध गणित सिद्धांत पेपर है, इसमें पारंपरिक अर्थ में "प्रयोग" नहीं हैं, लेकिन निम्नलिखित सैद्धांतिक सत्यापन हैं:
- विशेष मामलों का सत्यापन: कुछ विशेष एबेलियन विविधताओं (जैसे CM प्रकार, nifty प्रकार) के लिए, अनुमान की शुद्धता को सत्यापित करना
- संगतता जांच: विभिन्न अभाज्य स्थानों पर वास्तविकता फंक्टर की संगतता को सत्यापित करना
- ज्ञात परिणामों की पुनरावृत्ति: नया सिद्धांत कैसे ज्ञात शास्त्रीय परिणामों को पुनः प्राप्त करता है, यह प्रदर्शित करना
लेखक ने साबित किया कि यदि तर्कसंगत टेट वर्गों का परिवार मौजूद है, तो यह अद्वितीय है (प्रमेय 0.2), जो सिद्धांत की आंतरिक सामंजस्य को सुनिश्चित करता है।
- श्रेणी का अस्तित्व: अनुमान के मान्य होने की स्थिति में, विशेषता p पर एबेलियन मोटिव्स श्रेणी Mot(F) का निर्माण किया
- फंक्टर का विस्तार: अपचयन फंक्टर को CM(Qal)→Mot(F) से बड़ी श्रेणी तक विस्तारित किया
- शिमुरा विविधताओं की वास्तविकता: एबेलियन प्रकार की शिमुरा विविधताओं को एबेलियन मोटिव्स की मॉड्यूली स्पेस के रूप में महसूस किया जा सकता है
- गैलोइस प्रतिनिधित्व की संगतता: अच्छे अपचयन वाली एबेलियन मोटिव्स के लिए, उनके गैलोइस प्रतिनिधित्व कठोरता से संगत हैं
- फ्रोबेनियस संयुग्मी वर्गों की तर्कसंगतता: साबित किया कि कुछ फ्रोबेनियस तत्वों के संयुग्मी वर्ग परिमेय संख्या क्षेत्र पर परिभाषित हैं
- मानक अनुमान के आंशिक परिणाम: तर्कसंगत टेट वर्गों के ढांचे में, कुछ मानक अनुमान सत्य हैं
- ग्रोथेंडिएक का मोटिव्स सिद्धांत: सैद्धांतिक ढांचा प्रदान करता है, लेकिन कठिन-से-प्रमाणित अनुमानों पर निर्भर करता है
- डेलिग्ने का पूर्ण हॉज वर्ग सिद्धांत: विशेषता शून्य मामले के लिए आधार प्रदान करता है
- André का प्रेरित वर्ग सिद्धांत: कुछ गणनीय उपक्षेत्रों पर मोटिव्स श्रेणी का निर्माण करता है
इस पेपर की नवीनता में निहित है:
- शास्त्रीय अनुमानों के उपयोग से बचना
- मिश्रित विशेषता मामलों तक विस्तार
- अधिक प्रत्यक्ष निर्माण विधि प्रदान करना
- ग्रोथेंडिएक सिद्धांत से कमजोर लेकिन अभी भी उपयोगी मोटिव्स सिद्धांत मौजूद है
- यह सिद्धांत एबेलियन प्रकार की शिमुरा विविधताओं की अधिकांश समस्याओं को संभालने के लिए पर्याप्त है
- सिद्धांत को विशेषता p तक विस्तारित किया जा सकता है, जो मिश्रित विशेषता अनुसंधान के लिए उपकरण प्रदान करता है
- केवल एबेलियन मामलों तक सीमित: सिद्धांत मुख्य रूप से एबेलियन विविधताओं और एबेलियन प्रकार की शिमुरा विविधताओं को संभालता है
- अनुमान की निर्भरता: यद्यपि शास्त्रीय अनुमानों से बचा गया है, लेकिन अभी भी नए प्रस्तावित अनुमानों पर निर्भर करता है
- तकनीकी जटिलता: कुछ महत्वपूर्ण चरण (जैसे CM उत्थान) अभी भी कठिन हैं
- अनुमानों का प्रमाण: विशेष रूप से विभाजित Weil वर्गों के मामले में अनुमान A का प्रमाण
- खराब अपचयन तक विस्तार: सिद्धांत को खराब अपचयन वाली एबेलियन विविधताओं तक विस्तारित करना
- गैर-एबेलियन मामले: यह अन्वेषण करना कि क्या गैर-एबेलियन प्रकार की शिमुरा विविधताओं को संभाला जा सकता है
- सैद्धांतिक नवाचार: मोटिव्स सिद्धांत के लिए एक नई, अधिक व्यावहारिक ढांचा प्रस्तावित किया
- तकनीकी गहराई: बीजगणितीय ज्यामिति, संख्या सिद्धांत और श्रेणी सिद्धांत की गहन तकनीकों को जोड़ता है
- व्यावहारिक मूल्य: शिमुरा विविधताओं के सिद्धांत के लिए नए उपकरण और दृष्टिकोण प्रदान करता है
- व्यवस्थितता: मूल अवधारणाओं से अनुप्रयोगों तक पूर्ण सैद्धांतिक प्रणाली प्रदान करता है
- प्रमाण की पूर्णता: कुछ महत्वपूर्ण परिणाम अभी भी अनुमानात्मक हैं
- प्रयोज्यता की सीमा: मुख्य रूप से एबेलियन मामलों तक सीमित, अधिक सामान्य मामलों के लिए सीमित उपचार
- तकनीकी दहलीज: गहन बीजगणितीय ज्यामिति और संख्या सिद्धांत पृष्ठभूमि की आवश्यकता है
- सैद्धांतिक योगदान: मोटिव्स सिद्धांत के विकास के लिए नई दिशा प्रदान करता है
- व्यावहारिक अनुप्रयोग: शिमुरा विविधताओं के अनुसंधान के लिए नए उपकरण प्रदान करता है
- प्रेरणादायक महत्व: दिखाता है कि कठिन अनुमानों को दरकिनार करके उपयोगी सिद्धांत कैसे बनाया जाए
- एबेलियन विविधताओं का अंकगणितीय अनुसंधान: विशेष रूप से मिश्रित विशेषता मामलों में
- शिमुरा विविधताओं का सिद्धांत: एबेलियन प्रकार की शिमुरा विविधताओं की मॉड्यूली स्पेस व्याख्या
- गैलोइस प्रतिनिधित्व सिद्धांत: संगत प्रणालियों का निर्माण और अनुसंधान
पेपर में 69 संदर्भ शामिल हैं, मुख्य रूप से निम्नलिखित से संबंधित:
- हॉज वर्गों और शिमुरा विविधताओं पर डेलिग्ने का शास्त्रीय कार्य
- प्रेरित वर्गों पर André का सिद्धांत
- फ्रोबेनियस संयुग्मी वर्गों पर Kisin और Zhou के नवीनतम परिणाम
- शिमुरा विविधताओं के अपचयन पर Langlands और Rapoport का सिद्धांत
यह पेपर मोटिव्स सिद्धांत के विकास में एक महत्वपूर्ण दिशा का प्रतिनिधित्व करता है, शास्त्रीय कठिन अनुमानों को दरकिनार करके, बीजगणितीय ज्यामिति और संख्या सिद्धांत के अंतर्संबंध अनुसंधान के लिए नए सैद्धांतिक उपकरण प्रदान करता है। यद्यपि कई तकनीकी विवरणों को अभी भी परिष्कृत करने की आवश्यकता है, लेकिन इसके मूल विचार और विधि महत्वपूर्ण सैद्धांतिक मूल्य और व्यावहारिक महत्व रखते हैं।