Automorphic Function
   HOME
*





Automorphic Function
In mathematics, an automorphic function is a function on a space that is invariant under the action of some group, in other words a function on the quotient space. Often the space is a complex manifold and the group is a discrete group. Factor of automorphy In mathematics, the notion of factor of automorphy arises for a group acting on a complex-analytic manifold. Suppose a group G acts on a complex-analytic manifold X. Then, G also acts on the space of holomorphic functions from X to the complex numbers. A function f is termed an '' automorphic form'' if the following holds: : f(g.x) = j_g(x)f(x) where j_g(x) is an everywhere nonzero holomorphic function. Equivalently, an automorphic form is a function whose divisor is invariant under the action of G. The ''factor of automorphy'' for the automorphic form f is the function j. An ''automorphic function'' is an automorphic form for which j is the identity. Some facts about factors of automorphy: * Every factor of automorphy ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex plane ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Discrete Groups
Discrete may refer to: *Discrete particle or quantum in physics, for example in quantum theory * Discrete device, an electronic component with just one circuit element, either passive or active, other than an integrated circuit *Discrete group In mathematics, a topological group ''G'' is called a discrete group if there is no limit point in it (i.e., for each element in ''G'', there is a neighborhood which only contains that element). Equivalently, the group ''G'' is discrete if and on ...
, a group with the discrete topology *Discrete category, category whose only arrows are identity morphism, identity arrows *Discrete mathematics, the study of structures without continuity *Discrete optimization, a branch of optimization in applied mathematics and computer science *Discrete probability distribution, a random variable that can be counted *Discrete space, a simple example of a topological space *Discrete spline interpolation, the discrete analog of ordinary spline interpola ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Automorphic Forms
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group ''G'' to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup \Gamma \subset G of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups. Modular forms are holomorphic automorphic forms defined over the groups SL(2, R) or PSL(2, R) with the discrete subgroup being the modular group, or one of its congruence subgroups; in this sense the theory of automorphic forms is an extension of the theory of modular forms. More generally, one can use the adelic approach as a way of dealing with the whole family of congruence subgroups at once. From this point of view, an automorphic form over the group ''G''(A''F''), for an algebraic group ''G'' and an algebraic number field ''F'', is a complex-valued function on ''G''(A''F'') that is left ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Complex Torus
In mathematics, a complex torus is a particular kind of complex manifold ''M'' whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number ''N'' circles). Here ''N'' must be the even number 2''n'', where ''n'' is the complex dimension of ''M''. All such complex structures can be obtained as follows: take a lattice Λ in a vector space V isomorphic to C''n'' considered as real vector space; then the quotient group V/\Lambda is a compact complex manifold. All complex tori, up to isomorphism, are obtained in this way. For ''n'' = 1 this is the classical period lattice construction of elliptic curves. For ''n'' > 1 Bernhard Riemann found necessary and sufficient conditions for a complex torus to be an algebraic variety; those that are varieties can be embedded into complex projective space, and are the abelian varieties. The actual projective embeddings are complicated (see equations defining abelian varieties) when ''n'' > 1, and are real ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Modular Function
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. A modular function is a function that is invariant with respect to the modular group, but without the condition that be holomorphic in the upper half-plane (among other requirements). Instead, modular functions are meromorphic (that is, they are holomorphic on the complement of a set of isolated points, which are poles of the function). Modular form theory is a special case of the more general theory of automorphic forms which are functions defined on Lie groups which transform nicely with ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Elliptic Modular Function
In mathematics, Felix Klein's -invariant or function, regarded as a function of a complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such function which is holomorphic away from a simple pole at the cusp such that :j\left(e^\right) = 0, \quad j(i) = 1728 = 12^3. Rational functions of are modular, and in fact give all modular functions. Classically, the -invariant was studied as a parameterization of elliptic curves over , but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine). Definition The -invariant can be defined as a function on the upper half-plane :j(\tau) = 1728 \frac = 1728 \frac = 1728 \frac with the third definition implying j(\tau) can be expressed as a cube, also since 1728 = 12^3. The given functions are the modular discriminant \Delta(\tau) = g_2(\tau)^3 - 27g_3(\tau)^2 = (2\pi)^\,\eta^(\tau) ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Kleinian Group
In mathematics, a Kleinian group is a discrete subgroup of the group (mathematics), group of orientation-preserving Isometry, isometries of hyperbolic 3-space . The latter, identifiable with PSL(2,C), , is the quotient group of the 2 by 2 complex number, complex matrix (mathematics), matrices of determinant 1 by their center (group theory), center, which consists of the identity matrix and its product by . has a natural representation as orientation-preserving conformal transformations of the Riemann sphere, and as orientation-preserving conformal transformations of the open unit ball in . The group of Möbius transformation, Möbius transformations is also related as the non-orientation-preserving isometry group of , . So, a Kleinian group can be regarded as a discrete subgroup group action, acting on one of these spaces. History The theory of general Kleinian groups was founded by and , who named them after Felix Klein. The special case of Schottky groups had been studied a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Automorphic Factor
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'. Definition An ''automorphic factor of weight k'' is a function \nu : \Gamma \times \mathbb \to \Complex satisfying the four properties given below. Here, the notation \mathbb and \Complex refer to the upper half-plane and the complex plane, respectively. The notation \Gamma is a subgroup of SL(2,R), such as, for example, a Fuchsian group. An element \gamma \in \Gamma is a 2×2 matrix \gamma = \begina&b \\c & d\end with ''a'', ''b'', ''c'', ''d'' real numbers, satisfying ''ad''−''bc''=1. An automorphic factor must satisfy: # For a fixed \gamma\in\Gamma, the function \nu(\gamma,z) is a holomorphic function of z\in\mathbb. # For all z\in\mathbb and \gamma\in\Gamma, one has \vert\nu(\gamma,z)\vert = \vert cz + d\vert^k for a fixed real numb ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Upper Half-plane
In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to the set of complex numbers with positive imaginary part: :\mathcal \equiv \ ~. The term arises from a common visualization of the complex number as the point in the plane endowed with Cartesian coordinates. When the  axis is oriented vertically, the "upper half-plane" corresponds to the region above the  axis and thus complex numbers for which  > 0. It is the domain of many functions of interest in complex analysis, especially modular forms. The lower half-plane, defined by   0. Proposition: Let ''A'' and ''B'' be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes ''A'' to ''B''. :Proof: First shift the center of ''A'' to (0,0). Then take λ = (diame ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Coboundary
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of the next. Associated to a chain complex is its homology, which describes how the images are included in the kernels. A cochain complex is similar to a chain complex, except that its homomorphisms are in the opposite direction. The homology of a cochain complex is called its cohomology. In algebraic topology, the singular chain complex of a topological space X is constructed using continuous maps from a simplex to X, and the homomorphisms of the chain complex capture how these maps restrict to the boundary of the simplex. The homology of this chain complex is called the singular homology of X, and is a commonly used invariant of a topological space. Chain complexes are studied in homological algebra, but are used in several areas of math ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Group (mathematics)
In mathematics, a group is a Set (mathematics), set and an Binary operation, operation that combines any two Element (mathematics), elements of the set to produce a third element of the set, in such a way that the operation is Associative property, associative, an identity element exists and every element has an Inverse element, inverse. These three axioms hold for Number#Main classification, number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]