2025-11-15T17:01:10.701216

Skew odd orthogonal characters and interpolating Schur polynomials

Jing, Li, Wang et al.
We introduce two vertex operators to realize skew odd orthogonal characters $so_{λ/μ}(x^{\pm})$ and derive the Cauchy identity for the skew characters via Toeplitz-Hankel-type determinant similar to the Schur functions. The method also gives new proofs of the Jacobi--Trudi identity and Gelfand--Tsetlin patterns for $so_{λ/μ}(x^{\pm})$. Moreover, combining the vertex operators related to characters of types $C,D$ (\cite{Ba1996,JN2015}) and the new vertex operators related to $B$-type characters, we obtain three families of symmetric polynomials that interpolate among characters of $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ and $Sp_{2n}(\mathbb{C})$, Their transition formulas are also explicitly given among symplectic and/or orthogonal characters and odd orthogonal characters.
academic

الأحرف المائلة الفردية المتعامدة وكثيرات حدود شور الاستيفائية

المعلومات الأساسية

  • معرّف الورقة: 2502.15586
  • العنوان: الأحرف المائلة الفردية المتعامدة وكثيرات حدود شور الاستيفائية
  • المؤلفون: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye، مع ملحق من Xinyu Pan
  • التصنيف: math.RT (نظرية التمثيل)، math.CO (التوافقيات)، math.QA (الجبر الكمي)
  • تاريخ النشر: 21 فبراير 2025 (مسودة arXiv)
  • رابط الورقة: https://arxiv.org/abs/2502.15586

الملخص

تقدم هذه الورقة عاملي تشغيل رؤوس جديدين لتحقيق الأحرف المائلة الفردية المتعامدة soλ/μ(x±)so_{\lambda/\mu}(x^{\pm})، وتشتق معادلات كوشي للأحرف المائلة من خلال محددات نوع توبليتز-هانكل المشابهة لدوال شور. توفر هذه الطريقة أيضاً براهين جديدة لمعادلات جاكوبي-تروديل وأنماط جيلفاند-تسيتلين لـ soλ/μ(x±)so_{\lambda/\mu}(x^{\pm}). علاوة على ذلك، بدمج عاملي التشغيل المرتبطين بأحرف النوع C و D مع عاملي تشغيل جديدين مرتبطين بأحرف النوع B، تم الحصول على ثلاث عائلات من كثيرات الحدود المتماثلة التي تستكمل بين الأحرف على SO2n+1(C)SO_{2n+1}(\mathbb{C}) و SO2n(C)SO_{2n}(\mathbb{C}) و Sp2n(C)Sp_{2n}(\mathbb{C})، مع صيغ تحويل واضحة بين أحرف الفضاء والأحرف المتعامدة والأحرف الفردية المتعامدة.

خلفية البحث والدافع

خلفية المشكلة

  1. أساسيات نظرية التمثيل للمجموعات الكلاسيكية: الأحرف غير القابلة للاختزال للمجموعة الخطية العامة GLn(C)GL_n(\mathbb{C}) هي دوال شور sλ(x)s_\lambda(x) المفهرسة بواسطة التقسيمات λ\lambda، وهي تشكل أساساً متعامداً لحلقة الدوال المتماثلة. دوال شور المائلة sλ/μ(x)s_{\lambda/\mu}(x) هي أدوات أساسية لدراسة التقييدات على التمثيلات الجزئية.
  2. أحرف المجموعات الكلاسيكية: أحرف المجموعات الكلاسيكية غير القابلة للاختزال Sp2n(C)Sp_{2n}(\mathbb{C}) و SO2n(C)SO_{2n}(\mathbb{C}) و SO2n+1(C)SO_{2n+1}(\mathbb{C}) تسمى على التوالي الأحرف الفضائية spλ(x±)sp_\lambda(x^{\pm}) والأحرف المتعامدة (الزوجية) oλ(x±)o_\lambda(x^{\pm}) والأحرف الفردية المتعامدة soλ(x±)so_\lambda(x^{\pm}).
  3. حالة البحث الحالية: قام بيكر وجينج-ني ببناء تحقيقات عاملي التشغيل للأحرف الفضائية والمتعامدة. استخدم المؤلفون في أعمالهم السابقة طرق الجبر الرأسي لاشتقاق الهياكل التوافقية للأحرف الفضائية المائلة والأحرف المتعامدة (الزوجية) المائلة.

دافع البحث

  1. إكمال الإطار النظري: لم يتم بعد إنشاء تحقيق عاملي التشغيل للنسخة المائلة من الأحرف الفردية المتعامدة (النوع B)، مما يتطلب إكمال إطار نظري موحد لأحرف المجموعات الكلاسيكية.
  2. كثيرات الحدود الاستيفائية: يتطلب بناء كثيرات حدود متماثلة تستكمل بين أنواع مختلفة من أحرف المجموعات الكلاسيكية لدراسة موحدة لخصائصها.
  3. المتطابقات التوافقية: يتطلب إنشاء هياكل توافقية مهمة للأحرف الفردية المتعامدة المائلة مثل معادلات جاكوبي-تروديل وأنماط جيلفاند-تسيتلين ومتطابقات نوع كوشي.

المساهمات الأساسية

  1. إدخال عاملي تشغيل رؤوس جديدين: تم بناء عاملي تشغيل رؤوس جديدين U(z)U(z) و U∗(z)U^*(z) للأحرف الفردية المتعامدة soλ(x±)so_\lambda(x^{\pm})، مما أكمل تحقيق عاملي التشغيل للنوع B.
  2. إنشاء نظرية توافقية للأحرف الفردية المتعامدة المائلة:
    • اشتقاق معادلات جاكوبي-تروديل للأحرف الفردية المتعامدة المائلة soλ/μ(x±)so_{\lambda/\mu}(x^{\pm})
    • إنشاء أنماط جيلفاند-تسيتلين
    • إثبات متطابقات نوع كوشي
  3. بناء ثلاث عائلات من كثيرات حدود شور الاستيفائية:
    • كثيرات حدود الاستيفاء BD sλBD(x;α)s^{BD}_\lambda(x;\alpha): الاستيفاء بين أحرف النوع B والنوع D
    • كثيرات حدود الاستيفاء BC sλBC(x;α)s^{BC}_\lambda(x;\alpha): الاستيفاء بين أحرف النوع B والنوع C
    • كثيرات حدود الاستيفاء CD sλCD(x;α)s^{CD}_\lambda(x;\alpha): الاستيفاء بين أحرف النوع C والنوع D
  4. إنشاء صيغ التحويل: تقديم صيغ تحويل واضحة للعلاقات بين أحرف الفضاء والأحرف المتعامدة والأحرف الفردية المتعامدة.
  5. اكتشاف متطابقات محددة جديدة: إنشاء ثلاث متطابقات محددة من نوع توبليتز-هانكل المرتبطة بدوال شور.

شرح الطريقة

تعريف عاملي التشغيل الأساسيين

تقدم الورقة عاملي تشغيل رؤوس رئيسيين بناءً على جبر هايزنبرج:

U(z)=(1+z)exp⁡(∑n=1∞a−nnzn)exp⁡(−∑n=1∞ann(zn+z−n))U(z) = (1 + z) \exp\left(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n\right) \exp\left(-\sum_{n=1}^{\infty}\frac{a_n}{n}(z^n + z^{-n})\right)

U∗(z)=(1−z)exp⁡(−∑n=1∞a−nnzn)exp⁡(∑n=1∞ann(zn+z−n))U^*(z) = (1- z) \exp\left(-\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n\right) \exp\left(\sum_{n=1}^{\infty}\frac{a_n}{n}(z^n + z^{-n})\right)

بناء عناصر التقسيم

بالنسبة للتقسيم المعمم λ=(λ1,λ2,…,λl)\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l)، يتم تعريف:

  • ∣λso⟩=U−λ1U−λ2⋯U−λl∣0⟩|\lambda^{so}\rangle = U_{-\lambda_1}U_{-\lambda_2} \cdots U_{-\lambda_l}|0\rangle
  • ⟨λso∣=⟨0∣U−λl∗⋯U−λ1∗\langle\lambda^{so}| = \langle 0|U^*_{-\lambda_l} \cdots U^*_{-\lambda_1}

عاملي التشغيل شبه الرؤسيين

إدخال عدة عاملي تشغيل شبه رؤسيين لأغراض مختلفة:

  • Γ+(z)=exp⁡(∑n=1∞annzn)\Gamma_+(z) = \exp(\sum_{n=1}^{\infty}\frac{a_n}{n}z^n)
  • Γ−(z)=exp⁡(∑n=1∞a−nnzn)\Gamma_-(z) = \exp(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n)
  • Γ~+(z)=exp⁡(−∑n=1∞a2nnzn)\tilde{\Gamma}_+(z) = \exp(-\sum_{n=1}^{\infty}\frac{a_{2n}}{n}z^n)

نقاط الابتكار التقنية

  1. هيكل جبر كليفورد المعمم: من خلال صيغة بيكر-كامبل-هاوسدورف، تم إثبات أن عاملي التشغيل يرضيان علاقات مضادة للتبديل لجبر كليفورد المعمم: UiUj+Uj+1Ui−1=0U_iU_j + U_{j+1}U_{i-1} = 0Ui∗Uj∗+Uj−1∗Ui+1∗=0U^*_iU^*_j + U^*_{j-1}U^*_{i+1} = 0UiUj∗+Uj+1∗Ui+1=δi,jU_iU^*_j + U^*_{j+1}U_{i+1} = \delta_{i,j}
  2. علاقات التعامد: إنشاء التعامد لعناصر التقسيم: ⟨μso∣λso⟩=δλμ\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}
  3. تحقيق عنصر المصفوفة: يمكن التعبير عن الأحرف الفردية المتعامدة المائلة كعنصر مصفوفة لعاملي التشغيل: soλ/μ(x±)=⟨μso∣Γ+(x±)∣λso⟩so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle

النتائج الرئيسية

معادلة جاكوبي-تروديل

النظرية 3.1: بالنسبة للتقسيم المعمم μ=(μ1,…,μl)\mu = (\mu_1, \ldots, \mu_l) و λ=(λ1,…,λl+N)\lambda = (\lambda_1, \ldots, \lambda_{l+N}):

soλ/μ(x±)=det⁡(aij)1≤i,j≤l+Nso_{\lambda/\mu}(x^{\pm}) = \det(a_{ij})_{1\leq i,j\leq l+N}

حيث عناصر المصفوفة هي:

h_{\lambda_i-\mu_j-i+j}(x^{\pm}) & 1 \leq j \leq l \\ h_{\lambda_i-i+j}(x^{\pm}) + h_{\lambda_i-i-j+2l+1}(x^{\pm}) & l+1 \leq j \leq l+N \end{cases}$$ ### نمط جيلفاند-تسيتلين **النظرية 3.5**: بالنسبة للتقسيم $\mu \subset \lambda$: $$so_{\lambda/\mu}(x^{\pm}) = \sum_{\mu=z^0 \prec z^1 \prec \cdots \prec z^{2N}=\lambda} \prod_{i=1}^N x_i^{2|z^{2i-1}|-|z^{2i}|-|z^{2i-2}|}$$ حيث التقسيمات $z^k$ ترضي شروط التشابك لنمط جيلفاند-تسيتلين الفردي المتعامد. ### متطابقة نوع كوشي **القضية 3.7**: $$\sum_{\mu} so_\mu(x^{\pm})s_\mu(y) = \frac{\prod_{k=1}^N(1+y_k)\prod_{1\leq k<l\leq N}(1-y_ky_l)}{\prod_{i,j=1}^N(1-x_iy_j)(1-x_i^{-1}y_j)}$$ ### علاقات التحويل لكثيرات الحدود الاستيفائية 1. **الاستيفاء BD**: $s^{BD}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BD}_\lambda(x;1) = o_\lambda(x^{\pm})$ 2. **الاستيفاء BC**: $s^{BC}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BC}_\lambda(x;-1) = sp_\lambda(x^{\pm})$ 3. **الاستيفاء CD**: $s^{CD}_\lambda(x;0) = sp_\lambda(x^{\pm})$, $s^{CD}_\lambda(x;1) = o_\lambda(x^{\pm})$ ### صيغ التحويل بين أحرف المجموعات الكلاسيكية **النظرية 4.1**: $$so_\lambda(x^{\pm}) = \sum_{\mu=\lambda-\varepsilon} sp_\mu(x^{\pm})$$ $$o_\lambda(x^{\pm}) = \sum_{\mu=\lambda-\varepsilon} (-1)^{|\lambda/\mu|}so_\mu(x^{\pm})$$ حيث $\varepsilon = (\varepsilon_1, \ldots, \varepsilon_N)$، $\varepsilon_i \in \{0,1\}$. ## الأهمية النظرية والتطبيقات ### إكمال نظرية الدوال المتماثلة تكمل هذه الورقة نظام نظرية عاملي التشغيل الرؤسيين لأحرف المجموعات الكلاسيكية، وتوفر هيكلاً جبرياً موحداً لنظرية الدوال المتماثلة. ### محددات نوع توبليتز-هانكل **النظرية 3.12** تنشئ ثلاث متطابقات محددة مهمة، تمثل دوال شور كمحددات من نوع توبليتز-هانكل، وهذا له أهمية كبيرة في الرياضيات التوافقية ونظرية المصفوفات العشوائية. ### تطور نظرية الاستيفاء توفر ثلاث عائلات من كثيرات الحدود الاستيفائية أداة قوية لدراسة العلاقات بين أحرف المجموعات الكلاسيكية من أنواع مختلفة، وتعمم كثيرات حدود الاستيفاء CB و DB لـ Bisi-Zygouras. ## الأعمال ذات الصلة ### خط التطور التاريخي 1. **نظرية دوال شور**: النظرية الكلاسيكية التي أسسها Weyl و Littlewood-Richardson وآخرون 2. **طريقة عاملي التشغيل الرؤسيين**: أدخل Jing لأول مرة عاملي التشغيل الرؤسيين في دراسة الدوال المتماثلة 3. **أحرف المجموعات الكلاسيكية**: أنشأ Baker و Jing-Nie تحقيق عاملي التشغيل للنوع C و D 4. **الدوال المائلة**: أنشأت الأعمال السابقة للمؤلفين نظرية الأحرف الفضائية والمتعامدة المائلة ### العلاقة مع البحث الأخير تتطابق نتائج هذه الورقة مع صيغة جاكوبي-تروديل المزدوجة التي حصل عليها Albion وآخرون من خلال طريقة مسارات الشبكة، مما يتحقق من تكافؤ الطرق المختلفة. ## التفاصيل التقنية والابتكارات ### الفضاء الثنائي الكامل $\tilde{M}^*$ لمعالجة التقسيمات المعممة التي تحتوي على أجزاء صفرية، تم إدخال الفضاء الثنائي الكامل $\tilde{M}^*$، وهذا ابتكار تقني مهم. ### تطبيق صيغة BCH الاستخدام الماهر لصيغة بيكر-كامبل-هاوسدورف لإنشاء علاقات التبديل بين عاملي التشغيل، وهذه تقنية أساسية لإثبات مختلف المتطابقات. ### توحيد تمثيل المحددات يمكن التعبير عن جميع المتطابقات التوافقية بشكل موحد كشكل محدد معين، مما يعكس الهيكل الجبري العميق. ## القيود والاتجاهات المستقبلية ### القيود الحالية 1. **التعقيد الحسابي**: بالنسبة للتقسيمات الكبيرة، يكون التعقيد الحسابي لحساب المحددات مرتفعاً 2. **درجة التعميم**: يقتصر حالياً على المجموعات الكلاسيكية، والتعميم على المجموعات الاستثنائية لم يتم تناوله بعد 3. **نطاق التطبيق**: لا تزال التطبيقات في المشاكل الفيزيائية أو الهندسية المحددة تتطلب مزيد من الاستكشاف ### اتجاهات البحث المستقبلية 1. **التعميم على المجموعات الكمية**: تعميم النتائج على المجموعات الكمية وجبر لي الأفيني 2. **التعميم الإهليلجي**: دراسة النظرية المماثلة لدوال شور الإهليلجية 3. **التطبيقات التوافقية**: البحث عن المزيد من التطبيقات في الرياضيات التوافقية التعدادية 4. **الخوارزميات الحسابية**: تطوير طرق حسابية رقمية فعالة ## التقييم المتعمق ### المميزات 1. **الاكتمال النظري**: إكمال آخر قطعة من اللغز في نظرية عاملي التشغيل الرؤسيين لأحرف المجموعات الكلاسيكية 2. **ابتكار الطريقة**: تظهر طريقة عاملي التشغيل الرؤسيين قوة قوية في التعامل مع الدوال المائلة 3. **غنى النتائج**: إنشاء عدة متطابقات توافقية مهمة في وقت واحد 4. **التوحيد**: توفير إطار نظري موحد للمجموعات الكلاسيكية من أنواع مختلفة ### المساهمات التقنية 1. **عاملي التشغيل الجديدان**: بناء $U(z)$ و $U^*(z)$ له أصالة 2. **كثيرات الحدود الاستيفائية**: بناء ثلاث عائلات من كثيرات الحدود الاستيفائية ماهر وطبيعي 3. **صيغ التحويل**: توفر العلاقات الواضحة الراحة للتطبيقات ### تقييم التأثير 1. **القيمة الأكاديمية**: ذات قيمة مهمة في مجالات نظرية التمثيل والرياضيات التوافقية ونظرية الدوال المتماثلة 2. **الأهمية المنهجية**: مزيد من التطوير والإكمال لطريقة عاملي التشغيل الرؤسيين 3. **البحث اللاحق**: توفير أساس مهم للبحث اللاحق في المجالات ذات الصلة ### جودة التقنية الاستدلال الرياضي في الورقة صارم، والإثباتات كاملة، والمعالجة التقنية دقيقة. يستحق الثناء بشكل خاص الابتكار التقني في التعامل مع التقسيمات المعممة والفضاء الثنائي الكامل. ## الخلاصة من خلال إدخال عاملي تشغيل رؤسيين جديدين، نجحت هذه الورقة في إنشاء نظرية كاملة للأحرف الفردية المتعامدة المائلة، بما في ذلك معادلات جاكوبي-تروديل وأنماط جيلفاند-تسيتلين ومتطابقات نوع كوشي. والأهم من ذلك، من خلال بناء ثلاث عائلات من كثيرات الحدود الاستيفائية، توفر إطاراً موحداً لتحويل أحرف المجموعات الكلاسيكية. لا تكمل هذه الأعمال نظرية الدوال المتماثلة فحسب، بل توضع أيضاً أساساً مهماً للبحث اللاحق في المجالات ذات الصلة. المستوى التقني للورقة عالٍ، والنتائج غنية، وقد حققت مساهمات مهمة في مجال التقاطع بين نظرية التمثيل والرياضيات التوافقية. على الرغم من وجود مجال للتحسين في التعقيد الحسابي ونطاق التطبيق، فإن قيمتها النظرية وأهميتها المنهجية واضحة.