Timeline for What is the family derived from the absolute Frobenius on the Hilbert scheme?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2010 at 14:00 | vote | accept | Allen Knutson | ||
| Jun 18, 2010 at 13:51 | comment | added | BCnrd | @Sasha: Good example. In terms of the answer below, it corresponds to line bundles which are a $p$th power on the base (equipped with a specified choice of that $p$th root), consistent with its realization inside of $\mathbf{P}^d \times \mathbf{P}^d$ projecting via isomorphism to one factor but not to the other. | |
| Jun 18, 2010 at 11:21 | comment | added | Sasha | For $f \equiv 1$ the universal family is the diagonal in $P^d \times P^d$. So, its pullback is the graph of the Frobenius. | |
| Jun 17, 2010 at 16:14 | answer | added | Boyarsky | timeline score: 7 | |
| Jun 17, 2010 at 15:59 | history | asked | Allen Knutson | CC BY-SA 2.5 |