Dong Yang
By showing the compatibility of folding almost positive roots and folding cluster categories, we prove that there is a one-to-one correspondence between seeds and tilting seeds in non-simply-laced finite cases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We provide an explicit construction for a class of commutative, non-associative algebras for each of the simple Chevalley groups of simply laced type. Moreover, we equip these algebras with an associating bilinear form, which turns them into Frobenius algebras. This class includes a 3876-dimensional algebra on which the Chevalley group of type E8 acts by automorphisms. We also prove that these algebras admit the structure of (axial) decomposition algebras.
For a simply connected semisimple algebraic group over an algebraically closed field of positive characteristic we have already constructed a splitting of the Frobenius endomorphism on its algebra of distributions. We generalize the construction to the case of general reductive groups and derive the corresponding corollaries.
Let $p$ be a prime number, and let $Dist(SL_2)$ be the algebra of distributions, supported at $1$, on the algebraic group $SL_2$ over $\mathbb{F}_p$. The Frobenius map $Fr:SL_2\to SL_2$ induces a map $Fr:Dist(SL_2)\to Dist(SL_2)$ which is in particular a surjective algebra homomorphism. In this note, we construct a section of this map, whenever $p\geq 3$. The main ingredient of this construction is a certain congruence modulo $p^3$, reminiscent of the congruence $\binom{np}{p}\equiv n\mod p^3$.
In this paper we describe the action of the Frobenius morphism on the indecomposable vector bundles on cycles of projective lines. This gives an answer on a question of Paul Monsky, which appeared in his study of the Hilbert--Kunz theory for plane cubic curves.
We present an explicit formula computing morphism spaces in the stable category of a Frobenius algebra.
We explore conditions for the Frobenius-Wielandt morphism to commute with the operations of deflation and tensor induction on the Burnside ring. In doing this, we review the commutativity with induction. The techniques used for induction and tensor induction no longer work for deflation, so in this case we make use of tools coming from the theory of biset functors.
We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study D-modules on quadrics.
The geometric Frobenius morphism on smooth varieties is an fppf-fiber bundle. We study representations of the structure group scheme. In particular, we describe irreducible representations and compute its Grothendieck ring of finite dimensional representations.
The first goal of this paper is to study the amount of compatibility between two important constructions in the theory of quantized enveloping algebras, namely the canonical basis and the quantum Frobenius morphism. The second goal is to study orders with which the Kashiwara crystal B(infinity) of a symmetrizable Kac-Moody algebra can be endowed; these orders are defined so that the transition matrices between bases naturally indexed by B(infinity) are lower triangular.
Dual imaginary vectors, tight monomial cones and quantum Frobenius morphism
研究有限维单李代数中量子弗罗贝尼乌斯态射及其分裂与典范基的兼容性，发现秩足够大时存在不兼容，位置与勒克莱尔的虚向量及紧单项式锥中特定单项式有关。
Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A morphism with this property is termed a Frobenius morphism of groupoids. As a consequence, an extension by a subgroupoid is Frobenius if and only if each fibre of the (left or right) pull-back biset has finitely many orbits. Our results extend and clarify the classical Frobenius reciprocity formulae in the theory of finite groups, and characterize Frobenius…
We show that the quantum Frobenius morphism constructed by Lusztig in the setting of the quantum enveloping algebra specialized at a root of unity admits a multiplicative splitting (non unital). We also find a basis of the toral part of the small quantum algebra consisting of pairwise orthogonal idempotents summing up to 1, and likewise in the modular case of the algebra of distributions for a semisimple algebraic group.
Nakajima introduced the morphism of q,t-characters for finite dimensional representation of simply-laced quantum affine algebras : it is a t-deformation of the Frenkel-Reshetikhin's morphism of q-characters (sum of monomials in infinite variables). In math.QA/0212257 we generalized the construction of q,t-characters for non simply-laced quantum affine algebras. First in this paper we prove a conjecture of math.QA/0212257 : the monomials of q and q,t-characters of standard representations are the same in non simply-laced cases (the simply-laced cases were treated by Nakajima) and the coefficien…
We show how to construct tilting bundles for a class of smooth projective varieties using characteristic $p$ methods. Given such a variety $X$, reduce it modulo a prime number and consider the direct image of the structure sheaf under the Frobenius morphism. We prove that under suitable restrictions on the characteristic, these direct images are tilting bundles for some toric Fano varieties, Del Pezzo surfaces, and flag varieties $G/B$ of type $A_2$ and $B_2$.
In this paper, which is the sequel to arXiv:1410.3742, we study the Frobenius pushforward of the structure sheaf on the adjoint varieties in type ${\bf A}_3$ and ${\bf A}_4$. We show that this pushforward sheaf decomposes into a direct sum of indecomposable bundles and explicitly determine this set that does not depend of the characteristic. In accordance with the results of arXiv:0707.0913, this set forms a strong full exceptional collection in the derived category of coherent sheaves. These computations lead to a natural conjectural answer in the general case that we state at the end.
Let $\mathfrak{g}$ be a finite simply-laced type simple Lie algebra. Baumann-Kamnitzer-Knutson recently defined an algebra morphism $\overline{D}$ on the coordinate ring $\mathbb{C}[N]$ related to Brion's equivariant multiplicities via the geometric Satake correspondence. This map is known to take distinguished values on the elements of the MV basis corresponding to smooth MV cycles, as well as on the elements of the dual canonical basis corresponding to Kleshchev-Ram's strongly homogeneous modules over quiver Hecke algebras. In this paper we show that when $\mathfrak{g}$ is of type $A_n$ or $…
This article concerns properties of mixed $\ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of the direct image complex under a proper morphism of varieties over a finite field. We conjecture that the direct image of the intersection complex on the domain is always semisimple and Frobenius semisimple; this conjecture would imply that a strong form of the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber is valid over finite fields. We prove …
Frobenius algebra objects in Temperley-Lieb categories at roots of unity
本文在根为单位的Temperley-Lieb范畴中定义了Frobenius结构，并展示了其Nakayama映射的阶为2，扩展了Frobenius代数的概念。
We generalize Deng-Du's folding argument, for the bounded derived category $\mathcal{D}(Q)$ of an acyclic quiver $Q$, to the finite dimensional derived category $\mathcal{D}(ΓQ)$ of the Ginzburg algebra $ΓQ$ associated to $Q$. We show that the $F$-stable category of $\mathcal{D}(ΓQ)$ is equivalent to the finite dimensional derived category $\mathcal{D}(Γ\mathbb{S})$ of the Ginzburg algebra $Γ\mathbb{S}$ associated to the species $\mathbb{S}$, which is folded from $Q$. If $(Q,\mathbb{S})$ is of Dynkin type, we prove that $\operatorname{Stab}\mathcal{D}(\mathbb{S})$ (resp. the principal componen…
By introducing Frobenius morphisms $F$ on algebras $A$ and their modules over the algebraic closure ${\bar \BF}_q$ of the finite field $\BF_q$ of $q$ elements, we establish a relation between the representation theory of $A$ over ${\bar \BF}_q$ and that of the $F$-fixed point algebra $A^F$ over $\BF_q$. More precisely, we prove that the category $\modh A^F$ of finite dimensional $A^F$-modules is equivalent to the subcategory of finite dimensional $F$-stable $A$-modules, and, when $A$ is finite dimensional, we establish a bijection between the isoclasses of indecomposable $A^F$-modules and the …
Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=\operatorname{Gr}(2,n)$ defined over an algebraically closed field of characteristic $p>0$. In this paper we give a completely characteristic free description of the decomposition of $R$, considered as a graded $R^p$-module, into indecomposables ("Frobenius summands"). As a corollary we obtain a similar decomposition for the Frobenius pushforward of the structure sheaf of $\mathbb{G}$ and we obtain in particular that this pushforward is almost never a tilting bundle. On the other hand we show that $R$ provides a "noncom…
In this paper, given a semisimple algebraic group $\bf G$ of rank 2, we construct a special semiorthogonal decomposition in the derived category of coherent sheaves on the flag variety ${\bf G}/{\bf B}$. These decompositions are defined over the localization ${\mathbb Z}_{\rm S}$, where $\rm S$ is the set of bad primes for $\bf G$, while their block structure is compatible with the Bruhat order on Schubert varieties. The non-standard $t$-structures on ${\rm D}^b({\bf G}/{\bf B})$ defined by these decompositions are self-dual with respect to the duality ${\mathcal RHom}_{{\bf G}/{\bf B}}(-,ω_{{…
The geometric small property (Borho-MacPherson) of projective morphisms implies a description of their singularities in terms of intersection homology. In this paper we solve the smallness problem raised by Nakajima (math.QA/0105173) for certain resolutions of quiver varieties (analogs of the Springer resolution) : for Kirillov-Reshetikhin modules of simply-laced quantum affine algebras, we characterize explicitly the Drinfeld polynomials corresponding to the small resolutions. We use an elimination theorem for monomials of Frenkel-Reshetikhin q-characters that we establish for non necessarily…
Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers
本研究给出强幺半函子的双伴随函子成为Frobenius幺半函子的一般条件，进一步得到其可提升为Drinfeld中心上辫子Frobenius幺半函子的更强条件，并通过Hopf代数态射构造了具体实例。
Quantum Frobenius splittings and cluster structures
该研究证明量子Frobenius态射对偶及Lusztig分裂与量子cluster单项式相容，特化后得flag簇典范Frobenius分裂与Schubert胞腔cluster代数结构相容的结论。
Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=Gr(2,n)$ defined over an algebraically closed field $k$ of characteristic $p \geq \max\{n-2,3\}$. In this paper we give a description of the decomposition of $R$, considered as graded $R^{p^r}$-module, for $r \geq 2$. This is a companion paper to our earlier paper, where the case $r=1$ was treated, and taken together, our results imply that $R$ has finite F-representation type (FFRT). Though it is expected that all rings of invariants for reductive groups have FFRT, ours is the first non-trivial example of such a ring f…
Lusztig has constructed a Frobenius morphism for quantum groups at an $\ell$-th root of unity, which gives an integral lift of the Frobenius map on universal enveloping algebras in positive characteristic. Using the Hall algebra we give a simple construction of this map for the positive part of the quantum group attached to an arbitrary Cartan datum in the nondivisible case.
Phantom stable category of $n$-Frobenius categories
本文定义了 $n$-Frobenius 范畴的幻影稳定范畴，证明其存在性，并研究其性质，推广了 Frobenius 范畴的稳定化理论。
Foundations of Frobenius Heisenberg categories
本文研究 Frobenius Heisenberg 范畴的态射空间基，利用范畴余乘法与广义分圆商证明相关猜想，并表明其 Karoubi 包络的 Grothendieck 环恢复对应格 Heisenberg 代数。
Relative cluster categories and Higgs categories with infinite-dimensional morphism spaces
该研究在相对雅可比无限设定下构建了具有外三角结构的希格斯范畴与相对丛范畴，涵盖格拉斯曼流形丛范畴情形，还构建了改进的丛特征标，附录中完成了准丛态射的范畴化并被用于证明相关猜想。
Rank one summands of Frobenius pushforwards of line bundles on G/P
本研究刻画了正特征域上部分旗簇G/P中线丛的r次绝对Frobenius前推的所有秩一直和项线丛，计算了大r时支配权对应线丛前推中结构层的直和项重数，解决了Gros-Kaneda的相关问题。
We introduce a family $\mathbb{M}_{r;f,η}$ of infinitesimal supergroup schemes, which we call multiparameter supergroups, that generalize the infinitesimal Frobenius kernels $\mathbb{G}_{a(r)}$ of the additive group scheme $\mathbb{G}_{a}$. Then, following the approach of Suslin, Friedlander, and Bendel, we use functor cohomology to define characteristic extension classes for the general linear supergroup $GL_{m|n}$, and we calculate how these classes restrict along homomorphisms $ρ: \mathbb{M}_{r;f,η} \rightarrow GL_{m|n}.$ Finally, we apply our calculations to describe (up to a finite surjec…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。