Definition of line bundle associated to a Cartier Divisor.Properties of quotient sheavesEffective Cartier...

How do I tell my boss that I'm quitting in 15 days (a colleague left this week)

Overlapping circles covering polygon

How many people need to be born every 8 years to sustain population?

Animation: customize bounce interpolation

Why is the principal energy of an electron lower for excited electrons in a higher energy state?

Limit max CPU usage SQL SERVER with WSRM

Should I warn a new PhD Student?

Storage of electrolytic capacitors - how long?

El Dorado Word Puzzle II: Videogame Edition

Telemetry for feature health

Can I cause damage to electrical appliances by unplugging them when they are turned on?

Does Doodling or Improvising on the Piano Have Any Benefits?

What is the smallest number n> 5 so that 5 ^ n ends with "3125"?

Why does the Persian emissary display a string of crowned skulls?

Can you identify this lizard-like creature I observed in the UK?

How to leave product feedback on macOS?

Can I say "fingers" when referring to toes?

Showing mass murder in a kid's book

Has the laser at Magurele, Romania reached a tenth of the Sun's power?

Quoting Keynes in a lecture

How to make money from a browser who sees 5 seconds into the future of any web page?

In One Punch Man, is King actually weak?

Isometric embedding of a genus g surface

If Captain Marvel (MCU) were to have a child with a human male, would the child be human or Kree?



Definition of line bundle associated to a Cartier Divisor.


Properties of quotient sheavesEffective Cartier divisorsDefinition of Cartier divisorsQuestions about the definition of a Cartier Divisor from Liu pg 256Cartier Divisor corresponds on $X$ to $(U_i,f_i)$Do I correctly understand the constructions involved in definition of Cartier divisor?Sheaf associated to a Cartier divisorRepresentation of an effective Cartier divisor: is there an imprecision in Liu's book?Using definition of Cartier divisors on $mathbb{P}^1$.Constructing an invertible sheaf from a Cartier divisor?













1












$begingroup$


Let $D$ be a Cartier Divisor on a scheme $X$ represented by ${(U_i, f_i)}$ where $U_i$ is an open cover on $X$, $f_i in Gamma(U_i, mathcal{K}^*)$ and such that $f_i/f_j in Gamma(U_i cap U_j, mathcal{O}^*)$.



We define the sheaf associated to $D$ denoted by $mathcal{L}(D)$ to be the sub $mathcal{O}_X$-module of $mathcal{K}$ generated by $f_i^{-1}$ on $U_i$.



Why take the inverse here?



It seems that $D$ as described already is a line bundle via the map $mathcal{O}_X vert_{U_i} to mathcal{D} vert_{U_i}$ defined as $1 mapsto f_i$.










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    Let $D$ be a Cartier Divisor on a scheme $X$ represented by ${(U_i, f_i)}$ where $U_i$ is an open cover on $X$, $f_i in Gamma(U_i, mathcal{K}^*)$ and such that $f_i/f_j in Gamma(U_i cap U_j, mathcal{O}^*)$.



    We define the sheaf associated to $D$ denoted by $mathcal{L}(D)$ to be the sub $mathcal{O}_X$-module of $mathcal{K}$ generated by $f_i^{-1}$ on $U_i$.



    Why take the inverse here?



    It seems that $D$ as described already is a line bundle via the map $mathcal{O}_X vert_{U_i} to mathcal{D} vert_{U_i}$ defined as $1 mapsto f_i$.










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      Let $D$ be a Cartier Divisor on a scheme $X$ represented by ${(U_i, f_i)}$ where $U_i$ is an open cover on $X$, $f_i in Gamma(U_i, mathcal{K}^*)$ and such that $f_i/f_j in Gamma(U_i cap U_j, mathcal{O}^*)$.



      We define the sheaf associated to $D$ denoted by $mathcal{L}(D)$ to be the sub $mathcal{O}_X$-module of $mathcal{K}$ generated by $f_i^{-1}$ on $U_i$.



      Why take the inverse here?



      It seems that $D$ as described already is a line bundle via the map $mathcal{O}_X vert_{U_i} to mathcal{D} vert_{U_i}$ defined as $1 mapsto f_i$.










      share|cite|improve this question









      $endgroup$




      Let $D$ be a Cartier Divisor on a scheme $X$ represented by ${(U_i, f_i)}$ where $U_i$ is an open cover on $X$, $f_i in Gamma(U_i, mathcal{K}^*)$ and such that $f_i/f_j in Gamma(U_i cap U_j, mathcal{O}^*)$.



      We define the sheaf associated to $D$ denoted by $mathcal{L}(D)$ to be the sub $mathcal{O}_X$-module of $mathcal{K}$ generated by $f_i^{-1}$ on $U_i$.



      Why take the inverse here?



      It seems that $D$ as described already is a line bundle via the map $mathcal{O}_X vert_{U_i} to mathcal{D} vert_{U_i}$ defined as $1 mapsto f_i$.







      algebraic-geometry






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 12 at 21:37









      JadwigaJadwiga

      2,07811025




      2,07811025






















          0






          active

          oldest

          votes











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3145726%2fdefinition-of-line-bundle-associated-to-a-cartier-divisor%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3145726%2fdefinition-of-line-bundle-associated-to-a-cartier-divisor%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          六本木駅

          Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

          Joseph Lister