A Brief Introduction to Modular Forms Computation

Size: px
Start display at page:

Download "A Brief Introduction to Modular Forms Computation"

Transcription

1 A Brief Introduction to Modular Forms Computation Magma Supported by GCOE Program Math-For-Industry Education & Research Hub

2 What s this? Definitions and Properties Demonstration H := H P 1 (Q) some conditions k Z: f (g(z)) = (cz + d) k f (z) for all g Γ(N) Γ(N): Congruence subgroup N: with Nebentypus ε M k (Γ(N), ε): (N, k, ε) dim C M k (Γ(N)) < + f = n 0 a nq n q = e 2πiz/N : q- S k (Γ(N), ε): (N, k, ε) f M k (Γ(N), ε) s.t. a 0 = 0

3 Background Definitions and Properties Demonstration eigenform Fermat - Serre mod p Galois etc. Algebraic topology String theory Algebraic combinatorics : e.g. Kissing Number Problem

4 on Number Theory Definitions and Properties Demonstration X 0 (N) e.g. N = 39 Hecke T n q- T n f = a n f a n C (Atkin-Lehner-Li, Miyake) S k (Γ 1 (N)) = M N d (N/M) α d (Sk new (Γ 1 (M)))

5 Construct Space and Hecke Action T 2 on M 2 (Γ 0 (41)). Definitions and Properties Demonstration > M41 := ModularForms(Gamma0(41),2); > T2 := HeckeOperator(M41,2); T2; [ ] [ ] [ ] [ ] > Parent(T2); Full Matrix Algebra of degree 4 over Integer Ring > Ch2 := CharacteristicPolynomial(T2); Ch2; x^4-2*x^3-8*x^2 + 14*x +3 > Factorization(Ch2); [ <x - 3, 1>, <x^3 + x^2-5*x - 1, 1> ]

6 Compute Newforms Definitions and Properties Demonstration S new 2 (Γ 0 (11)). > S := CuspForms(Gamma0(11),2); > N := Newforms(S); N; [* [* q - 2*q^2 - q^3 + 2*q^4 + q^5 + 2*q^6-2*q^7-2*q^9-2*q^10 + q^11 + O(q^12) *], [* 5/12 + q + 3*q^2 + 4*q^3 + 7*q^4 + 6*q^5 + 12*q^6 + 8*q^7 + 15*q^8 + 13*q^9 + 18*q^10 + q^11 + O(q^12) *] *] > Newforms("G0N11k2A"); // LABELS [* [* q - 2*q^2 - q^3 + 2*q^4 + q^5 + 2*q^6-2*q^7-2*q^9-2*q^10 + q^11 + O(q^12) *] *]

7 SMC: Algebraic vs. Analytic Theorem (Khare-Wintenberger, 2007) Q detρ(c) = 1 2 mod p Galois ρ : Gal(Q/Q) GL 2 (F p ) (N(ρ), k(ρ), ε(ρ)). f = a n q n ( q = e 2πiz ) S k(ρ) (Γ, ε(ρ)) n 1

8 Verification Galois Tr(ρ(Frob l )) a l (mod p) for all l pn(ρ): prime Galois (N, k, ε) (N, k, ε) conductor, Serre weight, character level, weight, character

9 Matching example Q, Galois. E : y 2 + xy + y = x 3 + 1, E E. E Galois ρ E,l N(ρ E,l ) = p l,l ord p( E ) { 2 (l ordl ( p, k(ρ E,l ) = E )) l + 1 (otherwise), ε(ρ E,l ) = 1. Serre > E := EllipticCurve([1,0,1,0,1]); Elliptic Curve defined by y^2 + x*y + y = x^3 + 1 over Rational Field > D := Discriminant(E); D; -639 > Factorization(D); [ <3, 2>, <71, 1> ]

10 Matching example E = Galois ρ 3 = ρ E,3 (N(ρ 3 ), k(ρ 3 ), ε(ρ 3 )) = (71, 4, 1) Tr(Frob p (ρ 3 )) E [ 1, 1, 2, 2, 0, -2, 0, 0, 0, -2, -10, -6,... ], (71, 4, 1). S new 4 (Γ 0 (71)). > S71 := CuspForms(Gamma0(71),4); > f := Newforms(S71,1); > [Coefficient(f,p) : p in [1..50] IsPrime(p)]; [ 1, 1, -16, -1, 24, 7, 72, -153, -213, 232, 149, -204, -432, 71, 273 ]

11 Matching example p ρ 1 * f 1 (1) mod 3 p ρ 1 * f 1 (1) ,.

12 for Generalization Magma Hilbert / totally real case - Quaternion algebra Bianchi / imaginary quadratic case - Sharbly complex, Voronoi polyhedron. Bianchi Ver Bianchi.

13 Final Remark System for Algebra and Geometry Experimentation. W. Stein. Magma interpreter sage: magma.setdefaultrealfieldprecision(50) # magma >= v2.12; optional - magma sage: magma.eval( 1.1 ) # optional - magma (omitted)

Tabulation of the clasp number of prime knots with up to 10 crossings

Tabulation of the clasp number of prime knots  with up to 10 crossings . Tabulation of the clasp number of prime knots with up to 10 crossings... Kengo Kawamura (Osaka City University) joint work with Teruhisa Kadokami (East China Normal University).. VI December 20, 2013

More information

main.dvi

main.dvi Nim naito@math.nagoya-u.ac.jp,.,.,,,.,,,,,,, Nim,.,,,,. Nim Nim,.,.,.,,.,.,. [1, 3],,, Nim,,., Nim. Date:. August 10-11, 1999 2 1 Nim.. Pile., Pile.,. normal case.,. reverse case.,.. Pile. N 1, N 2, N

More information

1 2 1.1............................................ 3 1.2.................................... 7 1.3........................................... 9 1.4..

1 2 1.1............................................ 3 1.2.................................... 7 1.3........................................... 9 1.4.. 2010 8 3 ( ) 1 2 1.1............................................ 3 1.2.................................... 7 1.3........................................... 9 1.4........................................

More information

untitled

untitled 20 7 1 22 7 1 1 2 3 7 8 9 10 11 13 14 15 17 18 19 21 22 - 1 - - 2 - - 3 - - 4 - 50 200 50 200-5 - 50 200 50 200 50 200 - 6 - - 7 - () - 8 - (XY) - 9 - 112-10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 -

More information

untitled

untitled 19 1 19 19 3 8 1 19 1 61 2 479 1965 64 1237 148 1272 58 183 X 1 X 2 12 2 15 A B 5 18 B 29 X 1 12 10 31 A 1 58 Y B 14 1 25 3 31 1 5 5 15 Y B 1 232 Y B 1 4235 14 11 8 5350 2409 X 1 15 10 10 B Y Y 2 X 1 X

More information

References tll A. Hurwitz, IJber algebraischen Gebilde mit eindeutige Transformationen Ann. in sich, Math. L27 A. Kuribayashi-K. Komiya, On Weierstrass points of non-hyperelliptic compact Riemann surfaces

More information

R R P N (C) 7 C Riemann R K ( ) C R C K 8 (R ) R C K 9 Riemann /C /C Riemann 10 C k 11 k C/k 12 Riemann k Riemann C/k k(c)/k R k F q Riemann 15

R R P N (C) 7 C Riemann R K ( ) C R C K 8 (R ) R C K 9 Riemann /C /C Riemann 10 C k 11 k C/k 12 Riemann k Riemann C/k k(c)/k R k F q Riemann 15 (Gen KUROKI) 1 1 : Riemann Spec Z 2? 3 : 4 2 Riemann Riemann Riemann 1 C 5 Riemann Riemann R compact R K C ( C(x) ) K C(R) Riemann R 6 (E-mail address: kuroki@math.tohoku.ac.jp) 1 1 ( 5 ) 2 ( Q ) Spec

More information

Sage for Mathematics : a Primer ‚æ1Łfl - Sage ‡ð™m‡é

Sage for Mathematics : a Primer   ‚æ1Łfl - Sage ‡ð™m‡é .. / JST CREST. s-yokoyama@imi.kyushu-u.ac.jp 2013 1 15 / IIJ Shun ichi Yokoyama (IMI/JST CREST) at IIJ January 15th, 2013 1 / 23 1 Sage Sage Sage Notebook Sage Salvus 2 Sage Sage Cryptosystem Sage Shun

More information

社葬事前手続き

社葬事前手続き 2 ... 4... 4... 5 1... 5 2... 5 3... 5 4... 5 5... 5 6... 5 7... 5 8... 6 9... 6 10... 6... 6 1... 6 2... 6 3... 7 4... 7... 8 1 2.... 8 2 2.... 9 3 4.. 3 4. 1 2 3 4 5 6 7 5 8 9 10 I 1 6 2 EL 3 4 24 7

More information

[Oc, Proposition 2.1, Theorem 2.4] K X (a) l (b) l (a) (b) X [M3] Huber adic 1 Huber ([Hu1], [Hu2], [Hu3]) adic 1.1 adic A I I A {I n } 0 adic 2

[Oc, Proposition 2.1, Theorem 2.4] K X (a) l (b) l (a) (b) X [M3] Huber adic 1 Huber ([Hu1], [Hu2], [Hu3]) adic 1.1 adic A I I A {I n } 0 adic 2 On the action of the Weil group on the l-adic cohomology of rigid spaces over local fields (Yoichi Mieda) Graduate School of Mathematical Sciences, The University of Tokyo 0 l Galois K F F q l q K, F K,

More information

一般演題(ポスター)

一般演題(ポスター) 6 5 13 : 00 14 : 00 A μ 13 : 00 14 : 00 A β β β 13 : 00 14 : 00 A 13 : 00 14 : 00 A 13 : 00 14 : 00 A β 13 : 00 14 : 00 A β 13 : 00 14 : 00 A 13 : 00 14 : 00 A β 13 : 00 14 : 00 A 13 : 00 14 : 00 A

More information

Microsoft Word - ■3中表紙(2006版).doc

Microsoft Word - ■3中表紙(2006版).doc 18 Annual Report on Research Activity by Faculty of Medicine, University of the Ryukyus 2006 FACULTY OF MEDICINE UNIVERSITY OF THE RYUKYUS α αγ α β α βγ β α β α β β β γ κα κ κ βγ ε α γδ β

More information

サービス付き高齢者向け住宅賠償責任保険.indd

サービス付き高齢者向け住宅賠償責任保険.indd 1 2 1 CASE 1 1 2 CASE 2 CASE 3 CASE 4 3 CASE 5 4 3 4 5 6 2 CASE 1 CASE 2 CASE 3 7 8 3 9 10 CASE 1 CASE 2 CASE 3 CASE 4 11 12 13 14 1 1 2 FAX:03-3375-8470 2 3 3 4 4 3 15 16 FAX:03-3375-8470 1 2 0570-022808

More information

P-12 P-13 3 4 28 16 00 17 30 P-14 P-15 P-16 4 14 29 17 00 18 30 P-17 P-18 P-19 P-20 P-21 P-22

P-12 P-13 3 4 28 16 00 17 30 P-14 P-15 P-16 4 14 29 17 00 18 30 P-17 P-18 P-19 P-20 P-21 P-22 1 14 28 16 00 17 30 P-1 P-2 P-3 P-4 P-5 2 24 29 17 00 18 30 P-6 P-7 P-8 P-9 P-10 P-11 P-12 P-13 3 4 28 16 00 17 30 P-14 P-15 P-16 4 14 29 17 00 18 30 P-17 P-18 P-19 P-20 P-21 P-22 5 24 28 16 00 17 30 P-23

More information

( ) ver.2015_01 2

( ) ver.2015_01 2 1 1.1 1.2 1.3 2 ( ) 2.1 2.2 2.3 2.4 3 4 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 5 5.1 5.2 5.3 5.4 6 6.1 6.2 6.3 7 7.1 7.2 7.3 8 ver.2015_01 2 1 1.1 1.2 1.3 ver.2015_01 3 2 2.1 2.2 2.3 ver.2015_01 4 2.4 ver.2015_01

More information

example2_time.eps

example2_time.eps Google (20/08/2 ) ( ) Random Walk & Google Page Rank Agora on Aug. 20 / 67 Introduction ( ) Random Walk & Google Page Rank Agora on Aug. 20 2 / 67 Introduction Google ( ) Random Walk & Google Page Rank

More information

-2-

-2- -1-2009 3 2 2 HP http://homepage3.nifty.com/office-wada/ -2- -3-1 01 X Y 100 Y Y 02 A B B C A -4- 2 03 X Y Y X XY Y X Y X Y Z XY Z Z X 261 24 14 49 41 77 1 48 6 21 27 6 712 11 1 53 9 14 906 88 X1 X2 X3

More information

5.. z = f(x, y) y y = b f x x g(x) f(x, b) g x ( ) A = lim h g(a + h) g(a) h g(x) a A = g (a) = f x (a, b)............................................

5.. z = f(x, y) y y = b f x x g(x) f(x, b) g x ( ) A = lim h g(a + h) g(a) h g(x) a A = g (a) = f x (a, b)............................................ 5 partial differentiation (total) differentiation 5. z = f(x, y) (a, b) A = lim h f(a + h, b) f(a, b) h........................................................... ( ) f(x, y) (a, b) x A (a, b) x (a, b)

More information

人芯経営論 ・・・リーダーシップ考②

人芯経営論 ・・・リーダーシップ考② 2009/12/15 2009/11/17 2009/11/16 2009/10/19 2009/10/15 2009/10/1 2009/9/17 2009/9/1 2009/8/17 2009/8/17 2009/8/14 2009/8/12 2009/7/28 2009/7/17 2009/7/15 2009/6/24 2009/6/18 2009/6/15 2009/5/20 2009/5/15

More information

1

1 005 11 http://www.hyuki.com/girl/ http://www.hyuki.com/story/tetora.html http://www.hyuki.com/ Hiroshi Yuki c 005, All rights reserved. 1 1 3 (a + b)(a b) = a b (x + y)(x y) = x y a b x y a b x y 4 5 6

More information

cikm_field_weights.dvi

cikm_field_weights.dvi 13Simple BM25 Extension to Multiple Weighted Fields Stephen Robertson, Hugo Zaragoza and Michael Taylor Microsoft Research 001 71 7 チ081 7081 7001 71 7 チ001 71 71 7 チ1 7 チ1 70508041 7041 706071 71 71 71

More information

0 . ' ' ' ' 剑 Action Painting as Act Research THROUGH Panting Painting as Theory Research IN Painting Panting Painting

More information

Ver.1.0.1-1512 1. 03 2. 04 3. 05 05 4. 06 07 5. 08 6. 09 10 11 12 14 7. 19 2 1. Plus / 3 2. 1 4 3. Plus 5 4. FX 6 4. 7 5. 1 200 3 8 6. 38 25 16 9 6. 10 6. 11 6. 38 / 12 6. 13 6. 25 14 6. 0 359 15 6. 3

More information

2 probably 3 probability theory probability theory (gàil`ü) 2 1960 2.1, 1: 583 589 666 1853 2967 2 3 1973

2 probably 3 probability theory probability theory (gàil`ü) 2 1960 2.1, 1: 583 589 666 1853 2967 2 3 1973 ( ) ( C) 1 probability probability probable probable probable probable probably probably maybe perhaps possibly likely possibly

More information

13 0 1 1 4 11 4 12 5 13 6 2 10 21 10 22 14 3 20 31 20 32 25 33 28 4 31 41 32 42 34 43 38 5 41 51 41 52 43 53 54 6 57 61 57 62 60 70 0 Gauss a, b, c x, y f(x, y) = ax 2 + bxy + cy 2 = x y a b/2 b/2 c x

More information

2 K = f (x) K[[x]] = r f (x) r D = D (0, r) a D f (x) a D Figure X d : X X R 0 d(x, z) max{d(x, y), d(y, z)} x, y, z X (X, d) clopen 1.1. (X,

2 K = f (x) K[[x]] = r f (x) r D = D (0, r) a D f (x) a D Figure X d : X X R 0 d(x, z) max{d(x, y), d(y, z)} x, y, z X (X, d) clopen 1.1. (X, 2008. 1. 1.1.. 4 affinoids analytic reduction Raynaud visualization Zariski-Riemann 1.2.. 1905 K. Hensel p- 1918 A. Ostrowski Q 1930 W. Schöbe 1940 M. Krasner 1 2 K = f (x) K[[x]] = r f (x) r D = D (0,

More information

204 / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 047

204 / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 047 9 π 046 Vol.69-1 January 2016 204 / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 047 β γ α / α / 048 Vol.69-1 January 2016 π π π / CHEMISTRY & CHEMICAL INDUSTRY Vol.69-1 January 2016 049 β 050 Vol.69-1

More information

On a branched Zp-cover of Q-homology 3-spheres

On a branched Zp-cover of Q-homology 3-spheres Zp 拡大と分岐 Zp 被覆 GL1 表現の変形理論としての岩澤理論 SL2 表現の変形理論 On a branched Zp -cover of Q-homology 3-spheres 植木 潤 九州大学大学院数理学府 D2 December 23, 2014 植木 潤 九州大学大学院数理学府 D2 On a branched Zp -cover of Q-homology 3-spheres

More information

- 1 - - 2 - 320 421 928 1115 12 8 116 124 2 7 4 5 428 515 530 624 921 1115 1-3 - 100 250-4 - - 5 - - 6 - - 7 - - 8 - - 9 - & & - 11 - - 12 - GT GT - 13 - GT - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - -

More information

2012_05_GLK_cover.indd

2012_05_GLK_cover.indd c %& r Z \ W W n q & F % % & & % & & % % % & % & % & % & % & % & F F % % % & & & & % & A

More information

EPSON

EPSON B K L & & & & & & & & L & & & & & & & K & & & & & L L L & & & K L L L & & L L L & & & & & & & & & & & & & & & & & & & & & & & & & & & L & K L K & & & & & & & L L & & L & & L L & & & & &

More information

2.8% 2.0% 2.4% 2.4% 0.4% 0.1% 0.3% 0.5% 3.8% 5.6% 25.6% 29.3% 64.6% 60.0% 1

2.8% 2.0% 2.4% 2.4% 0.4% 0.1% 0.3% 0.5% 3.8% 5.6% 25.6% 29.3% 64.6% 60.0% 1 2.8% 2.0% 2.4% 2.4% 0.4% 0.1% 0.3% 0.5% 3.8% 5.6% 25.6% 29.3% 64.6% 60.0% 1 16 24 21 20 20 23 10 11 9 10 3 3 3 2 3 1 3 4 6 8 2 0 1 2 3 4 5 6 0 1 2 3 4 5 6 0 1 2 3 4 5 6 3 4 Q & A Q1 A1 Q2 A2 Q3 A3 7

More information

Q&A最低資本金特例030131.PDF

Q&A最低資本金特例030131.PDF & 1 2 2 3 2 2 3 2 2 3 10 11 10 90 12 13 14 15 16 17 18 19 20 2 2 3 21 2 2 3 22 23 24 25 20 10 26 27 28 10 8 1 29 30 10 8 2 31 32 2 2 3 33 10 8 3 10 11 2 34 10 8 3 10 12 2 35 36 20 10 37 38 39 40 41 42

More information

™…

™… 2/10 15 2010. No1362 1 1 216315 91430 Q A & 0.23% 1 1.4% 04-7120-2020 050-5540-2023 Q A & 1 1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 1 2 3 4 5 6 7 8 9 10

More information

bumon_pro.indd

bumon_pro.indd q w e r t y u i o!0 !1!2!3 !4!5!6 !7!8!9 @0 @1 @2 @3 @4 @5 @6 @7 @8 @9 #0 #1 #2 #3 #4 #5 #6 #7 #8 #0 $0 $1 $2 $3 $4 $5 $6 $7 $8 $9 %0 %1 %2 %3 %4 %5 %6 %7 %8 %9 ^0 ^1 ^2 ^3 ^4 ^5 ^6 ^7 ^8 ^9 &0 &1 &2

More information