🔢 mathematics

Poincaré duality in logarithmic motivic homotopy theory

यह शोध पत्र अननाला-होयोस-इवासा के तर्कों को अनुकूलित करके लॉगरिदमिक मोटिविक होमोटॉपी थ्योरी में स्मूथ प्रोजेक्टिव मॉर्फिज्म के लिए पोइंकेयर द्वैतता (Poincaré duality) स्थापित करता है, और इस परिणाम का उपयोग यह प्रदर्शित करने के लिए करता है कि एक लॉग कॉम्पैक्टिफिकेशन की क्रिस्टलाइन कोहोमोलॉजी (crystalline cohomology) कॉम्पैक्टिफिकेशन के चुनाव से स्वतंत्र होती है।

मूल लेखक: Doosung Park

प्रकाशित 2026-02-17

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

CC BY 4.0

मूल लेखक: Doosung Park

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो किसी इमारत के आकार और संरचना को समझने की कोशिश कर रहे हैं। गणित की दुनिया में, विशेष रूप से मोटिविक होमोटॉपी थ्योरी (Motivic Homotopy Theory) नामक एक क्षेत्र में, गणितज्ञ ज्यामितीय आकृतियों (schemes) के अध्ययन के लिए उनके "ब्लूप्रिंट" (जिन्हें 'मोटिव्स' कहा जाता है) बनाते हैं ताकि टोपोलॉजी और बीजगणित के उपकरणों का उपयोग करके उनके गुणों का अध्ययन किया जा सके।

लंबे समय तक, ये ब्लूप्रिंट "परफेक्ट" इमारतों के लिए बहुत अच्छे से काम करते थे—जैसे चिकनी, बंद आकृतियाँ जिनमें कोई किनारे या सीमाएँ नहीं होती थीं। लेकिन वास्तविक दुनिया की ज्यामिति में अक्सर ऐसी आकृतियाँ शामिल होती हैं जिनमें किनारे, कोने या सीमाएँ होती हैं (जैसे कि एक डिस्क जिसका एक घेरा/rim हो, या एक मैनिफोल्ड जिसकी एक सीमा हो)।

यह शोध पत्र, जिसे डूसुंग पार्क (Doosung Park) ने लिखा है, इन "किनारों वाली" आकृतियों को संभालने के लिए गणितीय टूलकिट को अपग्रेड करने के बारे में है, जिसे लॉगारिदमिक ज्योमेट्री (Logarithmic Geometry) नामक एक अवधारणा का उपयोग करके किया गया है। यहाँ इस पेपर द्वारा हासिल की गई कहानी का सरल विवरण दिया गया है।

1. समस्या: "परफेक्ट" बनाम "वास्तविक"

मानक गणित में, पोइन्केयर डुअलिटी (Poincaré Duality) नामक एक प्रसिद्ध नियम है। इसे एक आदर्श दर्पण की तरह समझें। यदि आपके पास एक चिकनी, बंद आकृति (जैसे एक गोला/sphere) है, तो यह नियम कहता है: "जो आप अंदर देखते हैं, वह बाहर भी पूरी तरह से प्रतिबिंबित होता है।" गणितीय रूप से, यह आपको पूरी आकृति के बारे में केवल एक हिस्से को देखकर गणना करने की अनुमति देता है।

हालाँकि, जब आपके पास एक सीमा (boundary) वाली आकृति होती है (जैसे एक सपाट डिस्क जिसका एक घेरा हो), तो यह दर्पण टूट जाता है। "परफेक्ट" दुनिया के मानक नियम "किनारों वाली" दुनिया पर लागू नहीं होते हैं।

2. समाधान: लॉगारिदमिक ज्योमेट्री ("सीमा" टूलकिट)

इसे ठीक करने के लिए, गणितज्ञ लॉगारिदमिक ज्योमेट्री का उपयोग करते हैं। आप इसे अपनी आकृतियों के किनारों पर एक विशेष "लॉग" या "लेबल" जोड़ने के रूप में देख सकते हैं।

मानक ज्यामिति: एक डिस्क बस एक डिस्क है।
लॉग ज्यामिति: एक डिस्क एक डिस्क है साथ ही इसके घेरे पर एक लेबल है जो कहता है, "मैं एक सीमा हूँ।"

यह गणितज्ञों को सीमाओं वाली आकृतियों को एक नए, विस्तारित अर्थ में "चिकना" (smooth) मानने की अनुमति देता है। यह पेपर लॉगारिदमिक मोटिविक होमोटॉपी थ्योरी (Logarithmic Motivic Homotopy Theory) (जिसे हम LogSH कह सकते हैं) नामक एक विशिष्ट ढांचे का उपयोग करता है।

3. मुख्य खोज: नया दर्पण (पोइन्केयर डुअलिटी)

लेखक की सबसे बड़ी उपलब्धि यह सिद्ध करना है कि दर्पण नियम (पोइन्केयर डुअलिटी) इस नई "लॉग" दुनिया में भी काम करता है।

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

उपमा: कल्पना कीजिए कि आपके पास एक अनुवादक है जो "मानक गणित" और "सीमा गणित" दोनों बोल सकता है। पार्क ने सिद्ध किया कि यह अनुवादक उत्तम है। यदि आप उन्हें एक सीमा वाली आकृति देते हैं, तो वे इसके गुणों को वापस और आगे पूरी तरह से अनुवादित कर सकते हैं, ठीक वैसे ही जैसे दर्पण पूर्ण गोलों (spheres) के लिए करता है।

4. यह क्यों महत्वपूर्ण है? (क्रिस्टल बॉल)

यह पेपर केवल एक नियम सिद्ध नहीं करता है; यह क्रिस्टलाइन कोहोमोलॉजी (Crystalline Cohomology) से जुड़े एक व्यावहारिक समस्या को हल करने के लिए इस नियम का उपयोग करता है।

समस्या: कल्पना कीजिए कि आपके पास एक टूटा हुआ फूलदान (एक ज्यामितीय आकृति जिसमें सिंगुलैरिटीज या खराब स्थान हैं) है। इसका अध्ययन करने के लिए, आप इसे एक बड़े, पूर्ण फूलदान (एक लॉग कॉम्पैक्टिफिकेशन) में जोड़कर इसे "ठीक" करने की कोशिश करते हैं।
मुद्दा: इसे ठीक करने के कई अलग-अलग तरीके हो सकते हैं। क्या परिणाम इस बात पर निर्भर करता है कि आपने इसे कैसे ठीक किया? यदि आप इसे एक तरीके से ठीक करते हैं, तो क्या आपको दूसरे तरीके से ठीक करने पर अलग "क्रिस्टल" (गणितीय डेटा) प्राप्त होगा?
परिणाम: नए दर्पण नियम का उपयोग करते हुए, पार्क सिद्ध करते हैं कि इससे कोई फर्क नहीं पड़ता कि आपने इसे कैसे ठीक किया। परिणामी "क्रिस्टल" हमेशा एक जैसा ही रहता है।

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

5. "गॉटचा" (Gotcha): सब कुछ परफेक्ट नहीं है

पेपर एक सीमा की ओर भी इशारा करता है। पुराने "परफेक्ट" विश्व में, एक नियम था जिसे लोकलाइजेशन प्रॉपर्टी (Localization Property) कहा जाता था (यदि आप पूरे हिस्से और एक भाग को जानते हैं, तो आप दूसरे को जानते हैं)।
पार्क दिखाते हैं कि इस नए "लॉग" विश्व में, यह नियम कुछ प्रकार की सीमाओं के लिए विफल हो जाता है।

उपमा: परफेक्ट दुनिया में, यदि आप पूरा केक और उसकी फ्रॉस्टिंग जानते हैं, तो आप स्पंज (केक का हिस्सा) को जान सकते हैं। लॉग दुनिया में, यदि आप केक और "सीमा लेबल" को जानते हैं, तो आप स्पंज का सटीक अनुमान नहीं लगा पाएंगे यदि सीमा जटिल है। यह वास्तव में एक अच्छी बात है! इसका मतलब है कि नया टूलकिट इतना संवेदनशील है कि वह उन सूक्ष्म अंतरों का पता लगा सकता है जिन्हें पुराने, कम सटीक उपकरण छोड़ देते थे।

सारांश

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

यहाँ Doosung Park के शोध पत्र "Poincaré Duality in Logarithmic Motivic Homotopy Theory" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

मुख्य समस्या:
शास्त्रीय मोटिविक होमोटोपी थ्योरी (विशेष रूप से $\mathbb{A}^1$ -होमोटोपी श्रेणी $SH$) में, पोइनकेयर ड्यूलिटी (Poincaré duality) एक मौलिक परिणाम है जो यह बताता है कि एक स्मूथ प्रोजेक्टिव मॉर्फिज्म $f: X \to S$ के लिए, मोटिव $M_S(X)$ एक विशिष्ट ड्यूल (dual) के साथ ड्यूलिज़ेबल (dualizable) है, जिसमें रिलेटिव कोटैंजेंट बंडल (relative cotangent bundle) का थॉम स्पेस (Thom space) शामिल है। हालाँकि, श्रेणी $SH$ $\mathbb{A}^1$ -इनवेरिएंट (invariant) है, जिसका अर्थ है कि यह उन कोहोमोलॉजी सिद्धांतों (cohomology theories) का प्रतिनिधित्व नहीं कर सकती जो एफाइन लाइन (affine line) के प्रति इनवेरिएंट नहीं हैं (जैसे कि Hodge cohomology, topological cyclic homology, prismatic cohomology)।

लॉगारिदमिक सेटिंग (Logarithmic Setting):
लॉगारिदमिक मोटिविक होमोटोपी थ्योरी ( $\logSH$ ) को उन कोहोमोलॉजी सिद्धांतों को संभालने के लिए विकसित किया गया था जो $\mathbb{A}^1$ -इनवेरिएंट नहीं हैं, इसमें लॉग स्ट्रक्चर (log structures) को शामिल किया गया है (स्कीम्स को "बॉर्डर वाले स्कीम्स" के रूप में देखना)। जबकि Annala, Hoyois, और Iwasa द्वारा एक विशिष्ट मोटिविक स्पेक्ट्रा ($MS$) के लिए पोइनकेयर ड्यूलिटी हाल ही में स्थापित की गई थी, उनके प्रमाण "Tang's Gysin morphisms" के अस्तित्व पर निर्भर थे जिनमें विशिष्ट नैचुरलिटी (naturality) गुण थे, जो उनके लेखन के समय उपलब्ध नहीं थे।

अंतराल (Gap):
लॉगारिदमिक मोटिविक होमोटोपी श्रेणी $\logSH$ के लिए कोई स्थापित पोइनकेयर ड्यूलिटी प्रमेय नहीं था जो गैर- $\mathbb{A}^1$ -इनवेरिएंट सिद्धांतों को समाहित कर सके। इसके अलावा, क्रिस्टलाइन कोहोमोलॉजी (crystalline cohomology) की लॉग कॉम्पैक्टिफिकेशन (log compactification) के चुनाव से स्वतंत्रता (जो कि अरिथमेटिक ज्योमेट्री के लिए एक महत्वपूर्ण गुण है) को बिना 'रेज़ोल्यूशन ऑफ सिंगुलैरिटीज़' (resolution of singularities) को माने, इस सुदृढ़ ढांचे के भीतर सिद्ध करने की आवश्यकता थी।

2. कार्यप्रणाली और ढांचा (Methodology and Framework)

लेखक एक सामान्य एक्सिओमैटिक सेटिंग (axiomatic setting) के भीतर कार्य करते हैं, जो फाइन और सैचुरेटेड (fs) लॉग स्कीम्स ( $\mathbf{lSch}$ ) पर परिभाषित एक प्रेजेंटेबलली सिमेट्रिक मोनॉइडल स्टेबल $\infty$ -कैटेगरी (presentably symmetric monoidal stable $\infty$ -category) $\mathcal{T}$ का एक शेफ (sheaf) है। इस ढांचे में $\logSH_{sat}$ (लॉग मोटिविक होमोटोपी थ्योरी का सैचुरेटेड संस्करण) शामिल है।

प्रमुख तकनीकी उपकरण:

Log Gysin Morphisms: $MS $सेटिंग के विपरीत,$ \logSH$ में लॉग गिसन मॉर्फिज्म (Binda, Park, और Østvær द्वारा निर्मित) मौजूद हैं। ये ड्यूलिटी मैप्स को परिभाषित करने के लिए आवश्यक हैं।
Log Cyclotomic Trace: यह पेपर लॉग साइक्लोटोमिक ट्रेस (जिसे [21, 22] में निर्मित किया गया है) का उपयोग करता है ताकि लॉग सेटिंग में K-थ्योरी को क्रिस्टलाइन कोहोमोलॉजी से जोड़ा जा सके।
Deformation to the Normal Bundle: लेखक नॉर्मल बंडल के लिए डेफॉर्मेशन स्पेस तकनीक ( $D_{ZX}$ ) को लॉग सेटिंग में अनुकूलित करता है, और सिद्ध करता है कि लॉग गिसन सीक्वेंस लॉग स्मूथ स्कीम्स में स्ट्रिक्ट क्लोज्ड इमर्शन (strict closed immersions) के लिए मान्य है।
नैचुरलिटी के मुद्दे: एक प्रमुख तकनीकी बाधा यह है कि लॉग गिसन मॉर्फिज्म, Tang के Gysin मॉर्फिज्म की तरह समान मजबूत नैचुरलिटी शर्तों को संतुष्ट नहीं करते हैं। लेखक इसे सिद्ध करने के लिए एक "कमजोर" नैचुरलिटी (Theorem 5.5) सिद्ध करके इस बाधा को दूर करता है, जो ड्यूलिटी स्थापित करने के लिए पर्याप्त है, और यह शास्त्रीय सेटिंग में Déglise के तर्क की शैली का अनुसरण करता है।

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

यह पेपर तीन मुख्य प्रमेय (A, B, और C) स्थापित करता है:

प्रमेय A: लॉग स्मूथ प्रोजेक्टिव मॉर्फिज्म के लिए पोइनकेयर ड्यूलिटी

कथन: स्कीम्स के एक प्रोजेक्टिव मॉर्फिज्म $f: X \to S$ के लिए, फंकशन $f^\sharp: \logSH(X) \to \logSH(S)$ , $f_* \Sigma^{\Omega^1_f}$ के समतुल्य है, जहाँ $\Sigma^{\Omega^1_f}$ रिलेटिव कोटैंजेंट बंडल द्वारा ट्विस्टेड सस्पेंशन (twisted suspension) है।
महत्व: यह सिद्ध करता है कि स्मूथ प्रोजेक्टिव लॉग स्कीम्स के मोटिव ड्यूलिज़ेबल हैं। महत्वपूर्ण रूप से, यह ड्यूलिटी उन गैर- $\mathbb{A}^1$ -इनवेरिएंट कोहोमोलॉजी सिद्धांतों (जैसे Hodge, prismatic, syntomic) पर भी लागू होती है जिनमें उपयुक्त लॉग एक्सटेंशन उपलब्ध हैं।
कार्यप्रणाली: प्रमाण में एक इवैल्यूएशन मॉर्फिज्म (evaluation morphism) और एक कंपेरिजन मॉर्फिज्म (comparison morphism) का निर्माण शामिल है, और यह दिखाना शामिल है कि वे आइसोमॉर्फिज्म हैं। यह कंपोजिशन के साथ लॉग गिसन मॉर्फिज्म की अनुकूलता (compatibility) और लॉग ब्लो-अप के तहत थॉम स्पेस के व्यवहार पर बहुत अधिक निर्भर करता है।

प्रमेय B: मोटिविक लेफ़्शेट्स ड्यूलिटी (Motivic Lefschetz Duality)

कथन: स्मूथ प्रोजेक्टिव स्कीम्स $Z \hookrightarrow X$ के एक क्लोज्ड इमर्शन के लिए, मोटिव $\Sigma^\infty X/Z$ (जो पेयर का प्रतिनिधित्व करता है) ड्यूलिज़ेबल है। इसका ड्यूल संबद्ध लॉग स्कीम $(X, Z)$ के ट्विस्टेड इनवर्स थॉम स्पेस (twisted inverse Thom space) का लॉग कोटैंजेंट बंडल है।
महत्व: यह बाउंड्री वाले मैनिफोल्ड्स के लिए लेफ़्शेट्स ड्यूलिटी का मोटिविक एनालॉग है। यह लॉग स्कीम $(X, Z)$ को एक "बॉर्डर वाले स्मूथ स्कीम" के रूप में मानता है।
अनुप्रयोग: यह परिणाम प्रमेय 9.3 के लिए एक महत्वपूर्ण घटक है, जो यह स्थापित करता है कि पोइनकेयर ड्यूलिटी स्मूथ ब्लो-अप के तहत संरक्षित रहती है (यदि यह ब्लो-अप स्क्वायर के तीन कोनों के लिए सत्य है, तो यह चौथे के लिए भी सत्य है)।

प्रमेय C: क्रिस्टलाइन कोहोमोलॉजी की स्वतंत्रता

कथन: मान लीजिए $k$ एक परफेक्ट फील्ड है जिसका अभिलक्षण (characteristic) $p > 0$ है। स्कीम्स के $k$ पर आधारित $cdh $शेफ ऑफ कॉम्प्लेक्स$ R\Gamma^{lc}_{crys}$ मौजूद है ताकि किसी भी प्रोजेक्टिव लॉग स्मूथ fs लॉग स्कीम $X$ के लिए:
$R\Gamma^{lc}_{crys}(X - \partial X) \simeq R\Gamma_{crys}(X)$
महत्व: यह सिद्ध करता है कि एक लॉग स्कीम के ओपन भाग की क्रिस्टलाइन कोहोमोलॉजी, लॉग कॉम्पक्टिफिकेशन के चुनाव से स्वतंत्र है।
कार्यप्रणाली: लेखक Annala-Hoyois-Iwisa के तर्क को अनुकूलित करते हैं। वे दिखाते हैं कि क्रिस्टलाइन कोहोमोलॉजी स्पेक्ट्रम, $\mathbb{A}^1$ -लोकलाइज्ड स्फीयर स्पेक्ट्रम पर एक मॉड्यूल है। यह लॉग साइक्लोमिक ट्रेस और लॉग K-थ्योरी का उपयोग करके प्राप्त किया जाता है, जिससे 'रेज़ोल्यूशन ऑफ सिंगुलैरिटीज़' या 'वीक फैक्टराइजेशन' (weak factorization) की आवश्यकता के बिना यह सिद्ध होता है।

4. अतिरिक्त तकनीकी परिणाम

लोकलाइजेशन की विफलता: यह पेपर प्रदर्शित करता है कि लोकलाइजेशन प्रॉपर्टी (जहाँ $j_! j^* \to \text{id} \to i_* i^*$ एक फाइब्रेशन सीक्वेंस है) $\logSH$ में क्लोज्ड नॉन-ओपन इमर्शन के लिए विफल हो जाती है। यह गैर- $\mathbb{A}^1$ -इनवेरिएंट सिद्धांतों (जैसे Hodge कोहोमोलॉजी) के अस्तित्व का सीधा परिणाम है जो निल-इनवेरिएंट (nil-invariant) नहीं हैं।
ब्लो-अप स्क्वायर्स: प्रमेय 9.3 स्मूथ ब्लो-अप स्क्वायर्स में पोइनकेयर ड्यूलिटी के लिए "फोर कॉर्नर्स" (four corners) सिद्धांत स्थापित करता है, जो प्रोजेक्टिव मॉर्फिज्म से उचित स्मूथ मॉर्फिज्म तक ड्यूलिटी परिणामों को विस्तारित करने की अनुमति देता है (यदि उपलब्ध हो तो रेज़ोल्यूशन तकनीकों या विशिष्ट ज्यामितीय निर्माणों के माध्यम से)।

5. महत्व और प्रभाव

कोहोमोलॉजी सिद्धांतों का एकीकरण: $\logSH$ में पोइनकेयर ड्यूलिटी स्थापित करके, यह पेपर एक एकीकृत ढांचा प्रदान करता है जहाँ विविध कोहोमोलॉजी सिद्धांत (शास्त्रीय, Hodge, p-adic, prismatic) एक साथ ड्यूलिटी प्रमेयों को संतुष्ट करते हैं।
अरिथमेटिक ज्योमेट्री: क्रिस्टलाइन कोहोमोलॉजी की लॉग कॉम्पक्टिफिकेशन से स्वतंत्रता (प्रमेय C) अरिथमेटिक ज्योमेट्री के लिए एक बड़ा परिणाम है, विशेष रूप से अभिलक्षण $p$ में। यह बिना किसी मजबूत रेज़ोल्यूशन ऑफ सिंगुलैरिटीज़ अनुमानों पर निर्भर किए, लॉग कॉम्पक्टिफिकेशनों के माध्यम से सिंगुलर वैरायटीज़ के लिए कोहोमोलॉजी की एक सुदृढ़ परिभाषा प्रदान करता है।
तकनीकी प्रगति: यह पेपर लॉग सेटिंग में गिसन मॉर्फिज्म की नैचुरलिटी के संबंध में तकनीकी अंतराल को हल करता है, यह सिद्ध करता है कि ड्यूलिटी को $MS$ सेटिंग में उपलब्ध मजबूत नैचुरलिटी के बिना भी स्थापित किया जा सकता है।
भावी कार्य के लिए आधार: ये परिणाम लॉग मोटिविक होमोटोपी थ्योरी के भविष्य के विकास के लिए आधार तैयार करते हैं, जिसमें गैर-प्रॉपर मॉर्फिज्म के लिए ड्यूलिटी का अध्ययन और सिंगुलर वैरायटीज़ के मोटिव्स के अध्ययन में इन ड्यूलिटी प्रमेयों का अनुप्रयोग शामिल है।

संक्षेप में, Doosung Park ने सफलतापूर्वक लॉग सेटिंग में पोइनकेयर ड्यूलिटी की शक्तिशाली मशीनरी का विस्तार किया है, जिससे कोहोमोलॉजी सिद्धांतों के एक व्यापक वर्ग का अध्ययन संभव हुआ है और क्रिस्टलाइन कोहोमोलॉजी की लॉग कॉम्पक्टिफिकेशन के तहत इनवेरिएंस के संबंध में एक लंबे समय से चले आ रहे प्रश्न को हल किया है।