rational morphism



rational morphism

A rational map \(f: X \dashrightarrow Y\) is a morphism \(\tilde f: U\to Y\) defined on some nonempty open \(U \subseteq X\). Any two rational maps defined on \(U_1, U_2\) are equivalent iff they agree on \(U_1 \cap U_2\).

🗓️ Timeline
  • Prismatic cohomology
    In AG, tight link between birational equivalence (of say smooth projective varieties and equivalence of $\mathbf{D} { {\mathsf{Coh}}X } $, the derived category of coherent sheaves
Links to this page
#todo/untagged #todo/add-references #todo/create-links