Timeline for Will a tilting sheaf over Z which is a generator over Q be a generator modulo every prime?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 16, 2015 at 14:57 | comment | added | Ben Webster♦ | @Dracula Clarified in the question. | |
| Aug 16, 2015 at 14:56 | history | edited | Ben Webster♦ | CC BY-SA 3.0 |
added 104 characters in body
|
| Aug 16, 2015 at 11:51 | comment | added | Dracula | Can you clarify what you mean by "variety defined over $\mathbf{Z}$"? | |
| Aug 15, 2015 at 15:39 | comment | added | Ben Webster♦ | @WillSawin I did say "basically", but I believe this is true. By 3.3 in Kaledin, $F$ is a generator if a particular object in the derived category of coherent sheaves is trivial; generation over $\mathbb{Q}$ is that this sheaf is torsion, which is the same as saying that it is trivial after base change to $\mathbb{F}_p$ for sufficiently large $p$. | |
| Aug 15, 2015 at 15:25 | answer | added | Dracula | timeline score: 1 | |
| Aug 15, 2015 at 14:31 | comment | added | Will Sawin | Why is generating over $\mathbb Q$ equivalent to generating over $\mathbb F_p$ for large primes $p$? | |
| Aug 15, 2015 at 13:36 | history | asked | Ben Webster♦ | CC BY-SA 3.0 |