🔢 mathematics

Comparison of Motivic Homotopy Theories

यह शोध पत्र $\mathbb{A}^1$ -अपरिवर्तनीय (invariant) और गैर- $\mathbb{A}^1$ -अपरिवर्तनीय मोटिविक होमोटॉपी सिद्धांतों (motivic homotopy theories) दोनों की द्वैत श्रेणियों (dual categories) से स्थानीयकृत मोटिव्स (localizing motives) की श्रेणियों तक तुलनात्मक फंक्टर्स (comparison functors) का निर्माण करता है, यह प्रदर्शित करते हुए कि उन क्षेत्रों (fields) पर जो विलोपन समाधान (resolution of singularities) स्वीकार करते हैं, $\mathbb{A}^1$ -अपरिवर्तनीय फंक्टर पूर्णतः निष्ठावान (fully faithful) है जबकि इसका गैर-अपरिवर्तनीय समकक्ष सामान्यतः नहीं है।

मूल लेखक: Tianjian Tan

प्रकाशित 2026-03-13

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Tianjian Tan

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो दो अलग-अलग प्रकार के शहरों के ब्लूप्रिंट को समझने की कोशिश कर रहे हैं। एक शहर बहुत सख्त नियमों पर बना है (जिसे हम A1-सिटी कह सकते हैं), जहाँ सब कुछ पूरी तरह से सममित (symmetrical) है और एक विशिष्ट "अपरिवर्तनीयता" (invariance) के नियम का पालन करता है। दूसरा शहर (Non-A1 सिटी) थोड़ा अराजक है, जो अधिक जटिल, अनियमित संरचनाओं की अनुमति देता है जो उस सख्त समरूपता का पालन नहीं करती हैं।

आपका लक्ष्य इन शहरों के ब्लूप्रिंट को "मोटिव्स" (Motives) की एक सार्वभौमिक भाषा (एक प्रकार का गणितीय DNA जो चीजों के मूल आकार का वर्णन करता है) में अनुवादित करना है।

यह शोध पत्र, जो टियानजियन टैन (Tianjian Tan) द्वारा लिखा गया है, इन शहरों के ब्लूप्रिंट को इस सार्वभौमिक भाषा में बदलने के लिए एक अनुवाद मशीन (एक फलन/functor) बनाने के बारे में है। यहाँ सरल शब्दों में इसका विवरण दिया गया है:

1. दो शहर और सार्वभौमिक भाषा

शहर (Motivic Homotopy Theories):
- SH (A1-सिटी): यह एक क्लासिक, सुव्यवस्थित शहर है। इसमें एक नियम है कि यदि आप किसी इमारत को "A1" के कारक से खींचते हैं (जैसे कि रबर बैंड को खींचना), तो वह अभी भी वही इमारत रहती है। यह चीजों को बहुत पूर्वानुमान योग्य (predictable) बनाता है।
- MS (Non-A1 सिटी): यह एक नया, प्रयोगात्मक शहर है। यह "खींचने" वाले नियम को छोड़ देता है। यहाँ इमारतें उन तरीकों से आकार बदल सकती हैं जो A1-सिटी में संभव नहीं हैं। यह अधिक लचीला है लेकिन अनुमान लगाना कठिन है।
सार्वभौमिक भाषा (Localizing Motives):
- यह एक श्रेणी (category) है जिसे Mot कहा जाता है। इसे एक विशाल पुस्तकालय के रूप में सोचें जहाँ हर किताब एक "पूरी तरह से समझी गई" गणितीय वस्तु का प्रतिनिधित्व करती है। लेखक यह देखना चाहते हैं कि क्या हमारे दोनों शहरों के ब्लूप्रिंट इस पुस्तकालय की किताबों में पूरी तरह से अनुवादित किए जा सकते हैं।

2. समस्या: "दर्पण" का कमाल (The "Mirror" Trick)

आप सीधे शहर में जाकर अनुवाद शुरू नहीं कर सकते। ब्लूप्रिंट बहुत जटिल हैं। इसलिए, लेखक एक चतुर तरकीब का उपयोग करता है: दर्पण (The Mirror)।

गणित में, "द्वैतता" (duality) की एक अवधारणा है। कल्पना करें कि आप एक दर्पण में एक शहर को देख रहे हैं। दर्पण की छवि (ड्युअल कैटेगरी - Dual Category) अक्सर उन छिपी हुई समानताओं को प्रकट करती है जिन्हें मूल रूप में देखना कठिन होता है।

लेखक एक ऐसी अनुवाद मशीन बनाता है जो शहरों के बजाय उनके दर्पण प्रतिबिंब ( $SH^\vee$ और $MS^\vee$ ) पर काम करती है।
उपमा: यह एक जटिल गांठ को समझने जैसा है। उलझी हुई चीज़ को देखने के बजाय, आप दीवार पर उसकी छाया देखते हैं। छाया सरल होती है और उसे ट्रेस करना आसान होता है।

3. अनुवाद मशीन (The Comparison Functor)

लेखक एक मशीन बनाता है जो "दर्पण शहर" को लेता है और उसे "सार्वभौमिक पुस्तकालय" (Motives) में अनुवादित करता है।

प्रक्रिया: मशीन "दर्पण शहर" से एक इमारत लेती है, जाँचती है कि क्या वह नियमों का पालन करती है (जैसे कि निसनेविच एक्सिशन/Nisnevich excision, जो यह जाँचने जैसा है कि क्या एक दीवार हटाने पर भी इमारत टिकी रहती है), और फिर उसे पुस्तकालय की एक किताब में बदल देती है।
परिणाम: मशीन काम करती है! यह ब्लूप्रिंट को सफलतापूर्वक अनुवादित करती है।

4. बड़ा आश्चर्य: पूर्ण बनाम अपूर्ण अनुवाद

यहाँ शोध पत्र का सबसे रोमांचक हिस्सा है। लेखक पूछता है: "क्या अनुवाद पूर्ण है? क्या दर्पण शहर का हर विवरण पुस्तकालय में ठीक उसी तरह दिखाई देता है?"

मामला 1: A1-सिटी (SH)
- निर्णय: पूर्ण अनुवाद (Fully Faithful)।
- क्यों? क्योंकि A1-सिटी बहुत अच्छी तरह से संरचित है (इसमें "रिजिड जनरेशन" है), इसलिए इसका दर्पण प्रतिबिंब सब कुछ पकड़ लेता है। जब आप अनुवाद करते हैं, तो आप कोई जानकारी नहीं खोते। शहर की हर बारीकी पुस्तकालय में सुरक्षित रहती है।
- उपमा: यह एक सुंदर कविता को दूसरी भाषा में अनुवाद करने जैसा है; इसकी लय, तुकबंदी और अर्थ सभी सुरक्षित रहते हैं।
मामला 2: Non-A1 सिटी (MS)
- निर्णय: अपूर्ण अनुवाद (Not Fully Faithful)।
- क्यों? Non-A1 सिटी बहुत अधिक अनियंत्रित है। भले ही मशीन काम करती है, लेकिन यह कुछ विवरण छोड़ देती है।
- "गणना योग्यता" (Countability) की समस्या: लेखक इसे "गणना योग्यता" की एक अवधारणा का उपयोग करके सिद्ध करता है।
  - दर्पण शहर (MS) में, दो इमारतों के बीच परस्पर क्रिया करने के तरीके "गणनीय" (countable) हैं (जैसे समुद्र तट पर रेत के कणों को गिनना)।
  - सार्वभौमिक पुस्तकालय (Motives) में, उन्हीं चीजों के बीच परस्पर क्रिया करने के तरीके "अगणनीय" (uncountable) हैं (जैसे ब्रह्मांड में तारों की संख्या)।
- उपमा: कल्पना कीजिए कि आप एक अराजक, तात्कालिक जैज़ सत्र (improvisational jazz session) को संगीत के कागज़ (sheet music) में अनुवाद करने की कोशिश कर रहे हैं। शीट म्यूज़िक (पुस्तकालय) इतना समृद्ध और जटिल है कि इसमें अनंत विविधताएँ शामिल हैं। लेकिन मूल जैज़ सत्र (दर्पण शहर), हालांकि सुंदर था, उसमें केवल सीमित संख्या में नोट्स बजाए गए थे। जब आप उन सीमित नोट्स को अनंत संभावनाओं के अनंत कागज़ पर मैप करने की कोशिश करते हैं, तो आप उस "अनगिनत" गहराई को पकड़ नहीं पाते। अनुवाद उस अनगिनत गहराई को खो देता है।

5. "K-थ्योरी" का संबंध

शोध पत्र उल्लेख करता है कि ये अनुवाद मशीनें एक विशिष्ट "फ़िल्टर" के माध्यम से जाती हैं जिसे K-थ्योरी (विशेष रूप से $KGL$) कहा जाता है।

K-थ्योरी को एक विशिष्ट प्रकार के लेंस या एक विशेष शब्दकोश के रूप में समझें।
लेखक दिखाता है कि अनुवाद मशीन मूल रूप से K-थ्योरी के लेंस का उपयोग करके डेटा को व्यवस्थित करने का एक शानदार तरीका है।
A1-सिटी के लिए, यह लेंस पूर्ण है। Non-A1 सिटी के लिए, यह लेंस बहुत संकीर्ण है और सब कुछ देखने में असमर्थ है।

सारांश

तियानजियन टैन ने ज्यामिति की दो अलग-अलग दुनियाओं (Motivic Homotopy) और आकारों की एक सार्वभौमिक भाषा (Motives) के बीच एक पुल बनाया।

अच्छी खबर: यदि आप सख्त, सममित नियमों (A1-invariance) का पालन करते हैं, तो पुल मजबूत है, और आप सब कुछ पूरी तरह से अनुवादित कर सकते हैं।
बुरी खबर: यदि आप बहुत अधिक लचीले होने की कोशिश करते हैं और नियमों को छोड़ देते हैं (Non-A1), तो पुल तो मौजूद रहता है, लेकिन यह "लीक" करता है। जब आप मूल दुनिया की अनंत जटिलता का अनुवाद करने की कोशिश करते हैं, तो आप कुछ हिस्सा खो देते हैं।

यह गणितज्ञों को बताता है कि हालांकि हम इन अराजक, गैर-सममित आकारों का अध्ययन कर सकते हैं, हमें सावधान रहना होगा: हमारे वर्तमान उपकरण (सार्वभौमिक पुस्तकालय) उनके हर एक विवरण को पकड़ने के लिए पर्याप्त शक्तिशाली नहीं हो सकते हैं।

यहाँ तियानज्यान टैन के शोध पत्र "Comparison of Motivic Homotopy Theories" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र आधुनिक बीजगणितीय ज्यामिति (algebraic geometry) और नॉन-कम्यूटेटिव ज्योमेट्री (noncommutative geometry) के दो प्रमुख ढांचों के बीच संबंध को संबोधित करता है:

मोटिविक होमोटॉपी थ्योरीज़ (Motivic Homotopy Theories): विशेष रूप से मोरेल और वोवेवोल्स्की (Morel and Voelodsky) की $\mathbb{A}^1$ -इनवेरिएंट स्टेबल मोटिविक होमोटॉपी कैटेगरी ($SH$), और अननाला, इवासा और होयोस (Annala, Iwasa, and Hoyois) द्वारा निर्मित नॉन- $\mathbb{A}^1$ -इनवेरिएंट वेरिएंट ($MS$)।
नॉन-कम्यूटेटिव मोटिव्स (Noncommutative Motives): लोकलाइजिंग मोटिव्स ( $Mot_{loc}$ ) की कैटेगरी, जिसे ब्लंबरग, गेपनर और ताबुडा (BGT) द्वारा पेश किया गया था, जो लोकलाइजिंग इनवेरियंट्स (जैसे K-theory) के लिए एक सार्वभौमिक प्राप्तकर्ता (universal recipient) के रूप में कार्य करती है।

केंद्रीय समस्या इन मोटिविक होमोटॉपी थ्योरीज की ड्यूल (dual) श्रेणियों ( $SH^\vee$ और $MS^\vee$ ) से लोकलाइजिंग मोटिव्स ( $Mot_{loc}$ और इसका $\mathbb{A}^1$ -इनवेरिएंट संस्करण $Mot_{loc}^{\mathbb{A}^1}$ ) की ओर तुलना फंक्टर्स (comparison functors) का निर्माण और विश्लेषण करना है। लेखक यह निर्धारित करने का प्रयास कर रहे हैं कि किन शर्तों के तहत ये फंक्टर्स 'फुली फफुल-फिडेल' (fully faithful) होते हैं, जिससे मोटिविक स्पेस के ड्यूल्स और नॉन-कम्यूटेटिव मोटिव्स के बीच एक सटीक तुल्यता (equivalence) स्थापित की जा सके।

2. कार्यप्रणाली (Methodology)

यह शोध पत्र उन्नत उच्च श्रेणी सिद्धांत (higher category theory) की तकनीकों का उपयोग करता है, विशेष रूप से $\infty$ -कैटेगरीज और स्टेबल प्रेजेंटेबल कैटेगरीज ( $Pr^L_{st}$ ) के ढांचे के भीतर।

$Pr^L_{st}$ में ड्यूलाइजेशन (Dualization in $Pr^L_{st}$ ): लेखक स्टेबल प्रेजेंटेबल कैटेगरीज के सिमेट्रिक मोनोइडल कैटेगरी में ड्यूजेबल ऑब्जेक्ट्स (dualizable objects) की अवधारणा का उपयोग करते हैं। एक कैटेगरी $\mathcal{C}$ के लिए, इसका ड्यूल $\mathcal{C}^\vee$ को $Fun^L(\mathcal{C}, Sp)$ के रूप में परिभाषित किया जाता है।
फॉर्मल इनवर्जन और टेलिस्कोप्स (Formal Inversion and Telescopes): निर्माण इन कैटेगरीज के भीतर ऑब्जेक्ट्स (विशेष रूप से प्रोजेक्टिव लाइन $\mathbb{P}^1$ ) को औपचारिक रूप से उलटने (formally inverting) पर आधारित है। लेखक इन इनवर्शन्स को स्पष्ट रूप से वर्णित करने के लिए "टेलीस्कोप मॉडल" और "c-स्पेक्ट्रा" (अननाला-इवासा से) का उपयोग करते हैं।
ड्यूलिटी और इनवर्जन की अनुकूलता (Compatibility of Duality and Inversion): एक महत्वपूर्ण तकनीकी चरण यह सिद्ध करना है कि ड्यूल लेने की प्रक्रिया औपचारिक इनवर्जन के साथ कम्यूट (commute) करती है। विशेष रूप से, एक कॉम्पैक्ट ऑब्जेक्ट $X$ के लिए, $(\mathcal{C}[X^{-1}])^\vee \simeq \mathcal{C}^\vee[(X^{dual})^{-1}]$ होता है।
सार्वभौमिक गुण (Universal Properties): लेखक ड्यूल कैटेगरीज $SH^\vee$ और $MS^\vee$ को केवल अमूर्त ड्यूल्स के रूप में नहीं, बल्कि विशिष्ट डिसेंट (codescent) स्थितियों (Nisnevich, $\mathbb{A}^1$ , या एलिमेंट्री ब्लोअप एक्सिशन) और $\mathbb{P}^1$ के औपचारिक इनवर्जन को संतुष्ट करने वाले को-शीव्स (cosheaves) की कैटेगरीज के रूप में वर्णित करते हैं।
बैर-बेक प्रमेय (Barr-Beck Theorem): तुलना फंक्टर्स को एक विशिष्ट एल्जेब्रा (एक ड्यूल वर्जन ऑफ द K-theory स्पेक्ट्रम $KGL$) के ऊपर मॉड्यूल्स की कैटेगरीज के माध्यम से फैक्टराइज़ (factor) किया जाता है। परिणामी फंक्टर्स की 'फुली फफुल-फिडेलिटी' का विश्लेषण बैर-बेक प्रमेय और "रिजिड जनरेशन" (rigid generation) की शर्तों का उपयोग करके किया जाता है।

3. मुख्य योगदान (Key Contributions)

A. तुलना फंक्टर्स का निर्माण (Construction of Comparison Functors)

शोध पत्र दो प्राथमिक तुलना फंक्टर्स का निर्माण करता है:

$\Phi: SH^\vee \to Mot_{loc}^{\mathbb{A}^1}$ : $\mathbb{A}^1$ -इनवेरिएंट मोटिविक होमोटॉपी कैटेगरी के ड्यूल से $\mathbb{A}^1$ -इनवेरिएंट लोकलाइजिंग मोटिव्स की कैटेगरी तक का एक फंक्टर।
$\Psi: MS^\vee \to Mot_{loc}$ : नॉन- $\mathbb{A}^1$ -इनवेरिएंट मोटिविक होमोटॉपी कैटेगरी के ड्यूल से सामान्य लोकलाइजिंग मोटिव्स की कैटेगरी तक का एक फंक्टर।

ये फंक्टर्स स्मूथ स्कीम्स (smooth schemes) से ड्यूल मोटिविक कैटेगरीज तक प्राकृतिक मानचित्र $X \mapsto U(\text{perf}_X)$ (जहाँ $U$ एक यूनिवर्सल लोकलाइजिंग इनवेरिएंट है) का विस्तार करके परिभाषित किए जाते हैं।

B. ड्यूल कैटेगरीज का लक्षण वर्णन (Characterization of Dual Categories)

लेखक ड्यूल कैटेगरीज का एक ठोस विवरण प्रदान करते हैं:

$SH^\vee$ उन को-शीव्स की कैटेगरी के समकक्ष है जो Nisnevich कोडेसेंट, $\mathbb{A}^1$ -कोडेसेंट, और $(\mathbb{P}^1)^{dual}$ के औपचारिक इनवर्जन को संतुष्ट करती हैं।
$MS^\vee$ उन को-शीव्स की कैटेगरी के समकक्ष है जो Nisnevich कोडेसेंट, एलिमेंट्री ब्लोअप कोडेसेंट, और $(\mathbb{P}^1)^{dual}$ के औपचारिक इनवर्जन को संतुष्ट करती हैं।

यह लक्षण वर्णन सार्वभौमिक गुण प्रदान करता है जो स्मूथ स्कीम्स से पूरे ड्यूल कैटेगरीज तक फंक्टर्स के विस्तार की अनुमति देता है।

C. मॉड्यूल कैटेगरीज के माध्यम से फैक्टराइजेशन (Factorization via Module Categories)

बैर-बेक तर्क का उपयोग करते हुए, लेखक दिखाते हैं कि तुलना फंक्टर्स एक विशिष्ट एल्जेब्रा ऑब्जेक्ट के ऊपर मॉड्यूल्स की कैटेगरी के माध्यम से फैक्टराइज़ होते हैं:

$\Phi$ एक $Mod_{\Phi^*(1)}(SH^\vee)$ के माध्यम से फैक्टराइज़ होता है।
$\Psi$ एक $Mod_{\Psi^*(1)}(MS^\vee)$ के माध्यम से फैक्टराइज़ होता है।
यहाँ, $\Phi^*(1)$ और $\Psi^*(1)$ , एल्जेब्रिक K-थ्योरी स्पेक्ट्रम ($KGL$) के ड्यूल वर्जन के रूप में कार्य करते हैं।

4. मुख्य परिणाम (Main Results)

परिणाम 1: $\mathbb{A}^1$ -इनवेरिएंट केस में फुल-फफुल-फिडेलिटी (Fully-Faithfulness in the $\mathbb{A}^1$ -Invariant Case)

प्रमेय: एक ऐसे क्षेत्र $k$ पर जो रेजोल्यूशन ऑफ सिंगुलैरिटी (resolution of singularities) को स्वीकार करता है, और $k$ के एक्सपोनेंशियल कैरेक्टरिस्टिक $e$ को इनवर्ट करने के बाद, फैक्टर्ड फंक्टर:
$e\Phi: Mod_{\Phi^*(1)}(SH(k)[1/e]^\vee) \to Mot(k)_{loc}^{\mathbb{A}^1}[1/e]$
मैपिंग स्पेक्ट्रा के स्तर पर फुली फफुल-फिडेल (fully faithful) है।

तर्क: कैटेगरी $SH(k)[1/e]^\vee$ रिजिडली जनरेटेड (rigidly generated) है (कॉम्पैक्ट, ड्यूजेबल ऑब्जेक्ट्स द्वारा जनरेटेड)। यह गुण, इस तथ्य के साथ कि $Mot_{loc}^{\mathbb{A}^1}$ का यूनिट कॉम्पैक्ट है, यह सुनिश्चित करता है कि प्रोजेक्शन फॉर्मूला लागू होता है और फंक्टर आवश्यक संरचना को बनाए रखता है ताकि वह फुली फफुल-फिडेल हो सके।

परिणाम 2: नॉन- $\mathbb{A}^1$ -इनवेरिएंट केस में फुल-फफुल-फिडेलिटी की विफलता (Failure of Fully-Faithfulness in the Non- $\mathbb{A}^1$ -Invariant Case)

प्रमेय: नॉन- $\mathbb{A}^1$ -इनवेरिएंट सेटिंग में, फंक्टर:
$e\Psi: Mod_{\Psi^*(1)}(MS(k)[1/e]^\vee) \to Mot(k)_{loc}[1/e]$
सामान्य रूप से फुली फफुल-फिडेल नहीं है।

तर्क:
1. रिजिड जनरेशन का अभाव: $MS(k)^\vee$ रिजिडली जनरेटेड नहीं है।
2. कार्डिनैलिटी मिसमैच (Cardinality Mismatch): लेखक मैपिंग स्पेक्ट्रा की कार्डिनैलिटी पर आधारित एक काउंटर-एग्जांपल (counterexample) का निर्माण करते हैं।
  - डोमेन में (MS से व्युत्पन्न), कॉम्पैक्ट ऑब्जेक्ट्स के बीच मैपिंग स्पेक्ट्रा गणनीय (countable) हैं (यह मानते हुए कि $k$ एक गणनीय क्षेत्र है)।
  - को-डोमेन ( $Mot_{loc}$ ) में, यूनिट और कुछ ऑब्जेक्ट्स के बीच मैपिंग स्पेक्ट्रम बिग विट वेक्टर्स (big Witt vectors) $W(R)$ के रिंग से संबंधित है। एक गैर-शून्य रिंग $R$ के लिए, $W(R)$ अगणनीय (uncountable) होता है।
- यह विसंगति सिद्ध करती है कि फंक्टर फुली फफुल-फिडेल नहीं हो सकता, क्योंकि यह टारगेट कैटेगरी में मौजूद अगणनीय संरचना को कैप्चर नहीं कर सकता।

5. महत्व (Significance)

मोटिव्स और नॉन-कम्यूटेटिव ज्योमेट्री को जोड़ना: यह शोध पत्र शास्त्रीय मोटिविक होमोटॉपी थ्योरी और नॉन-कम्यूटेटिव मोटिव्स के सिद्धांत के बीच एक सेतु को कड़ाई से स्थापित करता है। यह स्पष्ट करता है कि मोटिविक दुनिया का "ड्यूल" ही नॉन-कम्यूटेटिव मोटिव्स का स्वाभाविक घर है।
$\mathbb{A}^1$ -इनवेरिएंस की भूमिका: यह कार्य $\mathbb{A}^1$ -इनवेरिएंट और नॉन-इनवेरिएंट सिद्धांतों के बीच एक मौलिक संरचनात्मक अंतर को उजागर करता है। जबकि $\mathbb{A}^1$ -इनवेरिएंस लोकलाइजिंग मोटिव्स के साथ पूर्ण पत्राचार के लिए आवश्यक "रिजिड जनरेशन" सुनिश्चित करता है, इस स्थिति को हटाने से (जैसा कि $MS$ में है) ऐसी जटिलताएं (जैसे ब्लो-अप एक्सिशन) आती हैं जो पूर्ण तुल्यता को तोड़ देती हैं।
ड्यूलिटी के लिए नए उपकरण: यह शोध पत्र प्रेजेंटेबल $\infty$ -कैटेगरीज में ड्यूलिटी पर बढ़ते साहित्य में योगदान देता है (क्लाउसेन-शोल्ज़ और एफिमोव के कार्य पर आधारित), जो मोटिविक कैटेगरीज के ड्यूल्स के लिए स्पष्ट मॉडल प्रदान करता है और यह दिखाता है कि औपचारिक इनवर्जन ड्यूलिटी के साथ कैसे इंटरैक्ट करता है।
मोटिविक थ्योरी में काउंटर-एग्जाम्पल्स: नॉन- $\mathbb{A}^1$ केस में फुली फफुल-फिडेलिटी की विफलता का प्रदर्शन यह दर्शाता है कि अतिरिक्त बाधाओं के बिना नॉन-कम्यूटेटिव मोटिव्स सामान्य मोटिविक होमोटॉपी थ्योरीज को कितनी दूर तक मॉडल कर सकते हैं।

संक्षेप में, टैन का शोध सफलतापूर्वक एक तुलनात्मक ढांचा बनाता है जो दिखाता है कि जबकि $\mathbb{A}^1$ -इनवेरिएंट मोटिविक कैटेगरी का ड्यूल लोकलाइजिंग मोटिव्स द्वारा पूरी तरह से कैप्चर किया जाता है (हल्की फील्ड धारणाओं के तहत), नॉन-इनवेरिएंट केस नॉन-कम्यूटेटिव दुनिया में कुछ अगणनीय इनवेरियंट्स के कारण एक संरचनात्मक विचलन प्रदर्शित करता है।