Timeline for Frobenius pushforward of an equivariant tautological bundle on the flag variety
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 9, 2022 at 11:57 | comment | added | Jason Starr | That makes a big difference. | |
| Nov 9, 2022 at 11:24 | comment | added | IntegrableSystemsEnthusiast | @JasonStarr Sorry, I meant to write instead $Fr_*({\mathcal O}(-\rho))={\mathcal O}(-\rho)^{\oplus p^{{\rm dim}(X)}}$ where $\rho$ is the half sum of positive roots | |
| Nov 9, 2022 at 10:43 | comment | added | Jason Starr | The formula that you write down in your sentence, "Non-equivaraintly, it is known ...", makes no sense. Let $\lambda$ be the zero weight. It is not true that the Frobenius pushforward of the structure sheaf is a direct sum of $p^{\text{dim}X}$ copies of the structure sheaf: these two sheaves have different $h^0$. (If you are concerned about absolute Frobenius versus geometric Frobenius, take $k$ to be $\mathbb{Z}/p\mathbb{Z}$.) | |
| Nov 8, 2022 at 21:28 | history | edited | IntegrableSystemsEnthusiast | CC BY-SA 4.0 |
edited body
|
| Nov 8, 2022 at 18:42 | history | became hot network question | |||
| Nov 8, 2022 at 13:47 | answer | added | Piotr Achinger | timeline score: 7 | |
| Nov 8, 2022 at 10:38 | history | asked | IntegrableSystemsEnthusiast | CC BY-SA 4.0 |