Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

तकनीकी सारांश: समरूप स्थानों (homogeneous spaces) के लिए बीजगणितीय ब्रौअर-मैन अवरोध की अपर्याप्तता

समस्या विवरण
यह शोध पत्र परिमेय बिंदुओं (rational points) वाले बीजगणिक रूपांतरों (algebraic varieties) के लिए हासे सिद्धांत (Hasse principle/local-global principle) की विफलता को संबोधित करता है। विशेष रूप से, यह इस बात की जांच करता है कि क्या ब्रौअर-मैन अवरोध (Brauer–Manin obstruction), जो मैनिन द्वारा प्रस्तुत एक कोहोमोलॉजिकल तंत्र है, जुड़े हुए रैखिक बीजगणिक समूहों के समरूप स्थानों के लिए अपर्याप्त है या नहीं।

जबकि "सौम्य" (tame) ज्यामिति वाले रूपांतरों (जैसे कि ज्यामितीय रूप से तर्कसंगत रूप से संबद्ध रूपांतर) और जुड़े हुए या क्रमविनिमेय स्टेबिलाइज़र (stabilizers) वाले समरूप स्थानों के लिए ब्रौअर-मैन अवरोध की पर्याप्तता स्थापित है, परिमित गैर-आबेली स्टेबिलाइज़र वाले मामलों में यह काफी हद तक खुला प्रश्न बना हुआ है। डेमारचे, लुचीनी आर्टेचे, नेफ्टिन, डेमीओ, और लैगार्ड के पिछले कार्यों ने प्रदर्शित किया है कि परिमित स्थिर मेटाबेलेट (metabelian) स्टेबिलाइज़र्स के मामले में 'वीक एप्रोक्सिमेशन' (weak approximation) के लिए बीजगणिक ब्रौअर-मैन अवरोध अपर्याप्त है। हालांकि, ऐसे समरूप स्थानों के अस्तित्व के बारे में अज्ञात था जहाँ बीजगणिक अवरोध स्वयं हासे सिद्धांत की विफलता की व्याख्या करने में विफल रहता है। यह शोध पत्र ऐसा प्रति-उदाहरण (counterexample) निर्मित करने का लक्ष्य रखता है।

कार्यप्रणाली
लेखक एक संख्या क्षेत्र $k$ (जिसमें एक प्रिमिटिव $p$-वाँ मूल इकाई शामिल है, जहाँ $p$ एक विषम अभाज्य संख्या है) पर $SL_n$ के एक विशेष रैखिक समूह के समरूप स्थान $X$ का उपयोग करके एक विशिष्ट प्रति-उदाहरण का निर्माण करते हैं। निर्माण बोरोवोई और कुन्यावस्की द्वारा विकसित मशीनरी पर आधारित है, जिसे लेखक द्वारा अपने पिछले कार्य [Lin24] में और अधिक परिष्कृत किया गया है।

1. समूह निर्माण: समरूप स्थान का ज्यामितीय स्टेबिलाइज़र $F$, $M \oplus M$ का $Z$ द्वारा एक केंद्रीय विस्तार (central extension) के रूप में निर्मित किया गया है, जहाँ $M = \mathbb{F}_p^d$ है और $Z$, $M \otimes M$ का एक कोटिएंट है। विस्तार को एक अधिसुरक्षित (surjective), गैर-अपभ्रंश (non-degenerate) होमोमोर्फिज्म $\phi: M \otimes M \to Z$ के माध्यम से परिभाषित किया गया है।
2. संख्यात्मक डेटा: लेखक $d = [k:\mathbb{Q}] + 3$ चुनते हैं और $A \otimes A \to M \otimes M$ (जहाँ $A=\mathbb{F}_p$) के समावेशन को पहचान मैट्रिक्स $Id$के रूप में जनरेटर को मैप करके परिभाषित करते हैं। इस प्रकार समूह$F$ की नाइलपोटेंसी क्लास (nilpotency class) 2 है और इसका क्रम $p^{d^2+2d-1}$ है।
3. कोहोमोलॉजिकल सेटअप: ग्लोबल क्लास फील्ड थ्योरी का उपयोग करके एक क्लास $\beta \in H^2(k, Z)$ का निर्माण किया गया है। यह क्लास सभी स्थानों (places) पर शून्य है, सिवाय विशिष्ट परिमित स्थानों $\{v_1, \dots, v_d\}$ के, जहाँ इसके स्थानीय इनवेरिएंट्स (local invariants) $\phi$ के तहत रैंक-वन मैट्रिसेस $e_i \otimes e_i$ के चित्र (images) के अनुरूप हैं।
4. स्थानीय बनाम वैश्विक विश्लेषण:
   • स्थानीय अस्तित्व: टेट के स्थानीय द्वैत (Tate's local duality) और इस तथ्य का उपयोग करते हुए कि $H^1(k_v, \mathbb{F}_p)$ के स्थानीय कोहोमोलॉजी समूहों की रैंक छोटी है (उन स्थानों के लिए जो $p$ को विभाजित नहीं करते हैं, वहां 2 द्वारा सीमित है), लेखक दिखाते हैं कि समीकरण $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ के लिए प्रत्येक स्थान $v$ पर स्थानीय समाधान $x_v, y_v$ मौजूद हैं। यह सुनिश्चित करता है कि सभी $v$ के लिए $X(k_v) \neq \emptyset$ है।
   • वैश्विक गैर-अस्तित्व: लेखक सिद्ध करते हैं कि कोई वैश्विक समाधान मौजूद नहीं है। वे $A_v = \text{Inv}_v(x \cup y)$ के रैंक पर प्राप्त एक समान सीमा (uniform bound) का उपयोग करते हैं जो $H^1(k_v, \mathbb{F}_p)$ के आयाम से व्युत्पन्न है। पर्याप्त बड़े $d$ के लिए, स्थानीय बाधाएं $A_v$ को विशिष्ट स्थानों पर ठीक $e_i \otimes e_i$ और अन्य स्थानों पर $0$होने के लिए मजबूर करती हैं। इन स्थानीय इनवेरिएंट्स का योग पहचान मैट्रिक्स$Id$ देता है, जो गैर-शून्य है, जो वैश्विक पारस्परिकता नियम (global reciprocity law) का खंडन करता है (जिसके अनुसार स्थानीय इनवेरिएंट्स का योग शून्य होना चाहिए)।

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

• प्रति-उदाहरण निर्माण: एक समरूप स्थान $X$ का अस्तित्व है जो $k$ पर $SL_n$ का एक समरूप स्थान है, जिसका स्टेबिलाइज़र $p$-ग्रुप (nilpotency class 2 के साथ) है, ताकि:

  1. $X$ के प्रत्येक पूर्णता (completion) $k_v$ में बिंदु हैं (स्थानीय समाधानशीलता)।
  2. $X$ के पास कोई परिमेय बिंदु नहीं है ($X(k) = \emptyset$)।
  3. अनरैमिफाइड (unramified) बीजगणिक ब्रौअर समूह $Br_{nr,1}(X) = Br_0(X)$ है।

• ट्रांसेंडेंटल अवरोध (Transcendental Obstruction): चूंकि बीजगणिक भाग का ब्रौअर-मैनिन अवरोध त्रिवितीय (trivial) है (स्थिर भाग के बराबर है), इसलिए हासे सिद्धांत की विफलता को बीजगणिक वर्गों द्वारा नहीं समझाया जा सकता है। लेखक दर्शाते हैं कि पूर्ण अनरैमिफाइड ब्रौअर समूह $Br_{nr}(X)$, स्थिरांकों के सापेक्ष $\mathbb{Z}/p$ के आइसोमॉर्फिक है। एक रैखिक रूप $L: M \otimes M \to \mathbb{F}_p$ का उपयोग करके एक स्पष्ट ट्रांसेंडेंटल क्लास $A_L \in Br_{nr}(X)$ का निर्माण करके, वे दिखाते हैं कि यह क्लास एक गैर-शून्य ब्रौअर-मैनिन पेयरिंग (pairing) प्रदान करती है:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  यह पुष्टि करता है कि हासे सिद्धांत की विफलता एक ट्रांसेंडेंटल ब्रौअर-मैनिन अवरोध द्वारा समझाई गई है।

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