STRUCTURE THEORY OF UNIMODULAR LATTICES
|
|
- Audrey Cameron
- 5 years ago
- Views:
Transcription
1 STRUCTURE THEORY OF UNIMODULAR LATTICES TONY FENG 1 Unimodular Lattices 11 Definitions Let E be a lattice, by which we mean a free abelian group equipped with a symmetric bilinear form, : E E Z Definition 11 We say E is unimodular if one of the two equivalent conditions hold: (1) ( Extrinsic ) For a basis e i of E, we have det(a ij := e i, e j ) = ±1 (2) ( Intrinsic ) The map E E given by x x, is an isomorphism To see that these equivalent, note that the matrix (a ij ) expresses e i, in terms of the dual basis (e i ) of E, where e i (e j ) = δ ij Note that the intersection matrix (a ij ) is well-defined only up to the action of GL(n, Z) given by b (a ij ) = b t (a ij )b We let ULat be the monoid of unimodular lattices under 12 Invariants If we are going to give any sort of classification of unimodular lattices, we then we have to write down some interesting invariants of them Rank We define r(e) = rank Z E Index We can consider V = E R The classification of real symmetric bilinear forms tells us that this is determined by the signature (p, q), and we define τ(e) = p q Discriminant Since det GL n Z = {±1}, the discriminant det(a ij ) of E is well-defined and equal to ±1 by definition Note however, that this is already determined by the rank and index in the unimodular case Type If x, x 0 (mod 2) for each x E then we say that E is even, or of Type II Otherwise we say that E is odd, or of Type I Note that in terms of an intersection matrix (a ij ), even is equivalent to a ii 0 (mod 2) for all i Wu class Consider E = E Z Z/2, a vector space over F 2 Since the map x x, x Date: April 19,
2 2 TONY FENG is linear for x E, the unimodular assumption implies that x, x = v 2, x for some v 2 E If we let ṽ 2 denote any lift of v 2, then ṽ 2, ṽ 2 is well-defined modulo 8 Indeed, any other lift is of the form ṽ 2 + 2v, but ṽ 2 + 2v, ṽ 2 + 2v = ṽ 2, ṽ 2 + 4( ṽ 2, v + v, v ) and ṽ 2, v + v, v is even by definition of v 2 We then define σ(e) := v 2, v 2 Z/8 Remark 12 While this last definition may be natural from the experience of topology, it feels hacky to me A more systematic approach would be to consider E Z Q p for each prime p, and then to use a classification of quadratic forms over p-adic fields This is a little complicated to state, but we just remark that at odd primes p 2 one would find no interesting invariants, and at p = 2 one would recover the datum of σ (but packaged slightly differently) 13 Examples We denote by I + the rank 1 lattice with intersection matrix (1) We denote by I the rank 1 lattice with intersection matrix ( 1) We denote by U the hyperbolic lattice with intersection matrix ( ) We denote by D n the index-2 sublattice of Z n consisting of (x i ) with x i 0 (mod 2) We denote by E 4k the lattice E 4k = D 4k + (D 4k + ( 12,, 12 ) ) with the form inherited from R n (We need a multiple of 4 for the form to be integral) Note that this is even if k = 2m is even Remark 13 For us the only aspect of the E 8 lattice that will matter is its invariants There are other ways of describing it, for instance as the intersection matrix for the lattice of ( 1)-curves in the Picard group of the blowup of P 2 at 8 points Here is a summary of the invariants of the lattices which are important to us Lattice r τ D Type σ I I 1 I I -1 si + + ti s + t s t ( 1) t I s t U II 0 E 8m 8m 8m 1 II 0 2 Structure Theory 21 Indefinite lattices The two main results are: Theorem 21 Let E be indefinite of type I Then E = si + ti Theorem 22 Let E be indefinite of type II If τ(e) 0 then E = pu qe 8
3 STRUCTURE THEORY OF UNIMODULAR LATTICES 3 Remark 23 If τ(e) < 0 then E = p( U) q( E 8 ), where the negative lattice is obtained by negating the Cartan matrix These results can be reformualted as saying that a unimodular indefinite lattice is completely determined by its rank, index, and type There is no significance to E 8 other than that together with U all ranks and indices can be achieved 22 Consequences Corollary 24 If E, E ULat have the same rank and index then E I + = E I + or E I = E I Proof By adding either I + or I, we can ensure that E and E are indefinite and odd, and then apply Theorem 21 (Strictly speaking, this is false if E = E = 0, but that case is also fine) The following results are most elegantly phrased in terms of the Grothendieck K-group K(ULat) We recall that the Grothendieck group is a construction taking in any abelian monoid and producing an abelian group, essentially by formally adjoining inverses The elements of K(ULat) can be thought of as formal differences of lattices, and two lattices E and E become isomorphic in K(ULat) if they were stably isomorphic, ie if there exists some lattice F such that E F = E F The K-group K(ULat) is universal with respect to maps from the monoid of lattices to groups Theorem 25 K(ULat) is a free abelian group on generators I + and I This follows from Theorem 21 by adding I + or I Alternatively, we have just seen that any two lattices with the same rank and index are stably isomorphic Since rank and index are always congruent mod 2, this also shows that the map (r, τ) induces an isomorphism K(ULat) = {(a, b) Z 2 a b (mod 2)} This completely characterizes lattices up to stable isomorphism Theorem 26 We have σ(e) = τ(e) (mod 8) for all lattices E Proof By inspection this holds for si + + ti Corollary 27 If E is even (type II), then τ(e) 0 (mod 8) Corollary 28 If E is definite and even (type II), then r(e) 0 (mod 8) Proof Definite implies that τ(e) = ±r(e) Let E be a unimodular latice 3 Some Lemmas Lemma 31 If F E, then F is a summand if and only F is unimodular Proof If F is a summand then obviously F needs to be unimodular, since the discriminant of E is a multiple of that for E Conversely, suoppose F is unimodular We need to produce a splitting E F, but we always have E F and the unimodularity implies E = E and F = F Corollary 32 If x E has x, x = ±1 then E = x x
4 4 TONY FENG Lemma 33 If x is indivisible, then there exists y E such that x, y = 1 Proof Under the isomorphism E = E we have x x, Since x is indivisible, so is the functional x,, so it takes some y E to 1 The major input is: 4 Proof of Theorem 21 Theorem 41 If E is an indefinite unimodular lattice then there exists x E such that x, x = 0 Proof We will not give a full proof For rank 4 the argument is by direct analysis; for n 5 perhaps the nicest way to see it is by the Hasse-Minkowski Theorem, which says that if a quadratic form over Q represents λ in Q p for all p and also in R, then it represents λ over Q Obviously there is a solution over R Over Q p, at least for p 2 it suffices to find a non-zero solution in F p, which can then be lifted by Hensel s Lemma One argues that: if a, b, c are units in Z/p, then there is a non-zero solution to ax 2 + by 2 + cz 2 0 (mod p) This can be obtained by counting: ax 2 takes roughly p/2 values, as do the other terms The need for five squares comes from the fact that among five elements of Z p, some three will have the same p-adic valuation modulo 2 Now, suppose that E is odd and definite (and unimodular) Then there is some x E such that x, x = 0, which we can assume to be indivisible By Lemma 33 there is then y E such that x, y = 1 By Lemma 31, we have E = x, y F Since E is odd, the intersection matrix for x, y is of the form ( ) m + 1 By replacing x by mx y and y by (m + 1)x y, we have the new intersection matrix ( ) This shows that E = I + I F You might be tempted to conclude the result by induction, but be careful: we do not know that F is odd and indefinite However, if F is non-zero then we can always guarantee this to be the case by taking F I + or F I 5 Proof of Theorem 22 Lemma 51 Let E be indefinite and even Then there is F ULat such that E = U F Proof Arguing as before, there exists an indivisible x E such that x, x = 0, and y E such that x, y = 1, and a splitting The intersection matrix of x, y is E = x, y F ( ) m
5 STRUCTURE THEORY OF UNIMODULAR LATTICES 5 By the change of variables y y mx, we get the intersection matrix ( ) which is U Lemma 52 Let F 1, F 2 ULat be even Suppose I + I F 1 = I+ I F 2 Then U F 1 = U F2 Granting this for now, let s see how it finishes off the Theorem We want to show that an even indefinite unimodular lattice is determined by its rank and index, so suppose E 1 and E 2 are two lattices with the same rank and index Then E 1 = U F1 and E 2 = U F2 Then I + I F 1 = I+ I F 2 by Theorem 21, and so we are done by Lemma 52 To prove the classification E = pu qe 8, simply note that we can recover r = r(e) τ(e) 2 and q = τ(e)/8 Proof of Lemma 52 Let W = I + I and E i = W F i Consider the index 2 sublattices Ei 0 = {x E i : x, x 0 (mod 2)} We have evidently Ei 0 = W 0 F i where W i is the index 2 sublattice of W consisting of points (x, y) with x y (mod 2) We now consider also the dual lattice (Ei 0) = (W 0 ) F i, noting that (W 0 ) = {(x, y) x, y 1 Z; x y Z} 2 Then (W 0 ) /W 0 = Z/2 Z/2 has three subgroups of index 2 One is W, and the other is isomorphic to U, as can be seen directly: a basis for (W 0 ) /W 0 is (1/2, 1/2) and (1/2, 1/2), so the other two subgroups are (1/2, 1/2), (1, 1) and (1, 1), (1/2, 1/2) Now, any isomorphism W F 1 = W F2 induces an isomorphism (W 0 ) F 1 = (W 0 ) F 2, hence also an isomorphism of the rank 2 sublattices (up to some ordering) 6 The Siegel Mass formula The definite unimodula lattices do not admit such nice classification theorems However, there is a Siegel mass formula which describes how many different isomorphism classes there are For simplicity, we consider the even case The automorphism group of a positivedefinite lattice is finite, since it is the intersection of a compact group with a discrete group For a lattice E, let g E be the size ofthe automorphism group of E Let C n be the set of isomorphism classes of even unimodular lattices with rank n, and set M n = E C n 1/g E Theorem 61 We have where M n = B 2k 8k t e t 1 = m=0 4k 1 j=1 B j 4j B m t m m! The right hand side grows extremely quickly, which tells us that there are many different isomorphism classes
6 6 TONY FENG n M n The growth of M n is superexponential In particular, this suggests the impossibility of giving a classification of definite unimodular lattices: it would require too many invariants Example 62 In practice the mass formula is useful for showing that we have accounted for all lattices of a given rank For instance, for n = 8 it gives , which is the size of Aut(E 8 ) Similarly, for n = 16 we get that the only lattices up to isomorphism are E 16 and E 8 E 8 References [1] Serre, A Course in Arithmetic Springer-Verlag Graduate Texts in Mathematics, 1973
Notes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationA Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers. Key Words: Quadratic Forms, indefinite ternary quadratic.
Bol. Soc. Paran. Mat. (3s.) v. 23 1-2 (2005): 85 92. c SPM ISNN-00378712 A Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers Jean Bureau and Jorge Morales abstract: In this paper
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationHASSE-MINKOWSKI THEOREM
HASSE-MINKOWSKI THEOREM KIM, SUNGJIN 1. Introduction In rough terms, a local-global principle is a statement that asserts that a certain property is true globally if and only if it is true everywhere locally.
More informationSTABLY FREE MODULES KEITH CONRAD
STABLY FREE MODULES KEITH CONRAD 1. Introduction Let R be a commutative ring. When an R-module has a particular module-theoretic property after direct summing it with a finite free module, it is said to
More informationThe Classification of (n 1)-connected 2n-manifolds
The Classification of (n 1)-connected 2n-manifolds Kyler Siegel December 18, 2014 1 Prologue Our goal (following [Wal]): Question 1.1 For 2n 6, what is the diffeomorphic classification of (n 1)-connected
More informationThe Leech lattice. 1. History.
The Leech lattice. Proc. R. Soc. Lond. A 398, 365-376 (1985) Richard E. Borcherds, University of Cambridge, Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB,
More informationDiscrete Series Representations of Unipotent p-adic Groups
Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.
More information2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS
2-UNIVERSAL POSITIVE DEFINITE INTEGRAL QUINARY DIAGONAL QUADRATIC FORMS B.M. Kim 1, Myung-Hwan Kim 2, and S. Raghavan 3, 1 Dept. of Math., Kangnung Nat l Univ., Kangwondo 210-702, Korea 2 Dept. of Math.,
More informationw d : Y 0 (N) Y 0 (N)
Upper half-plane formulas We want to explain the derivation of formulas for two types of objects on the upper half plane: the Atkin- Lehner involutions and Heegner points Both of these are treated somewhat
More informationFebruary 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions
February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationarxiv: v1 [math.ag] 19 Oct 2016
Reflective anisotropic hyperbolic lattices of rank 4 Bogachev N.V. a a Department of Mathematics and Mechanics, Lomonosov Moscow State University, 119991 Leninskie Gory, Moscow, Russia arxiv:1610.06148v1
More informationimplies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the
Math 395. Geometric approach to signature For the amusement of the reader who knows a tiny bit about groups (enough to know the meaning of a transitive group action on a set), we now provide an alternative
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 informationDefinite Quadratic Forms over F q [x]
Definite Quadratic Forms over F q [x] Larry J. Gerstein Department of Mathematics University of California Santa Barbara, CA 93106 E-mail: gerstein@math.ucsb.edu Version: September 30, 2002 ABSTRACT. Let
More informationQUADRATIC FORMS OVER LOCAL RINGS
QUADRATIC FORMS OVER LOCAL RINGS ASHER AUEL Abstract. These notes collect together some facts concerning quadratic forms over commutative local rings, specifically mentioning discrete valuation rings.
More informationDEFINITE MANIFOLDS BOUNDED BY RATIONAL HOMOLOGY THREE SPHERES
DEFINITE MANIFOLDS BOUNDED BY RATIONAL HOMOLOGY THREE SPHERES BRENDAN OWENS AND SAŠO STRLE Abstract. This paper is based on a talk given at the McMaster University Geometry and Topology conference, May
More informationClassication of Quadratic Forms
Classication of Quadratic Forms Manuel Araújo September 14, 2011 Abstract We present the classication of quadratic forms over the rationals and then describe a partial classication of quadratic forms over
More informationTHE DIFFERENT IDEAL. Then R n = V V, V = V, and V 1 V 2 V KEITH CONRAD 2 V
THE DIFFERENT IDEAL KEITH CONRAD. Introduction The discriminant of a number field K tells us which primes p in Z ramify in O K : the prime factors of the discriminant. However, the way we have seen how
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationSiegel Moduli Space of Principally Polarized Abelian Manifolds
Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a C-vector space of dimension
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 informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationWorkshop on Serre s Modularity Conjecture: the level one case
Workshop on Serre s Modularity Conjecture: the level one case UC Berkeley Monte Verità 13 May 2009 Notation We consider Serre-type representations of G = Gal(Q/Q). They will always be 2-dimensional, continuous
More informationA BRIEF INTRODUCTION TO LOCAL FIELDS
A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
More informationREPRESENTATIONS BY QUADRATIC FORMS AND THE EICHLER COMMUTATION RELATION
REPRESENTATIONS BY QUADRATIC FORMS AND THE EICHLER COMMUTATION RELATION LYNNE H. WALLING UNIVERSITY OF BRISTOL Let Q be a positive definite quadratic form on a lattice L = Zx 1 Zx m, with associated symmetric
More informationElliptic Curves as Complex Tori
Elliptic Curves as Complex Tori Theo Coyne June 20, 207 Misc. Prerequisites For an elliptic curve E given by Y 2 Z = X 2 + axz 2 + bz 3, we define its j- invariant to be j(e = 728(4a3 4a 3 +27b. Two elliptic
More informationMath 451, 01, Exam #2 Answer Key
Math 451, 01, Exam #2 Answer Key 1. (25 points): If the statement is always true, circle True and prove it. If the statement is never true, circle False and prove that it can never be true. If the statement
More informationOn the Least Number of Cell Orbits of a Hadamard Matrix of Order n
Irish Math. Soc. Bulletin 56 (2005), 95 102 95 On the Least Number of Cell Orbits of a Hadamard Matrix of Order n WARWICK DE LAUNEY AND RICHARD STAFFORD Abstract. The automorphism group of any Hadamard
More informationCHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA
CHARACTERIZING INTEGERS AMONG RATIONAL NUMBERS WITH A UNIVERSAL-EXISTENTIAL FORMULA BJORN POONEN Abstract. We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential
More informationPOSITIVE DEFINITE n-regular QUADRATIC FORMS
POSITIVE DEFINITE n-regular QUADRATIC FORMS BYEONG-KWEON OH Abstract. A positive definite integral quadratic form f is called n- regular if f represents every quadratic form of rank n that is represented
More informationx i e i ) + Q(x n e n ) + ( i<n c ij x i x j
Math 210A. Quadratic spaces over R 1. Algebraic preliminaries Let V be a finite free module over a nonzero commutative ring F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v)
More informationTHE p-adic VALUATION OF LUCAS SEQUENCES
THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
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 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 informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationThe Kronecker-Weber Theorem
The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the
More informationHOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS
HOME ASSIGNMENT: ELLIPTIC CURVES OVER FINITE FIELDS DANIEL LARSSON CONTENTS 1. Introduction 1 2. Finite fields 1 3. Elliptic curves over finite fields 3 4. Zeta functions and the Weil conjectures 6 1.
More informationOn some congruence properties of elliptic curves
arxiv:0803.2809v5 [math.nt] 19 Jun 2009 On some congruence properties of elliptic curves Derong Qiu (School of Mathematical Sciences, Institute of Mathematics and Interdisciplinary Science, Capital Normal
More information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationThe j-function, the golden ratio, and rigid meromorphic cocycles
The j-function, the golden ratio, and rigid meromorphic cocycles Henri Darmon, McGill University CNTA XV, July 2018 Reminiscences of CNTA 0 The 1987 CNTA in Quebec City was an exciting one for me personally,
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationA WEAK VERSION OF ROLLE S THEOREM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3147 3153 S 0002-9939(97)03910-5 A WEAK VERSION OF ROLLE S THEOREM THOMAS C. CRAVEN (Communicated by Wolmer
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationComputing the image of Galois
Computing the image of Galois Andrew V. Sutherland Massachusetts Institute of Technology October 9, 2014 Andrew Sutherland (MIT) Computing the image of Galois 1 of 25 Elliptic curves Let E be an elliptic
More informationExotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course
More informationGALOIS GROUPS AS PERMUTATION GROUPS
GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationAutomorphism groups of Lorentzian lattices.
Automorphism groups of Lorentzian lattices. Journal of Algebra, Vol. 111, No. 1, Nov 1987, 133 153. Richard E. Borcherds, D.P.M.M.S., University of Cambridge, 16 Mill Lane, Cambridge, CB2 1SB, England.
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationCLOSED (J-I)-CONNECTED (2J+1)-MANIFOLDS, s = 3, 7.
CLOSED (J-I)-CONNECTED (2J+1)-MANIFOLDS, s = 3, 7. DAVID L. WILKENS 1. Introduction This paper announces certain results concerning closed (s l)-connected (2s +1)- manifolds P, where s = 3 or 7. (Here
More informationHans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c
MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the
More informationNumber Theory Fall 2016 Problem Set #6
18.785 Number Theory Fall 2016 Problem Set #6 Description These problems are related to the material covered in Lectures 10-12. Your solutions are to be written up in latex (you can use the latex source
More informationIntegral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis
June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationLevel raising. Kevin Buzzard April 26, v1 written 29/3/04; minor tinkering and clarifications written
Level raising Kevin Buzzard April 26, 2012 [History: 3/6/08] v1 written 29/3/04; minor tinkering and clarifications written 1 Introduction What s at the heart of level raising, when working with 1-dimensional
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationAn introduction to the algorithmic of p-adic numbers
An introduction to the algorithmic of p-adic numbers David Lubicz 1 1 Universté de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France Outline Introduction 1 Introduction 2 3 4 5 6 7 8 When do we
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 informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
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 informationFIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS
FIXED-POINT FREE ENDOMORPHISMS OF GROUPS RELATED TO FINITE FIELDS LINDSAY N. CHILDS Abstract. Let G = F q β be the semidirect product of the additive group of the field of q = p n elements and the cyclic
More informationp-adic fields Chapter 7
Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify
More information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
More informationOn Compact Just-Non-Lie Groups
On Compact Just-Non-Lie Groups FRANCESCO RUSSO Mathematics Department of Naples, Naples, Italy E-mail:francesco.russo@dma.unina.it Abstract. A compact group is called a compact Just-Non-Lie group or a
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationMyung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea
REPRESENTATIONS OF POSITIVE DEFINITE SENARY INTEGRAL QUADRATIC FORMS BY A SUM OF SQUARES Myung-Hwan Kim and Byeong-Kweon Oh Department of Mathematics Seoul National University Seoul 151-742 Korea Abstract.
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationEmbeddings of Integral Quadratic Forms. Rick Miranda Colorado State University David R. Morrison University of California, Santa Barbara
Embeddings of Integral Quadratic Forms Rick Miranda Colorado State University David R. Morrison University of California, Santa Barbara Copyright c 2009, Rick Miranda and David R. Morrison Preface The
More informationQuadratic forms and the Hasse-Minkowski Theorem
Quadratic forms and the Hasse-Minkowski Theorem Juraj Milcak University of Toronto MAT477 Instructor: Prof. Milman March 13, 2012 1 / 23 2 / 23 Our goal is the Hasse-Minkowski Theorem: Recall: for a prime
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationAlgebraic Topology exam
Instituto Superior Técnico Departamento de Matemática Algebraic Topology exam June 12th 2017 1. Let X be a square with the edges cyclically identified: X = [0, 1] 2 / with (a) Compute π 1 (X). (x, 0) (1,
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationThe Hurewicz Theorem
The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationLECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS
LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.
More informationEric Hofmann. AKLS Seminar Aachen, March 3, TU Darmstadt. Borcherds Products on Unitary Groups. Eric Hofmann. Setup.
TU Darmstadt AKLS Seminar Aachen, March 3, 2010 Outline 1 Hermitian lattices and unitary on U(L) 2 Sketch of proof: Pullback from O(V ) 3 Let F be an imaginary quadratic number field, F = Q( d), d < 0,
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More informationAlgebra SEP Solutions
Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since
More informationc ij x i x j c ij x i y j
Math 48A. Class groups for imaginary quadratic fields In general it is a very difficult problem to determine the class number of a number field, let alone the structure of its class group. However, in
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
More informationOxford 13 March Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall
Oxford 13 March 2017 Surgery on manifolds: the early days, Or: What excited me in the 1960s. C.T.C.Wall In 1956 Milnor amazed the world by giving examples of smooth manifolds homeomorphic but not diffeomorphic
More informationMINKOWSKI THEORY AND THE CLASS NUMBER
MINKOWSKI THEORY AND THE CLASS NUMBER BROOKE ULLERY Abstract. This paper gives a basic introduction to Minkowski Theory and the class group, leading up to a proof that the class number (the order of the
More information