|
Fundamental Pair Of Periods
In mathematics, a fundamental pair of periods is an ordered pair of complex numbers that define a lattice in the complex plane. This type of lattice is the underlying object with which elliptic functions and modular forms are defined. Definition A fundamental pair of periods is a pair of complex numbers \omega_1,\omega_2 \in \Complex such that their ratio ω2/ω1 is not real. If considered as vectors in \mathbb^2, the two are not collinear. The lattice generated by ω1 and ω2 is :\Lambda = \left\ This lattice is also sometimes denoted as Λ(''ω''1, ''ω''2) to make clear that it depends on ω1 and ω2. It is also sometimes denoted by Ω or Ω(''ω''1, ''ω''2), or simply by ⟨''ω''1, ''ω''2⟩. The two generators ω1 and ω2 are called the ''lattice basis''. The parallelogram defined by the vertices 0, \omega_1 and \omega_2 is called the ''fundamental parallelogram''. While a fundamental pair generates a lattice, a lattice does not have any unique fundamental pair; in fa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a ''topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; connectedne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Surfaces
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. The main interest in Riemann surfaces is that holomorphic functions may be defined between them. Riemann surfaces are nowadays considered the natural setting for studying the global behavior of these functions, especially multi-valued functions such as the square root and other algebraic functions, or the logarithm. Every Riemann surface is a two-dimensional real analytic manifold (i.e., a surface), but it contains more structure (specifically a complex structure) which is needed for the unambiguous definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tom M
Tom or TOM may refer to: * Tom (given name), a diminutive of Thomas or Tomás or an independent Aramaic given name (and a list of people with the name) Characters * Tom Anderson, a character in '' Beavis and Butt-Head'' * Tom Beck, a character in the 1998 American science-fiction disaster movie '' Deep Impact'' * Tom Buchanan, the main antagonist from the 1925 novel ''The Great Gatsby'' * Tom Cat, a character from the ''Tom and Jerry'' cartoons * Tom Lucitor, a character from the American animated series '' Star vs. the Forces of Evil'' * Tom Natsworthy, from the science fantasy novel ''Mortal Engines'' * Tom Nook, a character in ''Animal Crossing'' video game series * Tom Servo, a robot character from the ''Mystery Science Theater 3000'' television series * Tom Sloane, a non-adult character from the animated sitcom '' Daria'' * Talking Tom, the protagonist from the ''Talking Tom & Friends'' franchise * Tom, a character from the '' Deltora Quest'' books by Emily Rodda * Tom, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eisenstein Series
Eisenstein series, named after German mathematician Gotthold Eisenstein, are particular modular forms with infinite series expansions that may be written down directly. Originally defined for the modular group, Eisenstein series can be generalized in the theory of automorphic forms. Eisenstein series for the modular group Let be a complex number with strictly positive imaginary part. Define the holomorphic Eisenstein series of weight , where is an integer, by the following series: :G_(\tau) = \sum_ \frac. This series absolutely converges to a holomorphic function of in the upper half-plane and its Fourier expansion given below shows that it extends to a holomorphic function at . It is a remarkable fact that the Eisenstein series is a modular form. Indeed, the key property is its -invariance. Explicitly if and then :G_ \left( \frac \right) = (c\tau +d)^ G_(\tau) Relation to modular invariants The modular invariants and of an elliptic curve are given by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Form
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 nic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Curve
In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. If the field's characteristic is different from 2 and 3, then the curve can be described as a plane algebraic curve which consists of solutions for: :y^2 = x^3 + ax + b for some coefficients and in . The curve is required to be non-singular, which means that the curve has no cusps or self-intersections. (This is equivalent to the condition , that is, being square-free in .) It is always understood that the curve is really sitting in the projective plane, with the point being the unique point at infinity. Many sources define an elliptic curve to be simply a curve given by an equation of this form. (When the coefficient field has characteristic 2 or 3, the above equation is not quite general enough to include all non-singular cub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quarter Period
In mathematics, the quarter periods ''K''(''m'') and i''K'' ′(''m'') are special functions that appear in the theory of elliptic functions. The quarter periods ''K'' and i''K'' ′ are given by :K(m)=\int_0^ \frac and :K'(m) = K(1-m).\, When ''m'' is a real number, 0 < ''m'' < 1, then both ''K'' and ''K'' ′ are real numbers. By convention, ''K'' is called the ''real quarter period'' and i''K'' ′ is called the ''imaginary quarter period''. Any one of the numbers ''m'', ''K'', ''K'' ′, or ''K'' ′/''K'' uniquely determines the others. These functions appear in the theory of Jacobian elliptic functions; they are called ''quarter periods'' because the elliptic functions \operatornameu and \operatornameu are periodic functions with periods 4K and 4K'. However, the \operatorname function is also periodic with a smaller period (in terms of the absolute value) than 4\mathrm iK', namely 2\mathrm iK'. Notation T ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Modulus
In mathematics, the modular lambda function λ(τ)\lambda(\tau) is not a modular function (per the Wikipedia definition), but every modular function is a rational function in \lambda(\tau). Some authors use a non-equivalent definition of "modular functions". is a highly symmetric holomorphic function on the complex upper half-plane. It is invariant under the fractional linear action of the congruence group Γ(2), and generates the function field of the corresponding quotient, i.e., it is a Hauptmodul for the modular curve ''X''(2). Over any point τ, its value can be described as a cross ratio of the branch points of a ramified double cover of the projective line by the elliptic curve \mathbb/\langle 1, \tau \rangle, where the map is defined as the quotient by the minus;1involution. The q-expansion, where q = e^ is the nome, is given by: : \lambda(\tau) = 16q - 128q^2 + 704 q^3 - 3072q^4 + 11488q^5 - 38400q^6 + \dots. By symmetrizing the lambda function under the can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nome (mathematics)
In mathematics, specifically the theory of elliptic functions, the nome is a special function that belongs to the non-elementary functions. This function is of great importance in the description of the elliptic functions, especially in the description of the modular identity of the Jacobi theta function, the Hermite elliptic transcendents and the Weber modular functions, that are used for solving equations of higher degrees. Definition The nome function is given by :q =\mathrm^ =\mathrm^ =\mathrm^ \, where ''K'' and iK' are the quarter periods, and \omega_1 and \omega_2 are the fundamental pair of periods, and \tau=\frac=\frac is the half-period ratio. The nome can be taken to be a function of any one of these quantities; conversely, any one of these quantities can be taken as functions of the nome. Each of them uniquely determines the others when 0 |
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 λ = ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Domain
Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits. There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral. The images of a chosen fundamental domain under the group action then tile the space. One general construction of fundamental domains uses Voronoi cells. Hints at a general definition Given an action of a group ''G'' on a topological space ''X'' by homeomorphisms, a fundamental domain for this action is a set ''D'' of representatives for the orbits. It is usually required to be a reasonably nice set topologically, in one of several pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
