弗罗贝纽斯·斯普利特斯
Frobenius Splittings
摘要:
我们给一个温和的介绍Frobenius分裂。然后,我们回顾了一些结果,已获得的方法。
英文摘要:
We give a gentle introduction to Frobenius splittings. Then we recall a few results that have been obtained with the method.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
Frobenius Splittings
Wilberd van der Kallen
我们给一个温和的介绍Frobenius分裂。然后,我们回顾了一些结果,已获得的方法。
We give a gentle introduction to Frobenius splittings. Then we recall a few results that have been obtained with the method.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。
继续探索
The lower semicontinuity of the Frobenius splitting numbers
证明了在较弱的条件下,素特征的局部环的(正规化)Frobenius分裂数是下连续的.
Frobenius splitting of valuation rings and $F$-singularities of centers
利用Knaf和Kuhlmann的一个局部单值化结果,证明了素特征完备基域上函数域的Abhyankar赋值的赋值环是Frobenius分裂的.我们证明,行为足够良好的中心的弗罗贝纽斯分裂提升为赋值环的弗罗贝纽斯分裂。我们还研究了以任意的素特征的诺特域为中心的估值的性质。与[arXiv:1507.06009]不同,本文强调了中心在控制素特征赋值环的Frobenius性质中的作用.
Frobenius splitting of certain rings of invariants
两个经典的不变量环被证明是Frobenius分裂的:特殊线性群作用于定义表示的几个副本和定义表示的对偶的几个副本的直和;和特殊正交群作用于定义表示的几个副本。
Explicitly Extending Frobenius Splittings over Finite Maps
设$π\: Y \to X$是特征$p > 0$的完满域上的正规簇的有限映射.作者以前的工作给出了$X$(或更一般的任何$p^{-e}$ -线性映射)上的Frobenius分裂何时扩展到$Y$的判据。在本文中,我们给出了一个替代的和高度明确的证明这个标准(检查项的条款)时,$π$是tamely分歧余维1。还探讨了一些其他的例子。
Lifting Frobenius splittings through geometric vertex decomposition
研究通过几何顶点分解提升弗罗贝尼乌斯分裂。核心方法是利用其与戈伦斯坦联络关系,主要贡献是给出克努森结果部分逆命题,证明特定条件下可提升分裂,还讨论示例及证明李氏双行列式簇是弗罗贝尼乌斯分裂。
Algebraic Frobenius Splitting of Cotangent Bundles of Flag Varieties
继Kumar和Littelmann开始的代数Frobenius分裂程序之后,我们利用表示论技巧构造了正特征的代数闭域上半单代数群的旗簇余切丛的Frobenius分裂.我们还表明,这种分裂是由库马尔,Lauritzen,和Bogsen构建的分裂之一。
Frobenius splitting of valuation rings revisited
针对特征p>0的F有限域上函数域的赋值环,证明其Frobenius分裂等价于对应赋值为Abhyankar赋值,还构造反例说明基域非F有限时该等价性不成立,方法不依赖局部一致化结果。
Addendum to: A simultaneous Frobenius splitting for closures of conjugacy classes of nilpotent matrices, by V. B. Mehta and Wilberd van der Kallen
通过在Brion Kumar关于Frobenius分裂的书中的练习,我们展示了与我们1992年论文中Frobenius分裂的几个子变种的兼容性。
Frobenius splitting of projective toric bundles
给出了非奇异环面簇上的环面丛的几个温和条件,在这些条件下环面丛的射影化是Frobenius分裂的。
Quasi-Frobenius-splitting and lifting of Calabi-Yau varieties in characteristic $p$
推广Frobenius-分裂的概念,证明了定义在正特征的代数闭域上的有限高Calabi-Yau簇可以提升到长度为2的Witt向量环上.
F-signature of pairs and the asymptotic behavior of Frobenius splittings
我们将$F$ -签名推广到对$(R,D)$,其中$D$是前两位作者定义的$R$上的Cartier子代数.特别地,我们证明了任何强$F$ -正则对的$F$ -签名的存在性和正性。在一个应用中,我们回答了一个关于I的开放性问题。阿伯巴赫和F. Enescu证明了任意$F$ -纯局部环的$F$ -分裂比是严格正的.此外,在R.费德
Koszul Property and Frobenius Splitting of Schubert Varieties
我们展示了如何Frobenius分裂方法的Mehta-Ramanathan意味着Koszul性质的投影坐标环的舒伯特品种。
On the standard Poisson structure and a Frobenius splitting of the basic affine space
本文的目的是通过$(G/U,π_{G/U})$的Poisson几何构造$G/U$上的Frobenius分裂,其中$G$是定义在特征$p > 3$的代数闭域上的经典型半单代数群,$U$是$G$的Borel子群的单根,$π_{G/U}$是$G/U$上的标准Poisson结构.我们首先研究了$(G/U,π_{G/U})$的Poisson几何。然后,我们发展了$\mathbb{T}$ -Poisson簇上Frobenius分裂的一般理论,其中$\mathbb{T}$是一个代数环面。特别地,我们证明了用这种方法构造的Frobenius分裂的相容分裂子簇必定是$\mathbb{T}$ -Poisson子簇.最后,我们应用我们的一般理论构造了$G/U$上的Frobenius分裂。
Frobenius splitting of Hilbert schemes of points on surfaces
设X是定义在正特征的代数闭域上的拟投射光滑曲面。我们证明了如果X是Frobenius分裂,那么X中n个点的Hilbert概型Hilbert ^n(X)也是Frobenius分裂。特别地,当X是射影的且Frobenius分裂时,我们得到了Hilb^n(X)上的大量线丛的高阶上同调消失.
Quantum Frobenius splittings and cluster structures
该研究证明量子Frobenius态射对偶及Lusztig分裂与量子cluster单项式相容,特化后得flag簇典范Frobenius分裂与Schubert胞腔cluster代数结构相容的结论。
Frobenius splitting and geometry of $G$-Schubert varieties
设$X$是连通约化群$G$在正特征的代数闭域$k$上的等变嵌入.令$B$表示$G$的Borel子群。$X$中的$G$-舒伯特簇是$\diag(G) \cdot V$形式的子簇,其中$V$是$X$中的$B \times B$-轨道闭包.在$X$是一组伴随型的奇妙紧化的情况下,$G$-舒伯特簇是Lusztig的$G$-稳定片的闭包。我们证明了$X$允许Frobenius分裂,它与所有$G$-Schubert簇相容.此外,当$X$是光滑的、投射的和环面的时,则$X$中的任何$G$-Schubert簇都允许沿着一个充分因子的稳定Frobenius分裂.虽然这表明$G$-舒伯特品种有很好的奇异性,我们提出了一个例子,一个非正常的$G$-舒伯特品种的精彩紧化的一组类型$G_2$。最后,我们还扩展了Frobenius分裂的结果,更一般的类的$\mathcal R$-舒伯特品种。
Frobenius splitting and Derived category of toric varieties
利用线丛在复曲面簇上的Frobenius直像的分裂,在导出范畴D^b(X)中显式地构造了线丛的正交基,其中X是具有(几乎)最大Picard数的Fano复曲面簇.
Exotic torsion, Frobenius splitting and the slope spectral sequence
在这份说明中,我们表明,Frobenius分裂光滑,射影三倍是Hodge-Witt(使用的标准退化的斜率谱序列的光滑射影三倍,我们证明),并顺利,射影Frobenius分裂品种没有奇异的扭转在其斜率谱序列。我们还记录了一些简单的观察Frobenius分裂三倍。本文用C. S.拉詹“关于弗罗贝纽斯分裂和平凡”,这也可以在这个档案。
An algorithm for computing compatibly Frobenius split subvarieties
设$R$是素特征环$p$,$F^e_* R$表示$R$通过$e$第$R$ -模.给定一个满射映射$ϕ: F^e_* R \to R$(例如Frobenius分裂),我们给出了一个产生所有$ϕ$相容理想的算法.我们还探讨了该算法的一个变种的假设下,$ϕ$不一定是一个Frobenius分裂(甚至满射)。该算法和原始算法已在Macaulay 2中实现。
Frobenius splitting for Fano threefolds
本文证明特征 p>5 的光滑 Fano 三维簇为拟 F-分裂,且 p>11 时为 F-分裂。
The $F$-different and a canonical bundle formula
我们研究了Frobenius分裂的结构(及其推广)诱导相容的子品种$W \subseteq X$。特别是,如果相容分裂来自一个相容分裂的一个因子上的一些双有理模型$E \subseteq X' \to X$(即,这是一个日志典型的中心),然后我们表明,分裂对应于$W$的因子是有界的不同的Kawamata,Shokurov,Ambro和其他研究的除数部分以下。我们还表明,与分裂和除数的不同部分之间的差异主要是由(非)Frobenius分裂纤维的$E \to W$。在做这个分析,我们恢复$F$ -典范丛公式,通过重新解释技术常见的Frobenius分裂理论。
Frobenius splitting and Möbius inversion
我们证明了Frobenius分裂方案的K-同调中的基本类可以计算为不可约簇上的某种交替和,其系数使用某偏序集上的Möbius反演计算。如果G/P是一个广义旗流形,X是一个与Schubert簇的无重并同构的不可约子簇,那么利用Brion的一个结果,我们给出了如何从A_*(G/P)中的Chow类计算K_0(G/P)中的K_0-类[X].
Frobenius splitting, point-counting, and degeneration
设f是ZZ[x_1,...,x_n],典型的可约但无平方。从超曲面{f=0},通过提取准素分量、求交、求并并迭代该过程,可以构造许多其他子模式{Y}。我们证明了如果\FF_p^n中f=0的解的个数不是p的倍数,那么上述的n_{\FF_p}中的所有这些交集都是约化的。(If这对无穷多个p成立,那么它对\QQ也成立。)更具体地说,在n_{\FF_p}上有一个_Frobenius splitting_,它兼容地分裂所有这些子方案{Y}。我们确定当这样一个超曲面f=0的Gröbner退化f_0=0又是这样一个超曲面。在此条件下,我们证明了相容分裂子格式退化为相容分裂子格式,并保持约化。我们的结果是最强的情况下,f的字典序第首项是\prod_{i=1}^n x_i。然后对于所有大的p,有一个Frobenius分裂,它相容地分裂f的超曲面和所有相关的{Y}。每个这样的Y的Gröbner退化Y'是坐标空间的约化并(Stanley-Reisner方案),并且我们给出一个结果以帮助计算其Gröbner基。我们展示了一个f,其相关的{Y}包括富尔顿矩阵舒伯特品种,并恢复更容易Gröbner基础定理[Knutson-Miller '05]。我们证明了在Bott-Samelson坐标系中G/B中的一个相对Bruhat胞腔X^v_ \circ上,定义大胞腔补的f也有初始项\prod_{i=1}^n x_i,…
Algebraization of Frobenius splitting via quantum groups
在理解舒伯特簇的几何方面的一个重要突破是Frobenius分裂簇的概念的引入和旗簇G/P是Frobenius分裂的结果。本文的目的是在这种情况下,给出一个完整的和自包含的表示理论的方法,这种方法。(char k=p>0)中的几何Frobenius方法在这里将被Lusztig在单位根处的量子群的Frobenius映射所取代(不仅对素数存在,而且对任何奇数\ell >1都存在)。
Frobenius splittings of toric varieties
我们讨论了复曲面簇的Frobenius分裂的特征自由形式,并给出了复曲面簇对角分裂的多面体判据。我们应用这一准则表明,部分环的nef线丛上的对角分裂环面品种通常提出和Koszul,和舒伯特品种是不是对角分裂一般。
Degenerate coordinate rings of flag varieties and Frobenius splitting
最近E. Feigin介绍了半单代数群的$\mathbb G_a^N$ -退化及其相关的退化旗簇。Feigin、Finkelberg和Littelmann已经证明,类型$A_n$和$C_n$的退化旗型变种是Frobenius分裂的。本文构造了所有类型的经典旗簇的齐次坐标环的伴随退化,并证明了这些环在大多数类型下是Frobenius分裂的。因此,退化旗型品种$A_n$、$C_n$和$G_2$是Frobenius分裂型。特别是,我们得到了另一个证明分裂类型$A_n$和$C_n$ ;情况$G_2$是以前不知道的。我们还给出了PBW-分次版本的Weyl模的一个表示论条件,它等价于经典标志簇的Frobenius分裂的存在,最大限度地兼容分裂的身份。
Frobenius splitting and ordinarity
我们研究的概念之间的关系Frobenius分裂和平凡的品种。我们显示以下内容:a)光滑射影Frobenius分裂簇的de Rham-Witt上同调群$H^i(X, W({\mathcal O}_X))$是在$W(k)$上生成的. b)我们对一个V. B.问题提供了反例。梅塔认为弗罗贝纽斯分裂的品种是普通的甚至是霍奇-维特。c)与阿贝尔曲面相关联的Kummer $K3$曲面是$F$ -分裂(普通)当且仅当所关联的阿贝尔曲面是$F$ -分裂(普通)。d)对于定义在数域上的$K3$ -曲面,在基域的某个有限扩张上存在密度为1的素数集合,在该集合上曲面获得普通约化.本文应与第一作者的论文“奇异扭曲、弗罗贝纽斯分裂和斜率谱序列”一起阅读,该论文也可在本档案中查阅。
Maximal compatible splitting and diagonals of Kempf varieties
Lakshmibai,Mehta和Parameswaran(LMP)在Frobenius分裂中引入了最大重数消失的概念。在本文中,我们定义了这个概念的代数模拟,并构造了一个Frobenius分裂消失的满旗簇的对角线上的最大重数。我们的分裂诱导对角Frobenius分裂的最大多重性的一类特殊的光滑的舒伯特品种首先考虑肯普夫。其结果是切丛的Frobenius分裂、旗形品种沿对角线的爆破以及特殊线性群的正特征的LMP和Wahl拓扑。
Frobenius splitting of thick flag manifolds of Kac-Moody algebras
我们解释说,Plücker关系提供的定义方程的厚旗流形相关联的Kac-Moody代数。这自然地将Kumar-Mathieu-Schwede关于薄旗流形的Frobenius分裂的结果移植到厚旗流形上。因此,我们提供了厚舒伯特簇的线丛的整体瓣的描述,如在Kashiwara-Shimozono [Duke Math.J.148(2009)]中所描述的。这也产生了厚Demazure模的相容基的存在性,以及厚Schubert簇的投射正规性。
Symmetric subgroup schemes, Frobenius splittings, and quantum symmetric pairs
设$G_k$是特征为$\neq 2$的代数闭域$k$上的连通约化代数群.设$K_k \subset G_k$是$G_k$关于$G_k$的对合$θ_k$的拟分裂对称子群.这种对合的分类与$k$的特征无关(如果不是$2$)。首先构造了$\mathbb{Z}$上Chevalley群方案$\mathbf{G}$的闭子群方案$\mathbf{G}^\imath$.对$(\mathbf{G}, \mathbf{G}^\imath)$参数化了特征$\neq 2$的任何代数闭域上给定类型的对称对,即$\mathbf{G}^\imath$的几何纤维成为特征$\neq 2$的任何代数闭域$k$上的约化群$K_k \subset G_k$。因此,我们证明了群$K_k$的坐标环被相应的$\imath$量子群的对偶$\imath$正则基所张成。然后,我们构造了一个准分裂的$\imath$量子群在$1$的根的量子Frobenius分裂。这推广了Lusztig的量子Frobenius分裂在$1$的根量子群。在正特征的域上,我们的量子Frobenius分裂诱导了代数群$K_k$的Frobenius分裂。最后,我们构建了Frobenius分裂的标志品种$G_k / B_k$,兼容分裂某些$K_k$轨道闭包的积极特征。我们推导出线丛的上同调消失和线丛的上同调消失。结果适用于特征$0$以及,由于存在的计划$\mathb…
Degenerate flag varieties of type A: Frobenius splitting and BW theorem
设$\Fl^a_\la$为$A_{n-1}$型旗叶品种的PBW退化。这些变种是奇异的,并与退化李群$SL_n^a$作用。证明了$\Fl^a_\la$具有有理奇点,是正规的局部完备交,并构造了$\Fl^a_\la$的去奇异化$R_\la$.变种$R_\la$可以被看作是连续的$\bP^1$纤维化的塔,从而提供了经典的Bott-Samelson-Demazure-Hansen去奇异化的类似物。证明了簇$R_\la$是Frobenius分裂的.这给了我们Frobenius分裂退化旗品种,并允许证明$\Fl^a_\la$的Borel-Weyl型定理。利用$R_\la$的Atiyah-Bott-Lefschetz公式,我们计算了最高权$\msl_n$ -模的$q$ -特征标.
Contraction par Frobenius de G-modules
设G是正特征的代数闭域k上的单连通半单代数群.我们将通过G的分布代数上的Frobenius自同态的一个新发现的分裂来解开G-模的结构,例如,它解释了G的旗簇的Frobenius分裂的包含G-等变性质。
Frobenius splitting of equivariant closures of regular conjugacy classes
设$G$表示正特征代数闭域$k$上的连通半单单连通代数群,$g$表示$G$的正则元.令$X$表示$G$的任何等变嵌入。证明了$g$的共轭类在$X$内的闭包是正规的和Cohen-Macaulay的.当$X$光滑时,证明了该闭包是局部完全交.因此,$X$中幂单簇的闭包具有相同的几何性质。
Some properties and applications of $F$-finite $F$-modules
本文的目的是描述M. Hochster对内射壳上的Frobenius映射、Frobenius近分裂以及$F$ -有限$F$ -模的态射的性质的研究。在本文的结果中,我们证明了$F$ -有限$F$ -模的态射有一个特别简单的形式,并证明了某些Frobenius近分裂有100多个相容子模,从而推广了M. Blickle和G. Böckle到非$F$有限的情况。
The induced PBW filtration, Frobenius splitting of double flag varieties, and Wahl's conjecture
设G是正特征p的代数闭域上的半单代数群,推广了Weyl模上PBW滤子的构造,构造了Weyl模的张量积上的G-稳定滤子,称之为诱导PBW滤子.我们使用这种过滤给一些纯粹的代表性理论的条件,相当于存在一个Frobenius分裂的双旗品种$G/B \times G/B$,最大限度地兼容分裂的对角线。特别是,这给出了一个充分条件的瓦尔猜想G举行,我们用这个标准来证明,瓦尔猜想举行的类型G2的p至少11。
Frobenius splitting of cotangent bundles of flag varieties and geometry of nilpotent cones
我们利用Steinberg模上的G-不变非退化形式,以良好的素特征线对旗簇的余切丛进行Frobenius分裂。这是以前只知道的一般线性群。应用是线丛拉回到余切丛的一个消灭定理(Andersen和Jantzen对典型群和G_2证明,B. Broer(对所有群)),次正则幂零簇的正规性和有理奇点,以及线丛拉回到余切丛的整体瓣的良好滤子,这又意味着诱导表示的上同调的良好滤子.
Un scindage de l'application de Frobenius sur toute l'algèbre des distributions de SL_2
研究了有限域上SL 2的分布代数上Frobenius映射的分裂及其与射影线上算术D-模上的显式Frobenius下降的关系
Tate algebras and Frobenius non-splitting of excellent regular rings
本文利用刚性几何构造了特征p的优欧几里得整环,证明优F-纯环一般不是Frobenius分裂的,从而解决了F-奇点理论中长期悬而未决的问题,并首次区分了F-纯性与Frobenius分裂性。
Frobenius splitting of moduli spaces of parabolic bundles
本文证明在特征 $p>3r$ 时,一般射影曲线上一类半稳定抛物丛模空间是 $F$-分裂的,推广了 Frobenius 分裂性质。
On a Grauert-Riemenschneider vanishing theorem for Frobenius split varieties in characteristic p
本文讨论了特征$p>0$中簇(方案)的层上同调。我们假设存在Frobenius分裂。(See V.B. Mehta和A. Ramanathan,Frobenius分裂和Schubert簇的上同调消失,Annals of Math.122(1985),27- 40)。主要结果是:相容Frobenius分裂子簇的理想层的真映射下的非零高次直像不可能有其逆像包含在该子簇中的支集.早期Frobenius分裂簇的消失定理是基于直接极限和Serre消失定理,但我们的定理是基于逆极限和形式函数的Grothendieck定理。结果蕴含一个Grauert-Riemenschneider型定理。
Frobenius splitting of Schubert varieties of semi-infinite flag manifolds
我们展示了基本的代数几何的正式模型的半无限旗品种和舒伯特品种的特征$\neq 2$从零开始的代数闭域$\mathbb K$。证明了半无限旗簇的形式模型具有唯一的nice(ind)概型结构,其射影坐标环具有$\mathbb Z$ -模型,并且它具有与边界和对胞相容的正特征Frobenius分裂.这建立了当$\mathsf{char} \, \mathbb K =0$或$\gg 0$时,具有固定度的拟映射空间的舒伯特簇的正规性(而不是[K,Math. Ann. { \bf 371} no.2(2018)]中证明的它们的极限),以及它们的nef线丛在任意特征$\neq 2$中的更高上同调消失。这些结果的一些特殊情况在我们证明Lam-Li-Mihalcea-Shimozono [J. Algebra { \bf 513}(2018)]的猜想中起着至关重要的作用[K,arXiv:1805.01718],该猜想描述了旗流形的仿射和量子$K$群之间的同构。
A Frobenius splitting and cohomology vanishing for the cotangent bundles of the flag varieties of GL_n
本文证明了 GL_n 旗丛余切丛的 Frobenius 分裂具有最高次数,给出了分量函数公式并证明其在例外轨迹上消失,进而得出与支配权相关线丛的高阶上同调群为零。
Geometric vertex decomposition, Gröbner bases, and Frobenius splittings for regular nilpotent Hessenberg varieties
本文研究 Lie 型 A 正则幂零 Hessenberg 簇在 $w_0$-图中的定义理想,证明其具有 Gröbner 基且几何顶点可分解,并构造同时相容分裂所有相关理想的显式 Frobenius 分裂。
Spherical varieties and Wahl's conjecture
利用球面簇的理论,特别是对称簇的Frobenius分裂结果,给出了Wahl猜想的一个与类型无关的非常简短的证明.
Richardson Varieties Have Kawamata Log Terminal Singularities
设$X^v_w$是与可对称化的Kac-穆迪群$G$相关联的全标志簇$X$中的Richardson簇。回想一下,$X^v_w$是有限维舒伯特簇$X_w$与有限余维相反舒伯特簇$X^v$的交集。给出了$X^v_w$上的一个显式$\bQ$ -除数$Δ$,并证明了对$(X^v_w, Δ)$具有Kawamata对数终端奇点.事实上,$-K_{X^v_w} - Δ$是充分的,这另外证明了$(X^v_w, Δ)$是log Fano。我们首先在有限情形下证明我们的结果(即,当$G$是一个有限维半单群的情况下)通过仔细分析的显式奇点的分解性$X^v_w$(类似于BSDH决议的舒伯特品种)。在一般的卡茨-穆迪的情况下,在没有一个明确的解决方案的$X^v_w$如上所述,我们给出了一个证明,依赖于Frobenius分裂方法。特别地,我们使用Mathieu的结果断言Richardson簇是Frobenius分裂的,并将其与N的一个结果相结合。Hara和K.- I. Watanabe将Frobenius分裂与对数正则奇点联系起来。
On stated $SL(n)$-skein modules
本文研究带状态的$SL(n)$-skein模的经典极限、分裂映射和Frobenius同态,证明了相关代数同构、分裂映射的单射性及Frobenius同态性质,并由此导出带状态的$SL(n)$-skein代数的唯一性定理。
Some homogeneous coordinate rings that are Koszul algebras
利用Mehta和Ramanathan的正特征约化和对角线的Frobenius分裂方法,证明了齐次坐标环的正则光滑环面簇和Schubert簇都是Koszul代数.
扫码添加微信好友,提出您的宝贵建议 👇
💡 备注请填写:网站反馈
发表机构由 AI 从论文文本抽取,如发现错误,欢迎反馈修正建议。