An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128

तकनीकी सारांश: कार्लसन के 'डेप्थ और एसोसिएटेड प्राइम्स' संबंधी अनुमान का एक सटीक प्रति-उदाहरण (Counterexample)

1. समस्या विवरण

यह शोध पत्र जे. एफ. कार्लसन (J. F. Carlson) द्वारा उनके 1995 के 'डेप्थ और ट्रांसफर मैप्स' पर आधारित कार्य में प्रस्तुत प्रश्न 3.1 को संबोधित करता है। यह प्रश्न पूछता है कि क्या एक परिमित समूह $G$ और एक क्षेत्र $k$ (जिसका अभिलक्षण $p$ है) के लिए, कोहोमोलॉजी रिंग $H^*(G; k)$ की डेप्थ (depth) हमेशा उसके किसी एसोसिएटेड प्राइम (associated prime) के आयाम (dimension) द्वारा प्राप्त की जाती है।

औपचारिक रूप से, मान लीजिए $A = H^*(G; k)$ है। $A$ की डेप्थ ($\text{depth } A$), धनात्मक-डिग्री वाले आदर्श (ideal) में एक रेगुलर सीक्वेंस की अधिकतम लंबाई है। $A$ के एसोसिएटेड प्राइम्स वे प्राइम आइडियल्स हैं $\mathfrak{p} = \text{ann}_A(a)$, जहाँ $a \in A$ है। यह अनुमान (conjecture) निम्नलिखित समानता का प्रस्ताव करता है:
$$\text{depth } H^*(G; k) = \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$$
यद्यपि $\text{depth } A \le \dim A/\mathfrak{p}$ एक मानक असमानता है, यह अनुमान दावा करता है कि डेप्थ द्वारा प्रदान किया गया निचला स्तर (lower bound) हमेशा किसी एसोसिएटेड प्राइम द्वारा प्राप्त किया जाता है। ग्रीन (Green), शेफर (Schafer), और गारायाल्ड ओकाना (Garaialde Ocaña) आदि के पिछले कार्यों ने विशिष्ट $p$-समूहों के लिए इस समानता की पुष्टि की थी, लेकिन 2025 के अंत तक सामान्य मामला खुला रह गया था।

2. कार्यप्रणाली

लेखक एक तीन-स्तरीय रणनीति का उपयोग करते हैं जो समूह-सिद्धांतिक गणना (group-theoretic enumeration), क्रमकोचक बीजगणित (commutative algebra), और सटीक कंप्यूटर-सहायता प्राप्त सत्यापन को जोड़ती है ताकि एक प्रति-उदाहरण (counterexample) का निर्माण किया जा सके।

A. सैद्धांतिक न्यूनीकरण (ओकुयामा का सेतु - Okuyama's Bridge)
प्रमाण ओकुयामा के प्रमेय (Theorem 3.1) पर निर्भर करता है, जो एसोसिएटेड प्राइम्स और एलिमेंट्री एबेलियन उपसमूहों के बीच एक संबंध स्थापित करता है। विशेष रूप से, यदि एक एसोसिएटेड प्राइम $\mathfrak{p}$ का कोटिएंट डायमेंशन $s$ है, तो एक एलिमेंट्री एबेलियन $p$-उपसमूह $E \le G$ का रैंक $s$ मौजूद है जिससे:
$$\text{depth } H^*(C_G(E); k) = s$$
परिणामस्वरूप, $\text{depth } H^*(G; k) = 2$ वाले समूह के लिए अनुमान को गलत सिद्ध करने के लिए, यह दिखाना पर्याप्त है कि $G$ के प्रत्येक रैंक-दो वाले एलिमेंट्री एबेलियन उपसमूह $E \le G$ के लिए, उसके सेंट्रलइज़र (centralizer) $C_G(E)$ की डेप्थ 2 से अधिक (अर्थात $\ge 3$) है।

B. समूह-सिद्धांतिक गणना (Group-Theoretic Enumeration)
लेखक क्षेत्र $k = \mathbb{F}_2$ पर समूह $G = \text{SmallGroup}(128, 859)$ का चयन करते हैं। इस समूह की पहचान ग्रीन और किंग के कैटलॉग से की गई थी, जो इसके क्रुल डायमेंशन (Krull dimension) को 4 और इसकी डेप्थ को 2 के रूप में दर्ज करता है।

• लेखक $G$ में सभी रैंक-दो एलिमेंट्री एबेलियन उपसमूहों (जो $C_2 \times C_2$ के समरूप हैं) की व्यापक गणना करते हैं।
• प्रक्रिया सभी गैर-तत्काल इनवोल्यूशन (non-identity involutions) को सूचीबद्ध करती है, कम्यूटिंग पेयर्स (commuting pairs) बनाती है, और उपसमूहों को डीडुप्लिकेट (deduplicate) करती है।
• इससे ठीक 75 ऐसे उपसमूह प्राप्त होते हैं, जो सेंट्रलइज़र के 6 विशिष्ट आइसोमॉर्फिज्म प्रकारों में आते हैं।

C. सटीक बीजगणितीय प्रमाण (Exact Algebraic Certificates)
प्रत्येक 6 सेंट्रलइज़र प्रकारों के लिए, लेखक $H^*(C_G(E); \mathbb{F}_2)$ की कोहोमोलॉजी रिंग की डेप्थ निर्धारित करते हैं:

1. चार प्रकार (रैंक $\ge 3$ वाले केंद्र): उन सेंट्रलइज़र्स के लिए जो $\text{SmallGroup}(16, 10)$, $(16, 14)$, $(32, 22)$, और $(32, 46)$ के समरूप हैं, लेखक डुफ्लोट के प्रमेय (Duflot's Theorem) को लागू करते हैं। चूंकि इन समूहों के केंद्र (center) की रैंक कम से कम 3 है, इसलिए डुफ्लोट का प्रमेय तुरंत यह सुनिश्चित करता है कि $\text{depth } H^*(C_G(E); \mathbb{F}_2) \ge 3$ है।
2. दो अपवाद स्वरूप प्रकार (रैंक 2 वाले केंद्र): उन सेंट्रलइज़र्स के लिए जो $\text{SmallGroup}(64, 90)$ और $(64, 216)$ के समरूप हैं, डुफ्लोट का प्रमेय केवल डेप्थ $\ge 2$ की गारंटी देता है। डेप्थ 2 को खारिज करने के लिए, लेखक प्रत्येक रिंग के स्पष्ट बहुपद प्रस्तुतीकरण (polynomial presentations) का उपयोग करके लंबाई 3 के सटीक रेगुलर सीक्वेंस का निर्माण करते हैं।
   • वे कोलन आइडियल (colon ideal) गणनाओं का उपयोग करते हैं: $(I : f) = I$ यह प्रमाणित करता है कि $f$, $I$ के मॉड्यूल में एक नॉन-जीरो-डिवइज़र (non-zero-divisor) है।
   • वे प्रत्येक रिंग के प्रस्तुतीकरण में विशिष्ट होमोजेनियस तत्वों के लिए तीन क्रमिक कोलन समानताओं (colon equalities) को सत्यापित करते हैं, जिससे लंबाई 3 के रेगुलर सीक्वेंस के अस्तित्व को सिद्ध किया जाता है।
   • ये गणनाएँ ग्रोबनर बेस (Gröbner basis) तकनीकों का उपयोग करके $\mathbb{F}_2$ पर की जाती हैं। लेम्मा 5.3 (बेस चेंज इनवेरिएंस) के अनुसार, ये परिणाम 2 के अभिलक्षण वाले किसी भी बीजगणितीय बंद क्षेत्र (algebraically closed field) के लिए मान्य हैं।

3. मुख्य परिणाम

यह शोध पत्र निम्नलिखित प्रमेय स्थापित करता है:

प्रमेय 2.1: माना कि $G = \text{SmallGroup}(128, 859)$ और $k = \mathbb{F}_2$ है। तब:

1. $\text{depth } H^*(G; k) = 2$।
2. $\omega_a(H^*(G; k)) \ge 3$, जहाँ $\omega_a$ एक एसोसिएटेड प्राइम कोटिएंट का न्यूनतम डायमेंशन है।
3. फलस्वरूप, $\text{depth } H^*(G; k) < \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$।

$\text{depth } H^*(G; k) = 2$ के प्रमाण के लिए भी सटीक प्रमाण (certificates) प्रदान किए गए हैं:

• एक लंबाई 2 का रेगुलर सीक्वेंस ($f_1, f_2$) निर्मित किया गया है।
• $A/(f_1, f_2)$ में एक गैर-शून्य सोकल तत्व (non-zero socle element) $w$ प्रदर्शित किया गया है, जो यह सिद्ध करता है कि कोई अन्य रेगुलर तत्व मौजूद नहीं है, जिससे डेप्थ ठीक 2 निर्धारित होती है।

4. महत्व और दावे

यह शोध पत्र दावा करता है कि यह डेप्थ और एसोसिएटेड प्राइम डायमेंशन की समानता से संबंधित कार्लसन के अनुमान का पहला सटीक प्रति-उदाहरण प्रदान करता है।

• एक खुले प्रश्न का समाधान: यह कार्य प्रश्न 3.1 का निश्चित रूप से नकारात्मक उत्तर देता है, यह प्रदर्शित करते हुए कि कोहोमोलॉजी रिंग की डेप्थ द्वारा प्रदान किया गया निचला स्तर हमेशा एक एसोसिएटेड प्राइम द्वारा प्राप्त नहीं किया जाता है।
• पद्धतिगत कठोरता: लेखक इस बात पर जोर देते हैं कि परिणाम अनुमानित सन्निकटन (heuristic approximations) या संख्यात्मक अनुमानों पर आधारित नहीं है। इसके बजाय, यह सटीक बीजगणितीय प्रमाणों (कोलन आइडियल समानताएं और ग्रोबनर बेस नॉर्मल फॉर्म्स) और व्यापक समूह गणना पर निर्भर करता है।
• पुनरुत्पादकता (Reproducibility): शोध पत्र में परिमित समूह प्रस्तुतीकरण, कोहोमोलॉजी रिंग प्रस्तुतीकरण, गणना सारांश, और स्वतंत्र सत्यापन के लिए आवश्यक विशिष्ट बीजगणितीय प्रमाण शामिल हैं।
• क्षेत्र (Scope): यह प्रति-उदाहरण अभिलक्षण 2 में $\text{SmallGroup}(128, 859)$ के लिए विशिष्ट है। शोध पत्र यह दावा नहीं करता है कि उन सभी समूहों का लक्षण वर्णन किया गया है जिनके लिए अनुमान विफल होता है, न ही यह डेप्थ और एसोसिएटेड प्राइम डायमेंशन के बीच के अंतर के लिए कोई नया सामान्य सूत्र प्रस्तावित करता है।

लेखक नोट करते हैं कि निर्माण पूर्व-मौजूदा परिणामों (ग्रीन और किंग के कैटलॉग और ओकुयामा के प्रमेय) पर निर्भर करता है, लेकिन "भार वहन करने वाली" (load-bearing) नई सामग्री रैंक-दो उपसमूहों की पूर्ण गणना और उनके सेंट्रलइज़र्स के लिए बाद के सटीक डेप्थ गणनाएँ हैं।