For an open-closed homotopy algebra (OCHA), the previous work indicates that there is an open-closed version of Hochschild cohomology with a canonical Gerstenhaber algebra structure. If this OCHA is further cyclic and unital in the sense of Kajiura and Stasheff, we produce a BV algebra structure on this cohomology via a cochain-level identity formulated with cyclic brace operations.
معرّف الورقة : 2511.04095العنوان : علاقة القوس الدوري وبنية BV على تماثل Hochschild المفتوح-المغلقالمؤلف : Hang Yuanالتصنيفات : math.QA hep-th math-ph math.AT math.MPتاريخ النشر : 6 نوفمبر 2025رابط الورقة : https://arxiv.org/abs/2511.04095 بالنسبة للجبر الهوموتوبي المفتوح-المغلق (OCHA)، أظهرت الأعمال السابقة وجود نسخة مفتوحة-مغلقة من تماثل Hochschild مع بنية جبر Gerstenhaber القياسية. إذا كان هذا OCHA دورياً وموحداً بالمعنى الذي قدمه Kajiura و Stasheff، فإن المؤلف يبني بنية جبر BV على هذا التماثل من خلال متطابقات على مستوى السلسلة المصاغة بواسطة عمليات القوس الدوري.
تتمحور المشكلة الأساسية للبحث حول بناء بنية جبر Batalin-Vilkovisky (BV) على تماثل Hochschild للجبر الهوموتوبي المفتوح-المغلق (OCHA). تتجلى أهمية هذه المشكلة في الجوانب التالية:
الأهمية الهندسية : على متشعبات Calabi-Yau، تحمل فضاء متجهات متعددة بنية جبر BV، وهذا يشبه حالة متجهات متعددة على متشعبات ملساء التي تشكل جبر Gerstenhaber.الهندسة غير التبديلية : يرث تماثل Hochschild HH(A,A) كنظير هندسي غير تبديلي لمتجهات متعددة بشكل طبيعي بنية جبر Gerstenhaber.إطار موحد : توجد بنى BV الموجودة في فئات جبرية خاصة أو جبر A∞، مثل الجبر الموحد ذو الضرب الداخلي المتماثل، جبر Calabi-Yau، وغيرها.أسس Tradler بنية BV للجبر الترابطي الموحد أو جبر A∞ ذي الضرب الداخلي المتماثل أثبت Ginzburg أن تماثل Hochschild لجبر Calabi-Yau يحمل بنية BV تقتصر هذه النتائج بشكل أساسي على البنى الجبرية الكلاسيكية، وتفتقر إلى معالجة البنى الأكثر عمومية التي تظهر في نظرية الأوتار المفتوحة-المغلقة ينبع دافع البحث لدى المؤلف من:
نظرية حقل الأوتار المفتوحة-المغلقة : ينشأ OCHA من نظرية حقل الأوتار المفتوحة-المغلقة لـ Zwiebach، مما يتطلب نظرية بنية جبرية مناسبةبناء SYZ غير الأرخميدي : يتعلق عمل المؤلف في Yua20 بعائلات جبر A∞ المرتبطة بالتليفات اللاغرانجيةنظرية موحدة : البحث عن إطار موحد لفهم وجود بنى BV المختلفةعمليات القوس الدوري : إدخال عمليات القوس الدوري من الدرجة الأولى والثانية، مما يعمم مؤثر BV والقوس العاديعلاقات القوس الدوري : إنشاء علاقات القوس الدوري (النظرية 1.6)، وهي الأساس على مستوى السلسلة لبنية BVالنظرية الرئيسية : إثبات أن تماثل Hochschild المفتوح-المغلق المعياري للجبر OCHA الموحد الدوري يحمل بنية جبر BV معيارية (النظرية 1.1)متطابقات على مستوى السلسلة : توفير متطابقات صريحة على مستوى السلسلة لعلاقات BV (1.3)، وهي جديدة في الأدبياتبالنظر إلى جبر هوموتوبي مفتوح-مغلق موحد دوري (Z,A,l,q)، الهدف هو بناء بنية جبر BV على تماثل Hochschild المفتوح-المغلق المعياري HH(Z;A,A).
OCHA هو رباعي (Z,A,l,q) حيث:
(Z,l) هو جبر L∞، l ∈ C̃•(Z,Z) q = {qℓ,k} عنصر في C•,•(Z;A,A) يحقق شروط التوافقية: q{q} = l̂(q) الشرط الدوري : بالنسبة لتطبيق ثنائي خطي غير متحلل ω: A⊗A → k، العنصر q هو ω-دوريالشرط الموحد : يوجد عنصر موحد 1 ∈ A بحيث q₀,₂(1,a) = a وغيرهاالقوس الدوري من الدرجة الأولى (التعريف 3.2):
بالنسبة لـ D,E₁,...,Eₘ ∈ C•,•(Z;A,A)، يُعرّف D{E₁,...,Eₘ,Δ} بواسطة:
ω(D{E₁,...,Eₘ,Δ}(z[ℓ];a[k]), a₀) =
Σ(-1)* ω(D(zL₀; ar+1,...,E₁(zL₁;...),...,Eₘ(zLₘ;...),...,ak,a₀,a₁,...,ar), 1)
القوس الدوري من الدرجة الثانية (التعريف 3.5):
يتعامل مع حالات الأقواس المتداخلة، مثل D{E₁,...,Eᵢ{F₁,...,Fⱼ,♢,...,Fₙ},...,Eₘ}
تؤسس النظرية 1.6 فئتين من علاقات القوس الدوري:
(i) النوع الأول :
D{E₁,...,Eₘ}{F₁,...,Fₙ,Δ} =
Σ D{F₁,...,Eᵢ{Fᵢ₊₁,...,Fⱼ},...,Fₙ,Δ,Eᵢ₊₁,...,Eₘ} +
Σ D{F₁,...,Eᵢ{Fᵢ₊₁,...,Fₙ,♢},Eᵢ₊₁,...,Eₘ}
(ii) النوع الثاني :
D{E₁,...,Eₘ,Δ}{F₁,...,Fₙ} =
Σ D{Fr+1,...,E₁{...},...,Eₘ{...},...,Fₙ,Δ,F₁,...,Fr}
تثبت القضية 4.6 ما يلي:
Δ² = 0 δ ∘ Δ = Δ ∘ δ (التبادل مع التفاضل) تؤسس النظرية 4.7 المتطابقة الرئيسية:
[D,E] = Δ(q{D,E}) + q{ΔD,E} - (-1)^|D||E|q{ΔE,D}
+ δ(D{E,Δ}) - (-1)^|D||E|δ(E{D,Δ})
+ (δD){E,Δ} - (-1)^|D||E|(δE){D,Δ}
+ (-1)^|D|(D{δE,Δ} - (-1)^|D||E|E{δD,Δ})
لضمان أن مربع مؤثر BV يساوي صفراً، يستخدم المؤلف تماثل Hochschild المعياري:
تحقق السلسلة المعيارية D: عندما يكون هناك عنصر موحد 1 في المدخلات، D = 0 تثبت القضية 4.3 أن الفضاء الجزئي المعياري مغلق تحت التفاضل δ تظهر القضية 3.6 أن الخاصية الدورية تسمح بالتبادل بين أقواس دورية من الدرجة الأولى والثانية:
F{D{E₁,...,Eₘ,Δ,Eₘ₊₁,...,Eₙ}} = ±D{E₁,...,Eₘ,F{♢},Eₘ₊₁,...,Eₙ}
هذه خاصية التبادل حاسمة لإنشاء بنية BV.
يتم إكماله من خلال الخطوات التالية:
بنية Gerstenhaber : استخدام عملية القوس لإنشاء الضرب الكأسي ⌣ وقوس Gerstenhaber , مؤثر BV : تعريف مؤثر BV Δ من خلال الخاصية الدوريةعلاقات BV : استخدام متطابقات على مستوى السلسلة من النظرية 4.7 للتحقق من علاقات BVالتوافقية : إثبات أن جميع البنى متوافقة على الفضاء الجزئي المعياريكحالة خاصة، تسترجع النتائج المعروفة لجبر A∞ الموحد الدوري: تماثل Hochschild المعياري هو جبر BV.
Gerstenhaber (1963) : إنشاء بنية جبر Gerstenhaber لتماثل HochschildTradler (2008) : بنية BV للجبر المتماثلGinzburg (2006) : بنية BV لجبر Calabi-YauKajiura-Stasheff (2006) : إدخال مفهوم OCHAإطار موحد : توحيد بنى BV المعروفة المختلفة تحت إطار OCHAبناء صريح : توفير بناء صريح على مستوى السلسلة لبنية BVأدوات تقنية : توفير عمليات القوس الدوري كأداة تقنية جديدة لدراسة بنى BVطوبولوجيا الأوتار : الارتباط مع نموذج سلسلة de Rham لطوبولوجيا الأوتار لـ Irieالتماثل المرآتي : التطبيقات في بناء SYZ غير الأرخميديبنى Calabi-Yau : توفير أساس نظري لجبر A∞ من نوع Calabi-Yauجبر Frobenius : التعميم على بنى جبرية أكثر عموميةالمؤثرات التفاضلية : الارتباط مع الهندسة التفاضلية غير التبديليةتعميم ناجح لبنية جبر BV على تماثل Hochschild للجبر الهوموتوبي المفتوح-المغلق إنشاء نظرية كاملة لعمليات القوس الدوري توفير معايير موحدة لوجود بنية BV شرط التعيير : الحاجة للعمل في التماثل المعياري لضمان Δ² = 0الشرط الدوري : يتطلب أن يحقق OCHA الشرط الدوري، وقد يكون هذا قوياً جداً في بعض التطبيقاتالتعقيد التقني : الحسابات الرمزية معقدة نسبياً، خاصة للأقواس الدورية من الدرجات العلياتعميم Calabi-Yau : تعميم الشرط الدوري إلى شروط Calabi-Yau أكثر عموميةالتعميم متعدد الأبعاد : دراسة بنى BV لـ OCHA متعدد الأبعادالتحقق الهندسي : تحقيق هذه البنى الجبرية في حالات هندسية محددةالعمق النظري : إنشاء نظرية كاملة لعمليات القوس الدوري توفر أساساً متيناً لبنية BVالابتكار التقني : عمليات القوس الدوري هي أداة جديدة للتعامل مع بنى BVالموحدية : توحيد نتائج معروفة متعددة تحت إطار واحدالصراحة : توفير بناء صريح وصيغ حسابية محددة على مستوى السلسلةسهولة القراءة : التفاصيل التقنية كثيرة والرموز ثقيلة، مما قد يؤثر على الفهمأمثلة التطبيق : نقص الأمثلة الهندسية أو الفيزيائية المحددةتعقيد الحساب : قد يكون حساب الأقواس الدورية من الدرجات العليا معقداً جداًالمساهمة النظرية : توفير أدوات جديدة للطوبولوجيا الجبرية والهندسة غير التبديليةالإمكانيات التطبيقية : آفاق تطبيق مهمة في نظرية الأوتار والتماثل المرآتيالمنهجية : قد تكون طريقة القوس الدوري مفيدة في دراسة بنى جبرية أخرىنظرية حقل الأوتار : الوصف الجبري للتفاعلات بين الأوتار المفتوحة والمغلقةالهندسة غير التبديلية : دراسة بنية BV لتماثل Hochschildالتماثل المرآتي : نماذج جبرية لمتشعبات Calabi-Yauتستشهد الورقة بالأدبيات المهمة في هذا المجال، بما في ذلك الأعمال الكلاسيكية لـ Gerstenhaber و Tradler و Ginzburg و Kajiura-Stasheff، بالإضافة إلى الأبحاث السابقة للمؤلف في المجالات ذات الصلة.