The weight filtration on real singular homology is motivic
Ruimy
We give an alternative construction of Totaro's weight filtration on singular homology of the real points of a real algebraic variety. Our construction shows that this filtration comes from Bondarko's weight filtration on Voevodsky motives.
academic
वास्तविक विलक्षण समरूपता पर भार निस्पंदन प्रेरक है
यह पेपर वास्तविक बीजगणितीय विविधताओं के वास्तविक बिंदुओं पर विलक्षण समरूपता के भार निस्पंदन के संबंध में Totaro के एक वैकल्पिक निर्माण प्रदान करता है। हमारा निर्माण दर्शाता है कि यह निस्पंदन Voevodsky प्रेरकों पर Bondarko भार निस्पंदन से उत्पन्न होता है।
भार निस्पंदन का ऐतिहासिक विकास: Deligne ने जटिल बीजगणितीय विविधताओं के विलक्षण सहसमरूपता और ℓ-adic सहसमरूपता पर भार निस्पंदन प्रस्तुत किए, जिन्हें मूलतः Grothendieck ने प्रेरक भार निस्पंदन की छाया के रूप में कल्पना की थी।
जटिल संख्या स्थिति में सफलता: जटिल क्षेत्र पर, एक पूर्ण सैद्धांतिक ढांचा स्थापित किया गया है:
Voevodsky ने ज्यामितीय प्रेरक श्रेणी DMgm(k,Λ) का निर्माण किया
Ayoub की Betti प्राप्ति प्रेरक भार निस्पंदन को विलक्षण समरूपता के भार निस्पंदन में मानचित्रित करती है
समान परिणाम étale और ℓ-adic प्राप्तियों के लिए भी सत्य हैं
वास्तविक संख्या स्थिति में चुनौतियाँ:
Totaro ने 2002 में वास्तविक बीजगणितीय विविधताओं के वास्तविक बिंदुओं के विलक्षण सहसमरूपता के भार निस्पंदन के अस्तित्व का प्रस्ताव दिया
McCrory और Parusiński ने 2011 और 2014 में इस परिणाम को सिद्ध किया
लेकिन उनका निर्माण तकनीकी है और स्पष्ट रूप से प्रेरक प्रकृति का नहीं है
इस पेपर की मूल प्रेरणा यह सिद्ध करना है कि वास्तविक बीजगणितीय विविधताओं पर भार निस्पंदन प्रेरक उत्पत्ति रखता है, अर्थात् यह Voevodsky प्रेरक सिद्धांत में Bondarko भार निस्पंदन से उत्पन्न होता है। यह वास्तविक संख्या स्थिति में भार निस्पंदन की प्रेरक प्रकृति के संबंध में Grothendieck की मूल दृष्टि को पूरी तरह से साकार करेगा।
वास्तविक प्रेरक प्राप्ति फलक का निर्माण ρR : DMgm(ℝ,𝔽₂) → Db(𝔽₂), जो वास्तविक बीजगणितीय विविधताओं के प्रेरकों को 𝔽₂-गुणांक के व्युत्पन्न श्रेणी में मानचित्रित करता है
भार निस्पंदन की प्रेरक उत्पत्ति का प्रमाण: दर्शाता है कि Totaro-McCrory-Parusiński भार निस्पंदन वास्तव में Bondarko के प्रेरक भार निस्पंदन से उत्पन्न होता है
नई तकनीकी उपकरणों का विकास:
Robalo की प्रेरक शीफों की सार्वभौमिकता को Voevodsky प्रेरकों की स्थिति में अनुकूलित किया
Jacobson प्रमेय का उपयोग करके वास्तविक सहसमरूपता को Zariski सहसमरूपता से जोड़ा
Milnor अनुमान के गहन परिणामों का उपयोग किया
विभिन्न सहसमरूपता सिद्धांतों का एकीकरण: साधारण समरूपता, Borel-Moore समरूपता, सहसमरूपता और सघन समर्थन सहसमरूपता के लिए एकीकृत प्रेरक निर्माण प्रदान किया
वास्तविक प्राप्ति फलक के निर्माण का मुख्य कठिनाई यह है कि वास्तविक विलक्षण सहसमरूपता étale-स्थानीय अपरिवर्तनीय नहीं है। समाधान निम्नलिखित चरणों के माध्यम से प्राप्त होता है:
चरण 1: Witt वलय सिद्धांत का अनुप्रयोग
Witt वलय W(X) और इसके मौलिक आदर्श I(X) की शक्तियों I^n(X) का उपयोग किया
भागफल I̅^n(X) = I^n(X)/I^(n+1)(X) को परिभाषित किया
शीफ I_∞ := colim_n I_n का निर्माण किया
चरण 2: Jacobson प्रमेय का अनुप्रयोगप्रमेय 3.4: मानचित्र s_∞ : I_∞ → ι_*𝔽₂ एक Zariski शीफ समरूपता है, जहाँ ι : X(ℝ) ↪ X है।
यह समरूपता देता है: H^n(X, I_∞) ≅ H^n(X(ℝ), 𝔽₂)
चरण 3: Gersten विघटन का उपयोग
I^m शीफों के Gersten विघटन का उपयोग:
प्रमेय 4.6: मान लीजिए WH_* := ρ^W_R ∘ M, WH^BM_* := ρ^W_R ∘ M^BM आदि। ये फलक वास्तविक पथ के समरूपता सिद्धांत को परिष्कृत करते हैं और इन सहसमरूपता सिद्धांतों में परिवर्तित होने वाले भार वर्णक्रम अनुक्रम उत्पन्न करते हैं।
यह पेपर वास्तविक संख्या स्थिति में भार निस्पंदन की प्रेरक उत्पत्ति के संबंध में Grothendieck की दृष्टि को पूरा करता है, जटिल और ℓ-adic स्थितियों के साथ एक पूर्ण चित्र बनाता है।