I'm interested in the correspondance between the Picard group and the Weil group. Over a sufficiently well-behaved scheme $X$, like a projective curve or if $X$ is regular, these are isomorphic. The group homomorphism in general goes from sheaves to divisors and the reverse direction seems a bit opaque to me. I feel like it would really help my understanding of the topic to know what kind of sheaf a prime divisor in the Weil group corresponds to in general.
My guess (and little more than that): A prime divisor $P$ is effective and therefore corresponds to a closed subscheme of $X$ (I guess it is also defined this way too). This will have a structure sheaf $C$ and $i_*O_C$ is an $O_X$-module where $i$ is the natural embedding. It would seem very sad to me if $O(P) = i_*O_C$ did not hold. So in particular if we are working over a projective curve $O(P)$ is the skyscraper sheaf supported at $P$. $O(-P)$ is the sheaf of ideals for the subscheme $P$ which seems to support this theory.
So a trio of interdependent questions:
- Is the above guess correct and how can it be made rigorous?
- Is this true for all effective divisor? So is $O(P+Q)$ the structure sheaf of the disjoint union of two subschemes? What about $O(2P)$?