Introduction to topological groups

Totally Lindelöf and totally ω-narrow paratopological groups

Preface: Volume 81

Preface: Volume 52, Issue 2

Geometric topology has seen significant advances in the understanding and application of infinite symmetries and of the principles behind them. On the one hand, for advances in (geometric) group theory, tools from algebraic topology are applied and extended; on the other hand, spectacular results in topology (e.g., the proofs of new cases of the Novikov conjecture or the Atiyah conjecture) were only possible through a combination of methods of homotopy theory and new insights in the geometry of groups. This workshop focused on the rich interplay between algebraic topology and geometric group theory.

Contents: Introduction. §1: Computable rings and modules. §2: Ideal membership relation. §3: Effective structured domains. §4: Completion of a local ring as a domain. §5: The recursive completion. Epilogue. References.Introduction. Completion is an important general mathematical device. Often, but not always, a completion takes the following form. Let A be a topological algebraic structure whose topology is derived from a metric. For A, a topological algebra  and an embedding i: A →  are constructed such that  is a complete metric space in which A is densely embedded by i. The long list of structures for which such completions exist begins with Cantor's construction of the real number field and includes objects like the p-adic integers, Baire space, and Boolean algebras. In Bourbaki [6] a careful and thorough account of completions for arbitrary topological groups and fields is given, for which it is important to note that the topological structures need not be metrizable, but must possess a uniformity.The effectiveness of the completion process of a computable structure A cannot be readily studied using the tools of computable algebra, simply because the resulting structure  is almost invariably uncountable. However, in particular cases, it has been possible to define and study the substructure Ak of computable elements of Â; this has been done for the structures mentioned above, starting with the field of recursive real numbers.In this paper we analyse the effectivity of the completion of a local ring R. We do this using structured Scott-Ershov domains. Our study may be considered as a prototype containing methods applicable to a broad class of completions, including all the examples mentioned above, except for the real number field, which needs a generalisation of the domain concept.A Scott-Ershov domain D formalises how a set Dt of possibly “infinite” elements, called total elements, is constructed from a set Dc of “finite” elements, called compact elements. This is achieved by means of an approximation ordering which determines a topology on D and, in particular, on Dt. Our methodology is to associate to a given topological algebra A a structured domain D(A) such that the total elements D(A)t form a topological algebra topologically isomorphic to A. In such circumstances A is said to be domain definable by D(A). The theory of computability for domains is now applied to study the effectivity of the topological algebra A.

The cohomology of groups

In this paper, we study topological groups having all closed subgroups (totally) minimal and we call such groups c-(totally) minimal. We show that a locally compact c-minimal connected group is compact. Using a well-known theorem of [P. Hall and C. R. Kulatilaka, A property of locally finite groups, J. Lond. Math. Soc. 39 1964, 235–239] and a characterization of a certain class of Lie groups, due to [S. K. Grosser and W. N. Herfort, Abelian subgroups of topological groups, Trans. Amer. Math. Soc. 283 1984, 1, 211–223], we prove that a c-minimal locally solvable Lie group is compact. It is shown that a topological group G is c-(totally) minimal if and only if G has a compact normal subgroup N such that G / N G/N is c-(totally) minimal. Applying this result, we prove that a locally compact group G is c-totally minimal if and only if its connected component c ⁢ ( G ) c(G) is compact and G / c ⁢ ( G ) G/c(G) is c-totally minimal. Moreover, a c-totally minimal group that is either complete solvable or strongly compactly covered must be compact. Negatively answering [D. Dikranjan and M. Megrelishvili, Minimality conditions in topological groups, Recent Progress in General Topology. III, Atlantis Press, Paris 2014, 229–327, Question 3.10 (b)], we find, in contrast, a totally minimal solvable (even metabelian) Lie group that is not compact.

This paper is dedicated to the memory of Maurice Auslander, whose love of mathematics will always be an inspiration

Algebraic Topology and Transformation Groups

The fineness index of topological groups and [formula omitted]-factorizable groups

The purpose of this work is to join Lie field structures with certain infinite-dimensional Lie algebras with locally convex topology. These topological Lie algebras allow topological groups which are a generalization of the connected nilpotent Lie groups. We showed the existence of the continuous unitary representations of the gained groups and then we proved the analogue of Gårding theorem. Using this theorem we established the existence of representations of Lie field structures into Lie algebras of skew-symmetric operators on Hilbert spaces.

After a presentation of the context and a brief reminder of deformation quantization, we indicate how the introduction of natural topological vector space topologi es on Hopf algebras associated with Poisson Lie groups, Lie bialgebras and their doubles explains their dualities a nd provides a comprehensive framework. Relations with deformation quantization and applications to the deformation quantization of symmetric spaces are described.

E. H. Spanier, Algebraic Topology, McGraw-Hill, New York (1966). S. B. Nadler, Jr., "Examples of fixed point free maps from cells onto larger cells and spheres," Rocky Mountain J. Math., ii, No. 2, 319-325 (1981). H. C. Miller, "On unicoherent continua," Trans. Am. Math. Soc., 69, No. i, 179-194 (1950). S. A. Bogatyi, "Periodic points of a mapping of a system of intervals of the line," V. Tiraspol Symposium on General Topology and Applications, 26-28, Kishinev: Shtiintsa (1985). A. N. Sharkovskii, "Coexistence of cycles of a continuous mapping of the line into itself," Ukr. Mat. Zh., 16, No. i, 61-71 (1964). B. Knaster, C. Kuratowski, and S. Mazurkiewicz, "Ein Beweis des Fixpunktsatzes fur n-dimensionale Simplexe," Fund, Math., 14, 132-137 (1929).

Extreme amenability of abelian [formula omitted] groups

We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological groups, free locally convex spaces, free Banach-Lie algebras, and more. An accent is put on the relationship of those constructions with other areas of mathematics and their possible applications. A number of open problems is discussed; some of them belong to universal arrow theory, and other may become amenable to the methods of this theory.