ABELIAN GROUPS DEFINABLE IN p-ADICALLY CLOSED FIELDS

In the theory of abelian groups, the study of relations between an abelian group and its endomorphism group is an important problem. The question arises on conditions under which an abelian group and its endomorphism group are isomorphic ([1], Problem 31). The answer to this question has been obtained in the classes of completely decomposable abelian groups [2], vector groups [3], in the classes of periodic abelian groups, divisible abelian groups, nonreduced abelian groups, reduced algebraically compact abelian groups [4]. A group A is called an E+-group if it is isomorphic to its endomorphism group End(A). Clearly, if an abelian group A is an E+-group, then its endomorphism group End(A) is also an E+-group. In this paper, we show that the converse statement holds not always. A group A is called an End-group if the following implication takes place:

We prove that the category M of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category A of abelian Polish groups in the sense of Beilinson–Bernstein–Deligne and Schneiders. Thus, M is an abelian category containing A as a full subcategory such that the inclusion functor A→M is exact and finitely continuous. Furthermore, M is uniquely characterized up to equivalence by the following universal property: for every abelian category B, a functor A→B is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor M→B. In particular, this provides a description of the left heart of A as a concrete category.We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups; locally compact abelian Polish groups; totally disconnected locally compact abelian Polish groups; Polish R-modules, for a given Polish group or Polish ring R; and separable Banach spaces and separable Fréchet spaces over a separable complete non-Archimedean valued field.

In the paper, necessary and sufficient conditions for an Abelian group A to be isomorphic to the endomorphism group End(A) are obtained. The classes of periodic Abelian groups, divisible Abelian groups, nonreduced Abelian groups, and reduced algebraically compact Abelian groups are considered. For certain classes of Abelian groups, the isomorphism problem for a group and its endomorphism group is solved under the assumption that the endomorphism group itself has the corresponding property.

Maximally localized Gabor orthonormal bases on locally compact Abelian groups

We study Pontryagin reflexivity in the class of precompact topological Abelian groups. We find reflexive groups among precompact not pseudocompact and among pseudocompact not compact groups. Making use of Martin's axiom we give an example of a reflexive countably compact not compact Abelian group. We also prove that every pseudocompact Abelian group is a quotient of a reflexive pseudocompact group with respect to a closed reflexive pseudocompact subgroup.

We define a category containing the discrete quantum groups (and hence the discrete groups and the duals of compact groups) and the compact quantum groups (and hence the compact groups and the duals of discrete groups). The dual of an object can be defined within the same category and we have a biduality theorem. This theory extends the duality between compact quantum groups and discrete quantum groups (and hence the one between compact abelian groups and discrete abelian groups). The objects in our category are multiplier Hopf algebras, with invertible antipode, admitting invariant functionals (integrals), satisfying some extra condition (to take care of the non-abelianness of the underlying algebras). If we start with a multiplier Hopf ∗-algebra with positive invariant functionals, then also the dual is a multiplier Hopf ∗-algebra with positive invariant functionals. This makes it possible to formulate this duality also within the framework of C∗-algebras.

Given a locally compact group G, G L U C is the largest semigroup compactification of G and G * = G L U C ∖ G . We show that (i) for every locally compact compactly generated Abelian group G and for every p , q ∈ G * , the multiplication in G L U C is discontinuous at ( p , q ) , (ii) there is a locally compact σ-compact torsion-free Abelian group G for which, assuming Martin's Axiom, there are p , q ∈ G * such that the multiplication in G L U C is continuous at ( p , q ) , and (iii) it is consistent with ZFC that for every locally compact Abelian group G and for every p , q ∈ G * , the left translation by p in G * is discontinuous at q.

Notes on compact Discrete Analysis 2017:16, 57 pp. This is the second paper in a two-part series. The first paper, [also published in this journal](http://discreteanalysisjournal.com/article/2105-notes-on-nilspaces-algebraic-aspects), developed the algebraic theory of nilspaces, which are an abstraction both of the notion of a nilmanifold, and of that of an abelian group (both with their attendant parallelogram structures). In this paper, the author applies this algebraic theory to study compact which can be viewed as a generalization of the notion of a compact abelian group. The main motivation for this is that such compact nilspaces arise naturally when trying to attack additive combinatorial problems such as the inverse conjecture for the Gowers norms via the methods of nonstandard analysis (or ultraproducts), as was demonstrated in work of Szegedy ([On higher order Fourier analysis](https://arxiv.org/abs/1203.2260)). The algebraic theory in the first part lets one describe $k$-step compact nilspaces as abelian extensions of $k-1$-step with the extension given by a cocycle. Among other things, this can be used to assign to each nilspace a probability measure that is analogous to the Haar probability measure one can assign to a compact group. However, it is not immediately obvious that this cocycle has any good measurability or continuity properties. Much of the delicate analysis in this paper (particularly those concerning the properties of continuous systems of measures) is devoted to ensuring that such good properties can be imposed (locally at least) on the cocycle, perhaps after modifying the cocycle by a suitable coboundary that does not affect the isomorphism class of the extension. Indeed, one can view the paper as developing some basic for although the formidable machinery of modern cohomology is not really deployed here. As with the first paper in this series, the paper closely follows the previous work of Camarena and Szegedy, but with many more details provided in the arguments. (An alternative approach to this theory has also recently been worked out in a series of papers by Gutman, Manners, and Varju.) A full structural description of compact nilspaces seems to be quite difficult, but in this paper two important partial descriptions are obtained. The first is to describe every compact nilspace as an inverse limit of compact nilspaces of rank. This is somewhat analogous to how the Peter-Weyl theorem can be used to describe a compact group as the inverse limit of finite-dimensional compact Lie groups. The second is to show that every connected compact nilspace of finite rank is isomorphic to a nilmanifold. These results were previously obtained by Camarena and Szegedy (and later used by Szegedy to provide a new proof of the inverse conjecture for the Gowers uniformity norms), but the author here reproves these results with much more detailed proofs, in particular treating with some care certain steps that were only briefly discussed in the prior paper of Camarena and Szegedy.

In Pontrjagin's theory of duality for compact abelian groups, the following theorem is known : Let G be a compact abelian group, G* the dual group. Then the topological dimension of G, in the sense of Lebesgue, is equal to the rank of discrete abelian group G*. It was Prof. T. Tannaka who has called my attention to the lack of corresponding theorem in non-commutative case. I intend to give, in this note, a theorem of this kind in the following form: THEOREM A. Let G be an arbitrary compact group, G the aggregate of continuous finite dimensional representstions of G, C[ G ] the algebra over the complex numbers C generated by the coefficients of representations in G, i.e., the representative ring of G in the sense of C. Chevalley^. Then the topological dimension of G, in the sense of Lebesgue, is equal to the transcendental degree of C[G] over C.

In this paper the structure of all open semigroups in any compact topological group is determined. We can then extend this result to a classification of the angular semigroups of any abelian topological group H which contains a compact open subgroup K. Coupling this with the results for Euclidean n-space, we obtain an essentially complete description of the angular semigroups of an arbitrary locally compact group. For compact groups, the result is remarkably simple.

The canonical mapping on the product of a LCA group with its dual is shown to extend uniquely in a homomorphic and analytic way to the product of the respective complexifications.

Let G be a reflexive topological group, and Gits group of characters, endowed with the compact open topology. We prove that the evaluation mapping from Gx G into the torus T is continuous if and only if G is locally compact. This is an analogue of a well-known theorem of Arens on admissible topologies on C(X) . DEFINITIONS AND REMARKS Let X, Y be topological spaces, and let Z be a subset of yX . A topology on Z is said to be admissible if the evaluation mapping from the product Z x X into Y, defined by w(f, x) = f(x), is continuous. Let (S, V) = {f E Z; f(S) C V}. The family {(S, V)}, where S runs over the collection of all compact subsets of X and V runs over a basis of open sets in Y, is a subbase for the compact open topology on Z. An admissible topology on Z must be finer than the compact open topology [8]. A result of Arens states that the existence of a coarsest admissible topology for the class of real continuous functions on a completely regular space X is equivalent to X being locally compact [1]. In this paper we are interested in reflexive topological groups. Answering in the negative a question of Megrelishvili [7], we will see that the evaluation map for those groups need not be continuous. In fact, as specified in the theorem, the continuity of the evaluation characterizes locally compact Hausdorff abelian groups among reflexive groups. We prove this result by means of convergence spaces. For an account of theory of convergence spaces the reader is referred to [3, 4]. We only give here needed definitions. Let G be a Hausdorff topological abelian group, and let FG be the set of all continuous homomorphisms from G into the unidimensional torus T. If addition is defined pointwise in FG, it becomes an abelian group. The continuous Received by the editors October 5, 1993 and, in revised form, April 25, 1994; the contents of this paper were presented to the First Ibero-American Conference on Topology and its Applications in Benicassim, Spain, on March 28-30, 1995. 1991 Mathematics Subject Classification. Primary 22A05.

The authors prove the following result, which generalizes a well-known theorem of I. Glicksberg (G): If G is a locally compact Abelian group with Bohr compact- ification bG, and if N is a closed metrizable subgroup of bG, then every A G satisfies: A · (N G) is compact in G if and only if {aN : a 2 A} is compact in bG/N. Examples are given to show: (a) the asserted equivalence can fail in the absence of the metrizability hypothesis, even when N G = {1}; (b) the asserted equivalence can hold for suitable G and N with N closed in bG but not metrizable; (c) an Abelian group may admit two topological group topologies U and T , with U totally bounded, T locally compact, U T , with U and T sharing the same compact sets, and such that nevertheless U is not the topology inherited from the Bohr compactification of hG,T i. There are applications to topological groups of the form kG for G a totally bounded Abelian group.

We describe the structure of totally disconnected minimal ω \omega - bounded abelian groups by reducing the description to the case of those of them which are subgroups of powers of the p p -adic integers Z p \mathbb {Z}_{p} . In this case the description is obtained by means of a functorial correspondence, based on Pontryagin duality, between topological and linearly topologized groups introduced by Tonolo. As an application we answer the question (posed in Pseudocompact and countably compact abelian groups: Cartesian products and minimality, Trans. Amer. Math. Soc. 335 (1993), 775–790) when arbitrary powers of minimal ω \omega -bounded abelian groups are minimal. We prove that the positive answer to this question is equivalent to non-existence of measurable cardinals.

Topological groups with thin generating sets