Klein surface

Last updated November 09, 2023

In mathematics, a Klein surface is a dianalytic manifold of complex dimension 1. Klein surfaces may have a boundary and need not be orientable. Klein surfaces generalize Riemann surfaces. While the latter are used to study algebraic curves over the complex numbers analytically, the former are used to study algebraic curves over the real numbers analytically. Klein surfaces were introduced by Felix Klein in 1882.^[1]

A Klein surface is a surface (i.e., a differentiable manifold of real dimension 2) on which the notion of angle between two tangent vectors at a given point is well-defined, and so is the angle between two intersecting curves on the surface. These angles are in the range [0,π]; since the surface carries no notion of orientation, it is not possible to distinguish between the angles α and −α. (By contrast, on Riemann surfaces are oriented and angles in the range of (-π,π] can be meaningfully defined.) The length of curves, the area of submanifolds and the notion of geodesic are not defined on Klein surfaces.

Two Klein surfaces X and Y are considered equivalent if there are conformal (i.e. angle-preserving but not necessarily orientation-preserving) differentiable maps f:X→Y and g:Y→X that map boundary to boundary and satisfy fg = id_Y and gf = id_X.

Examples

Every Riemann surface (analytic manifold of complex dimension 1, without boundary) is a Klein surface. Examples include open subsets of the complex plane (non-compact), the Riemann sphere (compact), and tori (compact). Note that there are many different inequivalent Riemann surfaces with the same underlying torus as manifold.

A closed disk in the complex plane is a Klein surface (compact, with boundary). All closed disks are equivalent as Klein surfaces. A closed annulus in the complex plane is a Klein surface (compact, with boundary). Not all annuli are equivalent as Klein surfaces: there is a one-parameter family of inequivalent Klein surfaces arising in this way from annuli. By removing a number of open disks from the Riemann sphere, we obtain another class of Klein surfaces (compact, with boundary). The real projective plane can be turned into a Klein surface (compact, without boundary), in essentially only one way. The Klein bottle can be turned into a Klein surface (compact, without boundary); there is a one-parameter family of inequivalent Klein surfaces structures defined on the Klein bottle. Similarly, there is a one-parameter family of inequivalent Klein surface structures (compact, with boundary) defined on the Möbius strip.^[2]

Every compact topological 2-manifold (possibly with boundary) can be turned into a Klein surface,^[3] often in many different inequivalent ways.

Properties

The boundary of a compact Klein surface consists of finitely many connected components, each of which being homeomorphic to a circle. These components are called the ovals of the Klein surface.^[3]

Suppose Σ is a (not necessarily connected) Riemann surface and τ:Σ→Σ is an anti-holomorphic (orientation-reversing) involution. Then the quotient Σ/τ carries a natural Klein surface structure, and every Klein surface can be obtained in this manner in essentially only one way.^[3] The fixed points of τ correspond to the boundary points of Σ/τ. The surface Σ is called an "analytic double" of Σ/τ.

The Klein surfaces form a category; a morphism from the Klein surface X to the Klein surface Y is a differentiable map f:X→Y which on each coordinate patch is either holomorphic or the complex conjugate of a holomorphic map and furthermore maps the boundary of X to the boundary of Y.

There is a one-to-one correspondence between smooth projective algebraic curves over the reals (up to isomorphism) and compact connected Klein surfaces (up to equivalence). The real points of the curve correspond to the boundary points of the Klein surface.^[3] Indeed, there is an equivalence of categories between the category of smooth projective algebraic curves over R (with regular maps as morphisms) and the category of compact connected Klein surfaces. This is akin to the correspondence between smooth projective algebraic curves over the complex numbers and compact connected Riemann surfaces. (Note that the algebraic curves considered here are abstract curves: integral, separated one-dimensional schemes of finite type over R. Such a curve need not have any R-rational points (like the curve X²+Y²+1=0 over R), in which case its Klein surface will have empty boundary.)

There is also a one-to-one correspondence between compact connected Klein surfaces (up to equivalence) and algebraic function fields in one variable over R (up to R-isomorphism). This correspondence is akin to the one between compact connected Riemann surfaces and algebraic function fields over the complex numbers.^[2] If X is a Klein surface, a function f:X→Cu{∞} is called meromorphic if, on each coordinate patch, f or its complex conjugate is meromorphic in the ordinary sense, and if f takes only real values (or ∞) on the boundary of X. Given a connected Klein surface X, the set of meromorphic functions defined on X form a field M(X), an algebraic function field in one variable over R. M is a contravariant functor and yields a duality (contravariant equivalence) between the category of compact connected Klein surfaces (with non-constant morphisms) and the category of function fields in one variable over the reals.

One can classify the compact connected Klein surfaces X up to homeomorphism (not up to equivalence!) by specifying three numbers (g, k, a): the genus g of the analytic double Σ, the number k of connected components of the boundary of X , and the number a, defined by a=0 if X is orientable and a=1 otherwise.^[3] We always have k ≤ g+1. The Euler characteristic of X equals 1-g.^[3]

Related Research Articles

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, applied mathematics; as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

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 $C n$ . 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.

In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

In the mathematical field of complex analysis, a meromorphic function on an open subset D of the complex plane is a function that is holomorphic on all of Dexcept for a set of isolated points, which are poles of the function. The term comes from the Greek meros, meaning "part".

In mathematics, particularly in complex analysis, a Riemann surface is a one-dimensional complex manifold.

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space $, that is, n -tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.$

In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a point at infinity. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point.

In mathematics, an algebraic function field (often abbreviated as function field) of n variables over a field k is a finitely generated field extension K/k which has transcendence degree n over k. Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field K = k(x₁,...,x_n) of rational functions in n variables over k.

In the mathematical field of complex analysis, a branch point of a multi-valued function is a point such that if the function is n-valued at that point, all of its neighborhoods contain a point that has more than n values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.

In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in $, such that the transition maps are holomorphic.$

In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.

In mathematics, in the theory of several complex variables and complex manifolds, a Stein manifold is a complex submanifold of the vector space of n complex dimensions. They were introduced by and named after Karl Stein (1951). A Stein space is similar to a Stein manifold but is allowed to have singularities. Stein spaces are the analogues of affine varieties or affine schemes in algebraic geometry.

In mathematics, differential of the first kind is a traditional term used in the theories of Riemann surfaces and algebraic curves, for everywhere-regular differential 1-forms. Given a complex manifold M, a differential of the first kind ω is therefore the same thing as a 1-form that is everywhere holomorphic; on an algebraic variety V that is non-singular it would be a global section of the coherent sheaf Ω¹ of Kähler differentials. In either case the definition has its origins in the theory of abelian integrals.

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an $-dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.$

In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

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.$

Ahlfors theory is a mathematical theory invented by Lars Ahlfors as a geometric counterpart of the Nevanlinna theory. Ahlfors was awarded one of the two very first Fields Medals for this theory in 1936.

In mathematics, a planar Riemann surface is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910, as a generalization of the uniformization theorem, that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

References

↑ Klein, Felix (1882), Ueber Riemann's Theorie der algebraischen Funktionen und ihrer Integrale (in German), Teubner
1 2 Norman L. Alling; Newcomb Greenleaf (1969). "Klein surfaces and real algebraic function fields" (PDF). Bulletin of the AMS (75): 869–872.
1 2 3 4 5 6 Florent Schaffhauser (2015). "Lectures on Klein surfaces and their fundamental groups". arXiv: 1509.01733 .

Klein surface

Contents

Examples

Properties

Related Research Articles

References

Further reading