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], এবং আধা-রৈখিক প্রতিনিধিত্ব পরিচালনা করে। লেখক কঠিন গণিত ভাষার উপর ভিত্তি করে, রোড্রিগেজ ক্যামার্গো এবং রোড্রিগেস জ্যাসিন্টোর কঠিন স্থানীয় বিশ্লেষণাত্মক প্রতিনিধিত্ব তত্ত্বকে প্রসারিত করেছেন, এই প্রতিনিধিত্বগুলি অধ্যয়নের জন্য আরও শক্তিশালী সমসংস্থান সরঞ্জাম সরবরাহ করেছেন।
তত্ত্বগত সম্প্রসারণের প্রয়োজনীয়তা: ক্লাসিক্যাল p-অ্যাডিক স্থানীয় বিশ্লেষণাত্মক প্রতিনিধিত্ব তত্ত্ব প্রধানত Qp-সহগের জন্য, কিন্তু p-অ্যাডিক হজ তত্ত্ব এবং p-অ্যাডিক ল্যাঙ্গল্যান্ডস প্রোগ্রামে, মিশ্র বৈশিষ্ট্য সহগের ক্ষেত্রে প্রায়ই সম্মুখীন হয়।
প্রয়োগ-চালিত: নিম্নলিখিত বেশ কয়েকটি গুরুত্বপূর্ণ গণিত ক্ষেত্রে, মিশ্র বৈশিষ্ট্য স্থানীয় বিশ্লেষণাত্মক প্রতিনিধিত্ব স্বাভাবিকভাবে উপস্থিত হয়:
প্রযুক্তিগত চ্যালেঞ্জ: মিশ্র বৈশিষ্ট্য পরিবেশে, ঐতিহ্যবাহী টেইলর সিরিজ সম্প্রসারণ ব্যর্থ হয়, দ্বিপদী সম্প্রসারণ দ্বারা প্রতিস্থাপন করা প্রয়োজন, যা প্রযুক্তিগত জটিলতা নিয়ে আসে।
লেখক একটি নির্দিষ্ট উদাহরণের মাধ্যমে মিশ্র বৈশিষ্ট্য স্থানীয় বিশ্লেষণাত্মক প্রতিনিধিত্বের স্বাভাবিকতা ব্যাখ্যা করেন: বৈশিষ্ট্য λT:x↦(1+T)x বিবেচনা করুন, এটি কঠিন বিশ্লেষণাত্মক ডিস্ক এবং সিউডো-কঠিন ডিস্ক উভয়েই অর্থপূর্ণ, কিন্তু পরবর্তীটিতে p অপ্রতিবর্তনীয়, নতুন তাত্ত্বিক কাঠামো প্রয়োজন।
তাত্ত্বিক কাঠামো নির্মাণ: মিশ্র বৈশিষ্ট্য ব্যানাচ বলয়ে কঠিন স্থানীয় বিশ্লেষণাত্মক প্রতিনিধিত্ব তত্ত্ব প্রতিষ্ঠা করেছেন, ক্লাসিক্যাল তত্ত্বকে 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))
এটি আধা-রৈখিক ক্ষেত্রের প্রমাণকে রৈখিক ক্ষেত্রে হ্রাস করার অনুমতি দেয়।
বেলোভিনের প্রস্তাবিত প্রশ্ন 1.1 এর উত্তর দেয়: মিশ্র বৈশিষ্ট্য সংস্করণ সংজ্ঞায়িত করা সম্ভব কিনা এমার্টনের স্থানীয় বিশ্লেষণাত্মক জ্যাকোয়েট ফাংটর সম্প্রসারিত বৈশিষ্ট্য বৈচিত্র্য নির্মাণ করতে।
এটি উচ্চ মানের তাত্ত্বিক গণিত পত্রিকা, যা p-অ্যাডিক পাটিগণিত জ্যামিতি, প্রতিনিধিত্ব তত্ত্ব এবং ল্যাঙ্গল্যান্ডস প্রোগ্রামে গুরুত্বপূর্ণ প্রভাব ফেলবে বলে প্রত্যাশিত। এই কাজ তাত্ত্বিক শূন্যতা পূরণ করে এবং ভবিষ্যৎ গবেষণার ভিত্তি স্থাপন করে।