Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles

ملخص تقني: صيغ بلانشيريل وجمع بواسون لعائلة من حزم $\Psi$-الألفية (Affine $\Psi$-Bundles)

المشكلة والإطار
تتناول هذه الورقة فرضية جمع بواسون (Poisson summation conjecture) لفئة معينة من الفضاءات المنفردة (singular spaces) الناشئة في سياق دالات $L$ للمنتج الثلاثي (triple product $L$-functions). هذه الفرضية، التي وضعها برافرمان وكازدان (Braverman and Kazhdan) ونقحها نغو وساكيلاريديس (Ngô and Sakellaridis)، تفترض وجود فضاء شورت (Schwartz space)، وتحويل فورييه يحقق التكافؤ الملتوي (twisted equivariance)، وصيغة جمع بواسون للفضاءات الكروية (spherical varieties).

يركز المؤلفون على عائلة من حزم $\Psi$-الألفية فوق فضاء كروي محدد. ليكن $F$ حقلاً عددياً و $r \geq 3$. الكائن الهندسي الأساسي هو الفضاء $X^\circ_r = N \backslash GL_r$، حيث $N$ هو الجذر غير المتبدل (unipotent radical) لمجموعة بارامترية قياسية. هذا الفضاء يقترن بفضاء $M^\circ$ للمصفوفات ذات الرتبة 1 في $M_{r-2,2}$. يدرس المؤلفون حاصل الضرب $X^\circ = X^\circ_r \times M^\circ$ وحزم $\Psi$-الألفية (Hermitian line bundles $H$) فوق الألياف $X^\circ_\ell$ للنقاط $\ell \in \mathbb{P}^1(F)$. في هذه الألياف، يدرسون الحزم التي تحقق قانون تحويل معين يتضمن ميزة (character) $\psi$ وازدواجاً (pairing) على مكونات المصفوفة.

الدافع الرئيسي لهذا الاختيار المحدد للفضاء هو تطبيقه في التمثيل التكاملي لدالات $L$ للمنتج الثلاثي كما تم استكشافه في ورقة مرافقة للمؤلفين وليسلي [GGHL25]. في ذلك السياق، يتطلب إثبات الامتداد التحليلي لهذه الدالات وجود زوج من صيغ جمع بواسون: واحدة لفضاء متجهي (معروفة) وأخرى للفضاء المنفرد $X^\circ_\ell$ المدروس هنا.

المنهجية
يستخدم المؤلفون طريقة طيفية (spectral method)، مستفيدين من الخصائص المعروفة للتمثيلات الأوتومورفية ودالات $L$. وتتضمن الاستراتيجية التقنية الجوهرية الخطوات التالية:

1. التحليل التوافقي المحلي: يثبت المؤلفون أولاً صيغة بلانشيريل لفضاء هاريش-تشاندر (Harish-Chandra space) $C(X^\circ_\ell(F_v), H)$ عند موضع محلي $v$. ويتضمن ذلك تعريف الفضاء، وبناء تكاملات زيتا المحلية، وربطها بنماذج ويت (Whittaker models) لتمثيلات $GL_{r,r-2}$.
2. تكاملات زيتا والحدود: يُخصص جزء كبير من العمل لإثبات التقارب المطلق ووضع حدود دقيقة لتكاملات زيتا المحلية $Z(f, W, \chi)$. هذه التكاملات معرفة باستخدام بنية حزمة $\Psi$-الألفية ودوال ويت. يثبت المؤلفون أن هذه التكاملات تتقارب للدوال ذات التناقص السريع، ويثبتون الامتداد الميرومورفي (meromorphic continuation) لها.
3. مبرهنة بلانشيريل المصفوفية: من خلال الجمع بين صيغة بلانشيريل المحلية لـ $GL_{r,r-2}$ وبنية تكاملات زيتا، يستنتج المؤلفون مبرهنة بلانشيريل "مصفوفية" لفضاء $X^\circ_\ell(F_v)$. توفر هذه المبرهنة تماثلاً طوبولوجياً بين فضاء هاريش-تشاندر للحزمة وفضاء من المقاطع (sections) فوق الطيف المعتدل (tempered spectrum) لـ $GL_{r,r-2}$.
4. بناء تحويل فورييه: باستخدام التماثل الطيفي (Plancherel isomorphism)، يعرّف المؤلفون تحويلاً فورياً محلياً. يتم بناء هذا التحويل عبر وصف صورته تحت خريطة بلانشيريل بدلالة عوامل $\gamma$ المرتبطة بدالات $L$ ذات الصلة.
5. فضاءات شورت التقاربية: يعرّف المؤلفون فضاء شورت تقاربي $Sas(X_\ell(F_v), H)$ متكيف مع هندسة الفضاء. ويثبتون أن الدالة الأساسية (basic function) - وهي دالة اختبار محددة تُعرف عبر الدوال المميزة للمجموعات الجزئية المتراصة - تنتمي إلى هذا الفضاء وتتناقص بسرعة بمعدل $\Xi$.
6. الطي العالمي (Global Unfolding): لإثبات صيغة جمع بواسون العالمية، يقوم المؤلفون بـ "طي" (unfold) تكامل زيتا عالمي يتضمن شكلاً كاسبياً (cusp form) ودالة شورت. يستخدمون التفكك الطيفي للنواة الأوتومورفية والمعادلات الوظيفية لتكاملات زيتا المحلية (المستمدة من تحويل فورييه المحلي) لربط المجموع فوق النقاط العقلانية بالمجموع فوق تحويل فورييه.

المساهمات والنتائج الرئيسية

• صيغة بلانشيريل لحزم $\Psi$-الألفية: تثبت الورقة صيغة بلانشيريل لفضاء هاريش-تشاندر لمجموعة من حزم $\Psi$-الألفية فوق فضاءات كروية منفردة (Theorem 1.1, Theorem 8.6). ويعد هذا أمراً لافتاً لأن التفكك البلانشيري يتضمن تمثيلات قابلة للقبول (admissible representations) ذات رتب عالية جداً ($GL_{r,r-2}$)، مما يميزها عن النتائج السابقة على الفضاءات الكروية التي غالباً ما تتضمن مجموعات ذات رتب أقل أو مونويدات (monoids) محددة.
• بناء تحويلات فورييه: يبني المؤلفون تحويلات فورييه محلية وعالمية لهذه الفضاءات (Theorem 9.2, Theorem 10.2). وتُظهر هذه التحويلات أنها تماثلات طوبولوجية على فضاءات شورت التقاربية.
• صيغة جمع بواسون: تحت افتراضات مناسبة (A1 و A2) تتعلق بالصورة الكاسبية والتناقص السريع لدوال الاختبار، يثبت المؤلفون صيغة جمع بواسون:
  $$\sum_{x \in X^\circ_\ell(F)} f(x) = \sum_{x \in X^\circ_\ell(F)} \mathcal{F}(f)(x)$$
  (Theorem 1.2, Theorem 12.7).
• التقديرات التقنية: تقدم الورقة حدوداً صارمة لدوال ويت وتكاملات زيتا في كل من الأوضاع الأرشيميدية وغير الأرشيميدية، بما في ذلك تقديرات للتمثيلات غير المعتدلة (non-tempered representations) وسلوك الدالة الأساسية.

الأهمية والادعاءات
يزعم المؤلفون أن هذا العمل يمثل أول حالة لفرضية جمع بواسون التي تم إثباتها للفضاءات المنفردة التي يتضمن تفككها البلانشيري تمثيلات قابلة للقبول ذات رتب عالية جداً.

تذكر الورقة صراحة أن التقنية المتمثلة في الانتقال ذهاباً وإياباً بين البيانات الطيفية والهندسية لاستنتاج النتائج حول البيانات الطيفية هي تقنية منتشرة في نظرية التمثيلات الأوتومورية. في هذا الإعداد المحدد، يستخدم المؤلفون الخصائص المعروفة لدالات $L$ (تحديداً امتدادها التحليلي ومعادلاتها الوظيفية) لاستنتاج صيغة جمع بواسون. ويشيرون إلى أن هذا النهج فيه نوع من "الدائرية" (circularity) بمعنى أن جمع بواسون يُستخدم غالباً لإثبات خصائص دالات $L$، لكنهم يجادلون بأن التقنية صالحة وضرورية لتطبيقهم المقصود في [GGHL25].

يقر المؤلفون بأنهم لا يعرفون كيفية بناء تحويل فورييه أو إثبات صيغة جمع بواسون دون استخدام صيغة بلانشيريل والطريقة الطيفية. كما يشيرون إلى أنه بينما يفترضون أن دوال الاختبار تحقق شروطاً قوية (A1 و A2) لتبسيط الإثبات، إلا أنهم يعتقدون أن العديد من الدوال في فضاء شورت تحقق شرط التناقص السريع (A2)، وإن كان وضع مبرهنة "بالي-واير" (Paley-Wiener) كاملة للمدار المفتوح (open orbit) يظل هدفاً مستقبلياً.

باختصار، توفر الورقة إطاراً تحليلياً توافقياً صارماً لفئة معينة من الفضاءات المنفردة، مما يؤسس لأدوات بلانشيريل وجمع بواسون اللازمة لتقدم دراسة دالات $L$ للمنتج الثلاثي عبر طريقة الحزمة الليفية (fiber bundle method).