A note on Azumaya algebras and one-forms

तकनीकी सारांश: अज़ुमायाया बीजगणक (Azumaya Algebras) और एक-रूपों (One-Forms) पर एक टिप्पणी

समस्या विवरण
एक बीजगणितीय रूप से संवृत्त क्षेत्र $k$ (जिसका अभिलक्षण $p > 0$ है) के संदर्भ में, एक चिकनी प्रगामी विविधता (smooth proper variety) $X$ पर क्रिस्टलीय अवकल ऑपरेटरों के शिफ (sheaf) का एक अज़ुमायाया बीजगणक परिभाषित करता है, जिसे $A_X$ द्वारा दर्शाया गया है, जो फ्रोबिनियस ट्विस्ट $X'$ के कोटेंजेंट बंडल $T^*X'$ पर स्थित है। जबकि यह ज्ञात है कि $A_X$ कुछ स्पेक्ट्रल विविधताओं पर विभाजित (split) होता है (एक घटना जिसका उपयोग विशेषता-$p$ ज्यामितिक लैंगलैंड्स और गैर-अबीलियन हॉडज सिद्धांत में किया जाता है), एक विशिष्ट प्रश्न खुला रह गया था कि क्या ऐसी विविधताएँ अस्तित्व में हैं जहाँ यह विभाजन विफल हो जाता है।

साशा पेट्रोव ने एक प्रश्न प्रस्तुत किया था (लेख में प्रश्न 1): क्या एक चिकनी प्रगाली विविधता $X$ और एक चिकनी उप-विविधता $Z \subset T^*X'$, जो $X'$ पर परिमित (finite) है, का अस्तित्व है, ताकि प्रतिबंधित अज़ुमायाया बीजगणक $A_X|_Z$ विभाजित न हो?

कार्यप्रणाली
यह लेख $X$ के वैश्विक एक-रूपों (global one-forms) के कोहॉमोलॉजिकल गुणों के माध्यम से अज़ुमायाया बीजगणक के विभाजन का विश्लेषण करके इस प्रश्न का समाधान करता है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

1. मिल्ने का सटीक अनुक्रम (Milne's Exact Sequence): लेखक $X'$ पर एटाले शिफ (étale sheaves) के मिल्ने के सटीक अनुक्रम का उपयोग करते हैं, जो मल्टीप्लिकेटिव ग्रुप, मल्टीप्लिकेटिव ग्रुप का फ्रोबिनियस पुशफॉरवर्ड, बंद एक-रूप (closed one-forms), और सभी एक-रूपों के शिफ के बीच संबंध स्थापित करता है। इस अनुक्रम में कार्टियर ऑपरेटर $C_X$ और $d\log$ मानचित्र शामिल हैं।
2. अवरोध होमोमोर्फिज्म (Obstruction Homomorphism): सटीक अनुक्रम को जोड़ने (splicing) द्वारा, एक अवरोध होमोमोर्फिज्म परिभाषित किया जाता है:
   $$ob_{X'}: H^0(X', \Omega^1_{X'/k}) \to H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$$
   यह मानचित्र विभाजन के अवरोध को मापता है।
3. गेरे (Gerbe) की पहचान: ओगस-वोलोगोड्स्की का हवाला देते हुए, लेख $ob_{X'}(\omega)$ को एक इंटीग्रेबल कनेक्शन और $p$-कर्वेचर $\omega$ वाले लाइन बंडल्स के $\mathbb{G}_m$-गेरे के वर्ग के रूप में पहचानता है। महत्वपूर्ण रूप से, इस गेरे को वैश्विक एक-रूप $\omega$ के संगत खंड $i_\omega: X' \to T^*X'$ पर $A_X$ के विभाजनों के गेरे के रूप में भी पहचाना जाता है।
4. पिकार्ड स्कीम्स का आयामी विश्लेषण: यह निर्धारित करने के लिए कि $ob_{X'}$ शून्य कब नहीं है, लेख इंटीग्रेबल कनेक्शन वाले लाइन बंडलों के रिजिडिफाइड पिकार्ड स्कीम $G$ का विश्लेषण करता है। कार्टियर डिसेंट और $p$-कर्वेचर मोर्फिज्म $\psi: G \to V$ (जहाँ $V$ वैश्विक एक-रूपों का वेक्टर ग्रुप है) के गुणों का उपयोग करते हुए, लेखक $\psi$ के प्रतिबिंब के आयाम और सभी वैश्विक एक-रूपों के स्थान की तुलना करते हैं।

मुख्य योगदान और परिणाम
लेख निम्नलिखित मुख्य परिणाम स्थापित करता है:

• लेम्मा 2 (Lemma 2): एक चिकनी विविधता $X$ और एक वैश्विक एक-रूप $\omega \in H^0(X', \Omega^1_{X'/k})$ के लिए, $H^2_{\text{ét}}(X', \mathcal{O}^*_{X'})$ में प्रतिबंधित अज़ुमायाया बीजगणक का वर्ग $[i_\omega^* A_X]$, ठीक $ob_{X'}(\omega)$ के बराबर है। फलस्वरूप, यदि $ob_{X'}(\omega) \neq 0$, तो बीजगणक ग्राफ $\Gamma_\omega$ पर विभाजित नहीं होता है।
• प्रपोजिशन 3 (Proposition 3): यदि $X$ एक चिकनी प्रगामी संबद्ध विविधता है जहाँ प्रत्येक वैश्विक एक-रूप बंद नहीं है (अर्थात, $H^0(X, Z^1_{X/k}) \subsetneq H^0(X, \Omega^1_{X/k})$), तो अवरोध मानचित्र $ob_{X'}$ गैर-शून्य है। प्रमाण यह दर्शाता है कि $p$-कर्वेचर मोर्फिज्म का प्रतिबिंब पिकार्ड स्कीम के घटकों पर आयामी बाधाओं के कारण सभी वैश्विक एक-रूपों के स्थान से स्पष्ट रूप से छोटा है।
• थ्योरम 4 (मुख्य परिणाम): यदि $X$ के पास एक गैर-बंद वैश्विक एक-रूप है, तो एक चिकनी उप-विविधता $Z \subset T^*X'$ (विशेष रूप से, एक गैर-बंद रूप का ग्राफ) मौजूद है जो $X'$ पर परिमित है (वास्तव में, एक आइसोमोर्फिज्म है), जिससे $A_X|_Z$ विभाजित नहीं होता है।

उदाहरण और महत्व
लेख प्रत्येक धनात्मक अभिलक्षण में सकारात्मक उदाहरण प्रदान करता है:

• सतह के उदाहरण: यह गैर-बंद वैश्विक एक-रूपों वाली चिकनी प्रोजेक्टिव सतहों के लिए ममफोर्ड के निर्माण का संदर्भ देता है। यह यह भी नोट करता है कि ताकेडा द्वारा निर्मित सामान्यीकृत रेनॉड सतहें (generalized Raynaud surfaces), जो मूल रूप से $p>2$ के लिए थीं, $p=2$ के लिए भी इस शर्त को पूरा करती हैं।
• उच्च आयाम: इन सतहों का $\mathbb{P}^n_k$ के साथ उत्पाद $X \times \mathbb{P}^n_k$ उच्च-आयामी उदाहरण प्रदान करते हैं।

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

लेखकर्ता लिफ्टिंग (lifting) के संबंध में एक प्रत्यक्ष परिणाम नोट करता है: डेलिगने-इलसिए (Deligne–Illusie) प्रमेय द्वारा, यदि हॉडज-टू-डे-राहम स्पेक्ट्रल अनुक्रम $E_1$ पर क्षय (degenerate) होता है, तो सभी वैश्विक एक-रूप बंद होने चाहिए। इसलिए, इस लेख में निर्मित विविधताएं (जिनमें गैर-बंद रूप हैं) द्वितीय विटर्स रिंग $W_2(k)$ तक लिफ्ट नहीं की जा सकतीं। लेख विनम्र है, इसे पेट्रोव द्वारा पूछे गए एक विशिष्ट प्रश्न के समाधान के रूप में प्रस्तुत करता है, बिना किसी व्यापक अनुप्रयोग या भविष्य के प्रयोगात्मक प्रस्ताव के जो तात्कालिक ज्यामितीय संदर्भ से परे हो।