# From the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )

Save this PDF as:

Size: px
Start display at page:

Download "From the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )"

## Transcription

1 3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U, U intersect, then ϕ U ϕ 1 U : ϕ U(U U ) ϕ U (U U ) is a homeomorphism from one open set of R 2 to another. U U V V If we identify R 2 with the complex numbers C then we can define: Definition 8 A Riemann surface is a surface with a class of homeomorphisms ϕ U such that each map ϕ U ϕ 1 U is a holomorphic (or analytic) homeomorphism. We call each function ϕ U a holomorphic coordinate. Examples: 1. Let X be the extended complex plane X = C { }. Let U = C with ϕ U (z) = z C. Now take U = C\{0} { } and define z = ϕ U (z) = z 1 C if z and ϕ U ( ) = 0. Then ϕ U (U U ) = C\{0} and ϕ U ϕ 1 U (z) = z 1 29

2 which is holomorphic. In the right coordinates this is the sphere, with the North Pole and the coordinate maps given by stereographic projection. For this reason it is sometimes called the Riemann sphere. 2. Let ω 1, ω 2 C be two complex numbers which are linearly independent over the reals, and define an equivalence relation on C by z 1 z 2 if there are integers m, n such that z 1 z 2 = mω 1 + nω 2. Let X be the set of equivalence classes (with the quotient topology). A small enough disc V around z C has at most one representative in each equivalence class, so this gives a local homeomorphism to its projection U in X. If U and U intersect, then the two coordinates are related by a map which is holomorphic. z z + mω 1 + nω 2 This surface is topologically described by noting that every z is equivalent to one inside the closed parallelogram whose vertices are 0, ω 1, ω 2, ω 1 + ω 2, but that points on the boundary are identified: We thus get a torus this way. Another way of describing the points of the torus is as orbits of the action of the group Z Z on C by (m, n) z = z + mω 1 + nω The parallelograms in Example 2 fit together to tile the plane. There are groups of holomorphic maps of the unit disc into itself for which the interior of a polygon plays the same role as the interior of the parallelogram in the plane, and we get a surface X by taking the orbits of the group action. Now we get a tiling of the disc: 30

3 In this example the polygon has eight sides and the surface is homeomorphic by the classification theorem to the connected sum of two tori. 4. A complex algebraic curve X in C 2 is given by X = {(z, w) C 2 : f(z, w) = 0} where f is a polynomial in two variables with complex coefficients. If ( f/ z)(z, w) 0 or ( f/ w)(z, w) 0 for every (z, w) X, then using the implicit function theorem (see Appendix A) X can be shown to be a Riemann surface with local homeomorphisms given by (z, w) w where ( f/ z)(z, w) 0 and (z, w) z where ( f/ w)(z, w) 0. Definition 9 A holomorphic map between Riemann surfaces X and Y is a continuous map f : X Y such that for each holomorphic coordinate ϕ U on U containing x on X and ψ W defined in a neighbourhood of f(x) on Y, the composition is holomorphic. ψ W f ϕ 1 U In particular if we take Y = C, we can define holomorphc functions on X. Before proceeding, recall some basic facts about holomorphic functions (see [4]): 31

4 A holomorphic function has a convergent power series expansion in a neighbourhood of each point at which it is defined: If f vanishes at c then f(z) = a 0 + a 1 (z c) + a 2 (z c) f(z) = (z c) m (c 0 + c 1 (z c) +...) where c 0 0. In particular zeros are isolated. If f is non-constant it maps open sets to open sets. f cannot attain a maximum at an interior point of a disc ( maximum modulus principle ). f : C C preserves angles between differentiable curves, both in magnitude and sense. This last property shows: Proposition 3.1 A Riemann surface is orientable. Proof: Assume X contains a Möbius band, and take a smooth curve down the centre: γ : [0, 1] X. In each small coordinate neighbourhood of a point on the curve ϕ U γ is a curve in a disc in C, and rotating the tangent vector γ by 90 or 90 defines an upper and lower half: Identification on an overlapping neighbourhood is by a map which preserves angles, and in particular the sense anticlockwise or clockwise so the two upper halves agree on the overlap, and as we pass around the closed curve the strip is separated into two halves. But removing the central curve of a Möbius strip leaves it connected: 32

5 which gives a contradiction. From the classification of surfaces we see that a closed, connected Riemann surface is homeomorphic to a connected sum of tori. 3.2 Meromorphic functions Recall that on a closed (i.e. compact) surface X, any continuous real function achieves its maximum at some point x. Let X be a Riemann surface and f a holomorphic function, then f is continuous, so assume it has its maximum at x. Since fϕ 1 U is a holomorphic function on an open set in C containing ϕ U (x), and has its maximum modulus there, the maximum modulus principle says that f must be a constant c in a neighbourhood of x. If X is connected, it follows that f = c everywhere. Though there are no holomorphic functions, there do exist meromorphic functions: Definition 10 A meromorphic function f on a Riemann surface X is a holomorphic map to the Riemann sphere S = C { }. This means that if we remove f 1 ( ), then f is just a holomorphic function F with values in C. If f(x) =, and U is a coordinate neighbourhood of x, then using the coordinate z, fϕ 1 U is holomorphic. But z = 1/z if z 0 which means that (F ϕ 1 U ) 1 is holomorphic. Since it also vanishes, F ϕ 1 U = a 0 z m +... which is usually what we mean by a meromorphic function. Example: A rational function f(z) = p(z) q(z) where p and q are polynomials is a meromorphic function on the Riemann sphere S. The definition above is a geometrical one. Algebraically it is clear that the sum and product of meromorphic functions is meromophic they form a field. Here is an example of a meromorphic function on the torus in Example 2. 33

6 Define (z) = 1 z + ( 1 2 (z ω) 1 ) 2 ω 2 ω 0 where the sum is over all non-zero ω = mω 1 + nω 2. Since for 2 z < ω 1 (z ω) 1 z 2 ω 2 10 ω 3 this converges uniformly on compact sets so long as ω 0 1 ω 3 <. But mω 1 + nω 2 is never zero if m, n are real so we have an estimate mω 1 + nω 2 k m 2 + n 2 so by the integral test we have convergence. Because the sum is essentially over all equivalence classes (z + mω 1 + nω 2 ) = (z) so that this is a meromorphic function on the surface X. It is called the Weierstrass P-function. It is a quite deep result that any closed Riemann surface has meromorphic functions. Let us consider them in more detail. So let f : X S be a meromorphic function. If the inverse image of a S is infinite, then it has a limit point x by compactness of X. In a holomorphic coordinate around x with z(x) = 0, f is defined by a holomorphic function F = fϕ 1 U with a sequence of points z n 0 for which F (z n ) a = 0. But the zeros of a holomorphic function are isolated, so we deduce that f 1 (a) is a finite set. By a similar argument the points at which the derivative F vanishes are finite in number (check that this condition is independent of the holomorphic coordinate). The points of X at which F = 0 are called ramification points. Now recall another result from complex analysis: if a holomorphic function f has a zero of order n at z = 0, then for ɛ > 0 sufficiently small, there is δ > 0 such that for all a with 0 < a < δ, the equation f(z) = a has exactly n roots in the disc z < ɛ. This result has two consequences. The first is that if F (x) 0, then f maps a neighbourhood U x of x X homeomorphically to a neighbourhood V x of f(x) S. 34

7 Define V to be the intersection of the V x as x runs over the finite set of points such that f(x) = a, then f 1 V consists of a finite number d of open sets, each mapped homeomorphically onto V by f: f V The second is that if F = 0, we have F (z) = z n (a 0 + a 1 z +...) for some n and F has a zero of order n at 0, where z(x) = 0. In that case there is a neighbourhood U of x and V of a such that f(u) = V, and the inverse image of y x V consists of n distinct points, but f 1 (a) = x. In fact, since a 0 0, we can expand (a 0 + a 1 z +...) 1/n = a 1/n 0 (1 + b 1 z +...) in a power series and use a new coordinate so that the map f is locally w = a 1/n 0 z(1 + b 1 z +...) w w n. There are then two types of neighbourhoods of points: at an ordinary point the map looks like w w and at a ramification point like w w n. Removing the finite number of images under f of ramification points we get a sphere minus a finite number of points. This is connected. The number of points in the inverse image of a point in this punctured sphere is integer-valued and continuous, hence constant. It is called the degree d of the meromorphic function f. With this we can determine the Euler characteristic of the Riemann surface S from the meromorphic function: Theorem 3.2 (Riemann-Hurwitz) Let f : X S be a meromorphic function of degree d on a closed connected Riemann surface X, and suppose it has ramification points x 1,..., x n where the local form of f(x) f(x k ) is a holomorphic function with a zero of multiplicity m k. Then n χ(x) = 2d (m k 1) 35 k=1

8 Proof: The idea is to take a triangulation of the sphere S such that the image of the ramification points are vertices. This is straighforward. Now take a finite subcovering of S by open sets of the form V above where the map f is either a homeomorphism or of the form z z m. Subdivide the triangulation into smaller triangles such that each one is contained in one of the sets V. Then the inverse images of the vertices and edges of S form the vertices and edges of a triangulation of X. If the triangulation of S has V vertices, E edges and F faces, then clearly the triangulation of X has de edges and df faces. It has fewer vertices, though in a neighbourhood where f is of the form w w m the origin is a single vertex instead of m of them. For each ramification point of order m k we therefore have one vertex instead of m k. The count of vertices is therefore dv n (m k 1). k=1 Thus χ(x) = d(v E + F ) using χ(s) = 2. n n (m k 1) = 2d (m k 1) k=1 k=1 Clearly the argument works just the same for a holomorphic map f : X Y and then n χ(x) = dχ(y ) (m k 1). As an example, consider the Weierstrass P-function : T S: (z) = 1 z + ( 1 2 (z ω) 1 ) 2 ω 2 ω 0 This has degree 2 since (z) = only at z = 0 and there it has multiplicity 2. Each m k d = 2, so the only possible value at the ramification points here is m k = 2. The Riemann-Hurwitz formula gives: 0 = 4 n so there must be exactly 4 ramification points. In fact we can see them directly, because (z) is an even function, so the derivative vanishes if z = z. Of course at z = 0, (z) = so we should use the other coordinate on S: 1/ has a zero of k=1 36

9 multiplicity 2 at z = 0. To find the other points recall that is doubly periodic so vanishes where z = z + mω 1 + nω 2 for some integers m, n, and these are the four points 0, ω 1 /2, ω 2 /2, (ω 1 + ω 2 )/2 : 3.3 Multi-valued functions The Riemann-Hurwitz formula is useful for determining the Euler characteristic of a Riemann surface defined in terms of a multi-valued function, like g(z) = z 1/n. We look for a closed surface on which z and g(z) are meromorphic functions. The example above is easy: if w = z 1/n then w n = z, and using the coordinate z = 1/z on a neighbourhood of on the Riemann sphere S, if w = 1/w then w n = z. Thus w and w are standard coordinates on S, and g(z) is the identity map S S. The function z = w n is then a meromorphic function f of degree n on S. It has two ramification points of order n at w = 0 and w =, so the Riemann-Hurwitz formula is verified: 2 = χ(s) = 2n 2(n 1). The most general case is that of a complex algebraic curve f(z, w) = 0. This is a polynomial in w with coefficients functions of z, so its solution is a multivalued 37

10 function of z. We shall deal with a simpler but still important case w 2 = p(z) where p is a polynomial of degree n in z with n distinct roots. We are looking then for a Riemann surface on which p(z) can be interpreted as a meromorphic function. We proceed to define coordinate neighbourhoods on each of which w is a holomorphic function. First, if p(a) 0 then p(z) = p(a)(1 + a 1 (z a) a n (z a) n ). For each choice of p(a) we have w expressed as a power series in z in a neigbourhood of a: w = p(a)(1 + a 1 (z a) a n (z a) n ) 1/2 = 1 + a 1 z/ So we can take z as a coordinate on each of two open sets, and w is holomorphic here. z V If p(a) = 0, then since p has distinct roots, p(z) = (z a)(b 0 + b 1 (z a) +...) where b 0 0. Put u 2 = (z a) and p(z) = u 2 (b 0 + b 1 u ) and so, choosing b 0, w has a power series expansion in u: w = u b 0 (1 + b 1 u 2 /b ). (The other choose of b 0 is equivalent to taking the local coordinate u.) This gives an open disc, with u as coordinate, on which w is holomorphic. For z = we note that w 2 z = a n n + a n z so if n = 2m, ( w ) 2 = an + a n z m z and since a n 0, putting w = 1/w and z = 1/z we get w = a 1/2 n z m (1 + a n 1 z /a n +...) 1/2 38

11 which is a holomorphic function. If n = 2m + 1, we need a coordinate u 2 = z as above. The coordinate neighbourhoods defined above give the set of solutions to w 2 = p(z) together with points at infinity the structure of a compact Riemann surface X such that z is a meromorphic function of degree 2 on X w is a meromorphic function of degree n on X the ramification points of z are at the points (z = a, w = 0) where a is a root of p(z), and if n is odd, at (z =, w = ) The Riemann-Hurwitz formula now gives if n is even and χ(x) = 2 2 n = 4 n if n is odd. χ(x) = 4 (n + 1) = 3 n This type of Riemann surface is called hyperelliptic. Since the two values of w = p(z) only differ by a sign, we can think of (w, z) ( w, z) as being a holomorphic homeomorphism from X to X, and then z is a coordinate on the space of orbits. Topologically we can cut the surface in two an upper and lower half and identify on the points on the boundary to get a sphere: It is common also to view this downstairs on the Riemann sphere and insert cuts between pairs of zeros of the polynomial p(z): 39

12 As an example, consider again the P-function (z), thought of as a degree 2 map : T S. It has 4 ramification points, whose images are and the three finite points e 1, e 2, e 3 where e 1 = (ω 1 /2), e 2 = (ω 2 /2), e 3 = ((ω 1 + ω 2 )/2). So its derivative (z) vanishes only at three points, each with multiplicity 1. At each of these points has the local form and so (z) = e 1 + (z ω 1 /2) 2 (a ) 1 (z) 2 ( (z) e 1)( (z) e 2 )( (z) e 3 ) is a well-defined holomorphic function on T away from z = 0. But (z) z 2 near z = 0, and so (z) 2z 3 so this function is finite at z = 0 with value 1/4. By the maximum argument, since T is compact,the function is a constant, namely 1/4. Thus the meromorphic function (z) on T can also be considered as setting u = (z). Note that, substituting u = (z), we have 2 (u e 1 )(u e 2 )(u e 3 ) du 2 (u e 1 )(u e 2 )(u e 3 ) = dz. By changing variables with a Möbius transformation of the form u (au+b)/(cu+d) any integrand du p(u) 40

13 can be brought into this form if p is of degree 3 or 4. This can be very useful, for example in the equation for a pendulum: which integrates once to Substituting v = e iθ we get θ = (g/l) sin θ θ 2 = 2(g/l) cos θ + c. v = i 2(g/l)(v 3 + v) + cv 2. So time becomes (the real part of) the parameter z on C. In the torus this is a circle, so (no surprise here!) the solutions to the pendulum equation are periodic. 41

### Complex Analysis Problems

Complex Analysis Problems transcribed from the originals by William J. DeMeo October 2, 2008 Contents 99 November 2 2 2 200 November 26 4 3 2006 November 3 6 4 2007 April 6 7 5 2007 November 6 8 99 NOVEMBER

### Riemann surfaces. Paul Hacking and Giancarlo Urzua 1/28/10

Riemann surfaces Paul Hacking and Giancarlo Urzua 1/28/10 A Riemann surface (or smooth complex curve) is a complex manifold of dimension one. We will restrict to compact Riemann surfaces. It is a theorem

### Solutions to Complex Analysis Prelims Ben Strasser

Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,

### Riemann Surfaces and Algebraic Curves

Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1

### Riemann sphere and rational maps

Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish

### Theorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r

2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such

### (x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.

1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of

### ALGEBRAIC GEOMETRY AND RIEMANN SURFACES

ALGEBRAIC GEOMETRY AND RIEMANN SURFACES DANIEL YING Abstract. In this thesis we will give a present survey of the various methods used in dealing with Riemann surfaces. Riemann surfaces are central in

### Complex Analysis Math 185A, Winter 2010 Final: Solutions

Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.

### Surfaces JWR. February 13, 2014

Surfaces JWR February 13, 214 These notes summarize the key points in the second chapter of Differential Geometry of Curves and Surfaces by Manfredo P. do Carmo. I wrote them to assure that the terminology

### Math 6510 Homework 10

2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained

### Properties of Analytic Functions

Properties of Analytic Functions Generalizing Results to Analytic Functions In the last few sections, we completely described entire functions through the use of everywhere convergent power series. Our

### 1 Compact Riemann surfaces and algebraic curves

1 Compact Riemann surfaces and algebraic curves 1.1 Basic definitions 1.1.1 Riemann surfaces examples Definition 1.1 A topological surface X is a Hausdorff topological space provided with a collection

### b 0 + b 1 z b d z d

I. Introduction Definition 1. For z C, a rational function of degree d is any with a d, b d not both equal to 0. R(z) = P (z) Q(z) = a 0 + a 1 z +... + a d z d b 0 + b 1 z +... + b d z d It is exactly

### Problem Set 5 Solution Set

Problem Set 5 Solution Set Anthony Varilly Math 113: Complex Analysis, Fall 2002 1. (a) Let g(z) be a holomorphic function in a neighbourhood of z = a. Suppose that g(a) = 0. Prove that g(z)/(z a) extends

### COMPLEX ANALYSIS Spring 2014

COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a

### Introduction to Minimal Surface Theory: Lecture 2

Introduction to Minimal Surface Theory: Lecture 2 Brian White July 2, 2013 (Park City) Other characterizations of 2d minimal surfaces in R 3 By a theorem of Morrey, every surface admits local isothermal

### Fuchsian groups. 2.1 Definitions and discreteness

2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this

### carries the circle w 1 onto the circle z R and sends w = 0 to z = a. The function u(s(w)) is harmonic in the unit circle w 1 and we obtain

4. Poisson formula In fact we can write down a formula for the values of u in the interior using only the values on the boundary, in the case when E is a closed disk. First note that (3.5) determines the

### 3 Fatou and Julia sets

3 Fatou and Julia sets The following properties follow immediately from our definitions at the end of the previous chapter: 1. F (f) is open (by definition); hence J(f) is closed and therefore compact

### Properties of Entire Functions

Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far

### DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such

### 6 6 DISCRETE GROUPS. 6.1 Discontinuous Group Actions

6 6 DISCRETE GROUPS 6.1 Discontinuous Group Actions Let G be a subgroup of Möb(D). This group acts discontinuously on D if, for every compact subset K of D, the set {T G : T (K) K } is finite. Proposition

### Complex Analysis Homework 9: Solutions

Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges

### Complex Analysis review notes for weeks 1-6

Complex Analysis review notes for weeks -6 Peter Milley Semester 2, 2007 In what follows, unless stated otherwise a domain is a connected open set. Generally we do not include the boundary of the set,

### GEOMETRY HW 7 CLAY SHONKWILER

GEOMETRY HW 7 CLAY SHONKWILER 4.5.1 Let S R 3 be a regular, compact, orientable surface which is not homeomorphic to a sphere. Prove that there are points on S where the Gaussian curvature is positive,

### Complex numbers, the exponential function, and factorization over C

Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain

### INTRODUCTION TO COMPLEX ANALYSIS W W L CHEN

INTRODUTION TO OMPLEX ANALYSIS W W L HEN c W W L hen, 986, 2008. This chapter originates from material used by the author at Imperial ollege, University of London, between 98 and 990. It is available free

### Complex Variables. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit.

Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit. 1. The TI-89 calculator says, reasonably enough, that x 1) 1/3 1 ) 3 = 8. lim

### NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;

### Constant Mean Curvature Tori in R 3 and S 3

Constant Mean Curvature Tori in R 3 and S 3 Emma Carberry and Martin Schmidt University of Sydney and University of Mannheim April 14, 2014 Compact constant mean curvature surfaces (soap bubbles) are critical

### NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30

NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 25, 2010 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS

### 2. Complex Analytic Functions

2. Complex Analytic Functions John Douglas Moore July 6, 2011 Recall that if A and B are sets, a function f : A B is a rule which assigns to each element a A a unique element f(a) B. In this course, we

### MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE

MATH 311: COMPLEX ANALYSIS CONFORMAL MAPPINGS LECTURE 1. Introduction Let D denote the unit disk and let D denote its boundary circle. Consider a piecewise continuous function on the boundary circle, {

### An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.

### Topic 2 Notes Jeremy Orloff

Topic 2 Notes Jeremy Orloff 2 Analytic functions 2.1 Introduction The main goal of this topic is to define and give some of the important properties of complex analytic functions. A function f(z) is analytic

### Lecture 16 and 17 Application to Evaluation of Real Integrals. R a (f)η(γ; a)

Lecture 16 and 17 Application to Evaluation of Real Integrals Theorem 1 Residue theorem: Let Ω be a simply connected domain and A be an isolated subset of Ω. Suppose f : Ω\A C is a holomorphic function.

### MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

### GRE Math Subject Test #5 Solutions.

GRE Math Subject Test #5 Solutions. 1. E (Calculus) Apply L Hôpital s Rule two times: cos(3x) 1 3 sin(3x) 9 cos(3x) lim x 0 = lim x 2 x 0 = lim 2x x 0 = 9. 2 2 2. C (Geometry) Note that a line segment

### Complex Analysis Math 220C Spring 2008

Complex Analysis Math 220C Spring 2008 Bernard Russo June 2, 2008 Contents 1 Monday March 31, 2008 class cancelled due to the Master s travel plans 1 2 Wednesday April 2, 2008 Course information; Riemann

### Complex Analysis Homework 3

Complex Analysis Homework 3 Steve Clanton David Holz March 3, 009 Problem 3 Solution. Let z = re iθ. Then, we see the mapping leaves the modulus unchanged while multiplying the argument by -3: Ω z = z

### THE POINCARE-HOPF THEOREM

THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under

### MATH 215A NOTES MOOR XU NOTES FROM A COURSE BY KANNAN SOUNDARARAJAN

MATH 25A NOTES MOOR XU NOTES FROM A COURSE BY KANNAN SOUNDARARAJAN Abstract. These notes were taken during Math 25A (Complex Analysis) taught by Kannan Soundararajan in Fall 2 at Stanford University. They

### IV.3. Zeros of an Analytic Function

IV.3. Zeros of an Analytic Function 1 IV.3. Zeros of an Analytic Function Note. We now explore factoring series in a way analogous to factoring a polynomial. Recall that if p is a polynomial with a zero

### Lecture 2. Smooth functions and maps

Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,

### Chapter 19 Clifford and the Number of Holes

Chapter 19 Clifford and the Number of Holes We saw that Riemann denoted the genus by p, a notation which is still frequently used today, in particular for the generalizations of this notion in higher dimensions.

### M4P52 Manifolds, 2016 Problem Sheet 1

Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete

### Limits in differential fields of holomorphic germs

Limits in differential fields of holomorphic germs D. Gokhman Division of Mathematics, Computer Science and Statistics University of Texas at San Antonio Complex Variables 28:27 36 (1995) c 1995 Gordon

### Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

### FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM. Contents

FUNDAMENTAL GROUPS AND THE VAN KAMPEN S THEOREM SAMUEL BLOOM Abstract. In this paper, we define the fundamental group of a topological space and explore its structure, and we proceed to prove Van-Kampen

### THE RESIDUE THEOREM. f(z) dz = 2πi res z=z0 f(z). C

THE RESIDUE THEOREM ontents 1. The Residue Formula 1 2. Applications and corollaries of the residue formula 2 3. ontour integration over more general curves 5 4. Defining the logarithm 7 Now that we have

### COMPLEX MULTIPLICATION: LECTURE 14

COMPLEX MULTIPLICATION: LECTURE 14 Proposition 0.1. Let K be any field. i) Two elliptic curves over K are isomorphic if and only if they have the same j-invariant. ii) For any j 0 K, there exists an elliptic

### NATIONAL UNIVERSITY OF SINGAPORE. Department of Mathematics. MA4247 Complex Analysis II. Lecture Notes Part IV

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part IV Chapter 2. Further properties of analytic/holomorphic functions (continued) 2.4. The Open mapping

### Math 225B: Differential Geometry, Final

Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of

### Solutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston

Solutions for Problem Set #5 due October 17, 23 Dustin Cartwright and Dylan Thurston 1 (B&N 6.5) Suppose an analytic function f agrees with tan x, x 1. Show that f(z) = i has no solution. Could f be entire?

### THE EULER CHARACTERISTIC OF A LIE GROUP

THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth

### 4 Uniform convergence

4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions

### On probability measures with algebraic Cauchy transform

On probability measures with algebraic Cauchy transform Boris Shapiro Stockholm University IMS Singapore, January 8, 2014 Basic definitions The logarithimic potential and the Cauchy transform of a (compactly

### Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on

### MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and

### Complex functions, single and multivalued.

Complex functions, single and multivalued. D. Craig 2007 03 27 1 Single-valued functions All of the following functions can be defined via power series which converge for the entire complex plane, and

### We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.

### Local dynamics of holomorphic maps

5 Local dynamics of holomorphic maps In this chapter we study the local dynamics of a holomorphic map near a fixed point. The setting will be the following. We have a holomorphic map defined in a neighbourhood

### 1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

### Topic 4 Notes Jeremy Orloff

Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting

### Continued fractions for complex numbers and values of binary quadratic forms

arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties

### Solutions to homework problems

Solutions to homework problems November 25, 2015 Contents 1 Homework Assignment # 1 1 2 Homework assignment #2 6 3 Homework Assignment # 3 9 4 Homework Assignment # 4 14 5 Homework Assignment # 5 20 6

### After taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.

Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric

### Closed sets of approximation on non-compact Riemann surfaces

Closed sets of approximation on non-compact Riemann surfaces Nadya Askaripour and André Boivin Blacksburg March 2013 Complex Approximation Closed sets of Approximation Extension Theorem Example Complex

### On the length of lemniscates

On the length of lemniscates Alexandre Eremenko and Walter Hayman Abstract We show that for a polynomial p(z) =z d +... the length of the level set E(p) :={z : p(z) =1} is at most 9.173 d, which improves

### The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section

University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations Spring 5-16-011 The Classification of Automorphism Groups of Rational Elliptic Surfaces With Section Tolga Karayayla tkarayay@math.upenn.edu

### 1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

### Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the

### COMPLEX ANALYSIS. Rudi Weikard

COMPLEX ANALYSIS Lecture notes for MA 648 Rudi Weikard 3 2 2 1 1 0 0-2 -1-1 0 1 2-2 Version of December 8, 2016 Contents Preface 1 Chapter 1. The complex numbers: algebra, geometry, and topology 3 1.1.

### On the Length of Lemniscates

On the Length of Lemniscates Alexandre Eremenko & Walter Hayman For a monic polynomial p of degree d, we write E(p) := {z : p(z) =1}. A conjecture of Erdős, Herzog and Piranian [4], repeated by Erdős in

### An intermediate course in complex analysis and Riemann surfaces. Wilhelm Schlag

An intermediate course in complex analysis and Riemann surfaces Wilhelm Schlag Contents Preface 5 Chapter 1. From i to z: the basics of complex analysis 7 Chapter 2. From z to the Riemann mapping theorem:

### APPLICATIONS ELLIPTIC FUNCTIONS CLASSICAL AND ALGEBRAIC GEOMETRY. Jamie Snape. Collingwood College, University of Durham

APPLICATIONS OF ELLIPTIC FUNCTIONS IN CLASSICAL AND ALGEBRAIC GEOMETRY Jamie Snape Collingwood College, University of Durham Dissertation submitted for the degree of Master of Mathematics at the University

### Math 396. Bijectivity vs. isomorphism

Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1

### NOTES ON RIEMANN S ZETA FUNCTION. Γ(z) = t z 1 e t dt

NOTES ON RIEMANN S ZETA FUNCTION DRAGAN MILIČIĆ. Gamma function.. Definition of the Gamma function. The integral Γz = t z e t dt is well-defined and defines a holomorphic function in the right half-plane

### In Z: x + 3 = 2 3x = 2 x = 1 No solution In Q: 3x = 2 x 2 = 2. x = 2 No solution. In R: x 2 = 2 x = 0 x = ± 2 No solution Z Q.

THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF MATHEMATICS AND STATISTICS MATH 1141 HIGHER MATHEMATICS 1A ALGEBRA. Section 1: - Complex Numbers. 1. The Number Systems. Let us begin by trying to solve various

### 3. Prove or disprove: If a space X is second countable, then every open covering of X contains a countable subcollection covering X.

Department of Mathematics and Statistics University of South Florida TOPOLOGY QUALIFYING EXAM January 24, 2015 Examiners: Dr. M. Elhamdadi, Dr. M. Saito Instructions: For Ph.D. level, complete at least

### Mapping problems and harmonic univalent mappings

Mapping problems and harmonic univalent mappings Antti Rasila Helsinki University of Technology antti.rasila@tkk.fi (Mainly based on P. Duren s book Harmonic mappings in the plane) Helsinki Analysis Seminar,

### INTRODUCTION TO THE HODGE CONJECTURE

INTRODUCTION TO THE HODGE CONJECTURE JIM BROWN Abstract. These are notes from a talk introducing the Hodge conjecture to undergraduates attending the 2009 Clemson REU. The description given here of the

### TEICHMÜLLER SPACE MATTHEW WOOLF

TEICHMÜLLER SPACE MATTHEW WOOLF Abstract. It is a well-known fact that every Riemann surface with negative Euler characteristic admits a hyperbolic metric. But this metric is by no means unique indeed,

### The Theorem of Gauß-Bonnet in Complex Analysis 1

The Theorem of Gauß-Bonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of Gauß-Bonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles

### Chapter 1.1 Schwarz s lemma and Riemann surfaces

Chapter 1.1 Schwarz s lemma and Riemann surfaces A characteristic feature of the theory of holomorphic functions is the very strong relationship between analytical properties of functions and geometrical

### Introduction to Riemann surfaces. Maciej Czarnecki

Introduction to Riemann surfaces Maciej Czarnecki To commemorate my great scientific ancestors: Professor Zygmunt Charzyński (1914 2001) and Professor W lodzimierz Waliszewski (1934 2013) who actively

### Complex Analysis. sin(z) = eiz e iz 2i

Complex Analysis. Preliminaries and Notation For a complex number z = x + iy, we set x = Re z and y = Im z, its real and imaginary components. Any nonzero complex number z = x + iy can be written uniquely

### COMPLEX ANALYSIS 1 Douglas N. Arnold 2

COMPLEX ANALYSIS 1 Douglas N. Arnold 2 References: John B. Conway, Functions of One Complex Variable, Springer-Verlag, 1978. Lars V. Ahlfors, Complex Analysis, McGraw-Hill, 1966. Raghavan Narasimhan, Complex

### An Invitation to Geometric Quantization

An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to

### STATE COUNCIL OF EDUCATIONAL RESEARCH AND TRAINING TNCF DRAFT SYLLABUS.

STATE COUNCIL OF EDUCATIONAL RESEARCH AND TRAINING TNCF 2017 - DRAFT SYLLABUS Subject :Mathematics Class : XI TOPIC CONTENT Unit 1 : Real Numbers - Revision : Rational, Irrational Numbers, Basic Algebra

### NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part I

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Comple Analsis II Lecture Notes Part I Chapter 1 Preliminar results/review of Comple Analsis I These are more detailed notes for the results

### Fiber Bundles, The Hopf Map and Magnetic Monopoles

Fiber Bundles, The Hopf Map and Magnetic Monopoles Dominick Scaletta February 3, 2010 1 Preliminaries Definition 1 An n-dimension differentiable manifold is a topological space X with a differentiable

### Chapter 4. The Lamé equation. 4.1 The Lamé equation

Chapter 4 The Lamé equation In this chapter we introduce the Lamé (differential) equation L n (y) =0and consider its monodromy group in general. It turns out that a finite monodromy group of the Lamé equation

### Garrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f

1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation

### Modern Analysis Series Edited by Chung-Chun Yang AN INTRODUCTION TO COMPLEX ANALYSIS

Modern Analysis Series Edited by Chung-Chun Yang AN INTRODUCTION TO COMPLEX ANALYSIS Classical and Modern Approaches Wolfgang Tutschke Harkrishan L. Vasudeva ««CHAPMAN & HALL/CRC A CRC Press Company Boca

### 1 Lyapunov theory of stability

M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability

### 2.13 Linearization and Differentials

Linearization and Differentials Section Notes Page Sometimes we can approimate more complicated functions with simpler ones These would give us enough accuracy for certain situations and are easier to