Pub Date : 2024-04-10DOI: 10.1007/s00222-024-01255-3
Dongchen Li, Dmitry Turaev
A heterodimensional cycle is an invariant set of a dynamical system consisting of two hyperbolic periodic orbits with different dimensions of their unstable manifolds and a pair of orbits that connect them. For systems which are at least (C^{2}), we show that bifurcations of a coindex-1 heterodimensional cycle within a generic 2-parameter family create robust heterodimensional dynamics, i.e., a pair of non-trivial hyperbolic basic sets with different numbers of positive Lyapunov exponents, such that the unstable manifold of each of the sets intersects the stable manifold of the second set and these intersections persist for an open set of parameter values. We also give a solution to the so-called local stabilization problem of coindex-1 heterodimensional cycles in any regularity class (r=2,ldots ,infty ,omega ). The results are based on the observation that arithmetic properties of moduli of topological conjugacy of systems with heterodimensional cycles determine the emergence of Bonatti-Díaz blenders.
{"title":"Persistence of heterodimensional cycles","authors":"Dongchen Li, Dmitry Turaev","doi":"10.1007/s00222-024-01255-3","DOIUrl":"https://doi.org/10.1007/s00222-024-01255-3","url":null,"abstract":"<p>A heterodimensional cycle is an invariant set of a dynamical system consisting of two hyperbolic periodic orbits with different dimensions of their unstable manifolds and a pair of orbits that connect them. For systems which are at least <span>(C^{2})</span>, we show that bifurcations of a coindex-1 heterodimensional cycle within a generic 2-parameter family create robust heterodimensional dynamics, i.e., a pair of non-trivial hyperbolic basic sets with different numbers of positive Lyapunov exponents, such that the unstable manifold of each of the sets intersects the stable manifold of the second set and these intersections persist for an open set of parameter values. We also give a solution to the so-called local stabilization problem of coindex-1 heterodimensional cycles in any regularity class <span>(r=2,ldots ,infty ,omega )</span>. The results are based on the observation that arithmetic properties of moduli of topological conjugacy of systems with heterodimensional cycles determine the emergence of Bonatti-Díaz blenders.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572877","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-10DOI: 10.1007/s00222-024-01257-1
Yuan Liu, Melanie Matchett Wood, David Zureick-Brown
We consider the distribution of the Galois groups (operatorname {Gal}(K^{operatorname{un}}/K)) of maximal unramified extensions as (K) ranges over (Gamma )-extensions of ℚ or ({{mathbb{F}}}_{q}(t)). We prove two properties of (operatorname {Gal}(K^{operatorname{un}}/K)) coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on (n)-generated profinite groups. In Part II, we prove as (qrightarrow infty ), agreement of (operatorname {Gal}(K^{operatorname{un}}/K)) as (K) varies over totally real (Gamma )-extensions of ({{mathbb{F}}}_{q}(t)) with our distribution from Part I, in the moments that are relatively prime to (q(q-1)|Gamma |). In particular, we prove for every finite group (Gamma ), in the (qrightarrow infty ) limit, the prime-to-(q(q-1)|Gamma |)-moments of the distribution of class groups of totally real (Gamma )-extensions of ({{mathbb{F}}}_{q}(t)) agree with the prediction of the Cohen–Lenstra–Martinet heuristics.
{"title":"A predicted distribution for Galois groups of maximal unramified extensions","authors":"Yuan Liu, Melanie Matchett Wood, David Zureick-Brown","doi":"10.1007/s00222-024-01257-1","DOIUrl":"https://doi.org/10.1007/s00222-024-01257-1","url":null,"abstract":"<p>We consider the distribution of the Galois groups <span>(operatorname {Gal}(K^{operatorname{un}}/K))</span> of maximal unramified extensions as <span>(K)</span> ranges over <span>(Gamma )</span>-extensions of ℚ or <span>({{mathbb{F}}}_{q}(t))</span>. We prove two properties of <span>(operatorname {Gal}(K^{operatorname{un}}/K))</span> coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on <span>(n)</span>-generated profinite groups. In Part II, we prove as <span>(qrightarrow infty )</span>, agreement of <span>(operatorname {Gal}(K^{operatorname{un}}/K))</span> as <span>(K)</span> varies over totally real <span>(Gamma )</span>-extensions of <span>({{mathbb{F}}}_{q}(t))</span> with our distribution from Part I, in the moments that are relatively prime to <span>(q(q-1)|Gamma |)</span>. In particular, we prove for every finite group <span>(Gamma )</span>, in the <span>(qrightarrow infty )</span> limit, the prime-to-<span>(q(q-1)|Gamma |)</span>-moments of the distribution of class groups of totally real <span>(Gamma )</span>-extensions of <span>({{mathbb{F}}}_{q}(t))</span> agree with the prediction of the Cohen–Lenstra–Martinet heuristics.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-09DOI: 10.1007/s00222-024-01256-2
Huanchen Bao, Xuhua He
The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) (J)-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity.
We show that the (J)-totally nonnegative flag variety has a cellular decomposition into totally positive (J)-Richardson varieties. Moreover, each totally positive (J)-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive (J)-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the (J)-total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam in (Adv. Math. 351:614–620, 2019). We also show that the link of the totally nonnegative part of (U^{-}) for any Kac-Moody group forms a regular CW complex. This generalizes the result of Hersh (Invent. Math. 197(1):57–114, 2014) for reductive groups.
{"title":"Product structure and regularity theorem for totally nonnegative flag varieties","authors":"Huanchen Bao, Xuhua He","doi":"10.1007/s00222-024-01256-2","DOIUrl":"https://doi.org/10.1007/s00222-024-01256-2","url":null,"abstract":"<p>The totally nonnegative flag variety was introduced by Lusztig. It has enriched combinatorial, geometric, and Lie-theoretic structures. In this paper, we introduce a (new) <span>(J)</span>-total positivity on the full flag variety of an arbitrary Kac-Moody group, generalizing the (ordinary) total positivity.</p><p>We show that the <span>(J)</span>-totally nonnegative flag variety has a cellular decomposition into totally positive <span>(J)</span>-Richardson varieties. Moreover, each totally positive <span>(J)</span>-Richardson variety admits a favorable decomposition, called a product structure. Combined with the generalized Poincare conjecture, we prove that the closure of each totally positive <span>(J)</span>-Richardson variety is a regular CW complex homeomorphic to a closed ball. Moreover, the <span>(J)</span>-total positivity on the full flag provides a model for the (ordinary) totally nonnegative partial flag variety. As a consequence, we prove that the closure of each (ordinary) totally positive Richardson variety is a regular CW complex homeomorphic to a closed ball, confirming conjectures of Galashin, Karp and Lam in (Adv. Math. 351:614–620, 2019). We also show that the link of the totally nonnegative part of <span>(U^{-})</span> for any Kac-Moody group forms a regular CW complex. This generalizes the result of Hersh (Invent. Math. 197(1):57–114, 2014) for reductive groups.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572972","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-04DOI: 10.1007/s00222-024-01253-5
Chris Kottke, Frédéric Rochon
We develop new techniques to compute the weighted (L^{2})-cohomology of quasi-fibered boundary metrics (QFB-metrics). Combined with the decay of (L^{2})-harmonic forms obtained in a companion paper, this allows us to compute the reduced (L^{2})-cohomology for various classes of QFB-metrics. Our results applies in particular to the Nakajima metric on the Hilbert scheme of (n) points on (mathbb{C}^{2}), for which we can show that the Vafa-Witten conjecture holds. Using the compactification of the monopole moduli space announced by Fritzsch, the first author and Singer, we can also give a proof of the Sen conjecture for the monopole moduli space of magnetic charge 3.
{"title":"$L^{2}$ -Cohomology of quasi-fibered boundary metrics","authors":"Chris Kottke, Frédéric Rochon","doi":"10.1007/s00222-024-01253-5","DOIUrl":"https://doi.org/10.1007/s00222-024-01253-5","url":null,"abstract":"<p>We develop new techniques to compute the weighted <span>(L^{2})</span>-cohomology of quasi-fibered boundary metrics (QFB-metrics). Combined with the decay of <span>(L^{2})</span>-harmonic forms obtained in a companion paper, this allows us to compute the reduced <span>(L^{2})</span>-cohomology for various classes of QFB-metrics. Our results applies in particular to the Nakajima metric on the Hilbert scheme of <span>(n)</span> points on <span>(mathbb{C}^{2})</span>, for which we can show that the Vafa-Witten conjecture holds. Using the compactification of the monopole moduli space announced by Fritzsch, the first author and Singer, we can also give a proof of the Sen conjecture for the monopole moduli space of magnetic charge 3.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572979","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-04-03DOI: 10.1007/s00222-024-01252-6
Daniel Azagra, Marjorie Drake, Piotr Hajłasz
We prove that if (u:mathbb{R}^{n}to mathbb{R}) is strongly convex, then for every (varepsilon >0) there is a strongly convex function (vin C^{2}(mathbb{R}^{n})) such that (|{uneq v}|<varepsilon ) and (Vert u-vVert _{infty}<varepsilon ).
{"title":"$mathbf{C^{2}}$ -Lusin approximation of strongly convex functions","authors":"Daniel Azagra, Marjorie Drake, Piotr Hajłasz","doi":"10.1007/s00222-024-01252-6","DOIUrl":"https://doi.org/10.1007/s00222-024-01252-6","url":null,"abstract":"<p>We prove that if <span>(u:mathbb{R}^{n}to mathbb{R})</span> is strongly convex, then for every <span>(varepsilon >0)</span> there is a strongly convex function <span>(vin C^{2}(mathbb{R}^{n}))</span> such that <span>(|{uneq v}|<varepsilon )</span> and <span>(Vert u-vVert _{infty}<varepsilon )</span>.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140572975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-28DOI: 10.1007/s00222-024-01251-7
Rhiannon Dougall, Richard Sharp
This note corrects an error in our paper Anosov flows, growth rates on covers and group extensions of subshifts, Invent. Math. 223:445–483, 2021. This leaves our main results, Theorem 1.1, Corollary 1.2, Theorem 1.3 and Theorem 5.1, unchanged. We also fill a gap in the arguments presented in Sect. 9; this requires a small modification to the results in this section.
本注释纠正了我们的论文 Anosov flows, growth rates on covers and group extensions of subshifts, Invent.Math.223:445-483, 2021.这使得我们的主要结果,即定理 1.1、推论 1.2、定理 1.3 和定理 5.1 保持不变。我们还填补了第 9 节中论证的空白;这需要对本节的结果稍作修改。
{"title":"Correction to “Anosov flows, growth rates on covers and group extensions of subshifts”","authors":"Rhiannon Dougall, Richard Sharp","doi":"10.1007/s00222-024-01251-7","DOIUrl":"https://doi.org/10.1007/s00222-024-01251-7","url":null,"abstract":"<p>This note corrects an error in our paper <i>Anosov flows, growth rates on covers and group extensions of subshifts</i>, Invent. Math. 223:445–483, 2021. This leaves our main results, Theorem 1.1, Corollary 1.2, Theorem 1.3 and Theorem 5.1, unchanged. We also fill a gap in the arguments presented in Sect. 9; this requires a small modification to the results in this section.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140311603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-26DOI: 10.1007/s00222-024-01250-8
Rowan Killip, Thierry Laurens, Monica Vişan
The Benjamin–Ono equation is shown to be well-posed, both on the line and on the circle, in the Sobolev spaces (H^{s}) for (s>-tfrac{1}{2}). The proof rests on a new gauge transformation and benefits from our introduction of a modified Lax pair representation of the full hierarchy. As we will show, these developments yield important additional dividends beyond well-posedness, including (i) the unification of the diverse approaches to polynomial conservation laws; (ii) a generalization of Gérard’s explicit formula to the full hierarchy; and (iii) new virial-type identities covering all equations in the hierarchy.
{"title":"Sharp well-posedness for the Benjamin–Ono equation","authors":"Rowan Killip, Thierry Laurens, Monica Vişan","doi":"10.1007/s00222-024-01250-8","DOIUrl":"https://doi.org/10.1007/s00222-024-01250-8","url":null,"abstract":"<p>The Benjamin–Ono equation is shown to be well-posed, both on the line and on the circle, in the Sobolev spaces <span>(H^{s})</span> for <span>(s>-tfrac{1}{2})</span>. The proof rests on a new gauge transformation and benefits from our introduction of a modified Lax pair representation of the full hierarchy. As we will show, these developments yield important additional dividends beyond well-posedness, including (i) the unification of the diverse approaches to polynomial conservation laws; (ii) a generalization of Gérard’s explicit formula to the full hierarchy; and (iii) new virial-type identities covering all equations in the hierarchy.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140298399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-14DOI: 10.1007/s00222-024-01242-8
Andrea Appel, Valerio Toledano Laredo
Let (mathfrak {g}) be a symmetrisable Kac–Moody algebra and (V) an integrable (mathfrak {g})–module in category (mathcal {O}). We show that the monodromy of the (normally ordered) rational Casimir connection on (V) can be made equivariant with respect to the Weyl group (W) of (mathfrak {g}), and therefore defines an action of the braid group (mathcal {B}_{W}) on (V). We then prove that this action is canonically equivalent to the quantum Weyl group action of (mathcal {B}_{W}) on a quantum deformation of (V), that is an integrable, category (mathcal {O}) module (mathcal {V}) over the quantum group (U_{hbar }mathfrak {g}) such that (mathcal {V}/hbar mathcal {V}) is isomorphic to (V). This extends a result of the second author which is valid for (mathfrak {g}) semisimple.
{"title":"Monodromy of the Casimir connection of a symmetrisable Kac–Moody algebra","authors":"Andrea Appel, Valerio Toledano Laredo","doi":"10.1007/s00222-024-01242-8","DOIUrl":"https://doi.org/10.1007/s00222-024-01242-8","url":null,"abstract":"<p>Let <span>(mathfrak {g})</span> be a symmetrisable Kac–Moody algebra and <span>(V)</span> an integrable <span>(mathfrak {g})</span>–module in category <span>(mathcal {O})</span>. We show that the monodromy of the (normally ordered) rational Casimir connection on <span>(V)</span> can be made equivariant with respect to the Weyl group <span>(W)</span> of <span>(mathfrak {g})</span>, and therefore defines an action of the braid group <span>(mathcal {B}_{W})</span> on <span>(V)</span>. We then prove that this action is canonically equivalent to the quantum Weyl group action of <span>(mathcal {B}_{W})</span> on a quantum deformation of <span>(V)</span>, that is an integrable, category <span>(mathcal {O})</span> module <span>(mathcal {V})</span> over the quantum group <span>(U_{hbar }mathfrak {g})</span> such that <span>(mathcal {V}/hbar mathcal {V})</span> is isomorphic to <span>(V)</span>. This extends a result of the second author which is valid for <span>(mathfrak {g})</span> semisimple.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-03-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140126591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-12DOI: 10.1007/s00222-024-01249-1
Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park
We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of (i)-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories (mathscr{C}_{{mathfrak{g}}}^{0}) and (mathscr{C}_{{mathfrak{g}}}^{-}) provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.
我们引入了量子仿射代数上的一个新的实简模块族,称为仿射行列式模块,其中包含作为一个特殊子族的基里洛夫-列舍提金(KR)模块,然后证明了它们之间的 T 系统,这些 T 系统同时概括了量子单能坐标代数中的 KR 模块和单能量子小数之间的 T 系统。我们开发了新的组合工具:产生仿射行列式模块换向族的(i)盒的可容许链,以及以组合方式描述 T 系统的盒移动。利用这些结果,我们证明了量子仿射代数上的各种模块类别提供了簇代数的单环分类。作为特例,埃尔南德斯-勒克莱尔范畴(Hernandez-Leclerc categories (mathscr{C}_{mathfrak{g}}}^{0}/)和(mathscr{C}_{mathfrak{g}}}^{-}/)为任意量子仿射代数提供了簇代数的一元分类。
{"title":"Monoidal categorification and quantum affine algebras II","authors":"Masaki Kashiwara, Myungho Kim, Se-jin Oh, Euiyong Park","doi":"10.1007/s00222-024-01249-1","DOIUrl":"https://doi.org/10.1007/s00222-024-01249-1","url":null,"abstract":"<p>We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of <span>(i)</span>-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories <span>(mathscr{C}_{{mathfrak{g}}}^{0})</span> and <span>(mathscr{C}_{{mathfrak{g}}}^{-})</span> provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140126047","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-08DOI: 10.1007/s00222-024-01237-5
Jonah Blasiak, Jennifer Morse, Anna Pun
Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include (k)-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of (U_{q}(widehat{mathfrak{sl}}_{ell }))-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.
{"title":"Demazure crystals and the Schur positivity of Catalan functions","authors":"Jonah Blasiak, Jennifer Morse, Anna Pun","doi":"10.1007/s00222-024-01237-5","DOIUrl":"https://doi.org/10.1007/s00222-024-01237-5","url":null,"abstract":"<p>Catalan functions, the graded Euler characteristics of certain vector bundles on the flag variety, are a rich class of symmetric functions which include <span>(k)</span>-Schur functions and parabolic Hall-Littlewood polynomials. We prove that Catalan functions indexed by partition weight are the characters of <span>(U_{q}(widehat{mathfrak{sl}}_{ell }))</span>-generalized Demazure crystals as studied by Lakshmibai-Littelmann-Magyar and Naoi. We obtain Schur positive formulas for these functions, settling conjectures of Chen-Haiman and Shimozono-Weyman. Our approach more generally gives key positive formulas for graded Euler characteristics of certain vector bundles on Schubert varieties by matching them to characters of generalized Demazure crystals.</p>","PeriodicalId":14429,"journal":{"name":"Inventiones mathematicae","volume":null,"pages":null},"PeriodicalIF":3.1,"publicationDate":"2024-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140071183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}