Locally minimal topological groups 1

The aim of this paper is to go deeper into the study of local minimality and its connection to some naturally related properties. A Hausdorff topological group (G,τ) is called locally minimal if there exists a neighborhood U of 0 in τ such that U fails to be a neighborhood of zero in any Hausdorff group topology on G which is strictly coarser than τ. Examples of locally minimal groups are all subgroups of Banach-Lie groups, all locally compact groups and all minimal groups. Motivated by the fact that locally compact NSS groups are Lie groups, we study the connection between local minimality and the NSS property, establishing that under certain conditions, locally minimal NSS groups are metrizable. A symmetric subset of an abelian group containing zero is said to be a GTG set if it generates a group topology in an analogous way as convex and symmetric subsets are unit balls for pseudonorms on a vector space. We consider topological groups which have a neighborhood basis at zero consisting of GTG sets. Examples of these locally GTG groups are: locally pseudoconvex spaces, groups uniformly free from small subgroups (UFSS groups) and locally compact abelian groups. The precise relation between these classes of groups is obtained: a topological abelian group is UFSS if and only if it is locally minimal, locally GTG and NSS. We develop a universal construction of GTG sets in arbitrary non-discrete metric abelian groups, that generates a strictly finer non-discrete UFSS topology and we characterize the metrizable abelian groups admitting a strictly finer non-discrete UFSS group topology. Unlike the minimal topologies, the locally minimal ones are always available on “large” groups. To support this line, we prove that a bounded abelian group G admits a non-discrete locally minimal and locally GTG group topology iff |G|?c.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

Essential subgroups of topological groups

We study the class Wof Hausdorff topological groups Gfor which the following two cardinal invariants coincide

ES(G)=min{|H|:H≤ Gdense and essential}

TD(G)=min{|H|:H≤ Gtotally dense}

We prove that W contains the following classes:locally compact abelian groups, compact connected groups, countably compact totally discon¬nected abelian groups, topologically simple groups, locally compact Abelian groups when endowed with their Bohr topology, totally minimal abelian groups and free Abelian topological groups. For all these classes we are also able to giv ean explicit computation of the common value of ESand TD.     

Final group topologies,Kac-Moody groups and Pontryagin duality

We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k _ω-space, or locally k _ω. As a first application, we show that unitary forms of complex Kac-Moody groups can be described as the colimit of an amalgam of subgroups (in the category of Hausdorff topological groups, and the category of k _ω-groups). Our second application concerns Pontryagin duality theory for the classes of almost metrizable topological abelian groups, resp., locally k _ω topological abelian groups, which are dual to each other. In particular, we explore the relations between countable projective limits of almost metrizable abelian groups and countable direct limits of locally k _ω abelian groups.     

Relative minimality and co-minimality of subgroups in topological groups

We study two properties of subgroups of a topological group (relative minimality and co-minimality), that generalize minimality. Many applications, mostly related to semidirect products and generalized Heisenberg groups are given.     

Frames and Riesz bases for shift invariant spaces on the abstract Heisenberg group

Let $G$ be a second countable locally compact abelian group. The aim of this paper is to characterize the left translates on the Heisenberg group $\mathbb{H}\left(G\right)$ to be frames and Riesz bases in terms of the group Fourier transform.     

On Torsion-Free Minimal Abelian Groups

ABSTRACT

An abelian group is said to be minimal if it is isomorphic to all its subgroups of finite index. In this article we show that torsion-free groups which are complete in their ?-adic topology or are of p-rank not greater than 1, for all primes p, are minimal. A criterion is found for the minimality of all finite rank and for large classes of infinite rank completely decomposable groups. Separable minimal groups are also considered.     

Qualitative uncertainty principles for groups with finite dimensional irreducible representations

Let G be a locally compact group of type I and its dual space. Roughly speaking, qualitative uncertainty principles state that the concentration of a nonzero integrable function on G and of its operator-valued Fourier transform on is limited. Such principles have been established for locally compact abelian groups and for compact groups. In this paper we prove generalizations to the considerably larger class of groups with finite dimensional irreducible representations.     

Reflexivity of prodiscrete topological groups

We study the duality properties of two rather different classes of subgroups of direct products of discrete groups (protodiscrete groups): P-groups, i.e., topological groups such that countable intersections of its open subsets are open, and protodiscrete groups of countable pseudocharacter (topological groups in which the identity is the intersection of countably many open sets). It was recently shown by the same authors that the direct product Π of an arbitrary family of discrete Abelian groups becomes reflexive when endowed with the ω-box topology. This was the first example of a non-discrete reflexive P-group. Here we present a considerable generalization of this theorem and show that every product of feathered (equivalently, almost metrizable) Abelian groups equipped with the P-modified topology is reflexive. In particular, every locally compact Abelian group with the P-modified topology is reflexive. We also examine the reflexivity of dense subgroups of products Π with the P-modified topology and obtain the first examples of non-complete reflexive P-groups. We find as well that the better behaved class of prodiscrete groups (complete protodiscrete groups) of countable pseudocharacter contains non-reflexive members—any uncountable bounded torsion Abelian group G of cardinality ω² supports a topology τ such that (G,τ) is a non-reflexive prodiscrete group of countable pseudocharacter.     

Splitting Mixed Groups of Finite Torsion-Free Rank

Abstract

First, we give a necessary and sufficient condition for torsion-free finite rank subgroups of arbitrary abelian groups to be purifiable. An abelian group G is said to be a strongly ADE decomposable group if there exists a purifiable T(G)-high subgroup of G. We use a previous result to characterize ADE decomposable groups of finite torsion-free rank. Finally, in an extreme case of strongly ADE decomposable groups, we give a necessary and sufficient condition for abelian groups of finite torsion-free rank to be splitting.     

Some cases of preservation of the Pontryagin dual by taking dense subgroups

We study the compact-open topology on the character group of dense subgroups of topological abelian groups. Permanence properties concerning open subgroups, quotients and products are considered. We also present some representative examples. We prove that every compact abelian group G with w(G)?c has a dense pseudocompact group which does not determine G; this provides (under CH) a negative answer to a question posed by S. Hernández, S. Macario and the third listed author two years ago.     

Conjugately Dense Subgroups of Locally Finite Chevalley Groups of Lie Rank 1

Of interest are the subgroups of various groups which have nonempty intersection with each class of conjugate elements of the group under study. We call these subgroups conjugately dense and study Neumann's problem of describing them in the Chevalley groups over a field. The main theorem lists all conjugately dense subgroups of the Chevalley groups of Lie rank 1 over a locally finite field.     

On p-nilpotency of finite groups with some subgroups π-quasinormally embedded

Summary A subgroup H of a group G is said to be π-quasinormal in G if it permutes with every Sylow subgroup of G, and H is said to be π-quasinormally embedded in G if for each prime dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some π-quasinormal subgroups of G. We characterize p-nilpotentcy of finite groups with the assumption that some maximal subgroups, 2-maximal subgroups, minimal subgroups and 2-minimal subgroups are π-quasinormally embedded, respectively.     

关于弱正则空间的闭扩充

在此文中我们分别给出了刻画第一可数弱正则一闭拓空间和第一可数弱正则一极小拓扑空间的等价性定理，同时我们还证明了第一个局部弱紧的第一可为九弱正则空间都存在一个第一可数弱正则一闭扩充，此定理在表达形式上数拟于Ｒ．Ｍ．Ｓｔｅｐｈｅｎｓｏｎ等人对ｐ＝第一可数完全正则，或第一可数Ｕｒｙｓｏｈｎ以及第一可数零维时的结果。     

A characterization theorem for sporadic simple groups

We show that each sporadic simple group G can be uniquely determined by the set of the orders of the maximal abelian subgroups of G.     

The structure of shift invariant spaces on a locally compact abelian group

We investigate shift invariant subspaces of L²(G), where G is a locally compact abelian group. We show, among other things, that every shift invariant space can be decomposed as an orthogonal sum of spaces each of which is generated by a single function whose shifts form a Parseval frame.     

The Cayley graphs of ℤ<Superscript>d</Superscript> and the limits of vertex-primitive graphs of <Emphasis Type="Italic">HA</Emphasis>-type

We study the limits of the finite graphs that admit some vertex-primitive group of automorphisms with a regular abelian normal subgroup. It was shown in [1] that these limits are Cayley graphs of the groups ?^d. In this article we prove that for each d > 1 the set of Cayley graphs of ?^d presenting the limits of finite graphs with vertex-primitive and edge-transitive groups of automorphisms is countable (in fact, we explicitly give countable subsets of these limit graphs). In addition, for d < 4 we list all Cayley graphs of ?^d that are limits of minimal vertex-primitive graphs. The proofs rely on a connection of the automorphism groups of Cayley graphs of ?^d with crystallographic groups.     

Landau's necessary density conditions for LCA groups

We derive necessary conditions for sampling and interpolation of bandlimited functions on a locally compact abelian group in line with the classical results of H. Landau for bandlimited functions on Rd. Our conditions are phrased as comparison principles involving a certain canonical lattice.     

Embeddable quantum homogeneous spaces

We discuss various notions generalizing the concept of a homogeneous space to the setting of locally compact quantum groups. On the von Neumann algebra level we recall an interesting duality for such objects studied earlier by M. Izumi, R. Longo, S. Popa for compact Kac algebras and by M. Enock in the general case of locally compact quantum groups. A definition of a quantum homogeneous space is proposed along the lines of the pioneering work of Vaes on induction and imprimitivity for locally compact quantum groups. The concept of an embeddable quantum homogeneous space is selected and discussed in detail as it seems to be the natural candidate for the quantum analog of classical homogeneous spaces. Among various examples we single out the quantum analog of the quotient of the Cartesian product of a quantum group with itself by the diagonal subgroup, analogs of quotients by compact subgroups as well as quantum analogs of trivial principal bundles. The former turns out to be an interesting application of the duality mentioned above.     

Uncountable products of determined groups need not be determined

If H is a dense subgroup of G, we say that H determines G if their groups of characters are topologically isomorphic when equipped with the compact open topology. If every dense subgroup of G determines G, then we say that G is determined. The importance of this property is justified by the recent generalizations of Pontryagin-van Kampen duality to wider classes of topological Abelian groups. Among other results, we show (a) _⊕i∈IR determines the product _∏i∈IR if and only if I is countable, (b) a compact group is determined if and only if its weight is countable. These answer questions of Comfort, Raczkowski and the third listed author. Generalizations of the above results are also given.