पी-एडिक हॉज सिद्धांत

गणित में, पी-एडिक हॉज थ्योरी एक सिद्धांत है जो गैलोज प्रतिनिधित्व को वर्गीकृत और अध्ययन करने का तरीका प्रदान करता है। अवशिष्ट विशेषता p के साथ (जैसे p-adic number|'Q'_p). सिद्धांत की शुरुआत जीन पियरे सेरे और जॉन टेट (गणितज्ञ) के एबेलियन किस्म के टेट मॉड्यूल के अध्ययन और हॉज-टेट प्रतिनिधित्व की धारणा से हुई है। हॉज-टेट अभ्यावेदन हॉज अपघटन के अनुरूप पी-एडिक सह-समरूपता सिद्धांतों के कुछ अपघटन से संबंधित हैं, इसलिए नाम पी-एडिक हॉज सिद्धांत है। आगे के घटनाक्रम बीजगणितीय विविधता के ईटेल कोहोलॉजी से उत्पन्न होने वाले पी-एडिक गैलोइस अभ्यावेदन के गुणों से प्रेरित थे। जीन-मार्क फॉनटेन ने क्षेत्र की कई बुनियादी अवधारणाओं को पेश किया।

द्धांतों के कुछ अपघटन से संबंधित हैं, इसलिए नाम पी-एडिक हॉज सिद्धांत है। आगे के घटनाक्रम बीजगणितीय विविधता के ईटेल कोहोलॉजी से उत्पन्न होने वाले पी-एडिक गैलोइस अभ्यावेदन के गुणों से प्रेरित थे। जीन-मार्क फॉनटेन ने

पी-एडिक अभ्यावेदन का सामान्य वर्गीकरण

बता दें कि K विशेषता p के अवशेष क्षेत्र k के साथ स्थानीय क्षेत्र है। इस लेख में, K (या G का p-adic प्रतिनिधित्व)_K, K का पूर्ण गैलोज़ समूह) निरंतर (गणित) प्रतिनिधित्व ρ : G होगा_K→ जीएल (वी), जहां वी 'क्यू' पर परिमित-आयामी वेक्टर अंतरिक्ष है_p. K के सभी p-adic अभ्यावेदन का संग्रह एबेलियन श्रेणी को निरूपित करता है $\mathrm {Rep} _{\mathbf {Q} _{p}}(K)$ इस आलेख में। पी-एडिक हॉज सिद्धांत पी-एडिक अभ्यावेदन के उप-संग्रह प्रदान करता है कि वे कितने अच्छे हैं, और रैखिक बीजगणितीय वस्तुओं की श्रेणियों के लिए वफादार फ़ैक्टर भी प्रदान करते हैं जो कि अध्ययन करना आसान है। मूल वर्गीकरण इस प्रकार है:

$\operatorname {Rep} _{\mathrm {cris} }(K)\subsetneq \operatorname {Rep} _{st}(K)\subsetneq \operatorname {Rep} _{dR}(K)\subsetneq \operatorname {Rep} _{HT}(K)\subsetneq \operatorname {Rep} _{\mathbf {Q} _{p}}(K)$

जहां प्रत्येक संग्रह पूर्ण उपश्रेणी है जो ठीक से अगले में निहित है। क्रम में, ये क्रिस्टलीय अभ्यावेदन, अर्धस्थिर अभ्यावेदन, डी राम अभ्यावेदन, हॉज-टेट अभ्यावेदन और सभी पी-एडिक निरूपण की श्रेणियां हैं। इसके अलावा, अभ्यावेदन की दो अन्य श्रेणियां पेश की जा सकती हैं, संभावित क्रिस्टलीय अभ्यावेदन प्रतिनिधि_pcris(के) और संभावित अर्धस्थिर अभ्यावेदन प्रतिनिधि_pst(क)। उत्तरार्द्ध में सख्ती से पूर्व शामिल है जो बदले में आम तौर पर सख्ती से निरसित होता है_cris(क); इसके अतिरिक्त, प्रतिनिधि_pst(के) आम तौर पर सख्ती से निरसित होता है_st(के), और निरसित में निहित है_dR(K) (समानता के साथ जब K का अवशिष्ट क्षेत्र परिमित है, कथन जिसे p-adic monodromy theorem|p-adic monodromy theorem कहा जाता है)।

अंकगणितीय ज्यामिति में आवर्त वलय और समरूपता की तुलना

फॉनटेन द्वारा पेश किए गए पी-एडिक हॉज सिद्धांत की सामान्य रणनीति, कुछ तथाकथित 'पीरियड रिंग्स' का निर्माण करना है। जैसे कि पी-एडिक काल की अंगूठी | बी_dR, सेमीस्टेबल अवधियों का वलय|बी_st, क्रिस्टलीय अवधियों का वलय|बी_cris, और हॉज-टेट अवधियों की अंगूठी|बी_HTजिसमें G द्वारा समूह क्रिया (गणित) दोनों हैं_Kऔर कुछ रेखीय बीजगणितीय संरचना और तथाकथित 'डाययूडोने मॉड्यूल' पर विचार करने के लिए

$D_{B}(V)=(B\otimes _{\mathbf {Q} _{p}}V)^{G_{K}}$

(जहाँ B अवधि वलय है, और V p-adic प्रतिनिधित्व है) जिसमें अब G नहीं है_K-कार्रवाई, लेकिन रिंग बी से विरासत में मिली रैखिक बीजगणितीय संरचनाओं से संपन्न हैं। विशेष रूप से, वे निश्चित क्षेत्र पर वेक्टर रिक्त स्थान हैं $E:=B^{G_{K}}$. यह निर्माण बी-स्वीकार्य प्रतिनिधित्व की औपचारिकता में फिट बैठता है | फॉनटेन द्वारा शुरू किए गए बी-स्वीकार्य प्रतिनिधित्व। अवधि के लिए पूर्वोक्त बी की तरह रिंग करें_∗ (∗ = HT, dR, st, cris) के लिए, p-adic अभ्यावेदन प्रतिनिधि की श्रेणी_∗(के) ऊपर वर्णित बी-स्वीकार्य प्रतिनिधित्व की श्रेणी है। बी_∗-स्वीकार्य वाले, यानी वे पी-एडिक अभ्यावेदन वी जिसके लिए

$\dim _{E}D_{B_{\ast }}(V)=\dim _{\mathbf {Q} _{p}}V$

या, समकक्ष, बी-स्वीकार्य प्रतिनिधित्व

$\alpha _{V}:B_{\ast }\otimes _{E}D_{B_{\ast }}(V)\longrightarrow B_{\ast }\otimes _{\mathbf {Q} _{p}}V$

समरूपता है।

यह औपचारिकता (और नाम की अवधि की अंगूठी) अंकगणितीय ज्यामिति और जटिल ज्यामिति में तुलनात्मक समरूपता के संबंध में कुछ परिणामों और अनुमानों से बढ़ी है:

• यदि एक्स 'जटिल संख्या' पर उचित आकारिकी चिकनी आकारिकी योजना (गणित) है, तो 'सी' पर एक्स के बीजगणितीय डी रम कोहोलॉजी और एक्स ('सी') के एकवचन कोहोलॉजी के बीच शास्त्रीय तुलना समरूपता है।

$H_{\mathrm {dR} }^{\ast }(X/\mathbf {C} )\cong H^{\ast }(X(\mathbf {C} ),\mathbf {Q} )\otimes _{\mathbf {Q} }\mathbf {C} .$

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

• मध्य साठ के दशक में, टेट ने अनुमान लगाया बीजगणितीय डी रम कोहोलॉजी और पी-एडिक एटले कोहोलॉजी (हॉज-टेट अनुमान, जिसे सी भी कहा जाता है) के बीच एक समान आइसोमोर्फिज्म उचित चिकनी योजनाओं एक्स ओवर के के लिए होना चाहिए।_HT). विशेष रूप से, चलो सी_K K के बीजगणितीय समापन का पूर्ण (टोपोलॉजी) होना, 'C'_K(मैं) निरूपित 'सी'_K जहां जी की कार्रवाई_Kg·z = χ(g) के माध्यम से हैⁱg·z (जहाँ χ साइक्लोटॉमिक कैरेक्टर है|p-adic साइक्लोटॉमिक कैरेक्टर है, और i पूर्णांक है), और मान लीजिए $B_{\mathrm {HT} }:=\oplus _{i\in \mathbf {Z} }\mathbf {C} _{K}(i)$. फिर क्रियात्मक समरूपता है

$B_{\mathrm {HT} }\otimes _{K}\mathrm {gr} H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {HT} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})$

जी के साथ वर्गीकृत वेक्टर रिक्त स्थान_K-कार्रवाई (डी रम कोहोलॉजी हॉज निस्पंदन से लैस है, और $\mathrm {gr} H_{\mathrm {dR} }^{\ast }$ इसकी संबद्ध श्रेणीबद्ध है)। अस्सी के दशक के उत्तरार्ध में गर्ड फाल्टिंग्स द्वारा इस अनुमान को सिद्ध किया गया था कई अन्य गणितज्ञों (स्वयं टेट सहित) द्वारा आंशिक परिणामों के बाद।

• पी-एडिक क्षेत्र के पर अच्छी कमी के साथ एबेलियन किस्म एक्स के लिए, अलेक्जेंडर ग्रोथेंडिक ने टेट के प्रमेय को यह कहने के लिए सुधारा कि क्रिस्टलीय कोहोलॉजी एच¹(X/W(k)) ⊗ 'Q'_p विशेष फाइबर के (इस समूह पर फ्रोबेनियस एंडोमोर्फिज्म के साथ और इस समूह पर हॉज फिल्ट्रेशन के साथ तनावग्रस्त) और पी-एडिक एटले कोहोलॉजी एच¹(एक्स,'क्यू'_p) (K के Galois समूह की कार्रवाई के साथ) में समान जानकारी थी। दोनों बरसोटी-टेट समूह के बराबर हैं | एक्स से संबंधित पी-विभाज्य समूह, आइसोजेनी तक। ग्रोथेंडिक ने अनुमान लगाया कि पी-एडिक एटेल कोहोलॉजी से क्रिस्टलीय कोहोलॉजी (और पीछे) तक सीधे जाने का तरीका होना चाहिए, पी-एडिक क्षेत्रों पर अच्छी कमी के साथ सभी किस्मों के लिए। यह सुझाया गया संबंध रहस्यमय कारक के रूप में जाना जाने लगा।

हॉज-टेट अनुमान को डी रम कोहोलॉजी (न केवल इसके संबद्ध ग्रेडेड) से जुड़े एक में सुधार करने के लिए, फॉनटेन ने निर्माण किया फिल्ट्रेशन (गणित) रिंग B_dR जिसका संबद्ध ग्रेड बी है_HT और अनुमान लगाया निम्नलिखित (कहा जाता है सी_dR) K के ऊपर किसी भी सुचारू उचित योजना X के लिए

$B_{\mathrm {dR} }\otimes _{K}H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {dR} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})$

जी के साथ फ़िल्टर किए गए वेक्टर रिक्त स्थान के रूप में_K-कार्य। इस प्रकार, बी_dR कहा जा सकता है कि सभी (पी-एडिक) अवधियों को पी-एडिक एटले कोहोलॉजी के साथ बीजगणितीय डे राम कोहोलॉजी की तुलना करने की आवश्यकता होती है, जैसे उपरोक्त जटिल संख्याएं एकवचन कोहोलॉजी के साथ तुलना के साथ उपयोग की जाती हैं। यहीं पर बी_dR p-adic काल के वलय का अपना नाम प्राप्त करता है।

इसी तरह, ग्रोथेंडिक के रहस्यमय फ़ंक्टर की व्याख्या करने के लिए अनुमान तैयार करने के लिए, फॉनटेन ने रिंग बी पेश किया_cris जी के साथ_K-कार्रवाई, फ्रोबेनियस φ, और K से अदिशों के विस्तार के बाद निस्पंदन₀ के। उन्होंने अनुमान लगाया निम्नलिखित (कहा जाता है सी_cris) अच्छी कमी के साथ K के ऊपर किसी भी सुचारू उचित योजना X के लिए

$B_{\mathrm {cris} }\otimes _{K_{0}}H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {cris} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})$

φ-कार्रवाई के साथ सदिश समष्टियों के रूप में, G_K-एक्शन, और फिल्ट्रेशन स्केलर्स को K तक विस्तारित करने के बाद (यहाँ $H_{\mathrm {dR} }^{\ast }(X/K)$ K के रूप में इसकी संरचना दी गई है₀-सदिश अंतरिक्ष के साथ φ-कार्रवाई क्रिस्टलीय कोहोलॉजी के साथ इसकी तुलना द्वारा दी गई है)। दोनों सी_dR और सी_cris फाल्टिंग द्वारा अनुमान सिद्ध किए गए थे। बी की धारणा के साथ इन दो अनुमानों की तुलना करने पर_∗उपरोक्त स्वीकार्य अभ्यावेदन, यह देखा गया है कि यदि X K (अच्छी कमी के साथ) पर उचित चिकनी योजना है और V p-adic Galois प्रतिनिधित्व है जैसा कि इसका ith p-adic étale cohomology समूह है, तो

$D_{B_{\ast }}(V)=H_{\mathrm {dR} }^{i}(X/K).$

दूसरे शब्दों में, डायडोने मॉड्यूल को वी से संबंधित अन्य कोहोलॉजी देने के बारे में सोचा जाना चाहिए।

अस्सी के दशक के अंत में, फॉनटेन और उवे जैनसेन ने एक और तुलना समरूपतावाद अनुमान तैयार किया, सी_st, इस बार X को अर्ध-स्थिर कमी की अनुमति देता है। फॉन्टेन का निर्माण किया अंगूठी बी_st जी के साथ_K-एक्शन, फ्रोबेनियस φ, के से स्केलर को विस्तारित करने के बाद निस्पंदन₀ से K (और p-adic लघुगणक | p-adic लघुगणक का विस्तार तय करना), और मोनोड्रोमी ऑपरेटर N। जब X में अर्ध-स्थिर कमी होती है, तो de Rham कोहोलॉजी को φ-क्रिया और मोनोड्रोमी ऑपरेटर से सुसज्जित किया जा सकता है। ओसामु ह्योडो द्वारा पहली बार पेश किए गए लॉग-क्रिस्टलीय कोहोलॉजी के साथ इसकी तुलना। अनुमान तब कहता है

$B_{\mathrm {st} }\otimes _{K_{0}}H_{\mathrm {dR} }^{\ast }(X/K)\cong B_{\mathrm {st} }\otimes _{\mathbf {Q} _{p}}H_{\mathrm {{\acute {e}}t} }^{\ast }(X\times _{K}{\overline {K}},\mathbf {Q} _{p})$

φ-कार्रवाई के साथ सदिश समष्टियों के रूप में, G_K-कार्रवाई, स्केलर को K तक विस्तारित करने के बाद फिल्ट्रेशन, और मोनोड्रोमी ऑपरेटर N. यह अनुमान नब्बे के दशक के उत्तरार्ध में ताकेशी सूजी द्वारा सिद्ध किया गया था।

यह भी देखें

• हॉज सिद्धांत
• अरकेलोव सिद्धांत
• हॉज-अराकेलोव सिद्धांत
• p-adic Teichmüller सिद्धांत

संदर्भ

प्राथमिक स्रोत

• Tate, John (1967), "p-Divisible Groups"", Proceedings of a Conference on Local Fields, Springer, pp. 158–183, doi:10.1007/978-3-642-87942-5_12, ISBN 978-3-642-87942-5
• Faltings, Gerd (1988), "p-adic Hodge theory", Journal of the American Mathematical Society, 1 (1): 255–299, doi:10.2307/1990970, JSTOR 1990970, MR 0924705
• Faltings, Gerd (1989), "Crystalline cohomology and p-adic Galois representations", in Igusa, Jun-Ichi (ed.), Algebraic analysis, geometry, and number theory, Baltimore, MD: Johns Hopkins University Press, pp. 25–80, ISBN 978-0-8018-3841-5, MR 1463696
• Fontaine, Jean-Marc (1982), "Sur certains types de représentations p-adiques du groupe de Galois d'un corps local; construction d'un anneau de Barsotti–Tate", Annals of Mathematics, 115 (3): 529–577, doi:10.2307/2007012, JSTOR 2007012, MR 0657238
• Grothendieck, Alexander (1971), "Groupes de Barsotti–Tate et cristaux", Actes du Congrès International des Mathématiciens (Nice, 1970), vol. 1, pp. 431–436, MR 0578496
• Hyodo, Osamu (1991), "On the de Rham–Witt complex attached to a semi-stable family", Compositio Mathematica, 78 (3): 241–260, MR 1106296
• Serre, Jean-Pierre (1967), "Résumé des cours, 1965–66", Annuaire du Collège de France, Paris, pp. 49–58{{citation}}: CS1 maint: location missing publisher (link)
• Tsuji, Takeshi (1999), "p-adic étale cohomology and crystalline cohomology in the semi-stable reduction case", Inventiones Mathematicae, 137 (2): 233–411, Bibcode:1999InMat.137..233T, doi:10.1007/s002220050330, MR 1705837, S2CID 121547567

माध्यमिक स्रोत

• Berger, Laurent (2004), "An introduction to the theory of p-adic representations", Geometric aspects of Dwork theory, vol. I, Berlin: Walter de Gruyter GmbH & Co. KG, arXiv:math/0210184, Bibcode:2002math.....10184B, ISBN 978-3-11-017478-6, MR 2023292
• Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory (PDF), retrieved 2010-02-05
• Fontaine, Jean-Marc, ed. (1994), Périodes p-adiques, Astérisque, vol. 223, Paris: Société Mathématique de France, MR 1293969
• Illusie, Luc (1990), "Cohomologie de de Rham et cohomologie étale p-adique (d'après G. Faltings, J.-M. Fontaine et al.) Exp. 726", Séminaire Bourbaki. Vol. 1989/90. Exposés 715–729, Astérisque, vol. 189–190, Paris: Société Mathématique de France, pp. 325–374, MR 1099881

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