Tasty Bits of Several Complex Variables
Total Page:16
File Type:pdf, Size:1020Kb
Tasty Bits of Several Complex Variables A whirlwind tour of the subject Jiríˇ Lebl October 11, 2018 (version 2.4) . 2 Typeset in LATEX. Copyright c 2014–2018 Jiríˇ Lebl License: This work is dual licensed under the Creative Commons Attribution-Noncommercial-Share Alike 4.0 International License and the Creative Commons Attribution-Share Alike 4.0 International License. To view a copy of these licenses, visit https://creativecommons.org/licenses/ by-nc-sa/4.0/ or https://creativecommons.org/licenses/by-sa/4.0/ or send a letter to Creative Commons PO Box 1866, Mountain View, CA 94042, USA. You can use, print, duplicate, share this book as much as you want. You can base your own notes on it and reuse parts if you keep the license the same. You can assume the license is either the CC-BY-NC-SA or CC-BY-SA, whichever is compatible with what you wish to do, your derivative works must use at least one of the licenses. Acknowledgements: I would like to thank Debraj Chakrabarti, Anirban Dawn, Alekzander Malcom, John Treuer, Jianou Zhang, Liz Vivas, Trevor Fancher, and students in my classes for pointing out typos/errors and helpful suggestions. During the writing of this book, the author was in part supported by NSF grant DMS-1362337. More information: See https://www.jirka.org/scv/ for more information (including contact information). The LATEX source for the book is available for possible modification and customization at github: https://github.com/jirilebl/scv . Contents Introduction 5 0.1 Motivation, single variable, and Cauchy’s formula ..................5 1 Holomorphic functions in several variables 11 1.1 Onto several variables ................................. 11 1.2 Power series representation .............................. 15 1.3 Derivatives ...................................... 22 1.4 Inequivalence of ball and polydisc .......................... 26 1.5 Cartan’s uniqueness theorem ............................. 30 1.6 Riemann extension theorem, zero sets, and injective maps .............. 32 2 Convexity and pseudoconvexity 37 2.1 Domains of holomorphy and holomorphic extensions ................ 37 2.2 Tangent vectors, the Hessian, and convexity ..................... 41 2.3 Holomorphic vectors, the Levi-form, and pseudoconvexity ............. 47 2.4 Harmonic, subharmonic, and plurisubharmonic functions .............. 60 2.5 Hartogs pseudoconvexity ............................... 68 2.6 Holomorphic convexity ................................ 75 3 CR geometry 79 3.1 Real analytic functions and complexification ..................... 79 3.2 CR functions ..................................... 84 3.3 Approximation of CR functions ........................... 88 3.4 Extension of CR functions .............................. 96 4 The ¶¯ -problem 99 4.1 The generalized Cauchy integral formula ....................... 99 4.2 Simple case of the ¶¯ -problem ............................. 100 4.3 The general Hartogs phenomenon .......................... 103 3 . 4 CONTENTS 5 Integral kernels 106 5.1 The Bochner–Martinelli kernel ............................ 106 5.2 The Bergman kernel .................................. 109 5.3 The Szegö kernel ................................... 114 6 Complex analytic varieties 116 6.1 Germs of functions .................................. 116 6.2 Weierstrass preparation and division theorems .................... 117 6.3 The ring of germs ................................... 122 6.4 Varieties ........................................ 123 6.5 Segre varieties and CR geometry ........................... 132 Further reading 137 Index 138 Introduction This book is a polished version of my course notes for Math 6283, Several Complex Variables, given in Spring 2014 and then Spring 2016 semesters at Oklahoma State University. It should be enough material for a semester-long course, though that, of course, depends on the speed of the lecturer and the number of detours taken. There are quite a few exercises sprinkled throughout the text, and I am assuming that a reader is at least attempting all of them. Many are required later in the text. The reader should attempt exercises in sequence as earlier exercises can help or even be required to solve later exercises. The prerequisites are a decent knowledge of vector calculus, basic real-analysis, and a working knowledge of complex analysis in one variable. It is accessible to beginning graduate students after a complex analysis course, and the background actually required is quite minimal. This book is not meant as an exhaustive reference. It is simply a whirlwind tour of several complex variables. See the end of the book for a list of books useful for reference and further reading. 0.1 Motivation, single variable, and Cauchy’s formula Let us start with some standard notation. We use C for thep complex numbers, R for real numbers, Z for integers, N = f1;2;3;:::g for natural numbers, i = −1, etc. Throughout this book, we will use the standard terminology of domain to mean connected open set. p As complex analysis deals with the complexp numbers, perhaps we should start with −1. We start with the real numbers, R, and wish to add −1 into our field. We call this square root i, and write the complex numbers, C, by identifying C with R2 using z = x + iy; where z 2 C, and (x;y) 2 R2. A subtle philosophical issue is that there are two square roots of −1. There are two chickens running around in our yard, and because we like to know which is which, we catch one and write “i” on it. If we happened to have caught the other chicken, we would have gotten an exactly equivalent theory, which we could not tell apart from the original. Given a complex number z, its “opposite” is the complex conjugate of z and is defined as z¯ def= x − iy: 5 . 6 INTRODUCTION The size of z is measured by the so-called modulus, which is really just the Euclidean distance: def p p jzj = zz¯ = x2 + y2: Complex analysis is the study of holomorphic (or complex analytic) functions. There is an awful lot one can do with polynomials, but sometimes they are just not enough. For example, there is no polynomial function that solves the simplest of differential equations f 0 = f . We need the exponential function, which is holomorphic. Holomorphic functions are a generalization of polynomials, and to get there one leaves the land of algebra to arrive in the realm of analysis. Let us start with polynomials. In one variable, a polynomial in z is an expression of the form d j P(z) = ∑ c j z ; j=0 where c j 2 C and cd 6= 0. The number d is called the degree of the polynomial P. We can plug in some number z and simply compute P(z), so we have a function P: C ! C. We try to write ¥ j f (z) = ∑ c j z j=0 and all is very fine, until we wish to know what f (z) is for some number z 2 C. We usually mean ¥ d j j ∑ c j z = lim ∑ c j z : j=0 d!¥ j=0 As long as the limit exists, we have a function. You know all this; it is your one-variable complex analysis. We usually start with the functions and prove that we can expand into series. Let U ⊂ C be open. A function f : U ! C is holomorphic (or complex analytic) if it is complex differentiable at every point, that is, if 0 f (w) − f (z0) f (z0) = lim exists for all z0 2 U. w!z0 w − z0 Importantly, the limit is taken with respect to complex w. Another vantage point is to start with a continuously differentiable∗ f , and say that f is holomorphic if it satisfies the Cauchy–Riemann equations: ¶u ¶v ¶u ¶v = ; = − : ¶x ¶y ¶y ¶x The so-called Wirtinger operators, ¶ 1 ¶ ¶ ¶ 1 ¶ ¶ def= − i ; def= + i ; ¶z 2 ¶x ¶y ¶z¯ 2 ¶x ¶y ∗Holomorphic functions end up being infinitely differentiable anyway, so this hypothesis is not overly restrictive. 0.1. MOTIVATION, SINGLE VARIABLE, AND CAUCHY’S FORMULA 7 provide an easier way to understnd the Cauchy–Riemann equations. These operators are determined by insisting ¶ ¶ ¶ ¶ z = 1; z¯ = 0; z = 0; z¯ = 1: ¶z ¶z ¶z¯ ¶z¯ The function f is holomorphic if and only if ¶ f = 0: ¶z¯ Let us check: ¶ f 1 ¶ f ¶ f 1 ¶u ¶v ¶u ¶v 1 ¶u ¶v i ¶v ¶u = + i = + i + i − = − + + : ¶z¯ 2 ¶x ¶y 2 ¶x ¶x ¶y ¶y 2 ¶x ¶y 2 ¶x ¶y This expression is zero if and only if the real parts and the imaginary parts are zero. In other words ¶u ¶v ¶v ¶u − = 0; and + = 0: ¶x ¶y ¶x ¶y That is, the Cauchy–Riemann equations are satisfied. If f is holomorphic, the derivative in z is the standard complex derivative you know and love: ¶ f 0 f (w) − f (z0) (z0) = f (z0) = lim : ¶z w!z0 w − z0 We can compute it as ¶ f 1 ¶u ¶v i ¶v ¶u ¶u ¶v ¶u ¶v = + + − = + i = i + i : ¶z 2 ¶x ¶y 2 ¶x ¶y ¶x ¶x ¶y ¶y A function on C is really a function defined on R2 as identified above and hence it is a function z+z¯ z−z¯ of x and y. Writing x = 2 and y = 2i , we think of it as a function of two complex variables z and z¯. Pretend for a moment as if z¯ did not depend on z. The Wirtinger operators work as if z and z¯ really were independent variables. For example: ¶ ¶ z2z¯3 + z10 = 2zz¯3 + 10z9 and z2z¯3 + z10 = z2(3¯z2) + 0: ¶z ¶z¯ So a holomorphic function is a function not depending onz ¯. One of the most important theorems in one variable is the Cauchy integral formula. Theorem 0.1.1 (Cauchy integral formula). Let U ⊂ C be a domain where ¶U is a piecewise smooth simple closed curve (a Jordan curve). Let f : U ! C be a continuous function, holomorphic in U. Orient ¶U positively (going around counter clockwise).