Higher Airy Structures, đČ Algebras and Topological Recursion
Notice bibliographique
Résumé
We define higher quantum Airy structures as generalizations of the KontsevichâSoibelman quantum Airy structures by allowing differential operators of arbitrary order (instead of only quadratic). We construct many classes of examples of higher quantum Airy structures as modules of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper W left-parenthesis German g right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">W</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {W}(\mathfrak {g})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> algebras at self-dual level, with <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German g equals German g German l Subscript upper N plus 1"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> </mml:mrow> <mml:mo>=</mml:mo> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>N</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathfrak {g}= \mathfrak {gl}_{N+1}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German s German o Subscript 2 upper N"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">s</mml:mi> <mml:mi mathvariant="fraktur">o</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\mathfrak {so}_{2 N }</mml:annotation> </mml:semantics> </mml:math> </inline-formula> or <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German e Subscript upper N"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">e</mml:mi> </mml:mrow> <mml:mi>N</mml:mi> </mml:msub> <mml:annotation encoding="application/x-tex">\mathfrak {e}_N</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . We discuss their enumerative geometric meaning in the context of (open and closed) intersection theory of the moduli space of curves and its variants. Some of these <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper W"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">W</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {W}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> constraints have already appeared in the literature, but we find many new ones. For <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="German g German l Subscript upper N plus 1"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>N</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\mathfrak {gl}_{N+1}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> our result hinges on the description of previously unnoticed Lie subalgebras of the algebra of modes. As a consequence, we obtain a simple characterization of the spectral curves (with arbitrary ramification) for which the BouchardâEynard topological recursion gives symmetric <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="omega Subscript g comma n"> <mml:semantics> <mml:msub> <mml:mi> Ï </mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi>g</mml:mi> <mml:mo>,</mml:mo> <mml:mi>n</mml:mi> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\omega _{g,n}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> s and is thus well defined. For all such cases, we show that the topological recursion is equivalent to <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper W left-parenthesis German g German l right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">W</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="fraktur">g</mml:mi> <mml:mi mathvariant="fraktur">l</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {W}(\mathfrak {gl})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> constraints realized as higher quantum Airy structures, and obtain a Givental-like decomposition for the corresponding partition functions.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction distillée sur la base complÚte
Imitation des enseignantsNi prĂ©valence calibrĂ©e, ni vĂ©ritĂ© terrain. Validation humaine Ă venir. Apprise Ă partir de 10 348 Ă©tiquettes directes de Codex et de 10 348 Ă©tiquettes directes de Gemma. Le mode candidate est l'union des tĂȘtes enseignantes seuillĂ©es; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des Ă©tiquettes humaines ni des Ă©tiquettes directes de modĂšles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,000 | 0,000 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 0,000 |
| Bibliométrie | 0,000 | 0,000 |
| Ătudes des sciences et des technologies | 0,000 | 0,001 |
| Communication savante | 0,000 | 0,000 |
| Science ouverte | 0,000 | 0,000 |
| Intégrité de la recherche | 0,000 | 0,000 |
| Charge utile insuffisante (le modÚle a refusé de juger) | 0,000 | 0,000 |
Scores machine (provisoires)
Les deux tĂȘtes enseignantes du modĂšle Ă©tudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catĂ©gorie, et le statut de validation accompagne chaque rangĂ©e tel quel.
Scores de référence d'un modÚle non mature (critÚres de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validĂ©ePrĂ©diction automatique; un appel candidat dâune seule tĂȘte enseignante, pas un consensus.
Le détail, modÚle par modÚle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».