Constructing Class invariants

Similar documents
Finite Fields and Their Applications

Computers and Mathematics with Applications. Ramanujan s class invariants and their use in elliptic curve cryptography

Modular forms and the Hilbert class field

Some algebraic number theory and the reciprocity map

COUNTING MOD l SOLUTIONS VIA MODULAR FORMS

x mv = 1, v v M K IxI v = 1,

Class invariants for quartic CM-fields

Applications of Complex Multiplication of Elliptic Curves

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

20 The modular equation

Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +

20 The modular equation

Page Points Possible Points. Total 200

The j-function, the golden ratio, and rigid meromorphic cocycles

FIELD THEORY. Contents

Primes, Polynomials, Progressions. B.Sury Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

Outline of the Seminar Topics on elliptic curves Saarbrücken,

CLASS FIELD THEORY NOTES

Projects on elliptic curves and modular forms

CLASS FIELD THEORY AND COMPLEX MULTIPLICATION FOR ELLIPTIC CURVES

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

The Inverse Galois Problem David P. Roberts University of Minnesota, Morris

ON 2-CLASS FIELD TOWERS OF SOME IMAGINARY QUADRATIC NUMBER FIELDS

Galois groups with restricted ramification

Equations for Hilbert modular surfaces

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Igusa Class Polynomials

IN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort

Field Theory Qual Review

Addition sequences and numerical evaluation of modular forms

CLASS FIELD THEORY WEEK Motivation

15 Elliptic curves and Fermat s last theorem

Topological and arithmetic intersection numbers attached to real quadratic cycles

Introduction to Modular Forms

IUPUI Qualifying Exam Abstract Algebra

Algebraic values of complex functions

Class invariants by the CRT method

Algebra Qualifying Exam Solutions. Thomas Goller

Graduate Preliminary Examination

Cusp forms and the Eichler-Shimura relation

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

Algebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9

Class Field Theory. Anna Haensch. Spring 2012

The Kronecker-Weber Theorem

Igusa class polynomials

A BRIEF INTRODUCTION TO LOCAL FIELDS

Overview. exp(2πiq(x)z) x Z m

Normalizers of non-split Cartan subgroups, modular curves, and. the class number one problem

The Arithmetic of Elliptic Curves

Twists and residual modular Galois representations

HISTORY OF CLASS FIELD THEORY

8430 HANDOUT 6: PROOF OF THE MAIN THEOREM

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti

TORSION AND TAMAGAWA NUMBERS

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Profinite Groups. Hendrik Lenstra. 1. Introduction

SPECIAL VALUES OF j-function WHICH ARE ALGEBRAIC

Are ζ-functions able to solve Diophantine equations?

Algebraic proofs of Dirichlet s theorem on arithmetic progressions

Residual modular Galois representations: images and applications

Galois Representations

Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms

Primes of the Form x 2 + ny 2

p-adic fields Chapter 7

Twisted L-Functions and Complex Multiplication

Elliptic Curves Spring 2015 Problem Set #10 Due: 4/24/2015

Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups

CLASS FIELD THEORY FOR NUMBER FIELDS AND COMPLEX MULTIPLICATION

CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker

Solutions of exercise sheet 11

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

Differential equations concerned with mirror symmetry of toric K3 hypersurfaces with arithmetic properties. Atsuhira Nagano (University of Tokyo)

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

Congruence Subgroups

On the zeros of certain modular forms

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS

Chern numbers and Hilbert Modular Varieties

CYCLOTOMIC FIELDS CARL ERICKSON

Math Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013

Public-key Cryptography: Theory and Practice

HISTORY OF CLASS FIELD THEORY

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

Name: Solutions Final Exam

AN INTRODUCTION TO ELLIPTIC CURVES

Explicit Methods in Algebraic Number Theory

When 2 and 3 are invertible in A, L A is the scheme

On the equality case of the Ramanujan Conjecture for Hilbert modular forms

Arithmetic properties of harmonic weak Maass forms for some small half integral weights

Representation of prime numbers by quadratic forms

The Splitting of Primes in Division Fields of Elliptic Curves

Real Analysis Prelim Questions Day 1 August 27, 2013

Algebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.

14 Ordinary and supersingular elliptic curves

On the modular curve X 0 (23)

Don Zagier s work on singular moduli

Elliptic Curve Primality Proving

Quaternions and Arithmetic. Colloquium, UCSD, October 27, 2005

Curves, Cryptography, and Primes of the Form x 2 + y 2 D

Genus 2 Curves of p-rank 1 via CM method

Transcription:

Constructing Class invariants Aristides Kontogeorgis Department of Mathematics University of Athens. Workshop Thales 1-3 July 2015 :Algebraic modeling of topological and computational structures and applications, 1/50

Contents Elliptic Curves Number Fields Modular functions Galois cohomology Examples, 2/50

Elliptic Curve An elliptic curve defined over a field K of characteristic p > 3 is a curve given by the the equation E : y 2 = x 3 + ax + b such that 4a 3 + 27b 2 0. The set of points E(K) together with a point at infinity is an abelian group., 3/50

Elliptic Curve An elliptic curve defined over a field K of characteristic p > 3 is a curve given by the the equation E : y 2 = x 3 + ax + b such that 4a 3 + 27b 2 0. The set of points E(K) together with a point at infinity is an abelian group., 3/50

Elliptic curves defined over finite fields The set of points E(F p ) form a finite abelian group. The following bound holds #E(F p ) q + 1 a r q + 1 + 2 q. Discrete logarithm problem Given elements P, Q on an abelian group so that np = Q. Find n. This is a difficult problem, we have to try all possible n, until we find the correct one. Abelian groups are usualy: F p r, E. Even if the abelian group has a big order then is can be a product of small factors like (Z/2Z) n and the discrete logarithm problem is easy. For the elliptic curve cases, the discrete logarithm problem is difficult if the order of the group has order a prime number, therefore it a cyclic group., 4/50

Elliptic curves defined over finite fields The set of points E(F p ) form a finite abelian group. The following bound holds #E(F p ) q + 1 a r q + 1 + 2 q. Discrete logarithm problem Given elements P, Q on an abelian group so that np = Q. Find n. This is a difficult problem, we have to try all possible n, until we find the correct one. Abelian groups are usualy: F p r, E. Even if the abelian group has a big order then is can be a product of small factors like (Z/2Z) n and the discrete logarithm problem is easy. For the elliptic curve cases, the discrete logarithm problem is difficult if the order of the group has order a prime number, therefore it a cyclic group., 4/50

Elliptic curves defined over finite fields The set of points E(F p ) form a finite abelian group. The following bound holds #E(F p ) q + 1 a r q + 1 + 2 q. Discrete logarithm problem Given elements P, Q on an abelian group so that np = Q. Find n. This is a difficult problem, we have to try all possible n, until we find the correct one. Abelian groups are usualy: F p r, E. Even if the abelian group has a big order then is can be a product of small factors like (Z/2Z) n and the discrete logarithm problem is easy. For the elliptic curve cases, the discrete logarithm problem is difficult if the order of the group has order a prime number, therefore it a cyclic group., 4/50

Elliptic curves defined over finite fields The set of points E(F p ) form a finite abelian group. The following bound holds #E(F p ) q + 1 a r q + 1 + 2 q. Discrete logarithm problem Given elements P, Q on an abelian group so that np = Q. Find n. This is a difficult problem, we have to try all possible n, until we find the correct one. Abelian groups are usualy: F p r, E. Even if the abelian group has a big order then is can be a product of small factors like (Z/2Z) n and the discrete logarithm problem is easy. For the elliptic curve cases, the discrete logarithm problem is difficult if the order of the group has order a prime number, therefore it a cyclic group., 4/50

Elliptic curves defined over finite fields The set of points E(F p ) form a finite abelian group. The following bound holds #E(F p ) q + 1 a r q + 1 + 2 q. Discrete logarithm problem Given elements P, Q on an abelian group so that np = Q. Find n. This is a difficult problem, we have to try all possible n, until we find the correct one. Abelian groups are usualy: F p r, E. Even if the abelian group has a big order then is can be a product of small factors like (Z/2Z) n and the discrete logarithm problem is easy. For the elliptic curve cases, the discrete logarithm problem is difficult if the order of the group has order a prime number, therefore it a cyclic group., 4/50

Construct prime order elliptic curves 1. Randomly: Select random elliptic curves until we hit one with the correct order. 2. Complex multiplication method. We will focus on the second method, 5/50

Elliptic curves as quotients of the complex numbers Every elliptic curve over C is a quotient of the universal covering space C modulo a discrete subgroup - lattice L = Z + τz, I(τ) > 0. Lettices L, L give the same elliptic curves if and only if τ = aτ + b ( ) a b cτ + b, SL(2, Z). c d The quotient map H SL(2, Z)\H = C is called the j-invariant. It is a SL(2, Z)- invariant function hence periodic. It admits a Fourier expansion at q = e 2πiτ, j(τ) = 1 q + 744 + 196884q + 21493760q2 + 864299970q 3 +, 6/50

Elliptic curves as quotients of the complex numbers Every elliptic curve over C is a quotient of the universal covering space C modulo a discrete subgroup - lattice L = Z + τz, I(τ) > 0. Lettices L, L give the same elliptic curves if and only if τ = aτ + b ( ) a b cτ + b, SL(2, Z). c d The quotient map H SL(2, Z)\H = C is called the j-invariant. It is a SL(2, Z)- invariant function hence periodic. It admits a Fourier expansion at q = e 2πiτ, j(τ) = 1 q + 744 + 196884q + 21493760q2 + 864299970q 3 +, 6/50

Elliptic curves as quotients of the complex numbers Every elliptic curve over C is a quotient of the universal covering space C modulo a discrete subgroup - lattice L = Z + τz, I(τ) > 0. Lettices L, L give the same elliptic curves if and only if τ = aτ + b ( ) a b cτ + b, SL(2, Z). c d The quotient map H SL(2, Z)\H = C is called the j-invariant. It is a SL(2, Z)- invariant function hence periodic. It admits a Fourier expansion at q = e 2πiτ, j(τ) = 1 q + 744 + 196884q + 21493760q2 + 864299970q 3 +, 6/50

j-invariant Remarks: The coefficients of the Fourier expansion are integers. They are related to the dimensions of the irreducible representations of the Monster, the bigest sporadic simple group with order 808017424794512875886459904961710757005754368000000000., 7/50

Number fields A number field is a finite extension of the field Q, i.e. a field K = Q[x]/f(x), where f(x) is an irreducible polynomial of Q[x]. The ring of algebraic integers O is the ring consisted of elements O = {x K : such that x is a root of a monic polynomial f(x) Z[x]}. The ring O in not a unique factorization domain but it is a Dedekind ring: every ideal is decomposed uniquely as a product of prime ideals. I = P e1 1 Per r., 8/50

Number fields A number field is a finite extension of the field Q, i.e. a field K = Q[x]/f(x), where f(x) is an irreducible polynomial of Q[x]. The ring of algebraic integers O is the ring consisted of elements O = {x K : such that x is a root of a monic polynomial f(x) Z[x]}. The ring O in not a unique factorization domain but it is a Dedekind ring: every ideal is decomposed uniquely as a product of prime ideals. I = P e1 1 Per r., 8/50

Number fields A number field is a finite extension of the field Q, i.e. a field K = Q[x]/f(x), where f(x) is an irreducible polynomial of Q[x]. The ring of algebraic integers O is the ring consisted of elements O = {x K : such that x is a root of a monic polynomial f(x) Z[x]}. The ring O in not a unique factorization domain but it is a Dedekind ring: every ideal is decomposed uniquely as a product of prime ideals. I = P e1 1 Per r., 8/50

Class group We consider the semigroup of ideals of O, which is enlarged to a group adding fractional ideals. These are abelian additive subgroups I of the number field K, such that for some x O the set xi is an ideal of the ring O. In this way we construct the group of fractional ideals I(O). Example: The fractional ideals of Z are the elements m Z, m, n Z. n We also consider the subgroup PI(O) of principal fractional ideals ao, where a K. The quotient is the class group Cl(O) = I(O) PI(O). One can show that the class group is a finite group., 9/50

Class group We consider the semigroup of ideals of O, which is enlarged to a group adding fractional ideals. These are abelian additive subgroups I of the number field K, such that for some x O the set xi is an ideal of the ring O. In this way we construct the group of fractional ideals I(O). Example: The fractional ideals of Z are the elements m Z, m, n Z. n We also consider the subgroup PI(O) of principal fractional ideals ao, where a K. The quotient is the class group Cl(O) = I(O) PI(O). One can show that the class group is a finite group., 9/50

Class group We consider the semigroup of ideals of O, which is enlarged to a group adding fractional ideals. These are abelian additive subgroups I of the number field K, such that for some x O the set xi is an ideal of the ring O. In this way we construct the group of fractional ideals I(O). Example: The fractional ideals of Z are the elements m Z, m, n Z. n We also consider the subgroup PI(O) of principal fractional ideals ao, where a K. The quotient is the class group Cl(O) = I(O) PI(O). One can show that the class group is a finite group., 9/50

Class group We consider the semigroup of ideals of O, which is enlarged to a group adding fractional ideals. These are abelian additive subgroups I of the number field K, such that for some x O the set xi is an ideal of the ring O. In this way we construct the group of fractional ideals I(O). Example: The fractional ideals of Z are the elements m Z, m, n Z. n We also consider the subgroup PI(O) of principal fractional ideals ao, where a K. The quotient is the class group Cl(O) = I(O) PI(O). One can show that the class group is a finite group., 9/50

Ramification) Consider an extension of number fields L/K. A prime ideal P of O K can be seen as an ideal of O L by scalar extension PO L. It does not remain prime so it can be written as PO L = Q e1 1 Qer r, where Q i are prime ideals of O L. If all e i = 1 then we will say that P is not ramified in the exension L/K. If no ideal is ramified then the extension is called unramified., 10/50

Ramification) Consider an extension of number fields L/K. A prime ideal P of O K can be seen as an ideal of O L by scalar extension PO L. It does not remain prime so it can be written as PO L = Q e1 1 Qer r, where Q i are prime ideals of O L. If all e i = 1 then we will say that P is not ramified in the exension L/K. If no ideal is ramified then the extension is called unramified., 10/50

Ramification) Consider an extension of number fields L/K. A prime ideal P of O K can be seen as an ideal of O L by scalar extension PO L. It does not remain prime so it can be written as PO L = Q e1 1 Qer r, where Q i are prime ideals of O L. If all e i = 1 then we will say that P is not ramified in the exension L/K. If no ideal is ramified then the extension is called unramified., 10/50

Hilber class field Theorem For every number field there is a Galois extension H K defined to be the maximal unramified abelian extension of. For the Galois group is the class group of K Gal(H K /K) = Cl(O K ). The field H K is called the Hilbert s class field. Remarks: Unramified extensions in Riemann surface theory correspond to topological coverings. Fields with class group Cl(O K ) = {1} canot have unramified covers therefore are in some sence simply connected. For example Q simply connected. In this direction: The fact that every ideal of Z is principal is the number theoretical analogon to the topological theorem: every vector bundle over simply connected manifold is globaly trivial. The group Cl(O K ) = π 1 (SpecO K ) ab = H 1 (SpecO K )., 11/50

Hilber class field Theorem For every number field there is a Galois extension H K defined to be the maximal unramified abelian extension of. For the Galois group is the class group of K Gal(H K /K) = Cl(O K ). The field H K is called the Hilbert s class field. Remarks: Unramified extensions in Riemann surface theory correspond to topological coverings. Fields with class group Cl(O K ) = {1} canot have unramified covers therefore are in some sence simply connected. For example Q simply connected. In this direction: The fact that every ideal of Z is principal is the number theoretical analogon to the topological theorem: every vector bundle over simply connected manifold is globaly trivial. The group Cl(O K ) = π 1 (SpecO K ) ab = H 1 (SpecO K )., 11/50

D. Hilbert, 12/50

Construction of the Hilbert class field Suppose that K = Q( d), d > 0 with d square free. We compute that { Z[ d] if d 2, 3 mod4 O K = Z[ 1+ d ] if d 1 mod4 2 We will show soon that these are the endomorphisms of an elliptic curve with complex multiplication., 13/50

The class group of an imaginary quadratic field Quadratic forms of discriminant D ax 2 + bxy + cy 2 ; b 2 4ac = D, a, b, c Z (a, b, c) = 1 K.F. Gauss Disquisitiones Arithmeticae. We will say that two quadratic forms are equivalent if there is an element in SL(2, Z) sending one to the other. The equivalence classes are in one to one corespondence to the class group and they can computed easily since a full set of representatives is given by elements (a, b, c) such that D b a 3, a c, (a, b, c) = 1, b2 4ac = D if b = a or a = c then b 0., 14/50

The class group of an imaginary quadratic field Quadratic forms of discriminant D ax 2 + bxy + cy 2 ; b 2 4ac = D, a, b, c Z (a, b, c) = 1 K.F. Gauss Disquisitiones Arithmeticae. We will say that two quadratic forms are equivalent if there is an element in SL(2, Z) sending one to the other. The equivalence classes are in one to one corespondence to the class group and they can computed easily since a full set of representatives is given by elements (a, b, c) such that D b a 3, a c, (a, b, c) = 1, b2 4ac = D if b = a or a = c then b 0., 14/50

The class group of an imaginary quadratic field Quadratic forms of discriminant D ax 2 + bxy + cy 2 ; b 2 4ac = D, a, b, c Z (a, b, c) = 1 K.F. Gauss Disquisitiones Arithmeticae. We will say that two quadratic forms are equivalent if there is an element in SL(2, Z) sending one to the other. The equivalence classes are in one to one corespondence to the class group and they can computed easily since a full set of representatives is given by elements (a, b, c) such that D b a 3, a c, (a, b, c) = 1, b2 4ac = D if b = a or a = c then b 0., 14/50

K.F. Gauss, 15/50

Complex multiplication We consider the ring of endomorphisms of an elliptic curve. In most of the cases End(E) = Z. [n] : E E P np There are cases where End(E) is an order in an imaginary quadratic field. For example End(C/Z[i]) = Z[i]. Finite fields Frobenious endomorphism Frobenious F : x x p is an element in End(E). It satisfies a characteristic polynomial x 2 tr(f)x + q = 0. N p = p + 1 ± tr(f), 16/50

Complex multiplication We consider the ring of endomorphisms of an elliptic curve. In most of the cases End(E) = Z. [n] : E E P np There are cases where End(E) is an order in an imaginary quadratic field. For example End(C/Z[i]) = Z[i]. Finite fields Frobenious endomorphism Frobenious F : x x p is an element in End(E). It satisfies a characteristic polynomial x 2 tr(f)x + q = 0. N p = p + 1 ± tr(f), 16/50

Complex multiplication We consider the ring of endomorphisms of an elliptic curve. In most of the cases End(E) = Z. [n] : E E P np There are cases where End(E) is an order in an imaginary quadratic field. For example End(C/Z[i]) = Z[i]. Finite fields Frobenious endomorphism Frobenious F : x x p is an element in End(E). It satisfies a characteristic polynomial x 2 tr(f)x + q = 0. N p = p + 1 ± tr(f), 16/50

Complex mutliplication theorem theorem Consider τ H, which is a root of a monic polynomial in Z[x] of degree 2. We set E τ = C/(Z + τz). Then 1. End(E τ ) = E τ. 2. j(τ) = j(e τ ) is an algebraic integer. Its irreducible polynomial is given by the equation ( ( )) b + D H D (x) = x j Z[x]. 2a [a,b,c] CL(K) 3. The element j(τ) generates the Hilber class field., 17/50

Kronecker s Jugendtraum or Hilbert s twelfth problem Kronecker-Weber theorem Every abelian extension is a subfield of a cyclotomic Q ( ( )) 2πi exp n. Kronecker s Jugendtraum Produce Hilbert s class fields as special values of complex functions. What is known? Complex multiplication for elliptic curves. Generalization of imaginary quadratic extensions CM-fields and abelian varieties with complex multiplication (Shimura)., 18/50

Kronecker s Jugendtraum or Hilbert s twelfth problem Kronecker-Weber theorem Every abelian extension is a subfield of a cyclotomic Q ( ( )) 2πi exp n. Kronecker s Jugendtraum Produce Hilbert s class fields as special values of complex functions. What is known? Complex multiplication for elliptic curves. Generalization of imaginary quadratic extensions CM-fields and abelian varieties with complex multiplication (Shimura)., 18/50

Kronecker s Jugendtraum or Hilbert s twelfth problem Kronecker-Weber theorem Every abelian extension is a subfield of a cyclotomic Q ( ( )) 2πi exp n. Kronecker s Jugendtraum Produce Hilbert s class fields as special values of complex functions. What is known? Complex multiplication for elliptic curves. Generalization of imaginary quadratic extensions CM-fields and abelian varieties with complex multiplication (Shimura)., 18/50

Elliptic curve construction 1. We have to construct the j-invariant. 2. By Hasse bound we have that Z := 4p (p + 1 m) 2 0 Z = Dv 2. 3. The equation 4. 4p = u 2 + Dv 2 for some u satisfies m = p + 1 ± u. The negative number D is called CM-discriminatnt for the prime p x 2 tr(f)x + p = tr(f) 2 4p = Dv 2., 19/50

Elliptic curve construction 1. We have to construct the j-invariant. 2. By Hasse bound we have that Z := 4p (p + 1 m) 2 0 Z = Dv 2. 3. The equation 4. 4p = u 2 + Dv 2 for some u satisfies m = p + 1 ± u. The negative number D is called CM-discriminatnt for the prime p x 2 tr(f)x + p = tr(f) 2 4p = Dv 2., 19/50

Elliptic curve construction 1. We have to construct the j-invariant. 2. By Hasse bound we have that Z := 4p (p + 1 m) 2 0 Z = Dv 2. 3. The equation 4. 4p = u 2 + Dv 2 for some u satisfies m = p + 1 ± u. The negative number D is called CM-discriminatnt for the prime p x 2 tr(f)x + p = tr(f) 2 4p = Dv 2., 19/50

Elliptic curve construction 1. We have to construct the j-invariant. 2. By Hasse bound we have that Z := 4p (p + 1 m) 2 0 Z = Dv 2. 3. The equation 4. 4p = u 2 + Dv 2 for some u satisfies m = p + 1 ± u. The negative number D is called CM-discriminatnt for the prime p x 2 tr(f)x + p = tr(f) 2 4p = Dv 2., 19/50

Reduction of elliptic curve modulo modp (C) τ End(E(C)) j is a root of H D (x) Z[x] (F p ) F End(E(F p )) j is a root of H D (x) modp F p [x], 20/50

Elliptic curve construction 1. Select a prime p. Select the smallest D together with u, v Z such that 4p = u 2 + Dv 2. 2. If one of p + 1 u, p + 1 + u has order a prime number we proceed to elliptic curve construction. If not we try a different p. 3. Compute the Hilbert polynomial H D (x) Z[x] using the values of the j-invariant. Next compute the polynomial H D (x) modp. One root if the j invariant we are looking for which can be given by (for j 0, 1728) y 2 = x 3 + 3kc 2 x + 2kc 3, k = j/(1728 j), c F p, 21/50

There is a problem! The coefficients of the Hilbert polynomial grow very fast The Hilbert polynomial for Q( 299) is: x 8 + 391086320728105978429440x 7 28635280874816126174326167699456x 6 +2094055410006322146651491130721133658112x 5 186547260770756829961971675685151791296544768x 4 +6417141278133218665289808655954275181523718111232x 3 19207839443594488822936988943836177115227877227364352x 2 +45797528808215150136248975363201860724351225694802411520x 18273883965326272223717626628647422907813731016193733558272, 22/50

Alternative method for computing the Hilbert class field. Dedekind s η-function ( ) 2πiτ η(τ) = exp (1 q n ), q = exp(2πiτ), τ H. 24 n=1 which leads to the Weber functions: τ+1 πi/24 η( 2 f(z) = e ) η(τ), f 1(τ) = η( τ ) 2 η(τ), f 2(τ) = 2 η(2τ) η(τ). Which can also producte the Hilbert class field (D. Zagier- N. Yui). What is special about them? They are modular functions, 23/50

Alternative method for computing the Hilbert class field. Dedekind s η-function ( ) 2πiτ η(τ) = exp (1 q n ), q = exp(2πiτ), τ H. 24 n=1 which leads to the Weber functions: τ+1 πi/24 η( 2 f(z) = e ) η(τ), f 1(τ) = η( τ ) 2 η(τ), f 2(τ) = 2 η(2τ) η(τ). Which can also producte the Hilbert class field (D. Zagier- N. Yui). What is special about them? They are modular functions, 23/50

Alternative method for computing the Hilbert class field. Dedekind s η-function ( ) 2πiτ η(τ) = exp (1 q n ), q = exp(2πiτ), τ H. 24 n=1 which leads to the Weber functions: τ+1 πi/24 η( 2 f(z) = e ) η(τ), f 1(τ) = η( τ ) 2 η(τ), f 2(τ) = 2 η(2τ) η(τ). Which can also producte the Hilbert class field (D. Zagier- N. Yui). What is special about them? They are modular functions, 23/50

D. Zagier - N. Yui, 24/50

Modular functions of level N We consider the group { ( ) } a b Γ(N) = A := SL(2, Z) with A I 2 modn. c d The quotient space Γ(N)\H is a Riemann surfacey(n) which can be compactified to a compact Riemann surface X(N) adding some points on the line Im(s) = 0. The meromorphic functions on X(N) are called modular functions of level N. The Riemann surfaces X(N) correspond to algebraic curves defined over the field Q(ζ N )). The Fourier expansions of modular functions of level N have coefficients in Q(ζ N )., 25/50

Modular functions of level N We consider the group { ( ) } a b Γ(N) = A := SL(2, Z) with A I 2 modn. c d The quotient space Γ(N)\H is a Riemann surfacey(n) which can be compactified to a compact Riemann surface X(N) adding some points on the line Im(s) = 0. The meromorphic functions on X(N) are called modular functions of level N. The Riemann surfaces X(N) correspond to algebraic curves defined over the field Q(ζ N )). The Fourier expansions of modular functions of level N have coefficients in Q(ζ N )., 25/50

Modular functions of level N We consider the group { ( ) } a b Γ(N) = A := SL(2, Z) with A I 2 modn. c d The quotient space Γ(N)\H is a Riemann surfacey(n) which can be compactified to a compact Riemann surface X(N) adding some points on the line Im(s) = 0. The meromorphic functions on X(N) are called modular functions of level N. The Riemann surfaces X(N) correspond to algebraic curves defined over the field Q(ζ N )). The Fourier expansions of modular functions of level N have coefficients in Q(ζ N )., 25/50

Modular functions of level N We consider the group { ( ) } a b Γ(N) = A := SL(2, Z) with A I 2 modn. c d The quotient space Γ(N)\H is a Riemann surfacey(n) which can be compactified to a compact Riemann surface X(N) adding some points on the line Im(s) = 0. The meromorphic functions on X(N) are called modular functions of level N. The Riemann surfaces X(N) correspond to algebraic curves defined over the field Q(ζ N )). The Fourier expansions of modular functions of level N have coefficients in Q(ζ N )., 25/50

Modular functions of level N 8, 26/50

M. Eichler There are five elementary arithmetical operations: addition, subtraction, multiplication, division, and modular forms., 27/50

Shimura reciprocity law Theorem Let O = Z[θ] be the ring of algebraic integers of the imaginary quadratic field K, and x 2 + Bx + C the minimal polynomial of θ. We consider a natural number N > 1 and x 1,..., x n the generators of the group (O/NO), x i = a i + b i θ Z[θ]. We also consider the matrix ( ) ai Bb A i = i Cb i. b i If f is a modular function of level N and for all matrices A i we have a i f(θ) = f Ai (θ), Q(j) Q(θ), then f(θ) generates the Hilbert class field., 28/50

G. Shimura - P. Stevenhagen - A. Gee, 29/50

S. Ramanujan t n = 3 η(3τn)η( 1 τn+ 2 ) 3 3 η 2 (τ, n) τ n = 1 + 2 i n, n 11 mod24 2 n p n (t) 11 t 1 35 t 2 + 1 1 59 t 3 + 2t 1 83 t 3 + 2t 2 + 2t 1 107 t 3 2t 2 + 4t 1 Claim p n generate the Hilbert class field., 30/50

S. Ramanujan t n = 3 η(3τn)η( 1 τn+ 2 ) 3 3 η 2 (τ, n) τ n = 1 + 2 i n, n 11 mod24 2 n p n (t) 11 t 1 35 t 2 + 1 1 59 t 3 + 2t 1 83 t 3 + 2t 2 + 2t 1 107 t 3 2t 2 + 4t 1 Claim p n generate the Hilbert class field., 30/50

S. Ramanujan t n = 3 η(3τn)η( 1 τn+ 2 ) 3 3 η 2 (τ, n) τ n = 1 + 2 i n, n 11 mod24 2 n p n (t) 11 t 1 35 t 2 + 1 1 59 t 3 + 2t 1 83 t 3 + 2t 2 + 2t 1 107 t 3 2t 2 + 4t 1 Claim p n generate the Hilbert class field., 30/50

B. Berndt & Heng Huat Chan, 31/50

B. Berndt & Heng Huat Chan They proved that Ramanujan was right and they asked how polynomials for other values of n can be constructed E. Konstantinou and A.K. answered this question p 299 (x) = x 8 + x 7 x 6 12x 5 + 16x 4 12x 3 + 15x 2 13x + 1., 32/50

E. Konstantinou, 33/50

H.H. Chan, 34/50

Can we find new invariants? Shimura s reciprocity law allows us to verify that a modular function generates the Hilbert s class field. Can we construct such modular functions? All known such invariants came out from extremely talented Mathematicians., 35/50

Can we find new invariants? Shimura s reciprocity law allows us to verify that a modular function generates the Hilbert s class field. Can we construct such modular functions? All known such invariants came out from extremely talented Mathematicians., 35/50

Invariants for common people We can construct finitely dimensional vector spaces V consisted of modular functions of level N such ( that ) GL(2, Z/NZ) is acting on V. We 1 0 write a GL(2, Z/NZ) as b, d Z/NZ and 0 d b SL(2, Z/NZ). ( ) 0 1 The group SL(2, Z/NZ) is generated by the elements S = 1 0 ( ) 1 1 end T =. 0 1 The action of S on functions g V is defined by g S = g( 1/z) V and the action of T by g T = g(z + 1) V., 36/50

Invariants for common people We can construct finitely dimensional vector spaces V consisted of modular functions of level N such ( that ) GL(2, Z/NZ) is acting on V. We 1 0 write a GL(2, Z/NZ) as b, d Z/NZ and 0 d b SL(2, Z/NZ). ( ) 0 1 The group SL(2, Z/NZ) is generated by the elements S = 1 0 ( ) 1 1 end T =. 0 1 The action of S on functions g V is defined by g S = g( 1/z) V and the action of T by g T = g(z + 1) V., 36/50

Invariants for common people We can construct finitely dimensional vector spaces V consisted of modular functions of level N such ( that ) GL(2, Z/NZ) is acting on V. We 1 0 write a GL(2, Z/NZ) as b, d Z/NZ and 0 d b SL(2, Z/NZ). ( ) 0 1 The group SL(2, Z/NZ) is generated by the elements S = 1 0 ( ) 1 1 end T =. 0 1 The action of S on functions g V is defined by g S = g( 1/z) V and the action of T by g T = g(z + 1) V., 36/50

Invariants for common people We can construct finitely dimensional vector spaces V consisted of modular functions of level N such ( that ) GL(2, Z/NZ) is acting on V. We 1 0 write a GL(2, Z/NZ) as b, d Z/NZ and 0 d b SL(2, Z/NZ). ( ) 0 1 The group SL(2, Z/NZ) is generated by the elements S = 1 0 ( ) 1 1 end T =. 0 1 The action of S on functions g V is defined by g S = g( 1/z) V and the action of T by g T = g(z + 1) V., 36/50

Actions ( ) 1 0 Finaly the action is given by the action of elements 0 d σ d Gal(Q(ζ N )/Q) on Fourier coefficients. Since every element in SL(2, Z/NZ) is a word in S, T we have a function ρ ( O ) NO ρ φ GL(2, Z/NZ) GL(V), (1) where φ is the natural homomorphisms., 37/50

Actions ( ) 1 0 Finaly the action is given by the action of elements 0 d σ d Gal(Q(ζ N )/Q) on Fourier coefficients. Since every element in SL(2, Z/NZ) is a word in S, T we have a function ρ ( O ) NO ρ φ GL(2, Z/NZ) GL(V), (1) where φ is the natural homomorphisms., 37/50

Cocylces The function ρ as it is defined is not a homomorphism, but it satisfies the cocycle condition ρ(στ) = ρ(τ)ρ(σ) τ (2) and gives rise to a class in H 1 (G, GL(V)), where G = (O/NO). The restriction of ρ on the subgroup H = ker φ G defined as is a homomorphism. H := {x G : det(φ(x)) = 1}, 38/50

Cocylces The function ρ as it is defined is not a homomorphism, but it satisfies the cocycle condition ρ(στ) = ρ(τ)ρ(σ) τ (2) and gives rise to a class in H 1 (G, GL(V)), where G = (O/NO). The restriction of ρ on the subgroup H = ker φ G defined as is a homomorphism. H := {x G : det(φ(x)) = 1}, 38/50

Invariant Theory Select a basis e 1,..., e m of V Invariant theory gives us effective methods (Reynolds operator, diagonalization) for computing the ring of invariants Q(ζ N )[e 1,..., e m ] H. We select the vector space V n of invariant polynomials of degree n. The action of G/H on V n gives a cocycle ρ H 1 (Gal(Q(ζ N ))/Q), GL(V n )). Multidimensional Hilbert s 90 theorem gives us the existence of P GL(V n ) so that ρ (σ) = P 1 P σ. (3), 39/50

Invariant Theory Select a basis e 1,..., e m of V Invariant theory gives us effective methods (Reynolds operator, diagonalization) for computing the ring of invariants Q(ζ N )[e 1,..., e m ] H. We select the vector space V n of invariant polynomials of degree n. The action of G/H on V n gives a cocycle ρ H 1 (Gal(Q(ζ N ))/Q), GL(V n )). Multidimensional Hilbert s 90 theorem gives us the existence of P GL(V n ) so that ρ (σ) = P 1 P σ. (3), 39/50

Invariant Theory Select a basis e 1,..., e m of V Invariant theory gives us effective methods (Reynolds operator, diagonalization) for computing the ring of invariants Q(ζ N )[e 1,..., e m ] H. We select the vector space V n of invariant polynomials of degree n. The action of G/H on V n gives a cocycle ρ H 1 (Gal(Q(ζ N ))/Q), GL(V n )). Multidimensional Hilbert s 90 theorem gives us the existence of P GL(V n ) so that ρ (σ) = P 1 P σ. (3), 39/50

Computing P Modified version of Glasby-Howlett probabilistic algorithm B Q := σ G/H ρ(σ)q σ. (4) If we find a 2 2 matrix in GL(2, Q(ζ N )) so that B Q is invertible, then P := B 1 Q. Since non invertible matrices are rare (they form a Zariski closed set in the space of matrices) finding such an invertible matrix is easy. The first random choice for Q always worked!, 40/50

Computing P Modified version of Glasby-Howlett probabilistic algorithm B Q := σ G/H ρ(σ)q σ. (4) If we find a 2 2 matrix in GL(2, Q(ζ N )) so that B Q is invertible, then P := B 1 Q. Since non invertible matrices are rare (they form a Zariski closed set in the space of matrices) finding such an invertible matrix is easy. The first random choice for Q always worked!, 40/50

Computing P Modified version of Glasby-Howlett probabilistic algorithm B Q := σ G/H ρ(σ)q σ. (4) If we find a 2 2 matrix in GL(2, Q(ζ N )) so that B Q is invertible, then P := B 1 Q. Since non invertible matrices are rare (they form a Zariski closed set in the space of matrices) finding such an invertible matrix is easy. The first random choice for Q always worked!, 40/50

Examples Generalized Weber functions g 0, g 1, g 2, g 3 g 0 (τ) = η( τ ) 3 η(τ), g η( τ+1 1(τ) = ζ ) 1 3 24 η(τ), g 2 (τ) = They are modular functions of level 72. η( τ+2 3 ) η(τ), g 3(τ) = 3 η(3τ) η(τ),, 41/50

Examples Generalized Weber functions g 0, g 1, g 2, g 3 g 0 (τ) = η( τ ) 3 η(τ), g η( τ+1 1(τ) = ζ ) 1 3 24 η(τ), g 2 (τ) = They are modular functions of level 72. η( τ+2 3 ) η(τ), g 3(τ) = 3 η(3τ) η(τ),, 41/50

Example For n = 571 the group H has order 144 and G has order 3456. We compute that the polynomials I 1 := g 0 g 2 + ζ 6 72g 1 g 3, I 2 := g 0 g 3 + ( ζ 18 72 + ζ 6 72)g 1 g 2 are invariant under the action of H. Final invariants e 1 := ( 12ζ 18 72 + 12ζ6 72 )g 0g 3 + 12ζ 6 72 g 0g 3 + 12g 1g 2 + 12g 1 g 3, e 2 := 12ζ 6 72 g 1g 2 + ( 12ζ 18 72 + 12ζ6 72 )g 0g 3 + ( 12ζ 12 72 + 12)g 1g 3 + 12ζ 12 72 g 1g 3 Every Z-linear combination of e 1, e 2 is also an invariant., 42/50

Example For n = 571 the group H has order 144 and G has order 3456. We compute that the polynomials I 1 := g 0 g 2 + ζ 6 72g 1 g 3, I 2 := g 0 g 3 + ( ζ 18 72 + ζ 6 72)g 1 g 2 are invariant under the action of H. Final invariants e 1 := ( 12ζ 18 72 + 12ζ6 72 )g 0g 3 + 12ζ 6 72 g 0g 3 + 12g 1g 2 + 12g 1 g 3, e 2 := 12ζ 6 72 g 1g 2 + ( 12ζ 18 72 + 12ζ6 72 )g 0g 3 + ( 12ζ 12 72 + 12)g 1g 3 + 12ζ 12 72 g 1g 3 Every Z-linear combination of e 1, e 2 is also an invariant., 42/50

Examples Invariant polynomial Hilbert t 5 + 400497845154831586723701480652800t 4 + 818520809154613065770038265334290448384t 3 + 4398250752422094811238689419574422303726895104t 2 16319730975176203906274913715913862844512542392320t +15283054453672803818066421650036653646232315192410112 t 5 5433338830617345268674t 4 + 90705913519542658324778088t 3 g 12 0 g12 1 + g12 2 g12 3 3049357177530030535811751619728t 2 390071826912221442431043741686448t - 12509992052647780072147837007511456 e 1 t 5 936t 4 60912t 3 2426112t 2 40310784t 3386105856 e 2 t 5 1512t 4 29808t 3 + 979776t 2 + 3359232t 423263232, 43/50

Generalized Weber Functions ν N,0 := N η ( ) N 0 0 1 η and ν k,n := η ( ) 1 k 0 N, 0 k N 1. η These are known to be modular functions of level 24N. Notice that N Q(ζN ) Q(ζ 24 N ) and an explicit expression of N in terms of ζ N can be given by using Gauss sums, 44/50

Generalized Weber Functions ν N,0 := N η ( ) N 0 0 1 η and ν k,n := η ( ) 1 k 0 N, 0 k N 1. η These are known to be modular functions of level 24N. Notice that N Q(ζN ) Q(ζ 24 N ) and an explicit expression of N in terms of ζ N can be given by using Gauss sums, 44/50

Action of SL(2, Z) In order to describe the SL(2, Z)-action we have to describe the action of the two generators S, T of SL(2, Z) given by S : z 1 z and T : z z + 1. Keep in mind that η T(z) = ζ 24 η(z) and η S(z) = ζ 1 8 izη(z). We compute that ν N,0 S = ν 0,N and ν N,0 T = ζ N 1 24 ν N,0, ν 0,N S = ν N,0 and ν 0,N T = ζ 1 24 ν 1,N, for 1 k < N 1 and N is prime ( ) c ν k,n S = i 1 n 2 ζ N(k c) 24 and ν k,n T = ζ 1 24 n ν k+1,n, where c = k 1 modn., 45/50

Example = 5 Assume that N = 5 and D = 91. We compute that the group H of determinant 1 has invariants ν 5,0 + (ζ 25 ζ 5 )ν 3,5 and ν 0,5 + (ζ 31 ζ 23 ζ 19 ζ 15 + ζ 7 + ζ 3 )ν 1,5. Using our method we arrive at the final invariants: I 1 = ( 1224ζ 28 + 612ζ 20 + 2740ζ 16 + 1516ζ 4 612)ν 5,0 +(4256ζ 28 2128ζ 20 1516ζ 16 + 2740ζ 4 + 2128)ν 0,5 +( 1224ζ 31 2740ζ 27 + 612ζ 15 + 1224ζ 11 + 1516ζ 3 )ν 1,5 +(1516ζ 29 612ζ 25 + 1224ζ 13 1516ζ 9 2740ζ)ν 3,5, I 2 = ( 1952ζ 28 + 976ζ 20 + 2128ζ 16 + 176ζ 4 976)ν 5,0 +(2304ζ 28 1152ζ 20 176ζ 16 + 2128ζ 4 + 1152)ν 0,5 +( 1952ζ 31 2128ζ 27 + 976ζ 15 + 1952ζ 11 + 176ζ 3 )ν 1,5 +(176ζ 29 976ζ 25 + 1952ζ 13 176ζ 9 2128ζ)ν3, 5. The Q-vector space generated by these two functions consists of class functions., 46/50

Hilbert Class Field We can now compute the corresponding polynomials: t 2 3060t 28090800 and t 2 4880t 71443200. Just for comparison the Hilbert polynomial corresponding to the j invariant is: t 2 + 10359073013760t 3845689020776448., 47/50

Questions - furhter research 1. Select the best invariantsminimizing height in a lattice 2. By examples we see that the best invariants are in the case of monomials 3. There are cases n mod24 where no monomial invariants exist. In these cases our method gives us the best known results., 48/50

Questions - furhter research 1. Select the best invariantsminimizing height in a lattice 2. By examples we see that the best invariants are in the case of monomials 3. There are cases n mod24 where no monomial invariants exist. In these cases our method gives us the best known results., 48/50

Questions - furhter research 1. Select the best invariantsminimizing height in a lattice 2. By examples we see that the best invariants are in the case of monomials 3. There are cases n mod24 where no monomial invariants exist. In these cases our method gives us the best known results., 48/50

Questions - furhter research 1. Select the best invariantsminimizing height in a lattice 2. By examples we see that the best invariants are in the case of monomials 3. There are cases n mod24 where no monomial invariants exist. In these cases our method gives us the best known results., 48/50

Thank you!, 49/50

E. Konstantinou, A. Kontogeorgis Computing polynomials of the Ramanujan t n class invariants Canad. Math. Bull., Vol. 52, No. 4, pg. 583--597, 2009. E. Konstantinou, A. Kontogeorgis Ramanujan invariants for discriminants congruent to 5 (mod 2)4 em Int. J. Number Theory, Vol. 8, No. 1, pg. 265--287, 2012. A. Kontogeorgis Constructing class invariants In Math. Comp., Vol. 83, No. 287, pg. 1477--1488, 2014., 50/50