DOI: https://doi.org/10.1007/jhep09(2025)004
تاريخ النشر: 2025-09-01
المؤلف: Lorenzo Ruggeri
الموضوع الرئيسي: الهندسة والتشعبات المعقدة
نظرة عامة
في هذا القسم، يقوم المؤلفون بالتحقيق في دالة التقسيم لنظرية $N=1$ التي تتكون من مضاعفات متجهة ومضاعفات هايبر على مانيفولدات ساساكيان توركية ذات خمسة أبعاد، وتحديداً $Y_{p,q}$. من خلال البدء من إطار نظري يعتمد على $S^3 \times S^3$ وإجراء تقليل الأبعاد، يقومون بحساب دالة التقسيم الكاملة، التي تتضمن مساهمات من كل من التدفق والانستون. هذه العملية تؤدي إلى دالة تقسيم لنظريات شبيهة بنظرية بيستون المعرفة على مانيفولدات تتميز بالطوبولوجيا $S^2 \times S^2$.
علاوة على ذلك، يقوم المؤلفون بتوسيع تحليلهم من خلال النظر في تغطيات متفرعة لـ $S^3 \times S^3$، مما يؤدي إلى نظرية على $Y_{p,q}$ مع عيوب التواء من البعد الثاني. يستفيدون من معادلة مقترحة مع دوال التقسيم على المساحات التي تظهر فيها تفردات أوربفولد، مما يؤدي في النهاية إلى اشتقاق دالة التقسيم لنظرية $N=2$ على حاصل ضرب أسطوانتين. تسهم هذه الدراسة في فهم دوال التقسيم في نظريات القياس ذات الأبعاد العليا وتفسيراتها الهندسية.
مقدمة
تناقش مقدمة هذه الورقة البحثية استكشاف نظريات الحقل الكمومي الفائقة التناظر (SQFTs) على خلفيات هندسية غير تافهة، مع التركيز بشكل خاص على الهندسات الساساكيان التوركية ذات الأبعاد الخمسة. هذه الهندسات مهمة بسبب صلتها في تطابق AdS/CFT، وصلاتها بالخيوط الطوبولوجية المكررة، وفائدتها في حساب دوال التقسيم لنظريات الأبعاد الأربعة من خلال تقليل الأبعاد. لقد قامت الدراسات السابقة بحساب دالة التقسيم لنظرية $N=1$ SQFT على الكرة ذات الخمسة أبعاد $S^5$ ووسعت هذه النتائج إلى مانيفولدات متكافئة طوبولوجياً لـ $S^2 \times S^3$، مثل $Y_{p,q}$ و$L_{a,b,c}$.
تسلط الورقة الضوء على أنه بينما اعتبرت النتائج السابقة بشكل أساسي اتصالات تافهة أو انستونات تلامسية، فإن وجود دورات ثنائية غير تافهة في بعض المانيفولدات يتطلب تضمين تكوينات قياس مع التدفق. هذا مهم بشكل خاص للمانيفولدات $Y_{p,q}$ و$L_{a,b,c}$، حيث تشير مجموعة التغاير الثانية $H^2(S^2 \times S^3, \mathbb{Z}) \cong \mathbb{Z}$ إلى إمكانية وجود مثل هذه التكوينات. إحدى المساهمات الرئيسية لهذا العمل هي حساب هذه المساهمات التدفقية لدالة التقسيم، مما يوفر في النهاية التكامل الكامل لدالة التقسيم لمضاعف متجه $N=1$ مرتبط بمضاعف هايبر في تمثيل $R$ لمجموعة القياس على كل من $Y_{p,q}$ و$L_{a,b,c}$.
نقاش
في هذا القسم، يقوم المؤلفون بالتحقيق في محدد الحلقة الواحدة حول تكوينات التدفق في سياق نظريات الفائقة التناظر N = (1, 0) على المانيفولدات $Y_{p,q}$ و$L_{a,b,c}$. يستخدمون نهج تقليل الأبعاد، الانتقال من نظرية ذات ستة أبعاد على $S^3 \times S^3$ إلى نظرية ذات أربعة أبعاد على المانيفولد الأساسي $B$، وهو مانيفولد شبه توركي مع طوبولوجيا $S^2 \times S^2$. يؤكد المؤلفون أن حساب محدد الحلقة الواحدة يبسط بسبب غياب دورات ثنائية غير تافهة في النظرية ذات الستة أبعاد، مما يسمح بتحليل أوضح للمساهمات من قطاعات التدفق المختلفة.
تشير النتائج إلى أن محدد الحلقة الواحدة يمكن التعبير عنه من حيث المساهمات من الألياف الثابتة تحت تأثير عمل التوروس، مع عمل التدفقات كتحولات في معلمات فرع كولومب. يتماشى هذا السلوك مع النتائج السابقة في الأدبيات بشأن اعتماد مساهمات الانستون على التدفقات. يقترح المؤلفون دالة تقسيم كاملة تتضمن انستونات تلامسية وانستونات على المانيفولد الأساسي، مما يبرز أهمية نتائجهم لدراسة نظريات الحقل الكمومي الفائقة التناظر (SQFTs) على المساحات ذات التفردات الأوربفولد. كما يحددون هيكل أقسامهم اللاحقة، التي ستتناول الخصائص الهندسية للمانيفولدات، وحساب دوال التقسيم، والآثار على النظريات ذات العيوب الالتوائية.
DOI: https://doi.org/10.1007/jhep09(2025)004
Publication Date: 2025-09-01
Author(s): Lorenzo Ruggeri
Primary Topic: Geometry and complex manifolds
Overview
In this section, the authors investigate the partition function of an $N=1$ theory comprising vector multiplets and hypermultiplets on five-dimensional toric Sasakian manifolds, specifically $Y_{p,q}$. By starting from a theoretical framework based on $S^3 \times S^3$ and performing dimensional reduction, they compute the complete partition function, which incorporates contributions from both flux and instantons. This process yields a partition function for Pestun-like theories defined on manifolds characterized by the topology $S^2 \times S^2$.
Furthermore, the authors extend their analysis by considering branched covers of $S^3 \times S^3$, leading to a theory on $Y_{p,q}$ with codimension two twist defects. They leverage a proposed equivalence with partition functions on spaces exhibiting orbifold singularities, ultimately deriving the partition function for an $N=2$ theory on the product of two spindles. This work contributes to the understanding of partition functions in higher-dimensional gauge theories and their geometric interpretations.
Introduction
The introduction of this research paper discusses the exploration of supersymmetric quantum field theories (SQFTs) on non-trivial geometric backgrounds, particularly focusing on five-dimensional toric Sasakian geometries. These geometries are significant due to their relevance in the AdS/CFT correspondence, their connections to refined topological strings, and their utility in computing the partition functions of four-dimensional theories through dimensional reduction. Previous studies have computed the partition function of an $N=1$ SQFT on the five-sphere $S^5$ and extended these findings to manifolds topologically equivalent to $S^2 \times S^3$, such as $Y_{p,q}$ and $L_{a,b,c}$.
The paper highlights that while earlier results primarily considered trivial connections or contact instantons, the presence of non-trivial two-cycles in certain manifolds necessitates the inclusion of gauge configurations with flux. This is particularly relevant for the manifolds $Y_{p,q}$ and $L_{a,b,c}$, where the second cohomology group $H^2(S^2 \times S^3, \mathbb{Z}) \cong \mathbb{Z}$ indicates the potential for such configurations. A key contribution of this work is the computation of these flux contributions to the partition function, ultimately providing the complete integrand of the partition function for an $N=1$ vector multiplet coupled to a hypermultiplet in a representation $R$ of the gauge group on both $Y_{p,q}$ and $L_{a,b,c}$.
Discussion
In this section, the authors investigate the one-loop determinant around flux configurations in the context of N = (1, 0) supersymmetric theories on the manifolds $Y_{p,q}$ and $L_{a,b,c}$. They utilize a dimensional reduction approach, transitioning from a six-dimensional theory on $S^3 \times S^3$ to a four-dimensional theory on the base manifold $B$, which is a quasi-toric manifold with the topology of $S^2 \times S^2$. The authors emphasize that the computation of the one-loop determinant simplifies due to the absence of non-trivial two-cycles in the six-dimensional theory, allowing for a clearer analysis of contributions from different flux sectors.
The results indicate that the one-loop determinant can be expressed in terms of contributions from fixed fibers under the torus action, with the fluxes acting as shifts in the Coulomb branch parameters. This behavior aligns with previous findings in the literature regarding the dependence of instanton contributions on fluxes. The authors propose a full partition function that incorporates contact instantons and instantons on the base manifold, highlighting the relevance of their findings to the study of supersymmetric quantum field theories (SQFTs) on spaces with orbifold singularities. They also outline the structure of their subsequent sections, which will delve into the geometric properties of the manifolds, the computation of partition functions, and the implications for theories with twist defects.