HOME > Detail View

Detail View

Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime

Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime

Material type
단행본
Personal Author
Edixhoven, B. (Bas), 1962-. Couveignes, Jean-Marc.
Title Statement
Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime / edited by Bas Edixhoven, Jean-Marc Couveignes.
Publication, Distribution, etc
Princeton :   Princeton University Press,   c2011.  
Physical Medium
xi, 425 p. : ill. ; 24 cm.
Series Statement
Annals of mathematics studies ;176
ISBN
9780691142012 (hardback) 9780691142029 (pbk.)
요약
"Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. Their Fourier coefficients, with Ramanujan's tau-function as a typical example, have deep arithmetic significance. Prior to this book, the fastest known algorithms for computing these Fourier coefficients took exponential time, except in some special cases. The case of elliptic curves (Schoof's algorithm) was at the birth of elliptic curve cryptography around 1985. This book gives an algorithm for computing coefficients of modular forms of level one in polynomial time. For example, Ramanujan's tau of a prime number P can be computed in time bounded by a fixed power of the logarithm of P. Such fast computation of Fourier coefficients is itself based on the main result of the book: the computation, in polynomial time, of Galois representations over finite fields attached to modular forms by the Langlands program. Because these Galois representations typically have a nonsolvable image, this result is a major step forward from explicit class field theory, and it could be described as the start of the explicit Langlands program.The computation of the Galois representations uses their realization, following Shimura and Deligne, in the torsion subgroup of Jacobian varieties of modular curves. The main challenge is then to perform the necessary computations in time polynomial in the dimension of these highly nonlinear algebraic varieties. Exact computations involving systems of polynomial equations in many variables take exponential time. This is avoided by numerical approximations with a precision that suffices to derive exact results from them. Bounds for the required precision--in other words, bounds for the height of the rational numbers that describe the Galois representation to be computed--are obtained from Arakelov theory. Two types of approximations are treated: one using complex uniformization and another one using geometry over finite fields.The book begins with a concise and concrete introduction that makes its accessible to readers without an extensive background in arithmetic geometry. And the book includes a chapter that describes actual computations"--
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Galois modules (Algebra) Class field theory.
000 03661camuu2200337 a 4500
001 000045659089
005 20110802102055
008 110729s2011 njua b 001 0 eng d
010 ▼a 2010053185
020 ▼a 9780691142012 (hardback)
020 ▼a 9780691142029 (pbk.)
035 ▼a (KERIS)REF000016206174
040 ▼a DLC ▼c DLC ▼d 211009
050 0 0 ▼a QA247 ▼b .C638 2011
082 0 0 ▼a 512/.32 ▼2 22
084 ▼a 512.32 ▼2 DDCK
090 ▼a 512.32 ▼b C738
245 0 0 ▼a Computational aspects of modular forms and Galois representations : ▼b how one can compute in polynomial time the value of Ramanujan's tau at a prime / ▼c edited by Bas Edixhoven, Jean-Marc Couveignes.
260 ▼a Princeton : ▼b Princeton University Press, ▼c c2011.
300 ▼a xi, 425 p. : ▼b ill. ; ▼c 24 cm.
490 1 ▼a Annals of mathematics studies ; ▼v 176
504 ▼a Includes bibliographical references and index.
520 ▼a "Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. Their Fourier coefficients, with Ramanujan's tau-function as a typical example, have deep arithmetic significance. Prior to this book, the fastest known algorithms for computing these Fourier coefficients took exponential time, except in some special cases. The case of elliptic curves (Schoof's algorithm) was at the birth of elliptic curve cryptography around 1985. This book gives an algorithm for computing coefficients of modular forms of level one in polynomial time. For example, Ramanujan's tau of a prime number P can be computed in time bounded by a fixed power of the logarithm of P. Such fast computation of Fourier coefficients is itself based on the main result of the book: the computation, in polynomial time, of Galois representations over finite fields attached to modular forms by the Langlands program. Because these Galois representations typically have a nonsolvable image, this result is a major step forward from explicit class field theory, and it could be described as the start of the explicit Langlands program.The computation of the Galois representations uses their realization, following Shimura and Deligne, in the torsion subgroup of Jacobian varieties of modular curves. The main challenge is then to perform the necessary computations in time polynomial in the dimension of these highly nonlinear algebraic varieties. Exact computations involving systems of polynomial equations in many variables take exponential time. This is avoided by numerical approximations with a precision that suffices to derive exact results from them. Bounds for the required precision--in other words, bounds for the height of the rational numbers that describe the Galois representation to be computed--are obtained from Arakelov theory. Two types of approximations are treated: one using complex uniformization and another one using geometry over finite fields.The book begins with a concise and concrete introduction that makes its accessible to readers without an extensive background in arithmetic geometry. And the book includes a chapter that describes actual computations"-- ▼c Provided by publisher.
520 ▼a "This book represents a major step forward from explicit class field theory, and it could be described as the start of the 'explicit Langlands program'"-- ▼c Provided by publisher.
650 0 ▼a Galois modules (Algebra)
650 0 ▼a Class field theory.
700 1 ▼a Edixhoven, B. ▼q (Bas), ▼d 1962-.
700 1 ▼a Couveignes, Jean-Marc.
830 0 ▼a Annals of mathematics studies ; ▼v 176.
945 ▼a KLPA

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 512.32 C738 Accession No. 121211655 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields