The principal ideal problem in quaternion algebras
|
|
- Lee Cooper
- 7 years ago
- Views:
Transcription
1 The principal ideal problem in quaternion algebras IMB, Université de Bordeaux March 11, 2014 CIRM, Luminy
2 Elliptic curves Theorem (Wiles, Taylor, Diamond, Conrad, Breuil) Let E be an elliptic curve over Q with conductor N. Then there exists a weight 2, level N newform f such that for all p N we have a p (f) = p + 1 E(F p ). Easy to compute spaces of classical modular forms Lists of curves of given conductor tables (Cremona). What if we replace Q with a number field F? automorphic forms for GL(2)/F.
3 Elliptic curves Theorem (Wiles, Taylor, Diamond, Conrad, Breuil) Let E be an elliptic curve over Q with conductor N. Then there exists a weight 2, level N newform f such that for all p N we have a p (f) = p + 1 E(F p ). Easy to compute spaces of classical modular forms Lists of curves of given conductor tables (Cremona). What if we replace Q with a number field F? automorphic forms for GL(2)/F.
4 Elliptic curves Theorem (Wiles, Taylor, Diamond, Conrad, Breuil) Let E be an elliptic curve over Q with conductor N. Then there exists a weight 2, level N newform f such that for all p N we have a p (f) = p + 1 E(F p ). Easy to compute spaces of classical modular forms Lists of curves of given conductor tables (Cremona). What if we replace Q with a number field F? automorphic forms for GL(2)/F.
5 Elliptic curves Theorem (Wiles, Taylor, Diamond, Conrad, Breuil) Let E be an elliptic curve over Q with conductor N. Then there exists a weight 2, level N newform f such that for all p N we have a p (f) = p + 1 E(F p ). Easy to compute spaces of classical modular forms Lists of curves of given conductor tables (Cremona). What if we replace Q with a number field F? automorphic forms for GL(2)/F.
6 Goal: computing automorphic forms for GL(2)/F Computing = computing a finite dimensional vector space with an action of Hecke operators, that is isomorphic to a space of automorphic forms. Previous work: F = Q: classical modular forms. F totally real: Donnelly,, Greenberg, Voight. F imaginary quadratic: Bygott, Cremona, Figueiredo, Lingham, Şengün, Torrey, Whitley, Yasaki. some other field F of small degree: Gunnells, Yasaki. Our algorithm: any F with at most one complex place.
7 Goal: computing automorphic forms for GL(2)/F Computing = computing a finite dimensional vector space with an action of Hecke operators, that is isomorphic to a space of automorphic forms. Previous work: F = Q: classical modular forms. F totally real: Donnelly,, Greenberg, Voight. F imaginary quadratic: Bygott, Cremona, Figueiredo, Lingham, Şengün, Torrey, Whitley, Yasaki. some other field F of small degree: Gunnells, Yasaki. Our algorithm: any F with at most one complex place.
8 Goal: computing automorphic forms for GL(2)/F Computing = computing a finite dimensional vector space with an action of Hecke operators, that is isomorphic to a space of automorphic forms. Previous work: F = Q: classical modular forms. F totally real: Donnelly,, Greenberg, Voight. F imaginary quadratic: Bygott, Cremona, Figueiredo, Lingham, Şengün, Torrey, Whitley, Yasaki. some other field F of small degree: Gunnells, Yasaki. Our algorithm: any F with at most one complex place.
9 Computing automorphic forms for GL(2)/F : sketch Sketch of the method: Jacquet-Langlands: compute a suitable quaternion algebra over F and a maximal order O. Compute a fundamental domain for the unit group Γ = O. Compute the cohomology spaces H (Γ, M). Formulas for T p : compute generator of an O-ideal of norm p.
10 Computing automorphic forms for GL(2)/F : sketch Sketch of the method: Jacquet-Langlands: compute a suitable quaternion algebra over F and a maximal order O. Compute a fundamental domain for the unit group Γ = O. Compute the cohomology spaces H (Γ, M). Formulas for T p : compute generator of an O-ideal of norm p.
11 Computing automorphic forms for GL(2)/F : sketch Sketch of the method: Jacquet-Langlands: compute a suitable quaternion algebra over F and a maximal order O. Compute a fundamental domain for the unit group Γ = O. Compute the cohomology spaces H (Γ, M). Formulas for T p : compute generator of an O-ideal of norm p.
12 Computing automorphic forms for GL(2)/F : sketch Sketch of the method: Jacquet-Langlands: compute a suitable quaternion algebra over F and a maximal order O. Compute a fundamental domain for the unit group Γ = O. Compute the cohomology spaces H (Γ, M). Formulas for T p : compute generator of an O-ideal of norm p.
13 Computing automorphic forms for GL(2)/F : sketch Sketch of the method: Jacquet-Langlands: compute a suitable quaternion algebra over F and a maximal order O. Compute a fundamental domain for the unit group Γ = O. Compute the cohomology spaces H (Γ, M). Formulas for T p : compute generator of an O-ideal of norm p.
14 Quaternion algebras A quaternion algebra over F is a central simple algebra A of dimension 4. Equivalently (char F 2), A is of the form ( ) a, b A = = F + Fi + Fj + Fij F with the relations where a, b F. The reduced norm is i 2 = a, j 2 = b and ij = ji nrd(x + yi + zj + tij) = x 2 ay 2 bz 2 + abt 2.
15 Quaternion algebras A quaternion algebra over F is a central simple algebra A of dimension 4. Equivalently (char F 2), A is of the form ( ) a, b A = = F + Fi + Fj + Fij F with the relations where a, b F. The reduced norm is i 2 = a, j 2 = b and ij = ji nrd(x + yi + zj + tij) = x 2 ay 2 bz 2 + abt 2.
16 Quaternion algebras A quaternion algebra over F is a central simple algebra A of dimension 4. Equivalently (char F 2), A is of the form ( ) a, b A = = F + Fi + Fj + Fij F with the relations where a, b F. The reduced norm is i 2 = a, j 2 = b and ij = ji nrd(x + yi + zj + tij) = x 2 ay 2 bz 2 + abt 2.
17 Ramification Only quaternion algebra over C: M 2 (C). Only quaternion algebras over R: M 2 (R) and H = ( ) 1, 1 R. F a p-adic field. Only two quaternion algebras over F: M 2 (F) and a division algebra. F a number field and A/F a quaternion algebra. v place of F: v splits if A F F v = M2 (F v ), ramifies otherwise. Reduced discriminant δ A = product of the ramified primes. Discriminant A = F 4 N(δ A ) 2.
18 Ramification Only quaternion algebra over C: M 2 (C). Only quaternion algebras over R: M 2 (R) and H = ( ) 1, 1 R. F a p-adic field. Only two quaternion algebras over F: M 2 (F) and a division algebra. F a number field and A/F a quaternion algebra. v place of F: v splits if A F F v = M2 (F v ), ramifies otherwise. Reduced discriminant δ A = product of the ramified primes. Discriminant A = F 4 N(δ A ) 2.
19 Ramification Only quaternion algebra over C: M 2 (C). Only quaternion algebras over R: M 2 (R) and H = ( ) 1, 1 R. F a p-adic field. Only two quaternion algebras over F: M 2 (F) and a division algebra. F a number field and A/F a quaternion algebra. v place of F: v splits if A F F v = M2 (F v ), ramifies otherwise. Reduced discriminant δ A = product of the ramified primes. Discriminant A = F 4 N(δ A ) 2.
20 Ramification Only quaternion algebra over C: M 2 (C). Only quaternion algebras over R: M 2 (R) and H = ( ) 1, 1 R. F a p-adic field. Only two quaternion algebras over F: M 2 (F) and a division algebra. F a number field and A/F a quaternion algebra. v place of F: v splits if A F F v = M2 (F v ), ramifies otherwise. Reduced discriminant δ A = product of the ramified primes. Discriminant A = F 4 N(δ A ) 2.
21 Ramification Only quaternion algebra over C: M 2 (C). Only quaternion algebras over R: M 2 (R) and H = ( ) 1, 1 R. F a p-adic field. Only two quaternion algebras over F: M 2 (F) and a division algebra. F a number field and A/F a quaternion algebra. v place of F: v splits if A F F v = M2 (F v ), ramifies otherwise. Reduced discriminant δ A = product of the ramified primes. Discriminant A = F 4 N(δ A ) 2.
22 Ramification Only quaternion algebra over C: M 2 (C). Only quaternion algebras over R: M 2 (R) and H = ( ) 1, 1 R. F a p-adic field. Only two quaternion algebras over F: M 2 (F) and a division algebra. F a number field and A/F a quaternion algebra. v place of F: v splits if A F F v = M2 (F v ), ramifies otherwise. Reduced discriminant δ A = product of the ramified primes. Discriminant A = F 4 N(δ A ) 2.
23 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
24 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
25 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
26 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
27 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
28 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I)., integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
29 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
30 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
31 Orders and ideals F number field with integers Z F, A/F quaternion algebra. A lattice in A is a finitely generatedz F module L such that FL = A. An order in A is a lattice O that is also a subring with unit. For a lattice I, the right order is O r (I) = {x A Ix x}, similarly left order O l (I). A right O-ideal is a lattice I such that O r (I) = O. Two-sided ideal if O r (I) = O l (I), integral if I O. nrd(i) is the ideal generated by {nrd(x) : x I}. I, J lattices such that O r (I) = O l (J): product IJ generated by {xy : x I, y J}.
32 Quaternion algebras: examples Let A = ( ) 3, 1 Q. It is ramified at 2 and 3. O = Z+Zi +Zj +Zij is an order in A. O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2 is a maximal order in A. I 1 = 19O is an integral two-sided O-ideal and nrd(i 1 ) = 19 2 Z. Let x = 3 4i + j A. I 2 = xo is an integral right O-ideal but O l (I 2 ) = xox 1 O. nrd(x) = 38 so nrd(i 2 ) = 38Z. I = xo + 19O is an integral right O-ideal, nrd(i) = 19Z.
33 Quaternion algebras: examples Let A = ( ) 3, 1 Q. It is ramified at 2 and 3. O = Z+Zi +Zj +Zij is an order in A. O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2 is a maximal order in A. I 1 = 19O is an integral two-sided O-ideal and nrd(i 1 ) = 19 2 Z. Let x = 3 4i + j A. I 2 = xo is an integral right O-ideal but O l (I 2 ) = xox 1 O. nrd(x) = 38 so nrd(i 2 ) = 38Z. I = xo + 19O is an integral right O-ideal, nrd(i) = 19Z.
34 Quaternion algebras: examples Let A = ( ) 3, 1 Q. It is ramified at 2 and 3. O = Z+Zi +Zj +Zij is an order in A. O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2 is a maximal order in A. I 1 = 19O is an integral two-sided O-ideal and nrd(i 1 ) = 19 2 Z. Let x = 3 4i + j A. I 2 = xo is an integral right O-ideal but O l (I 2 ) = xox 1 O. nrd(x) = 38 so nrd(i 2 ) = 38Z. I = xo + 19O is an integral right O-ideal, nrd(i) = 19Z.
35 Quaternion algebras: examples Let A = ( ) 3, 1 Q. It is ramified at 2 and 3. O = Z+Zi +Zj +Zij is an order in A. O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2 is a maximal order in A. I 1 = 19O is an integral two-sided O-ideal and nrd(i 1 ) = 19 2 Z. Let x = 3 4i + j A. I 2 = xo is an integral right O-ideal but O l (I 2 ) = xox 1 O. nrd(x) = 38 so nrd(i 2 ) = 38Z. I = xo + 19O is an integral right O-ideal, nrd(i) = 19Z.
36 Quaternion algebras: examples Let A = ( ) 3, 1 Q. It is ramified at 2 and 3. O = Z+Zi +Zj +Zij is an order in A. O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2 is a maximal order in A. I 1 = 19O is an integral two-sided O-ideal and nrd(i 1 ) = 19 2 Z. Let x = 3 4i + j A. I 2 = xo is an integral right O-ideal but O l (I 2 ) = xox 1 O. nrd(x) = 38 so nrd(i 2 ) = 38Z. I = xo + 19O is an integral right O-ideal, nrd(i) = 19Z.
37 Quaternion algebras: examples Let A = ( ) 3, 1 Q. It is ramified at 2 and 3. O = Z+Zi +Zj +Zij is an order in A. O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2 is a maximal order in A. I 1 = 19O is an integral two-sided O-ideal and nrd(i 1 ) = 19 2 Z. Let x = 3 4i + j A. I 2 = xo is an integral right O-ideal but O l (I 2 ) = xox 1 O. nrd(x) = 38 so nrd(i 2 ) = 38Z. I = xo + 19O is an integral right O-ideal, nrd(i) = 19Z.
38 Principal ideal problem Two right O-ideals I, J are equivalent if we have I = xj for some x A. An ideal I is principal if I = xo for some x A. Set of equivalence classes of right O-ideals: Cl(O). The principal ideal problem is: Problem Given a right O-ideal I, decide whether I is principal. In that case, compute a generator. We will restrict to maximal orders.
39 Principal ideal problem Two right O-ideals I, J are equivalent if we have I = xj for some x A. An ideal I is principal if I = xo for some x A. Set of equivalence classes of right O-ideals: Cl(O). The principal ideal problem is: Problem Given a right O-ideal I, decide whether I is principal. In that case, compute a generator. We will restrict to maximal orders.
40 Principal ideal problem Two right O-ideals I, J are equivalent if we have I = xj for some x A. An ideal I is principal if I = xo for some x A. Set of equivalence classes of right O-ideals: Cl(O). The principal ideal problem is: Problem Given a right O-ideal I, decide whether I is principal. In that case, compute a generator. We will restrict to maximal orders.
41 Principal ideal problem: definite case Two natural cases: 1 A is definite if every infinite place of F is real and ramified. Tr(nrd) positive definite quadratic form lattice enumeration method. Theorem (Donnelly, Dembélé, Kirschmer, Voight) There exists an explicit algorithm for solving the principal ideal problem in definite algebras that runs in polynomial time in the size of the input when the base field is fixed.
42 Principal ideal problem: definite case Two natural cases: 1 A is definite if every infinite place of F is real and ramified. Tr(nrd) positive definite quadratic form lattice enumeration method. Theorem (Donnelly, Dembélé, Kirschmer, Voight) There exists an explicit algorithm for solving the principal ideal problem in definite algebras that runs in polynomial time in the size of the input when the base field is fixed.
43 Principal ideal problem: definite case Two natural cases: 1 A is definite if every infinite place of F is real and ramified. Tr(nrd) positive definite quadratic form lattice enumeration method. Theorem (Donnelly, Dembélé, Kirschmer, Voight) There exists an explicit algorithm for solving the principal ideal problem in definite algebras that runs in polynomial time in the size of the input when the base field is fixed.
44 Principal ideal problem: indefinite case 2 A is indefinite otherwise. Cl A (F): ray class field with modulus the product of the ramified real places. Theorem (Eichler) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Then the reduced norm induces a bijection Cl(O) Cl A (F). Testing equivalence same problem over the base field. Computing a generator: algorithm by Kirschmer and Voight based on lattice enumeration, complexity is unknown.
45 Principal ideal problem: indefinite case 2 A is indefinite otherwise. Cl A (F): ray class field with modulus the product of the ramified real places. Theorem (Eichler) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Then the reduced norm induces a bijection Cl(O) Cl A (F). Testing equivalence same problem over the base field. Computing a generator: algorithm by Kirschmer and Voight based on lattice enumeration, complexity is unknown.
46 Principal ideal problem: indefinite case 2 A is indefinite otherwise. Cl A (F): ray class field with modulus the product of the ramified real places. Theorem (Eichler) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Then the reduced norm induces a bijection Cl(O) Cl A (F). Testing equivalence same problem over the base field. Computing a generator: algorithm by Kirschmer and Voight based on lattice enumeration, complexity is unknown.
47 Principal ideal problem: indefinite case 2 A is indefinite otherwise. Cl A (F): ray class field with modulus the product of the ramified real places. Theorem (Eichler) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Then the reduced norm induces a bijection Cl(O) Cl A (F). Testing equivalence same problem over the base field. Computing a generator: algorithm by Kirschmer and Voight based on lattice enumeration, complexity is unknown.
48 Principal ideal problem: indefinite case 2 A is indefinite otherwise. Cl A (F): ray class field with modulus the product of the ramified real places. Theorem (Eichler) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Then the reduced norm induces a bijection Cl(O) Cl A (F). Testing equivalence same problem over the base field. Computing a generator: algorithm by Kirschmer and Voight based on lattice enumeration, complexity is unknown.
49 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
50 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
51 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
52 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
53 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
54 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
55 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
56 Buchmann s algorithm, sketch Assuming the generalized Riemann hypothesis: Choose a set of primes in F that generates Cl(F): the factor base B. Look for random smooth elements in Z F : the relations R. Stop when B / R = Cl(F). Given a fractional ideal I: Look for a random element x I 1 such that xi is smooth. Do linear algebra.
57 Smooth numbers Theorem (Canfield, Erdös, Pomerance) Let ψ(x, y) = {n x, n is y-smooth}. If we set L(x) = exp( ln x ln ln x), then ψ(x, L(x) a ) = xl(x) 1/(2a)+o(1).
58 Adapting Buchmann s algorithm New algorithm for indefinite quaternion algebras: subexponential complexity under GRH and some heuristics. Set of ideals is not a group! Would work if every ideal was two-sided: group generated by maximal two-sided ideals. Eichler, indefinite case: up to equivalence, every right ideal is almost two-sided. nrd(i) = p n = I Jp n/2 with nrd(j) = p n mod 2. Make this effective? Need to understand the local case.
59 Adapting Buchmann s algorithm New algorithm for indefinite quaternion algebras: subexponential complexity under GRH and some heuristics. Set of ideals is not a group! Would work if every ideal was two-sided: group generated by maximal two-sided ideals. Eichler, indefinite case: up to equivalence, every right ideal is almost two-sided. nrd(i) = p n = I Jp n/2 with nrd(j) = p n mod 2. Make this effective? Need to understand the local case.
60 Adapting Buchmann s algorithm New algorithm for indefinite quaternion algebras: subexponential complexity under GRH and some heuristics. Set of ideals is not a group! Would work if every ideal was two-sided: group generated by maximal two-sided ideals. Eichler, indefinite case: up to equivalence, every right ideal is almost two-sided. nrd(i) = p n = I Jp n/2 with nrd(j) = p n mod 2. Make this effective? Need to understand the local case.
61 Adapting Buchmann s algorithm New algorithm for indefinite quaternion algebras: subexponential complexity under GRH and some heuristics. Set of ideals is not a group! Would work if every ideal was two-sided: group generated by maximal two-sided ideals. Eichler, indefinite case: up to equivalence, every right ideal is almost two-sided. nrd(i) = p n = I Jp n/2 with nrd(j) = p n mod 2. Make this effective? Need to understand the local case.
62 Adapting Buchmann s algorithm New algorithm for indefinite quaternion algebras: subexponential complexity under GRH and some heuristics. Set of ideals is not a group! Would work if every ideal was two-sided: group generated by maximal two-sided ideals. Eichler, indefinite case: up to equivalence, every right ideal is almost two-sided. nrd(i) = p n = I Jp n/2 with nrd(j) = p n mod 2. Make this effective? Need to understand the local case.
63 Adapting Buchmann s algorithm New algorithm for indefinite quaternion algebras: subexponential complexity under GRH and some heuristics. Set of ideals is not a group! Would work if every ideal was two-sided: group generated by maximal two-sided ideals. Eichler, indefinite case: up to equivalence, every right ideal is almost two-sided. nrd(i) = p n = I Jp n/2 with nrd(j) = p n mod 2. Make this effective? Need to understand the local case.
64 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
65 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
66 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
67 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
68 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
69 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
70 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
71 Local case F a p-adic field, R its ring of integers. The division quaternion algebra over F has a unique maximal order and every ideal is two-sided. In M 2 (F), maximal order O = M 2 (R). Every right O-ideal I is principal, generated by an element g GL 2 (F). I is two-sided if and only if g F GL 2 (R). need to understand GL 2 (F)/F GL 2 (R). Hermite normal form? Not sufficiently geometric.
72 The Bruhat-Tits tree T F p-adic field, R its ring of integers, π uniformizer. Lattice in V = F 2 : rank 2 R-submodule L such that FL = V. Vertices of T : homothety classes of lattices in F 2. Distance between vertices P, P represented by L, L : write L = Re 1 + Re 2 and L = Rπ a e 1 + Rπ b e 2. d(p, P ) = a b. Edge between vertices at distance 1. GL 2 (F) acts transitively on the vertices, the stabilizer of the class of L = R 2 is F GL 2 (R).
73 The Bruhat-Tits tree T F p-adic field, R its ring of integers, π uniformizer. Lattice in V = F 2 : rank 2 R-submodule L such that FL = V. Vertices of T : homothety classes of lattices in F 2. Distance between vertices P, P represented by L, L : write L = Re 1 + Re 2 and L = Rπ a e 1 + Rπ b e 2. d(p, P ) = a b. Edge between vertices at distance 1. GL 2 (F) acts transitively on the vertices, the stabilizer of the class of L = R 2 is F GL 2 (R).
74 The Bruhat-Tits tree T F p-adic field, R its ring of integers, π uniformizer. Lattice in V = F 2 : rank 2 R-submodule L such that FL = V. Vertices of T : homothety classes of lattices in F 2. Distance between vertices P, P represented by L, L : write L = Re 1 + Re 2 and L = Rπ a e 1 + Rπ b e 2. d(p, P ) = a b. Edge between vertices at distance 1. GL 2 (F) acts transitively on the vertices, the stabilizer of the class of L = R 2 is F GL 2 (R).
75 The Bruhat-Tits tree T F p-adic field, R its ring of integers, π uniformizer. Lattice in V = F 2 : rank 2 R-submodule L such that FL = V. Vertices of T : homothety classes of lattices in F 2. Distance between vertices P, P represented by L, L : write L = Re 1 + Re 2 and L = Rπ a e 1 + Rπ b e 2. d(p, P ) = a b. Edge between vertices at distance 1. GL 2 (F) acts transitively on the vertices, the stabilizer of the class of L = R 2 is F GL 2 (R).
76 The Bruhat-Tits tree T F p-adic field, R its ring of integers, π uniformizer. Lattice in V = F 2 : rank 2 R-submodule L such that FL = V. Vertices of T : homothety classes of lattices in F 2. Distance between vertices P, P represented by L, L : write L = Re 1 + Re 2 and L = Rπ a e 1 + Rπ b e 2. d(p, P ) = a b. Edge between vertices at distance 1. GL 2 (F) acts transitively on the vertices, the stabilizer of the class of L = R 2 is F GL 2 (R).
77 The Bruhat-Tits tree T F p-adic field, R its ring of integers, π uniformizer. Lattice in V = F 2 : rank 2 R-submodule L such that FL = V. Vertices of T : homothety classes of lattices in F 2. Distance between vertices P, P represented by L, L : write L = Re 1 + Re 2 and L = Rπ a e 1 + Rπ b e 2. d(p, P ) = a b. Edge between vertices at distance 1. GL 2 (F) acts transitively on the vertices, the stabilizer of the class of L = R 2 is F GL 2 (R).
78 Reduction theory of SL 2 Let P 0 be the vertex corresponding to R 2 and P 1 be a vertex at distance 1 from P 0. SL 2 (R) acts transitively on the set of vertices at fixed distance from P 0. Theorem The action of the group G = SL 2 (F) on the vertices of T has exactly two orbits G P 0 and G P 1.
79 Reduction theory of SL 2 Let P 0 be the vertex corresponding to R 2 and P 1 be a vertex at distance 1 from P 0. SL 2 (R) acts transitively on the set of vertices at fixed distance from P 0. Theorem The action of the group G = SL 2 (F) on the vertices of T has exactly two orbits G P 0 and G P 1.
80 Reduction theory of SL 2 Let P 0 be the vertex corresponding to R 2 and P 1 be a vertex at distance 1 from P 0. SL 2 (R) acts transitively on the set of vertices at fixed distance from P 0. Theorem The action of the group G = SL 2 (F) on the vertices of T has exactly two orbits G P 0 and G P 1.
81 Using the reduction theory of SL 2 Returning to ideals: Let I be an integral ideal with norm p n g local generator of I P = g P 0, d(p 0, P) n h A with nrd(h) = 1 such that h P = P n mod 2 then hi = Jp n/2.
82 Using the reduction theory of SL 2 Returning to ideals: Let I be an integral ideal with norm p n g local generator of I P = g P 0, d(p 0, P) n h A with nrd(h) = 1 such that h P = P n mod 2 then hi = Jp n/2.
83 Using the reduction theory of SL 2 Returning to ideals: Let I be an integral ideal with norm p n g local generator of I P = g P 0, d(p 0, P) n h A with nrd(h) = 1 such that h P = P n mod 2 then hi = Jp n/2.
84 Using the reduction theory of SL 2 Returning to ideals: Let I be an integral ideal with norm p n g local generator of I P = g P 0, d(p 0, P) n h A with nrd(h) = 1 such that h P = P n mod 2 then hi = Jp n/2.
85 Using the reduction theory of SL 2 Returning to ideals: Let I be an integral ideal with norm p n g local generator of I P = g P 0, d(p 0, P) n h A with nrd(h) = 1 such that h P = P n mod 2 then hi = Jp n/2.
86 Reduction theory, globally Use the reduction algorithm prime by prime. The element h should be in O l for all l p. Turns an ideal with norm having even valuation at every split prime into a two-sided ideal with the same norm. Let O = O l (J) where J is an integral right O-ideal of norm p. Look for units in O and O acting transitively on the projective line of the residue field. Are there enough units?
87 Reduction theory, globally Use the reduction algorithm prime by prime. The element h should be in O l for all l p. Turns an ideal with norm having even valuation at every split prime into a two-sided ideal with the same norm. Let O = O l (J) where J is an integral right O-ideal of norm p. Look for units in O and O acting transitively on the projective line of the residue field. Are there enough units?
88 Reduction theory, globally Use the reduction algorithm prime by prime. The element h should be in O l for all l p. Turns an ideal with norm having even valuation at every split prime into a two-sided ideal with the same norm. Let O = O l (J) where J is an integral right O-ideal of norm p. Look for units in O and O acting transitively on the projective line of the residue field. Are there enough units?
89 Reduction theory, globally Use the reduction algorithm prime by prime. The element h should be in O l for all l p. Turns an ideal with norm having even valuation at every split prime into a two-sided ideal with the same norm. Let O = O l (J) where J is an integral right O-ideal of norm p. Look for units in O and O acting transitively on the projective line of the residue field. Are there enough units?
90 Reduction theory, globally Use the reduction algorithm prime by prime. The element h should be in O l for all l p. Turns an ideal with norm having even valuation at every split prime into a two-sided ideal with the same norm. Let O = O l (J) where J is an integral right O-ideal of norm p. Look for units in O and O acting transitively on the projective line of the residue field. Are there enough units?
91 Reduction theory, globally Use the reduction algorithm prime by prime. The element h should be in O l for all l p. Turns an ideal with norm having even valuation at every split prime into a two-sided ideal with the same norm. Let O = O l (J) where J is an integral right O-ideal of norm p. Look for units in O and O acting transitively on the projective line of the residue field. Are there enough units?
92 Strong approximation Let O 1 O be the kernel of the reduced norm. Theorem (Strong approximation) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Let p be a prime of Z F that splits in A and k a positive integer. Then the map is surjective. O 1 SL 2 (Z F /p k ) Can construct units in O in subexponential time: choose a commutative suborder, use Buchmann s algorithm.
93 Strong approximation Let O 1 O be the kernel of the reduced norm. Theorem (Strong approximation) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Let p be a prime of Z F that splits in A and k a positive integer. Then the map is surjective. O 1 SL 2 (Z F /p k ) Can construct units in O in subexponential time: choose a commutative suborder, use Buchmann s algorithm.
94 Strong approximation Let O 1 O be the kernel of the reduced norm. Theorem (Strong approximation) Let A be an indefinite quaternion algebra over a number field F and O a maximal order in A. Let p be a prime of Z F that splits in A and k a positive integer. Then the map is surjective. O 1 SL 2 (Z F /p k ) Can construct units in O in subexponential time: choose a commutative suborder, use Buchmann s algorithm.
95 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
96 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
97 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
98 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
99 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
100 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
101 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
102 Sketch of the algorithm: structure Algorithm: 1 Choose a set of primes in F that generates Cl A (F): the factor base B. 2 Look for random smooth elements in O: the relations R. 3 Stop when B / nrd(r) = Cl A (F). 4 For each p B that splits: Let P 0 fixed by O and choose P 1 at distance 1 from P 0. Compute the maximal order O such that O fixes P 1. Compute units in O until they act transitively on the vertices at distance 1 from P 0. Compute units in O until they act transitively on the vertices at distance 1 from P 1.
103 Sketch of the algorithm: computing a generator Given a right O-ideal I: 1 Test whether nrd(i) is trivial in Cl A (F). 2 Look for a random element x I 1 such that xi is smooth. 3 Do linear algebra with the relations to find y such that nrd(yxi) = Z F. 4 For all p B, apply the reduction algorithm in the tree at p. Now hyxi = O, i.e. I = (hyx) 1 O.
104 Sketch of the algorithm: computing a generator Given a right O-ideal I: 1 Test whether nrd(i) is trivial in Cl A (F). 2 Look for a random element x I 1 such that xi is smooth. 3 Do linear algebra with the relations to find y such that nrd(yxi) = Z F. 4 For all p B, apply the reduction algorithm in the tree at p. Now hyxi = O, i.e. I = (hyx) 1 O.
105 Sketch of the algorithm: computing a generator Given a right O-ideal I: 1 Test whether nrd(i) is trivial in Cl A (F). 2 Look for a random element x I 1 such that xi is smooth. 3 Do linear algebra with the relations to find y such that nrd(yxi) = Z F. 4 For all p B, apply the reduction algorithm in the tree at p. Now hyxi = O, i.e. I = (hyx) 1 O.
106 Sketch of the algorithm: computing a generator Given a right O-ideal I: 1 Test whether nrd(i) is trivial in Cl A (F). 2 Look for a random element x I 1 such that xi is smooth. 3 Do linear algebra with the relations to find y such that nrd(yxi) = Z F. 4 For all p B, apply the reduction algorithm in the tree at p. Now hyxi = O, i.e. I = (hyx) 1 O.
107 Sketch of the algorithm: computing a generator Given a right O-ideal I: 1 Test whether nrd(i) is trivial in Cl A (F). 2 Look for a random element x I 1 such that xi is smooth. 3 Do linear algebra with the relations to find y such that nrd(yxi) = Z F. 4 For all p B, apply the reduction algorithm in the tree at p. Now hyxi = O, i.e. I = (hyx) 1 O.
108 Sketch of the algorithm: computing a generator Given a right O-ideal I: 1 Test whether nrd(i) is trivial in Cl A (F). 2 Look for a random element x I 1 such that xi is smooth. 3 Do linear algebra with the relations to find y such that nrd(yxi) = Z F. 4 For all p B, apply the reduction algorithm in the tree at p. Now hyxi = O, i.e. I = (hyx) 1 O.
109 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
110 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
111 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
112 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
113 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
114 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
115 Example ( ) A = 3, 1 Q, O = Z+Zi +Zj +Zω where ω = (1+i + j + ij)/2, I = xo + 19O where x = 3 4i + j A. Factor base B = {2, 3, 5, 7, 11, 13, 17}. 1 Cl A (Q) = 1, so I is principal. 2 Find x = (7+i 9j 3ω)/19 I 1 such that nrd(xi) = 7Z: xi is smooth. 3 Linear algebra: c = 1 2i j +ω, cxi/7 = J/7 where J = 49O+wO with w = 17 8i + j. 4 Local reduction at 7: h = ( 9 5i 7j 3ω)/7. Multiply out everything: 3+4i 3j 11ω has norm 19, generator of the ideal I.
116 Jacquet-Langlands correspondence and cohomology Let F be imaginary quadratic, p,q primes in Z F. Let A be ramified at p,q and O A a maximal order. Let Γ 0 (pq) be the subgroup of PGL 2 (Z F ) of elements that are upper triangular modulo pq. Jacquet-Langlands: injection of Hecke-modules H 1 (O /Z F,C) H 1(Γ 0 (pq),c) What happens if we replace C with another ring, say F p?
117 Jacquet-Langlands correspondence and cohomology Let F be imaginary quadratic, p,q primes in Z F. Let A be ramified at p,q and O A a maximal order. Let Γ 0 (pq) be the subgroup of PGL 2 (Z F ) of elements that are upper triangular modulo pq. Jacquet-Langlands: injection of Hecke-modules H 1 (O /Z F,C) H 1(Γ 0 (pq),c) What happens if we replace C with another ring, say F p?
118 Jacquet-Langlands correspondence and cohomology Let F be imaginary quadratic, p,q primes in Z F. Let A be ramified at p,q and O A a maximal order. Let Γ 0 (pq) be the subgroup of PGL 2 (Z F ) of elements that are upper triangular modulo pq. Jacquet-Langlands: injection of Hecke-modules H 1 (O /Z F,C) H 1(Γ 0 (pq),c) What happens if we replace C with another ring, say F p?
119 Jacquet-Langlands correspondence and cohomology Let F be imaginary quadratic, p,q primes in Z F. Let A be ramified at p,q and O A a maximal order. Let Γ 0 (pq) be the subgroup of PGL 2 (Z F ) of elements that are upper triangular modulo pq. Jacquet-Langlands: injection of Hecke-modules H 1 (O /Z F,C) H 1(Γ 0 (pq),c) What happens if we replace C with another ring, say F p?
120 Jacquet-Langlands correspondence and cohomology Let F be imaginary quadratic, p,q primes in Z F. Let A be ramified at p,q and O A a maximal order. Let Γ 0 (pq) be the subgroup of PGL 2 (Z F ) of elements that are upper triangular modulo pq. Jacquet-Langlands: injection of Hecke-modules H 1 (O /Z F,C) H 1(Γ 0 (pq),c) What happens if we replace C with another ring, say F p?
121 Modulo p cohomology of arithmetic groups Work of Calegari and Venkatesh: Relate the size of H 1 (O /Z F,Z) tors and of H 1 (Γ 0 (pq),z) tors. Work of Scholze: Existence of Galois representations attached to Hecke eigenforms in H 1 (Γ 0 (N),F p ).
122 Modulo p cohomology of arithmetic groups Work of Calegari and Venkatesh: Relate the size of H 1 (O /Z F,Z) tors and of H 1 (Γ 0 (pq),z) tors. Work of Scholze: Existence of Galois representations attached to Hecke eigenforms in H 1 (Γ 0 (N),F p ).
123 A modulo p Jacquet-Langlands correspondence? Joint work with M. H. Şengün (in progress). Let F = Q(ζ 3 ), p = (7, 2+ζ 3 ), q = (31, 25+ζ 3 ). Let A be a quaternion algebra ramified exactly at p,q. Let O be a maximal order in A, and Γ = O /Z F. We have H 1 (Γ,C) = 0, and H 1 (Γ 0 (pq),c) = 0. Let p = 5. Then H 1 (Γ,F p ) = F p c 1, and H 1 (Γ 0 (pq),f p ) = F p c 2 +F p c 3.
124 A modulo p Jacquet-Langlands correspondence? Joint work with M. H. Şengün (in progress). Let F = Q(ζ 3 ), p = (7, 2+ζ 3 ), q = (31, 25+ζ 3 ). Let A be a quaternion algebra ramified exactly at p,q. Let O be a maximal order in A, and Γ = O /Z F. We have H 1 (Γ,C) = 0, and H 1 (Γ 0 (pq),c) = 0. Let p = 5. Then H 1 (Γ,F p ) = F p c 1, and H 1 (Γ 0 (pq),f p ) = F p c 2 +F p c 3.
125 A modulo p Jacquet-Langlands correspondence? Joint work with M. H. Şengün (in progress). Let F = Q(ζ 3 ), p = (7, 2+ζ 3 ), q = (31, 25+ζ 3 ). Let A be a quaternion algebra ramified exactly at p,q. Let O be a maximal order in A, and Γ = O /Z F. We have H 1 (Γ,C) = 0, and H 1 (Γ 0 (pq),c) = 0. Let p = 5. Then H 1 (Γ,F p ) = F p c 1, and H 1 (Γ 0 (pq),f p ) = F p c 2 +F p c 3.
EXPLICIT METHODS FOR HILBERT MODULAR FORMS
EXPLICIT METHODS FOR HILBERT MODULAR FORMS LASSINA DEMBÉLÉ AND JOHN VOIGHT Abstract. We exhibit algorithms to compute systems of Hecke eigenvalues for spaces of Hilbert modular forms over a totally real
More informationGalois representations with open image
Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group
More informationA number field is a field of finite degree over Q. By the Primitive Element Theorem, any number
Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and
More informationRecent work on Serre s conjectures
Recent work on Serre s conjectures Kenneth A. Ribet University of California, Berkeley June 4, 2005 Canadian Math Society Summer Meeting This talk concerns a new chapter in a story that began in the late
More informationEXERCISES FOR THE COURSE MATH 570, FALL 2010
EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime
More informationFACTORING AFTER DEDEKIND
FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents
More informationSOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO
K. Hashimoto Nagoya Math. J. Vol. 77 (1980), 167-175 SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO Introduction In the theory of integral quadratic
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationOSTROWSKI FOR NUMBER FIELDS
OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for
More informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationOn the largest prime factor of x 2 1
On the largest prime factor of x 2 1 Florian Luca and Filip Najman Abstract In this paper, we find all integers x such that x 2 1 has only prime factors smaller than 100. This gives some interesting numerical
More informationCyclotomic Extensions
Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate
More informationHow To Find Out How To Build An Elliptic Curve Over A Number Field
Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International
More informationArithmetic algorithms for cryptology 5 October 2015, Paris. Sieves. Razvan Barbulescu CNRS and IMJ-PRG. R. Barbulescu Sieves 0 / 28
Arithmetic algorithms for cryptology 5 October 2015, Paris Sieves Razvan Barbulescu CNRS and IMJ-PRG R. Barbulescu Sieves 0 / 28 Starting point Notations q prime g a generator of (F q ) X a (secret) integer
More information1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]
1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not
More informationIntroduction to Modern Algebra
Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and non-singular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More informationTopological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel
Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006 Spectra associated with Artin-Schreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the
More informationSOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE
SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the
More informationSoftware Development within the SPP1489: Number Theory
Software Development within the SPP1489: Number Theory Claus Fieker and Bill Hart, Tommy Hofmann and others September 29, 2015 Computer algebra is incomplete without number theory. Applications: (small
More informationThe van Hoeij Algorithm for Factoring Polynomials
The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationFactoring of Prime Ideals in Extensions
Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS
ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair
More informationLecture 18 - Clifford Algebras and Spin groups
Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning
More informationECE 842 Report Implementation of Elliptic Curve Cryptography
ECE 842 Report Implementation of Elliptic Curve Cryptography Wei-Yang Lin December 15, 2004 Abstract The aim of this report is to illustrate the issues in implementing a practical elliptic curve cryptographic
More informationIs n a Prime Number? Manindra Agrawal. March 27, 2006, Delft. IIT Kanpur
Is n a Prime Number? Manindra Agrawal IIT Kanpur March 27, 2006, Delft Manindra Agrawal (IIT Kanpur) Is n a Prime Number? March 27, 2006, Delft 1 / 47 Overview 1 The Problem 2 Two Simple, and Slow, Methods
More informationABEL S THEOREM IN PROBLEMS AND SOLUTIONS
TeAM YYePG Digitally signed by TeAM YYePG DN: cn=team YYePG, c=us, o=team YYePG, ou=team YYePG, email=yyepg@msn.com Reason: I attest to the accuracy and integrity of this document Date: 2005.01.23 16:28:19
More informationSpherical representations and the Satake isomorphism
Spherical representations and the Satake isomorphism Last updated: December 10, 2013. Topics: otivation for the study of spherical representations; Satake isomorphism stated for the general case of a connected
More informationOutline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1
GRAPH THEORY LECTURE STRUCTURE AND REPRESENTATION PART A Abstract. Chapter focuses on the question of when two graphs are to be regarded as the same, on symmetries, and on subgraphs.. discusses the concept
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationFINITE FIELDS KEITH CONRAD
FINITE FIELDS KEITH CONRAD This handout discusses finite fields: how to construct them, properties of elements in a finite field, and relations between different finite fields. We write Z/(p) and F p interchangeably
More informationON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationTHE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0
THE NUMBER OF REPRESENTATIONS OF n OF THE FORM n = x 2 2 y, x > 0, y 0 RICHARD J. MATHAR Abstract. We count solutions to the Ramanujan-Nagell equation 2 y +n = x 2 for fixed positive n. The computational
More informationALGEBRA 2 CRA 2 REVIEW - Chapters 1-6 Answer Section
ALGEBRA 2 CRA 2 REVIEW - Chapters 1-6 Answer Section MULTIPLE CHOICE 1. ANS: C 2. ANS: A 3. ANS: A OBJ: 5-3.1 Using Vertex Form SHORT ANSWER 4. ANS: (x + 6)(x 2 6x + 36) OBJ: 6-4.2 Solving Equations by
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationStudy of algorithms for factoring integers and computing discrete logarithms
Study of algorithms for factoring integers and computing discrete logarithms First Indo-French Workshop on Cryptography and Related Topics (IFW 2007) June 11 13, 2007 Paris, France Dr. Abhijit Das Department
More informationSign changes of Hecke eigenvalues of Siegel cusp forms of degree 2
Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree
More informationTHE UNIVERSITY OF CHICAGO CLIFFORD ALGEBRAS AND SHIMURA S LIFT FOR THETA-SERIES A DISSERTATION SUBMITTED TO
THE UNIVERSITY OF CHICAGO CLIFFORD ALGEBRAS AND SHIMURA S LIFT FOR THETA-SERIES A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES IN CANDIDACY FOR THE DEGREE OF DOCTOR OF
More informationDegrees of freedom in (forced) symmetric frameworks. Louis Theran (Aalto University / AScI, CS)
Degrees of freedom in (forced) symmetric frameworks Louis Theran (Aalto University / AScI, CS) Frameworks Graph G = (V,E); edge lengths l(ij); ambient dimension d Length eqns. pi - pj 2 = l(ij) 2 The p
More informationINTRODUCTION TO ARITHMETIC GEOMETRY (NOTES FROM 18.782, FALL 2009)
INTRODUCTION TO ARITHMETIC GEOMETRY (NOTES FROM 18.782, FALL 2009) BJORN POONEN (Please clear your browser s cache before reloading to make sure that you are always getting the current version.) 1. What
More informationUNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY. Master of Science in Mathematics
1 UNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY Master of Science in Mathematics Introduction The Master of Science in Mathematics (MS Math) program is intended for students who
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationHISTORY OF CLASS FIELD THEORY
HISTORY OF CLASS FIELD THEORY KEITH CONRAD 1. Introduction Class field theory is the description of abelian extensions of global fields and local fields. The label class field refers to a field extension
More information4.1 Modules, Homomorphisms, and Exact Sequences
Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,
More informationCOMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationfg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:
30 3. RINGS, IDEALS, AND GRÖBNER BASES 3.1. Polynomial rings and ideals The main object of study in this section is a polynomial ring in a finite number of variables R = k[x 1,..., x n ], where k is an
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationA Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field.
A Minkowski-style bound for the orders of the finite subgroups of the Cremona group of rank 2 over an arbitrary field Jean-Pierre Serre Let k be a field. Let Cr(k) be the Cremona group of rank 2 over k,
More informationHow To Understand The Relation Between Quadratic And Binary Forms
8430 HANDOUT 3: ELEMENTARY THEORY OF QUADRATIC FORMS PETE L. CLARK 1. Basic definitions An integral binary quadratic form is just a polynomial f = ax 2 + bxy + cy 2 with a, b, c Z. We define the discriminant
More informationBasics of Polynomial Theory
3 Basics of Polynomial Theory 3.1 Polynomial Equations In geodesy and geoinformatics, most observations are related to unknowns parameters through equations of algebraic (polynomial) type. In cases where
More informationPrime numbers and prime polynomials. Paul Pollack Dartmouth College
Prime numbers and prime polynomials Paul Pollack Dartmouth College May 1, 2008 Analogies everywhere! Analogies in elementary number theory (continued fractions, quadratic reciprocity, Fermat s last theorem)
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by
More informationFactorization Methods: Very Quick Overview
Factorization Methods: Very Quick Overview Yuval Filmus October 17, 2012 1 Introduction In this lecture we introduce modern factorization methods. We will assume several facts from analytic number theory.
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More informationAllen Back. Oct. 29, 2009
Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More information1 Arithmetic groups and S-arithmetic groups.
Research Statement I work on questions in geometric group theory by making use of topological methods to better understand finitely generated groups. Arithmetic groups form a particularly rich family of
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationFACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set
FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,
More informationTropical cycles and Chow polytopes
Tropical cycles and Chow polytopes Alex Fink Department of Mathematics University of California, Berkeley Tropical Geometry in Combinatorics and Algebra MSRI October 16, 2009 Alex Fink (UC Berkeley) Tropical
More informationUniversity of Lille I PC first year list of exercises n 7. Review
University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients
More informationTAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP
TAME AND WILD FINITE SUBGROUPS OF THE PLANE CREMONA GROUP IGOR V. DOLGACHEV To the memory of Vasily Iskovskikh Abstract. We survey some old and new results about finite subgroups of the Cremona group Cr
More informationMaster of Arts in Mathematics
Master of Arts in Mathematics Administrative Unit The program is administered by the Office of Graduate Studies and Research through the Faculty of Mathematics and Mathematics Education, Department of
More informationIndex Calculation Attacks on RSA Signature and Encryption
Index Calculation Attacks on RSA Signature and Encryption Jean-Sébastien Coron 1, Yvo Desmedt 2, David Naccache 1, Andrew Odlyzko 3, and Julien P. Stern 4 1 Gemplus Card International {jean-sebastien.coron,david.naccache}@gemplus.com
More informationAlgebra Unpacked Content For the new Common Core standards that will be effective in all North Carolina schools in the 2012-13 school year.
This document is designed to help North Carolina educators teach the Common Core (Standard Course of Study). NCDPI staff are continually updating and improving these tools to better serve teachers. Algebra
More informationENUMERATION OF INTEGRAL TETRAHEDRA
ENUMERATION OF INTEGRAL TETRAHEDRA SASCHA KURZ Abstract. We determine the numbers of integral tetrahedra with diameter d up to isomorphism for all d 1000 via computer enumeration. Therefore we give an
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationFactoring pq 2 with Quadratic Forms: Nice Cryptanalyses
Factoring pq 2 with Quadratic Forms: Nice Cryptanalyses Phong Nguyễn http://www.di.ens.fr/~pnguyen & ASIACRYPT 2009 Joint work with G. Castagnos, A. Joux and F. Laguillaumie Summary Factoring A New Factoring
More informationUnique Factorization
Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationAlgebra 1 Course Title
Algebra 1 Course Title Course- wide 1. What patterns and methods are being used? Course- wide 1. Students will be adept at solving and graphing linear and quadratic equations 2. Students will be adept
More informationGTEM TRAINING PROGRAM
GTEM TRAINING PROGRAM 1. Overview The Training Program consist of five modules, which are given in Table 1. A broad description of Table 1: Training modules and dependencies T1: General mathematical skills
More informationArithmetic complexity in algebraic extensions
Arithmetic complexity in algebraic extensions Pavel Hrubeš Amir Yehudayoff Abstract Given a polynomial f with coefficients from a field F, is it easier to compute f over an extension R of F than over F?
More informationNUMBER RINGS. P. Stevenhagen
NUMBER RINGS P. Stevenhagen Universiteit Leiden 2012 Date of this online version: September 24, 2012 Please send any comments on this text to psh@math.leidenuniv.nl. Mail address of the author: P. Stevenhagen
More informationZORN S LEMMA AND SOME APPLICATIONS
ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will
More informationCryptosystem. Diploma Thesis. Mol Petros. July 17, 2006. Supervisor: Stathis Zachos
s and s and Diploma Thesis Department of Electrical and Computer Engineering, National Technical University of Athens July 17, 2006 Supervisor: Stathis Zachos ol Petros (Department of Electrical and Computer
More informationDifferentiation and Integration
This material is a supplement to Appendix G of Stewart. You should read the appendix, except the last section on complex exponentials, before this material. Differentiation and Integration Suppose we have
More informationCOHOMOLOGY OF GROUPS
Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general
More information3 Some Integer Functions
3 Some Integer Functions A Pair of Fundamental Integer Functions The integer function that is the heart of this section is the modulo function. However, before getting to it, let us look at some very simple
More informationOn the complexity of some computational problems in the Turing model
On the complexity of some computational problems in the Turing model Claus Diem November 18, 2013 Abstract Algorithms for concrete problems are usually described and analyzed in some random access machine
More informationEvaluating large degree isogenies and applications to pairing based cryptography
Evaluating large degree isogenies and applications to pairing based cryptography Reinier Bröker, Denis Charles, and Kristin Lauter Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA reinierb@microsoft.com,
More informationCore Maths C1. Revision Notes
Core Maths C Revision Notes November 0 Core Maths C Algebra... Indices... Rules of indices... Surds... 4 Simplifying surds... 4 Rationalising the denominator... 4 Quadratic functions... 4 Completing the
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationSolving Quadratic Equations
9.3 Solving Quadratic Equations by Using the Quadratic Formula 9.3 OBJECTIVES 1. Solve a quadratic equation by using the quadratic formula 2. Determine the nature of the solutions of a quadratic equation
More informationCLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY
CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,
More information4. BINARY QUADRATIC FORMS
4. BINARY QUADRATIC FORMS 4.1. What integers are represented by a given binary quadratic form?. An integer n is represented by the binary quadratic form ax + bxy + cy if there exist integers r and s such
More informationFaster deterministic integer factorisation
David Harvey (joint work with Edgar Costa, NYU) University of New South Wales 25th October 2011 The obvious mathematical breakthrough would be the development of an easy way to factor large prime numbers
More informationMathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,
More informationEMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION
EMBEDDING DEGREE OF HYPERELLIPTIC CURVES WITH COMPLEX MULTIPLICATION CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. Consider the Jacobian of a genus two curve defined over a finite field and with complex multiplication.
More informationFirst and raw version 0.1 23. september 2013 klokken 13:45
The discriminant First and raw version 0.1 23. september 2013 klokken 13:45 One of the most significant invariant of an algebraic number field is the discriminant. One is tempted to say, apart from the
More informationAn Overview of Integer Factoring Algorithms. The Problem
An Overview of Integer Factoring Algorithms Manindra Agrawal IITK / NUS The Problem Given an integer n, find all its prime divisors as efficiently as possible. 1 A Difficult Problem No efficient algorithm
More information