Teichmüller spaceIn mathematics, the Teichmüller space of a (real) topological (or differential) surface , is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller. Each point in a Teichmüller space may be regarded as an isomorphism class of "marked" Riemann surfaces, where a "marking" is an isotopy class of homeomorphisms from to itself.
Ratio testIn mathematics, the ratio test is a test (or "criterion") for the convergence of a series where each term is a real or complex number and an is nonzero when n is large. The test was first published by Jean le Rond d'Alembert and is sometimes known as d'Alembert's ratio test or as the Cauchy ratio test. The usual form of the test makes use of the limit The ratio test states that: if L < 1 then the series converges absolutely; if L > 1 then the series diverges; if L = 1 or the limit fails to exist, then the test is inconclusive, because there exist both convergent and divergent series that satisfy this case.
Fuchsian modelIn mathematics, a Fuchsian model is a representation of a hyperbolic Riemann surface R as a quotient of the upper half-plane H by a Fuchsian group. Every hyperbolic Riemann surface admits such a representation. The concept is named after Lazarus Fuchs. By the uniformization theorem, every Riemann surface is either elliptic, parabolic or hyperbolic. More precisely this theorem states that a Riemann surface which is not isomorphic to either the Riemann sphere (the elliptic case) or a quotient of the complex plane by a discrete subgroup (the parabolic case) must be a quotient of the hyperbolic plane by a subgroup acting properly discontinuously and freely.
Hypercycle (geometry)In hyperbolic geometry, a hypercycle, hypercircle or equidistant curve is a curve whose points have the same orthogonal distance from a given straight line (its axis). Given a straight line L and a point P not on L, one can construct a hypercycle by taking all points Q on the same side of L as P, with perpendicular distance to L equal to that of P. The line L is called the axis, center, or base line of the hypercycle. The lines perpendicular to L, which are also perpendicular to the hypercycle, are called the normals of the hypercycle.
Uniformization theoremIn mathematics, the uniformization theorem says that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.
Beltrami equationIn mathematics, the Beltrami equation, named after Eugenio Beltrami, is the partial differential equation for w a complex distribution of the complex variable z in some open set U, with derivatives that are locally L2, and where μ is a given complex function in L∞(U) of norm less than 1, called the Beltrami coefficient, and where and are Wirtinger derivatives. Classically this differential equation was used by Gauss to prove the existence locally of isothermal coordinates on a surface with analytic Riemannian metric.
Curved spaceCurved space often refers to a spatial geometry which is not "flat", where a flat space has zero curvature, as described by Euclidean geometry. Curved spaces can generally be described by Riemannian geometry though some simple cases can be described in other ways. Curved spaces play an essential role in general relativity, where gravity is often visualized as curved space. The Friedmann–Lemaître–Robertson–Walker metric is a curved metric which forms the current foundation for the description of the expansion of space and shape of the universe.
Atiyah–Singer index theoremIn differential geometry, the Atiyah–Singer index theorem, proved by Michael Atiyah and Isadore Singer (1963), states that for an elliptic differential operator on a compact manifold, the analytical index (related to the dimension of the space of solutions) is equal to the topological index (defined in terms of some topological data). It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics.
Torsion of a curveIn the differential geometry of curves in three dimensions, the torsion of a curve measures how sharply it is twisting out of the osculating plane. Taken together, the curvature and the torsion of a space curve are analogous to the curvature of a plane curve. For example, they are coefficients in the system of differential equations for the Frenet frame given by the Frenet–Serret formulas. Let r be a space curve parametrized by arc length s and with the unit tangent vector T.
Real projective spaceIn mathematics, real projective space, denoted \mathbb{RP}^n or \mathbb{P}_n(\R), is the topological space of lines passing through the origin 0 in the real space \R^{n+1}. It is a compact, smooth manifold of dimension n, and is a special case \mathbf{Gr}(1, \R^{n+1}) of a Grassmannian space. As with all projective spaces, RPn is formed by taking the quotient of Rn+1 ∖ under the equivalence relation x ∼ λx for all real numbers λ ≠ 0. For all x in Rn+1 ∖ one can always find a λ such that λx has norm 1.
