The notation $O(X)$ seems to be a quite standard notation for the algebra of all holomorphic functions on some connected domain in $\mathbb{C}^n$ (or a complex manifold). I would like to know where did this notation come from.

John P. D'Angelo's book, simply says "See [GR, p.2] for a discussion of the etymology of this standard notation." where [GR] is Grauert and Remmert's "Coherent analytic sheaves". However I have no access to that book.

  • 7
    $\begingroup$ You mean O, not $\Omega$, right? And "holomorphic" functions, not homomorphic ones. Anyway, back in the 19th century Dedekind used the fraktur letter O (well, more often o I think) to denote rings of algebraic integers. It came from his term Ordnung for what later became rings, more or less. Thus in complex analysis the fundamental ring of holomorphic functions became denoted with O too, but they like to think it also honors the work of Oka. :) $\endgroup$
    – KConrad
    Commented Mar 25, 2012 at 4:41
  • $\begingroup$ Thanks, fixed. I hope I could mark this as the answer. Is this also why the structural sheaf of a manifold also shares this notation? $\endgroup$
    – ssquidd
    Commented Mar 25, 2012 at 6:42
  • 2
    $\begingroup$ I've heard that it comes from the Italian "(Funzione) Olomorfa" but have never seen it written anywhere. $\endgroup$ Commented Mar 25, 2012 at 10:23
  • $\begingroup$ I had heard that the O used to denoted the structure sheaf of a complex manifold, i.e. the sheaf of holomorphic functions, is because of the word "holos" (as in holo- morphic) in Greek begins with the letter $\omicron$. Wolfram Math and Wikipedia confirm this: holos = $\omicron \lambda \omicron \sigma$ (The sigma here is incorrect. I don't think Latex does the other lower case form of sigma) $\endgroup$ Commented Apr 19, 2016 at 15:40
  • $\begingroup$ Relevant: de.wikipedia.org/wiki/… -- en.wikipedia.org/wiki/Order_(ring_theory) -- thank you for asking this question by the way -- it is one I have had for a long time, but with respect to coordinate rings in algebraic geometry. $\endgroup$ Commented Oct 23, 2016 at 12:21


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.