2025-11-11T02:06:45.795459

Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces

Shtotland
We study the space $S(X)^I$ of smooth functions on a symmetric space $X=G/H$ invariant to the action of an Iwahori subgroup $I$, as a module over $\mathcal{H}(G,I)$, the Iwahori Hecke algebra of a p-adic group $G$. We present a description of this module that generalizes the description given to $\mathcal{H}(G,I)$ by Iwahori and Matsumoto.
academic

সমরূপ স্থানে ইওয়াহরি নির্ধারিত ফাংশনের মডিউলের জন্য ইওয়াহরি ম্যাৎসুমোটো উপস্থাপনা

মৌলিক তথ্য

  • পত্রিকা আইডি: 2406.16070
  • শিরোনাম: সমরূপ স্থানে ইওয়াহরি নির্ধারিত ফাংশনের মডিউলের জন্য ইওয়াহরি ম্যাৎসুমোটো উপস্থাপনা
  • লেখক: গাই শটোটল্যান্ড
  • শ্রেণীবিভাগ: math.RT (গণিত-প্রতিনিধিত্ব তত্ত্ব)
  • প্রকাশনা সময়: ২০২৪ সালের জুন (arXiv প্রাক-প্রিন্ট, ২০২৫ সালের জানুয়ারিতে সংশোধিত)
  • পত্রিকা লিঙ্ক: https://arxiv.org/abs/2406.16070

সারসংক্ষেপ

এই পত্রিকা সমরূপ স্থান X=G/HX=G/H এর উপর মসৃণ ফাংশন স্থান S(X)IS(X)^I অধ্যয়ন করে, যা ইওয়াহরি উপগোষ্ঠী II এর ক্রিয়ার অধীনে অপরিবর্তনীয়, এবং এটিকে pp-adic গোষ্ঠী GG এর ইওয়াহরি হেকে বীজগণিত H(G,I)\mathcal{H}(G,I) এর উপর একটি মডিউল হিসাবে বিবেচনা করে। নিবন্ধটি এই মডিউলের বর্ণনা প্রদান করে, ইওয়াহরি এবং ম্যাৎসুমোটোর H(G,I)\mathcal{H}(G,I) এর ক্লাসিক্যাল বর্ণনা সাধারণীকরণ করে।

গবেষণা পটভূমি এবং প্রেরণা

মূল সমস্যা

  1. আপেক্ষিক প্রতিনিধিত্ব তত্ত্বে মৌলিক সমস্যা: HH-বিশিষ্ট প্রতিনিধিত্ব অধ্যয়ন, অর্থাৎ HomH(π,C)≠0\text{Hom}_H(\pi,\mathbb{C}) \neq 0 সন্তুষ্ট করে এমন GG এর মসৃণ প্রতিনিধিত্ব π\pi
  2. ইওয়াহরি নির্ধারিত ভেক্টরের মডিউল কাঠামো: ফ্রোবেনিয়াস পারস্পরিকতার মাধ্যমে, HH-বিশিষ্ট অপ্রতিক্রিয়াশীল প্রতিনিধিত্বের অধ্যয়ন GG-মডিউল S(X)S(X) এর ভাগফলের অধ্যয়নের সমতুল্য, যেখানে S(X)S(X) হল XX এর উপর স্থানীয়ভাবে ধ্রুবক সংক্ষিপ্ত সমর্থন ফাংশন স্থান

গবেষণার গুরুত্ব

  • ইওয়াহরি উপগোষ্ঠী II মসৃণ প্রতিনিধিত্ব বিভাগ M(G)M(G) বিভক্ত করে, যেখানে II দ্বারা নির্ধারিত ভেক্টর দ্বারা উৎপাদিত প্রতিনিধিত্ব প্রধান ব্লক গঠন করে
  • এই বিভাগটি সীমাবদ্ধ-মাত্রিক H(G,I)H(G,I) মডিউল বিভাগের সমতুল্য, সমতুল্যতা V↦VIV \mapsto V^I দ্বারা দেওয়া হয়
  • S(X)IS(X)^I এর বর্ণনা H(G,I)H(G,I) মডিউল হিসাবে মসৃণ HH-বিশিষ্ট প্রতিনিধিত্ব অধ্যয়নের মূল পদক্ষেপ

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

  • ক্লাসিক্যাল ইওয়াহরি-ম্যাৎসুমোটো বর্ণনা শুধুমাত্র H(G,I)H(G,I) নিজের জন্য প্রযোজ্য
  • সমরূপ স্থানের উপর ফাংশন মডিউল S(X)IS(X)^I এর জন্য পদ্ধতিগত বর্ণনার অভাব
  • সমরূপতা সীমাবদ্ধতা পরিচালনা করার জন্য নতুন জ্যামিতিক এবং সমন্বয়মূলক পদ্ধতির প্রয়োজন

মূল অবদান

  1. I\XI\backslash X এ সংযুক্ত ওয়েইল গোষ্ঠীর ক্রিয়া নির্মাণ: প্রমাণ করেছে যে এই ক্রিয়ার সীমাবদ্ধ সংখ্যক কক্ষপথ রয়েছে
  2. II কক্ষপথের সম্পূর্ণ শ্রেণীবিভাগ প্রদান: I\XI\backslash X এবং ⋃T∈AWaffH(T)\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T) এর মধ্যে প্রাকৃতিক দ্বিমুখী সম্পর্ক স্থাপন
  3. ইওয়াহরি-ম্যাৎসুমোটো সম্পর্ক সাধারণীকরণ: lσ(s×x)≠lσ(x)l_\sigma(s \times x) \neq l_\sigma(x) ক্ষেত্রে জেনারেটর TsT_s এর ক্রিয়া সূত্র প্রদান
  4. সমান দৈর্ঘ্যের ক্ষেত্রে সম্পূর্ণ বর্ণনা: lσ(s×x)=lσ(x)l_\sigma(s \times x) = l_\sigma(x) এর জটিল ক্ষেত্রে সম্পূর্ণ কাঠামো ধ্রুবক সূত্র প্রদান
  5. সর্বজনীন মডিউল নির্মাণ: সর্বজনীন ইওয়াহরি হেকে বীজগণিতে মডিউল MtM_t নির্মাণ, যখন t=qt=q বিশেষায়িত হয় তখন S(X)IS(X)^I হয়ে ওঠে

পদ্ধতির বিস্তারিত বর্ণনা

কাজের সংজ্ঞা

সমরূপ স্থান X=G/HX = G/H এর উপর ইওয়াহরি নির্ধারিত ফাংশন স্থান S(X)IS(X)^I এর ইওয়াহরি হেকে বীজগণিত H(G,I)H(G,I) মডিউল হিসাবে কাঠামো অধ্যয়ন করুন, যেখানে:

  • GG হল pp-adic ক্ষেত্র FF এর উপর সংযুক্ত হ্রাসকৃত গোষ্ঠী
  • H=GσH = G^\sigma হল বীজগণিত প্রতিবিম্ব σ:G→G\sigma: G \to G এর নির্ধারিত বিন্দু গোষ্ঠী
  • II হল GG এর ইওয়াহরি উপগোষ্ঠী

মূল জ্যামিতিক নির্মাণ

১. কক্ষপথ শ্রেণীবিভাগ

প্রমেয়: I\XI\backslash X এবং ⋃T∈AWaffH(T)\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T) এর মধ্যে প্রাকৃতিক দ্বিমুখী সম্পর্ক বিদ্যমান, যেখানে:

  • A=Tσ/H\mathcal{A} = T_\sigma/H হল σ\sigma-স্থিতিশীল সর্বোচ্চ টোরাসের HH কক্ষপথ প্রতিনিধি সেট
  • WaffH(T)=Waff(T)/WH,aff(T)W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)

২. সংযুক্ত ওয়েইল গোষ্ঠীর ক্রিয়া

উপরোক্ত দ্বিমুখী সম্পর্কের মাধ্যমে সংযুক্ত ওয়েইল গোষ্ঠী WaffW_{\text{aff}} এর I\XI\backslash X এ ক্রিয়া w×xw \times x সংজ্ঞায়িত করুন, এই ক্রিয়া প্রতিটি WaffH(T)W^H_{\text{aff}}(T) এ আলাদাভাবে সম্পাদিত হয়।

৩. দৈর্ঘ্য ফাংশন

দৈর্ঘ্য ফাংশন lσ:I\X→Nl_\sigma: I\backslash X \to \mathbb{N} সংজ্ঞায়িত করুন: lσ(C):=d(C,σ(C))l_\sigma(C) := d(C, \sigma(C)) যেখানে dd হল নির্মাণে কক্ষের মধ্যে দূরত্ব।

প্রযুক্তিগত উদ্ভাবনী বিন্দু

১. σ\sigma-স্থিতিশীল apartment এর অনন্যতা

মূল প্রস্তাব: যেকোনো কক্ষ কোনো σ\sigma-স্থিতিশীল apartment এ অন্তর্ভুক্ত, এবং এই apartment নির্ধারিত কক্ষের HH উপাদান সংযোগের অধীনে অনন্য।

২. কাঠামো ধ্রুবকের জ্যামিতিক ব্যাখ্যা

নির্মাণ জ্যামিতির মাধ্যমে হেকে বীজগণিত ক্রিয়ার গণনা নিম্নলিখিতে হ্রাস করুন: (Ts+1)1x=γf,gDf,o(T_s + 1)1_x = \gamma_{f,g} D_{f,o} যেখানে γf,g\gamma_{f,g} হল নির্দিষ্ট HH কক্ষপথের আকার, f=gC∩gsCf = gC \cap gsC।

৩. অর্ধ-সরল র্যাঙ্ক ১ ক্ষেত্রে হ্রাস

জটিল সমান দৈর্ঘ্যের ক্ষেত্র lσ(s×x)=lσ(x)l_\sigma(s \times x) = l_\sigma(x) এর জন্য, প্যারাহরিক গোষ্ঠী স্কিমের হ্রাস ভাগফলের মাধ্যমে সমস্যা সীমিত ক্ষেত্রের উপর অর্ধ-সরল র্যাঙ্ক ১ গোষ্ঠীর সমরূপ উপগোষ্ঠীর পতাকা বৈচিত্র্যে কক্ষপথ গণনায় রূপান্তরিত করুন।

প্রধান ফলাফল

১. ইওয়াহরি-ম্যাৎসুমোটো ধরনের সূত্র

প্রমেয়: x∈I\G/Hx \in I\backslash G/H, s∈Δ~s \in \tilde{\Delta} একটি সরল প্রতিফলন হোক, তাহলে:

  • যদি lσ(s×x)>lσ(x)l_\sigma(s \times x) > l_\sigma(x), তাহলে Ts1x=1s×xT_s 1_x = 1_{s \times x}
  • যদি lσ(s×x)<lσ(x)l_\sigma(s \times x) < l_\sigma(x), তাহলে Ts1x=(q−1)1x+q1s×xT_s 1_x = (q-1)1_x + q1_{s \times x}

২. সমান দৈর্ঘ্যের ক্ষেত্রে সম্পূর্ণ বর্ণনা

প্রমেয়: যদি lσ(x)=lσ(s×x)l_\sigma(x) = l_\sigma(s \times x), তাহলে: γf,g=q−1nmax⁡δx,max⁡+2nmin⁡δx,min⁡\gamma_{f,g} = \frac{q-1}{n_{\max}} \delta_{x,\max} + \frac{2}{n_{\min}} \delta_{x,\min} যেখানে nmax⁡,nmin⁡∈{1,2}n_{\max}, n_{\min} \in \{1,2\} হল সমর্থন সেটে সর্বোচ্চ/সর্বনিম্ন lσl_\sigma দৈর্ঘ্য কক্ষপথের সংখ্যা।

৩. সীমাবদ্ধ উৎপাদনশীলতা

প্রমেয়: S(X)IS(X)^I হল H(G,I)H(G,I) এর উপর সীমাবদ্ধভাবে উৎপাদিত মডিউল।

৪. সম্ভাব্য কাঠামো ধ্রুবক

অনুসিদ্ধান্ত: কাঠামো ধ্রুবক γf,g\gamma_{f,g} এর সম্ভাব্য মান: 1,2,q−12,q−1,q,q+1,q+121, 2, \frac{q-1}{2}, q-1, q, q+1, \frac{q+1}{2}।

নির্দিষ্ট উদাহরণ

উদাহরণ ১: G=SL2,H=TG = \text{SL}_2, H = T (কর্ণ টোরাস)

  • σ\sigma-স্থিতিশীল apartment এর TT কক্ষপথের ৩টি বিদ্যমান
  • II কক্ষপথ Waff⊔Waff⊔Waff/T0W_{\text{aff}} \sqcup W_{\text{aff}} \sqcup W_{\text{aff}}/T^0 এর সাথে সামঞ্জস্যপূর্ণ
  • দৈর্ঘ্য ফাংশন: lσ(z0)=lσ(z1)=0l_\sigma(z_0) = l_\sigma(z_1) = 0, lσ(xw)=lσ(yw)=2⌊l(w)/2⌋+1l_\sigma(x_w) = l_\sigma(y_w) = 2\lfloor l(w)/2 \rfloor + 1

উদাহরণ ২: G=SL2n,H=Sp2nG = \text{SL}_{2n}, H = \text{Sp}_{2n}

  • অনন্য σ\sigma-স্থিতিশীল apartment কক্ষপথ
  • II কক্ষপথ WaffW_{\text{aff}} এ প্রতিসমিত ম্যাট্রিক্সের সাথে সামঞ্জস্যপূর্ণ
  • ক্রিয়া সূত্র: w×x=wxwtw \times x = wxw^t
  • দৈর্ঘ্য ফাংশন: lσ(x)=l(x)−1l_\sigma(x) = l(x) - 1

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

  1. ক্লাসিক্যাল ইওয়াহরি-ম্যাৎসুমোটো তত্ত্ব: H(G,I)H(G,I) এর জেনারেটর এবং সম্পর্ক প্রদান করে
  2. সমরূপ স্থানের কার্টান বিয়োজন: ডেলর্ম-সেচেরে এবং অন্যরা K0K_0 কক্ষপথ অধ্যয়ন করেছেন (যেখানে K0K_0 সর্বোচ্চ সংক্ষিপ্ত উপগোষ্ঠী)
  3. গোলাকার ফাংশন তত্ত্ব: হিরোনাকা, সাকেলারিডিস এবং অন্যরা S(X)K0S(X)^{K_0} এর H(G,K0)H(G,K_0) মডিউল হিসাবে কাঠামো অধ্যয়ন করেছেন

এই পত্রিকার উদ্ভাবন

  • প্রথমবার ইওয়াহরি স্তরে সমরূপ স্থান ফাংশন মডিউল পদ্ধতিগতভাবে অধ্যয়ন করেছে
  • নির্মাণ জ্যামিতির উপর ভিত্তি করে নতুন পদ্ধতি প্রবর্তন করেছে
  • pp-adic জ্যামিতি এবং সীমিত ক্ষেত্র বীজগণিত গোষ্ঠী তত্ত্বের মধ্যে গভীর সংযোগ স্থাপন করেছে

উপসংহার এবং আলোচনা

প্রধান উপসংহার

  1. সমরূপ স্থানে ইওয়াহরি নির্ধারিত ফাংশনের মডিউল কাঠামো সম্পূর্ণভাবে বর্ণিত
  2. ক্লাসিক্যাল ইওয়াহরি-ম্যাৎসুমোটো তত্ত্ব আপেক্ষিক ক্ষেত্রে সাধারণীকৃত
  3. pp-adic জ্যামিতি এবং সীমিত ক্ষেত্র বীজগণিত জ্যামিতির মধ্যে সেতু স্থাপিত

সীমাবদ্ধতা

  1. অবশিষ্ট বৈশিষ্ট্য ২ নয় এমন প্রয়োজনীয়তা
  2. প্রধানত বিভক্ত গোষ্ঠীর ক্ষেত্র বিবেচনা
  3. সমান দৈর্ঘ্যের ক্ষেত্রে সূত্র অপেক্ষাকৃত জটিল

ভবিষ্যত দিকনির্দেশনা

  1. ন্যূনতম র্যাঙ্ক সমরূপ স্থানের মডিউল কাঠামো অধ্যয়ন
  2. স্টেইনবার্গ প্রতিনিধিত্বের বিশিষ্ট বৈশিষ্ট্য সমস্যায় প্রয়োগ
  3. আরও সাধারণ গোলাকার বৈচিত্র্যে সাধারণীকরণ

গভীর মূল্যায়ন

সুবিধা

  1. তাত্ত্বিক গভীরতা: নির্মাণ তত্ত্ব, হেকে বীজগণিত এবং বীজগণিত জ্যামিতি দক্ষতার সাথে সমন্বয়
  2. প্রযুক্তিগত উদ্ভাবন: σ\sigma-স্থিতিশীল apartment তত্ত্ব এবং হ্রাস কৌশল প্রবর্তন
  3. সম্পূর্ণতা: সমস্ত ক্ষেত্রের সম্পূর্ণ বর্ণনা, জটিল সমান দৈর্ঘ্যের ক্ষেত্র সহ
  4. জ্যামিতিক স্বজ্ঞা: বীজগণিত গণনা জ্যামিতিক সমস্যায় রূপান্তরিত, বোঝাপড়া বৃদ্ধি

অপূর্ণতা

  1. প্রযুক্তিগত জটিলতা: সমান দৈর্ঘ্যের ক্ষেত্রের পরিচালনা যথেষ্ট প্রযুক্তিগত
  2. প্রযোজ্যতার পরিসীমা: গোষ্ঠী এবং প্রতিবিম্বের উপর অনেক সীমাবদ্ধতা শর্ত
  3. গণনার জটিলতা: প্রকৃত কাঠামো ধ্রুবক গণনা বিস্তৃত জ্যামিতিক তথ্য প্রয়োজন

প্রভাব

  1. তাত্ত্বিক অবদান: আপেক্ষিক প্রতিনিধিত্ব তত্ত্বে নতুন সরঞ্জাম এবং দৃষ্টিভঙ্গি প্রদান
  2. পদ্ধতিবিদ্যা: নির্মাণ জ্যামিতি পদ্ধতি অন্যান্য আপেক্ষিক ক্ষেত্রে প্রযোজ্য হতে পারে
  3. প্রয়োগের সম্ভাবনা: বিশিষ্ট প্রতিনিধিত্ব অধ্যয়নের জন্য ভিত্তি প্রদান

প্রযোজ্য পরিস্থিতি

  • pp-adic গোষ্ঠীর আপেক্ষিক প্রতিনিধিত্ব তত্ত্ব গবেষণা
  • সমরূপ স্থানে সুরেলা বিশ্লেষণ
  • হেকে বীজগণিতের মডিউল তত্ত্ব
  • নির্মাণ তত্ত্বের প্রয়োগ

সংদর্ভ তালিকা

এই পত্রিকা প্রধানত ইওয়াহরি-ম্যাৎসুমোটোর ক্লাসিক্যাল কাজ IM65, ডেলর্ম-সেচেরের সমরূপ স্থান তত্ত্ব DS11, এবং হেলমিনক-ওয়াং এর প্রতিবিম্ব শ্রেণীবিভাগ তত্ত্ব HW93 এবং অন্যান্য গুরুত্বপূর্ণ সাহিত্য উল্লেখ করেছে।