|
Classical Modular Curve
In number theory, the classical modular curve is an irreducible plane algebraic curve given by an equation :, such that is a point on the curve. Here denotes the -invariant. The curve is sometimes called , though often that notation is used for the abstract algebraic curve for which there exist various models. A related object is the classical modular polynomial, a polynomial in one variable defined as . It is important to note that the classical modular curves are part of the larger theory of modular curves. In particular it has another expression as a compactified quotient of the complex upper half-plane . Geometry of the modular curve The classical modular curve, which we will call , is of degree greater than or equal to when , with equality if and only if is a prime. The polynomial has integer coefficients, and hence is defined over every field. However, the coefficients are sufficiently large that computational work with the curve can be difficult. As a polynomial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory are often best understood through the study of Complex analysis, analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Erich Hecke
Erich Hecke (20 September 1887 – 13 February 1947) was a German mathematician known for his work in number theory and the theory of modular forms. Biography Hecke was born in Buk, Province of Posen, German Empire (now Poznań, Poland). He obtained his doctorate in Göttingen under the supervision of David Hilbert. Kurt Reidemeister and Heinrich Behnke were among his students. In 1933 Hecke signed the '' Loyalty Oath of German Professors to Adolf Hitler and the National Socialist State''. Hecke died in Copenhagen, Denmark. André Weil, in the foreword to his text Basic Number Theory says: "To improve upon Hecke, in a treatment along classical lines of the theory of algebraic numbers, would be a futile and impossible task", referring to Hecke's book "Lectures on the Theory of Algebraic Numbers." Research His early work included establishing the functional equation for the Dedekind zeta function, with a proof based on theta functions. The method extended to the L-functions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serge Lang
Serge Lang (; May 19, 1927 – September 12, 2005) was a French-American mathematician and activist who taught at Yale University for most of his career. He is known for his work in number theory and for his mathematics textbooks, including the influential ''Algebra''. He received the Frank Nelson Cole Prize in 1960 and was a member of the Bourbaki group. As an activist, Lang campaigned against the Vietnam War, and also successfully fought against the nomination of the political scientist Samuel P. Huntington to the National Academies of Science. Later in his life, Lang was an HIV/AIDS denialist. He claimed that HIV had not been proven to cause AIDS and protested Yale's research into HIV/AIDS. Biography and mathematical work Lang was born in Saint-Germain-en-Laye, close to Paris, in 1927. He had a twin brother who became a basketball coach and a sister who became an actress. Lang moved with his family to California as a teenager, where he graduated in 1943 from Beverly Hills H ... [...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] |
Modular Curve
In number theory and algebraic geometry, a modular curve ''Y''(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane H by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL(2, Z). The term modular curve can also be used to refer to the compactified modular curves ''X''(Γ) which are compactifications obtained by adding finitely many points (called the cusps of Γ) to this quotient (via an action on the extended complex upper-half plane). The points of a modular curve parametrize isomorphism classes of elliptic curves, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are defined either over the field of rational numbers Q or a cyclotomic field Q(ζ''n''). The latter fact and its generalization ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
J-invariant
In mathematics, Felix Klein's -invariant or function, regarded as a function of a Complex analysis, 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 function, holomorphic away from a simple pole at the Cusp (singularity), 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 (algebra), cube, also since 1728 (number), 1728 = 12^3. The given functions are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Curves
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wreath Product
In group theory, the wreath product is a special combination of two groups based on the semidirect product. It is formed by the action of one group on many copies of another group, somewhat analogous to exponentiation. Wreath products are used in the classification of permutation groups and also provide a way of constructing interesting examples of groups. Given two groups A and H (sometimes known as the ''bottom'' and ''top''), there exist two variations of the wreath product: the unrestricted wreath product A \text H and the restricted wreath product A \text H. The general form, denoted by A \text_ H or A \text_ H respectively, requires that H acts on some set \Omega; when unspecified, usually \Omega = H (a regular wreath product), though a different \Omega is sometimes implied. The two variations coincide when A, H, and \Omega are all finite. Either variation is also denoted as A \wr H (with \wr for the LaTeX symbol) or ''A'' ≀ ''H'' (Unicode U+2240). The notion ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Reciprocity
In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. Due to its subtlety, it has many formulations, but the most standard statement is: This law, together with its #q_=_±1_and_the_first_supplement, supplements, allows the easy calculation of any Legendre symbol, making it possible to determine whether there is an integer solution for any quadratic equation of the form x^2\equiv a \bmod p for an odd prime p; that is, to determine the "perfect squares" modulo p. However, this is a constructivism (mathematics), non-constructive result: it gives no help at all for finding a ''specific'' solution; for this, other methods are required. For example, in the case p\equiv 3 \bmod 4 using Euler's criterion one can give an explicit formula for the "square roots" modulo p of a quadratic residue a, namely, :\pm a^ indeed, :\left (\pm a^ \right )^2=a^=a\cdot a^\equiv a\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Line
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 (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field ''K'', commonly denoted P1(''K''), as the set of one-dimensional subspaces of a two-dimensional ''K''-vector space. This definition is a special instance of the general definition of a projective space. The projective line over the reals is a manifold; see real projective line for details. Homogeneous coordinates An arbitrary point in the projective line P1(''K'') may be represented by an equivalence class of ''homogeneous coordinates'', which take the form of a pair : _1 : x_2/mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Transformation
In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f(z) = \frac of one complex variable ''z''; here the coefficients ''a'', ''b'', ''c'', ''d'' are complex numbers satisfying ''ad'' − ''bc'' ≠ 0. Geometrically, a Möbius transformation can be obtained by first performing stereographic projection from the plane to the unit two-sphere, rotating and moving the sphere to a new location and orientation in space, and then performing stereographic projection (from the new position of the sphere) to the plane. These transformations preserve angles, map every straight line to a line or circle, and map every circle to a line or circle. The Möbius transformations are the projective transformations of the complex projective line. They form a group called the Möbius group, which is the projective linear group PGL(2,C). Together with its subgroups, it has numerous applications in mathematics and physics. Möbius transfor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Linear Group
In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space ''V'' on the associated projective space P(''V''). Explicitly, the projective linear group is the quotient group :PGL(''V'') = GL(''V'')/Z(''V'') where GL(''V'') is the general linear group of ''V'' and Z(''V'') is the subgroup of all nonzero scalar transformations of ''V''; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group. The projective special linear group, PSL, is defined analogously, as the induced action of the special linear group on the associated projective space. Explicitly: :PSL(''V'') = SL(''V'')/SZ(''V'') where SL(''V'') is the special linear group over ''V'' and SZ(''V'') is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
