DOCSLIB.ORG

ALGEBRAIC GROUPS 1. Definitions and Examples Let K Be An

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ALGEBRAIC GROUPS 1. Definitions and Examples Let K Be An ALGEBRAIC GROUPS J. WARNER 1. Definitions and Examples Let k be an algebraically closed field. For simplicity we will work strictly with affine varieties unless otherwise stated. Definition 1.1. An algebraic group G over k is a variety over k together with maps of varieties m : G × G ! G and i : G × G giving G the structure of a group. A morphism of algebraic groups ' : G ! H is both a group homomorphism and a morphism of varieties. 2 Notice that by the group structure we have i = idG so that i is in fact an isomorphism of varieties. The comorphisms m∗ : k[G] ! k[G] ⊗ k[G] and i∗ : k[G] ! k[G] on the coordinate algebra of G give k[G] the structure of a Hopf algebra. Thus we have an equivalence of categories between finitely generated commutative Hopf algebras over k and algebraic groups over k. To first see the interaction of the group and variety structures, consider the following definition. −1 Definition 1.2. For any g 2 G, define λg : k[G] ! k[G] by λgf(x) = f(g x) = f +mg−1x 2 k[G]=mg−1x, an automorphism of the k-algbera k[G]. λg is called left translation of functions by g. ∗ I claim that the comorphism of λg is lg−1 : G ! G, where lg(x) = gx. To see this, consider −1 λg (mx): −1 −1 λg (mx) = ff 2 k[G] j f(g x) = 0g = ff 2 k[G] j f 2 mg−1xg = mg−1x ∗ −1 so that λg(x) = g x. From this discussion we see that lg is an isomorphism of varieties, whose inverse is lg−1 . It's just as natural to define right translation of functions by g as the map ρgf(x) = f(xg). The comorphism of ρg can be seen, as above, to be rg : G ! G where rg(x) = xg. The map ρ : G ! GL(k[G]) given by g 7! ρg is an injective morphism of algebraic groups. Injectivity follows from the fact that f(g) = f(h) for all f 2 k[G] if and only if mg = mh. 2. Subgroups Lemma 2.1. If A ⊂ G is any subset of G, not necessarily a subgroup, then gA = gA for all g 2 G. Date: Spring 2013. 1 Proof. Since lg : G ! G is a homeomorphism, any closed set containing gA is of the form gE for some closed set E containing A. Homeomorphisms split across intersections so we have \ \ gA = g E = gE = gA A⊂E A⊂E Corollary 2.2. If H ≤ G, then H ≤ G. Proof. Since i : G ! G is a homeomorphism, a similar argument to the one in the lemma shows that i(H) = i(H) = H so that H is closed under inverses. Similarly, for any x 2 H we have xH = xH = H. Now take any x 2 H. Corollary 2.3. If H/G then H/G. Proof. Clearly the result of the lemma also holds in the case of multiplication on the right, −1 so that we have gHg = gHg−1 = H. From abstract group theory, we know that the product of two subgroups is a subgroup when one normalizes the other, and the product is normal when both are normal. What can we say about the product of two closed subgroups? We begin with some preliminary work. Lemma 2.4. Let U ⊂ G be any dense open set, and V be any nonempty open set. Then UV = G. −1 Proof. Choose any g 2 G. Since i and lg are both homeomorphisms, we have gV is open −1 in G. It follows that gV \ U 6= ?, so that g = uv for some u 2 U; v 2 V . Definition 2.5. Let X be any topological space. A subset A ⊂ X is locally closed if it is an intersection of an open set and a closed set. A subset A ⊂ X is constructible if it is the union of finitely many locally closed sets. We will need the following two facts about constructible sets which we state without proof. (1) Constructible sets contain a dense open set in their closure (2) The image of a constructible set under a morphism of varieties is again constructible. Constuctible subgroups are closed. To see this, suppose H is a constructible subgroup and let U be a dense open set of H, which is a subgroup by corollary 2.2. Then by lemma 2.4 we have H = UU ⊂ HH = H One result of this discussion is that if ' : G ! G0 is a map of algebraic groups, then '(G) is closed in G0 (G is closed, so constructible, so '(G) is a constructible subgroup, so closed). We can finally state the following result. Proposition 2.6. Suppose A and B are closed subgroups of an algebraic group G, and B normalizes A. Then AB is a closed subgroup of G. Proof. The only new content here is that AB is closed. This follows from AB being the image of the morphism of varieties m : A × B ! G, and the second fact listed above (A × B is constructible because it is closed in G × G). 2 3. The Identity Component S Proposition 3.1. Let G = Gi be the decomposition of G into its irreducible components. There is a unique irreducible component containing e 2 G. Proof. Renumbering if necessary, let G1;:::;Gn be the irreducible components containing e. Irreducible components are necessarily closed, and the product of closed, irreducible sets is again closed and irreducible, because the tensor product of finitely generated domains over an algebraically closed field k is again a domain (true, but not clear). It follows that G1 :::Gn is irreducible as it is the image of G1 × ::: × Gn under the continuous map G × ::: × G ! G. Since e 2 G1 :::Gn, and the Gi are maximal, it follows that G1 :::Gn 2 Gi for some i. It is also true that Gj 2 G1 :::Gn for all j. It follows that n = 1. Denote by G◦ the unique irreducible component of G containing the identity. We call G connected if G = G◦, i.e., if there is only one irreducible component. 4. Embedding in GL(n; k) The following theorem allows us to always keep in mind matrices when working with any affine algebraic group. Before stating the theorem, we state a finiteness result that is used in the proof of the theorem. Lemma 4.1. k[G] is a union of finite-dimensional G-stable subspaces, where G acts on k[G] via G ! GL(k[G]) which maps g to ρg. P Proof. Let f 2 k[G]. If ∆ is the coproduct of the Hopf algebra k[G], write ∆(f) = fi ⊗ gi. Then, for any g; x 2 G we have: −1 −1 X −1 ρgf(x) = f(g x) = ∆(f)(g ; x) = fi(g )gi(x) P −1 so that ρgf = fi(g )gi. It follows that the span of the gi is a finite dimensional vector space which contains all ρgf for all g 2 G. It then follows that the span of all ρgf is finite dimensional, and G-stable. Theorem 4.2. Let G be an algebraic group over k. Then G is isomorphic to a closed subgroup of some GL(n; k). 5. Quotients Given an abstract group G and a normal subgroup N, we know that the quotient G=N is also a group. In the case of algebraic groups, we would like to make sense of what G=N means when N is closed. Here is a result towards this end. For any vector space V , call a morphism of algebraic groups ' : G ! GL(V ) a rational representation. Theorem 5.1. Let G be an algebraic group, and N a closed, normal subgroup of G. Then there exists a rational representation ' : G ! GL(V ) such that ker ' = N. As groups, we know that G=N ∼= '(G), and '(G) is a closed subgroup in GL(V ), so it is an affine algebraic group. Thus, we think of G=N as the image of the rational representation given in the theorem. It can be shown that the quotient algebraic groups obtained in this way from two different rational representations are isomorphic. 3 6. Jordan Decomposition For any algebraic group G, and any element g 2 G, we seek a canonical decomposition of g into the product of a semisimple and unipotent element. First we work in GL(n; k). An element g 2 GL(n; k) is called semisimple if its minimal polynomial has distinct roots. Since k is algebraically closed, its minimal polynomial factors into distinct linear factors, and thus g is semisimple if and only if g is diagonalizable. We say that g is unipotent if g − In is nilpotent, or equivalently, if the only eigenvalue of g is 1. Theorem 6.1. For any g 2 GL(n; k), there are unique, commuting elements s; u 2 GL(n; k) such that g = su, s is semisimple, and u is unipotent. This unique decomposition is called the Jordan decomposition. Earlier we considered the faithful representation of an algebraic group G via right trans- lation of functions ρ : G ! GL(k[G]). We would like to see that this representation in some sense preserves the Jordan decomposition. First, we need to make some modifications to the idea of semisimple and unipotent for infinite dimensional vector spaces. For an infinite dimensional vector space V , the strict definition of semisimple and unipotent in GL(V ) is too restrictive for our purposes, so we will need to work with local conditions.
Load more

Recommended publications
  • On Abelian Subgroups of Finitely Generated Metabelian
    J. Group Theory 16 (2013), 695–705 DOI 10.1515/jgt-2013-0011 © de Gruyter 2013 On abelian subgroups of finitely generated metabelian groups Vahagn H. Mikaelian and Alexander Y. Olshanskii Communicated by John S. Wilson To Professor Gilbert Baumslag to his 80th birthday Abstract. In this note we introduce the class of H-groups (or Hall groups) related to the class of B-groups defined by P. Hall in the 1950s. Establishing some basic properties of Hall groups we use them to obtain results concerning embeddings of abelian groups. In particular, we give an explicit classification of all abelian groups that can occur as subgroups in finitely generated metabelian groups. Hall groups allow us to give a negative answer to G. Baumslag’s conjecture of 1990 on the cardinality of the set of isomorphism classes for abelian subgroups in finitely generated metabelian groups. 1 Introduction The subject of our note goes back to the paper of P. Hall [7], which established the properties of abelian normal subgroups in finitely generated metabelian and abelian-by-polycyclic groups. Let B be the class of all abelian groups B, where B is an abelian normal subgroup of some finitely generated group G with polycyclic quotient G=B. It is proved in [7, Lemmas 8 and 5.2] that B H, where the class H of countable abelian groups can be defined as follows (in the present paper, we will call the groups from H Hall groups). By definition, H H if 2 (1) H is a (finite or) countable abelian group, (2) H T K; where T is a bounded torsion group (i.e., the orders of all ele- D ˚ ments in T are bounded), K is torsion-free, (3) K has a free abelian subgroup F such that K=F is a torsion group with trivial p-subgroups for all primes except for the members of a finite set .K/.
    [Show full text]
  • Group Homomorphisms
    1-17-2018 Group Homomorphisms Here are the operation tables for two groups of order 4: · 1 a a2 + 0 1 2 1 1 a a2 0 0 1 2 a a a2 1 1 1 2 0 a2 a2 1 a 2 2 0 1 There is an obvious sense in which these two groups are “the same”: You can get the second table from the first by replacing 0 with 1, 1 with a, and 2 with a2. When are two groups the same? You might think of saying that two groups are the same if you can get one group’s table from the other by substitution, as above. However, there are problems with this. In the first place, it might be very difficult to check — imagine having to write down a multiplication table for a group of order 256! In the second place, it’s not clear what a “multiplication table” is if a group is infinite. One way to implement a substitution is to use a function. In a sense, a function is a thing which “substitutes” its output for its input. I’ll define what it means for two groups to be “the same” by using certain kinds of functions between groups. These functions are called group homomorphisms; a special kind of homomorphism, called an isomorphism, will be used to define “sameness” for groups. Definition. Let G and H be groups. A homomorphism from G to H is a function f : G → H such that f(x · y)= f(x) · f(y) forall x,y ∈ G.
    [Show full text]
  • Categories of Sets with a Group Action
    Categories of sets with a group action Bachelor Thesis of Joris Weimar under supervision of Professor S.J. Edixhoven Mathematisch Instituut, Universiteit Leiden Leiden, 13 June 2008 Contents 1 Introduction 1 1.1 Abstract . .1 1.2 Working method . .1 1.2.1 Notation . .1 2 Categories 3 2.1 Basics . .3 2.1.1 Functors . .4 2.1.2 Natural transformations . .5 2.2 Categorical constructions . .6 2.2.1 Products and coproducts . .6 2.2.2 Fibered products and fibered coproducts . .9 3 An equivalence of categories 13 3.1 G-sets . 13 3.2 Covering spaces . 15 3.2.1 The fundamental group . 15 3.2.2 Covering spaces and the homotopy lifting property . 16 3.2.3 Induced homomorphisms . 18 3.2.4 Classifying covering spaces through the fundamental group . 19 3.3 The equivalence . 24 3.3.1 The functors . 25 4 Applications and examples 31 4.1 Automorphisms and recovering the fundamental group . 31 4.2 The Seifert-van Kampen theorem . 32 4.2.1 The categories C1, C2, and πP -Set ................... 33 4.2.2 The functors . 34 4.2.3 Example . 36 Bibliography 38 Index 40 iii 1 Introduction 1.1 Abstract In the 40s, Mac Lane and Eilenberg introduced categories. Although by some referred to as abstract nonsense, the idea of categories allows one to talk about mathematical objects and their relationions in a general setting. Its origins lie in the field of algebraic topology, one of the topics that will be explored in this thesis. First, a concise introduction to categories will be given.
    [Show full text]
  • Base Size of Finite Primitive Solvable Permutation Groups
    Base size of finite primitive solvable permutation groups Ayan Maiti Under the supervision of Prof. Pal Hegedus A thesis presented for the partial fulfilment towards the degree of Masters of Science in Mathematics Mathematics and its Application Central European University Hungary Declaration of Authorship I, Ayan Maiti, declare that this thesis titled, "Base size of finite primitive solvable per- mutation groups" and the work presented in it are my own. I confirm that: This work was done wholly or mainly while in candidature for a masters degree at this University. Where any part of this thesis has previously been submitted for a degree or any other qualification at this University or any other institution, this has been clearly stated. Where I have consulted the published work of others, this is always clearly attributed. Where I have quoted from the work of others, the source is always given. With the exception of such quotations, this thesis is entirely my own work. I have acknowledged all main sources of help. Where the thesis is based on work done by myself jointly with others, I have made clear exactly what was done by others and what I have contributed myself. Signed: Ayan Maiti Date: 20th May, 2016 1 Abstract The content of this thesis report is based on the bounds of the base size of affine type primitive permutation groups, the bound was conjectured by Pyber and later was proved by Akos Seress. The the primary focus of this thesis is to understand the basic idea and the proof given by Akos Seress.
    [Show full text]
  • A Zariski Topology for Modules
    A Zariski Topology for Modules∗ Jawad Abuhlail† Department of Mathematics and Statistics King Fahd University of Petroleum & Minerals [email protected] October 18, 2018 Abstract Given a duo module M over an associative (not necessarily commutative) ring R, a Zariski topology is defined on the spectrum Specfp(M) of fully prime R-submodules of M. We investigate, in particular, the interplay between the properties of this space and the algebraic properties of the module under consideration. 1 Introduction The interplay between the properties of a given ring and the topological properties of the Zariski topology defined on its prime spectrum has been studied intensively in the literature (e.g. [LY2006, ST2010, ZTW2006]). On the other hand, many papers considered the so called top modules, i.e. modules whose spectrum of prime submodules attains a Zariski topology (e.g. [Lu1984, Lu1999, MMS1997, MMS1998, Zah2006-a, Zha2006-b]). arXiv:1007.3149v1 [math.RA] 19 Jul 2010 On the other hand, different notions of primeness for modules were introduced and in- vestigated in the literature (e.g. [Dau1978, Wis1996, RRRF-AS2002, RRW2005, Wij2006, Abu2006, WW2009]). In this paper, we consider a notions that was not dealt with, from the topological point of view, so far. Given a duo module M over an associative ring R, we introduce and topologize the spectrum of fully prime R-submodules of M. Motivated by results on the Zariski topology on the spectrum of prime ideals of a commutative ring (e.g. [Bou1998, AM1969]), we investigate the interplay between the topological properties of the obtained space and the module under consideration.
    [Show full text]
  • Självständiga Arbeten I Matematik
    SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Geometric interpretation of non-associative composition algebras av Fredrik Cumlin 2020 - No K13 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 106 91 STOCKHOLM Geometric interpretation of non-associative composition algebras Fredrik Cumlin Självständigt arbete i matematik 15 högskolepoäng, grundnivå Handledare: Wushi Goldring 2020 Abstract This paper aims to discuss the connection between non-associative composition algebra and geometry. It will first recall the notion of an algebra, and investigate the properties of an algebra together with a com- position norm. The composition norm will induce a law on the algebra, which is stated as the composition law. This law is then used to derive the multiplication and conjugation laws, where the last is also known as convolution. These laws are then used to prove Hurwitz’s celebrated the- orem concerning the different finite composition algebras. More properties of composition algebras will be covered, in order to look at the structure of the quaternions H and octonions O. The famous Fano plane will be the finishing touch of the relationship between the standard orthogonal vectors which construct the octonions. Lastly, the notion of invertible maps in relation to invertible loops will be covered, to later show the connection between 8 dimensional rotations − and multiplication of unit octonions. 2 Contents 1 Algebra 4 1.1 The multiplication laws . .6 1.2 The conjugation laws . .7 1.3 Dickson double . .8 1.4 Hurwitz’s theorem . 11 2 Properties of composition algebras 14 2.1 The left-, right- and bi-multiplication maps . 16 2.2 Basic properties of quaternions and octonions .
    [Show full text]
  • 1. Introduction Practical Information About the Course. Problem Classes
    1. Introduction Practical information about the course. Problem classes - 1 every 2 weeks, maybe a bit more Coursework – two pieces, each worth 5% Deadlines: 16 February, 14 March Problem sheets and coursework will be available on my web page: http://wwwf.imperial.ac.uk/~morr/2016-7/teaching/alg-geom.html My email address: [email protected] Office hours: Mon 2-3, Thur 4-5 in Huxley 681 Bézout’s theorem. Here is an example of a theorem in algebraic geometry and an outline of a geometric method for proving it which illustrates some of the main themes in algebraic geometry. Theorem 1.1 (Bézout). Let C be a plane algebraic curve {(x, y): f(x, y) = 0} where f is a polynomial of degree m. Let D be a plane algebraic curve {(x, y): g(x, y) = 0} where g is a polynomial of degree n. Suppose that C and D have no component in common (if they had a component in common, then their intersection would obviously be infinite). Then C ∩ D consists of mn points, provided that (i) we work over the complex numbers C; (ii) we work in the projective plane, which consists of the ordinary plane together with some points at infinity (this will be formally defined later in the course); (iii) we count intersections with the correct multiplicities (e.g. if the curves are tangent at a point, it counts as more than one intersection). We will not define intersection multiplicities in this course, but the idea is that multiple intersections resemble multiple roots of a polynomial in one variable.
    [Show full text]
  • Invariant Hypersurfaces 3
    INVARIANT HYPERSURFACES JASON BELL, RAHIM MOOSA, AND ADAM TOPAZ Abstract. The following theorem, which includes as very special cases re- sults of Jouanolou and Hrushovski on algebraic D-varieties on the one hand, and of Cantat on rational dynamics on the other, is established: Working over a field of characteristic zero, suppose φ1,φ2 : Z → X are dominant rational maps from a (possibly nonreduced) irreducible scheme Z of finite-type to an algebraic variety X, with the property that there are infinitely many hyper- surfaces on X whose scheme-theoretic inverse images under φ1 and φ2 agree. Then there is a nonconstant rational function g on X such that gφ1 = gφ2. In the case when Z is also reduced the scheme-theoretic inverse image can be replaced by the proper transform. A partial result is obtained in positive characteristic. Applications include an extension of the Jouanolou-Hrushovski theorem to generalised algebraic D-varieties and of Cantat’s theorem to self- correspondences. Contents 1. Introduction 2 2. Some differential algebra preliminaries 4 3. The principal algebraic statement 7 4. Proof of the main theorem 12 5. An application to algebraic D-varieties 13 6. Thereducedcaseandanapplicationtorationaldynamics 17 7. Normal varieties equipped with prime divisors 19 8. Positive characteristic 24 References 26 arXiv:1812.08346v2 [math.AG] 5 Jun 2020 Date: June 8, 2020. Keywords: D-variety, dynamical system, foliation, generalised operator, hypersurface, rational map, self-correspondence. 2010 Mathematics Subject Classification. Primary 14E99; Secondary 12H05 and 12H10. Acknowledgements: The authors are grateful for the referee’s careful reading of the original submission, leading to several improvements and corrections.
    [Show full text]
  • Some Finiteness Results for Groups of Automorphisms of Manifolds 3
    SOME FINITENESS RESULTS FOR GROUPS OF AUTOMORPHISMS OF MANIFOLDS ALEXANDER KUPERS Abstract. We prove that in dimension =6 4, 5, 7 the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses homological stability, embedding calculus and the arithmeticity of mapping class groups. From this we deduce similar results for the homeomorphisms of Rn and various types of automorphisms of 2-connected manifolds. Contents 1. Introduction 1 2. Homologically and homotopically finite type spaces 4 3. Self-embeddings 11 4. The Weiss fiber sequence 19 5. Proofs of main results 29 References 38 1. Introduction Inspired by work of Weiss on Pontryagin classes of topological manifolds [Wei15], we use several recent advances in the study of high-dimensional manifolds to prove a structural result about diffeomorphism groups. We prove the classifying spaces of such groups are often “small” in one of the following two algebro-topological senses: Definition 1.1. Let X be a path-connected space. arXiv:1612.09475v3 [math.AT] 1 Sep 2019 · X is said to be of homologically finite type if for all Z[π1(X)]-modules M that are finitely generated as abelian groups, H∗(X; M) is finitely generated in each degree. · X is said to be of finite type if π1(X) is finite and πi(X) is finitely generated for i ≥ 2. Being of finite type implies being of homologically finite type, see Lemma 2.15. Date: September 4, 2019. Alexander Kupers was partially supported by a William R.
    [Show full text]
  • Automorphism Groups of Locally Compact Reductive Groups
    PROCEEDINGS OF THE AMERICAN MATHEMATICALSOCIETY Volume 106, Number 2, June 1989 AUTOMORPHISM GROUPS OF LOCALLY COMPACT REDUCTIVE GROUPS T. S. WU (Communicated by David G Ebin) Dedicated to Mr. Chu. Ming-Lun on his seventieth birthday Abstract. A topological group G is reductive if every continuous finite di- mensional G-module is semi-simple. We study the structure of those locally compact reductive groups which are the extension of their identity components by compact groups. We then study the automorphism groups of such groups in connection with the groups of inner automorphisms. Proposition. Let G be a locally compact reductive group such that G/Gq is compact. Then /(Go) is dense in Aq(G) . Let G be a locally compact topological group. Let A(G) be the group of all bi-continuous automorphisms of G. Then A(G) has the natural topology (the so-called Birkhoff topology or ^-topology [1, 3, 4]), so that it becomes a topo- logical group. We shall always adopt such topology in the following discussion. When G is compact, it is well known that the identity component A0(G) of A(G) is the group of all inner automorphisms induced by elements from the identity component G0 of G, i.e., A0(G) = I(G0). This fact is very useful in the study of the structure of locally compact groups. On the other hand, it is also well known that when G is a semi-simple Lie group with finitely many connected components A0(G) - I(G0). The latter fact had been generalized to more general groups ([3]).
    [Show full text]
  • Global Rigidity of Solvable Group Actions on S1 Lizzie Burslem Amie Wilkinson
    ISSN 1364-0380 (on line) 1465-3060 (printed) 877 eometry & opology G T Volume 8 (2004) 877–924 Published: 5 June 2004 Global rigidity of solvable group actions on S1 Lizzie Burslem Amie Wilkinson Department of Mathematics, University of Michigan 2074 East Hall, Ann Arbor, MI 48109-1109 USA and Department of Mathematics, Northwestern University 2033 Sheridan Road, Evanston, IL 60208-2730 USA Email: [email protected], [email protected] Abstract In this paper we find all solvable subgroups of Diffω(S1) and classify their actions. We also investigate the Cr local rigidity of actions of the solvable Baumslag–Solitar groups on the circle. The investigation leads to two novel phenomena in the study of infinite group actions on compact manifolds. We exhibit a finitely generated group Γ and a manifold M such that: Γ has exactly countably infinitely many effective real-analytic actions on • M , up to conjugacy in Diffω(M); every effective, real analytic action of Γ on M is Cr locally rigid, for • some r 3, and for every such r, there are infinitely many nonconjugate, ≥ effective real-analytic actions of Γ on M that are Cr locally rigid, but not Cr−1 locally rigid. AMS Classification numbers Primary: 58E40, 22F05 Secondary: 20F16, 57M60 Keywords: Group action, solvable group, rigidity, Diffω(S1) Proposed:RobionKirby Received:26January2004 Seconded: Martin Bridson, Steven Ferry Accepted: 28 May 2004 c eometry & opology ublications G T P 878 Lizzie Burslem and Amie Wilkinson Introduction This paper describes two novel phenomena in the study of infinite group actions on compact manifolds. We exhibit a finitely generated group Γ and a manifold M such that: Γ has exactly countably infinitely many effective real-analytic actions on • M , up to conjugacy in Diffω(M); every effective, real analytic action of Γ on M is Cr locally rigid, for • some r 3, and for every such r, there are infinitely many nonconjugate, ≥ effective real-analytic actions of Γ on M that are Cr locally rigid, but not Cr−1 locally rigid.
    [Show full text]
  • Underlying Varieties and Group Structures 3
    UNDERLYING VARIETIES AND GROUP STRUCTURES VLADIMIR L. POPOV Abstract. Starting with exploration of the possibility to present the underlying variety of an affine algebraic group in the form of a product of some algebraic varieties, we then explore the naturally arising problem as to what extent the group variety of an algebraic group determines its group structure. 1. Introduction. This paper arose from a short preprint [16] and is its extensive extension. As starting point of [14] served the question of B. Kunyavsky [10] about the validity of the statement, which is for- mulated below as Corollary of Theorem 1. This statement concerns the possibility to present the underlying variety of a connected reductive algebraic group in the form of a product of some special algebraic va- rieties. Sections 2, 3 make up the content of [16], where the possibility of such presentations is explored. For some of them, in Theorem 1 is proved their existence, and in Theorems 2–5, on the contrary, their non-existence. Theorem 1 shows that there are non-isomorphic reductive groups whose underlying varieties are isomorphic. In Sections 4–10, we explore the problem, naturally arising in connection with this, as to what ex- tent the underlying variety of an algebraic group determines its group structure. In Theorems 6–8, it is shown that some group properties (dimension of unipotent radical, reductivity, solvability, unipotency, arXiv:2105.12861v1 [math.AG] 26 May 2021 toroidality in the sense of Rosenlicht) are equivalent to certain geomet- ric properties of the underlying group variety. Theorem 8 generalizes to solvable groups M.
    [Show full text]