The Canonical component of the nilfibre for parabolic adjoint action in type A

IF 0.6 3区 数学 Q3 MATHEMATICS
{"title":"The Canonical component of the nilfibre for parabolic adjoint action in type A","authors":"","doi":"10.1007/s10801-023-01296-6","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>This work is a continuation of [Y. Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass Sections and components of the nilfibre in type <em>A</em>]. Let <em>P</em> be a parabolic subgroup of an irreducible simple algebraic group <em>G</em>. Let <span> <span>\\(P'\\)</span> </span> be the derived group of <em>P</em>, and let <span> <span>\\({\\mathfrak {m}}\\)</span> </span> be the Lie algebra of the nilradical of <em>P</em>. A theorem of Richardson implies that the subalgebra <span> <span>\\({\\mathbb {C}}[{\\mathfrak {m}}]^{P'}\\)</span> </span>, spanned by the <em>P</em> semi-invariants in <span> <span>\\({\\mathbb {C}}[{\\mathfrak {m}}]\\)</span> </span>, is polynomial. A linear subvariety <span> <span>\\(e+V\\)</span> </span> of <span> <span>\\({\\mathfrak {m}}\\)</span> </span> is called a Weierstrass section for the action of <span> <span>\\(P'\\)</span> </span> on <span> <span>\\({\\mathfrak {m}}\\)</span> </span>, if the restriction map induces an isomorphism of <span> <span>\\({\\mathbb {C}}[{\\mathfrak {m}}]^{P'}\\)</span> </span> onto <span> <span>\\({\\mathbb {C}}[e+V]\\)</span> </span>. Thus, a Weierstrass section can exist only if the latter is polynomial, but even when this holds its existence is far from assured. Let <span> <span>\\({\\mathscr {N}}\\)</span> </span> be zero locus of the augmentation <span> <span>\\({\\mathbb {C}}[{\\mathfrak {m}}]^{P'}_+\\)</span> </span>. It is called the nilfibre relative to this action. Suppose <span> <span>\\(G=\\textrm{SL}(n,{\\mathbb {C}})\\)</span> </span>, and let <em>P</em> be a parabolic subgroup. In [Y. Fittouhi and A. Joseph, loc. cit.], the existence of a Weierstrass section <span> <span>\\(e+V\\)</span> </span> in <span> <span>\\({\\mathfrak {m}}\\)</span> </span> was established by a general combinatorial construction. Notably, <span> <span>\\(e \\in {\\mathscr {N}}\\)</span> </span> and is a sum of root vectors with linearly independent roots. The Weierstrass section <span> <span>\\(e+V\\)</span> </span> looks very different for different choices of parabolics but nevertheless has a uniform construction and exists in all cases. It is called the “canonical Weierstrass section”. Through [Y. Fittouhi and A. Joseph, loc. cit. Prop. 6.9.2, Cor. 6.9.8], there is always a “canonical” component <span> <span>\\({\\mathscr {N}}^e\\)</span> </span> of <span> <span>\\({\\mathscr {N}}\\)</span> </span> containing <em>e</em>. It was announced in [Y. Fittouhi and A. Joseph, loc. cit., Prop. 6.10.4] that one may augment <em>e</em> to an element <span> <span>\\(e_\\textrm{VS}\\)</span> </span> by adjoining root vectors. Then the linear span <span> <span>\\(E_\\textrm{VS}\\)</span> </span> of these root vectors lies in <span> <span>\\(\\mathscr {N}^e\\)</span> </span> and its closure is just <span> <span>\\({\\mathscr {N}}^e\\)</span> </span>. Yet, this same result shows that <span> <span>\\({\\mathscr {N}}^e\\)</span> </span> need <em>not</em> admit a dense <em>P</em> orbit [Y. Fittouhi and A. Joseph, loc. cit., Lemma 6.10.7]. For the above [Y. Fittouhi and A. Joseph, loc. cit., Theorem 6.10.3] was needed. However, this theorem was only verified in the special case needed to obtain the example showing that <span> <span>\\({\\mathscr {N}}^e\\)</span> </span> may fail to admit a dense <em>P</em> orbit. Here a general proof is given (Theorem 4.4.5). Finally, a map from compositions to the set of distinct non-negative integers is defined. Its image is shown to determine the canonical Weierstrass section. One may anticipate that the remaining components of <span> <span>\\({\\mathscr {N}}\\)</span> </span> can be similarly described. However, this is a long story and will be postponed for a subsequent paper. These results should form a template for general type.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Algebraic Combinatorics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10801-023-01296-6","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

This work is a continuation of [Y. Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass Sections and components of the nilfibre in type A]. Let P be a parabolic subgroup of an irreducible simple algebraic group G. Let \(P'\) be the derived group of P, and let \({\mathfrak {m}}\) be the Lie algebra of the nilradical of P. A theorem of Richardson implies that the subalgebra \({\mathbb {C}}[{\mathfrak {m}}]^{P'}\) , spanned by the P semi-invariants in \({\mathbb {C}}[{\mathfrak {m}}]\) , is polynomial. A linear subvariety \(e+V\) of \({\mathfrak {m}}\) is called a Weierstrass section for the action of \(P'\) on \({\mathfrak {m}}\) , if the restriction map induces an isomorphism of \({\mathbb {C}}[{\mathfrak {m}}]^{P'}\) onto \({\mathbb {C}}[e+V]\) . Thus, a Weierstrass section can exist only if the latter is polynomial, but even when this holds its existence is far from assured. Let \({\mathscr {N}}\) be zero locus of the augmentation \({\mathbb {C}}[{\mathfrak {m}}]^{P'}_+\) . It is called the nilfibre relative to this action. Suppose \(G=\textrm{SL}(n,{\mathbb {C}})\) , and let P be a parabolic subgroup. In [Y. Fittouhi and A. Joseph, loc. cit.], the existence of a Weierstrass section \(e+V\) in \({\mathfrak {m}}\) was established by a general combinatorial construction. Notably, \(e \in {\mathscr {N}}\) and is a sum of root vectors with linearly independent roots. The Weierstrass section \(e+V\) looks very different for different choices of parabolics but nevertheless has a uniform construction and exists in all cases. It is called the “canonical Weierstrass section”. Through [Y. Fittouhi and A. Joseph, loc. cit. Prop. 6.9.2, Cor. 6.9.8], there is always a “canonical” component \({\mathscr {N}}^e\) of \({\mathscr {N}}\) containing e. It was announced in [Y. Fittouhi and A. Joseph, loc. cit., Prop. 6.10.4] that one may augment e to an element \(e_\textrm{VS}\) by adjoining root vectors. Then the linear span \(E_\textrm{VS}\) of these root vectors lies in \(\mathscr {N}^e\) and its closure is just \({\mathscr {N}}^e\) . Yet, this same result shows that \({\mathscr {N}}^e\) need not admit a dense P orbit [Y. Fittouhi and A. Joseph, loc. cit., Lemma 6.10.7]. For the above [Y. Fittouhi and A. Joseph, loc. cit., Theorem 6.10.3] was needed. However, this theorem was only verified in the special case needed to obtain the example showing that \({\mathscr {N}}^e\) may fail to admit a dense P orbit. Here a general proof is given (Theorem 4.4.5). Finally, a map from compositions to the set of distinct non-negative integers is defined. Its image is shown to determine the canonical Weierstrass section. One may anticipate that the remaining components of \({\mathscr {N}}\) can be similarly described. However, this is a long story and will be postponed for a subsequent paper. These results should form a template for general type.

A 型抛物线邻接作用的 nilfibre 的典型分量
摘要 本文是 [Y. Fittouhi 和 A. Joseph, Parabolic adjoint action, Weierstrass Sections and components in type A] 的继续。Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass Sections and components of the nilfibre in type A].设 P 是不可还原简单代数群 G 的抛物线子群。让 \(P'\) 是 P 的导出群,让 \({\mathfrak {m}}\) 是 P 的 nilradical 的李代数。理查森(Richardson)的一个定理意味着子代数 \({\mathbb {C}}[{\mathfrak {m}}]^{P'}\) ,由 \({\mathbb {C}}[{\mathfrak {m}}]\) 中的 P 半变量所跨,是多项式的。P'\)对\({\mathfrak {m}}\)的作用的一个线性子变量\(e+V\)被称为魏尔斯特拉斯截面、如果限制映射引起了 \({\mathbb {C}}[{\mathfrak {m}}]^{P'}\) 到 \({\mathbb {C}}[e+V]\) 的同构。因此,魏尔斯特拉斯截面只有在后者是多项式的情况下才会存在,但即使这一点成立,它的存在也远未得到保证。让 \({\mathscr {N}}\) 成为增强 \({\mathbb {C}}[{\mathfrak {m}}]^{P'}_+\) 的零点。相对于这个动作,它被称为无纤维。假设 \(G=\textrm{SL}(n,{\mathbb {C}})\),并让 P 是一个抛物线子群。在[Y. Fittouhi and A. Joseph, loc. cit.]中,通过一个一般的组合构造证明了在\({mathfrak {m}\}) 中存在一个魏尔斯特拉斯截面\(e+V\)。值得注意的是\(e \in {\mathscr {N}}\) 是具有线性独立根的根向量之和。对于抛物线的不同选择,魏尔斯特拉斯截面(e+V)看起来非常不同,但它有统一的构造,并且在所有情况下都存在。它被称为 "典型魏尔斯特拉斯截面"。通过[Y. Fittouhi and A. Joseph, loc. cit. Prop. 6.9.2, Cor. 6.9.8],\({\mathscr {N}}^e\) 总是存在一个包含 e 的 "规范 "部分 \({\mathscr {N}}^e\) 、Prop. 6.10.4] 中宣布,我们可以通过邻接根向量将 e 增为元素 \(e_textrm{VS}/)。那么这些根向量的线性跨度 \(E_textrm{VS}\) 位于 \(\mathscr {N}^e\) 中,它的闭包就是 \({\mathscr {N}}^e\) 。然而,同样的结果表明,\({\mathscr {N}^e\) 不一定要有密集的 P 轨道[Y. Fittouhi and A. Joseph, loc. cit., Lemma 6.10.7]。为此,我们需要[Y. Fittouhi and A. Joseph, loc. cit., Theorem 6.10.3]。然而,这个定理只在特例中得到了验证,这个特例表明 \({\mathscr {N}}^e\) 可能无法接纳密集的 P 轨道。这里给出了一般证明(定理 4.4.5)。最后,定义了一个从构成到不同非负整数集合的映射。它的图象被证明可以确定典范魏尔斯特拉斯截面。我们可以预料到 \({\mathscr {N}}\) 的其余成分也可以得到类似的描述。然而,这是一个很长的故事,将推迟到以后的论文中讨论。这些结果应该成为一般类型的模板。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
1.50
自引率
12.50%
发文量
94
审稿时长
6-12 weeks
期刊介绍: The Journal of Algebraic Combinatorics provides a single forum for papers on algebraic combinatorics which, at present, are distributed throughout a number of journals. Within the last decade or so, algebraic combinatorics has evolved into a mature, established and identifiable area of mathematics. Research contributions in the field are increasingly seen to have substantial links with other areas of mathematics. The journal publishes papers in which combinatorics and algebra interact in a significant and interesting fashion. This interaction might occur through the study of combinatorial structures using algebraic methods, or the application of combinatorial methods to algebraic problems.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信