2025-11-16T01:40:18.695621

Non-commutative Iwasawa theory of abelian varieties over global function fields

Deng, Kezuka, Li et al.

Let $A$ be an abelian variety defined over a global function field $F$, and let $p$ be a prime distinct from the characteristic of $F$. Let $F_\infty$ be a $p$-adic Lie extension of $F$ that contains the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$ of $F$. In this paper, we investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ of $A$ over $F_\infty$. We prove the $\mathfrak{M}_H(G)$-conjecture for $A/F_\infty$. Furthermore, we show that both the $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ and the generalised $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F_\infty)$ are zero, therby proving Mazur's conjecture for $A/F$. We then relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Assuming the finiteness of the Tate-Shafarevich group, we establish that this corank equals the order of vanishing of the $L$-function of $A/F$ at $s=1$. Finally, we extend a theorem of Sechi - originally proved for elliptic curves without complex multiplication - to abelian varieties over global function fields. This is achieved by adapting the notion of generalised Euler characteristic, introduced by Zerbes for elliptic curves over number fields. This new invariant allows us, via Akashi series, to relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$.

academic

वैश्विक फलन क्षेत्रों पर एबेलियन विविधताओं का गैर-क्रमविनिमेय इवासावा सिद्धांत

मूल जानकारी

पेपर ID: 2405.20963
शीर्षक: Non-commutative Iwasawa theory of abelian varieties over global function fields
लेखक: Li-Tong Deng, Yukako Kezuka, Yong-Xiong Li, Meng Fai Lim
वर्गीकरण: math.NT (संख्या सिद्धांत)
प्रकाशन समय: मई 2024 (arXiv v2: 16 अक्टूबर 2025)
पेपर लिंक: https://arxiv.org/abs/2405.20963

सारांश

यह पेपर वैश्विक फलन क्षेत्र $F$ पर परिभाषित एबेलियन विविधताओं $A$ के गैर-क्रमविनिमेय इवासावा सिद्धांत का अध्ययन करता है, जहाँ $p$ एक अभाज्य संख्या है जो $F$ की विशेषता से भिन्न है। मान लीजिए $F_\infty$ एक $p$ -एडिक लाई विस्तार है जिसमें $F$ को शामिल करने वाला चक्रीय $\mathbb{Z}_p$ -विस्तार $F^{\mathrm{cyc}}$ है। लेखकों ने $A$ के $F_\infty$ पर $p$ -प्राथमिक सेल्मर समूह $\mathrm{Sel}(A/F_\infty)$ की संरचना का अध्ययन किया है, $\mathfrak{M}_H(G)$ -अनुमान को सिद्ध किया है, और विशेषता तत्व के शून्य के क्रम और सेल्मर समूह के corank के बीच संबंध स्थापित किया है।

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

समस्या की पृष्ठभूमि

गैर-क्रमविनिमेय इवासावा सिद्धांत का विकास: गैर-क्रमविनिमेय इवासावा सिद्धांत संख्या क्षेत्रों पर $p$ -एडिक लाई विस्तारों के गहन अंकगणितीय गुणों और जटिल $L$ -फलनों के विशेष मानों के साथ उनके संबंधों को समझने के लिए एक शक्तिशाली ढांचा है।
फलन क्षेत्र सादृश्य: संख्या क्षेत्रों और वैश्विक फलन क्षेत्रों के बीच प्रसिद्ध सादृश्य को देखते हुए, इवासावा सिद्धांत की घटनाएं फलन क्षेत्र सेटिंग में भी प्रकट होनी चाहिए।
मौजूदा सीमाएं:
- संख्या क्षेत्र के मामले में, पोंट्रीगिन द्वैत सेल्मर समूह में सकारात्मक $\mu$ -अपरिवर्तनीय हो सकते हैं
- फलन क्षेत्रों के लिए, विशेष रूप से $\mathrm{char}(F) \neq p$ के मामले में, संबंधित सिद्धांत अभी तक पूर्ण नहीं है

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

महत्वपूर्ण अनुमानों का पूर्ण समाधान: वैश्विक फलन क्षेत्र सेटिंग में मज़ूर अनुमान और $\mathfrak{M}_H(G)$ -अनुमान का पूर्ण समाधान
नई सैद्धांतिक ढांचे की स्थापना: ज़र्बेस की सामान्यीकृत यूलर विशेषता की अवधारणा को फलन क्षेत्रों पर एबेलियन विविधताओं तक विस्तारित करना
शुद्ध सहसंबंधी विधि प्रदान करना: पूर्व कार्यों से भिन्न शुद्ध सहसंबंधी प्रमाण विधि विकसित करना

मुख्य योगदान

$\mathfrak{M}_H(G)$ -अनुमान और मज़ूर अनुमान का पूर्ण प्रमाण: विशेषता से $p$ भिन्न वैश्विक फलन क्षेत्रों पर एबेलियन विविधताओं के लिए
$\mu$ -अपरिवर्तनीय शून्य है: $X(A/F^{\mathrm{cyc}})$ के $\mu$ -अपरिवर्तनीय और $X(A/F_\infty)$ के सामान्यीकृत $\mu$ -अपरिवर्तनीय दोनों शून्य हैं
विशेषता तत्व शून्य क्रम सूत्र: आर्टिन प्रतिनिधित्व पर विशेषता तत्व के शून्य के क्रम और सेल्मर समूह के corank के बीच संबंध स्थापित करना
सामान्यीकृत यूलर विशेषता सिद्धांत: सेची के प्रमेय को फलन क्षेत्रों पर एबेलियन विविधताओं तक विस्तारित करना, $\mathrm{Sel}(A/F_\infty)$ और $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ की सामान्यीकृत यूलर विशेषताओं के बीच संबंध स्थापित करना

विधि विवरण

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

वैश्विक फलन क्षेत्र $F$ ( $\mathrm{char}(F) \neq p$ ) पर एबेलियन विविधता $A$ के $p$ -प्राथमिक सेल्मर समूह की संरचनात्मक गुणों का अध्ययन करना स्वीकार्य $p$ -एडिक लाई विस्तार $F_\infty/F$ के अंतर्गत।

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

1. सेल्मर समूह की परिभाषा

किसी भी विस्तार $K \subset \bar{F}$ के लिए, $p$ -प्राथमिक सेल्मर समूह को परिभाषित किया जाता है: $\mathrm{Sel}(A/K) = \ker\left(H^1(K, A_{p^\infty}) \to \prod_w H^1(K_w, A)\right)$

2. मुख्य लेम्मा: सहसंबंधी आयाम

लेम्मा 3.2: $\mathrm{cd}_p(G_S(F^{\mathrm{cyc}})) = 1$

यह संपूर्ण प्रमाण का आधार है, जो $S$ के गैर-रिक्त होने और $\mathrm{char}(F) \neq p$ की शर्त का उपयोग करता है।

3. मुख्य तकनीकी नवाचार

शुद्ध सहसंबंधी विधि:

मुख्य अवलोकन: $\mathrm{Gal}(\bar{F}/F^{\mathrm{cyc}})$ का सहसंबंधी आयाम 1 है
होचस्चिल्ड-सेरे वर्णक्रम के अपघटन का उपयोग
वैश्विक और स्थानीय सहसंबंधी समूहों की अकाशी श्रृंखला की प्रत्यक्ष गणना

स्थानीयकरण मानचित्र की विशेषज्ञता: जैनसेन वर्णक्रम और नेकोवार द्वैत प्रमेय के माध्यम से स्थानीयकरण मानचित्र $\lambda_S(A/F_\infty)$ की विशेषज्ञता स्थापित करना।

मॉडल आर्किटेक्चर

1. इवासावा बीजगणित सिद्धांत

सघन $p$ -एडिक लाई समूह $G$ के लिए, इवासावा बीजगणित को परिभाषित किया जाता है: $\Lambda(G) = \lim_{\leftarrow} \mathbb{Z}_p[G/U]$

2. $\mathfrak{M}_H(G)$ श्रेणी

$\mathfrak{M}_H(G)$ में सभी परिमित रूप से उत्पन्न $\Lambda(G)$ -मॉड्यूल $M$ शामिल हैं, जैसे कि भागफल $M/M_{(p)}$ एक परिमित रूप से उत्पन्न $\Lambda(H)$ -मॉड्यूल है।

3. अकाशी श्रृंखला गणना

$M \in \mathfrak{M}_H(G)$ के लिए, अकाशी श्रृंखला को परिभाषित किया जाता है: $\mathrm{Ak}(M) = \prod_{i \geq 0} f_{M,i}^{(-1)^i}$ जहाँ $f_{M,i}$ $H^i(H,M)$ की विशेषता शक्ति श्रृंखला है।

प्रायोगिक सेटअप

सैद्धांतिक सत्यापन ढांचा

चूंकि यह एक शुद्ध सैद्धांतिक गणित पेपर है, "प्रयोग" मुख्य रूप से निम्नलिखित में प्रकट होते हैं:

प्रमेय सत्यापन: कठोर गणितीय प्रमाण के माध्यम से मुख्य प्रमेयों को सत्यापित करना
विशेष मामलों की जांच: परिणामों को ज्ञात अण्डाकार वक्र मामलों के साथ संगति के लिए सत्यापित करना
अनुमानों का पूर्ण समाधान: मज़ूर अनुमान और $\mathfrak{M}_H(G)$ -अनुमान के पूर्ण प्रमाण प्रदान करना

तकनीकी शर्तें

शर्त (G): $H^i(G, A_{p^\infty}(F_\infty))$ सभी $i \geq 1$ के लिए परिमित है
शर्त (H): $H^i(H, A_{p^\infty}(F_\infty))$ सभी $i \geq 0$ के लिए परिमित है

मुख्य परिणाम

प्रमेय 1.3 (मुख्य परिणाम)

मान लीजिए $A$ विशेषता से $p$ के साथ सहअभाज्य वैश्विक फलन क्षेत्र $F$ पर एक एबेलियन विविधता है, और $F_\infty/F$ एक स्वीकार्य $p$ -एडिक लाई विस्तार है। तब:

$\mathfrak{M}_H(G)$ -अनुमान $X(A/F_\infty)$ के लिए सत्य है
$X(A/F^{\mathrm{cyc}})$ का $\mu$ -अपरिवर्तनीय शून्य है
$X(A/F_\infty)$ का सामान्यीकृत $\mu$ -अपरिवर्तनीय शून्य है
विशेष रूप से, मज़ूर अनुमान $A/F$ के लिए सत्य है

प्रमेय 1.4 (शून्य क्रम सूत्र)

शर्त (G) के अंतर्गत: $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) \geq \mathrm{corank}_{\mathbb{Z}_p}(\mathrm{Sel}(A/F))$ और ग्रीनबर्ग अर्ध-सरलता अनुमान के अंतर्गत समानता सत्य है। यदि टेट-शफारेविच समूह परिमित है, तब: $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) = \mathrm{ord}_{s=1} L(A/F, s)$

प्रमेय 1.5 (सामान्यीकृत यूलर विशेषता)

शर्त (H) के अंतर्गत, $\mathrm{Sel}(A/F_\infty)$ में परिमित सामान्यीकृत $G$ -यूलर विशेषता है यदि और केवल यदि $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ में परिमित सामान्यीकृत $\Gamma$ -यूलर विशेषता है, और: $\chi(G, \mathrm{Sel}(A/F_\infty)) = \chi(\Gamma, \mathrm{Sel}(A/F^{\mathrm{cyc}})) \prod_{v \in S'} \frac{\#A^*_{p^\infty}(F_v)}{\#H^1(\Gamma_w, A_{p^\infty}(F^{\mathrm{cyc}}_w))}$

तकनीकी नवाचार बिंदु

1. शुद्ध सहसंबंधी विधि

नवाचार: पूरी तरह से सहसंबंधी आयाम 1 के अवलोकन पर आधारित, जटिल सांप लेम्मा तर्कों से बचना
लाभ: वैश्विक और स्थानीय सहसंबंधी समूहों को $\Lambda(H)$ -सह-परिमित रूप से उत्पन्न होने के रूप में प्रत्यक्ष रूप से सिद्ध करना

2. अकाशी श्रृंखला की प्रत्यक्ष गणना

विधि: फलन क्षेत्र की विशेष गुणों का उपयोग करके अकाशी श्रृंखला की प्रत्यक्ष गणना
तुलना: संख्या क्षेत्र के मामले में जटिल अप्रत्यक्ष विधि की आवश्यकता होती है

3. सामान्यीकृत $\mu$ -अपरिवर्तनीय शून्य का प्रमाण

परिणाम: $\mathrm{char}(F) \neq p$ मामले में, सामान्यीकृत $\mu$ -अपरिवर्तनीय हमेशा शून्य होता है
महत्व: संख्या क्षेत्र के मामले के साथ तीव्र विपरीतता

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

सैद्धांतिक पूर्णता: फलन क्षेत्र सेटिंग में गैर-क्रमविनिमेय इवासावा सिद्धांत ढांचे की पूर्ण स्थापना
संरचनात्मक परिणाम: $\mu$ -अपरिवर्तनीय सदा शून्य होने की घटना फलन क्षेत्रों की विशेषता को प्रकट करती है
अनुप्रयोग मूल्य: फलन क्षेत्रों पर बिर्च-स्विनर्टन-डायर अनुमान के अध्ययन के लिए उपकरण प्रदान करना

सीमाएं

विशेषता प्रतिबंध: $\mathrm{char}(F) \neq p$ की आवश्यकता है, जब $\mathrm{char}(F) = p$ हो तो स्थिति अधिक जटिल है
तकनीकी शर्तें: कुछ परिणामों के लिए अतिरिक्त परिमितता धारणाएं आवश्यक हैं
गणनात्मक जटिलता: सामान्यीकृत यूलर विशेषता की वास्तविक गणना अभी भी कठिन है

भविष्य की दिशाएं

विशेषता $p$ मामला: $\mathrm{char}(F) = p$ होने पर संबंधित सिद्धांत का अध्ययन
मुख्य अनुमान: पूर्ण गैर-क्रमविनिमेय मुख्य अनुमान की स्थापना
गणनात्मक विधियां: प्रभावी गणनात्मक उपकरणों का विकास

गहन मूल्यांकन

शक्तियां

सैद्धांतिक पूर्णता: फलन क्षेत्र सेटिंग में मुख्य अनुमानों का पूर्ण समाधान
विधि नवाचार: शुद्ध सहसंबंधी विधि प्रमाण को सरल करती है और नई अंतर्दृष्टि प्रदान करती है
परिणाम गहनता: फलन क्षेत्रों और संख्या क्षेत्रों के बीच मौलिक अंतर को प्रकट करता है
तकनीकी कठोरता: प्रमाण विस्तृत और कठोर हैं

कमियां

प्रयोज्य सीमा: मुख्य परिणाम $\mathrm{char}(F) \neq p$ मामले तक सीमित हैं
गणनात्मक व्यावहारिकता: सैद्धांतिक परिणामों की वास्तविक गणना अभी भी चुनौतीपूर्ण है
सामान्यीकरण: अधिक सामान्य सेटिंग्स तक विस्तार के लिए तकनीकी बाधाओं को दूर करने की आवश्यकता है

प्रभाव

क्षेत्र योगदान: गैर-क्रमविनिमेय इवासावा सिद्धांत के लिए पूर्ण फलन क्षेत्र सिद्धांत
पद्धति मूल्य: शुद्ध सहसंबंधी विधि अन्य समस्याओं पर लागू हो सकती है
अनुवर्ती अनुसंधान: संबंधित क्षेत्रों में आगे के अनुसंधान के लिए आधार तैयार करना

प्रयोज्य परिदृश्य

सैद्धांतिक अनुसंधान: अंकगणितीय ज्यामिति और बीजगणितीय संख्या सिद्धांत का सैद्धांतिक विकास
संबंधित समस्याएं: $L$ -फलन के विशेष मानों और सेल्मर समूह संरचना का अध्ययन
विस्तार अनुप्रयोग: अन्य अंकगणितीय वस्तुओं के इवासावा सिद्धांत का अनुसंधान

संदर्भ

पेपर में 51 महत्वपूर्ण संदर्भ उद्धृत हैं, जिनमें शामिल हैं:

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

ये संदर्भ इस अनुसंधान के लिए एक मजबूत सैद्धांतिक आधार बनाते हैं, संबंधित क्षेत्रों में लेखकों की गहन समझ और व्यापक महारत को प्रदर्शित करते हैं।