LATTICES IN NUMBER THEORY
|
|
- Kelley Carroll
- 5 years ago
- Views:
Transcription
1 LATTICES IN NUMBER THEORY Ha Tran ICTP CIMPA summer school 2016 HCM University of Science Saigon University 1 / 32
2 Lattices in Number Theory We will study ideal lattices. They are lattices with structure of ideals. They are used in coding theory and cryptography. They have nice algebraic structure (so have nice and cheap representation, allows fast arithmetic,...) 2 / 32
3 We will Lattices in Number Theory 1 Review about number fields, ideal lattices and... Study Arakelov divisors. 2 Study the Arakelov class group. 3 Discuss about reduced Arakelov divisors and their properties. Discuss the reduction algorithm. 3 / 32
4 We will Lattices in Number Theory 1 Review about number fields, ideal lattices and... Study Arakelov divisors. 2 Study the Arakelov class group. 3 Discuss about reduced Arakelov divisors and their properties. Discuss the reduction algorithm. PS: Questions are very welcome :) 3 / 32
5 ICTP CIMPA summer school 2016 Lecture 1. NUMBER FIELDS AND... HCM University of Science Saigon University 4 / 32
6 Content 1 Review Number fields and the ring of integers Fractional ideals The class group F R The Φ map The L map 2 Ideal lattices 5 / 32
7 Let F be a number field of degree n. 1 F = Q, 2 F = Q( 2), 3 F = Q(i) (the Gaussian field), 4 F = Q( 5), Review 5 F is the splitting field of x 3 + mx 2 (m + 3)x + 1 (m 1, m 3 mod 9) (simplest cubic field), 6 F = Q( 4 2)? 7 F = Q(ζ m ) (cyclotomic field)? 6 / 32
8 Review Let F be a number field of degree n. σ 1,..., σ r1 are r 1 real infinite primes σ r1 +1,..., σ r1 +r 2 are r 2 complex infinite primes. 1 F = Q, 2 F = Q( 2), 3 F = Q(i) (the Gaussian field), 4 F = Q( 5), 5 F is the splitting field of x 3 + mx 2 (m + 3)x + 1 (m 1, m 3 mod 9) (simplest cubic field), 6 F = Q( 4 2)? 7 F = Q(ζ m ) (cyclotomic field)? 6 / 32
9 Review Let F be a number field of degree n. σ 1,..., σ r1 are r 1 real infinite primes σ r1 +1,..., σ r1 +r 2 are r 2 complex infinite primes. O F : The ring of integers of F (n = r 1 + 2r 2 ). 1 F = Q, 2 F = Q( 2), 3 F = Q(i) (the Gaussian field), 4 F = Q( 5), 5 F is the splitting field of x 3 + mx 2 (m + 3)x + 1 (m 1, m 3 mod 9) (simplest cubic field), 6 F = Q( 4 2)? 7 F = Q(ζ m ) (cyclotomic field)? 6 / 32
10 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. 7 / 32
11 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 1 I 1 = {m 1 + 2m 2 : m 1, m 2 Z}? 7 / 32
12 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 2 I 2 = {m m 2 : m 1, m 2 Z}? 7 / 32
13 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 2 I 2 = {m m 2 : m 1, m 2 Z}? 3 I 3 = {m m 2 : m 1, m 2 Z}? 7 / 32
14 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 4 I 4 = {2m 1 + (1 5)m 2 : m 1, m 2 Z}? 7 / 32
15 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 4 I 4 = {2m 1 + (1 5)m 2 : m 1, m 2 Z}? 5 I 5 = { 1 2 m m 2 : m 1, m 2 Z}? 7 / 32
16 Fractional ideals I is called a fractional ideal of F if I is an additive subgroup of F, and there exists α F st αi is an ideal of O F. Ex: F = Q( 5). I i is a factional ideal of F? 4 I 4 = {2m 1 + (1 5)m 2 : m 1, m 2 Z}? 5 I 5 = { 1 2 m m 2 : m 1, m 2 Z}? 6 I 6 = { 5 5 m m 2 : m 1, m 2 Z}? = 1 2 I / 32
17 The class group Id F : The group of all fractional ideals of F with multiplication. Let Princ F := the subgroup of principal ideals of F. The class group of F is Cl F = Id F /Princ F. 8 / 32
18 The class group Id F : The group of all fractional ideals of F with multiplication. Let Princ F := the subgroup of principal ideals of F. The class group of F is Cl F = Id F /Princ F. Cl F is finite and #Cl F = h F (the class number). 8 / 32
19 The class group Id F : The group of all fractional ideals of F with multiplication. Let Princ F := the subgroup of principal ideals of F. The class group of F is Cl F = Id F /Princ F. Cl F is finite and #Cl F = h F (the class number). Ex: Cl F =?, h F =? if 1 F = Q. 2 F = Q( 2). 3 F = Q(i). 4 F = Q( 10). 8 / 32
20 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. Ex: F R =? if 1 F = Q, 2 F = Q( 2), 3 F = Q(i), 4 F = Q( 5), 5 F is a simplest cubic field, 6 F = Q( 4 2), 7 F = Q(ζ m ) (cyclotomic field)? 9 / 32
21 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. 10 / 32
22 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. A scalar product on F R, for any u = (u σ ), v = (v σ ) F R, u, v := Tr(uv) = Re(u σ v σ ) + 2 Re(u σ v σ ). σ real σ complex u 2 = σ real u2 σ + 2 σ complex u σ / 32
23 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. A scalar product on F R, for any u = (u σ ), v = (v σ ) F R, u, v := Tr(uv) = Re(u σ v σ ) + 2 Re(u σ v σ ). σ real σ complex u 2 = σ real u2 σ + 2 σ complex u σ 2. Ex: F = Q, Q( 2), Q(i), Q( 5), simplest cubic fields, F = Q( 4 2)? 10 / 32
24 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. u 2 = uσ u σ 2. σ real σ complex 11 / 32
25 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. u 2 = uσ u σ 2. σ real σ complex N(u) := σ real u σ σ complex u σ / 32
26 F R Let F R := F Q R σ real R σ complex C R r 1 Cr 2 an R-algebra. u 2 = uσ u σ 2. σ real σ complex N(u) := σ real u σ σ complex u σ 2. Ex: F = Q, Q( 2), Q(i), Q( 5), simplest cubic fields, F = Q( 4 2)? 11 / 32
27 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Φ =? if 1 F = Q, 2 F = Q( 2), 3 F = Q(i), 4 F = Q( 5), 5 F is a simplest cubic field, 6 F = Q( 4 2)? 12 / 32
28 Definition (Lattices) A lattice is a pair (L, q) where Lattices L is a free Z-module of finite rank, and q : L L R is a non-degenerate symmetric bilinear form. 13 / 32
29 Definition (Lattices) A lattice is a pair (L, q) where Lattices L is a free Z-module of finite rank, and q : L L R is a non-degenerate symmetric bilinear form. Ex: L = Z n with the standard metric inherited from R n is a lattice. 13 / 32
30 Definition (Lattices) A lattice is a pair (L, q) where Lattices L is a free Z-module of finite rank, and q : L L R is a non-degenerate symmetric bilinear form. Ex: L = Z n with the standard metric inherited from R n is a lattice. Ex: Let F = Q( 5). Then Φ(O F ) is a lattice in F R R / 32
31 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. 14 / 32
32 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5). What Φ(O F ) looks like? 14 / 32
33 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5). What Φ(O F ) looks like? 14 / 32
34 The Φ map Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5). What Φ(O F ) looks like? Φ(O F ) is a lattice in F R. 14 / 32
35 The Φ map and the images of fractional ideals Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5) and I 5 = { 1 2 m m 2 : m 1, m 2 Z}: a fractional ideal of F. What Φ(I ) looks like? 15 / 32
36 The Φ map and the images of fractional ideals Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5) and I 5 = { 1 2 m m 2 : m 1, m 2 Z}: a fractional ideal of F. What Φ(I ) looks like? Proposition Let I be a factional ideal of F. Then Φ(I ) is a lattice in F R. 15 / 32
37 The Φ map and the images of fractional ideals Let Φ : F F R with Φ(f ) = (σ 1 (f ),..., σ r1 +r 2 (f )) for f F. Ex: Let F = Q( 5) and I 5 = { 1 2 m m 2 : m 1, m 2 Z}: a fractional ideal of F. What Φ(I ) looks like? Proposition Let I be a factional ideal of F. Then Φ(I ) is a lattice in F R. Ex: Draw the lattice Φ(I 5 ). 15 / 32
38 The L map Consider to the map L : F F R where L(f ) = (log( σ(f ) )) σ. Ex: F is the splitting field of x 3 x 2 2x + 1 (simplest cubic field). The roots: α 1 = α, α 2 = 1 1 α, α 3 = 1 1 α. Then What L(O F ) looks like? O F =< ±1, α 1, α 2 >. 16 / 32
39 The L map Ex: F is the splitting field of x 3 x 2 2x + 1. The roots: α 1 = α, α 2 = 1 1 α, α 3 = 1 1 α. Then O F =< ±1, α 1, α 2 >. 17 / 32
40 The L map Ex: F is the splitting field of x 3 x 2 2x + 1. The roots: α 1 = α, α 2 = 1 1 α, α 3 = 1 1 α. Then O F =< ±1, α 1, α 2 >. L(O F ) is the hexagonal lattice. 17 / 32
41 The L map Λ := L(O F ) = {L(x) : x O F } H. 18 / 32
42 The L map Λ := L(O F ) = {L(x) : x O F } H. 18 / 32
43 The L map Λ := L(O F ) = {L(x) : x O F } H. H = (x σ) σ R : x σ + 2 σ real σ complex x σ = / 32
44 The L map Λ := L(O F ) = {L(x) : x O F } H. H = (x σ) σ R : x σ + 2 σ real σ complex x σ = 0. Λ is a lattice contained in the vector space H. 18 / 32
45 The L map Λ := L(O F ) = {L(x) : x O F } H. H = (x σ) σ R : x σ + 2 σ real σ complex x σ = 0. Λ is a lattice contained in the vector space H. Let T 0 = H/Λ. Then T 0 is a compact real torus of dimension r 1 + r 2 1 (Dirichlet). 18 / 32
46 T 0 and Λ = L(O F ) Ex: Let F = Q( 2). Then r 1 = 0, r 2 = 1 and T 0 =? dim(t 0 ) =? 19 / 32
47 T 0 and Λ = L(O F ) Ex: Let F = Q( 2). Then r 1 = 2, r 2 = 0 and H = {(x, y) R 2 : x + y = 0} R. T 0 =? dim(t 0 ) =? 20 / 32
48 T 0 and Λ = L(O F ) Ex: Let F = Q( 2). Then r 1 = 2, r 2 = 0 and H = {(x, y) R 2 : x + y = 0} R. 21 / 32
49 T 0 and Λ = L(O F ) Ex: Let F be a totally real cubic field. Then r 1 = 3, r 2 = 0 and H = {(x, y, z) R 3 : x + y + z = 0} R 2. T 0 =? dim(t 0 ) =? 22 / 32
50 T 0 and Λ = L(O F ) Ex: Let F be a totally real cubic field. Then r 1 = 3, r 2 = 0 and H = {(x, y, z) R 3 : x + y + z = 0} R 2. T 0 =? dim(t 0 ) =? Ex: F = Q( 4 2)? 22 / 32
51 Ideal lattices Definition (Ideal lattices) An ideal lattice is a lattice (I, q), where I is a (fractional) O F -ideal and q : I I R is st q(λx, y) = q(x, λy) (Hermitian property) for all x, y I and for all λ O F. 23 / 32
52 Ideal lattices Definition (Ideal lattices) An ideal lattice is a lattice (I, q), where I is a (fractional) O F -ideal and q : I I R is st q(λx, y) = q(x, λy) (Hermitian property) for all x, y I and for all λ O F. Ex 1: Let I be a factional ideal of F. q(x, y) := x, y for any x, y I. (the scalar product defined on F R ) 23 / 32
53 Ideal lattices Definition (Ideal lattices) An ideal lattice is a lattice (I, q), where I is a (fractional) O F -ideal and q : I I R is st q(λx, y) = q(x, λy) (Hermitian property) for all x, y I and for all λ O F. Ex 1: Let I be a factional ideal of F. q(x, y) := x, y for any x, y I. (the scalar product defined on F R ) Then (I, q) is an ideal lattice. 23 / 32
54 Ideal lattices Ex 2: Let I be a factional ideal of F and u = (u σ ) (R >0 ) r 1+r 2. z I, uz := (u σ σ(z)) σ F R. We define q u (x, y) := ux, uy for any x, y I. (the scalar product defined on F R ) 24 / 32
55 Ideal lattices Ex 2: Let I be a factional ideal of F and u = (u σ ) (R >0 ) r 1+r 2. z I, uz := (u σ σ(z)) σ F R. We define q u (x, y) := ux, uy for any x, y I. (the scalar product defined on F R ) Proposition (I, q u ) is an ideal lattice. 24 / 32
56 Isometric ideal lattices Definition Two ideal lattices (I, q) and (I, q ) are called isometric if there exists f F such that I = fi and q (fx, fy) = q(x, y) for all x, y I. 25 / 32
57 Lattices from fractional ideals A full rank lattice in F R is also a full rank lattice in R n via F R R r 1 C r 2 R n x 1 x 1 x 2 x 2 x r1 x r1 Re(x r1 +1). x r1 +1 Im(x r1 +1) x r1 +r 2 Re(x r1 +r 2 ) Im(x r1 +r 2 ) EX: F = Q( 4 2)? 26 / 32
58 Lattices from fractional ideals Z 2? 27 / 32
59 Lattices from fractional ideals Z 2? The hexagonal lattice? 27 / 32
60 Lattices from fractional ideals Z 2? The hexagonal lattice? Let p is an odd prime, p = (1 ζ p )O F : principal ideal of F = Q(ζ p ). Then (p, q 1/p ) is an ideal lattice? 27 / 32
61 Lattices from fractional ideals Z 2? The hexagonal lattice? Let p is an odd prime, p = (1 ζ p )O F : principal ideal of F = Q(ζ p ). Then (p, q 1/p ) is an ideal lattice? Let I = 1 (1 ζ 9 ) 4 O F : principal ideal of F = Q(ζ 9 ). Then (I, q 1 ) is an ideal lattice? 27 / 32
62 Lattices from fractional ideals Let I = 1 (1 ζ 9 ) 4 O F : principal ideal of F = Q(ζ 9 ). Then (I, q 1 ) is an ideal lattice? Figure: The Gram matrix of (I, q 1 ). 28 / 32
63 Lattices from fractional ideals Let F = Q(ζ 15 ) and I = βo F for some β F. Then (O F, q β ) is an ideal lattice? 29 / 32
64 Lattices from fractional ideals Let F = Q(ζ 15 ) and I = βo F for some β F. Then (O F, q β ) is an ideal lattice? Let F = Q(ζ 35 ) and α = (ζ ζ3 35 )(ζ ζ6 35 )(ζ ζ9 35 )(ζ ζ35 12)/ψ (ζ 35 + ζ35 1 ). Then (O F, q α ) is an ideal lattice? 29 / 32
65 Recap Number field, the ring of integers. Fractional ideals: 1/αJ for some α O F and J O F is an ideal. The class group Cl F = Id F /Princ F and class number h F = #Cl F. The Φ map: Φ = (σ 1,, σ r1, σ r1 +1,, σ r1 +r 2 ). The L map: L(x) = (log σ(f ) ) σ, x F. Ideal lattices: (I, q), where I is a (fractional) O F -ideal and q : L L R is a non-degenerate symmetric bilinear form with Hermitian property. I : factional ideal; u = (R >0 ) r 1+r 2. Then (I, q u ) is an ideal lattice. 30 / 32
66 Oh, no : ( : ( : ( Exercise: Let F = Q( 4 2). Prove that O F = Z[ 4 2]. 31 / 32
67 Oh, no : ( : ( : ( Exercise: Let F = Q( 4 2). Prove that O F = Z[ 4 2]. There will be a gift for this :). 31 / 32
68 References Eva Bayer-Fluckiger. Lattices and number fields. In Algebraic geometry: Hirzebruch 70 (Warsaw, 1998), volume 241 of Contemp. Math., pages Amer. Math. Soc., Providence, RI, Hendrik W. Lenstra, Jr. Lattices. In Algorithmic number theory: lattices, number fields, curves and cryptography, volume 44 of Math. Sci. Res. Inst. Publ., pages Cambridge Univ. Press, Cambridge, René Schoof. Computing Arakelov class groups. In Algorithmic number theory: lattices, number fields, curves and cryptography, volume 44 of Math. Sci. Res. Inst. Publ., pages Cambridge Univ. Press, Cambridge, / 32
M4. Lecture 3. THE LLL ALGORITHM AND COPPERSMITH S METHOD
M4. Lecture 3. THE LLL ALGORITHM AND COPPERSMITH S METHOD Ha Tran, Dung H. Duong, Khuong A. Nguyen. SEAMS summer school 2015 HCM University of Science 1 / 31 1 The LLL algorithm History Applications of
More informationarxiv: v1 [math.nt] 20 Nov 2017
REDUCED IDEALS FROM THE REDUCTION ALGORITHM HA THANH NGUYEN TRAN arxiv:171107573v1 [mathnt] 20 Nov 2017 Abstract The reduction algorithm is used to compute reduced ideals of a number field However, there
More informationarxiv: v3 [math.nt] 25 May 2016
ON REDUED ARAKELOV DIVISORS OF REAL QUADRATI FIELDS HA THANH NGUYEN TRAN arxiv:4.5043v3 [math.nt] 5 May 06 Abstract. We generalize the concept of reduced Arakelov divisors and define - reduced divisors
More informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationImaginary Quadratic Fields With Isomorphic Abelian Galois Groups
Imaginary Quadratic Fields With Isomorphic Abelian Galois Groups Universiteit Leiden, Université Bordeaux 1 July 12, 2012 - UCSD - X - a Question Let K be a number field and G K = Gal(K/K) the absolute
More informationNorm-Euclidean Ideals in Galois Cubic Fields
Norm-Euclidean Ideals in Galois Cubic Fields Kelly Emmrich and Clark Lyons University of Wisconsin-La Crosse, University of California, Berkeley 2017 West Coast Number Theory Conference December 18, 2017
More informationAlgebraic number theory
Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim
More informationON VALUES OF CYCLOTOMIC POLYNOMIALS. V
Math. J. Okayama Univ. 45 (2003), 29 36 ON VALUES OF CYCLOTOMIC POLYNOMIALS. V Dedicated to emeritus professor Kazuo Kishimoto on his seventieth birthday Kaoru MOTOSE In this paper, using properties of
More informationThese warmup exercises do not need to be written up or turned in.
18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail
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 informationOn a Homoclinic Group that is not Isomorphic to the Character Group *
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS, 1 6 () ARTICLE NO. HA-00000 On a Homoclinic Group that is not Isomorphic to the Character Group * Alex Clark University of North Texas Department of Mathematics
More informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
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 informationGalois theory (Part II)( ) Example Sheet 1
Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that
More information15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationLattice Packing from Quaternion Algebras
RIMS ôkyûroku Bessatsu B3 (01), 9 37 Lattice Packing from Quaternion Algebras By Fang-Ting Tu and Yifan Yang Abstract In this paper, we will discuss ideal lattices from a definite quaternion algebra, which
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationPractice problems for first midterm, Spring 98
Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationOn the Euclidean minimum of some real number fields
Journal de Théorie des Nombres de Bordeaux 17 (005), 437 454 On the Euclidean minimum of some real number fields par Eva BAYER-FLUCKIGER et Gabriele NEBE Résumé. Le but de cet article est de donner des
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationNumber Theory Fall 2016 Problem Set #3
18.785 Number Theory Fall 2016 Problem Set #3 Description These problems are related to the material covered in Lectures 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via
More informationON THE LIFTING OF HERMITIAN MODULAR. Notation
ON THE LIFTING OF HERMITIAN MODULAR FORMS TAMOTSU IEDA Notation Let be an imaginary quadratic field with discriminant D = D. We denote by O = O the ring of integers of. The non-trivial automorphism of
More informationIUPUI Qualifying Exam Abstract Algebra
IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order
More informationExplicit constructions of arithmetic lattices in SL(n, R)
International Journal of Mathematics and Computer Science, 4(2009), no. 1, 53 64 Explicit constructions of arithmetic lattices in SL(n, R) M CS Erik R. Tou 1, Lee Stemkoski 2 1 Department of Mathematics
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction
ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root
More informationLecture 6.3: Polynomials and irreducibility
Lecture 6.3: Polynomials and irreducibility Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson)
More informationGALOIS THEORY AT WORK: CONCRETE EXAMPLES
GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are
More informationChapter 14: Divisibility and factorization
Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter
More informationMATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.
MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same
More informationAn arithmetic theorem related to groups of bounded nilpotency class
Journal of Algebra 300 (2006) 10 15 www.elsevier.com/locate/algebra An arithmetic theorem related to groups of bounded nilpotency class Thomas W. Müller School of Mathematical Sciences, Queen Mary & Westfield
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 informationDepartment of Mathematics, University of California, Berkeley
ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden Department of Mathematics, University of California, Berkeley K = field of characteristic zero, Ω = algebraically
More informationInvariants of Weil representations
Invariants of Weil representations (joint work with Nils P. Skoruppa) March 17, 2017 Winter seminar March 12-18, 2017 Chalet Fleurs des Neiges, La Plagne, France 1 / 19 Mathematisch-Naturwissenschaftliche
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationAlgebraic number theory Revision exercises
Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the
More informationTHE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS
THE GENERALIZED ARTIN CONJECTURE AND ARITHMETIC ORBIFOLDS M. RAM MURTY AND KATHLEEN L. PETERSEN Abstract. Let K be a number field with positive unit rank, and let O K denote the ring of integers of K.
More informationOn metacyclic extensions
On metacyclic extensions Masanari Kida 1 Introduction A group G is called metacyclic if it contains a normal cyclic subgroup N such that the quotient group G/N is also cyclic. The category of metacyclic
More informationMacWilliams Extension Theorem for the Lee Weight
MacWilliams Extension Theorem for the Lee Weight Noncommutative rings and their applications V Lens 12-15 June 2017 Philippe Langevin IMATH, Toulon last revision June 11, 2017. A serie of joint works with
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 information2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS
2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY QUADRATIC FORMS Byeong Moon Kim, Myung-Hwan Kim and Byeong-Kweon Oh Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea (kbm@knusun.kangnung.ac.kr)
More informationArithmetic Statistics Lecture 3
Arithmetic Statistics Lecture 3 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory PREVIOUSLY... We can define an action
More informationA combinatorial problem related to Mahler s measure
A combinatorial problem related to Mahler s measure W. Duke ABSTRACT. We give a generalization of a result of Myerson on the asymptotic behavior of norms of certain Gaussian periods. The proof exploits
More informationKeywords and phrases: Fundamental theorem of algebra, constructible
Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.
More informationGALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)
GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
More informationNOVEMBER 22, 2006 K 2
MATH 37 THE FIELD Q(, 3, i) AND 4TH ROOTS OF UNITY NOVEMBER, 006 This note is about the subject of problems 5-8 in 1., the field E = Q(, 3, i). We will see that it is the same as the field Q(ζ) where (1)
More informationQuadratic Forms. Marco Schlichting Notes by Florian Bouyer. January 16, 2012
Quadratic Forms Marco Schlichting Notes by Florian Bouyer January 16, 2012 In this course every ring is commutative with unit. Every module is a left module. Definition 1. Let R be a (commutative) ring
More informationx mv = 1, v v M K IxI v = 1,
18.785 Number Theory I Fall 2017 Problem Set #7 Description These problems are related to the material covered in Lectures 13 15. Your solutions are to be written up in latex (you can use the latex source
More informationON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION
ON THE ORDER OF UNIMODULAR MATRICES MODULO INTEGERS PRELIMINARY VERSION. Introduction Given an integer b and a prime p such that p b, let ord p (b) be the multiplicative order of b modulo p. In other words,
More informationMath 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.
Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that
More informationON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS
ON THE DISTRIBUTION OF CLASS GROUPS OF NUMBER FIELDS GUNTER MALLE Abstract. We propose a modification of the predictions of the Cohen Lenstra heuristic for class groups of number fields in the case where
More informationLattice Reductions over Euclidean Rings with Applications to Cryptanalysis
IMACC 2017 December 12 14, 2017 Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis Taechan Kim and Changmin Lee NTT Secure Platform Laboratories, Japan and Seoul National University,
More informationON THE SEMIPRIMITIVITY OF CYCLIC CODES
ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic
More informationHermitian modular forms congruent to 1 modulo p.
Hermitian modular forms congruent to 1 modulo p. arxiv:0810.5310v1 [math.nt] 29 Oct 2008 Michael Hentschel Lehrstuhl A für Mathematik, RWTH Aachen University, 52056 Aachen, Germany, hentschel@matha.rwth-aachen.de
More informationDISCRETE SUBGROUPS, LATTICES, AND UNITS.
DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1
More informationTWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL
TWO CLASSES OF NUMBER FIELDS WITH A NON-PRINCIPAL EUCLIDEAN IDEAL CATHERINE HSU Abstract. This paper introduces two classes of totally real quartic number fields, one of biquadratic extensions and one
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 informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationON ISOTROPY OF QUADRATIC PAIR
ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then
More information2 Lyubeznik proved that if R contains a eld of characteristic 0, and R is any regular K-algebra then the set of associated primes is nite [Ly1]. Later
RESEARCH STATEMENT Julian Chan My research interests include algebra, algebraic geometry, and invariant theory. I have also done some research in statistics, and will be receiving a masters of statistics
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationN. Makhijani, R. K. Sharma and J. B. Srivastava
International Electronic Journal of Algebra Volume 18 2015 21-33 UNITS IN F q kc p r C q N. Makhijani, R. K. Sharma and J. B. Srivastava Received: 5 February 2014 Communicated by A. Çiğdem Özcan Abstract.
More informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationLecture 7.5: Euclidean domains and algebraic integers
Lecture 7.5: Euclidean domains and algebraic integers Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley
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 informationA characteristic property of self-orthogonal codes and its application to lattices
A characteristic property of self-orthogonal codes and its application to lattices Zhe-Xian Wan Abstract Let p be an odd prime, ζ = e 2πi/p, D be the ring of algebraic integers in the field Q(ζ), and P
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationTHE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 47, Number 2, 2017 THE CLASSIFICATION OF INFINITE ABELIAN GROUPS WITH PARTIAL DECOMPOSITION BASES IN L ω CAROL JACOBY AND PETER LOTH ABSTRACT. We consider the
More informationFuchsian codes with arbitrary rates. Iván Blanco Chacón, Aalto University
20-09-2013 Summary Basic concepts in wireless channels Arithmetic Fuchsian groups: the rational case Arithmetic Fuchsian groups: the general case Fundamental domains and point reduction Fuchsian codes
More informationAlgebra Exam Topics. Updated August 2017
Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have
More informationEVOLVING GROUPS. Mima Stanojkovski. Università degli Studi di Padova Universiteit Leiden July Master thesis supervised by
EVOLVING GROUPS Mima Stanojkovski Università degli Studi di Padova Universiteit Leiden 7-8-9 July 2013 Master thesis supervised by Prof. Dr. Hendrik W. Lenstra Jr. Definition of an evolving group Let G
More informationBELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES
Math. J. Okayama Univ. 47 (2005), 119 131 BELYI FUNCTION WHOSE GROTHENDIECK DESSIN IS A FLOWER TREE WITH TWO RAMIFICATION INDICES Toru KOMATSU Abstract. In this paper we present an explicit construction
More informationMath 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?
Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the
More informationarxiv: v1 [math.nt] 9 Jan 2019
NON NEAR-PRIMITIVE ROOTS PIETER MOREE AND MIN SHA Dedicated to the memory of Prof. Christopher Hooley (928 208) arxiv:90.02650v [math.nt] 9 Jan 209 Abstract. Let p be a prime. If an integer g generates
More informationA CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF 1-EIGENSPACES IN MATRIX GROUPS
A CLASS GROUP HEURISTIC BASED ON THE DISTRIBUTION OF -EIGENSPACES IN MATRIX GROUPS MICHAEL ADAM AND GUNTER MALLE Abstract. We propose a modification to the Cohen Lenstra prediction for the distribution
More informationMATH 361: NUMBER THEORY TENTH LECTURE
MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a
More informationPrimes, Polynomials, Progressions. B.Sury Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016
Indian Statistical Institute Bangalore NISER Bhubaneshwar February 15, 2016 Primes and polynomials It is unknown if there exist infinitely many prime numbers of the form n 2 + 1. Primes and polynomials
More informationIDEAL CLASS GROUPS OF CYCLOTOMIC NUMBER FIELDS I
IDEA CASS GROUPS OF CYCOTOMIC NUMBER FIEDS I FRANZ EMMERMEYER Abstract. Following Hasse s example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields
More informationComputational complexity of lattice problems and cyclic lattices
Computational complexity of lattice problems and cyclic lattices Lenny Fukshansky Claremont McKenna College Undergraduate Summer Research Program ICERM - Brown University July 28, 2014 Euclidean lattices
More informationMaximal antipodal subgroups of the compact Lie group G 2 of exceptional type
Maximal antipodal subgroups of the compact Lie group G 2 of exceptional type Osami Yasukura (University of Fukui) This article is founded by the joint work [6] with M.S. Tanaka and H. Tasaki. 1 Maximal
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say
More informationSection X.55. Cyclotomic Extensions
X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered
More informationCHAPTER 10: POLYNOMIALS (DRAFT)
CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
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 informationCyclic Group Supplement. g = g k : k Z.
Theorem 1. Let g be an element of a group G and write { } g = g k : k Z. Then g is a subgroup of G. Proof. Since 1 = g 0, 1 g. Suppose a, b g. Then a = g k, b = g m and ab = g k g m = g k+m. Hence ab g
More information1 The Galois Group of a Quadratic
Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
More informationIRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID. Mustapha Lahyane and Brian Harbourne
IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID Mustapha Lahyane and Brian Harbourne We give necessary and sufficient conditions for a divisor
More informationCLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES
proceedings of the american mathematical society Volume 98, Number 1. September 1986 CLASS GROUPS, TOTALLY POSITIVE UNITS, AND SQUARES H. M. EDGAR, R. A. MOLLIN1 AND B. L. PETERSON Abstract. Given a totally
More informationA natural boundary for the dynamical zeta function for commuting group automorphisms
A natural boundary for the dynamical zeta function for commuting group automorphisms MILES, Richard Available from Sheffield Hallam University Research Archive (SHURA)
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationarxiv: v1 [math.nt] 31 Dec 2011
arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,
More information