Some convolution identities for mock modular forms arising from the theory of holomorphic projection

ملخص تقني: بعض متطابقات الالتفاف للدوال النمطية الزائفة الناشئة من نظرية الإسقاط الهولومورفي

بيان المشكلة
تعد متطابقات الالتفاف (Convolution identities) والصيغ التكرارية أدوات أساسية في نظرية الأشكال النمطية الهولومورفية وتطبيقاتها في التوافيق. وبينما تعد الأمثلة الكلاسيكية (مثل تلك المتعلقة بمجموع القواسم ودالة التجزئة) راسخة ومعروفة، إلا أن هناك اهتماماً متجدداً بالمتطابقات الناشئة عن الأشكال النمطية غير الهولومورفية، وتحديداً أشكال مااس (Maass forms) التوافقية. لقد أرست العمل السابق لـ إيمانوغلو، راوم، وريشتر (2014) نظرية للإسقاط الهولومورفي لمنتجات الأشكال النمطية التوافقية والهولومورفية، مما أسفر عن نتائج هامة مثل تعميمات لعلاقات عدد هيرتز-كرونيكر للفئات (Hurwitz-Kronecker class number relations) وصيغ ضرورية لإثبات حدسية "أومبرال مونشين" (Umbral Moonshine).

ومع ذلك، فإن الإطار الحالي الذي وضعه إيمانوغلو، راوم، وريشتر مُحسّن للحالات التي يكون فيها قيمة معادلة بيل المعممة $m^2 - Dn^2 = N$ مربعاً كاملاً، مما يؤدي إلى وجود عدد محدود فقط من الحلول لقيمة $N$ معينة. أما الحالات الطبيعية العديدة المتعلقة بدوال "موك ثيتا" (mock theta functions)، وخاصة تلك المرتبطة بدوال رامانوجان من الرتبة الثالثة، فهي تقابل حالات يكون فيها $D$ ليس مربعاً كاملاً، مما يؤدي إلى وجود عدد لانهائي من الحلول. تعالج هذه الورقة الفجوة في تطوير نظرية إسقاط هولومورفي ملائمة وقابلة للتنفيذ حسابياً لهذه الحالات العامة.

المنهجية
يستخدم المؤلفون نظرية الإسقاط الهولومورفي لاستخلاص متطابقات الالتفاف. وتتضمن المنهجية الجوهرية الخطوات التالية:

1. بناء الضرب التنسوري: يقوم المؤلفون بتكوين الضرب التنسوري لـ "شكل مااس توافقي" محدد ذي قيم متعددة، $H^{(3)}$، مع "شكل نمطي هولوومورفي" ذي قيم متعددة، $N$. يتم بناء $H^{(3)}$ من دوال "موك ثيتا" لرامانوجان ($\phi, \psi, \nu$) وإتماماتها غير الهولومورفية (المعرفة عبر الدوال الثيتية أحادية المتغير وتكاملات آيخلر) كما هو موضح في أعمال كلاين وكوبكا. أما $N$ فيتم بناؤه من حصيل (eta-quotients).
2. نظرية التمثيل: ينتج عن الضرب التنسوري $H^{(3)} \otimes N$ متجه ذو بُعد 18. يقوم المؤلفون بتفكيك التمثيل المرتبط به $\rho^{(3)} \otimes \rho$ إلى مكونات غير أولية. وباستخدام صيغ الأبعاد لفضاءات الأشكال النمطية، يثبتون أن فضاء الأشكال شبه النمطية (quasimodular forms) من الوزن 2 لهذا التمثيل هو ذو بُعد 3.
3. الإسقاط الهولومورفي: من خلال تطبيق مؤثر الإسقاط الهولومورفي $\pi_{hol}$ على الضرب التنسوري، يربط المؤلفون الأجزاء غير الهولومورفية للشكل التوافقي بالأشكال النمطية الهولومورفية. ويؤدي إسقاط الجزء الهولوومورفي ($F^{(3)} \otimes N$) إلى الأطراف اليسرى للمتطابقات، بينما يؤدي إسقاط الجزء غير الهولوومورفي ($G^{(3)} \otimes N$) إلى مجموعات الالتفاف في الأطراف اليمنى.
4. صيغة الإسقاط المعممة: المساهمة المنهجية الحاسمة هي تطوير النظرية 4.2، وهي صيغة عامة للإسقاطات الهولومورفية من الوزن 2. وبخلاف الصيغ السابقة التي افترضت أن $D$ مربع كامل، تتعامل هذه النظرية مع الحالة التي يكون فيها لمعادلة بيل المعممة $m^2 - Dn^2 = 1$ عدد لانهائي من الحلول (عندما لا يكون $D$ مربعاً كاملاً). تتضمن عملية الإثبات ما يلي:
   • تحليل شروط النمو للدوال.
   • الاستفادة من الحل الأساسي لمعادلة بيل لتصنيف الحلول الصحيحة إلى فئات تكافؤ.
   • الجمع عبر هذه الفئات باستخدام رموز ديريكليه ومعاملات محددة ($\epsilon_1, \epsilon_2$) لتبسيط السلاسل المزدوجة الناتجة.
   • استخدام اللمة 4.3 لإجراء استبدالات أحادية المودول (unimodular substitutions) تختزل المجموعات المزدوجة المعقدة إلى أشكال أكثر إيجازاً.

المساهمات والنتائج الرئيسية
النتيجة الأساسية للورقة هي النظرية A، التي تثبت خمس متطابقات متميزة من نوع الالتفاف لسلاسل $q$ تتضمن دوال "موك ثيتا" لرامانوجان من الرتبة الثالثة $\phi(q)$ و $\psi(q)$ و $\nu(q)$.

• حل حدسية: تحل المتطابقة (a) في النظرية A حدسية حديثة طرحها المؤلف الثاني (غارفان) بخصوص متطابقة التفاف محددة للدالة $\psi(q)$.
• اختزال المتطابقات: ينتج عن الإسقاط الهولوومورفي للضرب التنسوري ذي الـ 18 مكوناً في البداية 18 متطابقة. ومن خلال العلاقات الكلاسيكية بين دوال "موك ثيتا" (تحديداً المتطابقات التي تربط $\phi, \psi, \nu$ و $\omega$)، يوضح المؤلفون أن هذه الـ 18 متطابقة تختزل إلى خمس علاقات متميزة كما ورد في النظرية A.
• صيغ صريحة: تأخذ المتطابقات شكل حاصل ضرب شكل نمطي (يتضمن منتجات لانهائية مثل $(q;q)_\infty$) في دالة "موك ثيتا" يساوي تركيباً خطياً لشكل نمطي ومجموع مزدوج يتضمن رموز كرونيكر وأسسات تربيعية. على سبيل المثال، تربط المتطابقة (a) بين $(q;q)_\infty^3 \psi(q)$ ومجموع مزدوج يتضمن $\binom{-4}{m}\binom{n}{6}$.
• إثباتات بديلة: توفر الملاحق إثباتات مباشرة لسلاسل $q$ لعدة متطابقات، مما يؤكد النتائج التي تم الحصول عليها عبر طريقة الإسقاط الهولوومورفي الأكثر تجريداً.

الأهمية
تدعي الورقة أهميتها في مجالات محددة:

1. توسيع نطاق الإسقاط الهولوومورفي: إنها توسع نظرية الإسقاط الهولوومورفي لتشمل الحالات التي تكون فيها معادلة بيل الأساسية تمتلك عدداً لانهائياً من الحلول، وهو سيناريو كان يصعب التعامل معه حسابياً سابقاً بسبب تباعد التكاملات وتعقيد مجموعات الحلول.
2. الاكتشاف الآلي: يؤكد المؤلفون أن فائدة صيغ الإسقاط الهولوومورفي تكمن في قدرتها على أن تكون أداة لـ "الاكتشاف والتحقق الآلي" لمثل هذه الصيغ. توفر الطريقة وسيلة منهجية لتوليد متطابقات قد يصعب العثور عليها عبر التلاعب المباشر بسلاسل $q$ وحدها.
3. التوحيد: يعمل العمل على توحيد اشتقاق 18 متطابقة ناشئة من ضرب تنسوري واحد، واختزالها إلى مجموعة أساسية من خمس متطابقات، مما يوضح العلاقات الهيكلية بين متطابقات دوال "موك ثيتا" المختلفة.
4. تأسيس لعمل مستقبلي: يشير المؤلفون إلى أن الأساليب المطورة هنا مصممة لتمتد إلى دوال "موك ثيتا" من الرتبة $p$ ودالة رتبة دايسون (Dyson rank function) بمقياس $p$، مما يفتح مساراً لمزيد من الاستكشاف لـ "حدسيات موك ثيتا"، رغم أن الورقة الحالية تركز حصرياً على حالة الرتبة الثالثة.

تخلص الورقة إلى أنه بينما تكون التفاصيل الحسابية للأشكال النمطية التوافقية ذات القيم المتعددة مرهقة، فإن وضع النظرية 4.2 وما تبعها من اشتقاق النظرية A يوفر إطاراً قوياً لتوليد متطابقات التففاف جديدة في نظرية الدوال النمطية الزائفة (mock modular forms).