Pub Date : 2024-09-14DOI: 10.1007/s00031-024-09876-x
Hideya Watanabe
We prove the stability conjecture of (imath )canonical bases, which was raised by Huanchen Bao and Weiqiang Wang in 2016, for all locally finite types. To this end, we characterize the trivial module over the (imath )quantum groups of such type at (q = infty ). This result can be seen as a very restrictive version of the (imath )crystal base theory for locally finite types.
{"title":"Stability of $$imath $$ canonical Bases of Locally Finite Type","authors":"Hideya Watanabe","doi":"10.1007/s00031-024-09876-x","DOIUrl":"https://doi.org/10.1007/s00031-024-09876-x","url":null,"abstract":"<p>We prove the stability conjecture of <span>(imath )</span>canonical bases, which was raised by Huanchen Bao and Weiqiang Wang in 2016, for all locally finite types. To this end, we characterize the trivial module over the <span>(imath )</span>quantum groups of such type at <span>(q = infty )</span>. This result can be seen as a very restrictive version of the <span>(imath )</span>crystal base theory for locally finite types.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142257865","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-13DOI: 10.1007/s00031-024-09877-w
Rahul Singh
Let G be a split connected reductive group over (mathbb {F}_q) and let (mathbb {P}^1) be the projective line over (mathbb {F}_q). Firstly, we give an explicit formula for the number of (mathbb {F}_{q})-rational points of generalized Steinberg varieties of G. Secondly, for each principal G-bundle over (mathbb {P}^1), we give an explicit formula counting the number of triples consisting of parabolic structures at 0 and (infty ) and a compatible nilpotent section of the associated adjoint bundle. In the case of (GL_{n}) we calculate a generating function of such volumes re-deriving a result of Mellit.
让 G 是一个在 (mathbb {F}_q) 上的分裂连通还原群,让 (mathbb {P}^1) 是在(mathbb {F}_q) 上的投影线。首先,我们给出了 G 的广义 Steinberg varieties 的 (mathbb {F}_{q})-rational point 的数量的明确公式。其次,对于 (mathbb {P}^1) 上的每个主 G 束,我们给出了一个明确的公式来计算由在 0 和 (infty ) 处的抛物线结构以及相关邻接束的相容零点截面组成的三元组的数量。在(GL_{n})的情况下,我们计算了这样的卷的生成函数,重新得出了梅利特的一个结果。
{"title":"Counting Parabolic Principal G-Bundles with Nilpotent Sections Over $$mathbb {P}^{1}$$","authors":"Rahul Singh","doi":"10.1007/s00031-024-09877-w","DOIUrl":"https://doi.org/10.1007/s00031-024-09877-w","url":null,"abstract":"<p>Let <i>G</i> be a split connected reductive group over <span>(mathbb {F}_q)</span> and let <span>(mathbb {P}^1)</span> be the projective line over <span>(mathbb {F}_q)</span>. Firstly, we give an explicit formula for the number of <span>(mathbb {F}_{q})</span>-rational points of generalized Steinberg varieties of <i>G</i>. Secondly, for each principal <i>G</i>-bundle over <span>(mathbb {P}^1)</span>, we give an explicit formula counting the number of triples consisting of parabolic structures at 0 and <span>(infty )</span> and a compatible nilpotent section of the associated adjoint bundle. In the case of <span>(GL_{n})</span> we calculate a generating function of such volumes re-deriving a result of Mellit.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"71 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142213012","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-05DOI: 10.1007/s00031-024-09871-2
Haiyu Chen, Kaitao Xie
Let G be a connected reductive group split over (mathbb R). We show that every unipotent element in the totally nonnegative monoid of G is regular in some Levi subgroups, confirming a conjecture of Lusztig.
让 G 是一个分裂于(mathbb R )的连通还原群。我们证明,G 的完全非负单元中的每个单能元在某些 Levi 子群中都是正则的,这证实了卢茨蒂希的一个猜想。
{"title":"Regularity of Unipotent Elements in Total Positivity","authors":"Haiyu Chen, Kaitao Xie","doi":"10.1007/s00031-024-09871-2","DOIUrl":"https://doi.org/10.1007/s00031-024-09871-2","url":null,"abstract":"<p>Let <i>G</i> be a connected reductive group split over <span>(mathbb R)</span>. We show that every unipotent element in the totally nonnegative monoid of <i>G</i> is regular in some Levi subgroups, confirming a conjecture of Lusztig.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"64 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142213010","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-09DOI: 10.1007/s00031-024-09873-0
Tanguy Vernet
We prove that the zero-fiber of the moment map of a totally negative quiver has rational singularities. Our proof consists in generalizing dimension bounds on jet spaces of this fiber, which were introduced by Budur. We also transfer the rational singularities property to other moduli spaces of objects in 2-Calabi-Yau categories, based on recent work of Davison. This has interesting arithmetic applications on quiver moment maps and moduli spaces of objects in 2-Calabi-Yau categories. First, we generalize results of Wyss on the asymptotic behaviour of counts of jets of quiver moment maps over finite fields. Moreover, we interpret the limit of counts of jets on a given moduli space as its p-adic volume under a canonical measure analogous to the measure built by Carocci, Orecchia and Wyss on certain moduli spaces of coherent sheaves.
{"title":"Rational Singularities for Moment Maps of Totally Negative Quivers","authors":"Tanguy Vernet","doi":"10.1007/s00031-024-09873-0","DOIUrl":"https://doi.org/10.1007/s00031-024-09873-0","url":null,"abstract":"<p>We prove that the zero-fiber of the moment map of a totally negative quiver has rational singularities. Our proof consists in generalizing dimension bounds on jet spaces of this fiber, which were introduced by Budur. We also transfer the rational singularities property to other moduli spaces of objects in 2-Calabi-Yau categories, based on recent work of Davison. This has interesting arithmetic applications on quiver moment maps and moduli spaces of objects in 2-Calabi-Yau categories. First, we generalize results of Wyss on the asymptotic behaviour of counts of jets of quiver moment maps over finite fields. Moreover, we interpret the limit of counts of jets on a given moduli space as its <i>p</i>-adic volume under a canonical measure analogous to the measure built by Carocci, Orecchia and Wyss on certain moduli spaces of coherent sheaves.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"16 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942973","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-08DOI: 10.1007/s00031-024-09875-y
Paul Ziegler
We prove that every filtered fiber functor on the category of dualizable representations of a smooth affine group scheme with enough dualizable representations comes from a graded fiber functor.
{"title":"Filtered Fiber Functors Over a General Base","authors":"Paul Ziegler","doi":"10.1007/s00031-024-09875-y","DOIUrl":"https://doi.org/10.1007/s00031-024-09875-y","url":null,"abstract":"<p>We prove that every filtered fiber functor on the category of dualizable representations of a smooth affine group scheme with enough dualizable representations comes from a graded fiber functor.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"60 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-07DOI: 10.1007/s00031-024-09874-z
M. M. Radhika, Sandip Singh
We determine the existence of cocompact lattices in groups of the form (textrm{V}rtimes textrm{SL}_2(mathbb {R})), where (textrm{V}) is a finite dimensional real representation of (textrm{SL}_2(mathbb {R})). It turns out that the answer depends on the parity of (dim (textrm{V})) when the representation is irreducible.
{"title":"Lattices in $$mathbb {R}^nrtimes textrm{SL}_2(mathbb {R})$$","authors":"M. M. Radhika, Sandip Singh","doi":"10.1007/s00031-024-09874-z","DOIUrl":"https://doi.org/10.1007/s00031-024-09874-z","url":null,"abstract":"<p>We determine the existence of cocompact lattices in groups of the form <span>(textrm{V}rtimes textrm{SL}_2(mathbb {R}))</span>, where <span>(textrm{V})</span> is a finite dimensional real representation of <span>(textrm{SL}_2(mathbb {R}))</span>. It turns out that the answer depends on the parity of <span>(dim (textrm{V}))</span> when the representation is irreducible.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"45 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-07DOI: 10.1007/s00031-024-09868-x
Allan Merino, Hadi Salmasian
Let (textrm{E}=textrm{E}_{bar{0}}oplus textrm{E}_{bar{1}}) be a real or complex (mathbb {Z}_2)-graded vector space equipped with an even supersymmetric bilinear form that restricts to a symplectic form on (textrm{E}_{bar{0}}) and an orthogonal form on (textrm{E}_{bar{1}}). We obtain a full classification of reductive dual pairs in the (real or complex) orthosymplectic Lie superalgebra (mathfrak {spo})(E) and its associated Lie supergroup ({textbf {SpO}}(textrm{E})). Similar to the purely even case, dual pairs are divided into two subclasses: Type I and Type II. The main difference with the purely even case occurs in the characterization of (super)hermitian forms on modules over division superalgebras. We then use this classification to prove that for a reductive dual pair ((mathscr {G},, mathscr {G}') = ((textrm{G},, mathfrak {g}),, (textrm{G}',, mathfrak {g}'))) in ({textbf {SpO}}(textrm{E})), the superalgebra ({textbf {WC}}(textrm{E})^{mathscr {G}}) that consists of (mathscr {G})-invariant elements in the Weyl-Clifford algebra ({textbf {WC}}(textrm{E})), when it is equipped with the natural action of the orthosymplectic Lie supergroup ({textbf {SpO}}(textrm{E})), is generated by the Lie superalgebra (mathfrak {g}'). As an application of the latter double commutant property, we prove that Howe duality holds for the dual pairs (( {{textbf {SpO}}}(2n|1),, {{textbf {OSp}}}(2k|2l)) subseteq {{textbf {SpO}}}(mathbb {C}^{2k|2l} otimes mathbb {C}^{2n|1})).
{"title":"Classification and Double Commutant Property for Dual Pairs in an Orthosymplectic Lie Supergroup","authors":"Allan Merino, Hadi Salmasian","doi":"10.1007/s00031-024-09868-x","DOIUrl":"https://doi.org/10.1007/s00031-024-09868-x","url":null,"abstract":"<p>Let <span>(textrm{E}=textrm{E}_{bar{0}}oplus textrm{E}_{bar{1}})</span> be a real or complex <span>(mathbb {Z}_2)</span>-graded vector space equipped with an even supersymmetric bilinear form that restricts to a symplectic form on <span>(textrm{E}_{bar{0}})</span> and an orthogonal form on <span>(textrm{E}_{bar{1}})</span>. We obtain a full classification of reductive dual pairs in the (real or complex) orthosymplectic Lie superalgebra <span>(mathfrak {spo})</span>(E) and its associated Lie supergroup <span>({textbf {SpO}}(textrm{E}))</span>. Similar to the purely even case, dual pairs are divided into two subclasses: Type I and Type II. The main difference with the purely even case occurs in the characterization of (super)hermitian forms on modules over division superalgebras. We then use this classification to prove that for a reductive dual pair <span>((mathscr {G},, mathscr {G}') = ((textrm{G},, mathfrak {g}),, (textrm{G}',, mathfrak {g}')))</span> in <span>({textbf {SpO}}(textrm{E}))</span>, the superalgebra <span>({textbf {WC}}(textrm{E})^{mathscr {G}})</span> that consists of <span>(mathscr {G})</span>-invariant elements in the Weyl-Clifford algebra <span>({textbf {WC}}(textrm{E}))</span>, when it is equipped with the natural action of the orthosymplectic Lie supergroup <span>({textbf {SpO}}(textrm{E}))</span>, is generated by the Lie superalgebra <span>(mathfrak {g}')</span>. As an application of the latter double commutant property, we prove that Howe duality holds for the dual pairs <span>(( {{textbf {SpO}}}(2n|1),, {{textbf {OSp}}}(2k|2l)) subseteq {{textbf {SpO}}}(mathbb {C}^{2k|2l} otimes mathbb {C}^{2n|1}))</span>.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"4 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141942976","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-27DOI: 10.1007/s00031-024-09870-3
Rubén A. Hidalgo, Jennifer Paulhus, Sebastián Reyes-Carocca, Anita M. Rojas
In this article, we consider certain irreducible subvarieties of the moduli space of compact Riemann surfaces determined by the specification of actions of finite groups. We address the general problem of determining which among them are non-normal subvarieties of the moduli space. We obtain several new examples of subvarieties with this property.
{"title":"On Non-Normal Subvarieties of the Moduli Space of Riemann Surfaces","authors":"Rubén A. Hidalgo, Jennifer Paulhus, Sebastián Reyes-Carocca, Anita M. Rojas","doi":"10.1007/s00031-024-09870-3","DOIUrl":"https://doi.org/10.1007/s00031-024-09870-3","url":null,"abstract":"<p>In this article, we consider certain irreducible subvarieties of the moduli space of compact Riemann surfaces determined by the specification of actions of finite groups. We address the general problem of determining which among them are non-normal subvarieties of the moduli space. We obtain several new examples of subvarieties with this property.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"39 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00031-024-09869-w
B. Feigin, M. Jimbo, E. Mukhin
We use combinatorics of qq-characters to study extensions of deformed W-algebras. We describe additional currents and part of the relations in the cases of (mathfrak {gl}(n|m)) and (mathfrak {osp}(2|2n)).
我们用 qq 字符的组合学来研究变形 W 轴的扩展。我们描述了在(mathfrak {gl}(n|m)) 和(mathfrak {osp}(2|2n)) 情况下的额外电流和部分关系。
{"title":"Extensions of Deformed W-algebras via qq-characters","authors":"B. Feigin, M. Jimbo, E. Mukhin","doi":"10.1007/s00031-024-09869-w","DOIUrl":"https://doi.org/10.1007/s00031-024-09869-w","url":null,"abstract":"<p>We use combinatorics of <i>qq</i>-characters to study extensions of deformed <i>W</i>-algebras. We describe additional currents and part of the relations in the cases of <span>(mathfrak {gl}(n|m))</span> and <span>(mathfrak {osp}(2|2n))</span>.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"52 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141778229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-10DOI: 10.1007/s00031-024-09866-z
Adrián Andrada, Alejandro Tolcachier
We study complex solvmanifolds (Gamma backslash G) with holomorphically trivial canonical bundle. We show that the trivializing section of this bundle can be either invariant or non-invariant by the action of G. First we characterize the existence of invariant trivializing sections in terms of the Koszul 1-form (psi ) canonically associated to ((mathfrak {g},J)), where (mathfrak {g}) is the Lie algebra of G, and we use this characterization to produce new examples of complex solvmanifolds with trivial canonical bundle. Moreover, we provide an algebraic obstruction, also in terms of (psi ), for a complex solvmanifold to have trivial (or more generally holomorphically torsion) canonical bundle. Finally, we exhibit a compact hypercomplex solvmanifold ((M^{4n},{J_1,J_2,J_3})) such that the canonical bundle of ((M,J_{alpha })) is trivial only for (alpha =1), so that M is not an ({text {SL}}(n,mathbb {H}))-manifold.
我们研究了具有全形琐碎典型束的复(Gamma backslash G)溶球。我们证明,在 G 的作用下,这个束的微分截面可以是不变的,也可以是非不变的。首先,我们用与((mathfrak {g},J)) 规范关联的科斯祖尔 1-form (psi ) 来描述不变琐化部分的存在,其中(mathfrak {g}) 是 G 的李代数。此外,我们还用 (psi )提供了一个代数障碍,使复溶点具有琐碎的(或更一般的全形扭转的)典范束。最后,我们展示了一个紧凑超复数 solvmanifold ((M^{4n},{J_1,J_2,J_3})),使得 ((M,J_{alpha })的典型束只有在 (alpha =1)时才是琐碎的,因此 M 不是一个 ({text {SL}}(n,mathbb {H}))-manifold。
{"title":"On the Canonical Bundle of Complex Solvmanifolds and Applications to Hypercomplex Geometry","authors":"Adrián Andrada, Alejandro Tolcachier","doi":"10.1007/s00031-024-09866-z","DOIUrl":"https://doi.org/10.1007/s00031-024-09866-z","url":null,"abstract":"<p>We study complex solvmanifolds <span>(Gamma backslash G)</span> with holomorphically trivial canonical bundle. We show that the trivializing section of this bundle can be either invariant or non-invariant by the action of <i>G</i>. First we characterize the existence of invariant trivializing sections in terms of the Koszul 1-form <span>(psi )</span> canonically associated to <span>((mathfrak {g},J))</span>, where <span>(mathfrak {g})</span> is the Lie algebra of <i>G</i>, and we use this characterization to produce new examples of complex solvmanifolds with trivial canonical bundle. Moreover, we provide an algebraic obstruction, also in terms of <span>(psi )</span>, for a complex solvmanifold to have trivial (or more generally holomorphically torsion) canonical bundle. Finally, we exhibit a compact hypercomplex solvmanifold <span>((M^{4n},{J_1,J_2,J_3}))</span> such that the canonical bundle of <span>((M,J_{alpha }))</span> is trivial only for <span>(alpha =1)</span>, so that <i>M</i> is not an <span>({text {SL}}(n,mathbb {H}))</span>-manifold.</p>","PeriodicalId":49423,"journal":{"name":"Transformation Groups","volume":"24 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}