Voronoi s algorithm to compute perfect lattices
|
|
- Christopher Goodwin
- 5 years ago
- Views:
Transcription
1 Voronoi s algorithm to compute perfect lattices F R n n sym,>0 min(f ) := min{xf x tr 0 x Z n } minimum Min(F ) := {x Z n xf x tr = min(f )}. Vor(F ) := conv (x tr x x Min(F )) Voronoi domain F perfect, if and only if dim(vor(f )) = n(n + )/2. P n := {F R n n sym,>0 min(f ) =, F perfect }. Theorem (Voronoi) T n := {Vor(F ) F P n } is a locally finite, face to face tessellation of R n n sym,>0 on which GL n(z) acts with finitely many orbits. Min(gF g tr ) = {xg x Min(F )} so Vor(gF g tr ) = g tr Vor(F )g
2 Max Koecher: Pair of dual cones Jürgen Opgenorth: Dual cones and the Voronoi Algorithm Experimental Mathematics 200 V, V 2 real vector spaces of same dimension n σ : V V 2 R bilinear and non-degenerate. Definition V >0 V and V >0 2 V 2 are dual cones if (DC) V >0 i is open in V i and non-empty for i=,2. (DC2) For all x V >0 and y V >0 2 one has σ(x, y) > 0. (DC3) For every x V V >0 there is 0 y V >0 2 with σ(x, y) 0 for every y V 2 V >0 2 there is 0 x V >0 with σ(x, y) 0.
3 V >0 and V >0 2 pair of dual cones Let D V 0 2 {0} be discrete in V 2 and x V >0. µ D (x) := min{σ(x, d) d D} the D-minimum of x. M D (x) := {d D µ D (x) = σ(x, d)} the set of D-minimal vectors of x. M D (x) is finite and M D (x) = M D (λx) for all λ > 0. V D (x) := { d a dd d M D (x), a d R >0 } the D-Voronoi domain of x. A vector x V >0 is called D-perfect, if codim(v D (x)) = 0. P D := {x V >0 µ D (x) =, x is D-perfect } Definition D is called admissible if for every sequence (x i ) i N that converges to a point x δv >0 the sequence (µ D (x i )) i N converges to 0.
4 Voronoi tessellation Theorem If D V 0 2 {0} is discrete in V 2 and admissible then the D-Voronoi domains of the D-perfect vectors form an exact tessellation of V >0 Definition The graph Γ D of D-perfect vectors has vertices P D and edges E = {(x, y) P D P D x and y are neighbours }. Here x, y P D are neighbours if codim(v D (x) V D (y)) =. Corollary If D V 0 2 {0} is discrete and admissible then Γ D is a connected, locally finite graph. 2.
5 Discontinuous Groups Aut(V >0 i ) := {g GL(V i ) V >0 i g = V >0 i }. Ω Aut(V >0 ) properly discontinously on V >0. Ω ad := {ω ad ω Ω} Aut(V >0 2 D V 0 2 {0} discrete, admissible and invariant under Ω ad For x V >0 and ω Ω we have µ D (xw) = µ D (x), M D (xw) = M D (x)(ω ad ), V D (xw) = V D (x)(ω ad ). In particular Ω acts on Γ D.
6 Discontinuous Groups (continued) Theorem Assume additionally that the residue graph Γ D /Ω is finite. x,..., x t P D orbit representatives spanning a connected subtree T of Γ D δt := {y P D T y neighbour of some x i T }. ω y Ω with yω y T. Ω = ω y, Stab Ω (x) x T, y δt In particular the group Ω is finitely generated.
7 Applications Jürgen Opgenorth, 200 G GL n (Z) finite. Compute Ω := N GLn(Z)(G). Michael Mertens, 204 L (R n+, n i= x2 i x2 n+) =: H n+ a Z-lattice in hyperbolic space (signature (n, )). Compute Ω := Aut(L) := {g O(H n+ ) Lg = L}. Braun, Coulangeon, N., Schönnenbeck, 205 A finite dimensional semisimple Q-algebra, Λ A order, i.e. a finitely generated full Z-lattice that is a subring of A. Compute Ω := Λ := {g Λ h Λ, gh = hg = }.
8 Normalizers of finite unimodular groups G GL n (Z) finite. F(G) := {F R n n sym gf g tr = F for all g G} space of invariant forms. B(G) := {g GL n (Z) gf g tr = F for all F F(G)} Bravais group. F(G) always contains a positive definite form g G ggtr. B(G) is finite. N GLn(Z)(G) N GLn(Z)(B(G)) =: Ω acts on F(G). Compute Ω and then the finite index subgroup N GLn(Z)(G). V := F(G) and V 2 := F(G tr ). σ : V V 2 R >0, σ(a, B) := trace(ab). π : R n n sym V 2, F G gtr F g A F(G), B R n n sym σ(a, π(b)) = trace(ab) D := {q x := π(x tr x) x Z n } F F(G) R n n sym,>0 then µ D(F ) = min(f ).
9 Easy example G = diag(, ) F(G) = diag(, ), diag(0, ) B(G) = diag(, ), diag(, ) F = I 2 is G-perfect. V D (F ) = F >0 (G tr ). N GL2 (Z)(G) Ω = N GL2 (Z)(B(G)) = Aut(F ) = D 8.
10 Orders in semi-simple rational algebras. The positive cone K some rational division algebra, A = K n n A R := A Q R semi-simple real algebra A R = direct sum of matrix rings over of H, R or C. A R carries a canonical involution depending on the choice of the isomorphism that we use to define symmetric elements: V = V 2 = V := Sym(A R ) := { F A R F = F } σ(f, F 2 ) := trace(f F 2 ) defines a Euclidean inner product on V. In general the involution will not fix the set A.
11 Orders: Endomorphism rings of lattices. The simple A-module. Let V = K n denote the simple right A-module, V R = V Q R. For x V we have x x V. F V is called positive if F [x] := σ(f, x x) > 0 for all 0 x V R. V >0 := {F V F is positive }. The discrete admissible set O order in K, L some O-lattice in the simple A-module V Λ := End O (L) is an order in A with unit group Λ := GL(L) = {a A al = L}.
12 Minimal vectors. L-minimal vectors Let F V >0. µ(f ) := µ L (F ) = min{f [l] 0 l L} the L-minimum of F M L (F ) := {l L F [l] = µ L (F )} L-minimal vectors Vor L (F ) := { x M L (F ) a xx x a x 0} V 0 Voronoi domain F is called L-perfect dim(vor L (F )) = dim(v). Theorem T := {Vor L (F ) F V >0, L-perfect } forms a locally finite face to face tessellation of V 0. Λ acts on T with finitely many orbits.
13 Generators for Λ Compute R := {F,..., F s } set of representatives of Λ -orbits on the L-perfect forms, such that their Voronoi-graph is connected. For all neighbors F of one of these F i (so Vor(F ) Vor(F i ) has codimension ) compute some g F Λ such that g F F R. Then Λ = Aut(F i ), g F F i R, F neighbor of some F j R. a b 3 2 e f 2 c d so here Λ = Aut(F ), Aut(F 2 ), Aut(F 3 ), a, b, c, d, e, f.
14 Example Q 2,3. Take the rational quaternion algebra ramified at 2 and 3, Q 2,3 = i, j i 2 = 2, j 2 = 3, ij = ji = diag( 2, ( 0 2), 3 0 Maximal order Λ =, i, 2 ( + i + ij), 2 (j + ij) V = A = Q 2,3, A R = R 2 2, L = Λ Embed A into A R using the maximal subfield Q[ 2]. Get three perfect forms: ( 2 2 F = 2 2 ), F 2 = F 3 = diag( , ) ( ) )
15 The tesselation for Q 2,3 Q[ 2] 2 2.
16 Λ / ± = a, b, t a 3, b 2, atbt a 2 2 t 3 2 b t 2 3
17 Λ = a, b, t a 3 = b 2 = atbt =, A = Q 2,3 a = ( ) ( ) b = t = ( ) Note that t = b a + has minimal polynomial x 2 + x and a, b / ± = C 3 C 2 = PSL2 (Z)
18 The tesselation for Q 2,3 Q[ 3] 2 2.
19 A rational division algebra of degree 3 ϑ = ζ 9 + ζ9, σ = Gal(Q(ϑ)/Q), A the Q-algebra generated by ϑ Z := σ(ϑ) and Π := σ 2 (ϑ) A division algebra, Hasse-invariants 3 at 2 and 2 3 at 3. Λ some maximal order in A Γ := Λ has 43 orbits of perfect forms and presentation Γ = a, b b 2 a 2 (b a ) 2, b 2 (a b ) 2 ab 2 a 2 b 3, ab 2 a b 3 a 2 bab 3, a 2 bab 2 ab (a 2 b) 2, a b 2 a b a 5 b 2 a 3, b 2 a 2 b a b a 2 b a b 2 (a b ) 3 a = 3 (( 3Z Z2 ) + (2 + Z 2 )Π + ( Z 2 )Π 2 ), b = 3 (( 3 2Z + Z2 ) + ( 2Z)Π + ( Z 2 )Π 2 )..
20 Quaternion algebras over CM fields K CM-field and A = Q K where Q is a definite quaternion algebra over the rationals. is a positive involution on A. K = Q 7] ( ) A =, Q[ 7] : Q K Q K; a k a k =, i, j, k, Λ maximal order only one orbit of perfect forms Λ = a, b b 3 =, (b a ba) 2 =, (b 2 a 2 ) 3 = a := 4 (( + 7) ( + 7)i + ( + 7)j + (3 7)k), b := 2 ( + i 3j + 7k)
21 Quaternion algebras over imaginary quadratic fields ( ), A =, k = Q( d) k d Number of Runtime Runtime Number of perfect forms Voronoï Presentation generators 7.24s 0.42s s 0.50s s.0s s.78s s 2.57s s 2.52s s 3.02s s 7.54s 6
22 Quaternion algebras over Q( 7) A = ( a, b ) Q( 7) a,b perfect Runtime Runtime Number of forms Voronoï Presentation generators,.24s 0.42s 2, s 4.3s 6, s 5.s 0, s 89.34s 6
23 Easy solution of constructive recognition PX a t P t b
24 Easy solution of constructive recognition PX a Pa P t t b
25 Easy solution of constructive recognition Pa X PX a Pa P t t b
26 Easy solution of constructive recognition Pa X PX a P t t b
27 Isomorphic unit groups Question Given two maximal orders Λ and Γ in A. Does it hold that Λ is isomorphic to Γ if and only if Λ and Γ are conjugate in A? Maximal finite subgroups Λ = Γ they have the same number of conjugacy classes of maximal finite subgroups G of given isomorphism type. These G arise as stabilisers of well rounded faces of the Voronoi tessellation hence may be obtained by the Voronoi algorithm. Integral Homology Many people have used the Λ action on the subcomplex of well rounded faces of the Voronoi tessellation to compute H n (Λ, Z), which is again an invariant of the isomorphism class of Λ.
28 Conclusion Algorithm works quite well for indefinite quaternion algebras over the rationals Obtain presentation and algorithm for constructive recognition of elements For Q 9,37 our algorithm computes the presentation within 5 minutes (288 perfect forms, 88 generators) whereas the MAGMA implementation FuchsianGroup does not return a result after four hours Reasonably fast for quaternion algebras with imaginary quadratic center or matrix rings of degree 2 over imaginary quadratic fields For the rational division algebra of degree 3 ramified at 2 and 3 compute presentation of Λ, 43 perfect forms, 2 generators in about 0 minutes. Quaternion algebra with center Q[ζ 5 ]: > perfect forms. Database available under de/ Oliver.Braun/unitgroups/ Which questions can one answer for unit groups of orders?
Computing Unit Groups of Orders
Computing Unit Groups of Orders Gabriele Nebe, Oliver Braun, Sebastian Schönnenbeck Lehrstuhl D für Mathematik Bad Boll, March 5, 2014 The classical Voronoi Algorithm Around 1900 Korkine, Zolotareff, and
More informationMaximal finite subgroups of Sp(2n, Q)
Maximal finite subgroups of Sp(2n, Q) Markus Kirschmer RWTH Aachen University Groups, Rings and Group-Rings July 12, 2011 Goal Characterization Goal: Classify all conjugacy classes of maximal finite symplectic
More informationarxiv: v3 [math.kt] 5 Dec 2016
Noname manuscript No. (will be inserted by the editor) Resolutions for unit groups of orders Sebastian Schönnenbeck arxiv:1609.08835v3 [math.kt] 5 Dec 2016 Abstract We present a general algorithm for constructing
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 informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationExtremal lattices. Gabriele Nebe. Oberwolfach August Lehrstuhl D für Mathematik
Extremal lattices Gabriele Nebe Lehrstuhl D für Mathematik Oberwolfach August 22 Lattices and sphere packings Hexagonal Circle Packing θ = + 6q + 6q 3 + 6q 4 + 2q 7 + 6q 9 +.... Even unimodular lattices
More informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationIncoherent definite spaces and Shimura varieties
Incoherent definite spaces and Shimura varieties Benedict H Gross February 25, 2018 Contents 1 Introduction 2 2 Local and global orthogonal spaces 3 3 Local and global Hermitian spaces 5 4 Incoherent definite
More informationALGEBRA QUALIFYING EXAM PROBLEMS
ALGEBRA QUALIFYING EXAM PROBLEMS Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND MODULES General
More informationWOMP 2001: LINEAR ALGEBRA. 1. Vector spaces
WOMP 2001: LINEAR ALGEBRA DAN GROSSMAN Reference Roman, S Advanced Linear Algebra, GTM #135 (Not very good) Let k be a field, eg, R, Q, C, F q, K(t), 1 Vector spaces Definition A vector space over k is
More informationUnits of Integral Group Rings, Banff, Eric Jespers. Vrije Universiteit Brussel Belgium
Units of Integral Group Rings, Banff, 2014 Eric Jespers Vrije Universiteit Brussel Belgium G a finite group ZG integral group ring U(ZG) group of invertible elements, a finitely presented group PROBLEM
More informationLECTURES MATH370-08C
LECTURES MATH370-08C A.A.KIRILLOV 1. Groups 1.1. Abstract groups versus transformation groups. An abstract group is a collection G of elements with a multiplication rule for them, i.e. a map: G G G : (g
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 informationExercises on chapter 4
Exercises on chapter 4 Always R-algebra means associative, unital R-algebra. (There are other sorts of R-algebra but we won t meet them in this course.) 1. Let A and B be algebras over a field F. (i) Explain
More informationAutomorphisms of doubly-even self-dual binary codes.
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Automorphisms of doubly-even self-dual binary codes. Annika Günther and Gabriele Nebe Abstract The automorphism group of
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 information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationLecture 4: Examples of automorphic forms on the unitary group U(3)
Lecture 4: Examples of automorphic forms on the unitary group U(3) Lassina Dembélé Department of Mathematics University of Calgary August 9, 2006 Motivation The main goal of this talk is to show how one
More informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
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 informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
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 informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
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 informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More information1.4 Solvable Lie algebras
1.4. SOLVABLE LIE ALGEBRAS 17 1.4 Solvable Lie algebras 1.4.1 Derived series and solvable Lie algebras The derived series of a Lie algebra L is given by: L (0) = L, L (1) = [L, L],, L (2) = [L (1), L (1)
More informationAlgebra Ph.D. Entrance Exam Fall 2009 September 3, 2009
Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded
More informationONE CLASS GENERA OF LATTICE CHAINS OVER NUMBER FIELDS
ONE CLASS GENERA OF LATTICE CHAINS OVER NUMBER FIELDS MARKUS KIRSCHMER AND GABRIELE NEBE Abstract. We classify all one-class genera of admissible lattice chains of length at least 2 in hermitian spaces
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 informationGROUP ACTIONS EMMANUEL KOWALSKI
GROUP ACTIONS EMMANUEL KOWALSKI Definition 1. Let G be a group and T a set. An action of G on T is a map a: G T T, that we denote a(g, t) = g t, such that (1) For all t T, we have e G t = t. (2) For all
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 informationGroups and Representations
Groups and Representations Madeleine Whybrow Imperial College London These notes are based on the course Groups and Representations taught by Prof. A.A. Ivanov at Imperial College London during the Autumn
More informationAlgorithmic Treatment of Algebraic Modular Forms Diamant Symposium Fall 2015
Algorithmic Treatment of Algebraic Modular Forms Diamant Symposium Fall 2015 Sebastian Schönnenbeck November 27, 2015 Experimental and constructive algebra Sebastian Schönnenbeck November 27, 2015 Algorithmic
More informationΓ 1 (N) given by the W -operator W =. It would be interesting to show
Hodge structures of type (n, 0,..., 0, n) Burt Totaro Completing earlier work by Albert, Shimura found all the possible endomorphism algebras (tensored with the rationals) for complex abelian varieties
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 informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationExplicit Complex Multiplication
Explicit Complex Multiplication Benjamin Smith INRIA Saclay Île-de-France & Laboratoire d Informatique de l École polytechnique (LIX) Eindhoven, September 2008 Smith (INRIA & LIX) Explicit CM Eindhoven,
More informationAlgebra III Chapter 2 Note Packet. Section 2.1: Polynomial Functions
Algebra III Chapter 2 Note Packet Name Essential Question: Section 2.1: Polynomial Functions Polynomials -Have nonnegative exponents -Variables ONLY in -General Form n ax + a x +... + ax + ax+ a n n 1
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
More informationImplications of hyperbolic geometry to operator K-theory of arithmetic groups
Implications of hyperbolic geometry to operator K-theory of arithmetic groups Weizmann Institute of Science - Department of Mathematics LMS EPSRC Durham Symposium Geometry and Arithmetic of Lattices, July
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
More informationAlgebra Qualifying Exam Solutions. Thomas Goller
Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity
More informationSymmetric Spaces. Andrew Fiori. Sept McGill University
McGill University Sept 2010 What are Hermitian? A Riemannian manifold M is called a Riemannian symmetric space if for each point x M there exists an involution s x which is an isometry of M and a neighbourhood
More informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationLinear Algebraic Groups
Linear Algebraic Groups Fall 2015 These are notes for the graduate course Math 6690 (Linear Algebraic Groups) taught by Dr. Mahdi Asgari at the Oklahoma State University in Fall 2015. The notes are taken
More informationAn inclusion between sets of orbits and surjectivity of the restriction map of rings of invariants
Hokkaido Mathematical Journal Vol. 37 (2008) p. 437 454 An inclusion between sets of orbits and surjectivity of the restriction map of rings of invariants Takuya Ohta (Received February 28, 2007; Revised
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationPermutation groups H. W. Lenstra, Fall streng/permutation/index.html
Permutation groups H. W. Lenstra, Fall 2007 http://www.math.leidenuniv.nl/ streng/permutation/index.html Solvable groups. Let G be a group. We define the sequence G (0) G (1) G (2)... of subgroups of G
More informationA note on cyclic semiregular subgroups of some 2-transitive permutation groups
arxiv:0808.4109v1 [math.gr] 29 Aug 2008 A note on cyclic semiregular subgroups of some 2-transitive permutation groups M. Giulietti and G. Korchmáros Abstract We determine the semi-regular subgroups of
More informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationAlgebra Prelim Notes
Algebra Prelim Notes Eric Staron Summer 2007 1 Groups Define C G (A) = {g G gag 1 = a for all a A} to be the centralizer of A in G. In particular, this is the subset of G which commuted with every element
More informationSeminar on Motives Standard Conjectures
Seminar on Motives Standard Conjectures Konrad Voelkel, Uni Freiburg 17. January 2013 This talk will briefly remind you of the Weil conjectures and then proceed to talk about the Standard Conjectures on
More informationBruhat Tits buildings and representations of reductive p-adic groups
Bruhat Tits buildings and representations of reductive p-adic groups Maarten Solleveld Radboud Universiteit Nijmegen joint work with Ralf Meyer 26 November 2013 Starting point Let G be a reductive p-adic
More informationKneser s p-neighbours and algebraic modular forms
Kneser s p-neighbours and algebraic modular forms Matthew Greenberg University of Calgary 5 September 2011 1 / 36 Agenda 1 introduction 2 adelic automorphic forms 3 algebraic modular forms (after Gross)
More informationNOTES ON CLASSICAL SHIMURA VARIETIES
NOTES ON CLASSICAL SHIMURA VARIETIES DONU ARAPURA We work over C in these notes. 1. Abelian varieties An abelian variety is a higher dimensional version of an elliptic curve. So first of all it is a complex
More informationCombinatorics and geometry of E 7
Combinatorics and geometry of E 7 Steven Sam University of California, Berkeley September 19, 2012 1/24 Outline Macdonald representations Vinberg representations Root system Weyl group 7 points in P 2
More informationRepresentation Theory
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section II 19I 93 (a) Define the derived subgroup, G, of a finite group G. Show that if χ is a linear character
More information13 Endomorphism algebras
18.783 Elliptic Curves Lecture #13 Spring 2017 03/22/2017 13 Endomorphism algebras The key to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to
More informationPh.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018
Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The
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 informationZeta functions of buildings and Shimura varieties
Zeta functions of buildings and Shimura varieties Jerome William Hoffman January 6, 2008 0-0 Outline 1. Modular curves and graphs. 2. An example: X 0 (37). 3. Zeta functions for buildings? 4. Coxeter systems.
More information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
More informationOn finite simple images of triangle groups
On finite simple images of triangle groups Sebastian Jambor, Alastair Litterick, Claude Marion July 7, 2017 Abstract. For a simple algebraic group G in characteristic p, a triple (a, b, c) of positive
More informationInvariant Distributions and Gelfand Pairs
Invariant Distributions and Gelfand Pairs A. Aizenbud and D. Gourevitch http : //www.wisdom.weizmann.ac.il/ aizenr/ Gelfand Pairs and distributional criterion Definition A pair of groups (G H) is called
More informationOn the centralizer of a regular, semi-simple, stable conjugacy class. Benedict H. Gross
On the centralizer of a regular, semi-simple, stable conjugacy class Benedict H. Gross Let k be a field, and let G be a semi-simple, simply-connected algebraic group, which is quasi-split over k. The theory
More informationEuclidean Buildings. Guyan Robertson. Newcastle University
Euclidean Buildings Guyan Robertson Newcastle University Contents 1 Overview of Buildings 2 Lattices, Coset Spaces, Normal Form 3 The Ãn 1 building of PGL n (F) 4 The Boundary 5 Ã 2 groups Part I Overview
More informationShimura curve computations
Shimura curve computations John Voight Abstract. We introduce Shimura curves first as Riemann surfaces and then as moduli spaces for certain abelian varieties. We give concrete examples of these curves
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationThe Fricke-Macbeath Curve
The Fricke-Macbeath Curve Jaap Top BIRS, September 28th, 2016 joint work with Carlo Verschoor (master s student in Groningen during 2014/15, currently PhD student with Frits Beukers, Utrecht) Some history
More informationThe geometry and topology of arithmetic hyperbolic 3-manifolds
The geometry and topology of arithmetic hyperbolic 3-manifolds Alan W. Reid May 12, 2007 1 Introduction This paper is based on three lectures given by the author at the RIMS Symposium, Topology, Complex
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationGeometry and combinatorics of spherical varieties.
Geometry and combinatorics of spherical varieties. Notes of a course taught by Guido Pezzini. Abstract This is the lecture notes from a mini course at the Winter School Geometry and Representation Theory
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationOn splitting of the normalizer of a maximal torus in groups of Lie type
On splitting of the normalizer of a maximal torus in groups of Lie type Alexey Galt 07.08.2017 Example 1 Let G = SL 2 ( (F p ) be the ) special linear group of degree 2 over F p. λ 0 Then T = { 0 λ 1,
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
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 informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationOne-dimensional families of Riemann surfaces with 4g+4 autom
One-dimensional families of Riemann surfaces of genus g with 4g+4 automorphisms joint work with A. Costa Automorphisms of Riemann Surfaces and Related Topics AMS Spring Western Sectional Meeting Portland,
More information(VII.B) Bilinear Forms
(VII.B) Bilinear Forms There are two standard generalizations of the dot product on R n to arbitrary vector spaces. The idea is to have a product that takes two vectors to a scalar. Bilinear forms are
More informationComputer methods for Hilbert modular forms
Computer methods for Hilbert modular forms John Voight University of Vermont Workshop on Computer Methods for L-functions and Automorphic Forms Centre de Récherche Mathématiques (CRM) 22 March 2010 Computer
More informationPolynomial and Inverse Forms
Contemporary Mathematics Polynomial and Inverse Forms D. S. Passman Abstract. In a recent paper, this author studied invariant ideals in abelian group algebras under the action of certain infinite, locally
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 information