Eisenstein Ideal
In mathematics, the Eisenstein ideal is an ideal in the endomorphism ring of the Jacobian variety of a modular curve, consisting roughly of elements of the Hecke algebra of Hecke operators that annihilate the Eisenstein series. It was introduced by , in studying the rational points of modular curves. An Eisenstein prime is a prime in the support of the Eisenstein ideal (this has nothing to do with primes in the Eisenstein integers). Definition Let ''N'' be a rational prime, and define :''J''0(''N'') = ''J'' as the Jacobian variety of the modular curve :''X''0(''N'') = ''X''. There are endomorphisms ''T''''l'' of ''J'' for each prime number ''l'' not dividing ''N''. These come from the Hecke operator, considered first as an algebraic correspondence on ''X'', and from there as acting on divisor classes, which gives the action on ''J''. There is also a Fricke involution ''w'' (and Atkin–Lehner involutions if ''N'' is composite). The Eisenstein ideal, in the (unital) subring ... [...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 points of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Divisor Class
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mumford). Both are derived from the notion of divisibility in the integers and algebraic number fields. Globally, every codimension-1 subvariety of projective space is defined by the vanishing of one homogeneous polynomial; by contrast, a codimension-''r'' subvariety need not be definable by only ''r'' equations when ''r'' is greater than 1. (That is, not every subvariety of projective space is a complete intersection.) Locally, every codimension-1 subvariety of a smooth variety can be defined by one equation in a neighborhood of each point. Again, the analogous statement fails for higher-codimension subvarieties. As a result of this property, much of algebraic geometry studies an arbitrary variety by analysing its codimension-1 subvarieties an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Publications Mathématiques De L'IHÉS
''Publications Mathématiques de l'IHÉS'' is a peer-reviewed mathematical journal. It is published by Springer Science+Business Media on behalf of the Institut des Hautes Études Scientifiques, with the help of the Centre National de la Recherche Scientifique. The journal was established in 1959 and was published at irregular intervals, from one to five volumes a year. It is now biannual. The editor-in-chief is Claire Voisin (Collège de France). See also *''Annals of Mathematics'' *'' Journal of the American Mathematical Society'' *''Inventiones Mathematicae ''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors ...'' External links * Back issues from 1959 to 2010 Mathematics journals Publications established in 1959 Springer Science+Business Media academic journals Biannual journal ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ramanujan Tau Function
The Ramanujan tau function, studied by , is the function \tau : \mathbb \rarr\mathbb defined by the following identity: :\sum_\tau(n)q^n=q\prod_\left(1-q^n\right)^ = q\phi(q)^ = \eta(z)^=\Delta(z), where with , \phi is the Euler function, is the Dedekind eta function, and the function is a holomorphic cusp form of weight 12 and level 1, known as the discriminant modular form (some authors, notably Apostol, write \Delta/(2\pi)^ instead of \Delta). It appears in connection to an "error term" involved in counting the number of ways of expressing an integer as a sum of 24 squares. A formula due to Ian G. Macdonald was given in . Values The first few values of the tau function are given in the following table : Ramanujan's conjectures observed, but did not prove, the following three properties of : * if (meaning that is a multiplicative function) * for prime and . * for all primes . The first two properties were proved by and the third one, called the Ramanujan conjec ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Modular Discriminant
In mathematics, the Weierstrass elliptic functions are elliptic functions that take a particularly simple form. They are named for Karl Weierstrass. This class of functions are also referred to as ℘-functions and they are usually denoted by the symbol ℘, a uniquely fancy script ''p''. They play an important role in the theory of elliptic functions. A ℘-function together with its derivative can be used to parameterize elliptic curves and they generate the field of elliptic functions with respect to a given period lattice. Symbol for Weierstrass \wp-function Definition Let \omega_1,\omega_2\in\mathbb be two complex numbers that are linearly independent over \mathbb and let \Lambda:=\mathbb\omega_1+\mathbb\omega_2:=\ be the lattice generated by those numbers. Then the \wp-function is defined as follows: \weierp(z,\omega_1,\omega_2):=\weierp(z,\Lambda) := \frac + \sum_\left(\frac 1 - \frac 1 \right). This series converges locally uniformly absolutely in \math ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Fricke Involution
In mathematics, a Fricke involution is the involution of the modular curve ''X''0(''N'') given by τ → –1/''N''τ. It is named after Robert Fricke Karl Emanuel Robert Fricke (24 September 1861 – 18 July 1930) was a German mathematician, known for his work in complex analysis, especially on elliptic, modular and automorphic functions. He was one of the main collaborators of Felix Kle .... The Fricke involution also acts on other objects associated with the modular curve, such as spaces of modular forms and the Jacobian ''J''0(''N'') of the modular curve. See also * Atkin–Lehner involution References * Modular forms {{numtheory-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Correspondence
In algebraic geometry, a correspondence between algebraic varieties ''V'' and ''W'' is a subset ''R'' of ''V''×''W'', that is closed in the Zariski topology. In set theory, a subset of a Cartesian product of two sets is called a binary relation or correspondence; thus, a correspondence here is a relation that is defined by algebraic equations. There are some important examples, even when ''V'' and ''W'' are algebraic curves: for example the Hecke operators of modular form theory may be considered as correspondences of modular curves. However, the definition of a correspondence in algebraic geometry is not completely standard. For instance, Fulton, in his book on intersection theory, uses the definition above. In literature, however, a correspondence from a variety ''X'' to a variety ''Y'' is often taken to be a subset ''Z'' of ''X''×''Y'' such that ''Z'' is finite and surjective over each component of ''X''. Note the asymmetry in this latter definition; which talks about a correspo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ideal (ring Theory)
In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any integer (even or odd) results in an even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group. Among the integers, the ideals correspond one-for-one with the non-negative integers: in this ring, every ideal is a principal ideal consisting of the multiples of a single non-negative number. However, in other rings, the ideals may not correspond directly to the ring elements, and certain properties of integers, when generalized to rings, attach more naturally to the ideals than to the elements of the ... [...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 the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hecke Operator
In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by , is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic representations. History used Hecke operators on modular forms in a paper on the special cusp form of Ramanujan, ahead of the general theory given by . Mordell proved that the Ramanujan tau function, expressing the coefficients of the Ramanujan form, : \Delta(z)=q\left(\prod_^(1-q^n)\right)^= \sum_^ \tau(n)q^n, \quad q=e^, is a multiplicative function: : \tau(mn)=\tau(m)\tau(n) \quad \text (m,n)=1. The idea goes back to earlier work of Adolf Hurwitz, who treated algebraic correspondences between modular curves which realise some individual Hecke operators. Mathematical description Hecke operators can be realized in a number of contexts. The simplest meaning is combinatorial, namely as taking for a given integer some functio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |