Differential Models for the Anderson Dual to Twisted $\mathrm{Spin}^c$-Bordism and a Twisted Anomaly Map

ملخص تقني: النماذج التفاضلية لثنائية أندرسون لـ $\text{Spin}^c$-bordism الملتوية وخريطة شذوذ ملتوية

بيان المشكلة
يتناول البحث بناء نماذج دورية (دورة/تكامل) تفاضلية ملموسة لـ $\text{Spin}^c$-bordism الملتوية وثنائية أندرسون الخاصة بها، وتحديداً في وجود التواءات من الدرجة الثالثة. وبينما تم إثبات الارتباط الطوبولوجي بين نظريات المجال القابلة للعكس (invertible field theories) وثنائية أندرسون لأطياف الـ bordism (بواسطة Freed–Hopkins)، وهناك فرضية تربط بين النظريات الحقلية فائقة التناظر (supersymmetric field theories) والكوهمولوجيا المعممة (بواسطة Stolz–Teichner)، إلا أن التحقيق الهندسي التفاضلي لهذه البنى في السياق الملتوي لا يزال غير مكتمل. وتحديداً، يهدف المؤلفون إلى بناء "خريطة شذوذ ملتوية" (twisted anomaly map) تعين لنظرية حقلية فائقة التناظر ملتوية نظرية حقلية قابلة للعكس ملتوية محددة معيارياً تمثل الشذوذ الخاص بها. يتطلب هذا الأمر صقل النظريات الطوبولوجية ببيانات تفاضلية (اتصالات، انحناءات، و $\eta$-invariants) وصياغتها بلغة متوافقة مع الـ bundle gerbes ومعاملات ديراك (Dirac operators).

المنهجية
يستخدم المؤلفون نهجاً متعدد المراحل يجمع بين الكوهمولوجيا التفاضلية البديهية، ونماذج الدورات الهندسية، وبناءات الـ gerbe-theoretic:

1. الإطار البديهي: بالبناء على صيغة التمديد التفاضلي لـ Bunke–Schick و Yamashita–Yonekura، يعرّف المؤلفون أولاً التمديدات التفاضلية لنظريات (الكوهمولوجيا/الهومولوجيا) الملتوية ذات الالتواءات من الدرجة الثالثة. ويتضمن ذلك تحديد دالة متغيرة (للهومولوجيا) أو متغيرة عكسية (للكوهمولوجيا)، ومعقد de Rham مشوه بانحناء الالتواء، وتحويلات طبيعية تربط النظرية التفاضلية بالنظرية الطوبولوجية وأشكال الانحناء.
2. بنى $\text{Spin}^c$ التفاضلية الملتوية: يقدم المؤلفون تنعيماً تفاضلياً لبنى Wang لـ $\text{Spin}^c$ الملتوية طوبولوجياً. حيث يتم تنعيم الالتواء الطوبولوجي $\tau: X \to B^2U(1)$ إلى التواء تفاضلي $\hat{\tau}: X \to B^2_{\text{conn}}U(1)$. وتُعرّف بنية $\text{Spin}^c$ التفاضلية $\hat{\tau}$-الملتوية على حزمة متجهية $E$ كـ 1-simplex في الـ simplicial presheaf $B^2_{\nabla}U(1)$ الذي يربط بين التنعيم التفاضلي لـ $W_3^\nabla$ (ثالث فئة ستيفيل-وايندلي التكاملية) وسحب الالتواء. وتنتج هذه البنية شكلاً 2-form عالمياً معيارياً $\kappa(\hat{\eta})$ على المتنوع (manifold).
3. النماذج التفاضلية عبر التيارات (Currents):
   • الهومولوجيا: يتم نمذجة مجموعة $\widehat{\Omega}^{\text{Spin}^c}_*(X, \hat{\tau})$ التفاضلية الملتوية عبر خماسيات $(M, f, f^\nabla_{TM}, \hat{\eta}, \phi)$، حيث $(M, f, f^\nabla_{TM}, \hat{\eta})$ هو سلسلة هندسية و $\phi$ هو de Rham current modulo صورة مؤثر حدودي ملتوي $\partial_H = \partial + H \wedge (u \times -)$.
   • الكوهمولوجيا (ثنائية أندرسون): يتم نمذجة الثنائية الأندرسونية التفاضلية $(\widehat{I\Omega^{\text{Spin}^c}_{\text{dR}}})^*(X, \hat{\tau})$ عبر أزواج $(\omega, h)$، حيث $\omega$ هو شكل تفاضلي مغلق بالنسبة لـ $D_H$ (حيث $D_H = d + H \wedge \partial_\zeta$)، و $h$ هو دالة (functional) على دورات الـ bordism تحقق شرط توافق يتضمن الاقتران بين الأشكال والتيارات.
4. إعادة الصياغة عبر الـ Gerbe Theory: لتسهيل بناء خريطة الشذوذ، يعيد المؤلفون صياغة النماذج التفاضلية باستخدام bundle gerbes مع اتصال (connection) وانحناء (curving) ($\hat{G}$) ونماذج الـ gerbe modules. ويقيمون تكافؤاً بين الالتواء التفاضلي $\hat{\tau}$ و bundle gerbe $\hat{G}$. كما يُعاد تعريف بنى $\text{Spin}^c$ التفاضلية الملتوية كأزواج $(\nabla S_c, \Psi)$، حيث $S_c$ هو gerbe module و $\Psi$ هو تماثل يحافظ على الاتصال بين حزمة algebra Clifford الزوجية وحزمة الـ endomorphism لـ $S_c$.
5. بناء خريطة الشذوذ: يتم بناء خريطة الشذوذ الملتوية $\widehat{\Phi}_{\hat{G}}: \widehat{K}^0(X, \hat{G}^{-1}) \to (\widehat{I\Omega^{\text{Spin}^c}_{\text{dR}}})^{2k}(X, \hat{G})$ عن طريق رسم خريطة من فئة في الـ twisted K-theory (تمثلها super $U_{\text{tr}}$-gerbe module) إلى زوج $(\omega_x, h_x)$.
   • يتم اشتقاق مكون الانحناء $\omega_x$ من الـ twisted Chern character لفئة الـ K-theory.
   • يتم تعريف المكون الدالي (functional component) $h_x$ باستخدام الـ reduced eta-invariant لمؤثرات ديراك المرتبطة بـ gerbe module الملتوي ببيانات الـ K-theory، مضافاً إليها حد Chern–Simons. وقد تم إثبات ثبات هذه الدالة تحت الـ bordism باستخدام نظرية Atiyah–Patodi–Singer index.

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

• النماذج التفاضلية: يقدم البحث نماذج دورية صريحة لـ $\text{Spin}^c$-bordism الملتوية التفاضلية وثنائية أندرسون الخاصة بها، موسعاً عمل Yamashita–Yonekura إلى السياق الملتوي. وتلبي هذه النماذج المتطلبات البديهية للتمديدات التفاضلية (متتاليات دقيقة تربط البيانات الطوبولوجية والتفاضلية والانحناء).
• التكافؤ عبر الـ Gerbe Theory: يثبت المؤلفون أن نماذج الدورات القائمة على التيارات ونماذج الـ gerbe-modules لـ $\text{Spin}^c$-bordism الملتوية التفاضلية وثنائية أندرسون الخاصة بها متكافئة معيارياً. وهذا يجسّر الفجوة بين الكوهمولوجيا التفاضلية المجردة والأشياء الهندسية (spinor bundles, Dirac operators) المستخدمة في الفيزياء.
• خريطة الشذوذ الملتوية: النتيجة المركزية هي بناء الخريطة $\widehat{\Phi}_{\hat{G}}$. تعين هذه الخريطة فئة من الـ differential twisted K-theory (التي تُفسر كنظرية مجال فائقة التناظر ملتوية 1|1-dimensional) عنصراً في الثنائية الأندرسونية التفاضلية لـ $\text{Spin}^c$-bordism (التي تُفسر كشذوذ). البناء هندسي، ويعتمد على الـ reduced eta-invariants ونظرية Atiyah–Patodi–Singer.
• العمليات: يحدد البحث عمليات الضرب والدفع (pushforward) التفاضلية لثنائية أندرسون الملتوية، مما يعمم النتائج السابقة للنظريات غير الملتوية.

الأهمية
يزعم البحث أهميته في توفير إطار هندسي صارم لـ "خريطة الشذوذ الملتوية" المتوقعة في برنامج Stolz–Teichner ووصف Freed–Hopkins للنظريات الحقلية القابلة للعكس. ومن خلال بناء نماذج دورية ملموسة، يُمكّن المؤلفون من الحساب الصريح لشذوذ النظريات الحقلية فائقة التناظر الملتوية. إن استخدام الـ bundle gerbes و gerbe modules يسمح للنظرية بالتعامل مع الالتواءات غير التورشنية (non-torsion twists)، مما يوسع النماذج السابقة التي كانت مقتصرة على حالات التورشن. يعمل هذا العمل كأساس تقني لفهم العلاقة بين نظريات الكوهمولوجيا المعممة والنظريات الحقلية الكمية في وجود التواءات خلفية، وتحديداً ربط النظريات فائقة التناظر 1|1-dimensional بثنائية أندرسون لـ $\text{Spin}^c$-bordism.