Complex Analysis
Complex Analysis opens with complex differentiability, power series, contour integration and Cauchy's theorems, then follows their consequences into global function theory. Its pages treat zeros and singularities, analytic continuation and monodromy, conformal maps, harmonic and subharmonic functions, potential theory, Hardy spaces and boundary limits. Riemann surfaces bring uniformization, branched maps, divisors, periods and Jacobians; several-variable topics include Hartogs phenomena, analytic hypersurfaces, the Dolbeault complex, pseudoconvexity and the Levi problem. Other branches include quasiconformal mapping and welding, extremal length, Bergman and Szegő kernels, modular forms, and the gamma and zeta functions.
Topology supplies compactness, connectedness and path structure for global arguments; Real Analysis and Measure Theory underpin estimates and boundary limits. Functional Analysis and Partial Differential Equations use contour integration and harmonic methods, while Number Theory uses Cauchy formulas and contour estimates. Complex analysis also supplies tools to Algebraic Geometry, Differential Geometry and Scheme Theory. Together, these methods carry local estimates into global mapping and geometry.
Pathway
The parts run in order. Everything a page needs from this group has been read by the time you reach it, and the level on each row is how many dependency steps into the group that page sits.
Part 1 · Holomorphic and analytic functions
3 pagesComplex differentiability asks for one limit in the plane rather than two along the axes, and the Cauchy-Riemann equations are what that costs: a real total derivative is complex linear exactly when they hold. The identification is made precise: the coordinate map is real-linear, a bijective isometry carrying affine segments and topology, and it transfers real total differentiability; complex path length is defined polygonally, equals Euclidean coordinate length, is finite exactly for bounded-variation coordinates, obeys the piecewise- speed integral and is invariant under monotone reparametrization. A complex power series converges absolutely inside its Cauchy-Hadamard radius and uniformly on smaller discs, so it may be differentiated term by term, and its derivatives recover its coefficients.
This page makes the identification ℂ≅ℝ² precise for real-linear maps, metric topology, and total derivatives.
1 definition, 5 theoremsExamples & counterexamplesThe quotient construction of the complex numbers and their real-coordinate-plane model supply the arithmetic and Euclidean dictionary used here.
4 definitions, 2 lemmas, 13 theorems, 8 corollaries, 1 remarkExamples & counterexamplesA complex power series converges absolutely inside its Cauchy–Hadamard radius and uniformly on every smaller closed disc.
3 definitions, 5 lemmas, 2 propositions, 12 theorems, 7 corollariesExamples & counterexamples
Part 2 · Contour integration and Cauchy's theorem
47 pages · after Part 1Contour integration, Goursat and Cauchy turn local holomorphy into analyticity, residues and zero-pole counting; Poisson, Dirichlet, subharmonic, Green and capacity add boundary values and conformal covariance; Fatou, Blaschke and inner-outer factorisation canonicalise Hardy spaces; Bergman–Szegő kernels add reproducing kernels and invariant metrics. Hartogs, pseudoconvexity and Hörmander solve ; Hodge decomposition on compact Kähler manifolds gives harmonic representatives, Lefschetz decomposition, hard Lefschetz and projective Hodge–Riemann polarizations; divisors, Riemann–Roch and Abel–Jacobi follow. Runge-Mittag-Leffler, Weierstrass, Gamma and hypersurfaces approximate; Poisson-Jensen yields Nevanlinna theory; Montel, Schwarz-Pick, Bloch-Schottky-Picard, Riemann mapping, extremal length, quasiconformality, Beltrami solutions, measurable Riemann mapping, welding and removability close the conformal side; monodromy and uniformization globalise; elliptic functions and modular forms classify tori; the zeta page applies Euler products, continuation, functional equation.
- Contour Integration21 results
A complex line integral is defined for a continuous integrand along any rectifiable path by four real Riemann–Stieltjes integrals.
4 definitions, 2 propositions, 8 theorems, 5 corollaries, 1 false statement, 1 remarkExamples & counterexamples Rectifiable complex contours have reversal and concatenation laws, an ML estimate, and a direct integral formula for integer monomials on circles.
1 definition, 4 lemmas, 1 proposition, 6 theorems, 4 corollaries, 1 remarkExamples & counterexamplesCauchy's circle formula and its higher-derivative form recover a holomorphic function from values on a compactly contained circle.
4 definitions, 1 lemma, 9 theorems, 5 corollaries, 3 remarksExamples & counterexamplesHolomorphic functions on a complex domain are analytic and therefore possess Taylor expansions, a well-defined order of vanishing, and local factorizations by their first nonzero Taylor term.
3 definitions, 4 lemmas, 10 theorems, 6 corollaries, 2 remarksExamples & counterexamplesThis page starts from the local complex tools already available on discs and contours: complex line integrals, the ML estimate, the one-variable Cauchy formula, local…
6 definitions, 10 lemmas, 2 propositions, 14 theorems, 9 corollaries, 1 remarkExamples & counterexamplesThis page transfers the one-variable complex toolkit to ℂᵐ through the Euclidean dictionary, the real total derivative, and coordinate slices.
6 definitions, 3 lemmas, 2 propositions, 13 theorems, 6 corollaries, 2 remarksExamples & counterexamplesThe global Cauchy formula on null-homologous cycles from the-winding-number-and-the-global-cauchy-theorem is the exact input Laurent theory needs: an annulus carries an outer…
8 definitions, 1 lemma, 9 theorems, 3 corollariesExamples & counterexamplesThe complex-analytic prerequisites already fix the two-dimensional language of harmonicity: complex-differentiability-and-cauchy-riemann supplies the Cauchy-Riemann and…
5 definitions, 3 lemmas, 14 theorems, 3 corollaries, 1 remarkExamples & counterexamplesThis page reuses the published tail-based infinite-product convention and then adapts it to holomorphic function theory.
5 definitions, 1 lemma, 9 theorems, 4 corollaries, 1 remarkExamples & counterexamplesThis page packages the residue theorem in the homological language already built for winding numbers and global Cauchy theory, then uses it to evaluate several families of definite integrals and bilateral series.
2 definitions, 5 lemmas, 8 theorems, 2 corollaries, 4 false statements, 1 remarkExamples & counterexamplesThe harmonic Hardy classes hᵖ(D) collect the complex harmonic functions on the unit disc whose radial traces stay bounded in Lᵖ(T,m).
3 definitions, 1 lemma, 6 theorems, 1 corollaryExamples & counterexamplesThe Poisson–Jensen formula is the exact pointwise identity behind value distribution: on a disc, log|f| is the Poisson average of its boundary values, corrected by the zeros…
2 definitions, 1 lemma, 1 proposition, 6 theoremsExamples & counterexamples- Mittag-Leffler and Runge's Theorem18 results
Runge's theorem is the approximation engine on this page. The compact-set version is built in three stages exactly as planned: a polygonal cycle enclosing the compact set, a…
4 definitions, 3 lemmas, 6 theorems, 4 corollaries, 1 remarkExamples & counterexamples This page fixes the standard extended-real, upper-semicontinuous convention for plane subharmonicity, proves the comparison, C², local-integrability, and stability theorems…
7 definitions, 7 lemmas, 14 theorems, 2 corollaries, 1 remarkExamples & counterexamplesThis page turns the residue theorem into zero and pole counting.
2 definitions, 1 lemma, 8 theorems, 2 corollaries, 3 remarksExamples & counterexamples- The Gamma Function20 results
The page keeps the complex theory only, exactly as the seam amendment requires.
3 definitions, 1 lemma, 12 theorems, 3 corollaries, 1 false statementExamples & counterexamples - The Hartogs Phenomena19 results
This page records the first genuinely several-variable phenomena that fail in one complex variable.
2 definitions, 6 lemmas, 5 theorems, 2 corollaries, 4 false statementsExamples & counterexamples This page turns the several-variable complex Jacobian into genuinely local holomorphic coordinates.
5 definitions, 9 lemmas, 1 proposition, 10 theorems, 1 corollaryExamples & counterexamplesThis page turns the one-point compactification of the complex plane into the complex-analytic sphere.
7 definitions, 13 theorems, 1 corollary, 1 remarkExamples & counterexamples- The Riemann Zeta Function22 results
This page separates three roles that are easy to conflate. First, the Dirichlet series defines ζ(s) only on Res 1, where absolute convergence and the Euler product live…
5 definitions, 1 lemma, 13 theorems, 1 corollary, 2 remarksExamples & counterexamples A complex-analytic hypersurface germ is the zero germ of one nonzero nonunit holomorphic equation.
7 definitions, 8 lemmas, 5 theorems, 1 corollaryExamples & counterexamplesThis page fixes the branch-sensitive conventions that later conformal arguments depend on.
4 definitions, 17 theorems, 2 remarksExamples & counterexamplesThis page closes the first several-variable account of natural domains of holomorphic existence.
7 definitions, 5 lemmas, 13 theorems, 2 corollariesExamples & counterexamples- Normal Families and Montel's Theorem18 results
This page metrizes local uniform convergence on a plane domain by a canonical compact exhaustion, proves that the resulting function-space topology is independent of the…
5 definitions, 2 lemmas, 7 theorems, 3 corollaries, 1 remarkExamples & counterexamples The complex differential forms on an open subset of ℂⁿ split by bidegree.
3 definitions, 2 lemmas, 6 theorems, 1 corollaryExamples & counterexamplesThis page develops the analytic Hardy spaces Hᵖ(D) on the unit disc and their canonical factorisation.
5 definitions, 13 lemmas, 11 theorems, 1 corollaryExamples & counterexamples- Hörmander Estimates and the Levi Problem22 results
This page proves weighted L² estimates for the ∂̄-equation on pseudoconvex domains and records a sourced solution of the Levi problem.
2 definitions, 12 lemmas, 6 theorems, 2 corollariesExamples & counterexamples - The Riemann Mapping Theorem18 results
This page gives the classical extremal proof of the Riemann mapping theorem in the four auditable stages fixed by the design: build a nonempty normalized competitor family…
3 definitions, 6 lemmas, 5 theorems, 3 corollaries, 1 remarkExamples & counterexamples - Bergman and Szegő Kernels21 results
This page develops Bergman spaces, their reproducing kernels and invariant metrics, together with the surface-measure Hardy and Szegő construction on regular smooth domains.
3 definitions, 12 lemmas, 6 theoremsExamples & counterexamples - Bloch, Schottky, and the Picard Theorems16 results
This page follows the classical one-variable route fixed by the design.
3 definitions, 4 lemmas, 6 theorems, 2 corollaries, 1 remarkExamples & counterexamples This page develops the canonical Green kernel of a proper plane domain as the least nonnegative logarithmic-pole candidate.
2 definitions, 4 lemmas, 9 theoremsExamples & counterexamplesThis page is the point where the analytic, homological, and homotopy notions of simple connectivity for plane domains are finally identified.
6 lemmas, 4 theorems, 3 corollaries, 3 remarksExamples & counterexamplesThis page starts from one holomorphic germ and studies what happens when that germ is carried along paths through overlapping function elements.
6 definitions, 2 lemmas, 10 theorems, 1 corollary, 3 remarksExamples & counterexamplesThis page develops the extremal-length method in the plane and uses it to compare the geometric and analytic definitions of quasiconformality.
4 definitions, 6 lemmas, 7 theoremsExamples & counterexamplesThis page develops the classical logarithmic potential theory of compact subsets of the plane.
8 definitions, 7 lemmas, 1 proposition, 8 theoremsExamples & counterexamplesThe Second Main Theorem is the quantitative statement that a meromorphic function cannot distribute its preimages too evenly.
3 definitions, 6 lemmas, 4 theorems, 1 corollaryExamples & counterexamplesThis page develops the Riemann-surface interface of complex analysis: holomorphic atlases, holomorphic and meromorphic maps, meromorphic differentials with their orders and…
5 definitions, 5 lemmas, 5 theoremsExamples & counterexamples- Elliptic Functions and Complex Tori15 results
This page develops the classical theory of doubly periodic meromorphic functions on a full complex lattice, from the quotient construction through the group law on the associated cubic curve.
4 definitions, 1 lemma, 10 theoremsExamples & counterexamples - Hodge Theory on Compact Riemann Surfaces12 results
This page develops the Dolbeault theory of holomorphic line bundles on a compact Riemann surface, with a supplied compatible Riemannian metric and Hermitian bundle metric.
3 definitions, 2 lemmas, 6 theorems, 1 corollaryExamples & counterexamples This page develops uniformization of Riemann surfaces by the classical Green-kernel route, from chartwise function theory to the classification of universal covers.
5 definitions, 15 lemmas, 2 theorems, 2 corollariesExamples & counterexamples- Divisors, Riemann--Roch, and Duality17 results
Divisors turn local zero and pole orders into global data. The associated line bundle packages meromorphic functions with prescribed order bounds as holomorphic sections, so…
4 definitions, 2 lemmas, 9 theorems, 2 corollariesExamples & counterexamples This page builds the classical theory of level-one modular forms from the action of the modular group.
6 definitions, 10 lemmas, 8 theorems, 3 corollariesExamples & counterexamplesThis page develops measurable Beltrami coefficients as ellipse fields and coordinate-dependent conformal structures, then defines weak solutions of the Beltrami equation on domains and the sphere.
2 definitions, 6 lemmas, 2 theorems, 1 corollaryExamples & counterexamples- Compact Kahler Hodge Foundations6 results
This page fixes the conventions and proves the foundational theorems of Hodge theory on a compact Kähler manifold.
1 definition, 4 lemmas, 1 theoremExamples & counterexamples Integration of holomorphic differentials over cycles turns the topology of a compact Riemann surface into linear data.
6 definitions, 12 lemmas, 6 theorems, 1 corollaryExamples & counterexamplesQuasisymmetry controls the relative lengths of adjacent arcs uniformly across the circle; it allows distortion while retaining a precise three-point geometry.
4 definitions, 7 lemmas, 5 theoremsExamples & counterexamplesThis page assembles the absolute Hodge-theoretic package for smooth complex projective varieties.
1 definition, 2 lemmas, 3 theoremsExamples & counterexamples