2025-11-28T22:31:19.148874

On Galois Extensions of Local Fields with a Single Wild Ramification Jump

Goodman

For a given positive integer $n$ and $K/\mathbb{Q}_p$ a finite extension of ramification degree $e$, we determine the number of finite Galois extensions $L/K$ with inertia degree $f$ and a single nonnegative ramification jump at $n$ as long as $(p,e)$ is outside of a finite set. This builds upon the tamely ramified case, which is a classical consequence of Serre's Mass Formula, exhibiting a more restrictive behavior than in the tamely ramified case because the degrees of such extensions are bounded. We do this by working in a fixed Lubin-Tate extension and exploiting the surjectivity of a map corresponding to the ramification jump to reconstruct the $U^1$ part of the norm subgroup (coming from local class field theory) from its fibers and then by understanding how the fibers interact by studying them in terms of properties of the formal logarithm and partitions.

academic

स्थानीय क्षेत्रों के गैलोइस विस्तार: एकल वाइल्ड रैमिफिकेशन जंप के साथ

मूल जानकारी

पेपर ID: 2406.14845
शीर्षक: स्थानीय क्षेत्रों के गैलोइस विस्तार एक वाइल्ड रैमिफिकेशन जंप के साथ
लेखक: Samuel Goodman
वर्गीकरण: math.NT (संख्या सिद्धांत)
प्रकाशन समय: नवंबर 2025 (arXiv v4)
पेपर लिंक: https://arxiv.org/abs/2406.14845

सारांश

यह पेपर दिए गए धनात्मक पूर्णांक $n$ और परिमित विस्तार $K/\mathbb{Q}_p$ (रैमिफिकेशन इंडेक्स $e$ के साथ) के लिए, परिमित गैलोइस विस्तार $L/K$ की संख्या निर्धारित करता है जिनके पास जड़त्व घात $f$ है और $n$ पर अद्वितीय गैर-नकारात्मक रैमिफिकेशन जंप है, बशर्ते $(p,e)$ एक परिमित समुच्चय के बाहर हो। यह कार्य सौम्य रैमिफिकेशन स्थिति (tamely ramified case) पर आधारित है, जो Serre द्रव्यमान सूत्र का एक शास्त्रीय परिणाम है। अनुसंधान निर्धारित Lubin-Tate विस्तार में कार्य करके, रैमिफिकेशन जंप के अनुरूप मानचित्रों की विशेषज्ञता का उपयोग करके, इसके तंतुओं से मानदंड उपसमूह के $U^1$ भाग का पुनर्निर्माण करके, और औपचारिक लघुगणक और विभाजन के गुणों के माध्यम से तंतु कैसे परस्पर क्रिया करते हैं इसे समझकर आगे बढ़ता है।

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

अनुसंधान समस्या

यह पेपर स्थानीय क्षेत्र विस्तार की गणना समस्या का अध्ययन करता है, विशेष रूप से एकल वाइल्ड रैमिफिकेशन जंप वाले गैलोइस विस्तार की संख्या।

समस्या की महत्ता

शास्त्रीय समस्या का सामान्यीकरण: सौम्य रैमिफिकेशन विस्तार की गणना एक शास्त्रीय समस्या है, जो Serre द्रव्यमान सूत्र द्वारा पूरी तरह से हल की गई है। घात $n$ के सौम्य रैमिफिकेशन विस्तार के लिए, जब $p \nmid n$ हो, तो $\sigma_0(n)$ ऐसे विस्तार मौजूद हैं ( $\sigma_0(n)$ $n$ के $p$ से सहअभाज्य भाजक का योग है)।
रैमिफिकेशन सिद्धांत का गहरा अध्ययन: रैमिफिकेशन समूह (ramification groups) स्थानीय वर्ग क्षेत्र सिद्धांत की मूल अवधारणा हैं। सौम्य रैमिफिकेशन विस्तार को $(-1,0)$ विस्तार के रूप में देखा जा सकता है (केवल $-1$ और $0$ पर रैमिफिकेशन जंप)। प्राकृतिक अगला प्रश्न $(-1,n)$ विस्तार की गणना करना है, अर्थात् अद्वितीय वाइल्ड रैमिफिकेशन जंप वाले विस्तार।
प्रतिबंधात्मक व्यवहार: सौम्य रैमिफिकेशन स्थिति के विपरीत, वाइल्ड रैमिफिकेशन विस्तार अधिक प्रतिबंधात्मक व्यवहार प्रदर्शित करते हैं, क्योंकि इस प्रकार के विस्तार की घात परिबद्ध है।

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

Kummer सिद्धांत विधि: हालांकि सौम्य रैमिफिकेशन स्थिति के लिए उपयोग की जा सकती है, लेकिन वाइल्ड रैमिफिकेशन स्थिति में यह तेजी से जटिल हो जाती है, जिसमें गैलोइस समूह क्रिया के तहत अपरिवर्तनीय बिंदुओं की गणना शामिल है।
व्यवस्थित ढांचे की कमी: सामान्य वाइल्ड रैमिफिकेशन विस्तार के लिए, Serre द्रव्यमान सूत्र के समान एकीकृत गणना उपकरण की कमी है।

अनुसंधान प्रेरणा

यह पेपर एकल वाइल्ड रैमिफिकेशन जंप वाले विस्तार की गणना के लिए एक व्यवस्थित ढांचा स्थापित करने का लक्ष्य रखता है:

स्थानीय वर्ग क्षेत्र सिद्धांत का उपयोग करके समस्या को मानदंड उपसमूह की गणना में परिवर्तित करना
स्पष्ट नियंत्रण प्राप्त करने के लिए Lubin-Tate विस्तार में कार्य करना
तंतु संरचना और औपचारिक लघुगणक सिद्धांत के माध्यम से इन उपसमूहों को समझना

मूल योगदान

$n=2$ स्थिति का पूर्ण समाधान: एकल रैमिफिकेशन जंप के लिए $n=2$ स्थिति में, पूर्ण गणना सूत्र दिया गया है (प्रमेय 1.2)।
सामान्य स्थिति का लगभग पूर्ण उत्तर: सामान्य $n$ के लिए, $(p,e)$ की परिमित जोड़ियों को छोड़कर सभी स्थितियों में, स्पष्ट गणना सूत्र दिया गया है (प्रमेय 1.1)। अनसुलझी स्थितियां केवल $p-1 \leq e < n$ को संतुष्ट करने वाली परिमित जोड़ियों तक सीमित हैं।
पूर्ण रैमिफिकेशन स्थिति के लिए बंद रूप सूत्र: जब $K/\mathbb{Q}_p$ पूर्ण रैमिफाइड हो, तो विशेष रूप से सुंदर बंद रूप सूत्र दिया गया है, जिसमें विशेषता $p$ बहुपद वलय के $\zeta$ -फलन शामिल हैं (अनुपूरक 1.3)।
नई तकनीकी ढांचा:
- तंतु पुनर्निर्माण विधि (fiber reconstruction) के माध्यम से मानदंड उपसमूह संरचना को समझना
- औपचारिक लघुगणक और विभाजन सिद्धांत का उपयोग करके कार्यात्मक समीकरण स्थापित करना
- रैमिफिकेशन स्थिति में Teichmüller लिफ्ट का परिचय
दिलचस्प द्विभाजन घटना का प्रकटीकरण: जब $n=2$ हो, तो $p=2$ के रैमिफाइड विस्तार और अन्य अभाज्य संख्याओं के रैमिफाइड विस्तार के बीच उल्लेखनीय द्वैत मौजूद है।

विधि विवरण

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

इनपुट:

स्थानीय क्षेत्र $K/\mathbb{Q}_p$ , रैमिफिकेशन इंडेक्स $e$ , जड़त्व घात $f'$ , अवशेष क्षेत्र $k$
धनात्मक पूर्णांक $n$ (रैमिफिकेशन जंप स्थान)
धनात्मक पूर्णांक $f$ (अपेक्षित जड़त्व घात)

आउटपुट:

$(-1,n)$ गैलोइस विस्तार $L/K$ की संख्या, जहां $L/K$ के पास जड़त्व घात $f$ है और केवल $n$ पर वाइल्ड रैमिफिकेशन जंप है

बाधाएं:

रैमिफिकेशन समूह परिभाषा: $G_i = \{\sigma \in G : \forall \alpha \in O_L, \sigma(\alpha) \equiv \alpha \pmod{m^{i+1}}\}$
रैमिफिकेशन जंप: $L/K$ में $i$ पर रैमिफिकेशन जंप है यदि और केवल यदि $G_i \neq G_{i+1}$

समग्र रणनीति

पेपर बहु-स्तरीय रणनीति अपनाता है:

पहला स्तर: स्थानीय वर्ग क्षेत्र सिद्धांत रूपांतरण (खंड 2)

स्थानीय वर्ग क्षेत्र सिद्धांत के माध्यम से, गैलोइस विस्तार मानदंड उपसमूह के अनुरूप हैं:

प्रस्ताव 2.2: टावर $M/L/K$ के लिए, जहां $M/L$ एबेलियन है और $L/K$ गैलोइस है, मान लें $H$ $M$ के अनुरूप मानदंड उपसमूह है। तब $M/K$ गैलोइस है यदि और केवल यदि $\sigma(H) = H$ सभी $\sigma \in \text{Gal}(L/K)$ के लिए।

यह समस्या को गैलोइस-अपरिवर्तनीय मानदंड उपसमूह की गणना में परिवर्तित करता है।

दूसरा स्तर: Lubin-Tate विस्तार में लक्षणीकरण (खंड 3)

Lubin-Tate विस्तार $K_{\pi,n}/K$ में कार्य करना, जिसका गैलोइस समूह $G \cong O_K^\times/(1+m^n)$ है।

प्रस्ताव 3.1 (मुख्य लक्षणीकरण): मान लें $n \geq k+1$ , उप-विस्तार $L/K$ में अद्वितीय वाइल्ड रैमिफिकेशन जंप $k$ पर है यदि और केवल यदि अनुरूप उपसमूह $H \subset G$ निम्नलिखित को संतुष्ट करता है:

$H$ में $(1+m^{k+1})/(1+m^n)$ शामिल है
विहित मानचित्र $H \to O_K^\times/(1+m^k)$ विशेषज्ञ है

इस लक्षणीकरण की कुंजी विशेषज्ञता शर्त है।

तीसरा स्तर: तंतु संरचना सिद्धांत (खंड 6)

मूल विचार: विशेषज्ञता का उपयोग करके, इसके तंतुओं के माध्यम से उपसमूह $H$ का पुनर्निर्माण करना।

लेम्मा 6.1 (तंतु पुनर्निर्माण लेम्मा): मान लें $G$ एक परिमित समूह है, $S \subset G$ एक उपसमुच्चय है, $H \subset G$ एक सामान्य उपसमूह है। मान लें:

सहसमुच्चय मानचित्र $S \to G/H$ विशेषज्ञ है
$S_{g_1H} \cdot S_{g_2H} = S_{g_1g_2H}$ (तंतु संगतता)
$S_H$ $G$ का एक उपसमूह है

तब $S$ $G$ का एक उपसमूह है।

यह लेम्मा दर्शाता है कि जब तक तंतु संगतता शर्त को संतुष्ट करते हैं, तब तक पूरे उपसमूह को तंतुओं से पुनर्निर्माण किया जा सकता है।

चौथा स्तर: विशेषता $p$ क्षेत्र की समरूपता ( $e \geq n$ स्थिति)

जब $e \geq n$ हो, तो मुख्य तकनीकी सफलता है:

लेम्मा 6.3 (Teichmüller समरूपता): मानचित्र $\phi: (1+Tk_0[T])/(1+T^{n+1}k_0[T]) \to (1+m)/(1+m^{n+1})$ $1+\sum_{i=1}^n a_iT^i \mapsto 1+\sum_{i=1}^n a_i'\pi^i$ द्वारा परिभाषित एक गैलोइस-समतुल्य समरूपता है।

यहां $a_i'$ $a_i$ की Teichmüller लिफ्ट है। यह समरूपता समस्या को मिश्रित विशेषता स्थानीय क्षेत्र से विशेषता $p$ के औपचारिक घात श्रृंखला वलय में परिवर्तित करती है, जिसमें बेहतर बीजगणितीय संरचना है।

प्रस्ताव 6.4 (तंतु लक्षणीकरण): $e \geq n$ पर, गैलोइस-अपरिवर्तनीय उपसमूह $H$ का डेटा निम्नलिखित के बराबर है:

गैलोइस-अपरिवर्तनीय उपसमूह $h \subset k_0^+$
गैलोइस-समतुल्य फलन $f: k_0^{n-1} \to k_0/h$ जो कार्यात्मक समीकरण को संतुष्ट करता है: $f(a_1,\ldots,a_{n-1}) + f(b_1,\ldots,b_{n-1}) + \sum_{i=1}^{n-1} a_ib_{n-i} \equiv f(c_1,\ldots,c_{n-1}) \pmod{h}$ जहां $c_i = a_i + b_i + \sum_{j=1}^{i-1} a_jb_{i-j}$ ।

औपचारिक लघुगणक सिद्धांत (खंड 4)

उपरोक्त कार्यात्मक समीकरण को समझने के लिए, पेपर औपचारिक लघुगणक का परिचय देता है:

लेम्मा 4.1 (लघुगणक विस्तार): $\log(1+\sum_{i=1}^\infty a_iT^i) = \sum_{n=1}^\infty \left(\sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n a_i^{p_{ni}}\right)T^n$ जहां $P_n$ $n$ के विभाजन का समुच्चय है, $\ell(p_n)$ विभाजन की लंबाई है, $m(p_n)$ विभाजन की क्रमपरिवर्तन संख्या है।

$r_n(x_1,\ldots,x_n) = \sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n x_i^{p_{ni}}$ को परिभाषित करें।

लेम्मा 4.4 (योजकता): मान लें $z_i = x_i + y_i + \sum_{j=1}^{i-1} x_jy_{i-j}$ , तब $r_n(x_1,\ldots,x_n) + r_n(y_1,\ldots,y_n) = r_n(z_1,\ldots,z_n)$

यह दर्शाता है कि $g(x_1,\ldots,x_{n-1}) = r_n(x_1,\ldots,x_n) - x_n$ आवश्यक कार्यात्मक समीकरण को संतुष्ट करता है (एक क्रॉस पद को छोड़कर)।

परिमित क्षेत्र पर कार्यात्मक समीकरण (खंड 5)

प्रमेय 5.1 (मुख्य गणना प्रमेय): मान लें $k_0/k$ परिमित क्षेत्र विस्तार है, गैलोइस समूह $G$ है, $h \subset k_0^+$ गैलोइस-अपरिवर्तनीय उपसमूह है, $q=|k|$ । कार्यात्मक समीकरण को संतुष्ट करने वाले गैलोइस-समतुल्य फलन $f: k_0^{n-1} \to k_0^+/h$ की संख्या है: