DOCSLIB.ORG

Group Theory - QMII 2017/18

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Group Theory - QMII 2017/18 Group theory - QMII 2017/18 Daniel Aloni 0 References 1. Lecture notes - Gilad Perez 2. Lie algebra in particle physics - H. Georgi 3. Google... 1Motivation As a warm up let us motivate the need for Group theory in physics. It comes out that Group theory and symmetries share very similar properties. This motivates us to learn more sophisticated tools of Group theory and how to implement them in modern physics. We will take rotations as an example but the following holds for any symmetry: 1. Arotationofarotationisalsoarotation-R = R R . 3 2 · 1 2. Multiplication of rotations is associative - R (R R )=(R R ) R . 3 · 2 · 1 3 · 2 · 1 3. The identity 1 is a unique rotation which leaves the system unchanged and commutes with all other rotations. 4. For each rotation we can rotate the system backwards. This inverse 1 1 rotation is unique and satisfies - R− R = R R− = 1. · · 1 This list is exactly the list of axioms that defines a group. A Group is a pair (G, )ofasetG and a product s.t. · · 1. Closure - g ,g G , g g G. 8 1 2 2 2 · 1 2 2. Associativity - g ,g ,g G,(g g ) g = g (g g ). 8 1 2 3 2 3 · 2 · 1 3 · 2 · 1 3. There is an identity e G,s.t. g G, e g = g e = g. 2 8 2 · · 1 1 4. Every element g G has an inverse element g− G,s.t. g g− = 2 2 · 1 g− g = e. · What we would like to learn? Here are few examples, considering the rotations again. A rotation of a three-vector v,isgivenbya3 3matrixR. ⇥ • How it acts on other vector spaces, for instance the Hilbert space in quantum mechanics? • What are the conserved quantities? • How to make it infinitesimal? (and what is it good for...) • How a rotation of one space is induced to another space? As we will see, Group theory and in particular Lie groups and Lie algebra will teach us how to answer these questions in a systematic way, and how to do that for any symmetry. 2 Classification Adictionaryformostimportantgroups(inphysics...). 2.1 Discrete: Adiscretegroupmightcontainafiniteorinfinitenumberofelements.If the number of elements is finite,thenthenumber of elements is called the order of the group. 2 • Cyclic group Zn -ThesetofintegernumbersG =(0, 1, 2,..n 1) with − addition mod n.Itisequivalenttocyclicpermutationsofn objects. • Symmetric group Sn - All possible permutations of n objects. 3 Example - Z3,S3 and the triangle Z3 is also the rotation group of the triangle. The elements of the rotation group are: e =donothing ,a1 =(1, 2, 3) ,a2 =(3, 2, 1) where a1 (a2)areunderstoodascyclic(anti-cyclic)interchangingofcorners in positions (1,2,3). Graphically We can write the multiplication table for Z3,andcomparetorotationsof triangle: modn 0 1 2 ∆ e a1 a2 0 0 1 2 e e a1 a2 1 1 2 0 , a1 a1 a2 e 2 2 0 1 a2 a2 e a1 The symmetric group includes three additional elements - mirroring around the altitudes. The elements of S3 are: a3 =(2, 3) ,a4 =(3, 1) ,a5 =(1, 2) where a3 for instance is understood as interchanging the corners in positions (2,3). Graphically Exercise - write the multiplication table for S3. 4 • Additive group of integers - The elements are all the integer num- bers n Z.Theproductofthegroupisadditionofnumbers.Thisis 2 the most trivial example of infinite discrete group. 2.2 Lie groups: By Lie groups we will always mean Matrix Lie Groups. A Lie group have an infinite number of elements which can be parametrized by a smooth function of a finite number of parameters f(x ,x ..., x ) G, x A.Forus 1 2 n 2 i 2 A = R, C. The group multiplication law is just matrix multiplication. • General Linear group GL(n, V )= A Mn(V ) det(A) =0 .The { 2 | 6 } set of all invertible n n matrices on a field V ,withmatrixmultipli- ⇥ cation. • Orthogonal group O(n)= A GL(n, R) AT A =1 .Equivalently, { 2 | } the column vectors of A are an orthonormal set. Also equivalently, A preserve the canonical inner product in Rn. Note that det A = 1. ± • Special Orthogonal Group. SO(n)= A O(n) det A =1. { 2 | } SO(n)isthegroupofrotationsindimensionn. O(n)containsrotations and reflections. Question: does taking det A = 1 give a group? − • Unitary Group. U(n)= A GL(n, C) A†A =1.Equivalently, { 2 | } the column vectors are an orthonormal set in Cn. Also equivalently, A preserves the canonical inner product. Note that det A =1. | | • Special Unitary Group. SU(n)= A U(n) det A =1 . { 2 | } • Generalized Orthogonal Group. O(n, k)= A GL(n+k, R) AT gA = n times k times { 2 | − − g ,whereg =diag(1,...,1, 1,..., 1). } − − Lets check that thisz is a}| group.{ z If}|A, B{ O(n, k)then(A B)T ⌘A B = ⌘ 2 · · BT AT ⌘AB = BT ⌘B = ⌘ A B O(n, k). ) · 2 Thez Lorentz}| { group is O(1, 3). 5 3 Subgroups For a given group G,ifasubsetofelementsH G,formagroupwiththe ⇢ same product of G,wesaythatH is a subgroup of G. Examples: • We already saw that Z3 is a subgroup of S3. • Consider the two dimensional unitary group U(2). This is a set of unitary matrices which acts on two dimensional complex vectors. 1. The group U(1) which changes the overall phase of those vectors is a subgroup of U(2). 2. The group SU(2) is also a subgroup of U(2) since for all matrices A B = A B . | · | | |·| | Note that the two subgroups commutes. We will make use of these fact to show that U(2) can be decomposed completely to this two subgroups, denoted by U(2) = SU(2) U(1). ⇥ • SO(3) is a subgroup of SO(4). For instance we can choose a subset of matrices of the following form 1 000 00 1 O = B0 SO(3)C B C B0 C B C @ A Note that unlike the previous case, in this case the remaining is not a group, namely there is no group G, s.t. SO(4) = SO(3) G. ⇥ 4 Representation For physicists, the theory of representation is the link between group theory and applications in physics. It tells us how an element g in an abstract group G,actsonaphysicalsystem.Moreformally, 6 A Representation ( homomorphism) is a mapping, D of elements of G ⇠ onto a set of linear operators D : G GL(V )s.t.D(g )D(g )=D(g g ) ! 1 2 1 2 We use rep as a short hand notation 1. 4.1 Discrete • The action of Z3 on complex numbers D : Z3 C: ! 2⇡i/3 4⇡i/3 D(e)=1,D(a1)=e ,D(a2)=e . This representation is 1 1andonto.Suchrepresentationsarecalled − Isomorphism. • Regular representation of a discrete group of order n, is constructed as follows: 1. For each element g G associate a vector g s.t. they form an i 2 | ii orthonormal basis, namely g g = δ . h i| ji ij 2. Define the regular representation on this vector space as D(g ) g = g g i | ji | i · ji This is indeed a representation since D(gi)D(gj)=D(gigj). 3. The components of the matrices are given by [D(g)] = g D(g) g ij h i| | ji 1A homomorphism is a mapping from a group G to a group H which is compatible with the group product, namely φ : G H satisfies g1,g2 G,φ(g1 g2)=φ(g1) φ(g2). ! 8 2 G· H· A representation is a homomorphism to the set of linear operators. 7 Let us find it explicitly for Z3: 1 0 0 e = 0 , a = 1 , a = 0 | i 0 1 | 1i 0 1 | 2i 0 1 0 0 1 B C B C B C @ A @ A @ A Clearly D(e) gi = egi = gi D(e)=1.Byusingthemultiplica- | i | i | i) tion table we find D(a ) e = a ,D(a ) e = a 001 010 1 | i | 1i 2 | i | 2i D(a ) a = a ,D(a ) a = e D(a1)= 100 ,D(a2)= 001 1 | 1i | 2i 2 | 1i | i 9 0 1 0 1 D(a ) a = e ,D(a ) a = a => 010 100 1 | 2i | i 2 | 2i | 1i B C B C @ A @ A > as you already saw in class... ; • ArepresentationofS3 on a two dimensional vector space is given by: 1 p3 1 p3 10 2 2 2 2 D(e)= ,D(a1)= −p3 − 1 ,D(a2)= −p3 1 01! ! ! 2 − 2 − 2 − 2 1 p3 1 p3 10 2 2 2 2 D(a3)= − ,D(a4)= p3 1 ,D(a5)= p3 − 1 01! ! ! 2 − 2 − 2 − 2 Exercises: – Check that this is indeed a representation. – Find the regular representation of S3. 4.2 Lie groups • The trivial representation - D(g)=1 , g G. 8 2 • Fundamental representation -ForaLiegroup,whichisdefinedas asetoflinearoperatorsthatactsonavectorspace,thefundamental representation is the representation of the group on its vector space: D(A)=A, A G. 8 2 8 Example - Consider a group element U SU(N) and an N-dimensional 2 complex vector v V .Thentheactionofthefundamentalrepresen- 2 tation on the vector space V is D (U)v = Uv U i vj fund. , j • Anti-fundamental Danti. is the complex conjugation (not )ofthe † fundamental representation D,namelyD (A)=D(A)⇤ = A⇤ , A anti. 8 2 G. Example - Consider again a group element U SU(N) and an N- 2 dimensional complex vector w V .Thentheactionoftheanti- 2 fundamental representation on the vector space V is i j j i T D (U)w = U ⇤w U ⇤w = w (U †) w U † anti.
Load more

Recommended publications
  • Arxiv:1006.1489V2 [Math.GT] 8 Aug 2010 Ril.Ias Rfie Rmraigtesre Rils[14 Articles Survey the Reading from Profited Also I Article
    Pure and Applied Mathematics Quarterly Volume 8, Number 1 (Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 1 of 2 ) 1—14, 2012 The Work of Tom Farrell and Lowell Jones in Topology and Geometry James F. Davis∗ Tom Farrell and Lowell Jones caused a paradigm shift in high-dimensional topology, away from the view that high-dimensional topology was, at its core, an algebraic subject, to the current view that geometry, dynamics, and analysis, as well as algebra, are key for classifying manifolds whose fundamental group is infinite. Their collaboration produced about fifty papers over a twenty-five year period. In this tribute for the special issue of Pure and Applied Mathematics Quarterly in their honor, I will survey some of the impact of their joint work and mention briefly their individual contributions – they have written about one hundred non-joint papers. 1 Setting the stage arXiv:1006.1489v2 [math.GT] 8 Aug 2010 In order to indicate the Farrell–Jones shift, it is necessary to describe the situation before the onset of their collaboration. This is intimidating – during the period of twenty-five years starting in the early fifties, manifold theory was perhaps the most active and dynamic area of mathematics. Any narrative will have omissions and be non-linear. Manifold theory deals with the classification of ∗I thank Shmuel Weinberger and Tom Farrell for their helpful comments on a draft of this article. I also profited from reading the survey articles [14] and [4]. 2 James F. Davis manifolds. There is an existence question – when is there a closed manifold within a particular homotopy type, and a uniqueness question, what is the classification of manifolds within a homotopy type? The fifties were the foundational decade of manifold theory.
    [Show full text]
  • Dynamics for Discrete Subgroups of Sl 2(C)
    DYNAMICS FOR DISCRETE SUBGROUPS OF SL2(C) HEE OH Dedicated to Gregory Margulis with affection and admiration Abstract. Margulis wrote in the preface of his book Discrete subgroups of semisimple Lie groups [30]: \A number of important topics have been omitted. The most significant of these is the theory of Kleinian groups and Thurston's theory of 3-dimensional manifolds: these two theories can be united under the common title Theory of discrete subgroups of SL2(C)". In this article, we will discuss a few recent advances regarding this missing topic from his book, which were influenced by his earlier works. Contents 1. Introduction 1 2. Kleinian groups 2 3. Mixing and classification of N-orbit closures 10 4. Almost all results on orbit closures 13 5. Unipotent blowup and renormalizations 18 6. Interior frames and boundary frames 25 7. Rigid acylindrical groups and circular slices of Λ 27 8. Geometrically finite acylindrical hyperbolic 3-manifolds 32 9. Unipotent flows in higher dimensional hyperbolic manifolds 35 References 44 1. Introduction A discrete subgroup of PSL2(C) is called a Kleinian group. In this article, we discuss dynamics of unipotent flows on the homogeneous space Γn PSL2(C) for a Kleinian group Γ which is not necessarily a lattice of PSL2(C). Unlike the lattice case, the geometry and topology of the associated hyperbolic 3-manifold M = ΓnH3 influence both topological and measure theoretic rigidity properties of unipotent flows. Around 1984-6, Margulis settled the Oppenheim conjecture by proving that every bounded SO(2; 1)-orbit in the space SL3(Z)n SL3(R) is compact ([28], [27]).
    [Show full text]
  • Field Theory 1. Introduction to Quantum Field Theory (A Primer for a Basic Education)
    Field Theory 1. Introduction to Quantum Field Theory (A Primer for a Basic Education) Roberto Soldati February 23, 2019 Contents 0.1 Prologue ............................ 4 1 Basics in Group Theory 8 1.1 Groups and Group Representations . 8 1.1.1 Definitions ....................... 8 1.1.2 Theorems ........................ 12 1.1.3 Direct Products of Group Representations . 14 1.2 Continuous Groups and Lie Groups . 16 1.2.1 The Continuous Groups . 16 1.2.2 The Lie Groups .................... 18 1.2.3 An Example : the Rotations Group . 19 1.2.4 The Infinitesimal Operators . 21 1.2.5 Lie Algebra ....................... 23 1.2.6 The Exponential Representation . 24 1.2.7 The Special Unitary Groups . 27 1.3 The Non-Homogeneous Lorentz Group . 34 1.3.1 The Lorentz Group . 34 1.3.2 Semi-Simple Groups . 43 1.3.3 The Poincar´eGroup . 49 2 The Action Functional 57 2.1 The Classical Relativistic Wave Fields . 57 2.1.1 Field Variations .................... 58 2.1.2 The Scalar and Vector Fields . 62 2.1.3 The Spinor Fields ................... 65 2.2 The Action Principle ................... 76 2.3 The N¨otherTheorem ................... 79 2.3.1 Problems ........................ 87 1 3 The Scalar Field 94 3.1 General Features ...................... 94 3.2 Normal Modes Expansion . 101 3.3 Klein-Gordon Quantum Field . 106 3.4 The Fock Space .......................112 3.4.1 The Many-Particle States . 112 3.4.2 The Lorentz Covariance Properties . 116 3.5 Special Distributions . 129 3.5.1 Euclidean Formulation . 133 3.6 Problems ............................137 4 The Spinor Field 151 4.1 The Dirac Equation .
    [Show full text]
  • Unitary Group - Wikipedia
    Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group Unitary group In mathematics, the unitary group of degree n, denoted U( n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group. The unitary group U( n) is a real Lie group of dimension n2. The Lie algebra of U( n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes ) consists of all matrices A such that A∗A is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix. Contents Properties Topology Related groups 2-out-of-3 property Special unitary and projective unitary groups G-structure: almost Hermitian Generalizations Indefinite forms Finite fields Degree-2 separable algebras Algebraic groups Unitary group of a quadratic module Polynomial invariants Classifying space See also Notes References Properties Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group 1 of 7 2/23/2018, 10:13 AM Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group homomorphism The kernel of this homomorphism is the set of unitary matrices with determinant 1.
    [Show full text]
  • An Overview of Topological Groups: Yesterday, Today, Tomorrow
    axioms Editorial An Overview of Topological Groups: Yesterday, Today, Tomorrow Sidney A. Morris 1,2 1 Faculty of Science and Technology, Federation University Australia, Victoria 3353, Australia; [email protected]; Tel.: +61-41-7771178 2 Department of Mathematics and Statistics, La Trobe University, Bundoora, Victoria 3086, Australia Academic Editor: Humberto Bustince Received: 18 April 2016; Accepted: 20 April 2016; Published: 5 May 2016 It was in 1969 that I began my graduate studies on topological group theory and I often dived into one of the following five books. My favourite book “Abstract Harmonic Analysis” [1] by Ed Hewitt and Ken Ross contains both a proof of the Pontryagin-van Kampen Duality Theorem for locally compact abelian groups and the structure theory of locally compact abelian groups. Walter Rudin’s book “Fourier Analysis on Groups” [2] includes an elegant proof of the Pontryagin-van Kampen Duality Theorem. Much gentler than these is “Introduction to Topological Groups” [3] by Taqdir Husain which has an introduction to topological group theory, Haar measure, the Peter-Weyl Theorem and Duality Theory. Of course the book “Topological Groups” [4] by Lev Semyonovich Pontryagin himself was a tour de force for its time. P. S. Aleksandrov, V.G. Boltyanskii, R.V. Gamkrelidze and E.F. Mishchenko described this book in glowing terms: “This book belongs to that rare category of mathematical works that can truly be called classical - books which retain their significance for decades and exert a formative influence on the scientific outlook of whole generations of mathematicians”. The final book I mention from my graduate studies days is “Topological Transformation Groups” [5] by Deane Montgomery and Leo Zippin which contains a solution of Hilbert’s fifth problem as well as a structure theory for locally compact non-abelian groups.
    [Show full text]
  • Crystal Symmetry Groups
    X-Ray and Neutron Crystallography rational numbers is a group under Crystal Symmetry Groups multiplication, and both it and the integer group already discussed are examples of infinite groups because they each contain an infinite number of elements. ymmetry plays an important role between the integers obey the rules of In the case of a symmetry group, in crystallography. The ways in group theory: an element is the operation needed to which atoms and molecules are ● There must be defined a procedure for produce one object from another. For arrangeds within a unit cell and unit cells example, a mirror operation takes an combining two elements of the group repeat within a crystal are governed by to form a third. For the integers one object in one location and produces symmetry rules. In ordinary life our can choose the addition operation so another of the opposite hand located first perception of symmetry is what that a + b = c is the operation to be such that the mirror doing the operation is known as mirror symmetry. Our performed and u, b, and c are always is equidistant between them (Fig. 1). bodies have, to a good approximation, elements of the group. These manipulations are usually called mirror symmetry in which our right side ● There exists an element of the group, symmetry operations. They are com- is matched by our left as if a mirror called the identity element and de- bined by applying them to an object se- passed along the central axis of our noted f, that combines with any other bodies.
    [Show full text]
  • Molecular Symmetry
    Molecular Symmetry Symmetry helps us understand molecular structure, some chemical properties, and characteristics of physical properties (spectroscopy) – used with group theory to predict vibrational spectra for the identification of molecular shape, and as a tool for understanding electronic structure and bonding. Symmetrical : implies the species possesses a number of indistinguishable configurations. 1 Group Theory : mathematical treatment of symmetry. symmetry operation – an operation performed on an object which leaves it in a configuration that is indistinguishable from, and superimposable on, the original configuration. symmetry elements – the points, lines, or planes to which a symmetry operation is carried out. Element Operation Symbol Identity Identity E Symmetry plane Reflection in the plane σ Inversion center Inversion of a point x,y,z to -x,-y,-z i Proper axis Rotation by (360/n)° Cn 1. Rotation by (360/n)° Improper axis S 2. Reflection in plane perpendicular to rotation axis n Proper axes of rotation (C n) Rotation with respect to a line (axis of rotation). •Cn is a rotation of (360/n)°. •C2 = 180° rotation, C 3 = 120° rotation, C 4 = 90° rotation, C 5 = 72° rotation, C 6 = 60° rotation… •Each rotation brings you to an indistinguishable state from the original. However, rotation by 90° about the same axis does not give back the identical molecule. XeF 4 is square planar. Therefore H 2O does NOT possess It has four different C 2 axes. a C 4 symmetry axis. A C 4 axis out of the page is called the principle axis because it has the largest n . By convention, the principle axis is in the z-direction 2 3 Reflection through a planes of symmetry (mirror plane) If reflection of all parts of a molecule through a plane produced an indistinguishable configuration, the symmetry element is called a mirror plane or plane of symmetry .
    [Show full text]
  • Matrix Lie Groups
    Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2).
    [Show full text]
  • Chapter 1 – Symmetry of Molecules – P. 1
    Chapter 1 – Symmetry of Molecules – p. 1 - 1. Symmetry of Molecules 1.1 Symmetry Elements · Symmetry operation: Operation that transforms a molecule to an equivalent position and orientation, i.e. after the operation every point of the molecule is coincident with an equivalent point. · Symmetry element: Geometrical entity (line, plane or point) which respect to which one or more symmetry operations can be carried out. In molecules there are only four types of symmetry elements or operations: · Mirror planes: reflection with respect to plane; notation: s · Center of inversion: inversion of all atom positions with respect to inversion center, notation i · Proper axis: Rotation by 2p/n with respect to the axis, notation Cn · Improper axis: Rotation by 2p/n with respect to the axis, followed by reflection with respect to plane, perpendicular to axis, notation Sn Formally, this classification can be further simplified by expressing the inversion i as an improper rotation S2 and the reflection s as an improper rotation S1. Thus, the only symmetry elements in molecules are Cn and Sn. Important: Successive execution of two symmetry operation corresponds to another symmetry operation of the molecule. In order to make this statement a general rule, we require one more symmetry operation, the identity E. (1.1: Symmetry elements in CH4, successive execution of symmetry operations) 1.2. Systematic classification by symmetry groups According to their inherent symmetry elements, molecules can be classified systematically in so called symmetry groups. We use the so-called Schönfliess notation to name the groups, Chapter 1 – Symmetry of Molecules – p. 2 - which is the usual notation for molecules.
    [Show full text]
  • Some Groups of Finite Homological Type
    Some groups of finite homological type Ian J. Leary∗ M¨ugeSaadeto˘glu† June 10, 2005 Abstract For each n ≥ 0 we construct a torsion-free group that satisfies K. S. Brown’s FHT condition and is FPn, but is not FPn+1. 1 Introduction While working on comparing different notions of Euler characteristic, K. S. Brown introduced a new homological finiteness condition for discrete groups [5, IX.6]. The group G is said to be of finite homological type or FHT if G has finite virtual cohomological dimension, and for every G-module M whose underlying abelian group is finitely generated, the homology groups Hi(G; M) are all finitely generated. If G is FHT , then one may define a ‘na¨ıve Euler characteristic’ for every finite-index subgroup H of G, as the alternating sum of the dimensions of the homology groups of H with rational coefficients. One question that arises is the connection between FHT and the usual homological finiteness conditions FP and FPn, which were introduced by J.-P. Serre [8]. (We shall define these conditions below.) It is easy to see that any group G of type FP is FHT , and one might conjecture that every torsion-free group that is FHT is also of type FP . The aim of this paper is to show that this is not the case. For each n ≥ 0, we exhibit a torsion-free group Gn that is FHT and of type FPn, but that is not of type FPn+1. Our construction is based on R. Bieri’s construction of a group that is FPn but not FPn+1 [2, Prop 2.14].
    [Show full text]
  • Lie Group and Geometry on the Lie Group SL2(R)
    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
    [Show full text]
  • GEOMETRY and GROUPS These Notes Are to Remind You of The
    GEOMETRY AND GROUPS These notes are to remind you of the results from earlier courses that we will need at some point in this course. The exercises are entirely optional, although they will all be useful later in the course. Asterisks indicate that they are harder. 0.1 Metric Spaces (Metric and Topological Spaces) A metric on a set X is a map d : X × X → [0, ∞) that satisfies: (a) d(x, y) > 0 with equality if and only if x = y; (b) Symmetry: d(x, y) = d(y, x) for all x, y ∈ X; (c) Triangle Rule: d(x, y) + d(y, z) > d(x, z) for all x, y, z ∈ X. A set X with a metric d is called a metric space. For example, the Euclidean metric on RN is given by d(x, y) = ||x − y|| where v u N ! u X 2 ||a|| = t |an| n=1 is the norm of a vector a. This metric makes RN into a metric space and any subset of it is also a metric space. A sequence in X is a map N → X; n 7→ xn. We often denote this sequence by (xn). This sequence converges to a limit ` ∈ X when d(xn, `) → 0 as n → ∞ . A subsequence of the sequence (xn) is given by taking only some of the terms in the sequence. So, a subsequence of the sequence (xn) is given by n 7→ xk(n) where k : N → N is a strictly increasing function. A metric space X is (sequentially) compact if every sequence from X has a subsequence that converges to a point of X.
    [Show full text]