Editing Bernhard Riemann (section)

==Complex analysis==
In his dissertation, he established a geometric foundation for [[complex analysis]] through [[Riemann surface]]s, through which multi-valued functions like the [[logarithm]] (with infinitely many sheets) or the [[square root]] (with two sheets) could become [[one-to-one function]]s. Complex functions are [[harmonic functions]]{{Citation needed|date=October 2021}} (that is, they satisfy [[Laplace's equation]] and thus the [[Cauchy–Riemann equations]]) on these surfaces and are described by the location of their singularities and the topology of the surfaces. The topological "genus" of the Riemann surfaces is given by <math>g=w/2-n+1</math>, where the surface has <math>n</math> leaves coming together at <math>w</math> branch points. For <math>g>1</math> the Riemann surface has <math>(3g-3)</math> parameters (the "[[Moduli of algebraic curves|moduli]]").

His contributions to this area are numerous. The famous [[Riemann mapping theorem]] says that a simply connected domain in the complex plane is "biholomorphically equivalent" (i.e. there is a bijection between them that is holomorphic with a holomorphic inverse) to either <math>\mathbb{C}</math> or to the interior of the unit circle. The generalization of the theorem to Riemann surfaces is the famous [[uniformization theorem]], which was proved in the 19th century by [[Henri Poincaré]] and [[Felix Klein]]. Here, too, rigorous proofs were first given after the development of richer mathematical tools (in this case, topology). For the proof of the existence of functions on Riemann surfaces, he used a minimality condition, which he called the [[Dirichlet principle]]. [[Karl Weierstrass]] found a gap in the proof: Riemann had not noticed that his working assumption (that the minimum existed) might not work; the function space might not be complete, and therefore the existence of a minimum was not guaranteed. Through the work of [[David Hilbert]]  in the Calculus of Variations, the Dirichlet principle was finally established. Otherwise, Weierstrass was very impressed with Riemann, especially with his theory of [[abelian function]]s. When Riemann's work appeared, Weierstrass withdrew his paper from ''[[Crelle's Journal]]'' and did not publish it. They had a good understanding when Riemann visited him in Berlin in 1859. Weierstrass encouraged his student [[Hermann Amandus Schwarz]] to find alternatives to the Dirichlet principle in complex analysis, in which he was successful. An anecdote from [[Arnold Sommerfeld]]<ref>[[Arnold Sommerfeld]], „[[Vorlesungen über theoretische Physik]]“, Bd.2 (Mechanik deformierbarer Medien), Harri Deutsch, S.124. Sommerfeld heard the story from Aachener Professor of Experimental Physics [[Adolf Wüllner]].</ref> shows the difficulties which contemporary mathematicians had with Riemann's new ideas. In 1870, Weierstrass had taken Riemann's dissertation with him on a holiday to Rigi and complained that it was hard to understand. The physicist [[Hermann von Helmholtz]] assisted him in the work overnight and returned with the comment that it was "natural" and "very understandable".

Other highlights include his work on abelian functions and [[theta functions]] on Riemann surfaces. Riemann had been in a competition with Weierstrass since 1857 to solve the Jacobian inverse problems for abelian integrals, a generalization of [[elliptic integrals]]. Riemann used theta functions in several variables and reduced the problem to the determination of the zeros of these theta functions. Riemann also investigated period matrices and characterized them through the "Riemannian period relations" (symmetric, real part negative). By [[Ferdinand Georg Frobenius]] and [[Solomon Lefschetz]] the validity of this relation is equivalent with the embedding of <math>\mathbb{C}^n/\Omega</math> (where <math>\Omega</math> is the lattice of the period matrix) in a projective space by means of theta functions. For certain values of <math>n</math>, this is the [[Jacobian variety]] of the Riemann surface, an example of an abelian manifold.

Many mathematicians such as [[Alfred Clebsch]] furthered Riemann's work on algebraic curves. These theories depended on the properties of a function defined on Riemann surfaces. For example, the [[Riemann–Roch theorem]] (Roch was a student of Riemann) says something about the number of linearly independent differentials (with known conditions on the zeros and poles) of a Riemann surface.

According to [[Detlef Laugwitz]],<ref>[[Detlef Laugwitz]]: ''Bernhard Riemann 1826–1866''. Birkhäuser, Basel 1996, {{ISBN|978-3-7643-5189-2}}</ref> [[automorphic function]]s appeared for the first time in an essay about the Laplace equation on electrically charged cylinders. Riemann however used such functions for conformal maps (such as mapping topological triangles to the circle) in his 1859 lecture on hypergeometric functions or in his treatise on [[minimal surface]]s.