Unitriangular Shape of Decomposition Matrices of Unipotent Blocks
我们证明了有限约化群$\mathbf{G}(\mathbb{F}_q)$的幂单$\ell$ -块的分解矩阵具有单三角形,假设$q$是好素数的幂,且$\ell$对$\mathbf{G}$是非常好的.这是Geck在1990年作为他的博士论文的一部分提出的。我们建立了这个结果,通过构造投射模,使用修改广义Gelfand-Graev字符介绍的Kawanaka。我们证明,每个这样的字符有至多一个幂幺成分发生的多重性。这就建立了一个30年前的Kawanaka猜想。
2020-06-17 math.RT
Heisenberg characters, unitriangular groups, and Fibonacci numbers
设$\UT_n(\FF_q)$表示有限域上具有$q$元素的幂单$n\times n$上三角矩阵群。我们表明,$\UT_{n+1}(\FF_q)$的海森堡字符索引的晶格路径从原点到线$x+y=n$使用的步骤$(1,0), (1,1), (0,1), (1,1)$,这是以一定的方式标记的非零元素的$\FF_q$。特别地,我们证明了对于$n\geq 1$,$\UT_{n+1}(\FF_q)$的Heisenberg特征标数是$q-1$中的多项式,它的系数为$n$的第n个Fibonacci数,系数为非负整数,次数为$n$.同样,我们发现$\UT_n(\FF_q)$的海森堡超特征标数是$q-1$中的多项式,其系数是Delannoy数,其值给出Pell数的$q$ -模拟.通过对一组线性特征标作用的不动点的计数,证明了由超对角元素和为零的矩阵构成的$\UT_n(\FF_q)$子群的超特征标、不可约超特征标、Heisenberg超特征标和Heisenberg特征标的个数同样都是$q-1$中的非负整系数多项式.
2012-01-13 math.CO math.RT
Combinatorial methods of character enumeration for the unitriangular group
令$\UT_n(q)$表示具有$q$元素的域上的幂单$n\times n$上三角矩阵群。$\UT_n(q)$的复不可约特征标的次数正好是整数$q^e$和$0\leq e\leq \lfloor \frac{n}{2} \rfloor \lfloor \frac{n-1}{2} \rfloor$,并且已经证明了次数为$q^e$的$\UT_n(q)$的不可约特征标的数目是$q-1$中具有非负整数系数的多项式(取决于$n$和$e$)。当$e\leq 8$和$n$是任意的时,我们通过计算机计算证实了这个猜想.特别是,我们描述了一种算法,它允许我们推导出明确的二元多项式在$n$和$q$给出了一些不可约字符的$\UT_n(q)$与程度$q^e$时$n>2e$和$e\leq 8$。当除以$q^{n-e-2}$并以变量$n-2e-1$和$q-1$表示时,这些函数实际上是具有非负整数系数的二元多项式,这表明了关于这种字符计数的更强的猜想。作为这些计算的一个应用,我们证明了$\leq q^8$次的$\UT_n(q)$的所有不可约特征标都是Kirillov函数.我们还讨论了有关$\UT_n(q)$的各个超特征标的不可约成分的计数问题的一些相关结果。
2011-07-22 math.CO math.RT
Subregular characters of the group UT(n,R)
给出了单三角李群的次正则特征标的计算公式。用轨道方法描述了正则和次正则特征标的支集。
2012-12-11 math.RT
Basic sets for unipotent blocks of finite reductive groups in bad characteristic
本文证明了除某些例外情形外,经典型幂幺块单约化群的坏特征单三角基集的存在性。然后,我们引入了一个计算不可约幂幺Brauer特征标的算法,并证明了该算法对例外伴随群是有效的。
2018-10-15 math.RT
Bounding Harish-Chandra series
我们使用前一篇文章中构造的子生成元给出了有限约化群的单模是尖点模的必要条件,或者更一般地给出了它可以属于哪一个Harish-Chandra级数的信息.作为第一个应用程序,我们展示了不可约的最小幂幺字符在任何Harish-Chandra系列。其次,我们确定了有限正交群的幂幺分解矩阵的一部分的单三角逼近,并证明了在某些Brauer特征标度上的一个间隙结果。
2017-01-05 math.GR math.RT
An equivariant bijection between irreducible Brauer characters and weights for Sp(2n, q)
长期存在的Alperin重量猜想和它的分块版本已减少到单群最近由Navarro,Tiep,Spaeth和Koshitani。因此,要证明这个猜想,只需证明所有有限单群的相应归纳条件即可。第一个是建立单群的泛覆叠群的不可约Brauer特征标与权之间的等变双射。假设q是某个奇素数p的幂,首先证明了关于Sp 2n(q)的分块Alperin重量猜想和奇非定义特征.如果Sp 2n(q)的分解矩阵关于Aut(Sp 2n(q))-稳定的基集是单三角的(这个假设对线性素数成立),我们可以在不可约Brauer特征标和权之间建立一个等变双射。
2019-01-21 math.GR math.RT
Supercharacters of discrete algebra groups
有限群的超特征标理论的概念是由Diaconis和Isaacs引入的,作为通常的不可约特征标理论的替代,并在有限代数群的情况下以一个特殊的构造为例。我们将这种构造推广到任意可数离散代数群,其中超类和不可分解超特征分别扮演共轭类和不可分解特征的角色。我们的建设可以理解为一个粗糙的版本Kirillov的轨道方法和Diaconis和Isaacs建设有限代数群的推广。然而,我们采用遍历的理论观点。然后用素数特征的代数闭域上的上单三角矩阵群的标准超特征标的刻画来说明这个理论。
2021-01-27 math.GR math.RT
A triangular system for local character expansions of Iwahori-spherical representations of general linear groups
对于非阿基米德一般线性群的Iwahori-球面表示,Chan-Savin最近将Whittaker函子表示为对有限Iwahori-Hecke代数模的同构分量的限制。我们推广这种方法来描述主退化Whittaker函子。同时,我们认为Murnaghan的公式的Harish-Chandra-Howe字符作为一个Grothendieck群扩展相同的模块。从Zelevinsky的PSH-代数的角度比较了这两种方法,得到了特征展开系数与主退化Whittaker维数之间的显式单三角转移阵.
2022-01-04 math.RT
Supercharacters of unipotent and solvable groups
超字符理论的概念由P.Diaconis和I. M. Isaaks在2008年提出。本文回顾了一般群理论的主要论述,考察了有限域上代数群的超特征标理论和单三角群的基本特征标理论的构造。本文在前人工作的基础上,构造了三角型有限群的超特征标理论。刻画了有限域上三角群的超特征标的霍普夫代数的结构.
2016-11-27 math.RT
Minimal characteristic bisets and finite groups realizing Ruiz-Viruel exotic fusion systems
在前人工作的基础上,我们在Ruiz和Viruel发现的阶为$7^3$,指数为$7$的超特殊群$S$上,对每个奇异融合系统$\mathcal{F}$确定了一个最小左特征偏集$X$,并分析了由$X$得到的有限群$G$,它实现了$G$的$7$ -融合系统的满子范畴$\mathcal{F}$.特别地,我们得到了$\mathcal{F}$的奇异性指数的上界。
2010-11-19 math.GR math.RT
Iterative character constructions for algebra groups
本文构造了代数群的一族正交特征标,它分解了Diaconis和Isaacs定义的超特征标。与超特征标一样,这些特征标也是由Kirillov函数的非负整数线性组合给出的,并且是由某些代数子群的线性超特征标导出的。我们推导出一个公式,这些字符,并给出了一个条件,其不可约的推广定理的奥托,我们还表明,每个这样的字符有相同数量的基里洛夫功能和不可约字符的成分。在证明这些结果,我们观察到作为一个应用程序如何最近的计算Evseev意味着,每一个不可约字符的unitriangular群$\UT_n(q)$的单幂$n\times n$上三角形矩阵在有限域上的$q$元素是一个Kirillov函数当且仅当$n\leq 12$。作为进一步的应用,我们讨论了Kirillov函数是特征标的一些更一般的条件,并描述了与计算超特征标的不可约分支有关的一些结果。
2012-01-13 math.RT
Irreducible Characters for the Symmetric Groups and Kostka Matrices
在较早的论文[1]中,我们证明了对称群的Frobenius复合特征标与不可约特征标之间存在一个线性关系,该线性关系涉及一个单三角耦合矩阵,该矩阵给出了以不可约特征标的线性组合表示的Frobenius特征标。由于我们有了弗罗贝纽斯特征标的公式,并且需要不可约特征标的值,因此需要颠倒这种关系。这种求逆是直接的,它既产生不可约特征,也产生原来方向上的Kostka矩阵的耦合矩阵。我们表明,如果Frobenius单项式恒等式被应用于它的修改,方程(22),产生一个单项式公式,该公式产生Kostka矩阵逆,而不涉及任何类型的特征。然而,这是一个艰巨的任务,以执行这一程序的对称群,甚至适度的秩序。或者,通过单三角耦合矩阵的反演同时产生Kostka矩阵和不可约特征,并且比单项式方法所需的努力要少得多。此外,还有一个惊喜。
2018-05-14 math.RT
On the exotic t-structure in positive characteristic
本文研究了定义在具有单连通导出子群的正特征域上的连通约化代数群的Springer分解上的等变相干层的导出范畴上的Bezrukavnikov奇异t-结构。特别地,我们证明了奇异t-结构的心是一个分次的最高权范畴,并研究了这个心中的倾斜对象。我们的主要工具是Bezrukavnikov和第二作者研究的“几何辫群作用”。
2015-06-18 math.RT
Exotic symmetric space over a finite field, I
设V是奇特征的代数闭域上的2n维向量空间。设G = GL(V),H = Sp_{2n}是G中包含的辛群.我们称X = G/H \times V为奇异对称空间,因为它的“幂幺”部分同构于Kato奇异的幂零锥。设W是Cn型外尔群. Kato基于仿射Hecke代数的Ginzburg理论,建立了奇异nilcone中W-轨道和H-轨道的不可约特征标之间的Springer对应。本文发展了X上的特征层理论,并在此基础上给出了Springer对应的另一种证明.
2013-02-26 math.RT
Representation Theory of $UT_3(\mathbb{F}_3)$ and its Applications to Equivariant Decomposition in Neural Architectures
本文证明了G-CNN中等变特征空间和滤波器分解及不变子空间链的结构保持定理,并给出$UT_3(\F_3)$不可约表示的显式矩阵形式,为设计尊重深层代数结构的新G-CNN架构奠定基础。
2025-07-11 math.RT
Exotic symmetric space over a finite field, III
设X是奇异对称空间G/H \times V,其中G= GL(V),H = Sp(V)是奇特征的代数闭域上的辛向量空间V.在我们以前的论文中,X上的特征标层是基于显式数据构造的。本文在对称空间的情况下,基于Ginzburg的思想,给出了X上特征层的概念性定义,称之为Ginzburg型特征层。我们证明了X上的Ginzburg型特征标层实际上与本文中定义的特征标层一致。给出了X上Ginzburg型特征标层的分类。
2014-07-31 math.RT
The exotic Robinson-Schensted correspondence
研究了辛群在向量与旗对上的作用。考虑余正规簇的不可约分量,我们得到了Robinson-Schensted对应的一个奇异模拟。从理论上讲,由此产生的细胞与外来字符层有关。
2011-11-21 math.RT
Exotic symmetric space over a finite field, II
本文是论文的第二部分。本文证明了Achar-Henderson的一个猜想,即与Kato奇异幂零锥中Sp_{2n} -轨道的闭包相关联的交上同调复形的Poincare多项式与第一作者引入的以双分拆为指标的修正Kostka多项式重合.事实上,加藤最近用另一种方法证明了这个猜想。我们的方法是基于奇异对称空间上的特征层理论。
2012-12-24 math.RT
Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirkovic-Vilonen conjecture
设$\mathbf{G}$是一个代数闭域$\mathbb{F}$上的连通约化群,它满足一些温和的条件.在本文中,我们涉及倾斜对象的心脏Bezrukavnikov的奇异的t-结构上的导出范畴的等变相干层的施普林格分辨率的$\mathbf{G}$,和Iwahori可构造的$\mathbb{F}$ -宇称层的仿射格拉斯曼的Langlands对偶群。作为应用程序,我们推导出特别是缺失的一块证明的Mirkovic-Vilonen猜想在充分的一般性(即良好的特性),一个模块化版本的等价类由于Arkhipov Bezrukavnikov-金兹伯格,并延长这一等价。
2016-06-30 math.RT
Integral exotic sheaves and the modular Lusztig-Vogan bijection
设G是特征很好的代数闭域k上的约化群. Lusztig-Vogan双射是G的支配权集和幂零轨道上的不可约G-等变向量丛集之间的双射,由Lusztig和Vogan独立地证明,并由Bezrukavnikov在完全一般性下构造。在特征为0时,这个双射与仿射外尔群中的双边胞腔理论有关,并且在证明关于量子群在单位根单位根上的倾斜模的支集簇的Humphreys猜想中起着关键作用。在本文中,我们证明了Lusztig-Vogan双射是(在某种程度上,在本文的主体精确)独立于k的特征。这使我们能够将其所有已知属性从特征-0设置扩展到一般情况。我们也希望这个结果是一个步骤,证明了汉弗莱斯猜想的支持品种的倾斜模的约化群的积极特征。
2022-02-18 math.RT
Exotic symmetric spaces of higher level - Springer correspondence for complex reflection groups -
设V是奇特征的代数闭域上的2n维向量空间。设G = GL(V),H = Sp(V)是G中包含的辛群.对于正整数r > 1,我们考虑簇X = G/H \times V^{r-1},H对角地作用在其上. X称为r级奇异对称空间。设W_{n,r}为复反射群G(r,1,n).本文推广了r = 2时的结果,证明了W_{n,r}的不可约表示集与X_{uni} $上的某个H-等变单逆层集之间存在自然的双射对应(Springer对应),其中X_{uni}是X的“幂幺部分”.我们还考虑了G \times V^{r-1}的一个类似问题,其中G = GL(V)对于一个有限维向量空间V.
2014-07-31 math.RT
An exotic finite pretriangulated category over any algebraically closed field
Universidad de Sevilla(塞维利亚大学)
该研究在任意特征代数闭域上,构造了广义 Dynkin 型预投射代数 $\tilde{A}_2$ 的有限维投射模范畴的三角化结构,证明其既非代数也非拓扑三角化范畴,拓展了三角化范畴的存在性结论。
2026-08-25 math.CT math.KT math.RT
An exotic Deligne-Langlands correspondence for symplectic groups
设G是复辛群。引入了一个Gx(C ^x)^{1 + 1}簇N_{l},我们称之为l-奇异幂零锥.然后,我们利用N_2的几何,通过等变代数K理论,实现了具有三个参数的Cn ^(1)型Hecke代数H。这使我们能够建立一个Deligne-Langlands型分类的“非临界”简单H-模。作为应用,我们给出了H-模的特征标公式和重数公式。
2009-03-03 math.QA math.RT
On the U-module Structure of the Unipotent Specht Modules of Finite General Linear Groups
设$q$是一个素数幂,$G=GL_n(q)$,$U\leqslant G$是$G$中(下)单三角矩阵的子群.对于$n$的一个划分,$λ$表示复域$\C$上相应的幂单Specht模,$G$由$S^λ$表示。证明了对于$c\in \Z_{\geqslant 0}$,$S^λ$到$U$的限制$\RRes^{G}_U(S^λ)$的维数$q^c$的不可约成分的个数是$q$中的多项式,其整数系数只取决于$c$和$λ$,而不取决于$q$ .在特殊情况下的分区$λ=(1^n)$这意味着一个长期的(仍然开放)猜想Higman \cite{higman},说明数共轭类的$U$应该是一个多项式在$q$与整数系数只取决于$n$不$q$。本文在$λ=(n-m,m)$ $(0\leqslant m \leqslant n/2)$是2-部分划分的情况下证明了这个猜想。由此,我们得到了M.勃兰特河迪珀,G。James和S.莱尔在\cite{brandt2},\cite{dj1}和解释的秩多项式出现。
2013-04-17 math.RT
Pieces of nilpotent cones for classical groups
我们比较了$B_n$型幂零锥、$C_n$型幂零锥和Kato奇异幂零锥中的轨道。证明了在奇异幂零锥中,$B_n$型或$C_n$型的每个幂零轨道中的$\F_q$ -点的个数等于相应的轨道并中的个数,称为$B$型或$C$型.这是Lusztig的结果的一个更精细的版本,即在类型$B_n$和$C_n$中对应的特殊片具有相同数量的$\F_q$ -点。证明需要研究特征2的情况,其中三个幂零锥之间可以建立更直接的联系。我们还证明了奇异幂零锥的$B$型和$C$型片在任何特征上都是光滑的.
2010-01-24 math.CO math.RT
On exotic matrix exponential sums and Bessel-Speh functions
University of Michigan(密歇根大学)
研究贝塞尔 - 斯佩函数特殊值,通过引入奇异矩阵克洛斯特曼和计算其值,该和推广了卡茨的奇异克洛斯特曼和与扭曲矩阵克洛斯特曼和,还将其表示为修正霍尔 - 利特伍德多项式乘积,进而为贝塞尔函数建立新恒等式。
2026-07-08 math.NT math.RT