Timeline for Push forward a Cartier is still Cartier
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 28, 2019 at 12:44 | answer | added | Li Yutong | timeline score: 2 | |
| Oct 17, 2019 at 1:05 | comment | added | Li Yutong | $D$ is numerically trivial over $X$ means that for any curve $C$ on $Y$ such that $f_*C=0$, then $D \cdot C =0$. | |
| Oct 15, 2019 at 20:47 | comment | added | Evgeny Shinder | By the way what does `numerically trivial over $X$' mean? | |
| Oct 15, 2019 at 20:43 | comment | added | Evgeny Shinder | This $D_X$ must satisfy $f_*(D) = D_X$, and I think the main part is to show that $D_X$ is a Cartier divisor. Informally, at least when $X$ has isolated rational singularities and $f$ is a resolution, this would follow from identification between restriction of a divisor $D_X$ to the completion of the singular points of $X$ and restriction of $D$ to the neigbourhood of the exceptional set of $f$. | |
| Oct 14, 2019 at 12:49 | history | asked | Li Yutong | CC BY-SA 4.0 |