Matches in DBpedia 2014 for { ?s ?p 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 that annihilate the Eisenstein series. It was introduced by Barry Mazur (1977), 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). Let N be a rational prime, and defineJ0(N) = Jas the Jacobian variety of the modular curve X0(N) = X.There are endomorphisms Tl 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 of End(J) generated as a ring by the Tl, is generated as an ideal by the elements Tl − l - 1for all l not dividing N, and byw + 1.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Eisenstein_ideal abstract "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 that annihilate the Eisenstein series. It was introduced by Barry Mazur (1977), 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). Let N be a rational prime, and defineJ0(N) = Jas the Jacobian variety of the modular curve X0(N) = X.There are endomorphisms Tl 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 of End(J) generated as a ring by the Tl, is generated as an ideal by the elements Tl − l - 1for all l not dividing N, and byw + 1.".