Timeline for Trace morphism for projective morphism on differentials forms
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 30, 2023 at 9:24 | history | edited | Leo Alonso | CC BY-SA 4.0 |
edited body
|
| Nov 29, 2023 at 19:13 | comment | added | Leo Alonso | Basically you take a Noether normalization $X \to P^1 \to \operatorname{Spec}(k)$ and then they integral on $X$ is the composition of the trace from $X$ to $P^1$ and the integral on $P^1$ that you can compute with Czech cocycles. | |
| Nov 29, 2023 at 17:44 | vote | accept | Emiliano Ambrosi | ||
| Nov 29, 2023 at 17:44 | comment | added | Emiliano Ambrosi | I have just one further question: do you know how does the map H^1(X,\Omega^1_{X/k})---> k looks in some concrete situation? For example, I can image what is it if X is the union of two P^1, but I can't guess what the map does if X is a double line for example (i.e. x^2=0 inside P^2). Is it the composition of the map to the reduced part and the trace of this one? | |
| Nov 29, 2023 at 17:41 | comment | added | Emiliano Ambrosi | Thank you very much, this is exactly what I was looking for! | |
| Nov 29, 2023 at 12:56 | history | answered | Leo Alonso | CC BY-SA 4.0 |