We present a family of conjectural relations in the tautological cohomology of the moduli spaces of stable algebraic curves of genus $g$ with $n$ marked points. A large part of these relations has a surprisingly simple form: the tautological classes involved in the relations are given by stable graphs that are trees and that are decorated only by powers of the psi-classes at half-edges. We show that the proposed conjectural relations imply certain fundamental properties of the Dubrovin-Zhang (DZ) and the double ramification (DR) hierarchies associated to F-cohomological field theories. Our relations naturally extend a similar system of conjectural relations, which were proposed in an earlier work of the first author together with Guéré and Rossi and which are responsible for the normal Miura equivalence of the DZ and the DR hierarchy associated to an arbitrary cohomological field theory. Finally, we prove all the above mentioned relations in the case $n=1$ and arbitrary $g$ using a variation of the method from a paper by Liu and Pandharipande, this can be of independent interest. In particular, this proves the main conjecture from our previous joined work together with Hernández Iglesias. We also prove all the above mentioned relations in the case $g=0$ and arbitrary $n$.
- पेपर ID: 2210.07552
- शीर्षक: Tautological relations and integrable systems
- लेखक: Alexandr Buryak, Sergey Shadrin
- वर्गीकरण: math.AG math-ph math.MP
- प्रकाशन समय/सम्मेलन: Épijournal de Géométrie Algébrique, खंड 8 (2024), लेख संख्या 12
- पेपर लिंक: https://arxiv.org/abs/2210.07552
यह पेपर स्थिर बीजगणितीय वक्रों के मॉड्यूली स्पेस Mg,n के तनुवाक्यात्मक सहसमरूपता में संबंधों के एक परिवार के बारे में अनुमान प्रस्तुत करता है। इन संबंधों का एक बड़ा हिस्सा आश्चर्यजनक रूप से सरल रूप रखता है: शामिल तनुवाक्यात्मक वर्ग स्थिर ग्राफ द्वारा दिए जाते हैं, जो वृक्ष हैं, और केवल अर्ध-किनारों पर psi वर्गों की शक्तियों से सजाए जाते हैं। लेखकों ने सिद्ध किया है कि प्रस्तावित अनुमानित संबंध F-सहसमरूपता क्षेत्र सिद्धांत से संबंधित Dubrovin-Zhang (DZ) पदानुक्रम और द्विशाखा (DR) पदानुक्रम के कुछ मौलिक गुणों को निहित करते हैं। ये संबंध स्वाभाविक रूप से समान अनुमानित संबंधों की एक प्रणाली को विस्तारित करते हैं, जो पहले लेखक द्वारा Guéré और Rossi के साथ पूर्व कार्य में प्रस्तुत की गई थी, जो मनमाने सहसमरूपता क्षेत्र सिद्धांत से संबंधित DZ और DR पदानुक्रम के सामान्य Miura समतुल्यता के लिए जिम्मेदार है। अंत में, लेखकों ने Liu-Pandharipande पेपर पद्धति के एक प्रकार का उपयोग करके n=1 और मनमाने g के मामले में सभी उपरोक्त संबंधों को सिद्ध किया है, जो स्वतंत्र रुचि रख सकता है।
इस पेपर में अनुसंधान की मूल समस्या स्थिर बीजगणितीय वक्रों के मॉड्यूली स्पेस Mg,n के तनुवाक्यात्मक सहसमरूपता में संबंध हैं, और इन संबंधों का समाकलनीय प्रणालियों से गहरा संबंध है। विशेष रूप से:
- मॉड्यूली स्पेस ज्यामिति और समाकलनीय प्रणालियों का संबंध: Witten अनुमान (Kontsevich द्वारा सिद्ध) के बाद से, Mg,n पर ज्यामिति और समाकलनीय प्रणालियों के बीच गहरा संबंध है। यह अनुमान दर्शाता है कि समाकल ∫Mg,n∏i=1nψidi का जनक फलन KdV पदानुक्रम का समाधान देता है।
- DZ पदानुक्रम और DR पदानुक्रम: Dubrovin-Zhang ने सहसमरूपता क्षेत्र सिद्धांत से संबंधित समाकलनीय पदानुक्रम (DZ पदानुक्रम) का निर्माण किया, जबकि Buryak ने बाद में द्विशाखा पदानुक्रम (DR पदानुक्रम) प्रस्तुत किया। इन दोनों पदानुक्रमों के बीच संबंध एक महत्वपूर्ण खुली समस्या है।
- बहुपद समस्या: DZ पदानुक्रम समीकरणों की बहुपद प्रकृति एक मौलिक लेकिन कठिन समस्या है, जो केवल अर्धसरल CohFT मामले में हल की गई है।
- एकीकृत सिद्धांत ढांचा: DZ पदानुक्रम और DR पदानुक्रम के बीच Miura समतुल्यता स्थापित करना
- मौजूदा परिणामों का विस्तार: BGR19 में संबंधों को अधिक सामान्य F-CohFT सेटिंग में सामान्यीकृत करना
- मौलिक समस्याओं का समाधान: DZ पदानुक्रम की बहुपद प्रकृति और संबंधित मौलिक गुणों को सिद्ध करना
- नए अनुमानित संबंधों का परिवार प्रस्तुत किया: Mg,n+m के तनुवाक्यात्मक सहसमरूपता में पैरामीटरीकृत अनुमानित संबंध प्रस्तुत किए, जिनका रूप सरल है और गहरा ज्यामितीय अर्थ है
- समाकलनीय प्रणालियों के साथ संबंध स्थापित किया: सिद्ध किया कि ये अनुमानित संबंध F-CohFT से संबंधित DZ और DR पदानुक्रम के मौलिक गुणों को निहित करते हैं
- विशेष मामलों को सिद्ध किया:
- n=1 और मनमाने g के मामले को पूरी तरह सिद्ध किया
- g=0 और मनमाने n के मामले को पूरी तरह सिद्ध किया
- ज्यामितीय सूत्र प्रदान किए: DZ पदानुक्रम के बहुपद भाग के लिए स्पष्ट ज्यामितीय सूत्र दिए
- संबंधों की प्रणाली को सरल बनाया: सिद्ध किया कि m≥2 के लिए, संपूर्ण संबंध प्रणाली परिमित संख्या में डिग्री 2g+m−1 के संबंधों के बराबर है
इस पेपर में अनुसंधान का मुख्य कार्य है:
- इनपुट: स्थिर बीजगणितीय वक्रों का मॉड्यूली स्पेस Mg,n और इसके तनुवाक्यात्मक सहसमरूपता वर्ग
- आउटपुट: तनुवाक्यात्मक सहसमरूपता में रैखिक संबंध
- बाधा शर्तें: संबंध समाकलनीय प्रणालियों के मौलिक गुणों के साथ संगत होने चाहिए
m≥0 के लिए, वर्ग Bg,dm∈R∑di(Mg,n+m) को परिभाषित करें:
Bg,dm:=∑T∈SRTg,n,m;∘(b,c,a)(−1)deg(T)−1e∗[T,d]
जहाँ T विशिष्ट शर्तों को संतुष्ट करने वाले स्थिर मूलयुक्त वृक्ष हैं।
अनुमान 1 (m≥2): ∑di≥2g+m−1 के लिए, Bg,dm=0।
अनुमान 2 (m=1): Bg,d1=Ag,d1, जहाँ Ag,d1 द्विशाखा चक्र द्वारा परिभाषित है।
अनुमान 3 (m=0): Bg,d0=Ag,d0, यह BGR19 में संबंध है।
जनक बहुपद Pg,n,m(x1,…,xn) का उपयोग करके, अनुमान 1 समतुल्य है:
degPg,n,m≤2g+m−2
संतुलित वृक्ष, पूर्ण वृक्ष, स्वीकार्य वृक्ष की अवधारणाएं प्रस्तुत की, जो व्यवस्थित संयोजनात्मक वर्गीकरण प्रदान करते हैं:
- संतुलित वृक्ष: मूल को छोड़कर प्रत्येक शीर्ष पर कम से कम एक अतिरिक्त पैर
- पूर्ण वृक्ष: विशिष्ट स्तर संरचना शर्तों को संतुष्ट करते हैं
- स्वीकार्य वृक्ष: डिग्री बाधा शर्तों को संतुष्ट करते हैं
n=1 के मामले के लिए, सापेक्ष स्थिर मानचित्र मॉड्यूली स्पेस के स्थानीयकरण सूत्र का उपयोग:
ϵ∗(Ig∩[Mg,1(P1,1)]vir)=∑componentseC∗(Nvir)[component]vir
सिद्ध किया कि संपूर्ण संबंध प्रणाली परिमित मौलिक संबंधों में कम की जा सकती है:
B~g,dm=0 for di≥1,∑di=2g+m−1
चूंकि यह शुद्ध गणितीय सिद्धांत कार्य है, "प्रयोग" मुख्य रूप से सैद्धांतिक सत्यापन हैं:
- विशेष मामलों की प्रत्यक्ष गणना:
- निम्न वंश मामलों की स्पष्ट गणना
- छोटी चिह्नित बिंदु संख्या का सत्यापन
- ज्ञात परिणामों के साथ सामंजस्य परीक्षण:
- Witten अनुमान के साथ संगतता
- मौजूदा DZ/DR पदानुक्रम सिद्धांत के साथ सामंजस्य
प्रमेय 2.2: अनुमान 1, 2, 3 n=1 के लिए सत्य हैं।
प्रमेय 2.3: अनुमान 1, 2, 3 g=0 के लिए सत्य हैं।
प्रमेय 4.7: अनुमान 1 (m=2) किसी भी F-CohFT के DZ पदानुक्रम की बहुपद प्रकृति को निहित करता है।
प्रमेय 4.10: अनुमान 2 निहित करता है कि F-CohFT का DZ पदानुक्रम बहुपद है, और Miura रूपांतरण के माध्यम से DR पदानुक्रम से संबंधित है।
n=1,m≥2 के लिए, संबंध का रूप है:
∑k≥1(−1)k−1∑(g,d)∈Sg,dm,k[सजाया गया ग्राफ]=0
जहाँ सजाए गए ग्राफ केवल psi वर्गों की शक्तियों को शामिल करते हैं।
- Witten अनुमान (1991): मॉड्यूली स्पेस ज्यामिति और KdV पदानुक्रम के बीच संबंध स्थापित किया
- Dubrovin-Zhang सिद्धांत (2001): सामान्य CohFT के समाकलनीय पदानुक्रम का निर्माण किया
- द्विशाखा पदानुक्रम (Buryak 2015): नए समाकलनीय प्रणाली निर्माण प्रदान किए
- BGR संबंध (2019): DR/DZ समतुल्यता के तनुवाक्यात्मक संबंध स्थापित किए
यह पेपर स्वाभाविक रूप से BGR19 के कार्य को निम्नलिखित पहलुओं से विस्तारित करता है:
- CohFT से F-CohFT तक विस्तार
- m=0 से मनमाने m≥0 तक विस्तार
- अधिक पूर्ण सैद्धांतिक ढांचा प्रदान करना
- तनुवाक्यात्मक संबंधों का अस्तित्व: प्रस्तावित संबंधों का गहरा ज्यामितीय और बीजगणितीय अर्थ है
- समाकलनीय प्रणालियों के मौलिक गुण: ये संबंध DZ और DR पदानुक्रम के मूल गुणों को नियंत्रित करते हैं
- आंशिक प्रमाण: महत्वपूर्ण विशेष मामलों में अनुमान पूरी तरह सिद्ध किए गए हैं
- सामान्य मामला अनसुलझा: मनमाने (g,n,m) के लिए, अनुमान अभी भी खुला है
- गणनात्मक जटिलता: उच्च वंश मामलों का प्रत्यक्ष सत्यापन तकनीकी रूप से चुनौतीपूर्ण है
- अनुप्रयोग का दायरा: मुख्य रूप से बीजगणितीय ज्यामिति और गणितीय भौतिकी तक सीमित है
- पूर्ण प्रमाण: सामान्य मामले के लिए प्रमाण विधि खोजना
- सामान्यीकृत अनुप्रयोग: अन्य ज्यामितीय और भौतिकीय समस्याओं में अनुप्रयोग की खोज करना
- गणनात्मक विधियां: अधिक प्रभावी गणना और सत्यापन विधियों का विकास करना
- सैद्धांतिक गहराई: बीजगणितीय ज्यामिति, समाकलनीय प्रणालियों और गणितीय भौतिकी की गहरी संरचनाओं को जोड़ता है
- विधि नवाचार: संयोजनात्मक विधियों और ज्यामितीय तकनीकों को चतुराई से संयोजित करता है
- परिणाम महत्व: इस क्षेत्र की मौलिक समस्याओं को हल करता है
- लेखन स्पष्टता: गणितीय अभिव्यक्ति कठोर है, तार्किक संरचना स्पष्ट है
- अनुमान की प्रकृति: मूल परिणाम अभी भी अनुमान हैं, आगे के प्रमाण की आवश्यकता है
- तकनीकी दहलीज: गहरी बीजगणितीय ज्यामिति और समाकलनीय प्रणाली पृष्ठभूमि की आवश्यकता है
- गणनात्मक सत्यापन: बड़े पैमाने पर संख्यात्मक सत्यापन की कमी है
- सैद्धांतिक योगदान: तनुवाक्यात्मक सहसमरूपता और समाकलनीय प्रणाली सिद्धांत के लिए नया दृष्टिकोण प्रदान करता है
- विधि मूल्य: Liu-Pandharipande विधि का सामान्यीकरण स्वतंत्र मूल्य रखता है
- भविष्य अनुसंधान: इस क्षेत्र के बाद के अनुसंधान के लिए आधार तैयार करता है
- मॉड्यूली स्पेस सिद्धांत में बीजगणितीय ज्यामिति अनुसंधान
- गणितीय भौतिकी में समाकलनीय प्रणाली सिद्धांत
- सहसमरूपता क्षेत्र सिद्धांत और संबंधित ज्यामितीय संरचना अनुसंधान
यह पेपर इस क्षेत्र के महत्वपूर्ण साहित्य का हवाला देता है, जिसमें शामिल हैं:
- Wit91 Witten का मूल कार्य
- DZ01 Dubrovin-Zhang पदानुक्रम सिद्धांत
- Bur15 द्विशाखा पदानुक्रम की स्थापना
- BGR19 संबंधित तनुवाक्यात्मक संबंध कार्य
- LP11 Liu-Pandharipande विधि