## Return to Question

3 edited tags
2 corrected to remove an inaccurate link.

Given $f:X\to Y$ a morphism of schemes (or stacks if it's not harder), I am interested in a geometric reformulation of the condition that the functor $f^*:D^b(Coh(Y))\to D^b(Coh(X))$ is full. I can only find full and faithful appearing together in the literature, and I need to extricate the two conditions. Does anyone know a simple formulation, or a good reference?

Things I know which might help:

1. For affine schemes, it seems to be well-known that `$f^*$` is full and faithful if and only if $f$ is an open immersion. The explanation presented here translates full faithfulness of `$f^*$` to saying that the diagonal map $X\to X\times_Y X$ is an isomorphism, which in turn gives you that $f$ is mono. Other arguments about flatness give you that it's an immersion. I'm not sure how to modify this for $f^*$ only full, as the full and faithful assumptions seem to get applied in tandem. I'm also not sure how particular this line of inquiry is to affine schemes.

Intuitively, asking for `$f^*$` to be full seems alot like asking that anytime you have a sheaf $F$ on $Y$, and a section of it defined only on $X$ (i.e. a section of `$f^*F$`), it can be extended to a section on all of $Y$. And so that would seem to indicate that the image of $f$ should have codimension-two complement. However, that intuition only really applies to underived `$f^*$`, and maybe deriving `$f^*$` eliminates the codimension 2 requirement? Also, this intution is assuming that f is mono, so that $f^*$ is just restriction, which I don't think is true a priori.

As a side-note: I'd be interested in the same question (geometric characterization of fullness) for `$f_*$ and $f^!$.`

1

# Fullness of pullback functor in algebraic geometry

Given $f:X\to Y$ a morphism of schemes (or stacks if it's not harder), I am interested in a geometric reformulation of the condition that the functor $f^*:D^b(Coh(Y))\to D^b(Coh(X))$ is full. I can only find full and faithful appearing together in the literature, and I need to extricate the two conditions. Does anyone know a simple formulation, or a good reference?

Things I know which might help:

1. For affine schemes, it seems to be well-known that `$f^*$` is full and faithful if and only if $f$ is an open immersion. The explanation presented here translates full faithfulness of `$f^*$` to saying that the diagonal map $X\to X\times_Y X$ is an isomorphism, which in turn gives you that $f$ is mono. Other arguments about flatness give you that it's an immersion. I'm not sure how to modify this for $f^*$ only full, as the full and faithful assumptions seem to get applied in tandem. I'm also not sure how particular this line of inquiry is to affine schemes.

2. Intuitively, asking for `$f^*$` to be full seems alot like asking that anytime you have a sheaf $F$ on $Y$, and a section of it defined only on $X$ (i.e. a section of `$f^*F$`), it can be extended to a section on all of $Y$. And so that would seem to indicate that the image of $f$ should have codimension-two complement. However, that intuition only really applies to underived `$f^*$`, and maybe deriving `$f^*$` eliminates the codimension 2 requirement? Also, this intution is assuming that f is mono, so that $f^*$ is just restriction, which I don't think is true a priori.

As a side-note: I'd be interested in the same question (geometric characterization of fullness) for `$f_*$ and $f^!$.`
{"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": 24, "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": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "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.9615012407302856, "perplexity_flag": "head"}