Hypergeometric Functions and Hypergeometric Abelian Varieties
|
|
- Shon Doyle
- 5 years ago
- Views:
Transcription
1 Hypergeometric Functions and Hypergeometric Abelian Varieties Fang-Ting Tu Louisiana State University September 29th, 2016 BIRS Workshop: Modular Forms in String Theory Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
2 Introduction Classical hypergeometric functions are well-understood. They are related to periods of algebraic varieties triangle groups, modular forms on arithmetic triangle groups Ramanujan type identities, combinatorial identities, physical applications... Hypergeometric functions over finite fields are developed theoretically by Evans, Greene, Katz, McCarthy, Ono,... They are related to L-functions of algebraic varieties character sum identities supercongruences (Apéry or Ramanujan type)... Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
3 Introduction Classical hypergeometric functions are well-understood. They are related to periods of algebraic varieties triangle groups, modular forms on arithmetic triangle groups Ramanujan type identities, combinatorial identities, physical applications... Hypergeometric functions over finite fields are developed theoretically by Evans, Greene, Katz, McCarthy, Ono,... They are related to L-functions of algebraic varieties character sum identities supercongruences (Apéry or Ramanujan type)... Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
4 Introduction Classical hypergeometric functions are well-understood. They are related to periods of algebraic varieties triangle groups, modular forms on arithmetic triangle groups Ramanujan type identities, combinatorial identities, physical applications... Hypergeometric functions over finite fields are developed theoretically by Evans, Greene, Katz, McCarthy, Ono,... They are related to L-functions of algebraic varieties character sum identities supercongruences (Apéry or Ramanujan type)... Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
5 Introduction For 0, 1, let E : y 2 = x(1 x)(1 x) be the elliptic curve in Legendre normal form A period of E is Ω(E ) = 1 0 dx 1 y = dx. 0 x(1 x)(1 x) and Ω(E ) π = 2 F 1 [ 1 2 ] ; := ( n 1 ) 2 n. n n=0 Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
6 Introduction For Q and 0, 1 mod p, #Ẽ(F p ) = p + 1 a p (), where a p () = ( ) x(1 x)(1 x). p x F p The value a p () is the trace of Frobenius map; the p-th Fourier coefficient of certain modular form. a p () can be thought as a finite field analogue of the period Ω(E ) = 1 0 (x(1 x)(1 x)) 1/2 dx. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
7 Introduction For Q and 0, 1 mod p, #Ẽ(F p ) = p + 1 a p (), where a p () = ( ) x(1 x)(1 x). p x F p The value a p () is the trace of Frobenius map; the p-th Fourier coefficient of certain modular form. a p () can be thought as a finite field analogue of the period Ω(E ) = 1 0 (x(1 x)(1 x)) 1/2 dx. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
8 Introduction For Q and 0, 1 mod p, #Ẽ(F p ) = p + 1 a p (), where a p () = ( ) x(1 x)(1 x). p x F p The value a p () is the trace of Frobenius map; the p-th Fourier coefficient of certain modular form. a p () can be thought as a finite field analogue of the period Ω(E ) = 1 0 (x(1 x)(1 x)) 1/2 dx. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
9 Introduction 2F 1 -hypergeometric Function Let a, b, c Q. The hypergeometric function 2 F 1 [ a b c ; z ] by 2F 1 [ a b c ; z ] = n=0 (a) n (b) n (c) n n! zn, is defined where (a) n = a(a + 1)... (a + n 1) is the Pochhammer symbol. For fixed a, b, c and argument z, the function 2 F 1 [ a b c ; z ] can be viewed as a quotient of periods on certain algebraic varieties. satisfies a hypergeometric differential equation, whose monodromy group is a triangle group. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
10 Introduction 2F 1 -hypergeometric Function Let a, b, c Q. The hypergeometric function 2 F 1 [ a b c ; z ] by 2F 1 [ a b c ; z ] = n=0 (a) n (b) n (c) n n! zn, is defined where (a) n = a(a + 1)... (a + n 1) is the Pochhammer symbol. For fixed a, b, c and argument z, the function 2 F 1 [ a b c ; z ] can be viewed as a quotient of periods on certain algebraic varieties. satisfies a hypergeometric differential equation, whose monodromy group is a triangle group. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
11 2F 1 -Hypergeometric Functions Hypergeometric Differential Equation Hypergeometric Differential Equation For fixed a, b, c and argument z, the function 2 F 1 [ a b c ; z ] the hypergeometric differential equation HDE(a, b, c; z) : F + with 3 regular singularities at 0, 1, and. satisfies (a + b + 1)z c F ab + z(1 z) z(1 z) F = 0, Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
12 2F 1 -Hypergeometric Functions Hypergeometric Differential Equation Theorem (Schwarz) Let f, g be two independent solutions to HDE(a, b; c; ) at a point z H, and let p = 1 c, q = c a b, and r = a b. Then the Schwarz map D = f /g gives a bijection from H R onto a curvilinear triangle with vertices D(0), D(1), D( ), and corresponding angles pπ, qπ, rπ. H D(0) pπ D rπ D(1) qπ D( ) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
13 2F 1 -Hypergeometric Functions Hypergeometric Differential Equation The universal cover of (p, q, r) is one of the followings: the unit sphere (p + q + r > 1); the Euclidean plane (p + q + r = 1); the hyperbolic plane (p + q + r < 1). When p, q, r are rational numbers in the lowest form with 0 = 1, let e i be the denominators of p, q, r arranged in the non-decreasing order, the monodromy group is isomorphic to the triangle group (e 1, e 2, e 3 ), where (e 1, e 2, e 3 ) := x, y x e 1 = y e 2 = (xy) e 3 = id. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
14 Example For 2 F 1 [ F 1 -Hypergeometric Functions ] Hypergeometric Differential Equation 1 ;, the triangle (p, q, r) = (0, 0, 0) is a hyperbolic triangle. The corresponding monodromy group is the arithmetic triangle group (,, ) Γ(2). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
15 2 F1 -Hypergeometric Functions Hypergeometric Differential Equation Example " For 2 F # ;, the triangle (p, q, r ) = (1/2, 1/3, 1/7) is a hyperbolic triangle. The corresponding monodromy group is the arithmetic triangle group (2, 3, 7). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
16 2F 1 -Hypergeometric Functions Generalized Legendre Curves Euler s integral representation of the 2 F 1 with c > b > 0 2P 1 [ a b c ; ] = 1 0 x b 1 (1 x) c b 1 (1 x) a dx = 2 F 1 [ a b c ; ] B(b, c b), where B(a, b) = 1 0 x a 1 (1 x) b 1 dx = Γ(a)Γ(b) Γ(a + b) is the Beta function. Following Wolfart, we can realize 2 P 1 [ a b c ; ] as a period of C [N;i,j,k] : y N = x i (1 x) j (1 x) k, where N = lcd(a, b, c), i = N(1 b), j = N(1 + b c), k = Na. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
17 2F 1 -Hypergeometric Functions Generalized Legendre Curves Euler s integral representation of the 2 F 1 with c > b > 0 2P 1 [ a b c ; ] = 1 0 x b 1 (1 x) c b 1 (1 x) a dx = 2 F 1 [ a b c ; ] B(b, c b), where B(a, b) = 1 0 x a 1 (1 x) b 1 dx = Γ(a)Γ(b) Γ(a + b) is the Beta function. Following Wolfart, we can realize 2 P 1 [ a b c ; ] as a period of C [N;i,j,k] : y N = x i (1 x) j (1 x) k, where N = lcd(a, b, c), i = N(1 b), j = N(1 + b c), k = Na. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
18 Examples 2F 1 -Hypergeometric Functions Generalized Legendre Curves The function B ( [ 12 84, 29 ) F 1 ] ; is a period of the curve C [84;71,55,1] : y 84 = x 71 (1 x) 55 (1 x). For the curve C [6;4,3,1] : y 6 = x 4 (1 x) 3 (1 x), B ( [ ] 1 3, 1 ) F 1 ; is a period. 5 6 the corresponding triangle group is Γ (3, 6, 6) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
19 Examples 2F 1 -Hypergeometric Functions Generalized Legendre Curves The function B ( [ 12 84, 29 ) F 1 ] ; is a period of the curve C [84;71,55,1] : y 84 = x 71 (1 x) 55 (1 x). For the curve C [6;4,3,1] : y 6 = x 4 (1 x) 3 (1 x), B ( [ ] 1 3, 1 ) F 1 ; is a period. 5 6 the corresponding triangle group is Γ (3, 6, 6) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
20 2F 1 -Hypergeometric Functions Generalized Legendre Curves Motivation Study the arithmetic of generalized Legendre curves y N = x i (1 x) j (1 zx) k, which are parameterized by Shimura curves; general hypergeometric varieties y N = x i 1 1 x in n (1 x 1 ) j1 (1 x n ) jn (1 zx 1 x 2 x 3 x n ) k. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
21 2F 1 -Hypergeometric Functions Generalized Legendre Curves Motivation Study the arithmetic of generalized Legendre curves y N = x i (1 x) j (1 zx) k, which are parameterized by Shimura curves; general hypergeometric varieties y N = x i 1 1 x in n (1 x 1 ) j1 (1 x n ) jn (1 zx 1 x 2 x 3 x n ) k. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
22 Period Functions over Finite Fields Let p be a prime, and q = p s. Let F q denote the group of multiplicative characters on F q. Extend χ F q to F q by setting χ(0) = 0. Definition Let F q, and A, B, C F q. Define 2P 1 ( A ) B C = B(x)BC(1 x)a(1 x). x F q This is a finite field analogue of 2P 1 [ a b c ; ] = 1 0 x b 1 (1 x) c b 1 (1 x) a dx Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
23 Period Functions over Finite Fields Let p be a prime, and q = p s. Let F q denote the group of multiplicative characters on F q. Extend χ F q to F q by setting χ(0) = 0. Definition Let F q, and A, B, C F q. Define 2P 1 ( A ) B C = B(x)BC(1 x)a(1 x). x F q This is a finite field analogue of 2P 1 [ a b c ; ] = 1 0 x b 1 (1 x) c b 1 (1 x) a dx Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
24 Let X [N;i,j,k] be the smooth model of C [N;i,j,k] : y N = x i (1 x) j (1 x) k. Let q be an odd prime power, and let i, j, k be natural numbers with 1 i, j, k < N. Further, let η N F q be a character of order N. Then for F q \ {0, 1}, # X [N;i,j,k] N 1 = 1 + q + m=1 ( # X [N;i,j,k] N 1 η km = 1 + q + N 2P 1 x F q η m N (x i (1 x) j (1 x) k ). m=1 ηn im η (i+j)m N ). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
25 Let X [N;i,j,k] be the smooth model of C [N;i,j,k] : y N = x i (1 x) j (1 x) k. Let q be an odd prime power, and let i, j, k be natural numbers with 1 i, j, k < N. Further, let η N F q be a character of order N. Then for F q \ {0, 1}, # X [N;i,j,k] N 1 = 1 + q + m=1 ( # X [N;i,j,k] N 1 η km = 1 + q + N 2P 1 x F q η m N (x i (1 x) j (1 x) k ). m=1 ηn im η (i+j)m N ). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
26 Let X [N;i,j,k] be the smooth model of C [N;i,j,k] : y N = x i (1 x) j (1 x) k. For each d N, there is a natural covering from C [N;i,j,k] For a given curve C [N;i,j,k], we let J new be the subvariety of Jac(X [N;i,j,k] ) which is not induced from C [d;i,j,k] for all d N, d < N. to C [d;i,j,k]. dim J new = ϕ(n). Let K be the Galois closure of Q(). For any fixed prime l, one can construct a compatible family of degree-2ϕ(n) representations ρ new l () : G K := Gal(K /K ) GL 2ϕ(N) (Z l ) via the Tate module of J new. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
27 Let X [N;i,j,k] be the smooth model of C [N;i,j,k] : y N = x i (1 x) j (1 x) k. For each d N, there is a natural covering from C [N;i,j,k] For a given curve C [N;i,j,k], we let J new be the subvariety of Jac(X [N;i,j,k] ) which is not induced from C [d;i,j,k] for all d N, d < N. to C [d;i,j,k]. dim J new = ϕ(n). Let K be the Galois closure of Q(). For any fixed prime l, one can construct a compatible family of degree-2ϕ(n) representations ρ new l () : G K := Gal(K /K ) GL 2ϕ(N) (Z l ) via the Tate module of J new. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
28 Let X [N;i,j,k] be the smooth model of C [N;i,j,k] : y N = x i (1 x) j (1 x) k. For each d N, there is a natural covering from C [N;i,j,k] For a given curve C [N;i,j,k], we let J new be the subvariety of Jac(X [N;i,j,k] ) which is not induced from C [d;i,j,k] for all d N, d < N. to C [d;i,j,k]. dim J new = ϕ(n). Let K be the Galois closure of Q(). For any fixed prime l, one can construct a compatible family of degree-2ϕ(n) representations ρ new l () : G K := Gal(K /K ) GL 2ϕ(N) (Z l ) via the Tate module of J new. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
29 For any good prime p O K with residue field F q, Trρ new l ()(Frob p ) = m (Z /NZ) 2P 1 ( η km N ηn im η (i+j)m N ) Let ζ be a primitive Nth root of unity. The map A ζ : (x, y) (x, ζ 1 y) induces an action on the ρ l. Consequently, ρ new l () GK (ζ) = gcd(m,n)=1 Here σ m,l () is 2-dimensional when (n, N) = 1. σ m,l (). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
30 For any good prime p O K with residue field F q, Trρ new l ()(Frob p ) = m (Z /NZ) 2P 1 ( η km N ηn im η (i+j)m N ) Let ζ be a primitive Nth root of unity. The map A ζ : (x, y) (x, ζ 1 y) induces an action on the ρ l. Consequently, ρ new l () GK (ζ) = gcd(m,n)=1 Here σ m,l () is 2-dimensional when (n, N) = 1. σ m,l (). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
31 Theorem (Fuselier, Long, Ramakrishna, Swisher, T.) If gcd(m, N) = 1, then ( η km Trσ m,l (Frob q ) and 2 P N 1 agree up to different embeddings of Q(ζ N ) in C Theorem (Deines, Fuselier, Long, Swisher, T.) ηn im η m(i+j) N ) Let N = 3, 4, 6, and N i + j + k. Then for each Q, the endomorphism algebra of J new contains a quaternion algebra over Q if and only if ( i B N, j ) / ( N k B N N, i + j + k N ) Q. N Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
32 Theorem (Fuselier, Long, Ramakrishna, Swisher, T.) If gcd(m, N) = 1, then ( η km Trσ m,l (Frob q ) and 2 P N 1 agree up to different embeddings of Q(ζ N ) in C Theorem (Deines, Fuselier, Long, Swisher, T.) ηn im η m(i+j) N ) Let N = 3, 4, 6, and N i + j + k. Then for each Q, the endomorphism algebra of J new contains a quaternion algebra over Q if and only if ( i B N, j ) / ( N k B N N, i + j + k N ) Q. N Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
33 ( η km For a given, let S m := 2 P N 1 ηn im η (i+j)m N ). Atkin-Li-Liu-Long: If End(J new ) contains a quaternion algebra, then the function is a character. F(η N ) := S 1 /S N 1 = J(ηN i, ηj N )/J(η k N, ηi+j+k N ) Yamamoto: The quotient ( i B N, j N is algebraic. ) /B ( k N, i + j + k ) N Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
34 ( η km For a given, let S m := 2 P N 1 ηn im η (i+j)m N ). Atkin-Li-Liu-Long: If End(J new ) contains a quaternion algebra, then the function is a character. F(η N ) := S 1 /S N 1 = J(ηN i, ηj N )/J(η k N, ηi+j+k N ) Yamamoto: The quotient ( i B N, j N is algebraic. ) /B ( k N, i + j + k ) N Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
35 ( η km For a given, let S m := 2 P N 1 ηn im η (i+j)m N ). Atkin-Li-Liu-Long: If End(J new ) contains a quaternion algebra, then the function is a character. F(η N ) := S 1 /S N 1 = J(ηN i, ηj N )/J(η k N, ηi+j+k N ) Yamamoto: The quotient ( i B N, j N is algebraic. ) /B ( k N, i + j + k ) N Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
36 2F 1 -hypergeometric Functions over Finite Fields Define 2F 1 [ A B C ; ] = which is a finite field analogue of 2F 1 [ a b c ; ] = Γ(a) g(a) B(a, b) J(A, B) 1 J(B, CB) 2 P 1 1 B(b, c b) 2 P 1 ( ) A B C, [ a b ] c ; Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
37 Transformation Formulas and Applications a = i N A = η i N Γ(a) g(a) B(a, b) = Γ(a)Γ(b) Γ(a+b) J(A, B) = g(a)g(b) g(ab) if A A Γ(a)Γ(1 a) = π sin aπ, a / Z g(a)g(a) = A( 1)q, A ε Gauss multiplication formula Γ(ma)(2π) (m 1)/2 = m ma 1 2 Γ(a)Γ ( a + 1 m) Γ ( a + m 1 m χ F q χ m =ε g(χψ) = g(ψ m )ψ(m m ) χ F g(χ) q χ m =ε Hasse-Davenport relation ) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
38 Transformation Formulas and Applications a = i N A = η i N Γ(a) g(a) B(a, b) = Γ(a)Γ(b) Γ(a+b) J(A, B) = g(a)g(b) g(ab) if A A Γ(a)Γ(1 a) = π sin aπ, a / Z g(a)g(a) = A( 1)q, A ε Gauss multiplication formula Γ(ma)(2π) (m 1)/2 = m ma 1 2 Γ(a)Γ ( a + 1 m) Γ ( a + m 1 m χ F q χ m =ε g(χψ) = g(ψ m )ψ(m m ) χ F g(χ) q χ m =ε Hasse-Davenport relation ) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
39 Transformation Formulas and Applications Theorem (Fuselier-Long-Ramakrishna-Swisher-T.) Let q be an odd prime power, z 1 F q, φ be the quadratic character, and A F q of order larger than 2. Then 2F 1 [ A φa φ ; z ] = { 0, if z is not a square, A 2 (1 + z) + A 2 (1 z), if z is a square. This is the analogue to the classical result [ ] a a F 1 ; z = 1 ( (1 + z) 2a + (1 z) 2a) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
40 Transformation Formulas and Applications Theorem (Fuselier-Long-Ramakrishna-Swisher-T.) Let q be an odd prime power, z 1 F q, φ be the quadratic character, and A F q of order larger than 2. Then ( ) [ ] 1 A φa A φa J(φA, A) 2 P 1 φ z = 2 F 1 φ ; z = { 0, if z is not a square, A 2 (1 + z) + A 2 (1 z), if z is a square. This is the analogue to the classical result [ ] a a F 1 ; z = 1 ( (1 + z) 2a + (1 z) 2a) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
41 Transformation Formulas and Applications Theorem (T.-Yang) Let p be a prime congruent to 1 modulo 4, p be a prime ideal of Z[i] lying above p. Let ψ p be the quartic multiplicative character on F p satisfying ψ p (x) x (p 1)/4 mod p, for every x Z[i]. Then, for a 0, 1, if one of a and 1 a is not a square in F p, we have 2P 1 ( φψp ) φ a = 0, ψ p and 2P 1 ( φψp ) φ a = 2ψ p ( 1)φ (1 + b) χ(p), ψ p if a = b 2 for some b F p, where χ is the Hecke character associated to the elliptic curve E : y 2 = x 3 x satisfying χ(p) p for all primes p of Z [i]. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
42 Transformation Formulas and Applications The curve C 4 : y 4 = x(x 1)(x a) has genus 3 and it is a 2-fold cover of the following 3 elliptic curves C 2 : y 2 = x(x 1)(x a), E + : y 2 = x 3 + (1 + b) 2 x, E : y 2 = x 3 + (1 b) 2 x. We have similar results for ψ p of order N = 3, 6, 8, and 12. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
43 Transformation Formulas and Applications The curve C 4 : y 4 = x(x 1)(x a) has genus 3 and it is a 2-fold cover of the following 3 elliptic curves C 2 : y 2 = x(x 1)(x a), E + : y 2 = x 3 + (1 + b) 2 x, E : y 2 = x 3 + (1 b) 2 x. We have similar results for ψ p of order N = 3, 6, 8, and 12. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
44 Quadratic Formula Transformation Formulas and Applications Theorem (Fuselier, Long, Ramakrishna, Swisher, and T.) Let B, D F q, and set C = D 2. When D φ, B D and x ±1, we have [ ] [ ] DφB D C(1 x) 2 F 1 CB ; 4x B (1 x) 2 = 2 F 1 CCB ; x. This is the analogue to the classical result (1 z) c 2F 1 [ 1+c 2 b c 2 c b + 1 ; 4z (1 z) 2 ] [ ] b c = 2 F 1 c b + 1 ; z. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
45 Transformation Formulas and Applications Analogue to the classical result [ ] a a 1 ( ) 1 2a z 2F 1 2a ; z =. 2 Let q be an odd prime power, z F q, φ be the quadratic character, and A F q of order larger than 2. Then 2F 1 [ A ] φa A 2 ; z = { 0, ( if φ(1 z) = 1, A 2 1+ ) 1 z 2 + A 2 ( 1 1 z 2 ), if φ(1 z) = 1. Remark The Galois perspective tells us that "using the dictionary directly" does not work. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
46 Transformation Formulas and Applications Analogue to the classical result [ ] a a 1 ( ) 1 2a z 2F 1 2a ; z =. 2 Let q be an odd prime power, z F q, φ be the quadratic character, and A F q of order larger than 2. Then 2F 1 [ A ] φa A 2 ; z = { 0, ( if φ(1 z) = 1, A 2 1+ ) 1 z 2 + A 2 ( 1 1 z 2 ), if φ(1 z) = 1. Remark The Galois perspective tells us that "using the dictionary directly" does not work. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
47 Transformation Formulas and Applications Analogue to the classical result [ ] a a 1 ( ) 1 2a z 2F 1 2a ; z =. 2 Let q be an odd prime power, z F q, φ be the quadratic character, and A F q of order larger than 2. Then 2F 1 [ A ] φa A 2 ; z = { 0, ( if φ(1 z) = 1, A 2 1+ ) 1 z 2 + A 2 ( 1 1 z 2 ), if φ(1 z) = 1. Remark The Galois perspective tells us that "using the dictionary directly" does not work. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
48 Transformation Formulas and Applications Let X [6;4,3,1] and X [12;9,5,1] be the smooth models of respectively. y 6 = x 4 (1 x) 3 (1 ), and y 12 = x 9 (1 x) 5 (1 ), Theorem (Fuselier, Long, Ramakrishna, Swisher, and T.) Let Q such that 0, ±1. Let J,1 new (resp. Jnew 4 be the primitive (1 ) 2,2) part of the Jacobian variety of X [6;4,3,1] (resp. X [12;9,5,1] ). Then J new 4 Jnew (1 ) 2,2,1 Jnew,1 over some number field depending on. Their corresponding arithmetic traingle groups are (2, 6, 6) 2 (3, 6, 6) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
49 Transformation Formulas and Applications Let X [6;4,3,1] and X [12;9,5,1] be the smooth models of respectively. y 6 = x 4 (1 x) 3 (1 ), and y 12 = x 9 (1 x) 5 (1 ), Theorem (Fuselier, Long, Ramakrishna, Swisher, and T.) Let Q such that 0, ±1. Let J,1 new (resp. Jnew 4 be the primitive (1 ) 2,2) part of the Jacobian variety of X [6;4,3,1] (resp. X [12;9,5,1] ). Then J new 4 Jnew (1 ) 2,2,1 Jnew,1 over some number field depending on. Their corresponding arithmetic traingle groups are (2, 6, 6) 2 (3, 6, 6) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
50 Generalized Period Functions As an analogue of the classical hypergeometric series, we inductively define [ ] A0 A 1... A n n+1p n ; := B 1... B n y F q A n (y)a n B n (1 y) np n 1 [ ] A0 A 1... A n 1 ; y B 1... B n 1 [ ] A0 A 1 A n n+1f n ; B 1 B n [ ] 1 A0 A := n i=1 J(A i, B i A i ) n+1 P 1... A n n ;, B 1... B n where A i, B j F q, and F q. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
51 Generalized Period Functions Example: Consider the higher dimensional analogue of the legendre curve: C n, : y n = (x 1 x 2 x n 1 ) n 1 (1 x 1 ) (1 x n 1 )(1 x 1 x 2 x 3 x n 1 ) C 2, are known as Legendre curves. [ ] j j j Up to a scalar multiple, n F n n n n ; for any 1 j n 1, when convergent, can be realized as a period of C n+1,. Let q = p e 1 (mod n) be a prime power. Let η n be a primitive order n character and ε the trivial multiplicative character in F q. Then n 1 ( #C n, (F q ) = 1 + q n 1 η i + n ηn np i η i ) n n 1 ε ε ;. i=1 Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
52 Generalized Period Functions Example: Consider the higher dimensional analogue of the legendre curve: C n, : y n = (x 1 x 2 x n 1 ) n 1 (1 x 1 ) (1 x n 1 )(1 x 1 x 2 x 3 x n 1 ) C 2, are known as Legendre curves. [ ] j j j Up to a scalar multiple, n F n n n n ; for any 1 j n 1, when convergent, can be realized as a period of C n+1,. Let q = p e 1 (mod n) be a prime power. Let η n be a primitive order n character and ε the trivial multiplicative character in F q. Then n 1 ( #C n, (F q ) = 1 + q n 1 η i + n ηn np i η i ) n n 1 ε ε ;. i=1 Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
53 Generalized Period Functions Example: Consider the higher dimensional analogue of the legendre curve: C n, : y n = (x 1 x 2 x n 1 ) n 1 (1 x 1 ) (1 x n 1 )(1 x 1 x 2 x 3 x n 1 ) C 2, are known as Legendre curves. [ ] j j j Up to a scalar multiple, n F n n n n ; for any 1 j n 1, when convergent, can be realized as a period of C n+1,. Let q = p e 1 (mod n) be a prime power. Let η n be a primitive order n character and ε the trivial multiplicative character in F q. Then n 1 ( #C n, (F q ) = 1 + q n 1 η i + n ηn np i η i ) n n 1 ε ε ;. i=1 Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
54 Generalized Period Functions Local L-functions of C 3,1 and C 4,1 Theorem (Deines, Long, Fuselier, Swisher, T.) Let η 3, and η 4 denote characters of order 3, or 4, respectively, in F q. Let q 1 (mod 3) be a prime power. Then ( ) η3 η 3 η 3 3P 2 ε ε ; 1 = J(η 3, η 3 ) 2 J(η3 2, η2 3 ). (Greene s transformation formula) Let q 1 (mod 4) be a prime power. Then ( ) η4 η 4 η 4 η 4 4P 3 ε ε ε ; 1 = J(η 4, φ) 3 + qj(η 4, φ) J(η 4, φ) 2. (McCarthy s finite field version of Whipple s formula) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
55 Generalized Period Functions Local L-functions of C 3,1 and C 4,1 Theorem (Deines, Long, Fuselier, Swisher, T.) Let η 3, and η 4 denote characters of order 3, or 4, respectively, in F q. Let q 1 (mod 3) be a prime power. Then ( ) η3 η 3 η 3 3P 2 ε ε ; 1 = J(η 3, η 3 ) 2 J(η3 2, η2 3 ). (Greene s transformation formula) Let q 1 (mod 4) be a prime power. Then ( ) η4 η 4 η 4 η 4 4P 3 ε ε ε ; 1 = J(η 4, φ) 3 + qj(η 4, φ) J(η 4, φ) 2. (McCarthy s finite field version of Whipple s formula) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
56 Generalized Period Functions Local L-functions of C 3,1 and C 4,1 Theorem (Deines, Long, Fuselier, Swisher, T.) Let η 3, and η 4 denote characters of order 3, or 4, respectively, in F q. Let q 1 (mod 3) be a prime power. Then ( ) η3 η 3 η 3 3P 2 ε ε ; 1 = J(η 3, η 3 ) 2 J(η3 2, η2 3 ). (Greene s transformation formula) Let q 1 (mod 4) be a prime power. Then ( ) η4 η 4 η 4 η 4 4P 3 ε ε ε ; 1 = J(η 4, φ) 3 + qj(η 4, φ) J(η 4, φ) 2. (McCarthy s finite field version of Whipple s formula) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
57 Generalized Period Functions C 4,1 : y 4 = (x 1 x 2 x 3 ) 3 (1 x 1 )(1 x 2 )(1 x 3 )(x 1 x 2 x 3 ) Ahlgren-Ono For any odd prime p, ( η 2 4P 4 η4 2 η4 2 η 2 ) 4 3 ε ε ε ; 1 = a(p) p, where a(p) is the pth coefficient of the weight-4 Hecke eigenform η(2z) 4 η(4z) 4, with η(z) being the Dedekind eta function. The factor of the zeta function Z C4,1 (T, p) corresponding to y 2 = (x 1 x 2 x 3 ) 3 (1 x 1 )(1 x 2 )(1 x 3 )(x 1 x 2 x 3 ) is Z C old 4,1 (T, p) = (1 a(p)t + p3 T 2 )(1 pt ) (1 T )(1 p 3. T ) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
58 Generalized Period Functions C 4,1 : y 4 = (x 1 x 2 x 3 ) 3 (1 x 1 )(1 x 2 )(1 x 3 )(x 1 x 2 x 3 ) Ahlgren-Ono For any odd prime p, ( η 2 4P 4 η4 2 η4 2 η 2 ) 4 3 ε ε ε ; 1 = a(p) p, where a(p) is the pth coefficient of the weight-4 Hecke eigenform η(2z) 4 η(4z) 4, with η(z) being the Dedekind eta function. The factor of the zeta function Z C4,1 (T, p) corresponding to y 2 = (x 1 x 2 x 3 ) 3 (1 x 1 )(1 x 2 )(1 x 3 )(x 1 x 2 x 3 ) is Z C old 4,1 (T, p) = (1 a(p)t + p3 T 2 )(1 pt ) (1 T )(1 p 3. T ) Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
59 Generalized Period Functions ( ) η4 η 4 P 4 η 4 η 4 3 ε ε ε ; 1 = J(η 4, φ) 3 + qj(η 4, φ) J(η 4, φ) 2 Hasse-Davenport relation Let F be a finite field and F s an extension field over F of degree s. If χ ε F and χ s = χ N Fs/F a character of F s. Then ( g(χ)) s = g(χ s ). The factor of Z C4,1 (T,p) corresponding to new part is (1 + (β 3 p + β 3 p)t + p 3 T 2 ) (1 + (β p + β p )pt + p 3 T 2 ) (1 (β 2 p + β 2 p)t + p 2 T 2 ), where β p = J(η 4, φ). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
60 Generalized Period Functions ( ) η4 η 4 P 4 η 4 η 4 3 ε ε ε ; 1 = J(η 4, φ) 3 + qj(η 4, φ) J(η 4, φ) 2 Hasse-Davenport relation Let F be a finite field and F s an extension field over F of degree s. If χ ε F and χ s = χ N Fs/F a character of F s. Then ( g(χ)) s = g(χ s ). The factor of Z C4,1 (T,p) corresponding to new part is (1 + (β 3 p + β 3 p)t + p 3 T 2 ) (1 + (β p + β p )pt + p 3 T 2 ) (1 (β 2 p + β 2 p)t + p 2 T 2 ), where β p = J(η 4, φ). Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
61 Generalized Period Functions Batyrev-Van Straten: Calabi-Yau manifolds whose Picard Fuchs equations are hypergeometric functions of the form [ ] { d1 1 d 1 d 2 1 d 2 1 4F 3 ; z, d 1, d , 1 3, 1 4, 1 }. 6 Conjectures: z = 1 [Cohen] 4F 3 [ η3 η 3 η 4 η 4 ε ε ε ; 1 ] = J(η 3, η 3 ) 3 J(η 3, η 3 ) 3 + η 12 ( 1)p [Long] Numerically, Long finds the weight 4 cuspidal Hecke forms corresponding to d 1 = 1 2 and d 2 = 1 3, 1 4, 1 6. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
62 Generalized Period Functions Batyrev-Van Straten: Calabi-Yau manifolds whose Picard Fuchs equations are hypergeometric functions of the form [ ] { d1 1 d 1 d 2 1 d 2 1 4F 3 ; z, d 1, d , 1 3, 1 4, 1 }. 6 Conjectures: z = 1 [Cohen] 4F 3 [ η3 η 3 η 4 η 4 ε ε ε ; 1 ] = J(η 3, η 3 ) 3 J(η 3, η 3 ) 3 + η 12 ( 1)p [Long] Numerically, Long finds the weight 4 cuspidal Hecke forms corresponding to d 1 = 1 2 and d 2 = 1 3, 1 4, 1 6. Fang Ting Tu (LSU) Hypergeometric Functions Sep 29, / 33
Hypergeometric Functions over Finite Fields
Hypergeometric Functions over Finite Fields Ling Long Louisiana State University Connecticut Summer School in Number Theory Research Conference Joint work with Jenny Fuselier, Ravi Ramakrishna, Holly Swisher
More informationFrom K3 Surfaces to Noncongruence Modular Forms. Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015
From K3 Surfaces to Noncongruence Modular Forms Explicit Methods for Modularity of K3 Surfaces and Other Higher Weight Motives ICERM October 19, 2015 Winnie Li Pennsylvania State University 1 A K3 surface
More informationGalois Representations
9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationAppell Lauricella hypergeometric functions over finite fields, and a new cubic transformation formula
Appell Lauricella hypergeometric functions over finite fields and a new cubic transformation formula Sharon Frechette Holly Swisher and Fang-Ting Tu Abstract We define a finite-field version of Appell
More informationThe Arithmetic of Noncongruence Modular Forms. Winnie Li. Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan
The Arithmetic of Noncongruence Modular Forms Winnie Li Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan 1 Modular forms A modular form is a holomorphic function
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
More informationSuper congruences involving binomial coefficients and new series for famous constants
Tal at the 5th Pacific Rim Conf. on Math. (Stanford Univ., 2010 Super congruences involving binomial coefficients and new series for famous constants Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
More informationof S 2 (Γ(p)). (Hecke, 1928)
Equivariant Atkin-Lehner Theory Introduction Atkin-Lehner Theory: Atkin-Lehner (1970), Miyake (1971), Li (1975): theory of newforms (+ T-algebra action) a canonical basis for S k (Γ 1 (N)) and hence also
More informationCOMPUTING ARITHMETIC PICARD-FUCHS EQUATIONS JEROEN SIJSLING
COMPUTING ARITHMETIC PICARD-FUCHS EQUATIONS JEROEN SIJSLING These are the extended notes for a talk given at the Fields Institute on August 24th, 2011, about my thesis work with Frits Beukers at the Universiteit
More informationNotes on character sums and complex functions over nite elds
Notes on character sums and complex functions over nite elds N. V. Proskurin Abstract. The intent of this notes is to present briey the complex functions over nite elds theory. That includes: (a) additive
More informationA conjecture of Evans on Kloosterman sums
Evan P. Dummit, Adam W. Goldberg, and Alexander R. Perry 2009 Wisconsin Number Theory REU Project Notation We will make use of the following notation: p odd prime Additive character ψ : F p C, x e 2πix
More informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field
More informationIgusa Class Polynomials
Genus 2 day, Intercity Number Theory Seminar Utrecht, April 18th 2008 Overview Igusa class polynomials are the genus 2 analogue of the classical Hilbert class polynomial. For each notion, I will 1. tell
More informationThe Galois representation associated to modular forms pt. 2 Erik Visse
The Galois representation associated to modular forms pt. 2 Erik Visse May 26, 2015 These are the notes from the seminar on local Galois representations held in Leiden in the spring of 2015. The website
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationTITLES & ABSTRACTS OF TALKS
TITLES & ABSTRACTS OF TALKS Speaker: Reinier Broker Title: Computing Fourier coefficients of theta series Abstract: In this talk we explain Patterson s method to effectively compute Fourier coefficients
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationHigher Hasse Witt matrices. Masha Vlasenko. June 1, 2016 UAM Poznań
Higher Hasse Witt matrices Masha Vlasenko June 1, 2016 UAM Poznań Motivation: zeta functions and periods X/F q smooth projective variety, q = p a zeta function of X: ( Z(X/F q ; T ) = exp m=1 #X(F q m)
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
More informationCounting points on elliptic curves over F q
Counting points on elliptic curves over F q Christiane Peters DIAMANT-Summer School on Elliptic and Hyperelliptic Curve Cryptography September 17, 2008 p.2 Motivation Given an elliptic curve E over a finite
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
More informationContinuing the pre/review of the simple (!?) case...
Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m
More informationOn Spectrum and Arithmetic
On Spectrum and Arithmetic C. S. Rajan School of Mathematics, Tata Institute of Fundamental Research, Mumbai rajan@math.tifr.res.in 11 August 2010 C. S. Rajan (TIFR) On Spectrum and Arithmetic 11 August
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationFIELD THEORY. Contents
FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions
More informationApéry Numbers, Franel Numbers and Binary Quadratic Forms
A tal given at Tsinghua University (April 12, 2013) and Hong Kong University of Science and Technology (May 2, 2013) Apéry Numbers, Franel Numbers and Binary Quadratic Forms Zhi-Wei Sun Nanjing University
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationSome. Manin-Mumford. Problems
Some Manin-Mumford Problems S. S. Grant 1 Key to Stark s proof of his conjectures over imaginary quadratic fields was the construction of elliptic units. A basic approach to elliptic units is as follows.
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationCongruent Number Problem and Elliptic curves
Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using
More informationOn the Langlands Program
On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for
More informationTWISTS OF ELLIPTIC CURVES. Ken Ono
TWISTS OF ELLIPTIC CURVES Ken Ono Abstract. If E is an elliptic curve over Q, then let E(D) denote the D quadratic twist of E. It is conjectured that there are infinitely many primes p for which E(p) has
More informationPoint counting and real multiplication on K3 surfaces
Point counting and real multiplication on K3 surfaces Andreas-Stephan Elsenhans Universität Paderborn September 2016 Joint work with J. Jahnel. A.-S. Elsenhans (Universität Paderborn) K3 surfaces September
More informationTATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple
TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive
More informationp-adic iterated integrals, modular forms of weight one, and Stark-Heegner points.
Stark s Conjecture and related topics p-adic iterated integrals, modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More informationDifferential equations concerned with mirror symmetry of toric K3 hypersurfaces with arithmetic properties. Atsuhira Nagano (University of Tokyo)
Differential equations concerned with mirror symmetry of toric K3 hypersurfaces with arithmetic properties Atsuhira Nagano (University of Tokyo) 1 Contents Section 1 : Introduction 1: Hypergeometric differential
More informationProjects on elliptic curves and modular forms
Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationOverview. exp(2πiq(x)z) x Z m
Overview We give an introduction to the theory of automorphic forms on the multiplicative group of a quaternion algebra over Q and over totally real fields F (including Hilbert modular forms). We know
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields
More informationCalculation and arithmetic significance of modular forms
Calculation and arithmetic significance of modular forms Gabor Wiese 07/11/2014 An elliptic curve Let us consider the elliptic curve given by the (affine) equation y 2 + y = x 3 x 2 10x 20 We show its
More informationthis to include the explicit maps, please do so!
Contents 1. Introduction 1 2. Warmup: descent on A 2 + B 3 = N 2 3. A 2 + B 3 = N: enriched descent 3 4. The Faltings height 5 5. Isogeny and heights 6 6. The core of the proof that the height doesn t
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC
More informationARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3
ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 JOHN J WEBB Abstract. Let b 13 n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b 13 n) modulo 3 where
More informationGalois Representations
Galois Representations Samir Siksek 12 July 2016 Representations of Elliptic Curves Crash Course E/Q elliptic curve; G Q = Gal(Q/Q); p prime. Fact: There is a τ H such that E(C) = C Z + τz = R Z R Z. Easy
More informationHECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.
HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. MATTHEW BOYLAN AND KENNY BROWN Abstract. Recent works of Garvan [2] and Y. Yang [7], [8] concern a certain family of half-integral
More informationFrobenius Distributions
Frobenius Distributions Edgar Costa (MIT) September 11th, 2018 Massachusetts Institute of Technology Slides available at edgarcosta.org under Research Polynomials Write f p (x) := f(x) mod p f(x) = a n
More informationCongruence sheaves and congruence differential equations Beyond hypergeometric functions
Congruence sheaves and congruence differential equations Beyond hypergeometric functions Vasily Golyshev Lille, March 6, 204 / 45 Plan of talk Report on joint work in progress with Anton Mellit and Duco
More informationA P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME
A P-ADIC SUPERCONGRUENCE CONJECTURE OF VAN HAMME ERIC MORTENSON Abstract. In this paper we prove a p-adic supercongruence conjecture of van Hamme by placing it in the context of the Beuers-lie supercongruences
More informationFANG-TING TU. Department of Mathematics, Louisiana State University, Baton Rouge, LA, 70803
FANG-TING TU ftu@lsu.edu Department of Mathematics, +1 225-235-6956 Louisiana State University, Baton Rouge, LA, 70803 EMPLOYMENT RECORD Fall 2016 - Jan. 2016 - Feb. 2016 Assistant Professor, Louisiana
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationMonodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.
More informationMathematics for Cryptography
Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1
More informationOn the arithmetic of modular forms
On the arithmetic of modular forms Gabor Wiese 15 June 2017 Modular forms There are five fundamental operations: addition, subtraction, multiplication, division, and modular forms. Martin Eichler (1912-1992)
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationCharacters (definition)
Characters (definition) Let p be a prime. A character on F p is a group homomorphism F p C. Example The map a 1 a F p denoted by ɛ. is called the trivial character, henceforth Example If g is a generator
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationMath Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem. Spring 2013
Math 847 - Topics in Algebra Course Notes: A Proof of Fermat s Last Theorem Spring 013 January 6, 013 Chapter 1 Background and History 1.1 Pythagorean triples Consider Pythagorean triples (x, y, z) so
More informationComputing central values of twisted L-functions of higher degre
Computing central values of twisted L-functions of higher degree Computational Aspects of L-functions ICERM November 13th, 2015 Computational challenges We want to compute values of L-functions on the
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationSome remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k.
Some remarks on signs in functional equations Benedict H. Gross To Robert Rankin Let k be a number field, and let M be a pure motive of weight n over k. Assume that there is a non-degenerate pairing M
More informationL-Polynomials of Curves over Finite Fields
School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More informationIntroduction to Modular Forms
Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education
More informationA brief overview of modular and automorphic forms
A brief overview of modular and automorphic forms Kimball Martin Original version: Fall 200 Revised version: June 9, 206 These notes were originally written in Fall 200 to provide a very quick overview
More informationConstructing Class invariants
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,
More informationThe Arithmetic of Elliptic Curves
The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil
More informationMA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26
MA 162B LECTURE NOTES: THURSDAY, FEBRUARY 26 1. Abelian Varieties of GL 2 -Type 1.1. Modularity Criteria. Here s what we ve shown so far: Fix a continuous residual representation : G Q GLV, where V is
More informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationTables of elliptic curves over number fields
Tables of elliptic curves over number fields John Cremona University of Warwick 10 March 2014 Overview 1 Why make tables? What is a table? 2 Simple enumeration 3 Using modularity 4 Curves with prescribed
More informationConstructing genus 2 curves over finite fields
Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More information2-ADIC PROPERTIES OF CERTAIN MODULAR FORMS AND THEIR APPLICATIONS TO ARITHMETIC FUNCTIONS
2-ADIC PROPERTIES OF CERTAIN MODULAR FORMS AND THEIR APPLICATIONS TO ARITHMETIC FUNCTIONS KEN ONO AND YUICHIRO TAGUCHI Abstract. It is a classical observation of Serre that the Hecke algebra acts locally
More informationThe Sato-Tate conjecture for abelian varieties
The Sato-Tate conjecture for abelian varieties Andrew V. Sutherland Massachusetts Institute of Technology March 5, 2014 Mikio Sato John Tate Joint work with F. Fité, K.S. Kedlaya, and V. Rotger, and also
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationp-adic families of modular forms
April 3, 2009 Plan Background and Motivation Lecture 1 Background and Motivation Overconvergent p-adic modular forms The canonical subgroup and the U p operator Families of p-adic modular forms - Strategies
More informationCONGRUENCES FOR POWERS OF THE PARTITION FUNCTION
CONGRUENCES FOR POWERS OF THE PARTITION FUNCTION MADELINE LOCUS AND IAN WAGNER Abstract. Let p tn denote the number of partitions of n into t colors. In analogy with Ramanujan s work on the partition function,
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple
More information