Topological Groups Advances, Surveys, and Open Questions
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
On S-Topological Groups
Mathematica Moravica Vol. 18-2 (2014), 35–44 On s-Topological Groups Muhammad Siddique Bosan, Moiz ud Din Khan and Ljubiša D.R. Kočinac∗) Abstract. In this paper we study the class of s-topological groups and a wider class of S-topological groups which are defined by us- ing semi-open sets and semi-continuity introduced by N. Levine. It is shown that these groups form a generalization of topological groups, and that they are different from several distinct notions of semitopolog- ical groups which appear in the literature. Counterexamples are given to strengthen these concepts. Some basic results and applications of s- and S-topological groups are presented. Similarities with and differ- ences from topological groups are investigated. 1. Introduction If a set is endowed with algebraic and topological structures, then it is natural to consider and investigate interplay between these two structures. The most natural way for such a study is to require algebraic operations to be continuous. It is the case in investigation of topological groups: the multi- plication mapping and the inverse mapping are continuous. Similar situation is with topological rings, topological vector spaces and so on. However, it is also natural to see what will happen if some of algebraic operations sat- isfy certain weaker forms of continuity. Such a study in connection with topological groups started in the 1930s and 1950s and led to investigation of semitopological groups (the multiplication mapping is separately con- tinuous), paratopological groups (the multiplication is jointly continuous), quasi-topological groups (which are semitopological groups with continu- ous inverse mapping). -
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]). -
Functorial Constructions in Paratopological Groups Reflecting Separation Axioms
Functorial constructions in paratopological groups reflecting separation axioms Mikhail Tkachenko Universidad Aut´onomaMetropolitana, Mexico City [email protected] Brazilian Conference on General Topology and Set Theory S~aoSebasti~ao,Brazil, 2013 In honor of Ofelia T. Alas Contents: 1. Three known functorial constructions 2. Each axiom of separation has its functorial reflection 3. `Internal' description of the groups Tk (G) 4. Properties of the functors Tk 's 5. Products and functors 6. Some applications A paratopological group is a group G with topology such that multiplication in G is jointly continuous. `topological' =) `paratopological' =) `semitopological' Let (G; τ) be a paratopological group and τ −1 = fU−1 : U 2 τg be the conjugate topology of G. Then G 0 = (G; τ −1) is also a paratopological group and the inversion in G is a homeomorphism of (G; τ) onto (G; τ −1). Let τ ∗ = τ _ τ −1 be the least upper bound of τ and τ −1. Then G ∗ = (G; τ ∗) is a topological group associated to G. ∗ For the Sorgenfrey line S, the topological group S is discrete. Paratopological and semitopological groups A semitopological group is an abstract group G with topology τ such that the left and right translations in G are continuous or, equivalently, multiplication in G is separately continuous. `topological' =) `paratopological' =) `semitopological' Let (G; τ) be a paratopological group and τ −1 = fU−1 : U 2 τg be the conjugate topology of G. Then G 0 = (G; τ −1) is also a paratopological group and the inversion in G is a homeomorphism of (G; τ) onto (G; τ −1). -
Syllabus for M.Phil
Structure of Syllabus for M.Phil. in Mathematics Semester-I Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) Research Methodology: MPHILMA-101 Theory Research Foundation 20 5 25 2 Research Methodology: Computer Application in MPHILMA-102 Practical 20 5 25 2 Research Elective: Any two papers to be chosen from Table-I, 40 10 50 4 based on research interest of MPHILMA-103 Theory + + + + the students and availability of suitable teachers/ 40 10 50 4 Supervisors. Total 120 30 150 12 Semester-II Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) Elective: Any three papers to 40 10 50 4 be chosen from Table-II, + + + + MPHILMA-201 Theory based on research interest of 40 10 50 4 the students and availability of + + + + suitable teachers/Supervisors. 40 10 50 4 Total 120 30 150 12 Semester-III Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) Preliminary MPHILMA-301 Theory 75 75 6 Dissertation MPHILMA-302 Theory Viva-voce 25 25 2 Total 100 100 8 Semester-IV Full Full Full Full Course Course Code Course Name Marks Marks Marks Marks Credit Type (External) (Practical) (Internal) (Total) MPHILMA-401 Theory Final Dissertation 75 75 6 MPHILMA-402 Theory Viva-voce 25 25 2 Total 100 100 8 Table: I Elective Papers for MPHILMA-103 (M1) to MPHILMA-103 (M18) Elective Paper Title of the Paper Sub-Code M1 Theory of Convergence -
Topological Vector Spaces and Algebras
Joseph Muscat 2015 1 Topological Vector Spaces and Algebras [email protected] 1 June 2016 1 Topological Vector Spaces over R or C Recall that a topological vector space is a vector space with a T0 topology such that addition and the field action are continuous. When the field is F := R or C, the field action is called scalar multiplication. Examples: A N • R , such as sequences R , with pointwise convergence. p • Sequence spaces ℓ (real or complex) with topology generated by Br = (a ): p a p < r , where p> 0. { n n | n| } p p p p • LebesgueP spaces L (A) with Br = f : A F, measurable, f < r (p> 0). { → | | } R p • Products and quotients by closed subspaces are again topological vector spaces. If π : Y X are linear maps, then the vector space Y with the ini- i → i tial topology is a topological vector space, which is T0 when the πi are collectively 1-1. The set of (continuous linear) morphisms is denoted by B(X, Y ). The mor- phisms B(X, F) are called ‘functionals’. +, , Finitely- Locally Bounded First ∗ → Generated Separable countable Top. Vec. Spaces ///// Lp 0 <p< 1 ℓp[0, 1] (ℓp)N (ℓp)R p ∞ N n R 2 Locally Convex ///// L p > 1 L R , C(R ) R pointwise, ℓweak Inner Product ///// L2 ℓ2[0, 1] ///// ///// Locally Compact Rn ///// ///// ///// ///// 1. A set is balanced when λ 6 1 λA A. | | ⇒ ⊆ (a) The image and pre-image of balanced sets are balanced. ◦ (b) The closure and interior are again balanced (if A 0; since λA = (λA)◦ A◦); as are the union, intersection, sum,∈ scaling, T and prod- uct A ⊆B of balanced sets. -
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. -
Von Neumann Equivalence and Properly Proximal Groups 3
VON NEUMANN EQUIVALENCE AND PROPERLY PROXIMAL GROUPS ISHAN ISHAN, JESSE PETERSON, AND LAUREN RUTH Abstract. We introduce a new equivalence relation on groups, which we call von Neu- ∗ mann equivalence, that is coarser than both measure equivalence and W -equivalence. We introduce a general procedure for inducing actions in this setting and use this to show that many analytic properties, such as amenability, property (T), and the Haagerup property, are preserved under von Neumann equivalence. We also show that proper proximality, which was defined recently in [BIP18] using dynamics, is also preserved under von Neu- mann equivalence. In particular, proper proximality is preserved under both measure ∗ equivalence and W -equivalence, and from this we obtain examples of non-inner amenable groups that are not properly proximal. 1. Introduction Two countable groups Γ and Λ are measure equivalent if they have commuting measure- preserving actions on a σ-finite measure space (Ω,m) such that the actions of Γ and Λ individually admit a finite-measure fundamental domain. This notion was introduced by Gromov in [Gro93, 0.5.E] as an analogy to the topological notion of being quasi-isometric for finitely generated groups. The basic example of measure equivalent groups is when Γ and Λ are lattices in the same locally compact group G. In this case, Γ and Λ act on the left and right of G respectively, and these actions preserve the Haar measure on G. For certain classes of groups, measure equivalence can be quite a course equivalence relation. For instance, the class of countable amenable groups splits into two measure equivalence classes, those that are finite, and those that are countably infinite [Dye59, Dye63, OW80]. -
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]. -
A Theorem on Discrete Groups and Some Consequences of Kazdan's
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF FUNCTIONAL ANALYSIS 6, 203-207 (1970) A Theorem on Discrete Groups and Some Consequences of Kazdan’s Thesis ROBERT R. KALLMAN* Department of Mathematics, Yale University, New Haven, Connecticut 06520 Communicated by Irving Segal Received June 21, 1969 Let G be a noncompact simple Lie group, and let r be a discrete subgroup of G such that G/P has finite volume. The main result of this paper is that the left ring of P is a Type II1 von Neumann algebra. This result in turn is applied to solve, in some generality, a problem in dynamical systems posed by I. M. Gelfand. INTRODUCTION If G is a locally compact unimodular group, let Y(G) be the von Neumann algebra generated by left translations L(a) (a in G) on L2(G). Let I’ be a discrete subgroup of G, and let p be a measure on G/r which is invariant under the natural action of G. The measure class of p is uniquely determined. If f is in L2(G/F), let (V4f)W = flu-’ - 4. The following problem is of interest in dynamical systems (cf. Gelfand [3]). Let &?(G, r) be the von Neumann algebra on L2(G) @ L2(G/.F) generated by L(a) @ V(u) (u in G) and I @ M(4) (here 4 is in L”(G/r, p) and (&Z(+)f)(x) = ~$(x)f(x), for all f in L2(G/r)). -
An Invitation to Model-Theoretic Galois Theory
AN INVITATION TO MODEL-THEORETIC GALOIS THEORY. ALICE MEDVEDEV AND RAMIN TAKLOO-BIGHASH Abstract. We carry out some of Galois’ work in the setting of an arbitrary first-order theory T . We replace the ambient algebraically closed field by a large model M of T , replace fields by definably closed subsets of M, assume that T codes finite sets, and obtain the fundamental duality of Galois theory matching subgroups of the Galois group of L over F with intermediate exten- sions F ≤ K ≤ L. This exposition of a special case of [11] has the advantage of requiring almost no background beyond familiarity with fields, polynomials, first-order formulae, and automorphisms. 1. Introduction. Two hundred years ago, Evariste´ Galois contemplated symmetry groups of so- lutions of polynomial equations, and Galois theory was born. Thirty years ago, Saharon Shelah found it necessary to work with theories that eliminate imaginar- ies; for an arbitrary theory, he constructed a canonical definitional expansion with this property in [16]. Poizat immediately recognized the importance of a theory already having this property in its native language; indeed, he defined “elimina- tion of imaginaries” in [11]. It immediately became clear (see [11]) that much of Galois theory can be developed for an arbitrary first-order theory that eliminates imaginaries. This model-theoretic version of Galois theory can be generalized be- yond finite or even infinite algebraic extensions, and this can in turn be useful in other algebraic settings such as the study of Galois groups of polynomial differential equations (already begun in [11]) and linear difference equations. On a less applied note, it is possible to bring further ideas into the model-theoretic setting, as is done in [10] for the relation between Galois cohomology and homogeneous spaces. -
Prizes and Awards Session
PRIZES AND AWARDS SESSION Wednesday, July 12, 2021 9:00 AM EDT 2021 SIAM Annual Meeting July 19 – 23, 2021 Held in Virtual Format 1 Table of Contents AWM-SIAM Sonia Kovalevsky Lecture ................................................................................................... 3 George B. Dantzig Prize ............................................................................................................................. 5 George Pólya Prize for Mathematical Exposition .................................................................................... 7 George Pólya Prize in Applied Combinatorics ......................................................................................... 8 I.E. Block Community Lecture .................................................................................................................. 9 John von Neumann Prize ......................................................................................................................... 11 Lagrange Prize in Continuous Optimization .......................................................................................... 13 Ralph E. Kleinman Prize .......................................................................................................................... 15 SIAM Prize for Distinguished Service to the Profession ....................................................................... 17 SIAM Student Paper Prizes .................................................................................................................... -
“Spectral Picture” of a Bounded Operator on a Banach Space
On spectral pictures Robin Harte Abstract The \spectral picture" of a bounded operator on a Banach space consists of its essential spectrum together with a mapping from its holes to the group of integers, obtained by taking the Fredholm index. In this note we abstract this from the Calkin algebra to a general Banach algebra, replacing the integers with the quotient of the group of invertibles by its connected component of the identity. 1 By a spectrum K we shall understand, in the first instance, a nonempty compact subset K C of the complex plane: this works because every compact set is the spectrum of something. If K C is a⊆ spectrum then so is its topological boundary @K and so is its connected hull ⊆ 0:1 ηK = K H : H Hole(K) ; [ [f 2 g where [4],[8] we write Hole(K) for the (possibly empty) set of bounded components of the complement of K in C: thus C ηK is the unique unbounded component of C K. n n 1. Definition By a \spectral picture" we shall understand an ordered pair (K; ν) in which K is a spectrum and ν is a mapping from Hole(K) to the integers Z. If K C is a spectrum and if f : U C is a continuous mapping whose domain U C includes K then it is clear⊆ that f(K) is again a spectrum,! where of course ⊆ 1:1 f(K) = f(λ): λ K : f 2 g We shall pay particular attention to functions 1:2 f Holo(ηK); 2 for which U ηK is open in C and on which f is holomorphic.