In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.
Christian Felix Klein was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and group theory. His 1872 Erlangen program, classifying geometries by their basic symmetry groups, was an influential synthesis of much of the mathematics of the time.
In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin-Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if is holomorphic in a simply connected domain Ω, then for any simply closed contour in Ω, that contour integral is zero.
In mathematics, a sheaf is a tool for systematically tracking data attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set.
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of modular forms therefore belongs to complex analysis but the main importance of the theory has traditionally been in its connections with number theory. Modular forms appear in other areas, such as algebraic topology, sphere packing, and string theory.
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group G to the complex numbers which is invariant under the action of a discrete subgroup of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups.
In mathematics, a Kleinian group is a discrete subgroup of the group of orientation-preserving isometries of hyperbolic 3-space H3. The latter, identifiable with PSL(2, C), is the quotient group of the 2 by 2 complex matrices of determinant 1 by their center, which consists of the identity matrix and its product by −1. PSL(2, C) has a natural representation as conformal transformations of the Riemann sphere, and as orientation-preserving conformal transformations of the open unit ball B3 in R3. The group of Möbius transformations is also related as the non-orientation-preserving isometry group of H3, PGL(2, C). So, a Kleinian group can be regarded as a discrete subgroup acting on one of these spaces.
In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.
In mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense. Here N must be the even number 2n, where n is the complex dimension of M.
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.
In mathematics, a Schottky group is a special sort of Kleinian group, first studied by Friedrich Schottky (1877).
In mathematics, Siegel modular forms are a major type of automorphic form. These generalize conventional elliptic modular forms which are closely related to elliptic curves. The complex manifolds constructed in the theory of Siegel modular forms are Siegel modular varieties, which are basic models for what a moduli space for abelian varieties should be and are constructed as quotients of the Siegel upper half-space rather than the upper half-plane by discrete groups.
Karl Emanuel Robert Fricke was a German mathematician, known for his work in complex analysis, especially on elliptic, modular and automorphic functions. He was one of the main collaborators of Felix Klein, with whom he produced two classic, two-volume monographs on elliptic modular functions and automorphic functions.
In number theory, a Shimura variety is a higher-dimensional analogue of a modular curve that arises as a quotient variety of a Hermitian symmetric space by a congruence subgroup of a reductive algebraic group defined over Q. Shimura varieties are not algebraic varieties but are families of algebraic varieties. Shimura curves are the one-dimensional Shimura varieties. Hilbert modular surfaces and Siegel modular varieties are among the best known classes of Shimura varieties.
In mathematics, an automorphic factor is a certain type of analytic function, defined on subgroups of SL(2,R), appearing in the theory of modular forms. The general case, for general groups, is reviewed in the article 'factor of automorphy'.
In number theory, a Poincaré series is a mathematical series generalizing the classical theta series that is associated to any discrete group of symmetries of a complex domain, possibly of several complex variables. In particular, they generalize classical Eisenstein series. They are named after Henri Poincaré.
In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.
In the mathematical theory of Kleinian groups, a quasi-Fuchsian group is a Kleinian group whose limit set is contained in an invariant Jordan curve. If the limit set is equal to the Jordan curve the quasi-Fuchsian group is said to be of type one, and otherwise it is said to be of type two. Some authors use "quasi-Fuchsian group" to mean "quasi-Fuchsian group of type 1", in other words the limit set is the whole Jordan curve. This terminology is incompatible with the use of the terms "type 1" and "type 2" for Kleinian groups: all quasi-Fuchsian groups are Kleinian groups of type 2, as their limit sets are proper subsets of the Riemann sphere. The special case when the Jordan curve is a circle or line is called a Fuchsian group, named after Lazarus Fuchs by Henri Poincaré.
In mathematics, Picard–Lefschetz theory studies the topology of a complex manifold by looking at the critical points of a holomorphic function on the manifold. It was introduced by Émile Picard for complex surfaces in his book Picard & Simart (1897), and extended to higher dimensions by Solomon Lefschetz (1924). It is a complex analog of Morse theory that studies the topology of a real manifold by looking at the critical points of a real function. Pierre Deligne and Nicholas Katz (1973) extended Picard–Lefschetz theory to varieties over more general fields, and Deligne used this generalization in his proof of the Weil conjectures.
In mathematics, a harmonic morphism is a (smooth) map :(M^{m},g)\to (N^{n},h)} between Riemannian manifolds that pulls back real-valued harmonic functions on the codomain to harmonic functions on the domain. Harmonic morphisms form a special class of harmonic maps i.e. those that are horizontally (weakly) conformal.
