POSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "POSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA"

Transcription

1 POSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA 1. Kernel and the trace formula Beginning from this lecture, we will discuss the approach to Langlands functoriality conjecture based on Arthur s trace formula. The techniques used are very different from that based on the use of L-functions and converse theorem, as we will see. The most impressive result in this direction is the recent works of Arthur, which besides establishing the functorial lift from classical groups to general linear groups, he also obtained the complete description of the discrete automorphic spectrum of classical groups, in terms of the automorphic spectrum of general linear groups. As before, G is a connected reductive group over the global field F. We fix a Haar measure dg on GpAq. Denote by G Q Res F {Q G the Weil restriction of scalars, and A GQ the Q-split component of the centre of G Q. We put A`8 : A GQ prq 0 Then the quotient GpF qa`8zgpaq has finite volume with respect to dg. be We fix a unitary character ω of A`8, and consider the L 2 -space of functions: L 2 pgpf qzgpaq, ωq where the translation action of A`8 is given by ω. The space L 2 pgpf qzgpaq, ωq support the right regular representation R of GpAq: for φ P L 2 pgpf qzgpaq, ωq prpgqφqphq φphgq, g, h P GpAq For a test function f P Cc 8 pgpaq, ω 1 q, the regular representation R defines the operator Rpfq on L 2 pgpf qzgpaq, ωq: ż prpf qφqphq f pgqφphgqdg GpAq which is an integral operator, whose kernel is given by the function: K f pg 1, g 2 q ÿ fpg 1 1 γg 2q γpgpf q 1

2 2 LECTURE 4 In a naive sense, given a test function f, the trace tr Rpfq of the operator Rpfq on L 2 pgpf qzgpaq, ωq is given by integrating the kernel funcction K f along the diagonal: ż (1.0.1) tr Rpfq K f pg, gqdg GpF qa`8zgpaq and the trace formula is obtained by equating the spectral expansion of the left hand side of (1.0.1), with the geometric expansion of the right hand side of (1.0.1). The main problem with this sketch is of course that, in general, the operator Rpfq is not of trace class, and hence tr Rpfq is not defined, and similarly the integral on the right hand side of (1.0.1) diverges in general. However, in the case where the quotient GpF qa`8zgpaq is compact (this is equivalent to the condition that G has no proper parabolic subgroups over F ), the operator Rpfq is of trace class, with no continuous spectrum on L 2 pgpf qzgpaq, ωq, and the right hand side of (1.0.1) converges, and in this way one gets the trace formula for compact quotient which was already derived by Selberg (c.f. page 8-9 of [Arthur]). For the most important case where for G is (quasi)-split for instance, the automorphic quotient is no longer compact, and one must do highly nontrivial work in order to establish a trace formula. One has to truncate both the left and right hand side of (1.0.1) to obtain meaningful expressions. Even after that there are considerable difficulties. For the spectral side we have continuous components in the spectral decomposition of the L 2 -space coming from Eisenstein series, which complicates the spectral side of the theory. For the geometric side, we have, in contrast to the case where the automorphic quotient is compact, elements in GpF q that are not semi-simple, which complicates the geometric side of the theory. Without going into the details, let us simply say that, remarkably in a single handed manner, Arthur was able to develop the general trace formula (over a period of ten years). A good exposition is the paper [Arthur]. The form of the trace formula that Arthur finally obtained is nowadays called the Invariant trace formula. This forms the basis of the trace formula approach to Langlands functoriality, among many other applications. We first define the Hecke space HpGpAq, ω 1 q to which the trace formula applies. First we fix a maximal compact subgroup K ź v K v of GpAq.

3 LECTURE 4 3 Then the Hecke space HpGpAq, ω 1 q (with respect to K) is the subspace of C 8 c pgpaq, ω 1 q consisting of finite linear combination of functions: f ź v f v such that f v is K v -finite for all archimedean v, and such that for almost all non-archimedean v, the function f v is the characteristic function of K v. To simplify the exposition we assume that the character ω is trivial, and we omit the reference to ω in the notation. The general case can be treated with simple modification. The invariant trace formula is thus a linear functional Ipfq on the Hecke space of function f P HpGpAqq: Ipfq I spec pfq I geom pfq where I spec pfq is called the spectral expansion of the trace formula, while I geom pfq is called the geometric expansion of the trace formula. Here we note that the trace formula is called invariant, becasue all the terms appearing in both the spectral and geometric expansions are invariant under conjugation by GpAq. Remark The above description is of course a gross simplification; in reality the geometric expansion of the Invariant trace formula contains spectral terms as well; see the discussion of section of [Arthur]. In the next two section we describe the simplest terms occuring in the geometric and spectral expansion of the trace formula. In the case where the automorphic quotient is compact these are the only terms that appear. 2. Elliptic semi-simple terms in the geometric expansion First we setup some notation. For a semi-simple element γ P GpF q, we denote G γ,` the centralizer of γ in G, and by G γ the identity component of G γ,`, which is again a connected reductive group over F. We put ιpγq rg γ,` : G γ s Remark In this connection, a theorem of Steinberg states that if the derived group of G is simply connected, then G γ,` is already connected, i.e. G γ,` G γ for any semi-simple γ. We define a semi-simple element γ P GpF q to be ellipitc if A Gγ A G (recall that for a general connected reductive group H over F, we denote by

4 4 LECTURE 4 A H the F -split component of the centre of H). For an elliptic semi-simple element γ P GpF q we put a G 1 ellpγq : ιpγq volpg γpf qa`8zg γ paq, dg γ q The quantity a G ell pγq is the coefficient of the orbital integral f Gpγq associated to the GpAq-conjugacy class of γ, for a test Hecke function f P HpGpAqq. It is defined as: ż f G pγq : fpg 1 γgqpdg{dg γ q G γpaqzgpaq We then put for, for a test function f as above: ÿ I ell pfq a G ell pγqf Gpγq γpgpf q{ conj Here the sum is over GpF q-conjugacy classes of elements of GpF q. It gives the simplest, but in a sense the most significant, terms appearing in the geometric expansion of the trace formula. If the automorphic quotient is compact, we have I geom I ell. In general however, there will be contribution from orbital integrals of non-semi-simple elements, together with contributions of weighted orbital integrals from the Levi subgroups of G; see section 11 and 18 of [Arthur]. 3. Discrete spectral terms and the discrete component of the trace formula The discrete L 2 -spectrum: L 2 discpgpf qa`8zgpaqq is by definition the largest GpAq-subspace of L 2 pgpf qa`8zgpaqq that decomposes discretely under the action of GpAq. Thus we have by definition a Hilbert space direct sum decomposition: L 2 disc pgpf qa`8zgpaqq xà π mpπqπ with π runs over irreducible admissible representations of GpAq, and mpπq ě 0 is a non-negative integer, called the multiplicity of π in the discrete automorphic spectrum (of course we only need to include those π for which mpπq ě 1). The classical result of Gelfand-Piatetski-Shapiro is that the cuspidal automorphic representations are in the discrete automorphic spectrum. We put, for f P HpGpAqq a test Hecke function: I L 2 -disc pfq : ÿ mpπq tr πpfq π This represents the simplest, but in some sense the most significant, terms occuring in the spectral expansion I spec pfq of the trace formula. The other

5 LECTURE 4 5 terms involve more complicated expressions, namely weighted characters and intertwining operators coming from the continuous spectrum, which is described by Langlands theory of Eisenstein series. In the case where the automorphic quotient is compact, we have I spec pfq I L 2 -discpfq, and thus in this case the trace formula for compact quotient is simply: I L 2 -discpfq I ell pfq Back to the general case, we also define the discrete component of the trace formula I disc pfq for a Hecke test function f, as the expression: (3.0.2) I disc pfq ÿ MPL W0 M ÿ 1 W0 G detpw 1q wpw pmq reg a G trpm P pwqi P pfqq M The explanation of these terms is as follows: L is the set of standard Levi subgroups M of G; here by standard we mean the following: we fix a minimal Levi subgroup M 0 of G over F. Then a Levi subgroup M of G over F is called standard if M contains M 0. W pmq NormpA M, Gq{M is the relative Weyl group of G with respect to M. Here A M is the maximal F -split component of the centre of M. Similarly W0 G and W 0 M denote the Weyl groups of G and M with respect ot M 0 respectively. a M (resp. a G ) is the real vector space Hom Z px F pmq, Rq (resp. Hom Z px F pgq, Rq). The canonical complement of a G in a M is noted as a G M. W pmq reg is the set of regular elements of W pmq, i.e. the set of elements w P W pmq such that detpw 1q a G 0. M P P PpMq is a parabolic subgroup of G with M as Levi component. I P is the representation of GpAq parabolically induced from the discrete automorphic spectrum: L 2 discpmpf qa` M,8 zmpaqq of MpAq. Here we denote by A` M,8 the identity component of A MQ prq M P pwq is a certain intertwining operator on I P associated to w that occurs in the functional equation of Eisenstein series; see page 34 of [Arthur]. Note that I L 2 -discpfq corresponds to the summand with M G in (3.0.2). Even though the discrete component I disc pfq contains more complicated terms than I L 2 -discpfq, nevertheless from the point of view of Arthur s theory of trace formula (and also from the point of view of Langlands functoriality) that it is more natural to consider I disc pfq rather than I L 2 -discpfq. In any case the discrete component I disc forms the most important terms in the spectral

6 6 LECTURE 4 expansion I spec ; to define the other terms one would need the notion of weighted characters; see section 15 and 21 of [Arthur]. References [Arthur] J.Arthur, An Introduction to the Trace Formula. In Harmonic analysis, the trace formula and Shimura varieties. Clay Mathematics PRoceedings, vol.4 (2005).

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2

Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree

More information

Spherical representations and the Satake isomorphism

Spherical representations and the Satake isomorphism Spherical representations and the Satake isomorphism Last updated: December 10, 2013. Topics: otivation for the study of spherical representations; Satake isomorphism stated for the general case of a connected

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

On Bhargava s representations and Vinberg s invariant theory

On Bhargava s representations and Vinberg s invariant theory On Bhargava s representations and Vinberg s invariant theory Benedict H. Gross Department of Mathematics, Harvard University Cambridge, MA 02138 gross@math.harvard.edu January, 2011 1 Introduction Manjul

More information

Math 231b Lecture 35. G. Quick

Math 231b Lecture 35. G. Quick Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

On parameters for the group SO(2n)

On parameters for the group SO(2n) On parameters for the group SO(2n) James Arthur In memory of Ilya Piatetski-Shapiro. 1. Background This article is an attempt to refine a property of automorphic representations from the monograph [A3].

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Functional equation for GL 2 and cuspidal local constants

Functional equation for GL 2 and cuspidal local constants Functional equation for GL 2 and cuspidal local constants Johan M. Commelin November 12, 2014 Let π be an irreducible smooth representation of G = GL 2 (F ). We want to attach an L-function L(π, s), and

More information

Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

More information

CYCLIC ODD DEGREE BASE CHANGE LIFTING FOR UNITARY GROUPS IN THREE VARIABLES

CYCLIC ODD DEGREE BASE CHANGE LIFTING FOR UNITARY GROUPS IN THREE VARIABLES International Journal of Number Theory Vol. 5, No. 7 (2009) 1247 1309 c World Scientific Publishing Company CYCLIC ODD DEGREE BASE CHANGE LIFTING FOR UNITARY GROUPS IN THREE VARIABLES PING-SHUN CHAN and

More information

Recall that two vectors in are perpendicular or orthogonal provided that their dot

Recall that two vectors in are perpendicular or orthogonal provided that their dot Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal

More information

Group Theory. Contents

Group Theory. Contents Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

More information

Inner Product Spaces

Inner Product Spaces Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

More information

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued).

MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors. Jordan canonical form (continued). MATH 423 Linear Algebra II Lecture 38: Generalized eigenvectors Jordan canonical form (continued) Jordan canonical form A Jordan block is a square matrix of the form λ 1 0 0 0 0 λ 1 0 0 0 0 λ 0 0 J = 0

More information

Communication on the Grassmann Manifold: A Geometric Approach to the Noncoherent Multiple-Antenna Channel

Communication on the Grassmann Manifold: A Geometric Approach to the Noncoherent Multiple-Antenna Channel IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 48, NO. 2, FEBRUARY 2002 359 Communication on the Grassmann Manifold: A Geometric Approach to the Noncoherent Multiple-Antenna Channel Lizhong Zheng, Student

More information

α = u v. In other words, Orthogonal Projection

α = u v. In other words, Orthogonal Projection Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

ADDITIVE GROUPS OF RINGS WITH IDENTITY

ADDITIVE GROUPS OF RINGS WITH IDENTITY ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free

More information

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson

JUST THE MATHS UNIT NUMBER 1.8. ALGEBRA 8 (Polynomials) A.J.Hobson JUST THE MATHS UNIT NUMBER 1.8 ALGEBRA 8 (Polynomials) by A.J.Hobson 1.8.1 The factor theorem 1.8.2 Application to quadratic and cubic expressions 1.8.3 Cubic equations 1.8.4 Long division of polynomials

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Classification of Cartan matrices

Classification of Cartan matrices Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

More information

Character degrees and random walks in finite groups of Lie type

Character degrees and random walks in finite groups of Lie type Character degrees and random walks in finite groups of Lie type Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Aner Shalev Institute of Mathematics Hebrew University

More information

The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14

The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14 4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

More information

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

The Positive Supercyclicity Theorem

The Positive Supercyclicity Theorem E extracta mathematicae Vol. 19, Núm. 1, 145 149 (2004) V Curso Espacios de Banach y Operadores. Laredo, Agosto de 2003. The Positive Supercyclicity Theorem F. León Saavedra Departamento de Matemáticas,

More information

Quantum Mechanics and Representation Theory

Quantum Mechanics and Representation Theory Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

Matrix generators for exceptional groups of Lie type

Matrix generators for exceptional groups of Lie type J. Symbolic Computation (2000) 11, 1 000 Matrix generators for exceptional groups of Lie type R. B. HOWLETT, L. J. RYLANDS AND D. E. TAYLOR School of Mathematics and Statistics, University of Sydney, Australia

More information

2. Introduction to quantum mechanics

2. Introduction to quantum mechanics 2. Introduction to quantum mechanics 2.1 Linear algebra Dirac notation Complex conjugate Vector/ket Dual vector/bra Inner product/bracket Tensor product Complex conj. matrix Transpose of matrix Hermitian

More information

OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

More information

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEY-ABRAHAMSON Abstract. These are notes for a talk in the MIT-Northeastern Spring 2015 Geometric Representation Theory Seminar. The main source

More information

WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE?

WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE? WHICH LINEAR-FRACTIONAL TRANSFORMATIONS INDUCE ROTATIONS OF THE SPHERE? JOEL H. SHAPIRO Abstract. These notes supplement the discussion of linear fractional mappings presented in a beginning graduate course

More information

equations Karl Lundengård December 3, 2012 MAA704: Matrix functions and matrix equations Matrix functions Matrix equations Matrix equations, cont d

equations Karl Lundengård December 3, 2012 MAA704: Matrix functions and matrix equations Matrix functions Matrix equations Matrix equations, cont d and and Karl Lundengård December 3, 2012 Solving General, Contents of todays lecture and (Kroenecker product) Solving General, Some useful from calculus and : f (x) = x n, x C, n Z + : f (x) = n x, x R,

More information

Subspaces of R n LECTURE 7. 1. Subspaces

Subspaces of R n LECTURE 7. 1. Subspaces LECTURE 7 Subspaces of R n Subspaces Definition 7 A subset W of R n is said to be closed under vector addition if for all u, v W, u + v is also in W If rv is in W for all vectors v W and all scalars r

More information

A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT

A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally

More information

1 Sets and Set Notation.

1 Sets and Set Notation. LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

More information

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set. Vector space A vector space is a set V equipped with two operations, addition V V (x,y) x + y V and scalar

More information

Robert Langlands. Bibliography

Robert Langlands. Bibliography Robert Langlands Bibliography (1) Some holomorphic semi-groups, Proc. Nat. Acad. Sci. 46 (1960), 361-363. (2) On Lie semi-groups, Can. J. Math. 12 (1960), 686-693. (3) Dirichlet series associated with

More information

BILINEAR FORMS KEITH CONRAD

BILINEAR FORMS KEITH CONRAD BILINEAR FORMS KEITH CONRAD The geometry of R n is controlled algebraically by the dot product. We will abstract the dot product on R n to a bilinear form on a vector space and study algebraic and geometric

More information

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009, 2011, 2014 Preface The title of the book sounds a bit mysterious. Why should anyone

More information

3 Orthogonal Vectors and Matrices

3 Orthogonal Vectors and Matrices 3 Orthogonal Vectors and Matrices The linear algebra portion of this course focuses on three matrix factorizations: QR factorization, singular valued decomposition (SVD), and LU factorization The first

More information

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University

Linear Algebra Done Wrong. Sergei Treil. Department of Mathematics, Brown University Linear Algebra Done Wrong Sergei Treil Department of Mathematics, Brown University Copyright c Sergei Treil, 2004, 2009, 2011, 2014 Preface The title of the book sounds a bit mysterious. Why should anyone

More information

by the matrix A results in a vector which is a reflection of the given

by the matrix A results in a vector which is a reflection of the given Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

More information

Inner product. Definition of inner product

Inner product. Definition of inner product Math 20F Linear Algebra Lecture 25 1 Inner product Review: Definition of inner product. Slide 1 Norm and distance. Orthogonal vectors. Orthogonal complement. Orthogonal basis. Definition of inner product

More information

Leibniz (from the Historia et Origo Calculi Differentialis, translated by J. M. Child)

Leibniz (from the Historia et Origo Calculi Differentialis, translated by J. M. Child) It is an extremely useful thing to have knowledge of the true origins of memorable discoveries... It is not so much that thereby history may attribute to each man his own discoveries and that others should

More information

5 Numerical Differentiation

5 Numerical Differentiation D. Levy 5 Numerical Differentiation 5. Basic Concepts This chapter deals with numerical approximations of derivatives. The first questions that comes up to mind is: why do we need to approximate derivatives

More information

arxiv:math/0402080v1 [math.nt] 5 Feb 2004

arxiv:math/0402080v1 [math.nt] 5 Feb 2004 BIEXTENSIONS OF 1-MOTIVES BY 1-MOTIVES arxiv:math/0402080v1 [math.nt] 5 Feb 2004 CRISTIANA BERTOLIN Abstract. Let S be a scheme. In this paper, we define the notion of biextensions of 1-motives by 1-motives.

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials Hilbert Polynomials For a monomial ideal, we derive the dimension counting the monomials in the complement, arriving at the notion of the Hilbert polynomial. The first half of the note is derived from

More information

CONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation

CONTROLLABILITY. Chapter 2. 2.1 Reachable Set and Controllability. Suppose we have a linear system described by the state equation Chapter 2 CONTROLLABILITY 2 Reachable Set and Controllability Suppose we have a linear system described by the state equation ẋ Ax + Bu (2) x() x Consider the following problem For a given vector x in

More information

Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

The Characteristic Polynomial

The Characteristic Polynomial Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

More information

16.3 Fredholm Operators

16.3 Fredholm Operators Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

More information

Notes on Determinant

Notes on Determinant ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

SECRET sharing schemes were introduced by Blakley [5]

SECRET sharing schemes were introduced by Blakley [5] 206 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 1, JANUARY 2006 Secret Sharing Schemes From Three Classes of Linear Codes Jin Yuan Cunsheng Ding, Senior Member, IEEE Abstract Secret sharing has

More information

Alex, I will take congruent numbers for one million dollars please

Alex, I will take congruent numbers for one million dollars please Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory

More information

DIVISORS AND LINE BUNDLES

DIVISORS AND LINE BUNDLES DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function

More information

Computing Klein modular forms

Computing Klein modular forms Université de Bordeaux July 24, 2014 Paris 13 Workshop on Analytic Number Theory and Geometry 1 Motivation 2 3 4 Elliptic curves and automorphic forms Want a database of elliptic curves over number field

More information

3 1. Note that all cubes solve it; therefore, there are no more

3 1. Note that all cubes solve it; therefore, there are no more Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

More information

Appendix A. Appendix. A.1 Algebra. Fields and Rings

Appendix A. Appendix. A.1 Algebra. Fields and Rings Appendix A Appendix A.1 Algebra Algebra is the foundation of algebraic geometry; here we collect some of the basic algebra on which we rely. We develop some algebraic background that is needed in the text.

More information

Inner Product Spaces and Orthogonality

Inner Product Spaces and Orthogonality Inner Product Spaces and Orthogonality week 3-4 Fall 2006 Dot product of R n The inner product or dot product of R n is a function, defined by u, v a b + a 2 b 2 + + a n b n for u a, a 2,, a n T, v b,

More information

On the exceptional series, and its descendants

On the exceptional series, and its descendants On the exceptional series, and its descendants Pierre Deligne a, Benedict H. Gross b Résumé. Les articles [1], [2], [3] exhibent des ressemblances entre les propriétés des représentations adjointes des

More information

arxiv:math/0010057v1 [math.dg] 5 Oct 2000

arxiv:math/0010057v1 [math.dg] 5 Oct 2000 arxiv:math/0010057v1 [math.dg] 5 Oct 2000 HEAT KERNEL ASYMPTOTICS FOR LAPLACE TYPE OPERATORS AND MATRIX KDV HIERARCHY IOSIF POLTEROVICH Preliminary version Abstract. We study the heat kernel asymptotics

More information

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI

More information

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO

SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO K. Hashimoto Nagoya Math. J. Vol. 77 (1980), 167-175 SOME EXAMPLES OF INTEGRAL DEFINITE QUATERNARY QUADRATIC FORMS WITH PRIME DISCRIMINANT KI-ICHIRO HASHIMOTO Introduction In the theory of integral quadratic

More information

Finite dimensional C -algebras

Finite dimensional C -algebras Finite dimensional C -algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for self-adjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

More information

ALGORITHMS FOR ALGEBRAIC CURVES

ALGORITHMS FOR ALGEBRAIC CURVES ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 4 1. SCHOOF S ALGORITHM Let K be a finite field with q elements. Let p be its characteristic. Let X be an elliptic curve over K. To simplify we assume

More information

ON FOCK-GONCHAROV COORDINATES OF THE ONCE-PUNCTURED TORUS GROUP

ON FOCK-GONCHAROV COORDINATES OF THE ONCE-PUNCTURED TORUS GROUP ON FOCK-GONCHAROV COORDINATES OF THE ONCE-PUNCTURED TORUS GROUP YUICHI KABAYA Introduction In their seminal paper [3], Fock and Goncharov defined positive representations of the fundamental group of a

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

Tensors on a vector space

Tensors on a vector space APPENDIX B Tensors on a vector space In this Appendix, we gather mathematical definitions and results pertaining to tensors. The purpose is mostly to introduce the modern, geometrical view on tensors,

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

OPERS. The geometric Langlands correspondence conjectures a correspondence

OPERS. The geometric Langlands correspondence conjectures a correspondence OPERS JONATHAN BARLEV The geometric Langlands correspondence conjectures a correspondence Qcoloc-sysL Gx)) = D-modBun G )) on the level of derived categories. As remarked previously in theseminar,toeach

More information

Continuity of the Perron Root

Continuity of the Perron Root Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE 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 information

4.6 Null Space, Column Space, Row Space

4.6 Null Space, Column Space, Row Space NULL SPACE, COLUMN SPACE, ROW SPACE Null Space, Column Space, Row Space In applications of linear algebra, subspaces of R n typically arise in one of two situations: ) as the set of solutions of a linear

More information

A Note on the Automorphic Langlands Group

A Note on the Automorphic Langlands Group Canad. Math. Bull. Vol. 45 (4), 2002 pp. 466 482 A Note on the Automorphic Langlands Group To Robert Moody on his sixtieth birthday James Arthur Abstract. Langlands has conjectured the existence of a universal

More information

1. Recap: What can we do with Euler systems?

1. Recap: What can we do with Euler systems? Euler Systems and L-functions These are notes for a talk I gave at the Warwick Number Theory study group on Euler Systems, June 2015. The results stated make more sense when taken in step with the rest

More information

2.3. Finding polynomial functions. An Introduction:

2.3. Finding polynomial functions. An Introduction: 2.3. Finding polynomial functions. An Introduction: As is usually the case when learning a new concept in mathematics, the new concept is the reverse of the previous one. Remember how you first learned

More information

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBERT SPACE REVIEW BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

More information

Introduction to finite fields

Introduction to finite fields Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at

More information

On the structure of C -algebra generated by a family of partial isometries and multipliers

On the structure of C -algebra generated by a family of partial isometries and multipliers Armenian Journal of Mathematics Volume 7, Number 1, 2015, 50 58 On the structure of C -algebra generated by a family of partial isometries and multipliers A. Yu. Kuznetsova and Ye. V. Patrin Kazan Federal

More information

Zeros of a Polynomial Function

Zeros of a Polynomial Function Zeros of a Polynomial Function An important consequence of the Factor Theorem is that finding the zeros of a polynomial is really the same thing as factoring it into linear factors. In this section we

More information

Reading material on the limit set of a Fuchsian group

Reading material on the limit set of a Fuchsian group Reading material on the limit set of a Fuchsian group Recommended texts Many books on hyperbolic geometry and Kleinian and Fuchsian groups contain material about limit sets. The presentation given here

More information

Section 4.4 Inner Product Spaces

Section 4.4 Inner Product Spaces Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer

More information

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

More information

Fiber sums of genus 2 Lefschetz fibrations

Fiber sums of genus 2 Lefschetz fibrations Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

More information

First and raw version 0.1 23. september 2013 klokken 13:45

First and raw version 0.1 23. september 2013 klokken 13:45 The discriminant First and raw version 0.1 23. september 2013 klokken 13:45 One of the most significant invariant of an algebraic number field is the discriminant. One is tempted to say, apart from the

More information

The Dirichlet Unit Theorem

The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

The degree of a polynomial function is equal to the highest exponent found on the independent variables.

The degree of a polynomial function is equal to the highest exponent found on the independent variables. DETAILED SOLUTIONS AND CONCEPTS - POLYNOMIAL FUNCTIONS Prepared by Ingrid Stewart, Ph.D., College of Southern Nevada Please Send Questions and Comments to ingrid.stewart@csn.edu. Thank you! PLEASE NOTE

More information

COHOMOLOGY OF GROUPS

COHOMOLOGY OF GROUPS Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general

More information

Applied Linear Algebra I Review page 1

Applied Linear Algebra I Review page 1 Applied Linear Algebra Review 1 I. Determinants A. Definition of a determinant 1. Using sum a. Permutations i. Sign of a permutation ii. Cycle 2. Uniqueness of the determinant function in terms of properties

More information

Math 115 Spring 2011 Written Homework 5 Solutions

Math 115 Spring 2011 Written Homework 5 Solutions . Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

MATHEMATICAL METHODS OF STATISTICS

MATHEMATICAL METHODS OF STATISTICS MATHEMATICAL METHODS OF STATISTICS By HARALD CRAMER TROFESSOK IN THE UNIVERSITY OF STOCKHOLM Princeton PRINCETON UNIVERSITY PRESS 1946 TABLE OF CONTENTS. First Part. MATHEMATICAL INTRODUCTION. CHAPTERS

More information

I. BASIC PERRON FROBENIUS THEORY AND INVERSE SPECTRAL PROBLEMS

I. BASIC PERRON FROBENIUS THEORY AND INVERSE SPECTRAL PROBLEMS I. BASIC PERRON FROBENIUS THEORY AND INVERSE SPECTRAL PROBLEMS MIKE BOYLE Contents 1. Introduction 1 2. The primitive case 1 3. Why the Perron Theorem is useful 2 4. A proof of the Perron Theorem 3 5.

More information

is in plane V. However, it may be more convenient to introduce a plane coordinate system in V.

is in plane V. However, it may be more convenient to introduce a plane coordinate system in V. .4 COORDINATES EXAMPLE Let V be the plane in R with equation x +2x 2 +x 0, a two-dimensional subspace of R. We can describe a vector in this plane by its spatial (D)coordinates; for example, vector x 5

More information