2025-11-16T19:46:19.578595

Tautological relations and integrable systems

Buryak, Shadrin

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$.

academic

সমীকরণীয় সম্পর্ক এবং সমন্বিত সিস্টেম

মৌলিক তথ্য

গবেষণাপত্র আইডি: 2210.07552
শিরোনাম: সমীকরণীয় সম্পর্ক এবং সমন্বিত সিস্টেম
লেখক: অ্যালেক্সান্ডর বুরিয়াক, সার্গেই শ্যাডরিন
শ্রেণীবিভাগ: math.AG math-ph math.MP
প্রকাশনার সময়/সম্মেলন: এপিজার্নাল ডি জিওমেট্রি অ্যালজেব্রিক, খণ্ড ৮ (২০২৪), নিবন্ধ নং ১২
গবেষণাপত্র লিঙ্ক: https://arxiv.org/abs/2210.07552

সারসংক্ষেপ

এই গবেষণাপত্রে স্থিতিশীল বীজগণিতীয় বক্ররেখার মডিউলি স্থান $M_{g,n}$ এর সমীকরণীয় সহসমবিজ্ঞানে সম্পর্কের একটি পরিবার প্রস্তাব করা হয়েছে। এই সম্পর্কগুলির একটি বৃহৎ অংশ আশ্চর্যজনকভাবে সরল রূপ ধারণ করে: জড়িত সমীকরণীয় শ্রেণীগুলি স্থিতিশীল গ্রাফ দ্বারা প্রদত্ত, যা গাছ, এবং শুধুমাত্র অর্ধ-প্রান্তে psi শ্রেণীর শক্তি দ্বারা সজ্জিত। লেখকরা প্রমাণ করেছেন যে প্রস্তাবিত অনুমানিত সম্পর্কগুলি F-সহসমবিজ্ঞান ক্ষেত্র তত্ত্বের সাথে সম্পর্কিত Dubrovin-Zhang (DZ) শ্রেণিবিন্যাস এবং দ্বিশাখ (DR) শ্রেণিবিন্যাসের নির্দিষ্ট মৌলিক বৈশিষ্ট্যগুলি নিহিত করে। এই সম্পর্কগুলি প্রাকৃতিকভাবে অনুরূপ অনুমানিত সম্পর্কের একটি সিস্টেমকে প্রসারিত করে, যা প্রথম লেখক দ্বারা গুয়েরে এবং রসির সাথে প্রাথমিক কাজে প্রস্তাব করা হয়েছিল, যা নির্বিচারে সহসমবিজ্ঞান ক্ষেত্র তত্ত্বের সাথে সম্পর্কিত DZ এবং DR শ্রেণিবিন্যাসের স্বাভাবিক Miura সমতুল্যতার জন্য দায়ী। অবশেষে, লেখকরা Liu-Pandharipande গবেষণাপত্র পদ্ধতির একটি রূপান্তর ব্যবহার করে $n=1$ এবং নির্বিচারে $g$ ক্ষেত্রে উপরোক্ত সমস্ত সম্পর্ক প্রমাণ করেছেন, যা স্বাধীন আগ্রহের অধিকারী হতে পারে।

গবেষণা পটভূমি এবং প্রেরণা

সমস্যার পটভূমি

এই গবেষণাপত্রে অধ্যয়ন করা মূল সমস্যা হল স্থিতিশীল বীজগণিতীয় বক্ররেখার মডিউলি স্থান $M_{g,n}$ এর সমীকরণীয় সহসমবিজ্ঞানে সম্পর্ক, এবং এই সম্পর্কগুলি সমন্বিত সিস্টেমের সাথে গভীর সংযোগ। বিশেষভাবে:

১. মডিউলি স্থান জ্যামিতি এবং সমন্বিত সিস্টেমের সম্পর্ক: Witten অনুমান (Kontsevich দ্বারা প্রমাণিত) থেকে শুরু করে, $M_{g,n}$ এর উপর জ্যামিতি এবং সমন্বিত সিস্টেমের মধ্যে গভীর সংযোগ রয়েছে। এই অনুমানটি নির্দেশ করে যে, সমাকল $\int_{M_{g,n}} \prod_{i=1}^n \psi_i^{d_i}$ এর উৎপাদক ফাংশন KdV শ্রেণিবিন্যাসের সমাধান প্রদান করে।

२. DZ শ্রেণিবিন্যাস এবং DR শ্রেণিবিন্যাস: Dubrovin-Zhang সহসমবিজ্ঞান ক্ষেত্র তত্ত্বের সাথে সম্পর্কিত সমন্বিত শ্রেণিবিন্যাস নির্মাণ করেছেন (DZ শ্রেণিবিন্যাস), যখন Buryak পরবর্তীতে দ্বিশাখ শ্রেণিবিন্যাস (DR শ্রেণিবিন্যাস) প্রবর্তন করেছেন। এই দুটি শ্রেণিবিন্যাসের মধ্যে সম্পর্ক একটি গুরুত্বপূর্ণ উন্মুক্ত সমস্যা।

३. বহুপদী সমস্যা: DZ শ্রেণিবিন্যাস সমীকরণের বহুপদীতা একটি মৌলিক কিন্তু কঠিন সমস্যা, যা শুধুমাত্র অর্ধ-সরল CohFT ক্ষেত্রে সমাধান করা হয়েছে।

গবেষণা প্রেরণা

একীভূত তত্ত্ব কাঠামো: DZ শ্রেণিবিন্যাস এবং DR শ্রেণিবিন্যাসের মধ্যে Miura সমতুল্যতা প্রতিষ্ঠা করা
বিদ্যমান ফলাফল প্রসারিত করা: BGR19 এ সম্পর্কগুলি আরও সাধারণ F-CohFT সেটিংয়ে সাধারণীকরণ করা
মৌলিক সমস্যা সমাধান: DZ শ্রেণিবিন্যাসের বহুপদীতা এবং সম্পর্কিত মৌলিক বৈশিষ্ট্য প্রমাণ করা

মূল অবদান

१. নতুন অনুমানিত সম্পর্কের পরিবার প্রস্তাব: $M_{g,n+m}$ এর সমীকরণীয় সহসমবিজ্ঞানে প্যারামিটারযুক্ত অনুমানিত সম্পর্ক প্রস্তাব করা, যা সরল রূপ এবং গভীর জ্যামিতিক অর্থ ধারণ করে

२. সমন্বিত সিস্টেমের সাথে সংযোগ প্রতিষ্ঠা: এই অনুমানিত সম্পর্কগুলি F-CohFT সম্পর্কিত DZ এবং DR শ্রেণিবিন্যাসের মৌলিক বৈশিষ্ট্য নিহিত করে তা প্রমাণ করা

३. বিশেষ ক্ষেত্রে প্রমাণ:

$n=1$ এবং নির্বিচারে $g$ এর ক্ষেত্রে সম্পূর্ণ প্রমাণ
$g=0$ এবং নির্বিচারে $n$ এর ক্ষেত্রে সম্পূর্ণ প্রমাণ

४. জ্যামিতিক সূত্র প্রদান: DZ শ্রেণিবিন্যাসের বহুপদী অংশের স্পষ্ট জ্যামিতিক সূত্র প্রদান করা

५. সম্পর্ক সিস্টেম সরলীকরণ: $m \geq 2$ এর জন্য, সম্পূর্ণ সম্পর্ক সিস্টেম ডিগ্রি $2g+m-1$ এর সীমিত সংখ্যক সম্পর্কের সমতুল্য তা প্রমাণ করা

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

এই গবেষণাপত্রে অধ্যয়ন করা প্রধান কাজ হল:

ইনপুট: স্থিতিশীল বীজগণিতীয় বক্ররেখার মডিউলি স্থান $M_{g,n}$ এবং এর সমীকরণীয় সহসমবিজ্ঞান শ্রেণী
আউটপুট: সমীকরণীয় সহসমবিজ্ঞানে রৈখিক সম্পর্ক
সীমাবদ্ধতা: সম্পর্কগুলি সমন্বিত সিস্টেমের মৌলিক বৈশিষ্ট্যের সাথে সামঞ্জস্যপূর্ণ হতে হবে

মূল গাণিতিক কাঠামো

१. সমীকরণীয় সহসমবিজ্ঞান শ্রেণীর নির্মাণ

$m \geq 0$ এর জন্য, শ্রেণী $B^m_{g,d} \in R^{\sum d_i}(M_{g,n+m})$ সংজ্ঞায়িত করুন:

$B^m_{g,d} := \sum_{T \in \text{SRT}^{(b,c,a)}_{g,n,m;\circ}} (-1)^{\deg(T)-1} e_*[T,d]$

যেখানে $T$ নির্দিষ্ট শর্ত সন্তুষ্ট করে এমন স্থিতিশীল মূলযুক্ত গাছ।

२. অনুমানিত সম্পর্কের বিবৃতি

অনুমান १ ( $m \geq 2$ ): $\sum d_i \geq 2g + m - 1$ এর জন্য, $B^m_{g,d} = 0$ ।

অনুমান २ ( $m = 1$ ): $B^1_{g,d} = A^1_{g,d}$ , যেখানে $A^1_{g,d}$ দ্বিশাখ চক্র দ্বারা সংজ্ঞায়িত।

অনুমান ३ ( $m = 0$ ): $B^0_{g,d} = A^0_{g,d}$ , এটি BGR19 এ সম্পর্ক।

३. সমতুল্য বৈশিষ্ট্য

উৎপাদক বহুপদী $P_{g,n,m}(x_1, \ldots, x_n)$ ব্যবহার করে, অনুমান १ সমতুল্য: $\deg P_{g,n,m} \leq 2g + m - 2$

প্রযুক্তিগত উদ্ভাবন বিন্দু

१. স্থিতিশীল মূলযুক্ত গাছের শ্রেণীবিভাগ

সুষম গাছ, সম্পূর্ণ গাছ, গ্রহণযোগ্য গাছের ধারণা প্রবর্তন করা, সিস্টেমেটিক সমন্বয় শ্রেণীবিভাগ প্রদান করা:

সুষম গাছ: মূল ছাড়া প্রতিটি শীর্ষবিন্দুর অন্তত একটি অতিরিক্ত পা রয়েছে
সম্পূর্ণ গাছ: নির্দিষ্ট স্তর কাঠামো শর্ত সন্তুষ্ট করে
গ্রহণযোগ্য গাছ: ডিগ্রি সীমাবদ্ধতা শর্ত সন্তুষ্ট করে

२. Liu-Pandharipande পদ্ধতির সম্প্রসারণ

$n=1$ ক্ষেত্রে, আপেক্ষিক স্থিতিশীল ম্যাপিং মডিউলি স্থানের স্থানীয়করণ সূত্র ব্যবহার করা:

$\epsilon_*(\mathcal{I}_g \cap [M_{g,1}(\mathbb{P}^1,1)]^{\text{vir}}) = \sum_{\text{components}} \frac{[\text{component}]^{\text{vir}}}{e_{C^*}(N^{\text{vir}})}$

३. সিস্টেম হ্রাস

সম্পূর্ণ সম্পর্ক সিস্টেম সীমিত সংখ্যক মৌলিক সম্পর্কে হ্রাসযোগ্য তা প্রমাণ করা: $\tilde{B}^m_{g,d} = 0 \text{ for } d_i \geq 1, \sum d_i = 2g + m - 1$

পরীক্ষামূলক সেটআপ

যাচাইকরণ পদ্ধতি

যেহেতু এটি বিশুদ্ধ গণিত তাত্ত্বিক কাজ, "পরীক্ষা" প্রধানত তাত্ত্বিক যাচাইকরণ:

१. বিশেষ ক্ষেত্রের সরাসরি গণনা:

নিম্ন গণ ক্ষেত্রের স্পষ্ট গণনা
ছোট চিহ্নিত বিন্দু সংখ্যার যাচাইকরণ

२. পরিচিত ফলাফলের সাথে সামঞ্জস্যতা পরীক্ষা:

Witten অনুমানের সাথে সামঞ্জস্যতা
বিদ্যমান DZ/DR শ্রেণিবিন্যাস তত্ত্বের সাথে সামঞ্জস্যতা

প্রমাণ কৌশল

$n=1$ ক্ষেত্র: $\mathbb{P}^1$ এ আপেক্ষিক স্থিতিশীল ম্যাপিংয়ের স্থানীয়করণ সূত্র ব্যবহার করা
$g=0$ ক্ষেত্র: $M_{0,n}$ এর সহসমবিজ্ঞান কাঠামো এবং CohFT এর টেন্সর পণ্য বৈশিষ্ট্য ব্যবহার করা

পরীক্ষামূলক ফলাফল

প্রধান উপপাদ্য

উপপাদ্য २.२: অনুমান १, २, ३ $n=1$ এর জন্য সত্য।

উপপাদ্য २.३: অনুমান १, २, ३ $g=0$ এর জন্য সত্য।

প্রয়োগ ফলাফল

উপপাদ्य ४.७: অনুমান १ ( $m=2$ ) নির্বিচারে F-CohFT এর DZ শ্রেণিবিন্যাসের বহুপদীতা নিহিত করে।

উপপাদ्य ४.१०: অনুমান २ নিহিত করে যে F-CohFT এর DZ শ্রেণিবিন্যাস বহুপদী, এবং Miura রূপান্তরের মাধ্যমে DR শ্রেণিবিন্যাসের সাথে সম্পর্কিত।

নির্দিষ্ট গণনা উদাহরণ

$n=1, m \geq 2$ এর জন্য, সম্পর্কগুলি নিম্নলিখিত রূপ ধারণ করে: $\sum_{k \geq 1} (-1)^{k-1} \sum_{(g,d) \in S^{m,k}_{g,d}} \text{[decorated graph]} = 0$

যেখানে সজ্জিত গ্রাফগুলি শুধুমাত্র psi শ্রেণীর শক্তি জড়িত।

উপসংহার এবং আলোচনা

প্রধান উপসংহার

१. সমীকরণীয় সম্পর্কের অস্তিত্ব: প্রস্তাবিত সম্পর্কগুলি গভীর জ্যামিতিক এবং বীজগণিতীয় অর্থ ধারণ করে २. সমন্বিত সিস্টেমের মৌলিক বৈশিষ্ট্য: এই সম্পর্কগুলি DZ এবং DR শ্রেণিবিন্যাসের মূল বৈশিষ্ট্য নিয়ন্ত্রণ করে ३. আংশিক প্রমাণ: গুরুত্বপূর্ণ বিশেষ ক্ষেত্রে সম্পূর্ণভাবে অনুমান প্রমাণ করা

সীমাবদ্ধতা

१. সাধারণ ক্ষেত্র অসমাধানিত: নির্বিচারে $(g,n,m)$ এর জন্য, অনুমান এখনও উন্মুক্ত २. গণনা জটিলতা: উচ্চ গণ ক্ষেত্রের সরাসরি যাচাইকরণ প্রযুক্তিগতভাবে চ্যালেঞ্জিং ३. প্রয়োগ পরিসীমা: প্রধানত বীজগণিত জ্যামিতি এবং গাণিতিক পদার্থবিজ্ঞান ক্ষেত্রে সীমাবদ্ধ

ভবিষ্যত দিকনির্দেশনা

१. সম্পূর্ণ প্রমাণ: সাধারণ ক্ষেত্রের প্রমাণ পদ্ধতি খোঁজা २. সাধারণীকরণ প্রয়োগ: অন্যান্য জ্যামিতিক এবং পদার্থবিজ্ঞান সমস্যায় প্রয়োগ অন্বেষণ করা ३. গণনা পদ্ধতি: আরও কার্যকর গণনা এবং যাচাইকরণ পদ্ধতি উন্নয়ন করা

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক গভীরতা: বীজগণিত জ্যামিতি, সমন্বিত সিস্টেম এবং গাণিতিক পদার্থবিজ্ঞানের গভীর কাঠামো সংযুক্ত করা २. পদ্ধতি উদ্ভাবন: সমন্বয় পদ্ধতি এবং জ্যামিতিক কৌশল দক্ষতার সাথে সমন্বয় করা ३. ফলাফল গুরুত্ব: এই ক্ষেত্রের মৌলিক সমস্যা সমাধান করা ४. লেখার স্পষ্টতা: গাণিতিক প্রকাশ কঠোর, যুক্তি কাঠামো স্পষ্ট

অপূর্ণতা

१. অনুমানিত প্রকৃতি: মূল ফলাফল এখনও অনুমান, আরও প্রমাণের প্রয়োজন २. প্রযুক্তিগত প্রবেশদ্বার: গভীর বীজগণিত জ্যামিতি এবং সমন্বিত সিস্টেম পটভূমির প্রয়োজন ३. গণনা যাচাইকরণ: বৃহৎ আকারের সংখ্যাগত যাচাইকরণের অভাব

প্রভাব

१. তাত্ত্বিক অবদান: সমীকরণীয় সহসমবিজ্ঞান এবং সমন্বিত সিস্টেম তত্ত্বে নতুন দৃষ্টিভঙ্গি প্রদান করা २. পদ্ধতি মূল্য: Liu-Pandharipande পদ্ধতির সাধারণীকরণ স্বাধীন মূল্য ধারণ করে ३. ভবিষ্যত গবেষণা: এই ক্ষেত্রের পরবর্তী গবেষণার ভিত্তি স্থাপন করা

প্রযোজ্য পরিস্থিতি

বীজগণিত জ্যামিতিতে মডিউলি স্থান তত্ত্ব গবেষণা
গাণিতিক পদার্থবিজ্ঞানে সমন্বিত সিস্টেম তত্ত্ব
সহসমবিজ্ঞান ক্ষেত্র তত্ত্ব এবং সম্পর্কিত জ্যামিতিক কাঠামো গবেষণা

তথ্যসূত্র

এই গবেষণাপত্রে এই ক্ষেত্রের গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করা হয়েছে, যার মধ্যে রয়েছে:

Wit91 Witten এর মূল কাজ
DZ01 Dubrovin-Zhang শ্রেণিবিন্যাস তত্ত্ব
Bur15 দ্বিশাখ শ্রেণিবিন্যাসের প্রতিষ্ঠা
BGR19 সম্পর্কিত সমীকরণীয় সম্পর্ক কাজ
LP11 Liu-Pandharipande পদ্ধতি