Character sheaves and characters of unipotent groups over finite fields
设G_0是有限域F_q上的连通幂幺代数群,G是F_q的一个代数闭包F上的幂幺群.若M是G上的Frobenius不变特征标层,则证明M来自G_0上的不可约逆层M_0,它是重量为0的纯的。当M在G上的所有Frobenius不变特征层上值域时,由相应的反常层M_0定义的函数构成了有限群G_0(F_q)上共轭不变函数空间的基,该基关于标准非规范化Hermitian内积是标准正交的.将这个基与由G_0(F_q)的不可约特征标形成的基相关联的矩阵是块对角的,其中块对应于(特征标的,或者等价地,特征标层的)L-包。我们还将这个结果推广到了F_q上可能不连通的幂幺群的情形。(In一般地,G上的Frobenius不变特征标层与G的所有纯内形式的F_q点群的不可约特征标有关。
2011-08-30 math.RT
On character sheaves and characters of reductive groups at unipotent classes
为了确定有限约化群在幂幺元处的特征标值,我们证明了关于广义Gelfand-Graev特征标与特征标层的特征函数(这里称为Lusztig函数)的内积的若干结果.这些被用来确定广义Gelfand-Graev字符的投影到unipotent字符的空间,并与一个给定的波前集字符的空间。这种预测主要用外尔群数据表示。我们展示了如何在他们的幂幺支持或波前集字符的值是由这样的数据。在一些特殊的群体,我们表明,一个广义Gelfand-Graev字符的投影到一个家庭具有相同的波前集是(签署)的梅林变换的对偶。利用这些结果,在某些情况下,我们能够确定的根的单位关系几乎字符的特征函数。特别是,我们展示了如何计算所有的幂幺字符的值在所有的幂幺类的特殊伴随群的类型G2,F4,E6,E7和E8。我们还提供了一个附录,给出了所有拟单群上尖点特征层的完整列表。
2015-02-02 math.RT
Character sheaves on unipotent groups in positive characteristic: foundations
University of Chicago(芝加哥大学)
研究正特征下幂幺群上特征层理论,证明其主要定理,即容许对与特征层的\(L\)-包的对应关系,还通过附录探讨了相关范畴理论模式,如幺半范畴对偶、拓扑场论方法定义结构及证明导出范畴定义等价等。
2026-07-21 math.RT
Unipotent almost characters of simple p-adic groups
设G是单伴随群,K=k((ε)),其中k是有限域F_q的代数闭包.本文在G(K)上定义了一些与G(k)上的幂单特征标层的上同调层相似的几何对象。利用这些几何对象,我们定义了G(K_0)的幂幺概特征标,其中K_0=F_q((ε)),并给出了它们与G(K_0)的幂幺表示特征标之间的关系。
2014-10-19 math.RT
Evaluating Characteristic Functions of Character Sheaves at Unipotent Elements
设$\mathbf{G}$是定义在素数阶有限域$p>0$的代数闭包$\mathbb{K} = \overline{\mathbb{F}}_p$上的连通约化代数群.此外,假设$F : \mathbf{G} \to \mathbf{G}$是$\mathbf{G}$的Frobenius自同态。本文给出了$\mathbf{G}$的任意$F$ -稳定特征标层在幂幺元处的值的一个公式。该公式用$\mathbf{G}^F$的类函数表示,这些类函数在$\mathbf{G}$的单个幂单性类上得到支持。在一般情况下,这些功能是不确定的,但我们给出了一个表达式,这些功能的假设下,$Z(\mathbf{G})$是连通的,$\mathbf{G}/Z(\mathbf{G})$是简单的和$p$是一个好的素数$\mathbf{G}$。在这种情况下,我们的公式是完全明确的。
2014-09-16 math.RT
Character sheaves on disconnected groups, X
在对约化代数群的基域的特征作一个较温和的假设下,对约化群的固定连通分支上的幂幺特征层进行了分类。
2008-07-16 math.RT
Crossed S-matrices and Character Sheaves on Unipotent Groups
设$\mathtt{k}$是特征$p$的有限域$\mathbb{F}_{q}$的代数闭包.设$G$是$\mathtt{k}$上的连通幂幺群,它具有由Frobenius映射$F:G\to G$给出的$\mathbb{F}_q$ -结构.我们将用$G_0$表示在$\mathbb{F}_q$上定义的相应代数群。$G$上的特征标层是$G$上的有界共轭等变$\bar{\mathbb{Q}}_l$ -复形(其中$l\neq p$是素数)的三角辫幺半群范畴$\mathscr{D}_G(G)$中的某些对象。Boyarchenko证明了“跟踪Frobenius”功能与$F$稳定的特点层$G$形式的正交基的空间类函数的$G_0(\mathbb{F}_q)$和矩阵有关的基础上形成的基础上的不可约的特点$G_0(\mathbb{F}_q)$是块对角块与“小”块。在本文中,我们描述了这些块矩阵,并解释为某些“交叉$S$矩阵”。我们还推导出一个公式的尺寸的不可约表示的$G_0(\mathbb{F}_q)$,对应于一个这样的块在某些模块化的分类数据与该块。事实上,我们将制定和证明更一般的结果,可能不连通的群体$G$,$G^\circ$是幂单的。为了证明我们的结果,我们将建立一个公式(适用于任何代数群$G$),该公式表示$\mathscr{D}_G(G)$的任何$F$ -稳定对象的“Frobenius迹”函数的内…
2015-12-29 math.RT
Shintani descent for algebraic groups and almost characters of unipotent groups
本文将Shintani下降的概念推广到有限域$\mathbb{F}_q$上的一般(可能不连通)代数群.为此,必须同时处理代数群的所有纯内$\mathbb{F}_q$ -有理形式。证明了T. Shoji使用Shintani下降)是很好地定义为任何中立幂单代数群,即一个代数群,其中立连通分量是一个幂幺群。我们还证明了这些几乎特征标与中性幂幺群上Frobenius稳定特征标层的“Frobenius迹”函数相一致。在证明的过程中,我们还证明了由Boyarchenko-Drinfeld的中性幂幺上的特征层理论所产生的模范畴实际上是正整数,证实了Drinfeld的一个猜想。
2015-04-23 math.RT
The Bernstein Center of a p-adic Unipotent Group
弗朗索瓦·罗迪耶证明了可以将某些全不连通的阿贝尔群(例如,有限维p-adic向量空间的基本加法群)的光滑表示看作庞特里亚金对偶群上的层。对于非交换的全不连通的群,适当的对偶空间必然包括非一维的表示,并且不携带群结构。对偶空间上拓扑的一般定义在技术上是不方便的,所以我们为一大类全不连通的群(例如,包括p-adic幂幺群)提供了这个拓扑的三种不同的刻画,每一种都有不同的风格。然后,我们使用这些结果来证明一些正式的相似性之间的光滑表示和层的对偶空间,包括具体的描述伯恩斯坦中心的类别的光滑表示。
2011-03-18 math.RT
A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic
这篇文章是根据作者在2005年和2006年的讲座。我们的第一个目标是介绍轨道方法,重点是有限幂零群的特征理论。第二个目标(由G. Lusztig)是解释几个非平凡方面的特征理论的有限群的形式$G(F_{q^n})$,其中$G$是一个幂单代数群上的有限域$F_q$。特别地,我们引入了幂幺群的特征层的概念,并为L-包的表示论概念提供了一个玩具模型。
2010-11-23 math.AG math.RT
On the values of unipotent characters of finite Chevalley groups of type $E_7$ in characteristic 2
设$G$是Lie型的有限群。为了确定$G$的特征标表,Lusztig发展了特征标层理论。在这个框架中,人们必须找到$G$上的类函数空间的两个基之间的变换,其中一个基是$G$的不可约特征标,另一个基由与特征标层相关联的特征函数组成。原则上,这已经由Lusztig和Shoji实现,但基本过程涉及一些标量,在许多情况下仍然未知。指定这些标量的问题可以简化为考虑尖点特征层。我们将处理后者的具体情况下,其中$G=E_7(q)$,和$q$是一个幂的坏素数$p=2$为$E_7$。
2021-08-05 math.RT
Non-unipotent representations and categorical centres
设G是定义在有限域F_q上的连通约化群.我们给出了G(F_q)的不可约表示关于与G相联系的各种幺半范畴的(扭)范畴中心的参数化.(这种类型的结果是已知的较早的单幂表示。G上特征层的参数化的类似结果也是早期已知的。
2016-12-17 math.RT
Truncated convolution of character sheaves
设G是有限域的代数闭包上的约化连通群.根据我在2004年提出的一个猜想,我在G上的反常层范畴上定义了一个张量结构,这些反常层是一个固定的双边胞元中幂单特征层的直和。我还证明了所得到的幺半范畴等价于我在1997年定义的一个幺半范畴的中心(一个连接到同一个双边胞腔的J-环的范畴版本),从而验证了Bezrukavnikov,Finkelberg,Ostrik的一个猜想.给出了有限非结晶Coxeter群的幂幺特征标的一种可能的解释。
2014-02-17 math.RT
Restriction of a character sheaf to conjugacy classes
设A是代数闭域上约化连通群G上的特征标层。假设这个特征不坏,我们证明了对于G中的某些共轭类D,A对D的限制是一个直到移位的局部系统;我们还给出了G上幂单尖特征层在共轭类限制下的参数化.在不限制特征的情况下,我们定义了从G上的幂单特征层集合(以及从有限域上相应的分裂约化群的幂单表示集合)到根据外尔群组合定义的集合的典型双射。
2012-06-21 math.RT
Perverse coherent sheaves and the geometry of special pieces in the unipotent variety
设X是一个允许对偶复形的Noether基概型S上的有限型有限型概形,U是一个其补的余维数至少为2的开子集。我们扩展了Deligne-Bezrukavnikov反常相干层理论,证明了从U上的反常层到X上的反常层的相干中间扩张(或交上同调)函子可以定义为比以前已知的更广泛的一类反常层。我们还介绍了一个导出范畴版本的连贯的中间扩张函子。在适当的假设下,我们引入了一个关于X上代数的反常凝聚层的构造(称为"S2-扩张"),它取U的一个有限态射,并以规范的方式将其扩张为X的一个有限态射.特别地,这种构造给出了适当X的规范"S2化"。该构造也可以应用于“Macaulayfication”问题,当X是Gorenstein时,它表现得特别好。我们的主要目标,但是,是解决一个猜想Lusztig几何的特殊件(某些子品种的幂幺品种的还原代数群)。该猜想部分地断言,每一个特殊的片段是某个簇(以前在例外群和正特征群中是未知的)在某个有限群作用下的商。我们使用S2-扩张给出了所需簇的一致构造。
2008-10-15 math.AG math.RT
Gluing parabolic character sheaves
该研究引入并研究伴随型约化群对应Vinberg半群非退化轨迹上幂幺特征层范畴,证明其偏对象可由抛物特征层粘合,应用中证明He的猜想并否定Lusztig关于Steinberg特征层中间扩张的猜想。
2026-08-17 math.AG math.RT
Modular affine Hecke category and regular unipotent centralizer
本文在温和显式假设下,用 Langlands 对偶仿射旗簇上的反常层几何地描述了约化代数群中正则幂零元中心化子的表示范畴,为后续建立仿射 Hecke 代数各几何实现之间的范畴等价奠定基础。
2024-07-04 math.RT
Higher nearby cycles and central sheaves on affine flag varieties
本文基于Beĭlinson的描述与Gaitsgory的思路,推广研究高维基上的幺幂近邻圈,其仿射格拉斯曼簇框架下的推广是相关学者近期工作的必要条件。
2024-01-31 math.AG math.RT
Modular perverse sheaves on flag varieties I: tilting and parity sheaves
本文证明了复连通约化群的旗簇上的宇称复范畴是对偶群旗簇上的倾斜反常层范畴的“分次版本”,对任何特征良好的系数域都是如此.我们得到了Soergel的模范畴O上的一些结果,以及反常层范畴中的重数和分解数。
2015-02-06 math.RT
Unipotent representations as a categorical centre
设G(F_q)是定义在有限域F_q上的可裂连通约化群G的有理点群。本文证明了G(F_q)在固定双边胞腔中的幂幺表示的有限直和表示范畴等价于G的旗流形的两个副本的乘积上的层的某个幺半范畴的中心。我们还考虑了非分裂群的一个版本。
2014-02-17 math.RT
Unipotent groups with trivial $\mathbb{L}$-packets are easy
University of Michigan(密歇根大学)
本文证明了单射群中几何点包含于中心化子群中当且仅当其L-包为单元素,并探讨了相关代数群与Asai扭运算的关系。
2025-12-15 math.RT
Modular Categories Associated to Unipotent Groups
设G是特征p > 0的代数闭域k上的幂幺代数群,l是不同于p的素数,e是G上G-等变(在共轭作用下)\bar{Q_l} -复形的幺半范畴D_G(G)中的极小幂等元.我们可以把G和e与模范畴M_{G,e}联系起来。在这篇文章中,我们证明了以这种方式从幂幺群中产生的模范畴正是类C_p^{ \pm }中的模范畴。
2013-02-19 math.QA math.RT
Mixed modular perverse sheaves on moment graphs
我们研究了矩图的Achar-Riche“混合模导出范畴“的一个类似物。特别地,给定一个Coxeter群$W$和一个反射忠实表示$\mathfrak{h}$,我们引入一个范畴,它在“与$(W, \mathfrak{h})$相关的标志簇”上扮演Schubert分层混合模反常层的角色。“我们证明了分次范畴$\mathcal{O}$的这种Soergel理论推广是分次的最高权。
2017-03-05 math.RT
Modular perverse sheaves on flag varieties III: positivity conditions
我们进一步发展了作者在本系列的前一篇文章中介绍的“混合模导出范畴“的一般理论。然后,我们用它来研究旗品种的积极性和Q-Koszulity现象。
2014-08-19 math.RT
Modular Character Sheaves on Reductive Lie Algebras
本文将 Mirković 的李代数特征层理论推广至模系数,重证其部分结果,并建立与模广义 Springer 对应的联系。
2024-07-19 math.RT
Modular perverse sheaves on flag varieties II: Koszul duality and formality
基于Juteau-Mautner-Williamson的宇称层理论,我们发展了一种“混合模反常层”的形式主义,用于由仿射空间分层的簇。然后我们给出两个应用:(1)一个关于给定旗簇与Langlands对偶旗簇的“Koszul型”导出等价;(2)一个关于旗簇的模导出范畴的形式定理(推广了Riche-Soergel-Williamson的一个结果).
2014-12-20 math.RT
Modular irreducibility of cuspidal unipotent characters
我们证明了一个长期存在的猜想Geck预测,尖幂幺字符保持不可约后,$\ell$ -减少。为此,我们构建了一个progenerator的类别表示的一个有限的还原群来自广义Gelfand-Graev表示。这是通过显示尖点表示出现在头部的广义Gelfand-Graev表示重视尖点幂单性类,定义和研究\cite{GM96}。
2017-01-05 math.GR math.RT
Nonsplit Hecke algebras and perverse sheaves
设H是一个Hecke代数,它是由一个抛物子群的Levi商L的幂单尖点表示诱导的F_q上Chevalley群G的表示的自同态代数.我们假设L不是环面。在本文中,我们概述了一个几何解释的系数的正则基础的H方面的反常层。我们在G的外尔群为B_4型,L的外尔群为B_2型的情况下详细地说明了这一点.
2015-01-29 math.RT
Sheaves on the alcoves and modular representations II
我们涉及范畴的层上的壁龛,这是建立在“层上的壁龛和模表示我”的表示论约化代数群。特别是,我们证明了它的不可分解的投射对象编码的简单的合理字符的还原代数群在所有的特征以上的Coxeter数。
2020-04-05 math.RT
On the values of unipotent characters in bad characteristic
设$G(q)$是有限域$F_q$上的Chevalley群.通过Lusztig和Shoji的工作,计算$G(q)$的幂单特征的值的问题原则上通过特征层理论解决了;这个解决方案中的一个问题是确定与$G(q)$上的两种类型的类函数相关的某些标量。我们表明,这个问题可以减少到的情况下,$q$是一个素数,这开辟了使用计算机代数方法。在这里,在本文的续集中,我们使用这种方法来解决迄今为止似乎遥不可及的例外类型的群体中的一些情况。
2017-11-23 math.RT
Arthur packets for $G_2$ and perverse sheaves on cubics
本文首先定义了$p$ -adic例外群$G_2$的所有幂幺表示的Arthur包.在这里,我们对待最有趣的情况下,通过定义和计算阿瑟包组件组$S_3$。我们还表明,这些数据包的分布是稳定的,受一个假设。这是使用一个自包含的微局部分析简单的等变反常层的模空间的齐次三次在两个变量。在接下来的工作中,我们将处理剩余的幂幺表示和它们的内窥镜分类,并加强我们的稳定性结果。
2020-05-07 math.AG math.NT math.RT
On the values of unipotent characters of finite Chevalley groups of type $E_6$ in characteristic 3
设$G$是有限Chevalley群.利用Lusztig的特征标层理论计算了$G$的幂单特征标的值。在这个框架中,必须找到$G$上的类函数的几个基之间的转换。原则上,这已经由Lusztig和Shoji实现,但基本过程涉及一些标量,在许多情况下仍然未知。我们将确定这些标量的具体情况下,$G$是(扭曲或非扭曲)组类型$E_6$在有限域的$q$元素,$q$的幂的坏素数$p=3$,利用已知的事实表示论的赫克代数与$G$。
2019-01-18 math.RT
The center of the asymptotic Hecke category and unipotent character sheaves
RPTU University Kaiserslautern-Landau(莱茵兰-普法尔茨技术大学凯泽斯劳滕-兰道分校)
本文证明了渐近Hecke范畴的中心为模ularity张量范畴,并研究了其在二面体群及H3、H4部分细胞中的应用。
2026-01-30 math.CT math.QA math.RT
Kazhdan-Laumon sheaves and Deligne-Lusztig representations
设$G$是有限域上的一个约化群,其极大幂幺子群为$U$,考虑Kazhdan和Laumon定义的$G/U$上的某些层,证明了它们的上同调产生Deligne-Lusztig簇的上同调.然后,我们使用这种比较给一个新的证明结果的杜达斯。
2022-11-28 math.AG math.RT
Endoscopy for Hecke categories, character sheaves and representations
对于有限域上的可裂约化群$G$,证明了在环面作用下,其具有固定单值的混合Hecke范畴的中性块与相应的具有平凡单值的内窥镜群$H$的混合Hecke范畴是单值等价的.我们还将这种等价性扩展到所有块。我们给出两个应用程序。一个是传递到渐近版本后,具有固定半简单参数的$G$上的字符层与内窥镜组$H$上的幂等字符层之间的关系。另一个是具有固定半单参数的$G(\mathbb{F}_q)$表示与$H(\mathbb{F}_{q})$的幂幺表示之间的类似关系。
2021-08-22 math.AG math.RT
Mixed modular perverse sheaves on affine flag varieties and Koszul duality
本文基于技术假设,证明了仿射旗流形上不可分解 tilting perverse sheaves 的重数公式,并解释了连接混合模 perverse sheaves 与普通 perverse sheaves 的“degrading functor”的构造。
2025-09-14 math.RT
Sheaves on the alcoves and modular representations I
我们把与一个根系R相联系的仿射凹室的集合看作一个拓扑空间,并考虑这个空间上Z-模的层的一个特定范畴S。这里Z是域k上的根系的结构代数。对于任何壁反射,我们在S上关联一个壁穿越函子。在姊妹篇“层的壁龛和模表示II”,我们证明了S编码的简单的合理字符的连接,简单连接代数群与根系R超过k,在这种情况下,k是代数封闭的特征以上的考克斯特数。
2020-04-05 math.RT
On modular Harish-Chandra series of finite unitary groups
在有限酉群的模表示理论中,当基域的特征$\ell$是酉素数时,水平$2$ Fock空间上的$\hat{\mathfrak{sl}}_e$ -晶体图形地描述了限制在酉群的塔上的幂幺表示的Harish-Chandra分支。然而,如何确定任意幂幺表示的尖点支集一直是一个悬而未决的问题。我们表明,$\ell$足够大,$\mathfrak{sl}_\infty$ -晶体在同一水平的$2$福克空间提供了完整的Harish-Chandra分支规则的难题的剩余部分。
2019-11-05 math.RT
On the computation of character values for finite Chevalley groups of exceptional type
我们讨论了各种计算问题,围绕确定有限Chevalley群的特征值的问题,在由Lusztig的特征层理论提供的框架。一些剩余的开放问题(关于某些根的单位)的尖幂幺特征层的特殊类型的群体得到解决。
2021-05-10 math.RT
Endoscopy for Modular Hecke Categories
本文推广复代数栈宇称层理论,构建扭等变宇称层体系,构造模版本的单值Hecke范畴,并给出其在Hecke代数模范畴化与内窥群范畴幺半等价中的两项应用。
2026-04-16 math.RT
Inequalities characterizing distinguished unipotent orbits
针对特征0代数闭域上的连通约化群,本文结合经典群的组合计算与例外群的计算机验证,提出并证明了显著幂幺轨道的新不等式刻画,可服务于L-参数栈上尖点层的后续研究。
2024-09-09 math.GR math.RT
The values of unipotent characters at unipotent elements for groups of type $E_8$ and ${^2\!E}_6$
本研究通过明确对应单位根,完成了$E_8$型李群对所有素数幂$q$、${^2\negmedspace E}_6$型李群对2的幂次$q$的幺正特征在幺正元处的值计算,了结了例外李型单群该类值的计算工作。
2024-03-06 math.RT
A Microlocal Description of Aubert-Zelevinsky Duality on Unipotent $L$-Parameters
Mathematical Institute, University of Bonn(波恩大学数学研究所);School of Physical and Mathematical Sciences, Nanyang Technological University(南洋理工大学物理与数学科学学院)
本文通过微局部方法研究单变量表示的 Aubert-Zelevinsky 对偶性,利用增强的 L-参数作为 perverse sheaves,展示该对偶性对应于三个操作的组合,并在特定情况下无需进入端oscopic 子群。
2026-06-08 math.RT
Characters of unipotent groups over finite fields
设G是有限域F_q上q个元的连通幂幺群.本文给出了有限群G(F_q)的复不可约表示的L-包的定义,并利用G的“容许对”给出了L-包的一个明确描述。然后我们应用我们的结果证明了:如果G的每个几何点的中心化子连通,则G(F_q)的每个复不可约表示的维数是q的幂,从而证实了Drinfeld的一个猜想.本文是第一个系列的三篇论文探讨之间的关系表示的一组形式G(F_q)(其中G是一个幂幺代数群F_q),几何的G,和理论的字符层。
2010-11-23 math.RT
Some unipotent Arthur packets for p-adic split F4
Oklahoma State University(俄克拉荷马州立大学);University of Oklahoma(俄克拉荷马大学)
本文研究了p-adic分裂F4中由最小nilpotent轨道确定的unipotent表示,计算了特征环并确定了微Arthur包,验证了弱Arthur包是微Arthur包的并集。
2025-12-07 math.RT
Heisenberg Idempotents on Unipotent Groups
设G是正特征的代数闭域上的代数群,其中立连通分支是幂幺群.本文研究了辫状幺半范畴范畴D_G(G)中的一类闭幂等元,称之为Heisenberg幂等元.对于这样的幂等元e,我们证明了V.Drinfeld关于Hecke子范畴eD_G(G)的一些结果.特别地,我们将看到它是模范畴的有界导出范畴。
2009-10-07 math.RT
Split Spetses for primitive reflection groups
设$(V,W)$是复向量空间$V$上的特殊不可约反射群$W$,它是$n \in \{4, 6, 8, 14, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, 34, 35, 36, 37\}$在Shephard-Todd记法下的群$G_n$.我们描述了如何确定一些数据相关联的相应的(分裂)“spets”,给定完整的知识相同的数据为所有适当的subspetses(该方法因此是归纳的)。这里确定的数据是集Uch $(\mathbb G)$的“单幂字符”的$\mathbb G$和相关的一组Frobenius特征值,以及它的再分配到家庭。连接单幂特征标和“单幂特征标层”的傅立叶矩阵的确定将在另一篇文章中给出。该方法适用于原始不可约反射群的所有分裂反射陪集。结果是所有上述数据都存在并且是唯一的(注意尖点幂幺度数仅在符号之前确定)。
2012-04-26 math.RT
Perverse Monodromic Sheaves
本文引入并研究复分层$T$ -簇上的模(即具有正特征系数)单值反常层范畴,其中$T$是复代数环面.特别是,我们表明,在适当的假设下,这个类别有一个自然的最高权结构。
2020-05-06 math.RT
Infinite dihedral Wakimoto sheaves
研究了$\tilde{A_1}$型(模)Wakimoto层之间的扩张群.首先,我们完全确定他们的特征零域。其次,我们描述了一个dg模型,它允许我们计算这些群体在反球范畴的任意系数。
2023-03-29 math.RT
Free-monodromic mixed tilting sheaves on flag varieties
本文在第一、第三作者提出的“混合模导出范畴“的背景下,构造了(Kac-Moody)旗簇上的“自由-单值”倾斜反常层的幺半范畴.这个范畴与它们的对应物在特征0中的大部分性质相同,特征0是由Bezrukavnikov-Yun使用三角范畴中的某些亲对象定义的。这种构造是在旗簇上的可构造层的“模Koszul对偶”等价构造中的主要新成分,见[P. Achar,S。Makisumi,S. Riche和G. Williamson,“Kac-Moody群的Koszul对偶性和倾斜模的特征”,J. Amer. Math. Soc. 32(2019)]。
2022-11-14 math.RT
Coherent IC-sheaves on type $A_{n}$ affine Grassmannians and dual canonical basis of affine type $A_{1}$
本文将 A_n 型仿射 Grassmannian 上不可约等变反常相干层类构成的基,等同于环路群 LSL_2 量子幂幺胞腔的对偶典范基,从而建立了卷积环与量子幂幺胞腔之间的基对应关系。
2024-06-10 math.AG math.QA math.RT
Perverse sheaves and modular representation theory
本文介绍了在模表示理论中使用具有正特征系数的反常层。在第一部分中,我们综述了有限和仿射Schubert簇和幂零锥中的奇点与约化群及其外尔群的模表示之间的关系。第二部分简要介绍了反常层理论,重点介绍了正特征线和积分系数的情形。在最后一部分中,我们给出了幂零锥中具有整数或正特征系数的交上同调复形的一些显式例子,主要是$A$型。其中一些计算可能是新的。
2009-01-21 math.AG math.RT
Lusztig Induction, Unipotent Supports, and Character Bounds
最近,在[3]中建立了有限约化群$\mathbf{G}^F$中满足中心化元$C_{\mathbf{G}}(g)$包含在$\mathbf{G}$的$(\mathbf{G},F)$ -分裂Levi子群$\mathbf{M}$中且$\mathbf{G}$定义在好特征域上的所有元素$g \in \mathbf{G}^F$的强指数特征标界.在本文中,假设Lusztig关于特征标层的不可约特征标和特征函数的猜想的弱版本成立,我们通过去除$\mathbf{M}$被分裂的条件,大大推广了这一结果。已知只要$Z(\mathbf{G})$是连通的,或者当$\mathbf{G}$是一个特殊的线性或辛群,并且$\mathbf{G}$定义在一个足够大的有限域上,这个假设就成立。
2020-05-04 math.RT
Sheaves on affine Schubert varieties, modular representations and Lusztig's conjecture
我们将复仿射Schubert簇上的k-向量空间的某类层与k-李代数上的模(当ch k>0时)或与Langlands对偶根数据相关的小量子群上的模(当ch k=0时)联系起来。作为应用,我们给出了Lusztig猜想关于量子特征标和模特征标的一个新证明。此外,我们涉及的几何和表示理论方面的层的基本时刻图,这使我们能够扩展已知的Lusztig的模块化猜想的情况下,在两个方向:我们给出了一个上界的例外特征,并验证其多重性的情况下,所有相关的素数。
2010-07-26 math.AG math.RT