Timeline for Ampleness verifiable over faithfully flat cover
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2 at 12:28 | vote | accept | user267839 | ||
| Aug 6 at 5:52 | comment | added | Jason Starr | Just to add a historical note, that result is due to Chevalley. | |
| Aug 5 at 13:01 | comment | added | user267839 | On the other hand what about faithfully flat (but neccessarily finite) coverings $X' \to X$ of type obtained by faithflat map on the base $s: S' \to S$, ie $X'=X \times S'$, eg for $S$ spec of $k$ and $S'$ spec of alg closure. So in ff descent setting for the base. Can for this type covers $g$ - which so a not neccess finite - ampleness checked after base change? In other words, is ampleness checkable by descent on base? | |
| Aug 5 at 12:52 | history | edited | Will Sawin | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Aug 5 at 12:44 | history | answered | Will Sawin | CC BY-SA 4.0 |