Solid locally analytic representations in mixed characteristic
Porat
The theory of locally analytic representations of $p$-adic Lie groups with $\mathbf{Q}_p$-coefficients is a powerful tool in $p$-adic Hodge theory and in the $p$-adic Langlands program. This perspective reveals important differential structures, such as the Sen and Casimir operators.
RodrÃguez Camargo and Rodrigues Jacinto developed in \cite{RJRC22} a solid version of this theory using the language of condensed mathematics. This provides more robust homological tools (comparison theorems, spectral sequences...) for studying these representations.
In this article, we extend the solid theory of locally analytic representations to a much broader class of mixed characteristic coefficients, such as $\mathbf{F}_p((X))$ or $\mathbf{Z}_p[[X]]\langle p/X\rangle[1/X]$, as well as to semilinear representations. In the introduction, we explain how these ideas could relate to mixed characteristic phenomena in $p$-adic Hodge theory, extend eigenvarieties, and the Langlands program.
academic
मिश्र विशेषता में ठोस स्थानीय विश्लेषणात्मक प्रतिनिधित्व
यह पेपर p-एडिक लाई समूहों के स्थानीय विश्लेषणात्मक प्रतिनिधित्व सिद्धांत को Qp-गुणांकों से विस्तृत करके मिश्र विशेषता गुणांकों की व्यापक श्रेणी तक विस्तारित करता है, जैसे Fp((X)) या Zp[[X]]⟨p/X⟩[1/X], और अर्धरैखिक प्रतिनिधित्वों को संभालता है। लेखक संघनित गणित की भाषा के आधार पर, Rodríguez Camargo और Rodrigues Jacinto के ठोस (solid) स्थानीय विश्लेषणात्मक प्रतिनिधित्व सिद्धांत को विस्तारित करता है, इन प्रतिनिधित्वों के अध्ययन के लिए अधिक मजबूत सहसंबद्ध उपकरण प्रदान करता है।
सिद्धांत विस्तार की आवश्यकता: शास्त्रीय p-एडिक स्थानीय विश्लेषणात्मक प्रतिनिधित्व सिद्धांत मुख्य रूप से Qp-गुणांकों के लिए है, लेकिन p-एडिक Hodge सिद्धांत और p-एडिक Langlands कार्यक्रम में, मिश्र विशेषता गुणांकों की स्थितियों का सामना अक्सर होता है।
अनुप्रयोग-संचालित: निम्नलिखित कई महत्वपूर्ण गणितीय क्षेत्रों में, मिश्र विशेषता स्थानीय विश्लेषणात्मक प्रतिनिधित्व स्वाभाविक रूप से प्रकट होते हैं:
p-एडिक Hodge सिद्धांत में विघटन पूर्णता (decompletion) घटना
विस्तारित विशेषता विविधता (extended eigenvarieties) सिद्धांत
p-एडिक Langlands कार्यक्रम का वर्गीकरण पत्राचार
तकनीकी चुनौतियाँ: मिश्र विशेषता वातावरण में, पारंपरिक Taylor श्रृंखला विस्तार विफल हो जाता है, द्विपद विस्तार द्वारा प्रतिस्थापन की आवश्यकता होती है, जो तकनीकी जटिलता लाता है।
लेखक एक ठोस उदाहरण के माध्यम से मिश्र विशेषता स्थानीय विश्लेषणात्मक प्रतिनिधित्व की स्वाभाविकता को स्पष्ट करता है: विशेषता λT:x↦(1+T)x पर विचार करें, यह कठोर विश्लेषणात्मक डिस्क और छद्म-कठोर डिस्क दोनों पर अर्थपूर्ण है, लेकिन बाद वाले में p व्युत्क्रमणीय नहीं है, नई सैद्धांतिक रूपरेखा की आवश्यकता है।
सैद्धांतिक रूपरेखा निर्माण: मिश्र विशेषता Banach वलयों पर ठोस स्थानीय विश्लेषणात्मक प्रतिनिधित्व सिद्धांत की स्थापना, शास्त्रीय सिद्धांत को Qp से व्यापक गुणांक वलयों तक विस्तारित करना।
अर्धरैखिक प्रतिनिधित्व संभालना: अर्धरैखिक G-प्रतिनिधित्वों को संभालने की तकनीकें विकसित करना, जहाँ समूह G गुणांक वलय पर गैर-तुच्छ रूप से कार्य करता है।
सहसंबद्ध तुलना प्रमेय: सतत सहसंबद्ध और स्थानीय विश्लेषणात्मक सहसंबद्ध के बीच तुलना प्रमेय (प्रमेय 1.5) को प्रमाणित करना।
वितरण बीजगणित की निरर्थकता: वितरण बीजगणित की निरर्थकता गुण (प्रमेय 6.10) की स्थापना, जो सिद्धांत का मूल संरचनात्मक परिणाम है।
स्थानीय विश्लेषणात्मक प्रतिनिधित्व का लक्षण वर्णन: स्थानीय विश्लेषणात्मक प्रतिनिधित्वों का पूर्ण लक्षण वर्णन (प्रमेय 1.4) प्रदान करना, यह प्रमाणित करना कि वे वितरण बीजगणित पर ठोस मॉड्यूल के समतुल्य हैं।
अर्धरैखिक स्थिति को संभालने के लिए, लेखक चतुराई से निस्पंदन और प्रवणता तकनीकों का उपयोग करता है। मुख्य अवलोकन है:
gr(B■[G0]1)=gr(B■[G0])gr(Dh-an(G0,B)1)=gr(Dh-an(G0,B))
यह अर्धरैखिक स्थिति के प्रमाण को रैखिक स्थिति तक कम करने की अनुमति देता है।
Bellovin द्वारा प्रस्तावित प्रश्न 1.1 का उत्तर देता है: क्या विस्तारित विशेषता विविधता बनाने के लिए मिश्र विशेषता संस्करण की Emerton स्थानीय विश्लेषणात्मक Jacquet फलक को परिभाषित किया जा सकता है।
यह उच्च गुणवत्ता का सैद्धांतिक गणित पेपर है, जिससे p-एडिक अंकगणितीय ज्यामिति, प्रतिनिधित्व सिद्धांत और Langlands कार्यक्रम पर महत्वपूर्ण प्रभाव पड़ने की अपेक्षा है। यह कार्य सैद्धांतिक अंतराल को भरता है और भविष्य के अनुसंधान के लिए आधार तैयार करता है।