Welcome to our community

Be a part of something great, join today!

Problem of the Week #229 - Oct 18, 2016

Status
Not open for further replies.
  • Thread starter
  • Moderator
  • #1

Euge

MHB Global Moderator
Staff member
Jun 20, 2014
1,896
Here is another chance to solve a sheaf problem!

-----
Let $(X,\mathscr{O})$ be a ringed space. Suppose $\mathscr{F}$ is an invertible sheaf over $\mathscr{O}$. That is, $\mathscr{F}$ is a rank one locally free module over $\mathscr{O}$. Prove that there is an isomorphism between the tensor sheaf $\mathscr{F}\otimes_\mathcal{O}\check{\mathscr{F}}$ and structure sheaf $\mathscr{O}$, where $\check{\mathscr{F}} = \operatorname{Hom}_X(\mathscr{F},\mathscr{O})$.

-----

Remember to read the POTW submission guidelines to find out how to submit your answers!
 
  • Thread starter
  • Moderator
  • #2

Euge

MHB Global Moderator
Staff member
Jun 20, 2014
1,896
No one answered this week's problem. You can read my solution below.


Let $x\in X$. Then there is an isomorphism $(\mathscr{F}\otimes_{\mathscr{O}} \check{\mathscr{F}})_x \approx \mathscr{F}_x \otimes_{\mathscr{O}_x} \check{\mathscr{F}}_x$. Since $\mathscr{F}$ is invertible over $\mathscr{O}$, $\mathscr{F}_x \approx \mathscr{O}_x$. Hence $\check{\mathscr{F}}_x \approx \operatorname{Hom}_{\mathscr{O}_x}(\mathscr{F}_x,\mathscr{O}_x) \approx \operatorname{Hom}_{\mathscr{O}_x}(\mathscr{O}_x,\mathscr{O}_x) \approx \mathscr{O}_x$, and so $\mathscr{F}_x \otimes_{\mathscr{O}_x} \check{\mathscr{F}}_x \approx \mathscr{O}_x \otimes_{\mathscr{O}_x} \mathscr{O}_x \approx \mathscr{O}_x$. Therefore, $(\mathscr{F} \otimes_\mathscr{O}\check{\mathscr{F}})_x \approx \mathscr{O}_x$. Since $x$ was arbitrary, the tensor sheaf $\mathscr{F}\otimes_{\mathscr{O}} \check{\mathscr{F}}$ is isomorphic to $\mathscr{O}$.
 
Status
Not open for further replies.