This is my first question for HSM. If it is consider too specialized for HSM, perhaps it can be migrated to MathOverflow.

In algebraic number theory, one frequently denotes the ring of algebraic integers in a number field $K$ by $O_K$. Similarly in algebraic geometry, where one studies algebraic varieties and later schemes, it is common to denote the ring of regular functions over an open set $U$ by $O(U)$ or $\mathcal{O}(U)$, and similarly one often denotes the stalk at a point $p$ by something like $O_p$ or $\mathcal{O}_p$.

Where does this $O$ come from, or where was it first used? My best guess is that it originally had something to do with Order in commutative ring theory, starting primarily in algebraic number theory and later spilling over into algebraic geometry.

(I'm asking as a follow-up to a comment I made at MO here, where I explain a private pun I've developed to give a sense to O-notation as it is used in asymptotic analysis; I realized after making that comment that I had no idea where the notation $O$ in the sense of this question comes from.)

  • 4
    $\begingroup$ Hi, and welcome to Stack Exchange! I think we would really like to see more high-level (specialized) questions on the site, so I hope yours will receive a satisfactory answer and that you will return again! I've also added some tags to your question; feel free to edit them if you think something is missing (or if I mis-tagged!). $\endgroup$ – Danu Oct 14 '15 at 20:55
  • $\begingroup$ @Danu Thanks for the welcome! The added tags look appropriate to me, and I think they should suffice (can't really think of others at the moment). $\endgroup$ – Todd Trimble Oct 14 '15 at 21:02
  • $\begingroup$ I'd edit the title. When seeing it I thought it was about the $O(\cdot)$ notation for bounds (as is common in algorithm analysis and elsewhere) $\endgroup$ – vonbrand Oct 14 '15 at 21:39
  • 1
    $\begingroup$ @vonbrand I changed to a calligraphic O, which should disambiguate from the O notation in asymptotic analysis (but note the last paragraph of my post where I point to a relation between the two). $\endgroup$ – Todd Trimble Oct 14 '15 at 21:48
  • 1
    $\begingroup$ Good grief! Why the downvote? $\endgroup$ – Todd Trimble Oct 15 '15 at 5:10

Your guess is right: the notation $\mathfrak o$ goes back to Dedekind. If you get a copy of Dirichlet-Dedekind's Vorlesungen über Zahlentheorie and look in Dedekind's famous XI-th Supplement, which was the first systematic development of algebraic number theory, you'll see $\mathfrak o$ starting in section 170 when Dedekind defines Ordnung (= Order).

  • $\begingroup$ Aha! Thanks very much for this. Can you confirm that the prevalent use of $O$/$\mathcal{O}$ in algebraic geometry is after the fashion in number theory? $\endgroup$ – Todd Trimble Oct 15 '15 at 3:06
  • 3
    $\begingroup$ Sure. See math.stackexchange.com/questions/436078/… for a discussion of the transition: Dedekind's $\mathfrak o$ was adopted by van der Waerden in his Moderne Algebra (which was based on lectures of Emmy Noether, who knew Dedekind's work very well, telling others that many basic ideas could be found in it), which in turn inspired Henri Cartan in his notation for rings of holomorphic functions in complex analysis/algebraic geometry. $\endgroup$ – KCd Oct 15 '15 at 3:50
  • 1
    $\begingroup$ Excellent! I'll add a comment to the M.SE discussion based on your answer here; nice little cross-fertilization between SE sites going on here. (And amusing to note the speculation about Oka, which I was about to mention in my post as a wild and implausible possibility, but who knows?) $\endgroup$ – Todd Trimble Oct 15 '15 at 3:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.