MHB Is the Quotient Sheaf Isomorphic to the Image Sheaf?

  • Thread starter Thread starter Euge
  • Start date Start date
  • Tags Tags
    2016
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
Let $\mathscr{F} \overset{\eta}{\to} \mathscr{G}$ be a morphism of sheaves over a topological space $X$. Prove that quotient sheaf $\mathscr{F}/\operatorname{ker}(\eta)$ is isomorphic to the image sheaf $\operatorname{im}(\eta)$.-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
No one answered this week's problem. You can read my solution below.
It suffices to prove that for every $x\in X$, the stalks $\mathscr{F}/\operatorname{ker}(\eta)$ and $\operatorname{im}(\eta)$ at $x$ are isomorphic. Fix $x\in X$. The morphism $\eta$ induces a morphism $\eta_x : \mathscr{F}_x \to \mathscr{G}_x$ on stalks. There is an isomorphism $F_x/\operatorname{ker}(\eta_x) \cong \operatorname{im}(\eta_x)$. On the other hand, $\mathscr{F}_x/\operatorname{ker}(\eta_x) \cong \left(\mathscr{F}/\operatorname{ker}(\eta)\right)_x$ and $\left(\operatorname{im}(\eta)\right)_x = \operatorname{im}(\eta_x)$. So $\left(\mathscr{F}/\operatorname{ker}(\eta)\right)_x \cong \left(\operatorname{im}(\eta)\right)_x$. Since $x$ was arbitrary, the result follows.
 
Back
Top