Flat sheaves and induced morphism

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Hi,

I want to consider a module $P$ on a product $X \times Y$ of varieties over a field of characteristic zero, such that $P$ is flat over $X$. Furthermore I want to consider for each closed point $x$ on $X$ the natural map

$i_x:Y\rightarrow X\times Y$,

which comes from the cartesian diagram induced by the inclusion of $x$ in $X$, so naively it is just: sending a point $y$ on $Y$ to $(x,y)$ for that fixed $x$. With $P_x$ I want to denote the pullback of $P$ via $i_x$.

Assume that for every closed $x$ you have that $P_x$ is the skyscraper $k(y)$ for a closed point $y$ on $Y$. Then I can define a map of sets

$f:Cl(X)\rightarrow Cl(Y)$

between the closed points $Cl(X)$ and $Cl(Y)$ on $X$ and $Y$. My question: can you use this $f$ to define a real morphism between $X$ and $Y$ as varieties?

Remark: in the case I am interested in the f is bijective. Does this then imply that, if the extension exists, it is automatically an iso?

Thanks!

-

3 Answers

I will assume that $X$ is normal. Let $Z$ be the support of $P$ on $X\times Y$. Then by your assumption $Z$ projects bijectively onto $X$. Since we are in characteristic $0$, this map is separable, so by Zariski's main theorem, this is an isomorphism. Then composing the inverse with this isomorphism with the projection to $Y$ you get a morphism $X\to Y$.

-

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I saw this question while trying to understand the proof of Cor. 5.23 of Huybrecht's Furier-Mukai transform. With exactly the same assumptions, there is a conclusion that using local sections of the module one can define a morphism. This cannot be difficult, but I am in the middle of understanding it. There is also an answer to the second question: if varieties are smooth then it is an iso. If not Huybrechts uses the assumption that derived categories are equivalent.

-

Just to my prev. note that is not good: 1. In Cor. 5.23 one works with smooth varieties (but not nec. in char 0) 2. For isomorphism there are two cases distinguished: in char 0 (as an easy consequence) or not in char 0, where an inverse in constructed (using other assumptions) 3. "Choosing local sections of P shows that it indeed defines the morphism f:X->Y" (P is the sheaf on XxY, flat over X). This should be easy and characteristic free. Piotr can you see it? Definitely support of P is a graph, but I would much appreciate a (preferably algebraic) proof :) Best

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 38, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9446433186531067, "perplexity_flag": "head"}