## FANDOM

232,608 Pages

This problem has Harthshorne Height 1. This problem shows why its useful to talk about stalks.

### HAPPY

• a) $(\ker \phi)_p = \ker (\phi_p)$: in words, the things that map to zero near p are the same as the things near p that map to zero. It can be proved by showing an element of one group defines and element of the other group and vice versa. Similarly for im$(\phi_p) = (\mbox{im} \phi)_p$. But in this case it will be better to work on the level of presheaves.
• b)
• injectivity: when the map is injective, use a) to show $\ker(\phi_p) = 0$. When you have injectivity on stalks, use the sheaf axioms to show the map is injective on every open set.
• surjectivity: when the map is surjective, use a) to show im$(\phi_p) = G_p$. For the other direction, argue $(\mbox{im}\phi)_p = G_p$ and use the proposition II.1.1.
• c) another application of part a for one direction and proposition II.1.1 for the other direction.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 5, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8861961960792542, "perplexity": 465.4828657271003}, "config": {"markdown_headings": true, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-26/segments/1498128320539.37/warc/CC-MAIN-20170625152316-20170625172316-00695.warc.gz"}