2017/05/04 by Theo Raedschelders, Špela Špenko, Raedschelders, Theo +3 · 1 citation
Mathematics · #13A50 #14M15 #32S45 #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #FOS: Mathematics #Representation Theory (math.RT) #Rings and Algebras (math.RA) #math.AC #math.AG #math.RA #math.RT #msc:13A50 #msc:14M15 #msc:32S45
paper · pdf · doi:10.48550/arxiv.1705.01832
We have now been able to prove our conjecture that the Frobenius pushforward yields an NCR
arxiv created 2017/06/16 · arxiv updated 2017/06/19
Let R be the homogeneous coordinate ring of the Grassmannian \mathbbG=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 Rp-module, into indecomposables ("Frobenius summands"). As a corollary we obtain a similar decomposition for the Frobenius pushforward of the structure sheaf of \mathbbG and we obtain in particular that this pushforward is almost never a tilting bundle. On the other hand we show that R provides a "noncommutative resolution" for Rp when p≥ n-2, generalizing a result known to be true for toric varieties. In both the invariant theory and the geometric setting we observe that if the characteristic is not too small the Frobenius summands do not depend on the characteristic in a suitable sense. In the geometric setting this is an explicit version of a general result by Bezrukavnikov and Mirković on Frobenius decompositions for partial flag varieities. We are hopeful that it is an instance of a more general "p-uniformity" principle.