|
J-invariant
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] |
1728 (number)
1728 is the natural number following 1727 and preceding 1729. 1728 is a dozen gross, one great gross (or grand gross). It is the number of cubic inches in a cubic foot. It is also the number of daily chants of the Hare Krishna mantra by a Hare Krishna devotee. The number comes from 16 rounds on a 108 japamala bead. In mathematics 1728 is the cube of 12 and, as such, is important in the duodecimal number system, in which it is represented as "1000". * 1728 = 123 * 1728 = 33 × 43 * 1728 = 23 × 63 * 1728 = 63 + 83 + 103 * 1728 = 242 + 242 + 242 * 1728 = 2893 + 2873 + (−288)3 + (−288)3 * 28 divisors: 1, 2, 3, 4, 6, 8, 9, 12, 16, 18, 24, 27, 32, 36, 48, 54, 64, 72, 96, 108, 144, 192, 216, 288, 432, 576, 864, 1728 1728 is the number of directed open knight's tours on a chessboard. 1728 occurs in the algebraic formula for the j-invariant of an elliptic curve, as a function over a complex variable on the upper half-plane \,\mathcal : \, :j(\tau) = 1728 \frac = 1728 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monstrous Moonshine
In mathematics, monstrous moonshine, or moonshine theory, is the unexpected connection between the monster group ''M'' and modular functions, in particular, the ''j'' function. The term was coined by John Conway and Simon P. Norton in 1979. The monstrous moonshine is now known to be underlain by a vertex operator algebra called the moonshine module (or monster vertex algebra) constructed by Igor Frenkel, James Lepowsky, and Arne Meurman in 1988, which has the monster group as its group of symmetries. This vertex operator algebra is commonly interpreted as a structure underlying a two-dimensional conformal field theory, allowing physics to form a bridge between two mathematical areas. The conjectures made by Conway and Norton were proven by Richard Borcherds for the moonshine module in 1992 using the no-ghost theorem from string theory and the theory of vertex operator algebras and generalized Kac–Moody algebras. History In 1978, John McKay found that the fi ... [...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 w ... [...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] |
Felix Klein
Christian Felix Klein (; 25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and group theory. His 1872 Erlangen program, classifying geometries by their basic symmetry groups, was an influential synthesis of much of the mathematics of the time. Life Felix Klein was born on 25 April 1849 in Düsseldorf, to Prussian parents. His father, Caspar Klein (1809–1889), was a Prussian government official's secretary stationed in the Rhine Province. His mother was Sophie Elise Klein (1819–1890, née Kayser). He attended the Gymnasium in Düsseldorf, then studied mathematics and physics at the University of Bonn, 1865–1866, intending to become a physicist. At that time, Julius Plücker had Bonn's professorship of mathematics and experimental physics, but by the time Klein became his assistant, in 1866, Plücker's interes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modular Group
In mathematics, the modular group is the projective special linear group of matrices with integer coefficients and determinant 1. The matrices and are identified. The modular group acts on the upper-half of the complex plane by fractional linear transformations, and the name "modular group" comes from the relation to moduli spaces and not from modular arithmetic. Definition The modular group is the group of linear fractional transformations of the upper half of the complex plane, which have the form :z\mapsto\frac, where , , , are integers, and . The group operation is function composition. This group of transformations is isomorphic to the projective special linear group , which is the quotient of the 2-dimensional special linear group over the integers by its center . In other words, consists of all matrices :\begin a & b \\ c & d \end where , , , are integers, , and pairs of matrices and are considered to be identical. The group operation is the us ... [...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 |
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] |
Dedekind Eta Function
In mathematics, the Dedekind eta function, named after Richard Dedekind, is a modular form of weight 1/2 and is a function defined on the upper half-plane of complex numbers, where the imaginary part is positive. It also occurs in bosonic string theory. Definition For any complex number with , let ; then the eta function is defined by, :\eta(\tau) = e^\frac \prod_^\infty \left(1-e^\right) = q^\frac \prod_^\infty \left(1 - q^n\right) . Raising the eta equation to the 24th power and multiplying by gives :\Delta(\tau)=(2\pi)^\eta^(\tau) where is the modular discriminant. The presence of 24 can be understood by connection with other occurrences, such as in the 24-dimensional Leech lattice. The eta function is holomorphic on the upper half-plane but cannot be continued analytically beyond it. The eta function satisfies the functional equations :\begin \eta(\tau+1) &=e^\frac\eta(\tau),\\ \eta\left(-\frac\right) &= \sqrt\, \eta(\tau).\, \end In the second equation th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transcendental Numbers
In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are and . Though only a few classes of transcendental numbers are known—partly because it can be extremely difficult to show that a given number is transcendental—transcendental numbers are not rare. Indeed, almost all real and complex numbers are transcendental, since the algebraic numbers comprise a countable set, while the set of real numbers and the set of complex numbers are both uncountable sets, and therefore larger than any countable set. All transcendental real numbers (also known as real transcendental numbers or transcendental irrational numbers) are irrational numbers, since all rational numbers are algebraic. The converse is not true: not all irrational numbers are transcendental. Hence, the set of real numbers consists of non-overlapping rational, algebra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
