DOCSLIB.ORG

The Orbit Space of a Proper Groupoid

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Orbit Space of a Proper Groupoid The Orbit Space of a Proper Groupoid Miguel Rodr´ıguez-Olmos EPFL, Switzerland Joint work with Oana Dragulete (EPFL) Rui Loja Fernandes (IST) Tudor S. Ratiu (EPFL) Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 1 / 24 If the action is free, M/G is a smooth manifold in the quotient topology. If the action is not free, M/G is a locally semi-algebraic space endowed with a canonical Whitney stratification. This correspond to a particular case of a groupoid: The action groupoid: G × M ⇒ M and M/G is precisely the orbit space of this action groupoid. Motivation Let G be a Lie group, M a smooth manifold and G × M → M a proper smooth action. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 2 / 24 If the action is not free, M/G is a locally semi-algebraic space endowed with a canonical Whitney stratification. This correspond to a particular case of a groupoid: The action groupoid: G × M ⇒ M and M/G is precisely the orbit space of this action groupoid. Motivation Let G be a Lie group, M a smooth manifold and G × M → M a proper smooth action. If the action is free, M/G is a smooth manifold in the quotient topology. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 2 / 24 This correspond to a particular case of a groupoid: The action groupoid: G × M ⇒ M and M/G is precisely the orbit space of this action groupoid. Motivation Let G be a Lie group, M a smooth manifold and G × M → M a proper smooth action. If the action is free, M/G is a smooth manifold in the quotient topology. If the action is not free, M/G is a locally semi-algebraic space endowed with a canonical Whitney stratification. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 2 / 24 and M/G is precisely the orbit space of this action groupoid. Motivation Let G be a Lie group, M a smooth manifold and G × M → M a proper smooth action. If the action is free, M/G is a smooth manifold in the quotient topology. If the action is not free, M/G is a locally semi-algebraic space endowed with a canonical Whitney stratification. This correspond to a particular case of a groupoid: The action groupoid: G × M ⇒ M Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 2 / 24 Motivation Let G be a Lie group, M a smooth manifold and G × M → M a proper smooth action. If the action is free, M/G is a smooth manifold in the quotient topology. If the action is not free, M/G is a locally semi-algebraic space endowed with a canonical Whitney stratification. This correspond to a particular case of a groupoid: The action groupoid: G × M ⇒ M and M/G is precisely the orbit space of this action groupoid. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 2 / 24 Let −1 Ox = t(s (x)) be the orbit through x ∈ M, and define the equivalence class x ∼ y if Ox = Oy for x, y ∈ M. Then the orbit space of G is M/G := M/ ∼. More generally, let s, t : G ⇒ M be a groupoid. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 3 / 24 and define the equivalence class x ∼ y if Ox = Oy for x, y ∈ M. Then the orbit space of G is M/G := M/ ∼. More generally, let s, t : G ⇒ M be a groupoid. Let −1 Ox = t(s (x)) be the orbit through x ∈ M, Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 3 / 24 Then the orbit space of G is M/G := M/ ∼. More generally, let s, t : G ⇒ M be a groupoid. Let −1 Ox = t(s (x)) be the orbit through x ∈ M, and define the equivalence class x ∼ y if Ox = Oy for x, y ∈ M. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 3 / 24 More generally, let s, t : G ⇒ M be a groupoid. Let −1 Ox = t(s (x)) be the orbit through x ∈ M, and define the equivalence class x ∼ y if Ox = Oy for x, y ∈ M. Then the orbit space of G is M/G := M/ ∼. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 3 / 24 s(g, x) = x t(g, x) = g · x and then the orbit space M/G is exactly M/G. QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Is it a Whitney stratified space? In that case, what is the global description of the strata? In the case of the action groupoid, G = G × M Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 t(g, x) = g · x and then the orbit space M/G is exactly M/G. QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Is it a Whitney stratified space? In that case, what is the global description of the strata? In the case of the action groupoid, G = G × M s(g, x) = x Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 and then the orbit space M/G is exactly M/G. QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Is it a Whitney stratified space? In that case, what is the global description of the strata? In the case of the action groupoid, G = G × M s(g, x) = x t(g, x) = g · x Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Is it a Whitney stratified space? In that case, what is the global description of the strata? In the case of the action groupoid, G = G × M s(g, x) = x t(g, x) = g · x and then the orbit space M/G is exactly M/G. Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 Is it a Whitney stratified space? In that case, what is the global description of the strata? In the case of the action groupoid, G = G × M s(g, x) = x t(g, x) = g · x and then the orbit space M/G is exactly M/G. QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 In that case, what is the global description of the strata? In the case of the action groupoid, G = G × M s(g, x) = x t(g, x) = g · x and then the orbit space M/G is exactly M/G. QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Is it a Whitney stratified space? Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 In the case of the action groupoid, G = G × M s(g, x) = x t(g, x) = g · x and then the orbit space M/G is exactly M/G. QUESTION: What is the structure of M/G for a general (not action) groupoid? In particular Is it a Whitney stratified space? In that case, what is the global description of the strata? Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 4 / 24 2 Proper Lie Groupoids 3 Orbit Space of a Proper Groupoid: Local 4 Orbit Space of a Proper Groupoid: Global 5 Applications Outline 1 Proper Lie Group Actions Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 5 / 24 3 Orbit Space of a Proper Groupoid: Local 4 Orbit Space of a Proper Groupoid: Global 5 Applications Outline 1 Proper Lie Group Actions 2 Proper Lie Groupoids Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 5 / 24 4 Orbit Space of a Proper Groupoid: Global 5 Applications Outline 1 Proper Lie Group Actions 2 Proper Lie Groupoids 3 Orbit Space of a Proper Groupoid: Local Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 5 / 24 5 Applications Outline 1 Proper Lie Group Actions 2 Proper Lie Groupoids 3 Orbit Space of a Proper Groupoid: Local 4 Orbit Space of a Proper Groupoid: Global Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 5 / 24 Outline 1 Proper Lie Group Actions 2 Proper Lie Groupoids 3 Orbit Space of a Proper Groupoid: Local 4 Orbit Space of a Proper Groupoid: Global 5 Applications Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 5 / 24 Outline 1 Proper Lie Group Actions 2 Proper Lie Groupoids 3 Orbit Space of a Proper Groupoid: Local 4 Orbit Space of a Proper Groupoid: Global 5 Applications Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 6 / 24 [ U = Ui , i∈I If i 6= j, Ui ∩ Uj 6= ∅ ⇒ Ui ⊂ Uj . The stratification is called Whitney if for every pair Ui ⊂ Uj , Uj 3 {xk }k∈N → x ∈ Ui ⇒ Txk Uj → V > Tx Ui . N (this requires an embedding of U in R ). Stratifications Definition A topological space S is a stratified space if for every x ∈ S there exists a neighborhood U and a finite family of disjoint locally closed smooth manifolds Ui ⊂ U, i ∈ I such that Miguel Rodr´ıguez-Olmos (EPFL) The Orbit Space of a Proper Groupoid 7 / 24 The stratification is called Whitney if for every pair Ui ⊂ Uj , Uj 3 {xk }k∈N → x ∈ Ui ⇒ Txk Uj → V > Tx Ui .
Load more

Recommended publications
  • Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19Th, 2020
    Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19th, 2020 Group Isomorphism Theorems + Group Actions The Isomorphism Theorems for Groups Group Actions Polynomial Invariants and An This material represents x3.2.3-3.3.2 from the course notes. Quotients and Homomorphisms, I Like with rings, we also have various natural connections between normal subgroups and group homomorphisms. To begin, observe that if ' : G ! H is a group homomorphism, then ker ' is a normal subgroup of G. In fact, I proved this fact earlier when I introduced the kernel, but let me remark again: if g 2 ker ', then for any a 2 G, then '(aga−1) = '(a)'(g)'(a−1) = '(a)'(a−1) = e. Thus, aga−1 2 ker ' as well, and so by our equivalent properties of normality, this means ker ' is a normal subgroup. Thus, we can use homomorphisms to construct new normal subgroups. Quotients and Homomorphisms, II Equally importantly, we can also do the reverse: we can use normal subgroups to construct homomorphisms. The key observation in this direction is that the map ' : G ! G=N associating a group element to its residue class / left coset (i.e., with '(a) = a) is a ring homomorphism. Indeed, the homomorphism property is precisely what we arranged for the left cosets of N to satisfy: '(a · b) = a · b = a · b = '(a) · '(b). Furthermore, the kernel of this map ' is, by definition, the set of elements in G with '(g) = e, which is to say, the set of elements g 2 N. Thus, kernels of homomorphisms and normal subgroups are precisely the same things.
    [Show full text]
  • The Fundamental Groupoid of the Quotient of a Hausdorff
    The fundamental groupoid of the quotient of a Hausdorff space by a discontinuous action of a discrete group is the orbit groupoid of the induced action Ronald Brown,∗ Philip J. Higgins,† Mathematics Division, Department of Mathematical Sciences, School of Informatics, Science Laboratories, University of Wales, Bangor South Rd., Gwynedd LL57 1UT, U.K. Durham, DH1 3LE, U.K. October 23, 2018 University of Wales, Bangor, Maths Preprint 02.25 Abstract The main result is that the fundamental groupoidof the orbit space of a discontinuousaction of a discrete groupon a Hausdorffspace which admits a universal coveris the orbit groupoid of the fundamental groupoid of the space. We also describe work of Higgins and of Taylor which makes this result usable for calculations. As an example, we compute the fundamental group of the symmetric square of a space. The main result, which is related to work of Armstrong, is due to Brown and Higgins in 1985 and was published in sections 9 and 10 of Chapter 9 of the first author’s book on Topology [3]. This is a somewhat edited, and in one point (on normal closures) corrected, version of those sections. Since the book is out of print, and the result seems not well known, we now advertise it here. It is hoped that this account will also allow wider views of these results, for example in topos theory and descent theory. Because of its provenance, this should be read as a graduate text rather than an article. The Exercises should be regarded as further propositions for which we leave the proofs to the reader.
    [Show full text]
  • GROUP ACTIONS 1. Introduction the Groups Sn, An, and (For N ≥ 3)
    GROUP ACTIONS KEITH CONRAD 1. Introduction The groups Sn, An, and (for n ≥ 3) Dn behave, by their definitions, as permutations on certain sets. The groups Sn and An both permute the set f1; 2; : : : ; ng and Dn can be considered as a group of permutations of a regular n-gon, or even just of its n vertices, since rigid motions of the vertices determine where the rest of the n-gon goes. If we label the vertices of the n-gon in a definite manner by the numbers from 1 to n then we can view Dn as a subgroup of Sn. For instance, the labeling of the square below lets us regard the 90 degree counterclockwise rotation r in D4 as (1234) and the reflection s across the horizontal line bisecting the square as (24). The rest of the elements of D4, as permutations of the vertices, are in the table below the square. 2 3 1 4 1 r r2 r3 s rs r2s r3s (1) (1234) (13)(24) (1432) (24) (12)(34) (13) (14)(23) If we label the vertices in a different way (e.g., swap the labels 1 and 2), we turn the elements of D4 into a different subgroup of S4. More abstractly, if we are given a set X (not necessarily the set of vertices of a square), then the set Sym(X) of all permutations of X is a group under composition, and the subgroup Alt(X) of even permutations of X is a group under composition. If we list the elements of X in a definite order, say as X = fx1; : : : ; xng, then we can think about Sym(X) as Sn and Alt(X) as An, but a listing in a different order leads to different identifications 1 of Sym(X) with Sn and Alt(X) with An.
    [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]
  • Definition 1.1. a Group Is a Quadruple (G, E, ⋆, Ι)
    GROUPS AND GROUP ACTIONS. 1. GROUPS We begin by giving a definition of a group: Definition 1.1. A group is a quadruple (G, e, ?, ι) consisting of a set G, an element e G, a binary operation ?: G G G and a map ι: G G such that ∈ × → → (1) The operation ? is associative: (g ? h) ? k = g ? (h ? k), (2) e ? g = g ? e = g, for all g G. ∈ (3) For every g G we have g ? ι(g) = ι(g) ? g = e. ∈ It is standard to suppress the operation ? and write gh or at most g.h for g ? h. The element e is known as the identity element. For clarity, we may also write eG instead of e to emphasize which group we are considering, but may also write 1 for e where this is more conventional (for the group such as C∗ for example). Finally, 1 ι(g) is usually written as g− . Remark 1.2. Let us note a couple of things about the above definition. Firstly clo- sure is not an axiom for a group whatever anyone has ever told you1. (The reason people get confused about this is related to the notion of subgroups – see Example 1.8 later in this section.) The axioms used here are not “minimal”: the exercises give a different set of axioms which assume only the existence of a map ι without specifying it. We leave it to those who like that kind of thing to check that associa- tivity of triple multiplications implies that for any k N, bracketing a k-tuple of ∈ group elements (g1, g2, .
    [Show full text]
  • Representation Theory
    M392C NOTES: REPRESENTATION THEORY ARUN DEBRAY MAY 14, 2017 These notes were taken in UT Austin's M392C (Representation Theory) class in Spring 2017, taught by Sam Gunningham. I live-TEXed them using vim, so there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Kartik Chitturi, Adrian Clough, Tom Gannon, Nathan Guermond, Sam Gunningham, Jay Hathaway, and Surya Raghavendran for correcting a few errors. Contents 1. Lie groups and smooth actions: 1/18/172 2. Representation theory of compact groups: 1/20/174 3. Operations on representations: 1/23/176 4. Complete reducibility: 1/25/178 5. Some examples: 1/27/17 10 6. Matrix coefficients and characters: 1/30/17 12 7. The Peter-Weyl theorem: 2/1/17 13 8. Character tables: 2/3/17 15 9. The character theory of SU(2): 2/6/17 17 10. Representation theory of Lie groups: 2/8/17 19 11. Lie algebras: 2/10/17 20 12. The adjoint representations: 2/13/17 22 13. Representations of Lie algebras: 2/15/17 24 14. The representation theory of sl2(C): 2/17/17 25 15. Solvable and nilpotent Lie algebras: 2/20/17 27 16. Semisimple Lie algebras: 2/22/17 29 17. Invariant bilinear forms on Lie algebras: 2/24/17 31 18. Classical Lie groups and Lie algebras: 2/27/17 32 19. Roots and root spaces: 3/1/17 34 20. Properties of roots: 3/3/17 36 21. Root systems: 3/6/17 37 22. Dynkin diagrams: 3/8/17 39 23.
    [Show full text]
  • Ideal Classes and SL 2
    IDEAL CLASSES AND SL2 KEITH CONRAD 1. Introduction A standard group action in complex analysis is the action of GL2(C) on the Riemann sphere C [ f1g by linear fractional transformations (M¨obiustransformations): a b az + b (1.1) z = : c d cz + d We need to allow the value 1 since cz + d might be 0. (If that happens, az + b 6= 0 since a b ( c d ) is invertible.) When z = 1, the value of (1.1) is a=c 2 C [ f1g. It is easy to see this action of GL2(C) on the Riemann sphere is transitive (that is, there is one orbit): for every a 2 C, a a − 1 (1.2) 1 = a; 1 1 a a−1 so the orbit of 1 passes through all points. In fact, since ( 1 1 ) has determinant 1, the action of SL2(C) on C [ f1g is transitive. However, the action of SL2(R) on the Riemann sphere is not transitive. The reason is the formula for imaginary parts under a real linear fractional transformation: az + b (ad − bc) Im(z) Im = cz + d jcz + dj2 a b a b when ( c d ) 2 GL2(R). Thus the imaginary parts of z and ( c d )z have the same sign when a b ( c d ) has determinant 1. The action of SL2(R) on the Riemann sphere has three orbits: R [ f1g, the upper half-plane h = fx + iy : y > 0g, and the lower half-plane. To see that the action of SL2(R) on h is transitive, pick x + iy with y > 0.
    [Show full text]
  • LIE GROUPOIDS and LIE ALGEBROIDS LECTURE NOTES, FALL 2017 Contents 1. Lie Groupoids 4 1.1. Definitions 4 1.2. Examples 6 1.3. Ex
    LIE GROUPOIDS AND LIE ALGEBROIDS LECTURE NOTES, FALL 2017 ECKHARD MEINRENKEN Abstract. These notes are under construction. They contain errors and omissions, and the references are very incomplete. Apologies! Contents 1. Lie groupoids 4 1.1. Definitions 4 1.2. Examples 6 1.3. Exercises 9 2. Foliation groupoids 10 2.1. Definition, examples 10 2.2. Monodromy and holonomy 12 2.3. The monodromy and holonomy groupoids 12 2.4. Appendix: Haefliger’s approach 14 3. Properties of Lie groupoids 14 3.1. Orbits and isotropy groups 14 3.2. Bisections 15 3.3. Local bisections 17 3.4. Transitive Lie groupoids 18 4. More constructions with groupoids 19 4.1. Vector bundles in terms of scalar multiplication 20 4.2. Relations 20 4.3. Groupoid structures as relations 22 4.4. Tangent groupoid, cotangent groupoid 22 4.5. Prolongations of groupoids 24 4.6. Pull-backs and restrictions of groupoids 24 4.7. A result on subgroupoids 25 4.8. Clean intersection of submanifolds and maps 26 4.9. Intersections of Lie subgroupoids, fiber products 28 4.10. The universal covering groupoid 29 5. Groupoid actions, groupoid representations 30 5.1. Actions of Lie groupoids 30 5.2. Principal actions 31 5.3. Representations of Lie groupoids 33 6. Lie algebroids 33 1 2 ECKHARD MEINRENKEN 6.1. Definitions 33 6.2. Examples 34 6.3. Lie subalgebroids 36 6.4. Intersections of Lie subalgebroids 37 6.5. Direct products of Lie algebroids 38 7. Morphisms of Lie algebroids 38 7.1. Definition of morphisms 38 7.2.
    [Show full text]
  • Chapter 9: Group Actions
    Chapter 9: Group actions Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Spring 2014 M. Macauley (Clemson) Chapter 9: Group actions Math 4120, Spring 2014 1 / 27 Overview Intuitively, a group action occurs when a group G \naturally permutes" a set S of states. For example: The \Rubik's cube group" consists of the 4:3 × 1019 actions that permutated the 4:3 × 1019 configurations of the cube. The group D4 consists of the 8 symmetries of the square. These symmetries are actions that permuted the 8 configurations of the square. Group actions help us understand the interplay between the actual group of actions and sets of objects that they \rearrange." There are many other examples of groups that \act on" sets of objects. We will see examples when the group and the set have different sizes. There is a rich theory of group actions, and it can be used to prove many deep results in group theory. M. Macauley (Clemson) Chapter 9: Group actions Math 4120, Spring 2014 2 / 27 Actions vs. configurations 1 2 The group D can be thought of as the 8 symmetries of the square: 4 4 3 There is a subtle but important distinction to make, between the actual 8 symmetries of the square, and the 8 configurations. For example, the 8 symmetries (alternatively, \actions") can be thought of as e; r; r 2; r 3; f ; rf ; r 2f ; r 3f : The 8 configurations (or states) of the square are the following: 1 2 4 1 3 4 2 3 2 1 3 2 4 3 1 4 4 3 3 2 2 1 1 4 3 4 4 1 1 2 2 3 When we were just learning about groups, we made an action diagram.
    [Show full text]
  • Group Action on Quantum Field Theory
    International Mathematical Forum, Vol. 14, 2019, no. 4, 169 - 179 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/imf.2019.9728 Group Action on Quantum Field Theory Ahmad M. Alghamdi and Roa M. Makki Department of Mathematical Sciences Faculty of Applied Sciences Umm Alqura University P.O. Box 14035, Makkah 21955, Saudi Arabia This article is distributed under the Creative Commons by-nc-nd Attribution License. Copyright c 2019 Hikari Ltd. Abstract The main aim of this paper is to develop some tools for understand- ing and explaining the concept of group action on a space and group action on algebra by using subgroups with finite index and both re- striction and transfer maps. We extend this concept on quantum field theory. 0 Introduction Group action is a very important tool in mathematics. Namely, if a certain group acts on a certain object, then many results and phenomena can be resolved. Let G be a group, the object can be a set and then we have the notion of a group acts on a set see [7]. Such object can be a vector space which results the so called G-space or G-module see for instance [6]. In some cases, the object can be a group and then we have the notion of group acts on a group see [3]. The topic of a group acting on an algebra can be seen in [5, 9]. This approaches open many gates in the research area called the G-algebras over a field. If we have an action from the group G to an object, then there is a fixed point under this action.
    [Show full text]
  • Proper Groupoids and Momentum Maps: Linearization, Affinity, and Convexity
    PROPER GROUPOIDS AND MOMENTUM MAPS: LINEARIZATION, AFFINITY, AND CONVEXITY NGUYEN TIEN ZUNG Abstract. We show that proper Lie groupoids are locally linearizable. As a consequence, the orbit space of a proper Lie groupoid is a smooth orbispace (a Hausdorff space which locally looks like the quotient of a vector space by a linear compact Lie group action). In the case of proper (quasi-)symplectic groupoids, the orbit space admits a natural locally flat integral affine structure, which makes it into an affine manifold with locally convex polyhedral bound- ary, and the local structure near each boundary point is isomorphic to that of a Weyl chamber of a compact Lie group. We then apply these results to the study of momentum maps of Hamiltonian actions of proper (quasi-)symplectic groupoids, and show that these momentum maps preserve natural transverse affine structures with local convexity properties. Many convexity theorems in the literature can be recovered from this last statement and some elementary results about affine maps. Dedicated to Alan Weinstein on the occasion of his 60th birthday Contents 1. Introduction 2 2. Proper groupoids 2 2.1. Linearization of proper groupoids 2 2.2. The averaging process 7 2.3. Spaces of maps and Ck-norms 9 2.4. C0 estimates 11 2.5. Ck estimates 13 2.6. Proof of Theorem 2.5 15 3. Momentum maps 19 3.1. Affine structure on base spaces 19 3.2. Affinity and local convexity of momentum maps 21 3.3. Global convexity of momentum maps 24 References 28 Date: third version, 30/Aug/2004.
    [Show full text]
  • The General Linear Group Over the field Fq, Is the Group of Invertible N × N Matrices with Coefficients in Fq
    ALGEBRA - LECTURE II 1. General Linear Group Let Fq be a finite field of order q. Then GLn(q), the general linear group over the field Fq, is the group of invertible n × n matrices with coefficients in Fq. We shall now compute n the order of this group. Note that columns of an invertible matrix give a basis of V = Fq . Conversely, if v1, v2, . vn is a basis of V then there is an invertible matrix with these vectors as columns. Thus we need to count the bases of V . This is easy, as v1 can be any non-zero vector, then v2 any vector in V not on the line spanned by v1, then v3 any vector in V not n n on the plane spanned by v1 and v2, etc... Thus, there are q − 1 choices for v1, then q − q n 2 choices for v2, then q − q choices for v3, etc. Hence the order of GLn(q) is n−1 Y n i |GLn(q)| = (q − q ). i=0 2. Group action Let X be a set and G a group. A group action of G on X is a map G × X → X (g, x) 7→ gx such that (1) 1 · x = x for every x in X. (Here 1 is the identity in G.) (2) (gh)x = g(hx) for every x in X and g, h in G. Examples: n (1) G = GLn(q) and X = Fq . The action is given by matrix multiplication. (2) X = G and the action is the conjugation action of G.
    [Show full text]