2025-11-11T03:18:46.031454

Comparison of motives with rational coefficients

Zhang

The theory of rational motives admits several models, including those of Morel, Beilinson, Ayoub, and Voevodsky. An open question has been the equivalence of Voevodsky's Nisnevich-based $\mathrm{DM}(S, \mathbb{Q})$ with the others, which was only known over excellent and geometrically unibranch base schemes. In this paper, we prove that modules over rational motivic Eilenberg Maclane spectrum $\mathbf{H}\mathbb{Q}$ is equivalent to Morel/Beilinson/Ayoub's rational motives over any Noetherian semi-normal base scheme $S$. Our main technical result is a stable motivic equivalence between the free $\mathbb{Q}$-linear spectrum $\mathbb{Q}[\mathbb{S}]$ and the motivic rational Eilenberg MacLane spectrum $\mathbf{H}\mathbb{Q}$. This equivalence is established by reducing the problem to an unstable comparison, where we apply our rational $\mathbb{A}^1$-Dold-Thom theorem, which depends on rational motivic Whitehead theorem that we develop. As a byproduct, we partially confirm that rational variant of Voevodsky's conjecture that the formation of $\mathbf{H}\mathbb{Q}$ is stable under base change between any Noetherian semi-normal schemes.

academic

परिमेय गुणांकों के साथ प्रेरणाओं की तुलना

मूल जानकारी

पेपर ID: 2510.17194
शीर्षक: Comparison of motives with rational coefficients
लेखक: Bo Zhang
वर्गीकरण: math.AG (बीजगणितीय ज्यामिति), math.AT (बीजगणितीय टोपोलॉजी)
प्रकाशन समय: 5 नवंबर 2025 (arXiv संस्करण v5)
पेपर लिंक: https://arxiv.org/abs/2510.17194

सारांश

परिमेय प्रेरणा सिद्धांत कई मॉडलों को स्वीकार करता है, जिनमें Morel, Beilinson, Ayoub और Voevodsky के मॉडल शामिल हैं। एक खुली समस्या Nisnevich टोपोलॉजी पर आधारित Voevodsky प्रेरणा $\mathrm{DM}(S, \mathbb{Q})$ की अन्य मॉडलों के साथ समतुल्यता है, जो केवल उत्कृष्ट और ज्यामितीय रूप से सामान्य आधार योजनाओं पर मान्य है।

यह पेपर साबित करता है कि किसी भी Noether अर्ध-सामान्य आधार योजना $S$ पर, परिमेय प्रेरणा Eilenberg-MacLane स्पेक्ट्रम $\mathbf{H}\mathbb{Q}$ के मॉड्यूल की श्रेणी Morel/Beilinson/Ayoub की परिमेय प्रेरणाओं के समतुल्य है।

मुख्य तकनीकी परिणाम मुक्त $\mathbb{Q}$ -रैखिक स्पेक्ट्रम $\mathbb{Q}[\mathbb{S}]$ और प्रेरणा परिमेय Eilenberg-MacLane स्पेक्ट्रम $\mathbf{H}\mathbb{Q}$ के बीच स्थिर प्रेरणा समतुल्यता है। यह समतुल्यता समस्या को अस्थिर तुलना में कम करके स्थापित की गई है, लेखक द्वारा विकसित परिमेय $\mathbb{A}^1$ -Dold-Thom प्रमेय को लागू किया गया है, जो परिमेय प्रेरणा Whitehead प्रमेय पर निर्भर करता है।

एक उप-उत्पाद के रूप में, Voevodsky अनुमान के परिमेय विरूपण को आंशिक रूप से पुष्टि करता है: $\mathbf{H}\mathbb{Q}$ का निर्माण किसी भी Noether अर्ध-सामान्य योजना के बीच आधार परिवर्तन के तहत स्थिर रहता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या का मूल

प्रेरणा सिद्धांत, जैसा कि Grothendieck द्वारा मूल रूप से कल्पना की गई थी और कई गणितज्ञों द्वारा महसूस किया गया था, बीजगणितीय विविधताओं के अध्ययन के लिए एक शक्तिशाली और एकीकृत ढांचा प्रदान करता है। परिमेय गुणांकों के तहत (अर्थात् विशेषता को उलटना), सिद्धांत में उल्लेखनीय सरलीकरण होता है, लेकिन कई प्रतीत होने वाले भिन्न मॉडल अभी भी मौजूद हैं:

Morel प्रेरणा: परिमेय स्थिर प्रेरणा समरूपता श्रेणी $\mathrm{SH}(S)_\mathbb{Q}$ के सकारात्मक भाग के रूप में परिभाषित
Beilinson प्रेरणा: Beilinson प्रेरणा वलय स्पेक्ट्रम $H_B$ के मॉड्यूल श्रेणी के रूप में परिभाषित, $H_B$ $\mathrm{KGL}_\mathbb{Q}$ का प्रत्यक्ष योग है
Ayoub प्रेरणा: $\mathbb{P}^1$ -स्थिरीकरण $\mathbb{A}^1$ -स्थानीय étale $\infty$ -शीफ के माध्यम से निर्मित
Voevodsky प्रेरणा: Nisnevich शीफ और स्थानांतरण निर्माण का उपयोग करते हुए $\mathrm{DM}(S,\mathbb{Q})$

अनुसंधान का महत्व

पहले तीन मॉडल समतुल्य के रूप में जाने जाते हैं, लेकिन Voevodsky के मूल निर्माण के साथ समतुल्यता केवल उत्कृष्ट और ज्यामितीय रूप से सामान्य आधार योजनाओं पर मान्य है। यह सिद्धांत की प्रयोज्यता को सीमित करता है, विशेष रूप से कुछ महत्वपूर्ण ज्यामितीय वस्तुओं जैसे Dedekind पूर्णांक या नोडल वक्रों के लिए।

मौजूदा विधि की सीमाएं

मौजूदा तुलना परिणाम आधार योजना की मजबूत प्रतिबंधक शर्तों पर निर्भर करते हैं (उत्कृष्ट और ज्यामितीय रूप से सामान्य), जो व्यावहारिक अनुप्रयोगों में बहुत कठोर है। अधिक सामान्य ज्यामितीय परिस्थितियों को संभालने के लिए नई तकनीकी विधियों की आवश्यकता है।

मूल योगदान

मुख्य प्रमेय: किसी भी Noether अर्ध-सामान्य आधार योजना $S$ पर, $H\mathbb{Q}$ -मॉड्यूल श्रेणी Morel/Beilinson/Ayoub की परिमेय प्रेरणाओं के समतुल्य है
तकनीकी सफलता: मुक्त $\mathbb{Q}$ -रैखिक स्पेक्ट्रम $\mathbb{Q}[\mathbb{S}]$ और प्रेरणा परिमेय Eilenberg-MacLane स्पेक्ट्रम $\mathbf{H}\mathbb{Q}$ के बीच स्थिर प्रेरणा समतुल्यता स्थापित की
सैद्धांतिक उपकरण: परिमेय प्रेरणा Whitehead प्रमेय और परिमेय $\mathbb{A}^1$ -Dold-Thom प्रमेय विकसित किए
अनुमान सत्यापन: $\mathbf{H}\mathbb{Q}$ के आधार परिवर्तन स्थिरता पर Voevodsky के अनुमान को आंशिक रूप से पुष्टि किया

विधि विवरण

कार्य परिभाषा

विभिन्न परिमेय प्रेरणा सिद्धांत मॉडलों के बीच समतुल्यता स्थापित करना, विशेष रूप से Noether अर्ध-सामान्य आधार योजना पर $H\mathbb{Q}$ -मॉड्यूल और अन्य परिमेय प्रेरणा श्रेणियों की समतुल्यता साबित करना।

मूल रणनीति

पेपर "स्थिर से अस्थिर कमी" की रणनीति अपनाता है:

मुख्य समरूपता का निर्माण: विहित वलय स्पेक्ट्रम समरूपता $\Phi_S : \mathbb{Q}[\mathbb{S}] \to H\mathbb{Q}$ को परिभाषित करना
अस्थिर समस्या में कमी: स्थिर समतुल्यता को अस्थिर परिमेय प्रेरणा समतुल्यता में कम करना
नए उपकरणों का अनुप्रयोग: अस्थिर तुलना को संभालने के लिए परिमेय $\mathbb{A}^1$ -Dold-Thom प्रमेय का उपयोग करना

तकनीकी आर्किटेक्चर

मुक्त $\mathbb{Q}$ -रैखिक स्पेक्ट्रम निर्माण

प्रेरणा स्पेक्ट्रम $E$ के लिए, मुक्त $\mathbb{Q}$ -रैखिक प्रेरणा स्पेक्ट्रम $\mathbb{Q}[E]$ को परिभाषित करें: $\mathbb{Q}[E]^n = \tilde{\mathbb{Q}}[E^n]$ जहां $\tilde{\mathbb{Q}}[(X,x_0)] = \text{coker}(\mathbb{Q}[x_0] \to \mathbb{Q}[X])$

परिमेय प्रेरणा Whitehead प्रमेय

प्रमेय 3.5: मान लीजिए $f: M \to N$ अनंत लूप स्पेस की समरूपता है। यदि $f$ परिमेय प्रेरणा समतुल्यता है, तो $f \otimes^{\mathbb{A}^1} \mathbb{Q} : M \otimes^{\mathbb{A}^1} \mathbb{Q} \to N \otimes^{\mathbb{A}^1} \mathbb{Q}$ प्रेरणा समतुल्यता है।

परिमेय $\mathbb{A}^1$ -Dold-Thom प्रमेय

प्रमेय 3.13: Noether योजना $S$ पर चिकनी अर्ध-प्रक्षेप्य योजना $X$ के लिए, विहित आकारिकी $\left(\coprod_n [X^n/S_n]\right)_+ \otimes \mathbb{Q} \to \left(\coprod_n S^nX\right)_+ \otimes \mathbb{Q}$ प्रेरणा समतुल्यता है।

तकनीकी नवाचार बिंदु

नई कमी तकनीक: स्थिर समस्या को अस्थिर परिमेय तुलना में कम करना
ज्यामितीय-बीजगणितीय पत्राचार: समरूपता भागफल $X^n//S_n$ और मोटे मॉड्यूली स्पेस $S^nX$ की परिमेय समतुल्यता स्थापित करना
आधार परिवर्तन स्थिरता: $H\mathbb{Q}$ निर्माण की अर्ध-सामान्य योजनाओं के बीच आधार परिवर्तन स्थिरता साबित करना

मुख्य प्रमेय प्रमाण विचार

प्रमेय 1.1 का प्रमाण रणनीति

मुख्य प्रमेय निम्नलिखित चरणों के माध्यम से साबित किया गया है:

प्रस्ताव 3.8: $\Phi_S$ की स्थिर समतुल्यता को विशिष्ट अस्थिर समतुल्यता में कम करना
प्रमेय 3.13: परिमेय $\mathbb{A}^1$ -Dold-Thom प्रमेय साबित करना
प्रमेय 3.12: भागफल स्टैक और मोटे मॉड्यूली स्पेस की परिमेय प्रेरणा समतुल्यता स्थापित करना
लेम्मा 3.11: Voevodsky परिमेय प्रेरणा के गुणों का उपयोग करना

महत्वपूर्ण लेम्मा 3.11

Noether योजना $S$ पर चिकनी अर्ध-प्रक्षेप्य योजना $X$ और परिमित समूह $G$ क्रिया के लिए, प्रभावी प्रेरणा संतुष्ट करती है: $M([X/G]) \simeq M(X/G)$

यह परिमेय गुणांकों के तहत $G$ -अपरिवर्तनीय भाग की गणना और परिमित आकारिकी के गुणों का उपयोग करता है।

प्रायोगिक परिणाम और अनुप्रयोग

मुख्य परिणाम

अनुपात 1.3: किसी भी Noether अर्ध-सामान्य योजना $S$ के लिए, $H\mathbb{Q}$ -मॉड्यूल श्रेणी निम्नलिखित के समतुल्य है:

Beilinson प्रेरणा
Ayoub प्रेरणा
Morel प्रेरणा

आधार परिवर्तन स्थिरता

प्रस्ताव 1.4: $H\mathbb{Q}$ का निर्माण Noether अर्ध-सामान्य योजनाओं के बीच आधार परिवर्तन के तहत स्थिर है।

प्रयोज्यता श्रेणी का विस्तार

परिणाम निम्नलिखित पर लागू होते हैं:

कोई भी Dedekind पूर्णांक
नोडल वक्र
सामान्य Noether सामान्य योजनाएं (उत्कृष्टता की शर्त के बिना)

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

Noether अर्ध-सामान्य आधार योजना पर परिमेय प्रेरणा सिद्धांत के विभिन्न मॉडलों को एकीकृत किया, पहले आवश्यक उत्कृष्टता शर्त को हटाया।

सीमाएं

अभी भी अर्ध-सामान्यता शर्त की आवश्यकता है
केवल परिमेय गुणांक स्थिति को संभालता है
सामान्य योजनाओं के लिए सामान्यीकरण अभी भी आगे के कार्य की आवश्यकता है

भविष्य की दिशाएं

अधिक सामान्य योजना श्रेणियों तक सामान्यीकरण
पूर्णांक गुणांक स्थिति का अनुसंधान
अन्य सहसंबंध सिद्धांतों के साथ संबंध की खोज

गहन मूल्यांकन

लाभ

तकनीकी नवाचार: परिमेय प्रेरणा Whitehead प्रमेय और $\mathbb{A}^1$ -Dold-Thom प्रमेय विकसित किए
ज्यामितीय महत्व: प्रेरणा समतुल्यता को महत्वपूर्ण ज्यामितीय वस्तु श्रेणियों तक विस्तारित किया
सैद्धांतिक पूर्णता: प्रेरणा सिद्धांत में मौलिक खुली समस्या को आंशिक रूप से हल किया
विधि नवीनता: स्थिर से अस्थिर कमी की रणनीति सामान्य प्रकृति की है

कमियां

शर्त प्रतिबंध: अर्ध-सामान्यता शर्त अभी भी मौजूद है
तकनीकी जटिलता: प्रमाण कई गहरे तकनीकी उपकरणों को शामिल करता है
प्रयोज्यता श्रेणी: केवल परिमेय गुणांक स्थिति तक सीमित

प्रभाव

यह कार्य प्रेरणा सिद्धांत के एकीकरण को महत्वपूर्ण रूप से आगे बढ़ाता है, अधिक व्यापक ज्यामितीय पृष्ठभूमि में प्रेरणा विधि को लागू करने के लिए आधार तैयार करता है, विशेष रूप से अंकगणितीय ज्यामिति और बीजगणितीय ज्यामिति के अंतर्विभाग क्षेत्र में।

प्रयोज्य परिदृश्य

अंकगणितीय ज्यामिति में प्रेरणा अनुसंधान
बीजगणितीय $K$ -सिद्धांत अनुप्रयोग
बीजगणितीय चक्र सिद्धांत
समरूपता बीजगणितीय ज्यामिति

संदर्भ

1 Anderson, O. E. Chow schemes in mixed characteristic. 2019. 2 Choudhury, U. Motives of deligne-mumford stacks. 2012. 3 Cisinski, D.-C. and Déglise, F. Triangulated categories of mixed motives. 2019. 6 Suslin, A. and Voevodsky, V. Relative cycles and chow sheaves. 2000. 7 Voevodsky, V. Open problems in the motivic stable homotopy theory. 2002.