संबद्ध गैलोइस मॉड्यूल के आधार: सामान्य जंगली रामीकृत विस्तार और प्राथमिक एबेलियन विस्तार में $p^2$ की डिग्री

मूल जानकारी

• पेपर ID: 2511.20634
• शीर्षक: Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$
• लेखक: Mikhail V. Bondarko, Kirill S. Ladny, Konstantin I. Pimenov
• वर्गीकरण: math.AG (बीजगणितीय ज्यामिति)
• प्रकाशन तिथि: 26 नवंबर, 2025
• पेपर लिंक: https://arxiv.org/abs/2511.20634

सारांश

यह पेपर पूर्ण असतत मूल्यांकन क्षेत्र के जंगली रामीकृत विस्तार $K/k$ में, समूह वलय $k[G]$ (जहाँ $G=\text{Gal}(K/k)$) के तत्वों के समुच्चय का अध्ययन करता है, जो विभिन्न संबद्ध गैलोइस मॉड्यूल और क्रमों के आधार के निर्माण के लिए उपयुक्त हैं। $G=(\mathbb{Z}/p\mathbb{Z})^2$ की स्थिति में (जहाँ $p$ अवशेष क्षेत्र की विशेषता है), लेखक तत्वों $(σ_1-1)^i(σ_2-1)^j$ ($0\le i,j\le p-1$) के मूल्यांकन फिल्ट्रेशन पर कार्य की गणना कर सकते हैं, जहाँ $σ_1,σ_2$ $G$ के जनक हैं। यदि $K/k$ के रामीकरण कूद $\bmod p^2$ के अर्थ में अलग-अलग हैं, तो ये तत्व वास्तव में आवश्यक "पर्याप्त अच्छे" आधार प्रदान करते हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

1. मूल समस्या

यह पेपर संबद्ध गैलोइस मॉड्यूल (associated Galois modules) के स्पष्ट आधार के निर्माण की समस्या का अध्ययन करता है। गैलोइस विस्तार $K/k$ के लिए, संबद्ध गैलोइस मॉड्यूल को निम्नानुसार परिभाषित किया जाता है: $C_i = \{f \in K[G] : \min_{x\in K^*}(v(f(x))-v(x)) \geq i\}$$A_i = C_i \cap k[G]$

मुख्य समस्या सभी $A_i$ का ठोस विवरण खोजना है, विशेष रूप से सभी $A_i$ के लिए उपयुक्त "अच्छे" आधार का निर्माण करना है।

2. अनुसंधान का महत्व

संबद्ध गैलोइस मॉड्यूल संबद्ध गैलोइस क्रमों (associated Galois orders) से घनिष्ठ रूप से संबंधित हैं। 1959 में लियोपोल्ट के अग्रणी कार्य के बाद से, संबद्ध क्रमों का अध्ययन बीजगणितीय संख्या सिद्धांत का एक महत्वपूर्ण विषय रहा है। संबद्ध क्रम को निम्नानुसार परिभाषित किया जाता है: $A(O) = \{f \in k[G] : f(O_K) \subset O_K\}$

संबद्ध गैलोइस मॉड्यूल के अध्ययन का महत्व निम्नलिखित में प्रतिबिंबित होता है:

• अंकगणितीय अनुप्रयोग: प्रमेय 1.1.2 संबद्ध गैलोइस मॉड्यूल और औपचारिक समूहों के गैलोइस सहसंगति के बीच संबंध प्रदर्शित करता है, जो कुमर सिद्धांत में महत्वपूर्ण है
• संरचना सिद्धांत: $A_i$ की संरचना को समझना संबद्ध क्रम $A(O)$ को समझने में सहायता करता है, क्योंकि $A_0 \subset A(O) \subset A_{1-n}$
• रामीकरण सिद्धांत: ये मॉड्यूल विस्तार की रामीकरण जानकारी को एन्कोड करते हैं

3. मौजूदा विधियों की सीमाएं

• अधिकांश ज्ञात परिणाम शांत रामीकरण या विशेष स्थितियों (जैसे चक्रीय विस्तार) पर केंद्रित हैं
• जंगली रामीकरण और कोई स्वतंत्रता परिणाम न होने की स्थिति में, संबद्ध क्रमों की गणना बहुत दुर्लभ है (जैसा कि टिप्पणी 1.2.3 में कहा गया है)
• सामान्य $p$ समूह विस्तार के लिए, संबद्ध गैलोइस मॉड्यूल के आधार का निर्माण करने के लिए एक व्यवस्थित विधि की कमी है

4. इस पेपर की अनुसंधान प्रेरणा

यह पेपर निम्नलिखित का उद्देश्य रखता है:

• संबद्ध गैलोइस मॉड्यूल के "श्रेणीबद्ध स्वतंत्र आधार" (graded bases) के निर्माण के लिए एक सामान्य सिद्धांत विकसित करना
• $G=(\mathbb{Z}/p\mathbb{Z})^2$ की स्थिति में पूर्ण गणना प्रदान करना
• परिणामों को सापेक्ष स्थिति तक विस्तारित करना (उप-क्षेत्र $k_0 \subset k$ को शामिल करते हुए)
• शांत उत्थान (tame lifts) के साथ संबंध का अध्ययन करना

मुख्य योगदान

1. श्रेणीबद्ध स्वतंत्रता की अवधारणा का परिचय (§3.1): graded-independent sets और graded bases को परिभाषित किया, जो संबद्ध गैलोइस मॉड्यूल के आधार के निर्माण के लिए एक नया ढांचा है
2. मुख्य प्रमेय (प्रमेय 1.2.1/3.3.2): $G \cong (\mathbb{Z}/p\mathbb{Z})^2$ के लिए, जब रामीकरण कूद $\bmod p^2$ के अर्थ में अलग-अलग हों, तो $A_l$ का स्पष्ट विवरण दिया: $A_l = \langle \pi_k^{[(l-d-H(i,j)-1)/n]+1}(σ_1-1)^i(σ_2-1)^j \mid 0 \leq i,j \leq p-1 \rangle_o$ जहाँ $H: \mathbb{Z}^2 \to \mathbb{Z}$ एक खंडशः रैखिक फलन है
3. फलन $d$ और $\rho$ की गणना (प्रमेय 3.3.2): $(σ_1-1)^i(σ_2-1)^j$ की "डिग्री" और श्रेणीबद्ध वलय में इसके प्रतिबिंब की सटीक गणना
4. सापेक्ष सिद्धांत (§4.1): सापेक्ष संबद्ध गैलोइस मॉड्यूल $A_i^0 = A_i \cap k_0[G]$ का सिद्धांत विकसित किया, मुख्य परिणामों को रामीकरण कूद $\bmod p$ समान लेकिन $\bmod p^2$ अलग-अलग होने की स्थिति तक विस्तारित किया
5. विकर्ण आधार सिद्धांत (§4.2): विकर्ण आधार (diagonal bases) की अवधारणा का परिचय दिया, और प्रमाणित किया कि शांत उत्थान विकर्ण आधार उत्पन्न कर सकते हैं (प्रमेय 4.2.7)
6. एल्गोरिथ्मिक ढांचा: सभी संबद्ध क्रमों $A_0(i,j) = \{f \in k_0[G]: f(M^i) \subset M^j\}$ की गणना के लिए एक एल्गोरिथ्म प्रदान किया

विधि विवरण

कार्य परिभाषा

पूर्ण असतत मूल्यांकन क्षेत्र के पूर्ण रामीकृत गैलोइस विस्तार $K/k$ दिया गया है, डिग्री $n=p^2$, गैलोइस समूह $G=(\mathbb{Z}/p\mathbb{Z})^2$, लक्ष्य है:

1. $k[G]$ का आधार $B$ का निर्माण करना, जैसे कि प्रत्येक $i \in \mathbb{Z}$ के लिए, $B$ से सीधे $A_i$ के आधार को पढ़ा जा सके
2. फलन $d: K[G]\backslash\{0\} \to \mathbb{Z}$ और $\rho: K[G]\backslash\{0\} \to R_{K/k}$ की गणना करना

मुख्य तकनीकी ढांचा

1. समरूपता $\phi: K\otimes_k K \to K[G]$

यह पूरे सिद्धांत का मुख्य उपकरण है (प्रमेय 2.2.2): $\phi(x\otimes y) = x\sum_{σ\in G} σ(y)σ$

मुख्य गुण:

• $C_{i+d} = \phi(X_i)$, जहाँ $X_i = \sum_{j\in\mathbb{Z}} M^j \otimes M^{i-j}$
• $\phi$ विशिष्ट गुणन संरचना को संरक्षित करता है: $\phi(α)*\phi(β) = \phi(αβ)$
• $K\otimes_k K$ की फिल्ट्रेशन के माध्यम से $C_i$ की फिल्ट्रेशन का अध्ययन किया जा सकता है

2. श्रेणीबद्ध स्वतंत्रता सिद्धांत (§3.1)

परिभाषा (परिभाषा 3.1.1):

• $B \subset K[G]\backslash\{0\}$ के लिए, $B_i = \{f\in B: d(f) \equiv i \bmod n\}$ को परिभाषित करें
• $B$ श्रेणीबद्ध स्वतंत्र (graded-independent) है यदि सभी $i\in\mathbb{Z}$ के लिए, समुच्चय $\rho(B_i) \subset R_{K/k}$ $k$ पर रैखिकतः स्वतंत्र है
• $B$ श्रेणीबद्ध आधार (graded base) है यदि $B$ श्रेणीबद्ध स्वतंत्र है और $k[G]$ को उत्पन्न करता है

मुख्य गुण (प्रस्ताव 3.1.2): $C_i \cap (\bigoplus_{b\in B} k\cdot b) = \bigoplus_{b\in B} \pi_k^{[(i-d-d(b)-1)/n]+1}b \cdot o$

इसका अर्थ है कि श्रेणीबद्ध आधार पूरी तरह से सभी $A_i$ की संरचना को निर्धारित करता है।

3. संक्षिप्त संयोजन की गणना (§3.2)

सामान्य परिणाम (प्रमेय 3.2.2): $\prod = \prod_{i=1}^a (σ_i-1)$ के लिए, जहाँ $a < p$: $p_{\sum}(\prod) \sim \sum_{j=0}^{n-1} (\prod_{l=1}^a (j-lh))X^j$

जब $h\neq 0$ हो: $p_{\sum}(\prod) \sim (X^h-1)^{n-a-1}$

यह $d(\prod) = \sum h(σ_i) - d$ देता है।

श्रेणीबद्ध स्वतंत्रता मानदंड (प्रमेय 3.2.2(3)): उपयुक्त शर्तों के तहत (रामीकरण कूप की $p$-एडिक मूल्यांकन बढ़ रही है), समुच्चय $B = \{\prod(σ_i-1)^{n_i}: \sum n_i < p\}$ श्रेणीबद्ध स्वतंत्र है।

4. $G=(\mathbb{Z}/p\mathbb{Z})^2$ स्थिति की पूर्ण गणना (§3.3)

मान लीजिए $K = K_1K_2$, जहाँ $K_i/k$ डिग्री $p$ का विस्तार है, रामीकरण कूद $h_2 > h_1 > 0$ के साथ।

मुख्य पैरामीटर (प्रस्ताव 3.3.1):

• $σ_1, σ_2$ के अनुरूप रामीकरण कूद: $h_1$ और $\tilde{h}_2 = ph_2 - (p-1)h_1$
• रामीकरण गहराई: $d = (p-1)(ph_2 + h_1)$

खंडशः रैखिक फलन $H$: