2025-11-10T03:16:02.678091

Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator

Futorny, Grantcharov, Ramirez et al.
We provide an explicit combinatorial realization of all simple and injective (hence, and projective) modules in the category of bounded $\mathfrak{sp}(2n)$-modules. This realization is defined via a natural tableaux correspondence between spinor-type modules of $\mathfrak{so}(2n)$ and oscillator-type modules of $\mathfrak{sp}(2n)$. In particular, we show that, in contrast with the $A$-type case, the generic and bounded $\mathfrak{sp}(2n)$-modules admit an analog of the Gelfand-Graev continuation from finite-dimensional representations.
academic

সিমপ্লেক্টিক লাই বীজগণিতের জন্য সীমাবদ্ধ মডিউলের স্পষ্ট উপলব্ধি: স্পিনর বনাম অসিলেটর

মৌলিক তথ্য

  • পেপার আইডি: 2406.15929
  • শিরোনাম: সিমপ্লেক্টিক লাই বীজগণিতের জন্য সীমাবদ্ধ মডিউলের স্পষ্ট উপলব্ধি: স্পিনর বনাম অসিলেটর
  • লেখক: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
  • শ্রেণীবিভাগ: math.RT (প্রতিনিধিত্ব তত্ত্ব)
  • প্রকাশনার সময়: ২০২৪ সালের জুন (arXiv v2: ২০২৫ সালের ১ জানুয়ারি)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2406.15929

সংক্ষিপ্তসার

এই পত্রটি সীমাবদ্ধ sp(2n)\mathfrak{sp}(2n)-মডিউল বিভাগে সমস্ত সরল এবং ইনজেক্টিভ মডিউল (এবং তাই প্রজেক্টিভ মডিউলও) এর স্পষ্ট সমন্বয়মূলক উপলব্ধি প্রদান করে। এই উপলব্ধি so(2n)\mathfrak{so}(2n) এর স্পিনর-ধরনের মডিউল এবং sp(2n)\mathfrak{sp}(2n) এর অসিলেটর-ধরনের মডিউলের মধ্যে প্রাকৃতিক ট্যাবুলার সংযোগের মাধ্যমে সংজ্ঞায়িত করা হয়। বিশেষত, লেখকরা প্রমাণ করেন যে A-ধরনের ক্ষেত্রের বিপরীতে, সাধারণ এবং সীমাবদ্ধ sp(2n)\mathfrak{sp}(2n)-মডিউলগুলি সীমিত-মাত্রিক প্রতিনিধিত্ব থেকে Gelfand-Graev সম্প্রসারণের অনুরূপ স্বীকার করে।

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

সমস্যার পটভূমি

  1. Gelfand-Tsetlin মডিউল তত্ত্বের উন্নয়ন: সম্প্রতি, Gelfand-Tsetlin মডিউল তত্ত্ব চিত্রকল্প KLRW বীজগণিত এবং Coulomb শাখার সাথে এর সংযোগের কারণে ব্যাপক মনোযোগ আকর্ষণ করেছে। gl(n)\mathfrak{gl}(n) ক্ষেত্রে, সমস্ত সরল Gelfand-Tsetlin মডিউলের সম্পূর্ণ পরামিতিকরণ প্রতিষ্ঠিত হয়েছে।
  2. সিমপ্লেক্টিক ক্ষেত্রের জটিলতা: সিমপ্লেক্টিক লাই বীজগণিত sp(2n)\mathfrak{sp}(2n) এর জন্য, পরিস্থিতি আরও জটিল কারণ U(sp(2k))U(\mathfrak{sp}(2k)) এর কেন্দ্রের মিলন সর্বোচ্চ উপ-বীজগণিত গঠন করে না, Gelfand-Tsetlin ধরনের উপ-বীজগণিত সংজ্ঞায়িত করতে "মধ্যবর্তী" উপাদান যোগ করার প্রয়োজন।
  3. স্পষ্ট সূত্রের অভাব: যদিও এটি জানা যায় যে GT(sp(2n))GT(\mathfrak{sp}(2n)) যেকোনো সরল সীমিত-মাত্রিক sp(2n)\mathfrak{sp}(2n)-মডিউলে কাজ করা তির্যক এবং সরল বর্ণালী রয়েছে, তবুও ট্যাবুলার ভিত্তিতে জেনারেটরের স্পষ্ট ক্রিয়া সূত্র এখনও অজানা।

গবেষণা প্রেরণা

  1. সিমপ্লেক্টিক ক্ষেত্রে Gelfand-Tsetlin তত্ত্ব প্রতিষ্ঠা: প্রথম পদক্ষেপ হিসাবে, Gelfand-Tsetlin ট্যাবুলার উপলব্ধি সহ sp(2n)\mathfrak{sp}(2n)-মডিউলগুলি অধ্যয়ন করা।
  2. স্পিনর-অসিলেটর সংযোগ অন্বেষণ: so(2n)\mathfrak{so}(2n) এর স্পিনর-ধরনের মডিউল এবং sp(2n)\mathfrak{sp}(2n) এর অসিলেটর-ধরনের মডিউলের মধ্যে রহস্যময় সংযোগ স্পষ্ট করা।
  3. Gelfand-Graev সম্প্রসারণ নীতি: এমন মডিউল খুঁজে বের করা যা Gelfand-Graev সম্প্রসারণ নীতি পূরণ করে, অর্থাৎ ট্যাবুলার ভিত্তি সহ মডিউল যেখানে জেনারেটরের ক্রিয়া ক্লাসিক্যাল Gelfand-Tsetlin সূত্র দ্বারা প্রকাশিত হয়।

মূল অবদান

  1. স্পষ্ট ট্যাবুলার উপলব্ধি: সীমাবদ্ধ sp(2n)\mathfrak{sp}(2n)-মডিউল বিভাগে সমস্ত সরল মডিউল এবং অবিয়োজ্য ইনজেক্টিভ (প্রজেক্টিভ) মডিউলের স্পষ্ট ট্যাবুলার উপলব্ধি প্রদান করা।
  2. স্পিনর-অসিলেটর সংযোগ: so(2n)\mathfrak{so}(2n) এর অর্ধ-পূর্ণসংখ্যা (স্পিনর-ধরনের) সীমিত-মাত্রিক মডিউল এবং sp(2n)\mathfrak{sp}(2n) এর অসীম-মাত্রিক সীমাবদ্ধ (অসিলেটর-ধরনের) মডিউলের মধ্যে স্বচ্ছ সংযোগ প্রতিষ্ঠা করা।
  3. Gelfand-Graev সম্প্রসারণ: প্রমাণ করা যে A-ধরনের ক্ষেত্রের বিপরীতে, সাধারণ এবং সীমাবদ্ধ sp(2n)\mathfrak{sp}(2n)-মডিউলগুলি Gelfand-Graev সম্প্রসারণ স্বীকার করে।
  4. সম্পূর্ণ শ্রেণীবিভাগ: সমস্ত অসীম-মাত্রিক সরল সীমাবদ্ধ sp(2n)\mathfrak{sp}(2n)-মডিউলের সম্পূর্ণ শ্রেণীবিভাগ এবং স্পষ্ট বর্ণনা প্রদান করা।

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

ট্যাবুলার সংজ্ঞা এবং মানক শর্ত

C-ধরনের ট্যাবুলার (সংজ্ঞা 2.6)

C-ধরনের Gelfand-Tsetlin ট্যাবুলার হল n2+nn^2 + n টি জটিল সংখ্যা নিয়ে গঠিত একটি অ্যারে:

\ell_{n1} & \ell_{n2} & \cdots & \ell_{nn} \\ \ell'_{n1} & \ell'_{n2} & \cdots & \ell'_{nn} \\ \ell_{n-1,1} & \ell_{n-1,2} & \cdots & \ell_{n-1,n-1} \\ \ell'_{n-1,1} & \ell'_{n-1,2} & \cdots & \ell'_{n-1,n-1} \\ \vdots & \vdots & \ddots & \vdots \\ \ell_{11} \\ \ell'_{11} \end{matrix}$$ #### C-মানক ট্যাবুলার (সংজ্ঞা 2.7) C-ধরনের ট্যাবুলার $T(L)$ কে C-মানক বলা হয়, যদি এর উপাদানগুলি সন্তুষ্ট করে: - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k1} > \ell'_{k2} \geq \ell_{k2} > \cdots > \ell'_{kk} \geq \ell_{kk}$ - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k-1,1} > \ell'_{k2} \geq \ell_{k-1,2} > \cdots > \ell'_{kk}$ ### সীমাবদ্ধ ট্যাবুলার মডিউল $V(\mu,\lambda)$ #### সংজ্ঞা (সংজ্ঞা 4.8) $\mu = (\mu_1, \ldots, \mu_n) \in \mathbb{C}^n$ এবং $\lambda = (\lambda_1, \ldots, \lambda_n) \in (\frac{1}{2} + \mathbb{Z})^n$ দেওয়া হলে, সংজ্ঞায়িত করুন: 1. $\ell := \lambda + \rho_D + \frac{1}{2}$, অর্থাৎ $\ell_i := \lambda_i - i + \frac{3}{2}$ 2. C-ধরনের ট্যাবুলার সেট: $$B(\mu,\lambda) := \{T(W) | T_{C\backslash D}(W) \in \mu + \mathbb{Z}^n, \text{ এবং } T_D(W) \in D^{\lambda}_{st}\}$$ 3. C-ভেক্টর স্থান $V(\mu,\lambda)$ যার ভিত্তি $B(\mu,\lambda)$ #### মূল বৈশিষ্ট্য - **নিয়মিততা** (প্রস্তাব 4.10): $B(\mu,\lambda)$ হল C-নিয়মিত ট্যাবুলার সেট যদি এবং শুধুমাত্র যদি $\mu_i \notin \mathbb{Z}$ এবং $\lambda_i \in \frac{1}{2} + \mathbb{Z}$ - **ওজন সূত্র** (সংজ্ঞা 4.12): ট্যাবুলার $T(L)$ এর C-ওজন হল $$\omega_k(L) := 2\sum_{i=1}^k \ell'_{ki} - \sum_{i=1}^k \ell_{ki} - \sum_{i=1}^{k-1} \ell_{k-1,i} + k - \frac{1}{2}$$ ### মডিউল কাঠামো উপপাদ্য #### প্রধান কাঠামো উপপাদ্য (উপপাদ্য 4.11) স্থান $V(\mu,\lambda)$ এ $\mathfrak{sp}(2n)$-মডিউল কাঠামো রয়েছে, জেনারেটরের ক্রিয়া সূত্র (7-17) দ্বারা দেওয়া হয়, এবং যেকোনো $z \in Z(U(\mathfrak{sp}(2n)))$ এর ক্রিয়া $p_z(\lambda+1)$ দ্বারা গুণ করে দেওয়া হয়। #### সমর্থন এবং ওজন বহুত্ব (উপপাদ্য 4.21) যেকোনো $\gamma \in \text{Supp}(V(\mu,\lambda))$ এর জন্য: $$\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$$ ## পরীক্ষামূলক ফলাফল এবং তাত্ত্বিক যাচাইকরণ ### সমর্থন বর্ণনা (প্রস্তাব 4.20) $$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$$ যেখানে $Q_C$ হল মূল জালক। ### উপ-ভাগফলের শ্রেণীবিভাগ #### উপমডিউল নির্মাণ (সংজ্ঞা 4.30) $\Sigma \subseteq \text{Int}(2\mu)$ এর উপযুক্ত অ-খালি উপসেটের জন্য, সংজ্ঞায়িত করুন: $$V(\mu,\lambda,\Sigma) = \left(\bigcap_{i \in \Sigma} V^+_i(\mu,\lambda)\right) \bigg/ \sum_{j \in \text{Int}(2\mu)\backslash\Sigma} \left(\bigcap_{k \in \Sigma \cup \{j\}} V^+_k(\mu,\lambda)\right)$$ #### সরলতা এবং শ্রেণীবিভাগ (উপপাদ্য 4.33) 1. প্রতিটি অসীম-মাত্রিক সরল সীমাবদ্ধ $\mathfrak{sp}(2n)$-মডিউল কোনো $V(\mu,\lambda,\Sigma)$ এর সমরূপ 2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ যদি এবং শুধুমাত্র যদি $\Sigma = \Sigma'$ এবং নির্দিষ্ট শর্ত সন্তুষ্ট হয় ### ইনজেক্টিভ খাম (অনুসিদ্ধান্ত 4.35) $V(\mu,\lambda)$ হল সীমাবদ্ধ $\mathfrak{sp}(2n)$-মডিউল বিভাগে $V(\mu,\lambda,\text{Int}(2\mu))$ এর ইনজেক্টিভ খাম। ## সম্পর্কিত কাজ ### Gelfand-Tsetlin মডিউল তত্ত্ব - **A-ধরনের ক্ষেত্র**: $\mathfrak{gl}(n)$ ক্ষেত্রে, সম্পূর্ণ পরামিতিকরণ তত্ত্ব প্রতিষ্ঠিত হয়েছে - **C-ধরনের চ্যালেঞ্জ**: Molev এর কাজ সীমিত-মাত্রিক ক্ষেত্রে ট্যাবুলার উপলব্ধি প্রতিষ্ঠা করেছে, কিন্তু স্পষ্ট সূত্রের অভাব রয়েছে ### সীমাবদ্ধ মডিউল তত্ত্ব - **শ্রেণীবিভাগ ফলাফল**: সরল সীমাবদ্ধ মডিউলের জন্য Mathieu এর শ্রেণীবিভাগ, ইনজেক্টিভ মডিউলের জন্য Grantcharov-Serganova এর বর্ণনা - **ডিগ্রি 1 মডিউল**: ডিগ্রি 1 সীমাবদ্ধ মডিউলের জন্য Britten-Lemire এর সম্পূর্ণ বর্ণনা ### স্পিনর-অসিলেটর সংযোগ - **ক্লাসিক্যাল ক্ষেত্র**: ওজন বহুত্ব 1 এর ক্ষেত্রে, স্পিনর প্রতিনিধিত্ব এবং Shale-Weil প্রতিনিধিত্বের সংযোগ ইতিমধ্যে বোঝা যায় - **সাধারণ ক্ষেত্র**: এই পত্রটি এই সংযোগকে সাধারণ সীমাবদ্ধ মডিউল ক্ষেত্রে সম্প্রসারিত করে ## উপসংহার এবং আলোচনা ### প্রধান উপসংহার 1. **সম্পূর্ণ উপলব্ধি**: সমস্ত সীমাবদ্ধ $\mathfrak{sp}(2n)$-মডিউলের স্পষ্ট ট্যাবুলার উপলব্ধি প্রথমবারের মতো প্রদান করা 2. **গভীর সংযোগ**: $\mathfrak{so}(2n)$ স্পিনর মডিউল এবং $\mathfrak{sp}(2n)$ অসিলেটর মডিউলের গভীর সংযোগ উন্মোচন করা 3. **সম্প্রসারণ নীতি**: সিমপ্লেক্টিক ক্ষেত্রে Gelfand-Graev সম্প্রসারণের প্রযোজ্যতা প্রমাণ করা ### তাত্ত্বিক তাৎপর্য এই কাজ সিমপ্লেক্টিক লাই বীজগণিতের প্রতিনিধিত্ব তত্ত্বের জন্য নতুন সরঞ্জাম এবং দৃষ্টিভঙ্গি প্রদান করে, বিশেষত: - সিমপ্লেক্টিক ক্ষেত্রে Gelfand-Tsetlin তত্ত্বের ভিত্তি প্রতিষ্ঠা করা - সীমাবদ্ধ মডিউল গণনার জন্য কংক্রিট পদ্ধতি প্রদান করা - বিভিন্ন লাই বীজগণিত ধরনের মধ্যে সংযোগ বোঝার জন্য নতুন পথ খোলা ### ভবিষ্যত দিকনির্দেশনা 1. **অন্যান্য ধরনে সম্প্রসারণ**: পদ্ধতিকে অন্যান্য ক্লাসিক্যাল লাই বীজগণিতে সম্প্রসারিত করা 2. **শীর্ষবিন্দু বীজগণিত প্রয়োগ**: শীর্ষবিন্দু বীজগণিত তত্ত্বে প্রয়োগ 3. **জ্যামিতিক উপলব্ধি**: এই মডিউলগুলির জ্যামিতিক উপলব্ধি খোঁজা ## গভীর মূল্যায়ন ### সুবিধা 1. **তাত্ত্বিক সম্পূর্ণতা**: সীমাবদ্ধ $\mathfrak{sp}(2n)$-মডিউলের সম্পূর্ণ শ্রেণীবিভাগ এবং স্পষ্ট নির্মাণ প্রদান করা 2. **পদ্ধতি উদ্ভাবন**: স্পিনর-অসিলেটর সংযোগের মাধ্যমে নতুন নির্মাণ পদ্ধতি প্রতিষ্ঠা করা 3. **প্রযুক্তিগত দক্ষতা**: প্রমাণ কৌশল সূক্ষ্ম, বিশেষত নিয়মিততা শর্ত এবং ওজন গণনায় 4. **প্রয়োগ মূল্য**: সম্পর্কিত ক্ষেত্রের জন্য কংক্রিট ব্যবহারযোগ্য সরঞ্জাম প্রদান করা ### প্রযুক্তিগত অবদান 1. **ট্যাবুলার সংযোগ**: C-ধরনের এবং D-ধরনের ট্যাবুলারের মধ্যে নির্ভুল সংযোগ প্রতিষ্ঠা করা 2. **ওজন সূত্র**: ওজন স্থানের স্পষ্ট বর্ণনা এবং মাত্রা সূত্র প্রদান করা 3. **উপ-ভাগফল নির্মাণ**: সমস্ত সরল উপ-ভাগফলের একীভূত নির্মাণ প্রদান করা ### প্রভাব এই কাজ নিম্নলিখিত ক্ষেত্রে গুরুত্বপূর্ণ প্রভাব ফেলবে বলে প্রত্যাশিত: - লাই বীজগণিত প্রতিনিধিত্ব তত্ত্ব - Gelfand-Tsetlin মডিউল তত্ত্ব - শীর্ষবিন্দু বীজগণিত তত্ত্ব - গাণিতিক পদার্থবিজ্ঞানে অসীম-মাত্রিক প্রতিনিধিত্ব ### প্রযোজ্য পরিস্থিতি এই তত্ত্ব বিশেষভাবে প্রযোজ্য: - সিমপ্লেক্টিক লাই বীজগণিতের অসীম-মাত্রিক প্রতিনিধিত্ব গবেষণায় - সীমাবদ্ধ ওজন মডিউলের কংক্রিট গণনায় - সম্পর্কিত ভৌত মডেলের গাণিতিক বর্ণনায় ## তথ্যসূত্র এই পত্রটি এই ক্ষেত্রের গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যার মধ্যে রয়েছে: - সিমপ্লেক্টিক এবং অর্থোগোনাল লাই বীজগণিতের ট্যাবুলার উপলব্ধির উপর Molev এর ভিত্তিমূলক কাজ - সীমাবদ্ধ মডিউলের শ্রেণীবিভাগ তত্ত্বে Mathieu এবং Grantcharov-Serganova এর কাজ - Gelfand-Tsetlin মডিউলের উপর Futorny এবং অন্যদের সাম্প্রতিক অগ্রগতি --- এই পত্রটি সিমপ্লেক্টিক লাই বীজগণিত প্রতিনিধিত্ব তত্ত্বে গুরুত্বপূর্ণ অবদান রাখে, শুধুমাত্র দীর্ঘস্থায়ী প্রযুক্তিগত সমস্যার সমাধান করে না, বরং বিভিন্ন ধরনের লাই বীজগণিতের মধ্যে গভীর সংযোগ বোঝার জন্য নতুন দৃষ্টিভঙ্গি প্রদান করে। এর পদ্ধতি এবং ফলাফল অসীম-মাত্রিক প্রতিনিধিত্ব তত্ত্বের উন্নয়ন এগিয়ে নিতে গুরুত্বপূর্ণ তাৎপর্য রাখে।