General Case
The trouble starts when X is no longer integral. Then it is possible to have zero divisors in the ring of regular functions, and consequently the fraction field no longer exists. The naive solution is to replace the fraction field by the total quotient ring, that is, to invert every element that is not a zero divisor. Unfortunately, not only can this fail to give a sheaf, in general it does not even give a presheaf! The well-known article of Kleiman, listed in the bibliography, gives such an example.
The correct solution is to proceed as follows:
- For each open set U, let SU be the set of all elements in Γ(U, OX) that are not zero divisors in any stalk OX,x. Let KXpre be the presheaf whose sections on U are localizations SU-1Γ(U, OX) and whose restriction maps are induced from the restriction maps of OX by the universal property of localization. Then KX is the sheaf associated to the presheaf KXpre.
Read more about this topic: Function Field (scheme Theory)
Famous quotes containing the words general and/or case:
“When General Motors has to go to the bathroom ten times a day, the whole country’s ready to let go. You heard of that market crash in ‘29? I predicted that.... I was nursing a director of General Motors. Kidney ailment, they said; nerves, I said. Then I asked myself, “What’s General Motors got to be nervous about?” “Overproduction,” I says. “Collapse.””
—John Michael Hayes (b. 1919)
“... business training in early life should not be regarded solely as insurance against destitution in the case of an emergency. For from business experience women can gain, too, knowledge of the world and of human beings, which should be of immeasurable value to their marriage careers. Self-discipline, co-operation, adaptability, efficiency, economic management,—if she learns these in her business life she is liable for many less heartbreaks and disappointments in her married life.”
—Hortense Odlum (1892–?)