Siegel upper half-spaceIn mathematics, the Siegel upper half-space of degree g (or genus g) (also called the Siegel upper half-plane) is the set of g × g symmetric matrices over the complex numbers whose imaginary part is positive definite. It was introduced by . It is the symmetric space associated to the symplectic group Sp(2g, R). The Siegel upper half-space has properties as a complex manifold that generalize the properties of the upper half-plane, which is the Siegel upper half-space in the special case g = 1.
Siegel modular varietyIn mathematics, a Siegel modular variety or Siegel moduli space is an algebraic variety that parametrizes certain types of abelian varieties of a fixed dimension. More precisely, Siegel modular varieties are the moduli spaces of principally polarized abelian varieties of a fixed dimension. They are named after Carl Ludwig Siegel, the 20th-century German number theorist who introduced the varieties in 1943. Siegel modular varieties are the most basic examples of Shimura varieties.
Representation theoryRepresentation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations (for example, matrix addition, matrix multiplication).
Modular formIn mathematics, a modular form is a (complex) analytic function on the upper half-plane that satisfies: a kind of functional equation with respect to the group action of the modular group, and a growth condition. The theory of modular forms therefore belongs to complex analysis. The main importance of the theory is its connections with number theory. Modular forms appear in other areas, such as algebraic topology, sphere packing, and string theory.
Upper half-planeIn mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is defined similarly, by requiring that be negative instead. Each is an example of two-dimensional half-space. The affine transformations of the upper half-plane include shifts , , and dilations , . Proposition: Let and be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes to . Proof: First shift the center of to . Then take and dilate.
Automorphic formIn 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 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.
Langlands programIn representation theory and algebraic number theory, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by , it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as "a kind of grand unified theory of mathematics.
Moduli spaceIn mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects (e.g., the smooth algebraic curves of a fixed genus) can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space.
Algebraic varietyAlgebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly.