Timeline for determinant of a coherent sheaf, locally free on a big open set
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 11, 2018 at 8:59 | comment | added | Sasha | @JasonStarr: Yes, this is what I meant, smooth morphism and flatness of the sheaf over the base give finite locally free resolution. | |
| Mar 10, 2018 at 22:11 | vote | accept | CommunityBot | ||
| Mar 10, 2018 at 21:25 | comment | added | Jason Starr | Actually, existence of a finite locally free resolution does follow from the hypotheses (use $S$-flatness and Hilbert's syzygy theorem). | |
| Mar 10, 2018 at 21:06 | comment | added | Jason Starr | Where does the OP write that $\mathcal{E}$ has a finite locally free resolution? The morphism $f$ is smooth, but neither $S$ nor $X$ need be smooth. | |
| Mar 10, 2018 at 19:22 | history | answered | Sasha | CC BY-SA 3.0 |