[Math] Sheaf Theory for Complex Analysis

abstract-algebraanalysiscomplex-analysissheaf-theory

I've recently been reading Complex Analysis in One Variable by Narasimhan and Nievergelt. I've done enough work in complex analysis prior that I find the majority of the text quite understandable and beautiful; however, I was pleasantly shocked when I began reading the section entitled "The sheaf of germs of holomorphic functions". After re-reading through the section a number of times, I have found I can formally follow the argument, but lack any intuition for the definitions or the mechanics.

Unfortunately, my passion for analysis has meant the majority of my studies have been directed away from Algebra, and so I've only taken an introductory level course to Group Theory and Ring Theory. Nevertheless, I strongly desire to become more familiar with sheaf theoretic techniques in complex analysis. I could of course simply wait until I have taken more courses in Algebra to become acquainted with it enough to grasp Category Theory at an intuitive level and then begin chipping away at a Sheaf Theory text. However, I am presently only in my first year of college, and I don't wish to be forced to wait a few years until Grad School to appreciate basic applications of Sheaf Theory.

As such, I am wondering if there is a more optimized route to learn the very basic Sheaf Theory I might need to appreciate it's applications to Analysis, and in particular single variable Complex Analysis. I imagine I will not need a complete understanding of modern Sheaf Theory to merely understand its applications to my field. As such, I am wondering what the minimally required topics are that I should study in order to build up some basic intitution for the uses of Sheaf Theory in N&N's text.


Edit: Per the suggestions below, I have checked out copies of Gunning's and Forster's texts on Riemann Surfaces. My initial reaction to both texts has been quite positive; in particular I have found Gunning's text fantastic in that it provides the definition of a sheaf as soon as possible. I look forward to reading through the texts as I find time!

However, I remain completely open to other perspectives on how to best attack the necessary Sheaf theory, and so other answers are welcome!

Best Answer

I learned more about how to use (a certain version of) sheaf theory in the context you mention from R. Gunning's "Riemann Surfaces" (the old Princeton Yellow Series paperback) than from sources purporting to be "about sheaf theory".

It is true that the cohomology-of-sheaves presented there is Cech cohomology, not derived-functor cohomology, but in most regards (especially for compact, connected Riemann surfaces) that is an irrelevant technical detail. That is, Grothendieck's realization in the early 1950s that sheaf cohomology can be understood as the derived functors of the global sections functor explains/imbeds sheaf cohomology in the (eminently useful) context of derived functors... but that is surely not your first concern.

EDIT: also, as I reflect on other potential sources, I am reminded of the truism that people do have irrational biases, of various origins, sometimes simply needing to have a "group" to belong to. And, sometimes, this cohesion is achieved less by positive aspects than by vilifying some other group. Similarly, although this is not at all reflected in the question here, "algebra/analysis" or "pure/applied" and such labels are all-too-often used as battle-flags rather than accurate descriptors of anything. But even if one manages to ignore the noise in the signal, there is still a significant risk that an otherwise-helpful source throws in some jabs at an opponent. In the case at hand, I recall that the introduction of an otherwise-fairly-interesting several complex variables book made a faux-historical but wildly counterfactual comment (about 1980) "now that sheaves have faded into the background...". Given the relative authority of the author, this was a bizarre and irresponsible thing to write. So, by this point, I certainly mistrust texts' or peoples' portrayals/caricatures of subject not their own, and reserve some skepticism even of self-descriptions.