Lie groups and Lie algebras.
|
|
- Lenard Sutton
- 7 years ago
- Views:
Transcription
1 BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 40, Number 2, Pages S (03) Article electronically published on February 12, 2003 Essays in the history of Lie groups and algebraic groups, by Armand Borel, History of Mathematics, vol. 21, American Mathematical Society and London Mathematical Society, Providence, RI, and London, 2001, xiii+184 pp., $39.00, ISBN Recently, two books have appeared on the history of Lie theory. The first, written by Thomas Hawkins [1] presents a highly detailed study up to 1926, concentrating on the development of Lie groups and algebras. The second, and the book under review, written by Armand Borel, comprises essays on topics ranging in time from the 1890s through about In addition to discussing Lie groups and Lie algebras, Borel pays considerable attention to algebraic groups, beginning with the little known work of Ludwig Maurer in the 1890s up through the work of Claude Chevalley, Ellis Kolchin, Borel and others in the post-world War II era. In the beginning, Sophus Lie hoped to develop a Galois theory for differential equations. Felix Klein s famous Erlangen Program, which aimed to connect firmly geometry with group theory, also influenced Lie s thinking. By 1893, Lie (together with Friedrich Engel) had completed the final, third volume of the massive treatise Theorie der Transformationsgruppen. Also by 1890, Wilhelm Killing had succeeded in classifying (modulo a few gaps in his arguments) the complex simple Lie algebras. Killing s work was rigorously treated and extended in Élie Cartan s 1894 thesis. In Chapter I, Borel gives a brief overview of Lie s early work as well as the related work of Killing and Cartan. Ironically, Lie algebras was an area Lie had little interest in pursuing. From Lie s point of view, a Lie group was a transformation group, i.e., there was some geometric space present upon which the Lie group acted. The notion of an abstract group with the compatible structure of a complex manifold came later; mathematicians such as Klein resisted this notion, feeling that it would distance the subject too far from its applications. In addition, Lie s theory was largely local. Early workers were aware of global examples (such as SL n (C)), but the theory was mostly developed for what we today would call germs of Lie groups. A global theory emerged only with the work of Weyl and Cartan in the twentieth century. After the introductory chapter, the book divides into two (related) parts. The first part (Chapters II, III, and IV) focuses on Lie groups, Lie algebras, and related topics (e.g., symmetric spaces). The second part (Chapters V, VI, VII, and VIII) deals with algebraic groups. Lie groups and Lie algebras. The chronological setting for Chapter II, entitled Full Reducibility and Invariants for SL 2 (C), is the 1890s, the era in which Heinrich Maschke, using E. H. Moore s idea of averaging over a finite group, proved that any complex representation of a finite group was fully reducible. According to Lie in his Transformationsgruppen, Eduard Study had claimed (in an unpublished manuscript) full reducibility for finite dimensional, holomorphic representations of thecomplexliegroupsl 2 (C). Study also conjectured a similar result for SL n (C). A related issue concerned the finite generation for the ring of invariant polynomial 2000 Mathematics Subject Classification. Primary 01A c 2003 American Mathematical Society
2 254 BOOK REVIEWS functions on a finite dimensional representation. Borel gives a detailed mathematical discussion of three different approaches to these questions: an algebraic one (due to É. Cartan in his thesis), an analytic one (due to Adolf Hurwitz) and an algebraicgeometric one (due to Gino Fano). Moore s averaging process could not be directly applied to SL 2 (C), so to surmount that difficulty, Hurwitz used a procedure which turned out later to be far-reaching, namely to integrate over a compact subgroup G u, which insures convergence, but choosing it big enough so that invariance under G u implies invariance under the whole group, an argument later called the unitarian trick by Weyl (p. 12). A similar method would have shown full reducibility for holomorphic representations of SL 2 (C) (and more generally, SL n (C) (n 3) and SO n (C) (n 4)). Calling this work a landmark paper, Borel goes on to say that [t]his is only hindsight, because the paper was completely forgotten for about 25 years and, apparently, no specialist in Lie groups or Lie algebras was aware of it and had realized that a proof of Study s conjecture for SL n (C) was at hand (p. 15). Hermann Weyl, whose work is surveyed in Chapter III from the early 1920s to the late 1930s, became interested in Lie theory from problems in the theory of general relativity. Almost immediately, he was drawn to Cartan s work, especially that on the classification and representation theory of simple Lie algebras. Also, by this time, Issai Schur had used Hurwitz s method to attack problems for certain of the classical groups. Seeing this work, Weyl was now ready to strike. He first extended Schur s method to SL n (C) and the symplectic group Sp 2n (C)... and then almost immediately afterwards combined the Hurwitz-Schur and Cartan approachesinanextraordinarysynthesis... UntilWeylcameonthescene,Cartan did not know about the work of Hurwitz and Schur, nor did Schur know about Cartan s... (p. 33). Among the results obtained are Weyl s famous character and degree formulas for irreducible representations. In addition, these papers mark the birthdate of the systematic global theory of Lie groups. The original Lie theory, created in 1873, was in principle local, but during the first fifty years, global considerations were not ruled out, although the main theorems were local in character. However, a striking feature was that algebraic statements were proved by global arguments, which, moreover, seemed unavoidable at the time (p. 35). Chapter IV, entitled Élie Cartan, Symmetric Spaces, and Lie Groups, roughly mirrors Chapter III chronologically and focuses in considerable detail on Cartan s major papers. The chapter is divided into two parts. Part A takes up the development of the theory of symmetric spaces. In particular, in his development of a global theory of symmetric spaces, Cartan was heavily influenced by the global point of view of Weyl. Throughout the chapter, Borel does a wonderful job of describing the impact of Cartan and Weyl on each other. By 1930, Cartan felt it was time to outline a theory of Lie groups stressing global aspects (p. 78). He did this in his book La théorie des groupes finis et continus et l analysis situs. Part B ( Further Developments ) first takes up Cartan s efforts to extend the Peter-Weyl theorem to the homogeneous spaces of compact groups, providing a detailed mathematical discussion of his 1929 paper in that direction. Borel then describes Cartan s work on the topology of Lie groups and their homogeneous spaces. These results would influence mathematics for many years after, e.g., algebraic topology, the cohomology of Lie algebras, etc.
3 BOOK REVIEWS 255 Algebraic groups. Chapter V is devoted to the 19th century and Chapter VI to the 20th century. The concluding chapters, VII and VIII, reproduce with some modifications two previously published articles, one on Chevalley and one on Kolchin, providing more details on their work. As for the 19th century, I will confine my remarks to Maurer, who published four papers on algebraic groups during the years Borel provides a thorough exposition of this work, using modern terminology, but also paying attention to Maurer s own formulations. His results included a careful investigation of the Lie algebra g of a linear algebraic group G (i.e., an algebraic subgroup of GL n (C)), including the Jordan decomposition in g, the algebraic hull of a one-parameter subgroup of G (see comments on Chevalley s work below), a proof of the rationality of G, main properties of unipotent groups, construction of maximal tori, Cartan subgroups, etc. Maurer s last paper in this period (which Borel calls unfortunate (p. 111)) attempted to prove the false fact that the invariants for a connected Lie group are finitely generated. Maurer did, however, prove this result correctly for a one-dimensional unipotent group (or, equivalently, a complex nilpotent matrix). Twenty-four years later and with Maurer s work largely forgotten, the incorrect proof was essentially reproduced by Roland Weitzenböck, together with the correct one-dimensional case, now known as Weitzenböck s theorem. Speaking about Maurer s work on linear algebraic groups, Borel writes (p. 112): His results resurfaced fifty or sixty years later, with at best perfunctory acknowledgements, quite inadequate, even though the more recent results are usually proved in greater generality. It is true that there are some errors, and the presentation, in particular the notation, is often awkward, but this should not hide the fact that he had developed a considerable insight into this topic. During the 1940s, the theory of algebraic groups attracted the attention first of Chevalley and then of Kolchin. Motivated by his interest in Lie groups, Chevalley, whose 1946 classic, Theory of Lie Groups, I, was the first textbook to adopt the global point of view, initially worked in characteristic zero, relying heavily on Lie algebra methods. For example, influenced by Maurer s work on the Lie algebra of a complex group and thus extending it to general fields k of characteristic zero, Chevalley introduced the notion of a replica of a linear operator X on a finite dimensional vector space V. For example, a replica Y of a semisimple operator X is a polynomial, without constant term, in X whose eigenvalues satisfy the integer linear relations satisfied by the eigenvalues for X. Chevalley calls a linear Lie algebra algebraic if it contains the replicas of all its elements. In that terminology, the main result of Maurer s 1888 paper... asserts that the Lie algebra of a complex linear algebraic group is algebraic (p. 119). In 1948, Kolchin, motivated like Lie by differential equations, published several landmark papers which constitute in fact the birth certificate of the theory of linear algebraic groups over algebraically closed fields of arbitrary characteristic (p. 169). Actually, Kolchin was concerned with generalizing the Picard-Vessiot theory (discussed in Chapter V) to a Galois theory of differential fields. As Borel states (p. 165):
4 256 BOOK REVIEWS From the beginning, it appeared that these Galois groups would be algebraic groups, or, rather, naturally isomorphic to such. However, the theory of algebraic groups was not suitably developed in Kolchin s view for his purpose when he first needed it, so that a minor, but persistent and essential, theme in his work is the theory of algebraic groups. Unlike the work of this period by Chevalley, Lie algebras played no role in Kolchin s approach, but rather his methods came from algebraic geometry. The famous Lie-Kolchin theorem, that any connected and solvable algebraic group of linear transformations has a common eigenvector, derives from this work. The methods of algebraic geometry, in fact, soon played a dominant role in the theory of algebraic groups. By the mid-1950s, Chevalley was able to classify completely the semisimple algebraic groups over an arbitrary algebraically closed field k. This was presented in his famous Paris notes and his equally famous Tôhoku paper. The main Paris breakthrough was made possible by Borel s landmark 1956 Annals paper in which the central importance of the maximal connected solvable subgroups (later called Borel subgroups by Chevalley) came to the fore. The above brief narrative omits many interesting topics discussed in the book, including the theory of algebraic groups over non-algebraically closed fields, the work of various mathematicians on abstract homomorphisms between algebraic groups, the Tits theory of buildings, etc. In many of these areas, Borel himself was a key player, and he describes the mathematics with great authority. To end this part of the review, I quote from Chevalley (as quoted by Borel, from an unpublished source): The principal interest of the algebraic groups seems to me to be that they establish a synthesis, at least partial, between the two main parts of group theory, namely the theory of Lie groups and the theory of finite groups (p. 157). Probably written in , these words seem highly prescient a halfcentury later, given the explosion of work on the representations of finite groups of Lie type and such matters as the Alperin Conjecture, which tries to establish a kind of weight theory for general finite groups. Final remarks. Borel s essays tell much of the story of a great mathematical theory over an 80 year span. The mathematics is beautiful and deep. The story has twists and turns, injustices and triumphs. Mathematicians have their results forgotten or ignored, then rediscovered many years later. Lack of interaction between researchers even in adjacent countries hampers progress. Opportunities are missed. Points of view shift dramatically over the years. 1 Borel takes a very internalistic approach in this book, never straying far from the mathematics. Although he does provide photographs of the principals, we learn essentially nothing about their personal lives. Other approaches are possible and valuable, but I personally found this to be a fascinating book, and I highly recommend it. 1 As for Lie s original idea of developing a Galois theory for differential equations, one expert recently wrote [2] that the remarkable range of applications of Lie groups to differential equations in geometry, in analysis, in physics, and in engineering over the past 40 years has resurrected Lie s original vision into one of the most active and rewarding fields of contemporary research.
5 BOOK REVIEWS 257 References [1] Thomas Hawkins, The Emergence of the Theory of Lie Groups: An Essay in the History of Mathematics, , Springer, MR 2001f:01031 [2] Peter Olver, Book Review, Bull. Amer. Math. Soc., 37(2), 2000, p Brian Parshall University of Virginia address:
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 informationGroup Theory. 1 Cartan Subalgebra and the Roots. November 23, 2011. 1.1 Cartan Subalgebra. 1.2 Root system
Group Theory November 23, 2011 1 Cartan Subalgebra and the Roots 1.1 Cartan Subalgebra Let G be the Lie algebra, if h G it is called a subalgebra of G. Now we seek a basis in which [x, T a ] = ζ a T a
More informationISU Department of Mathematics. Graduate Examination Policies and Procedures
ISU Department of Mathematics Graduate Examination Policies and Procedures There are four primary criteria to be used in evaluating competence on written or oral exams. 1. Knowledge Has the student demonstrated
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationContinuity 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 informationContinued Fractions. Darren C. Collins
Continued Fractions Darren C Collins Abstract In this paper, we discuss continued fractions First, we discuss the definition and notation Second, we discuss the development of the subject throughout history
More informationON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationBOOK REVIEWS. [f(y)/(*-y)]dy.
BOOK REVIEWS Orthogonal Polynomials. By Gabor Szegö. (American Mathematical Society Colloquium Publications, vol. 23.) New York, American Mathematical Society, 1939. 10+401 pp. The general concept of orthogonal
More informationSign 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 informationIRREDUCIBLE 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 informationAllen Back. Oct. 29, 2009
Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient
More informationRINGS WITH A POLYNOMIAL IDENTITY
RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in
More informationRecent work on Serre s conjectures
Recent work on Serre s conjectures Kenneth A. Ribet University of California, Berkeley June 4, 2005 Canadian Math Society Summer Meeting This talk concerns a new chapter in a story that began in the late
More informationNumerical 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 informationWHEN DOES A CROSS PRODUCT ON R n EXIST?
WHEN DOES A CROSS PRODUCT ON R n EXIST? PETER F. MCLOUGHLIN It is probably safe to say that just about everyone reading this article is familiar with the cross product and the dot product. However, what
More informationClassification 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 informationby 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 informationProgramme Specification (Undergraduate) Date amended: 27 February 2012
Programme Specification (Undergraduate) Date amended: 27 February 2012 1. Programme Title(s) and UCAS code(s): BSc/BA/MMath Mathematics (Including year abroad) (G100/G102/G105) 2. Awarding body or institution:
More informationIrreducible Representations of Wreath Products of Association Schemes
Journal of Algebraic Combinatorics, 18, 47 52, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Irreducible Representations of Wreath Products of Association Schemes AKIHIDE HANAKI
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More informationContinued 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 informationMath 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 informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationMATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform
MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish
More informationOn the largest prime factor of x 2 1
On the largest prime factor of x 2 1 Florian Luca and Filip Najman Abstract In this paper, we find all integers x such that x 2 1 has only prime factors smaller than 100. This gives some interesting numerical
More informationNilpotent Lie and Leibniz Algebras
This article was downloaded by: [North Carolina State University] On: 03 March 2014, At: 08:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationGROUP 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 informationMATH 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 informationApplied 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 informationBABY 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 informationThe Kolchin Topology
The Kolchin Topology Phyllis Joan Cassidy City College of CUNY November 2, 2007 hyllis Joan Cassidy City College of CUNY () The Kolchin Topology November 2, 2007 1 / 35 Conventions. F is a - eld, and A
More informationNotes on Localisation of g-modules
Notes on Localisation of g-modules Aron Heleodoro January 12, 2014 Let g be a semisimple Lie algebra over a field k. One is normally interested in representation of g, i.e. g-modules. If g were commutative,
More information4.2 Euclid s Classification of Pythagorean Triples
178 4. Number Theory: Fermat s Last Theorem Exercise 4.7: A primitive Pythagorean triple is one in which any two of the three numbers are relatively prime. Show that every multiple of a Pythagorean triple
More informationGeneric Polynomials of Degree Three
Generic Polynomials of Degree Three Benjamin C. Wallace April 2012 1 Introduction In the nineteenth century, the mathematician Évariste Galois discovered an elegant solution to the fundamental problem
More informationNonzero degree tangential maps between dual symmetric spaces
ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris
More informationFiber 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 informationSECTION 10-2 Mathematical Induction
73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms
More informationARITHMETIC SUBGROUPS OF ALGEBRAIC GROUPS
ARITHMETIC SUBGROUPS OF ALGEBRAIC GROUPS BY ARMAND BOREL AND HARISH-CHANDRA Communicated by Deane Montgomery, July 22, 1961. A complex algebraic group G is in this note a subgroup of GL(n, C), the elements
More informationON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES.
ON TORI TRIANGULATIONS ASSOCIATED WITH TWO-DIMENSIONAL CONTINUED FRACTIONS OF CUBIC IRRATIONALITIES. O. N. KARPENKOV Introduction. A series of properties for ordinary continued fractions possesses multidimensional
More informationAssociativity condition for some alternative algebras of degree three
Associativity condition for some alternative algebras of degree three Mirela Stefanescu and Cristina Flaut Abstract In this paper we find an associativity condition for a class of alternative algebras
More informationSpherical 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 informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationOSTROWSKI 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 informationSOME 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 informationAlex, 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 informationMaster of Arts in Mathematics
Master of Arts in Mathematics Administrative Unit The program is administered by the Office of Graduate Studies and Research through the Faculty of Mathematics and Mathematics Education, Department of
More informationUNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY. Master of Science in Mathematics
1 UNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY Master of Science in Mathematics Introduction The Master of Science in Mathematics (MS Math) program is intended for students who
More informationCARTAN S GENERALIZATION OF LIE S THIRD THEOREM
CARTAN S GENERALIZATION OF LIE S THIRD THEOREM ROBERT L. BRYANT MATHEMATICAL SCIENCES RESEARCH INSTITUTE JUNE 13, 2011 CRM, MONTREAL In many ways, this talk (and much of the work it reports on) owes its
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationGalois representations with open image
Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group
More informationα = 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 information26. Determinants I. 1. Prehistory
26. Determinants I 26.1 Prehistory 26.2 Definitions 26.3 Uniqueness and other properties 26.4 Existence Both as a careful review of a more pedestrian viewpoint, and as a transition to a coordinate-independent
More informationWhy do mathematicians make things so complicated?
Why do mathematicians make things so complicated? Zhiqin Lu, The Math Department March 9, 2010 Introduction What is Mathematics? Introduction What is Mathematics? 24,100,000 answers from Google. Introduction
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationComputing divisors and common multiples of quasi-linear ordinary differential equations
Computing divisors and common multiples of quasi-linear ordinary differential equations Dima Grigoriev CNRS, Mathématiques, Université de Lille Villeneuve d Ascq, 59655, France Dmitry.Grigoryev@math.univ-lille1.fr
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationPOSTECH SUMMER SCHOOL 2013 LECTURE 4 INTRODUCTION TO THE TRACE FORMULA
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
More informationLecture 1: Schur s Unitary Triangularization Theorem
Lecture 1: Schur s Unitary Triangularization Theorem This lecture introduces the notion of unitary equivalence and presents Schur s theorem and some of its consequences It roughly corresponds to Sections
More informationMATH 590: Meshfree Methods
MATH 590: Meshfree Methods Chapter 7: Conditionally Positive Definite Functions Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2010 fasshauer@iit.edu MATH 590 Chapter
More informationBasics of Polynomial Theory
3 Basics of Polynomial Theory 3.1 Polynomial Equations In geodesy and geoinformatics, most observations are related to unknowns parameters through equations of algebraic (polynomial) type. In cases where
More informationHow To Prove 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 informationMATH1231 Algebra, 2015 Chapter 7: Linear maps
MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter
More informationON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with so-called Birkhoff-Witt algebras of Lie
More information4.5 Linear Dependence and Linear Independence
4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then
More informationPartial Fractions. Combining fractions over a common denominator is a familiar operation from algebra:
Partial Fractions Combining fractions over a common denominator is a familiar operation from algebra: From the standpoint of integration, the left side of Equation 1 would be much easier to work with than
More informationOur Primitive Roots. Chris Lyons
Our Primitive Roots Chris Lyons Abstract When n is not divisible by 2 or 5, the decimal expansion of the number /n is an infinite repetition of some finite sequence of r digits. For instance, when n =
More informationCLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS
POISSON GEOMETRY BANACH CENTER PUBLICATIONS, VOLUME 51 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 000 CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS PHILIPP E BO
More informationSamuel Omoloye Ajala
49 Kragujevac J. Math. 26 (2004) 49 60. SMOOTH STRUCTURES ON π MANIFOLDS Samuel Omoloye Ajala Department of Mathematics, University of Lagos, Akoka - Yaba, Lagos NIGERIA (Received January 19, 2004) Abstract.
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationON 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 informationNEUROMATHEMATICS: DEVELOPMENT TENDENCIES. 1. Which tasks are adequate of neurocomputers?
Appl. Comput. Math. 2 (2003), no. 1, pp. 57-64 NEUROMATHEMATICS: DEVELOPMENT TENDENCIES GALUSHKIN A.I., KOROBKOVA. S.V., KAZANTSEV P.A. Abstract. This article is the summary of a set of Russian scientists
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationarxiv:quant-ph/0603009v3 8 Sep 2006
Deciding universality of quantum gates arxiv:quant-ph/0603009v3 8 Sep 2006 Gábor Ivanyos February 1, 2008 Abstract We say that collection of n-qudit gates is universal if there exists N 0 n such that for
More informationFIVE MOST RESISTANT PROBLEMS IN DYNAMICS. A. Katok Penn State University
FIVE MOST RESISTANT PROBLEMS IN DYNAMICS A. Katok Penn State University 1. Coexistence of KAM circles and positive entropy in area preserving twist maps The standard area preserving map f λ of the cylinder
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationStupid Divisibility Tricks
Stupid Divisibility Tricks 101 Ways to Stupefy Your Friends Appeared in Math Horizons November, 2006 Marc Renault Shippensburg University Mathematics Department 1871 Old Main Road Shippensburg, PA 17013
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationMechanics 1: Vectors
Mechanics 1: Vectors roadly speaking, mechanical systems will be described by a combination of scalar and vector quantities. scalar is just a (real) number. For example, mass or weight is characterized
More informationMathematical Sciences Research Institute Publications. Assessing Mathematical Proficiency
Testing matters! It can determine kids and schools futures. In a conference at the Mathematical Sciences Research Institute, mathematicians, math education researchers, teachers, test developers, and policymakers
More informationarxiv:1203.1525v1 [math.co] 7 Mar 2012
Constructing subset partition graphs with strong adjacency and end-point count properties Nicolai Hähnle haehnle@math.tu-berlin.de arxiv:1203.1525v1 [math.co] 7 Mar 2012 March 8, 2012 Abstract Kim defined
More informationRevised Version of Chapter 23. We learned long ago how to solve linear congruences. ax c (mod m)
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
More informationHomological Algebra Workshop 02-03-15/06-03-15
Homological Algebra Workshop 02-03-15/06-03-15 Monday: Tuesday: 9:45 10:00 Registration 10:00 11:15 Conchita Martínez (I) 10:00 11:15 Conchita Martínez (II) 11:15 11:45 Coffee Break 11:15 11:45 Coffee
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.
More informationClassification and reduction of polynomial Hamiltonians with three degrees of freedom
Monografías de la Real Academia de Ciencias de Zaragoza. 22: 101 109, (2003). Classification and reduction of polynomial Hamiltonians with three degrees of freedom S. Gutiérrez, J. Palacián and P. Yanguas
More information5 Homogeneous systems
5 Homogeneous systems Definition: A homogeneous (ho-mo-jeen -i-us) system of linear algebraic equations is one in which all the numbers on the right hand side are equal to : a x +... + a n x n =.. a m
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationMath 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 informationModélisation et résolutions numérique et symbolique
Modélisation et résolutions numérique et symbolique via les logiciels Maple et Matlab Jeremy Berthomieu Mohab Safey El Din Stef Graillat Mohab.Safey@lip6.fr Outline Previous course: partial review of what
More informationSOLVING POLYNOMIAL EQUATIONS BY RADICALS
SOLVING POLYNOMIAL EQUATIONS BY RADICALS Lee Si Ying 1 and Zhang De-Qi 2 1 Raffles Girls School (Secondary), 20 Anderson Road, Singapore 259978 2 Department of Mathematics, National University of Singapore,
More informationChapter 17. Orthogonal Matrices and Symmetries of Space
Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length
More informationWhat Is School Mathematics?
What Is School Mathematics? Lisbon, Portugal January 30, 2010 H. Wu *I am grateful to Alexandra Alves-Rodrigues for her many contributions that helped shape this document. The German conductor Herbert
More informationGroup 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 informationLOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO
LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.
More information