On the Generalised Hermite Constants
|
|
- Griffin Jennings
- 6 years ago
- Views:
Transcription
1 On the Generalised Hermite Constants NTU SPMS-MAS Seminar Bertrand MEYER IMB Bordeaux Singapore, July 10th, 2009 B. Meyer (IMB) Hermite constants Jul 10th / 35
2 Outline 1 Introduction 2 The generalised constant 3 Some inequalities 4 Voronoï theory 5 Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
3 Outline Introduction 1 Introduction 2 The generalised constant 3 Some inequalities 4 Voronoï theory 5 Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
4 Introduction Classical Hermite constant y x Take a lattice L, consider its minimum and determinant. The Hermite invariant is γ n (L) = min L (det L) 1/n. S (L) = { } x L, x 2 = min L Call γ n = sup L R n γ n (L) the Hermite constant. B. Meyer (IMB) Hermite constants Jul 10th / 35
5 Introduction Classical Hermite constant S (L) = y S (L) { } x L, x 2 = min L x Take a lattice L, consider its minimum and determinant. The Hermite invariant is Call γ n (L) = min L (det L) 1/n. γ n = sup L R n γ n (L) the Hermite constant. B. Meyer (IMB) Hermite constants Jul 10th / 35
6 Introduction Classical Hermite constant S (L) = y S (L) det L { } x L, x 2 = min L x Take a lattice L, consider its minimum and determinant. The Hermite invariant is Call γ n (L) = min L (det L) 1/n. γ n = sup L R n γ n (L) the Hermite constant. B. Meyer (IMB) Hermite constants Jul 10th / 35
7 Introduction Classical Hermite constant y x Take a lattice L, consider its minimum and determinant. The Hermite invariant is γ n (L) = min L (det L) 1/n. S (L) = { } x L, x 2 = min L Call γ n = sup L R n γ n (L) the Hermite constant. B. Meyer (IMB) Hermite constants Jul 10th / 35
8 Introduction Classical Hermite constant S (L) = y { } x L, x 2 = min L x Equivalently, the Hermite constant is γ n = max min A q. f. x Z n 0 A[x] (det A) 1/n, where A is positive definite n-dim. quadratic form, or γ n = max g GL n(r) det g=1 min gγ e 1. γ GL n(z) B. Meyer (IMB) Hermite constants Jul 10th / 35
9 Introduction What is the Hermite constant good for? Some examples : 1 Sphere packing problem 2 Non zero integer point of bounded size (whatever the norm is) 3 Example of an easily computable systole. B. Meyer (IMB) Hermite constants Jul 10th / 35
10 Introduction What is the Hermite constant good for? Some examples : 1 Sphere packing problem 2 Non zero integer point of bounded size (whatever the norm is) 3 Example of an easily computable systole. y {3x 2 + 3xy + y 2 < 1} x Z 2 B. Meyer (IMB) Hermite constants Jul 10th / 35
11 Introduction What is the Hermite constant good for? Some examples : 1 Sphere packing problem 2 Non zero integer point of bounded size (whatever the norm is) 3 Example of an easily computable systole. Lattice L Shortest vector vs minimal non-contractile loop Torus R n /L B. Meyer (IMB) Hermite constants Jul 10th / 35
12 Known values Introduction Known values of γ n n Lattice Z A 2 A 3 D 4 D 5 E 6 E 7 E 8 Λ 24 B. Meyer (IMB) Hermite constants Jul 10th / 35
13 Outline The generalised constant 1 Introduction 2 The generalised constant 3 Some inequalities 4 Voronoï theory 5 Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
14 The generalised constant The generalised Hermite constant Some number theoretic notations k : number field of degree d = r 1 + 2r 2 (we assume that the class number is 1) o : ring of integers V : set of Archimedean places ( V = r = r 1 + r 2 ) k v : completion of k ; v : module on k v A = (A v ) v V : Hermite Humbert form. Depending on v, A v is a Euclidean or Hermitian positive definite quadratic form. We define also : det A = v V det A v v. B. Meyer (IMB) Hermite constants Jul 10th / 35
15 The generalised constant The generalised Hermite constant Some notations Fix a partition λ of depth λ and transpose λ. λ Consider a familly of λ lattice vectors (x i ) 1 i λ o n. Form the flag = ( j ) 1 j λ where j is the sublattice spanned by (x i ) 1 i λj. X = x 3 x 2 x 2 x 2 x 1 x 1 x 1 x 1 Denote the evaluation of X in the Humbert form A A[X ] = det(x i A vx i ) i;i j v V,j λ B. Meyer (IMB) Hermite constants Jul 10th / 35 v λ
16 The generalised constant The generalised Hermite constant Our concern for the scope of this talk Definition Define the generalised Hermite constant as γ n,λ (k) = max A A(X ) min o n (det A) λ /n Ch. Hermite where A runs over all n-dimensional Humbert forms and over all flags of shape λ. B. Meyer (IMB) Hermite constants Jul 10th / 35
17 The generalised constant The generalised Hermite constant Our concern for the scope of this talk Definition (Watanabe) Equivalently, the generalised Hermite constant is also γ n,λ (k) = max g GL n(k A ) det g =1 min H(π(gγ) x π) γ GL n(k) for the representation π of GL n (R) of weight λ and where x π denotes a normalised highest weight vector. Remark Here, k A denotes the adel ring of k and H a height on the Schur module associated with π that needs to be carefully chosen. B. Meyer (IMB) Hermite constants Jul 10th / 35
18 The generalised constant The generalised Hermite constant And Diophantine approximation Let g GL n (k A ), call H g (V ) = H(g V ) the twisted height. Théorème The Hermite constant γ n,λ (k) is the smallest constant C such that for any g GL n (k A ), there exists a rational flag satisfying y {3x 2 + 3xy + y 2 < 1} x Z 2 H g ( ) C 1/2 det g ka. B. Meyer (IMB) Hermite constants Jul 10th / 35
19 The generalised constant The generalised Hermite constant And its particular cases Example If λ = and k = Q, γ n,λ is the classical Hermite constant If λ =, γ n,λ is called Hermite-Humbert constant If λ = (only one column) and k = Q, γ n,λ is called the Rankin constant. If λ = (only one column), γ n,λ was introduced by Thunder. B. Meyer (IMB) Hermite constants Jul 10th / 35
20 The generalised constant Purpose of the talk 1 Can one calculate some values of γ n,λ? Answer : Use inequalities 2 How to characterise the extreme forms with respect to λ, i.e. the local maxima of A γ n,λ (A)? Answer :Voronoy theory 3 How to show that expected examples (e.g. Leech lattice and friends) are extreme with respect to λ? Answer : Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
21 The generalised constant Purpose of the talk 1 Can one calculate some values of γ n,λ? Answer : Use inequalities 2 How to characterise the extreme forms with respect to λ, i.e. the local maxima of A γ n,λ (A)? Answer :Voronoy theory 3 How to show that expected examples (e.g. Leech lattice and friends) are extreme with respect to λ? Answer : Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
22 Outline Some inequalities 1 Introduction 2 The generalised constant 3 Some inequalities 4 Voronoï theory 5 Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
23 Some inequalities How to compare the constants for different n? Proposition (Mordell type inequality) For a partition λ of depth λ n n, ( ) λ /n γ n,λ γ n,λ γn,n Proof Start with the best n -dim sublattice L. Chose the best flag of shape λ in L. Write the corresponding inequality. B. Meyer (IMB) Hermite constants Jul 10th / 35
24 Some inequalities Some computed values Rephrasing Korkine and Zolotareff reduction γ 3, = 3 2 γ 4, = 2, γ 5, < By extension using Mordell type inequality n = 4 n = 6 n = 8 3 γ 2 n, γ /3 8 n, γ n, B. Meyer (IMB) Hermite constants Jul 10th / 35
25 Some inequalities Changing the field Proposition (Field change) γ n,λ (k) D k λ (γ nd,λ (Q)) d d d Proof. Write o as a Z module and use arithmetic-geometric inequality. Example : Gaussian or Eisentein lattices The previous inequality is sharp for Q[i] with D 4, E 8, Leech lattice Q[j] with E 6, E 8, Leech lattice. This enables to compute γ n, (k). B. Meyer (IMB) Hermite constants Jul 10th / 35
26 Outline Voronoï theory 1 Introduction 2 The generalised constant 3 Some inequalities 4 Voronoï theory 5 Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
27 Voronoï theory Perfection and eutaxy Recall that S (A) stands for the set of minimal flags of A with respect to λ. Definition A form A is called perfect with respect to λ if the gradients ( l ) S (A) of the length functions l : A ln A[x ] affinely span the tangent space. A form A is called eutactic with respect to λ if the zero vector lies in the affine interior of the convex hull of the gradients ( l ) S (A). B. Meyer (IMB) Hermite constants Jul 10th / 35
28 Voronoï theory Voronoy theory A Humbert form is called extreme with respect to λ if it achieves a local maximum of the Hermite invariant γ n,λ (A). Theorem A Humbert form is extreme with respect to λ if and only if it is perfect and eutactic wrt λ. G. Voronoï Was already known for Hermite and Rankin constants (see Voronoï and Coulangeon). B. Meyer (IMB) Hermite constants Jul 10th / 35
29 Voronoï theory Sketch of proof Proof Check that condition (C) by Bavard is satisfied : study the expansion of the length functions up to the 4th order. Interpretation : det A Ryshkov domain min A 1 eutactic perfect B. Meyer (IMB) Hermite constants Jul 10th / 35
30 Voronoï theory Consequences Proposition The constant γ n,λ is algebraic. Proposition For fixed integer n and partition λ, there are only finitely many perfect lattices (up to homotheties and rotations). B. Meyer (IMB) Hermite constants Jul 10th / 35
31 Consequences Voronoï theory Proposition When λ = and r = 1 (i.e. k is rational or imaginary quadratic), there is an algorithm that enumerates all perfect forms and compute γ n, (k). Example (n=3) Q[i] Q[ 2] Q[j] Q[ 7] Q[ 11] Perfect forms D 6 2 E 6, E 6 A 6, A (2) 6 12 γ 3, (k) B. Meyer (IMB) Hermite constants Jul 10th / 35
32 Outline Vexillar designs 1 Introduction 2 The generalised constant 3 Some inequalities 4 Voronoï theory 5 Vexillar designs B. Meyer (IMB) Hermite constants Jul 10th / 35
33 Vexillar designs Vexillar designs Denote by F λ the set of all vectorial flags of shape λ. Definition We say that a finite subset D of the flag variety F λ is a vexillar t-design if for any polynomial f of degree less than t the following equality holds f ( ) d = 1 f ( ). 4-design with the minimal vectors of A 2 F λ D D Already known in the literature : spherical and Grassmanian designs. B. Meyer (IMB) Hermite constants Jul 10th / 35
34 Vexillar designs Strongly perfect lattices Definition A strongly perfect lattice wrt λ is a lattice the minimal flags of which carry a vexillar 4-design. Theorem (M) A strongly perfect lattice wrt λ is extreme wrt λ. Proof Strongly perfect perfect and eutactic extreme. See Venkov for the classical case and Bachoc, Coulangeon, Nebe for the Grassmaniann case. B. Meyer (IMB) Hermite constants Jul 10th / 35
35 Vexillar designs Strategy and technical details 1 Decompose L 2 (F λ ) into irreducible O n -modules. 2 Define zonal functions for each irreducible space. 3 Express being a design as a condition on zonal functions. 4 Check the implication strongly perfect perfect & eutactic with zonal functions. 5 (Bonus) Give an additionnal criterion on finite groups to obtain a design as the orbit of some flag under the group. B. Meyer (IMB) Hermite constants Jul 10th / 35
36 Vexillar designs A word on representation theory How to work in practice? z 1,1, z 1,m Set Z =... Then R[Z ] is a GL n (R) GL m (R) module z n,1 z n,m under left and right multiplication that can be handled with bitableaux. [ ] For {T, Θ} a bitableau, define the polynomial of R[Z ] = R (z i,j ) 1 i n 1 j m M {T,Θ} = det(z T (j,i),θ(j,i )) 1 i,i λ j, 1 j λ also called determinantal monomial. Example 4 Soit T = 1 3 2, Θ = 1 1, M {T,Θ} = z 1,1 z 1,2 z 4,1 z 4,2 z 3,1. B. Meyer (IMB) Hermite constants Jul 10th / 35
37 Vexillar designs Decomposition of R[Z ] As a GL n (R) GL m (R) module, R[Z ] decomposes as R[Z ] = λ; λ m,n S λ (R n ) S λ (R m ) where S λ (R n ) denotes the representation space (Schur module) of GL n (R) of weight λ. Further more, S λ (R n ) x λ has a basis given by the determinantal monomial M {T,U(λ)} where x λ is a highest weight vector, T is a λ standard tableau and U(λ) = B. Meyer (IMB) Hermite constants Jul 10th / 35
38 Vexillar designs Decomposition of L 2 (F λ ) Represent a flag by a n m matrix (with m = λ ). This gives the inclusion L 2 (F λ ) R[Z ] = S λ (R n ) S λ (R m ). Under the action of O n (R) λ; λ m,n L 2 (F λ ) = µ S [µ] (R n ) S µ (R m ) Om }{{} :=N µ with S [µ] (R n ) O n -irreducible representation of weight µ. Define n µ = dim N µ. In particular, polynomials up to degree 4 are R S [ ] (R n ) n S [ ] (R n ) n S [ ] (R n ) n B. Meyer (IMB) Hermite constants Jul 10th / 35
39 Zonal functions Vexillar designs We call zonal function a function F λ F λ R such that τ O n (R), Z (τ, τ ) = Z (, ) Example (Computations) The zonal functions of S [ ] (R n ) n are spanned by ( ) Z i,i (, ) = Tr pr j pr λ jλ j j n where pr j is the projection on the jth subspace of the flag. B. Meyer (IMB) Hermite constants Jul 10th / 35
40 Vexillar designs Equivalences How to know that we have a vexillar design Theorem The following conditions are equivalent: 1 The set D is a t-design. 2 For any polynomial of degree t, for any τ O n, we have f ( ) = f (τ ). D D 3 For any µ with 0 < µ t, for any Ξ N µ, for any function f of S [µ] (R n ) Ξ, the sum D f ( ) is zero. 4 For any µ with 0 < µ t, for any Ξ and Ξ N µ and for any F λ, Z Ξ,Ξ (, ) = 0. D B. Meyer (IMB) Hermite constants Jul 10th / 35
41 Vexillar designs Group theory to the rescue of designs When does the orbit of a flag carry a design Theorem Let G be a finite subgroup of the orthogonal group O n (R), then the following properties are equivalent : 1 The decomposition of the vector space S [µ] (R n ) nµ as µ t µ m invariant G-modules discloses the trivial representation 1 G only once. 2 For any flag, the orbite G of under the action of G forms a t-design. B. Meyer (IMB) Hermite constants Jul 10th / 35
42 Vexillar designs Results Examples The root lattices D 4, E 6, E 7, E 8, the Leech lattice, the Barnes-Wall lattices (BW k ) k 3, the Thompson-Smith lattice are extreme for any λ. Proof. Check by character theory the group theoretic criterion for being a vexillar t-design (with t 4) on the automorphism group of the lattices or see classification by Tiep. B. Meyer (IMB) Hermite constants Jul 10th / 35
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 informationCovering maxima. Frank Vallentin (TU Delft, CWI Amsterdam) Mathieu Dutour Sikiric (RBI Zagreb) Achill Schurmann (TU Delft)
Covering maxima Frank Vallentin (TU Delft, CWI Amsterdam) Mathieu Dutour Sikiric (RBI Zagreb) Achill Schurmann (TU Delft) 1999 Develop a (nice) theory for lattice coverings! Rudolf Scharlau b 1,...,b n
More informationTraces, Cauchy identity, Schur polynomials
June 28, 20 Traces, Cauchy identity, Schur polynomials Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Example: GL 2 2. GL n C and Un 3. Decomposing holomorphic polynomials over GL
More informationOn Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES
On Siegel s lemma outside of a union of varieties Lenny Fukshansky Claremont McKenna College & IHES Universität Magdeburg November 9, 2010 1 Thue and Siegel Let Ax = 0 (1) be an M N linear system of rank
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
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 informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationOn the computation of Hermite-Humbert constants for real quadratic number fields
Journal de Théorie des Nombres de Bordeaux 00 XXXX 000 000 On the computation of Hermite-Humbert constants for real quadratic number fields par Marcus WAGNER et Michael E POHST Abstract We present algorithms
More informationCSE 206A: Lattice Algorithms and Applications Winter The dual lattice. Instructor: Daniele Micciancio
CSE 206A: Lattice Algorithms and Applications Winter 2016 The dual lattice Instructor: Daniele Micciancio UCSD CSE 1 Dual Lattice and Dual Basis Definition 1 The dual of a lattice Λ is the set ˆΛ of all
More informationCLASSIFICATION OF QUINTIC EUTACTIC FORMS
MATHEMATICS OF COMPUTATION Volume 70, Number 233, Pages 395 417 S 0025-5718(00)01295-3 Article electronically published on July 21, 2000 CLASSIFICATION OF QUINTIC EUTACTIC FORMS CHRISTIAN BATUT Abstract.
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationParabolic subgroups Montreal-Toronto 2018
Parabolic subgroups Montreal-Toronto 2018 Alice Pozzi January 13, 2018 Alice Pozzi Parabolic subgroups Montreal-Toronto 2018 January 13, 2018 1 / 1 Overview Alice Pozzi Parabolic subgroups Montreal-Toronto
More informationTHE UNIT GROUP OF A REAL QUADRATIC FIELD
THE UNIT GROUP OF A REAL QUADRATIC FIELD While the unit group of an imaginary quadratic field is very simple the unit group of a real quadratic field has nontrivial structure Its study involves some geometry
More informationComputational Challenges in Perfect form theory
Computational Challenges in Perfect form theory Mathieu Dutour Sikirić Rudjer Bošković Institute, Zagreb Croatia April 24, 2018 I. Enumerating Perfect forms Notations We define S n the space of symmetric
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationGeneralised Rogers Ramanujan identities and arithmetics. Ole Warnaar School of Mathematics and Physics
Generalised Rogers Ramanujan identities and arithmetics Ole Warnaar School of Mathematics and Physics Based on joint work with Nick Bartlett Michael Griffin Ken Ono Eric Rains History and motivation The
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 informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationSPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS
SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS DAN CIUBOTARU 1. Classical motivation: spherical functions 1.1. Spherical harmonics. Let S n 1 R n be the (n 1)-dimensional sphere, C (S n 1 ) the
More informationINTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES
INTEGRAL ORTHOGONAL BASES OF SMALL HEIGHT FOR REAL POLYNOMIAL SPACES LENNY FUKSHANSKY Abstract. Let P N (R be the space of all real polynomials in N variables with the usual inner product, on it, given
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 informationHecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton
Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic
More informationToshiaki Shoji (Nagoya University) Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1 / 1
Character sheaves on a symmetric space and Kostka polynomials Toshiaki Shoji Nagoya University July 27, 2012, Osaka Character sheaves on a symmetric space and Kostka polynomials July 27, 2012, Osaka 1
More information1: Introduction to Lattices
CSE 206A: Lattice Algorithms and Applications Winter 2012 Instructor: Daniele Micciancio 1: Introduction to Lattices UCSD CSE Lattices are regular arrangements of points in Euclidean space. The simplest
More informationDuke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014
Duke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014 Linear Algebra A Brief Reminder Purpose. The purpose of this document
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationChapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.
Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space
More informationEigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups
Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups Shrawan Kumar Talk given at AMS Sectional meeting held at Davidson College, March 2007 1 Hermitian eigenvalue
More informationRigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen
Rigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen 1. Give necessary and sufficent conditions on T = ( a b c d) GL2 (C) such that T is in U(1,1), i.e. such
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
More informationHERMITE CONSTANT AND EXTREME FORMS FOR ALGEBRAIC NUMBER FIELDS
HERMITE CONSTANT AND EXTREME FORMS FOR ALGEBRAIC NUMBER FIELDS M I ICAZA 1 Introduction In this paper we consider a generalization to algebraic number fields of the classical Hermite constant γ n For this
More informationAn algebraic perspective on integer sparse recovery
An algebraic perspective on integer sparse recovery Lenny Fukshansky Claremont McKenna College (joint work with Deanna Needell and Benny Sudakov) Combinatorics Seminar USC October 31, 2018 From Wikipedia:
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 informationMATH 304 Linear Algebra Lecture 18: Orthogonal projection (continued). Least squares problems. Normed vector spaces.
MATH 304 Linear Algebra Lecture 18: Orthogonal projection (continued). Least squares problems. Normed vector spaces. Orthogonality Definition 1. Vectors x,y R n are said to be orthogonal (denoted x y)
More informationCover Page. The handle holds various files of this Leiden University dissertation
Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05
More informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationBOUNDS FOR SOLID ANGLES OF LATTICES OF RANK THREE
BOUNDS FOR SOLID ANGLES OF LATTICES OF RANK THREE LENNY FUKSHANSKY AND SINAI ROBINS Abstract. We find sharp absolute consts C and C with the following property: every well-rounded lattice of rank 3 in
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 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 informationTranscendence in Positive Characteristic
Transcendence in Positive Characteristic Introduction to Function Field Transcendence W. Dale Brownawell Matthew Papanikolas Penn State University Texas A&M University Arizona Winter School 2008 March
More informationBorcherds proof of the moonshine conjecture
Borcherds proof of the moonshine conjecture pjc, after V. Nikulin Abstract These CSG notes contain a condensed account of a talk by V. Nikulin in the London algebra Colloquium on 24 May 2001. None of the
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/22043 holds various files of this Leiden University dissertation. Author: Anni, Samuele Title: Images of Galois representations Issue Date: 2013-10-24 Chapter
More informationSymmetries of K3 sigma models
Symmetries of K3 sigma models Matthias Gaberdiel ETH Zürich LMS Symposium New Moonshines, Mock Modular Forms and String Theory Durham, 5 August 2015 K3 sigma models Consider CFT sigma model with target
More informationTest, multiplier and invariant ideals
Test, multiplier and invariant ideals Inês B. Henriques Levico Terme MOCCA 2014 Inês B. Henriques (Levico Terme) Test, multiplier and invariant ideals 1 / 39 Motivation: Measures of Singularities Measuring
More informationAlgebraic Actions of the Discrete Heisenberg Group
Algebraic Actions of the Discrete Heisenberg Group Based on joint work with Doug Lind and Evgeny Verbitskiy Klaus Schmidt Vienna DAGT, Udine, July 2018 Klaus Schmidt Algebraic Actions 1 / 21 Toral automorphisms
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 informationMeasuring Ellipsoids 1
Measuring Ellipsoids 1 Igor Rivin Temple University 2 What is an ellipsoid? E = {x E n Ax = 1}, where A is a non-singular linear transformation of E n. Remark that Ax = Ax, Ax = x, A t Ax. The matrix Q
More informationLecture: Linear algebra. 4. Solutions of linear equation systems The fundamental theorem of linear algebra
Lecture: Linear algebra. 1. Subspaces. 2. Orthogonal complement. 3. The four fundamental subspaces 4. Solutions of linear equation systems The fundamental theorem of linear algebra 5. Determining the fundamental
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 informationLogarithmic functional and reciprocity laws
Contemporary Mathematics Volume 00, 1997 Logarithmic functional and reciprocity laws Askold Khovanskii Abstract. In this paper, we give a short survey of results related to the reciprocity laws over the
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 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 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 informationCodes and Rings: Theory and Practice
Codes and Rings: Theory and Practice Patrick Solé CNRS/LAGA Paris, France, January 2017 Geometry of codes : the music of spheres R = a finite ring with identity. A linear code of length n over a ring R
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationCSE 206A: Lattice Algorithms and Applications Spring Minkowski s theorem. Instructor: Daniele Micciancio
CSE 206A: Lattice Algorithms and Applications Spring 2014 Minkowski s theorem Instructor: Daniele Micciancio UCSD CSE There are many important quantities associated to a lattice. Some of them, like the
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 informationFFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations
FFTs in Graphics and Vision Homogenous Polynomials and Irreducible Representations 1 Outline The 2π Term in Assignment 1 Homogenous Polynomials Representations of Functions on the Unit-Circle Sub-Representations
More informationMathieu Moonshine. Matthias Gaberdiel ETH Zürich. String-Math 2012 Bonn, 19 July 2012
Mathieu Moonshine Matthias Gaberdiel ETH Zürich String-Math 2012 Bonn, 19 July 2012 based on work with with S. Hohenegger, D. Persson, H. Ronellenfitsch and R. Volpato K3 sigma models Consider CFT sigma
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationMath 302 Outcome Statements Winter 2013
Math 302 Outcome Statements Winter 2013 1 Rectangular Space Coordinates; Vectors in the Three-Dimensional Space (a) Cartesian coordinates of a point (b) sphere (c) symmetry about a point, a line, and a
More informationRepresentations of moderate growth Paul Garrett 1. Constructing norms on groups
(December 31, 2004) Representations of moderate growth Paul Garrett Representations of reductive real Lie groups on Banach spaces, and on the smooth vectors in Banach space representations,
More informationSYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS
1 SYMMETRIC SUBGROUP ACTIONS ON ISOTROPIC GRASSMANNIANS HUAJUN HUANG AND HONGYU HE Abstract. Let G be the group preserving a nondegenerate sesquilinear form B on a vector space V, and H a symmetric subgroup
More informationOn the norm form inequality F (x) h.
On the norm form inequality F (x) h. Jan-Hendrik Evertse 1) To Professor Kalman Győry on his 60-th birthday. Abstract. Let F Z[X 1,..., X n ] be a non-degenerate norm form of degree r. In his paper [17]
More informationVolumes of Arithmetic Okounkov Bodies
Volumes of Arithmetic Okounkov Bodies Xinyi Yuan April 27, 2015 Contents 1 Introduction 1 2 Lattice points in a filtration 3 3 The arithmetic Okounkov body 7 1 Introduction This paper is an improvement
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 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 informationSystolic Geometry and Topology
Mathematical Surveys and Monographs Volume 137 Systolic Geometry and Topology Mikhail G. Katz With an Appendix by Jake P. Solomon American Mathematical Society Contents Preface Acknowledgments xi xiii
More informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
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 informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 26 (2010), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 6 (010), 359 375 www.emis.de/journals ISSN 1786-0091 EXAMPLES AND NOTES ON GENERALIZED CONICS AND THEIR APPLICATIONS Á NAGY AND CS. VINCZE Abstract.
More informationA LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS
A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM TIMOTHY E. GOLDBERG ABSTRACT. This is a handout for a talk given at Bard College on Tuesday, 1 May 2007 by the author. It gives careful versions
More informationA PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach
A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS Thomas J. Enright, Markus Hunziker and Nolan R. Wallach Abstract. Let (G, K) be a Hermitian symmetric pair and let g and k denote the corresponding complexified
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 information6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree
Quadratic extensions Definition: Let R, S be commutative rings, R S. An extension of rings R S is said to be quadratic there is α S \R and monic polynomial f(x) R[x] of degree such that f(α) = 0 and S
More informationChow rings of Complex Algebraic Groups
Chow rings of Complex Algebraic Groups Shizuo Kaji joint with Masaki Nakagawa Workshop on Schubert calculus 2008 at Kansai Seminar House Mar. 20, 2008 Outline Introduction Our problem (algebraic geometory)
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 informationBRUHAT-TITS BUILDING OF A p-adic REDUCTIVE GROUP
Trends in Mathematics Information Center for Mathematical Sciences Volume 4, Number 1, June 2001, Pages 71 75 BRUHAT-TITS BUILDING OF A p-adic REDUCTIVE GROUP HI-JOON CHAE Abstract. A Bruhat-Tits building
More informationGelfand Pairs and Invariant Distributions
Gelfand Pairs and Invariant Distributions A. Aizenbud Massachusetts Institute of Technology http://math.mit.edu/~aizenr Examples Example (Fourier Series) Examples Example (Fourier Series) L 2 (S 1 ) =
More informationSphere Packings. Ji Hoon Chun. Thursday, July 25, 2013
Sphere Packings Ji Hoon Chun Thursday, July 5, 03 Abstract The density of a (point) lattice sphere packing in n dimensions is the volume of a sphere in R n divided by the volume of a fundamental region
More informationMultiplicity free actions of simple algebraic groups
Multiplicity free actions of simple algebraic groups D. Testerman (with M. Liebeck and G. Seitz) EPF Lausanne Edinburgh, April 2016 D. Testerman (with M. Liebeck and G. Seitz) (EPF Lausanne) Multiplicity
More informationThe Shortest Vector Problem (Lattice Reduction Algorithms)
The Shortest Vector Problem (Lattice Reduction Algorithms) Approximation Algorithms by V. Vazirani, Chapter 27 - Problem statement, general discussion - Lattices: brief introduction - The Gauss algorithm
More informationOeding (Auburn) tensors of rank 5 December 15, / 24
Oeding (Auburn) 2 2 2 2 2 tensors of rank 5 December 15, 2015 1 / 24 Recall Peter Burgisser s overview lecture (Jan Draisma s SIAM News article). Big Goal: Bound the computational complexity of det n,
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationLinear Algebra Massoud Malek
CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product
More informationMATH Linear Algebra
MATH 304 - Linear Algebra In the previous note we learned an important algorithm to produce orthogonal sequences of vectors called the Gramm-Schmidt orthogonalization process. Gramm-Schmidt orthogonalization
More informationCourse 2316 Sample Paper 1
Course 2316 Sample Paper 1 Timothy Murphy April 19, 2015 Attempt 5 questions. All carry the same mark. 1. State and prove the Fundamental Theorem of Arithmetic (for N). Prove that there are an infinity
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 informationCompound matrices and some classical inequalities
Compound matrices and some classical inequalities Tin-Yau Tam Mathematics & Statistics Auburn University Dec. 3, 04 We discuss some elegant proofs of several classical inequalities of matrices by using
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 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 informationOn the Non-vanishing of the Central Value of Certain L-functions: Unitary Groups
On the Non-vanishing of the Central Value of Certain L-functions: Unitary Groups arxiv:806.04340v [math.nt] Jun 08 Dihua Jiang Abstract Lei Zhang Let π be an irreducible cuspidal automorphic representation
More informationDense lattices as Hermitian tensor products
Contemporary Mathematics Volume 58, 013 http://dx.doi.org/10.1090/conm/58/1165 Dense lattices as Hermitian tensor products Renaud Coulangeon and Gabriele Nebe This paper is dedicated to Boris Venkov. Abstract.
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More 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 information