-
The algebraic entropy of one-dimensional finitary linear cellular automata
Authors:
Hasan Akın,
Dikran Dikranjan,
Anna Giordano Bruno,
Daniele Toller
Abstract:
The aim of this paper is to present one-dimensional finitary linear cellular automata $S$ on $\mathbb Z_m$ from an algebraic point of view. Among various other results, we:
(i) show that the Pontryagin dual $\widehat S$ of $S$ is a classical one-dimensional linear cellular automaton $T$ on $\mathbb Z_m$;
(ii) give several equivalent conditions for $S$ to be invertible with inverse a finitary l…
▽ More
The aim of this paper is to present one-dimensional finitary linear cellular automata $S$ on $\mathbb Z_m$ from an algebraic point of view. Among various other results, we:
(i) show that the Pontryagin dual $\widehat S$ of $S$ is a classical one-dimensional linear cellular automaton $T$ on $\mathbb Z_m$;
(ii) give several equivalent conditions for $S$ to be invertible with inverse a finitary linear cellular automaton;
(iii) compute the algebraic entropy of $S$, which coincides with the topological entropy of $T=\widehat S$ by the so-called Bridge Theorem.
In order to better understand and describe the entropy we introduce the degree $\mathrm{deg}(S)$ and $\mathrm{deg}(T)$ of $S$ and $T$.
△ Less
Submitted 23 June, 2023; v1 submitted 19 June, 2023;
originally announced June 2023.
-
Ore localization of amenable monoid actions and applications towards entropy $-$ addition formulas and the bridge theorem
Authors:
Dikran Dikranjan,
Anna Giordano Bruno,
Simone Virili
Abstract:
For a left action $S\oversetλ{\curvearrowright}X$ of a cancellative right amenable monoid $S$ on a discrete Abelian group $X$, we construct its Ore localization $G\overset{λ^*}{\curvearrowright}X^*$, where $G$ is the group of left fractions of $S$; analogously, for a right action $K\oversetρ\curvearrowleft S$ on a compact space $K$, we construct its Ore colocalization…
▽ More
For a left action $S\oversetλ{\curvearrowright}X$ of a cancellative right amenable monoid $S$ on a discrete Abelian group $X$, we construct its Ore localization $G\overset{λ^*}{\curvearrowright}X^*$, where $G$ is the group of left fractions of $S$; analogously, for a right action $K\oversetρ\curvearrowleft S$ on a compact space $K$, we construct its Ore colocalization $K^*\overset{ρ^*}{\curvearrowleft} G$. Both constructions preserve entropy, i.e., for the algebraic entropy $h_{\mathrm{alg}}$ and for the topological entropy $h_{\mathrm{top}}$ one has $h_{\mathrm{alg}}(λ)=h_{\mathrm{alg}}(λ^*)$ and $h_{\mathrm{top}}(ρ)=h_{\mathrm{top}}(ρ^*)$, respectively.
Exploiting these constructions and the theory of quasi-tilings, we extend the Addition Theorem for $h_{\mathrm{top}}$, known for right actions of countable amenable groups on compact metrizable groups, to right actions $K\oversetρ{\curvearrowleft} S$ of cancellative right amenable monoids $S$ (with no restrictions on the cardinality) on arbitrary compact groups $K$.
When the compact group $K$ is Abelian, we prove that $h_{\mathrm{top}}(ρ)$ coincides with $h_{\mathrm{alg}}(\hatρ)$, where $S\overset{\hatρ}\curvearrowright X$ is the dual left action on the discrete Pontryagin dual $X=\hat{K}$, that is, a so-called Bridge Theorem. From the Addition Theorem for $h_{\mathrm{top}}$ and the Bridge Theorem, we obtain an Addition Theorem for $h_{\mathrm{alg}}$ for left actions $S\oversetλ\curvearrowright X$ on discrete Abelian groups, so far known only under the hypotheses that either $X$ is torsion or $S$ is locally monotileable.
The proofs substantially use the unified approach towards entropy based on the entropy of actions of cancellative right amenable monoids on appropriately defined normed monoids.
△ Less
Submitted 18 May, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Countably compact groups having minimal infinite powers
Authors:
Dikran Dikranjan,
Vladimir Uspenskij
Abstract:
We answer the question, raised more than thirty years ago, on whether the power (G raised to the power omega) of a countably compact minimal Abelian group G is minimal, by showing that the negative answer is equivalent to the existence of measurable cardinals.
We answer the question, raised more than thirty years ago, on whether the power (G raised to the power omega) of a countably compact minimal Abelian group G is minimal, by showing that the negative answer is equivalent to the existence of measurable cardinals.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Groups with cofinite Zariski topology and potential density
Authors:
Marco Bonatto,
Dikran Dikranjan,
Daniele Toller
Abstract:
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is either almost torsion-free or of prime exponent). The authors connected this fact to Markov's notion of potential density and the existence of pairs of independent…
▽ More
Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is either almost torsion-free or of prime exponent). The authors connected this fact to Markov's notion of potential density and the existence of pairs of independent group topologies. Inspired by their work, we examine the class C of groups having cofinite Zariski topology in the general case, obtaining a number of very strong restrictions on these groups in the non-abelian case which suggest the bold conjecture that a group with cofinite Zariski topology is necessarily either abelian or finite. We show that Tkachenko-Yaschenko theorem fails in the non-abelian case and we offer a natural counterpart in the general case using a partial Zariski topology and an appropriate stronger version of the property almost torsion-free.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Metric vs topological receptive entropy of semigroup actions
Authors:
Andrzej Biś,
Dikran Dikranjan,
Anna Giordano Bruno,
Luchezar Stoyanov
Abstract:
We study the receptive metric entropy for semigroup actions on probability spaces, inspired by a similar notion of topological entropy introduced by Hofmann and Stoyanov. We analyze its basic properties and its relation with the classical metric entropy. In the case of semigroup actions on compact metric spaces we compare the receptive metric entropy with the receptive topological entropy looking…
▽ More
We study the receptive metric entropy for semigroup actions on probability spaces, inspired by a similar notion of topological entropy introduced by Hofmann and Stoyanov. We analyze its basic properties and its relation with the classical metric entropy. In the case of semigroup actions on compact metric spaces we compare the receptive metric entropy with the receptive topological entropy looking for a Variational Principle. With this aim we propose several characterizations of the receptive topological entropy. Finally we introduce a receptive local metric entropy inspired by a notion by Bowen generalized in the classical setting of amenable group actions by Zheng and Chen, and we prove partial versions of the Brin-Katok Formula and the local Variational Principle.
△ Less
Submitted 14 May, 2021; v1 submitted 12 March, 2021;
originally announced March 2021.
-
Intrinsic entropy for generalized quasimetric semilattices
Authors:
Ilaria Castellano,
Dikran Dikranjan,
Domenico Freni,
Anna Giordano Bruno,
Daniele Toller
Abstract:
We introduce the notion of intrinsic semilattice entropy $\widetilde h$ in the category $\mathcal L_{qm}$ of generalized quasimetric semilattices and contractive homomorphisms. By using appropriate categories $\mathfrak X$ and functors $F:\mathfrak X\to\mathcal L_{qm}$ we find specific known entropies $\widetilde h_\mathfrak X$ on $\mathfrak X$ as intrinsic functorial entropies, that is, as…
▽ More
We introduce the notion of intrinsic semilattice entropy $\widetilde h$ in the category $\mathcal L_{qm}$ of generalized quasimetric semilattices and contractive homomorphisms. By using appropriate categories $\mathfrak X$ and functors $F:\mathfrak X\to\mathcal L_{qm}$ we find specific known entropies $\widetilde h_\mathfrak X$ on $\mathfrak X$ as intrinsic functorial entropies, that is, as $\widetilde h_\mathfrak X=\widetilde h\circ F$. These entropies are the intrinsic algebraic entropy, the algebraic and the topological entropies for locally linearly compact vector spaces, the topological entropy for locally compact totally disconnected groups and the algebraic entropy for locally compact compactly covered abelian groups.
△ Less
Submitted 23 August, 2020; v1 submitted 2 March, 2020;
originally announced March 2020.
-
The addition theorem for locally monotileable monoid actions
Authors:
Dikran Dikranjan,
Antongiulio Fornasiero,
Anna Giordano Bruno,
Flavio Salizzoni
Abstract:
We prove an instance of the so-called Addition Theorem for the algebraic entropy of actions of cancellative right amenable monoids $S$ on discrete abelian groups $A$ by endomorphisms, under the hypothesis that $S$ is locally monotileable (that is, $S$ admits a right Følner sequence $(F_n)_{n\in\mathbb N}$ such that $F_n$ is a monotile of $F_{n+1}$ for every $n\in\mathbb N$). We study in details th…
▽ More
We prove an instance of the so-called Addition Theorem for the algebraic entropy of actions of cancellative right amenable monoids $S$ on discrete abelian groups $A$ by endomorphisms, under the hypothesis that $S$ is locally monotileable (that is, $S$ admits a right Følner sequence $(F_n)_{n\in\mathbb N}$ such that $F_n$ is a monotile of $F_{n+1}$ for every $n\in\mathbb N$). We study in details the class of locally monotileable groups, also in relation with already existing notions of monotileability for groups, introduced by Weiss and developed further by other authors recently.
△ Less
Submitted 7 January, 2020;
originally announced January 2020.
-
Cardinal invariants and convergence properties of locally minimal groups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that |S|=w(G)=w(K).
Items (i)--(iii) hold when G is a dense locally minimal subgroup of K. We show that locally minimal, locally precompact abelian groups of countabl…
▽ More
If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that |S|=w(G)=w(K).
Items (i)--(iii) hold when G is a dense locally minimal subgroup of K. We show that locally minimal, locally precompact abelian groups of countable tightness are metrizable. In particular, a minimal abelian group of countable tightness is metrizable. This answers a question of O. Okunev posed in 2007.
For every uncountable cardinal kappa, we construct a Frechet-Urysohn minimal group G of character kappa such that the connected component of G is an open normal omega-bounded subgroup (thus, G is locally precompact). We also build a minimal nilpotent group of nilpotency class 2 without non-trivial convergent sequences having an open normal countably compact subgroup.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Algebraic entropy for amenable semigroup actions
Authors:
Dikran Dikranjan,
Antongiulio Fornasiero,
Anna Giordano Bruno
Abstract:
We introduce two notions of algebraic entropy for actions of cancellative right amenable semigroups $S$ on discrete abelian groups $A$ by endomorphisms; these extend the classical algebraic entropy for endomorphisms of abelian groups, corresponding to the case $S=\mathbb N$. We investigate the fundamental properties of the algebraic entropy and compute it in several examples, paying special attent…
▽ More
We introduce two notions of algebraic entropy for actions of cancellative right amenable semigroups $S$ on discrete abelian groups $A$ by endomorphisms; these extend the classical algebraic entropy for endomorphisms of abelian groups, corresponding to the case $S=\mathbb N$. We investigate the fundamental properties of the algebraic entropy and compute it in several examples, paying special attention to the case when S is an amenable group. For actions of cancellative right amenable monoids on torsion abelian groups, we prove the so called Addition Theorem. In the same setting, we see that a Bridge Theorem connects the algebraic entropy with the topological entropy of the dual action by means of the Pontryagin duality, so that we derive an Addition Theorem for the topological entropy of actions of cancellative left amenable monoids on totally disconnected compact abelian groups.
△ Less
Submitted 6 August, 2019;
originally announced August 2019.
-
Finiteness of topological entropy for locally compact abelian groups
Authors:
Dikran Dikranjan,
Anna Giordano Bruno,
Francesco G. Russo
Abstract:
We study the locally compact abelian groups in the class $\mathfrak E_{<\infty}$, that is, having only continuous endomorphisms of finite topological entropy, and in its subclass $\mathfrak E_0$, that is, having all continuous endomorphisms with vanishing topological entropy. We discuss the reduction of the problem to the case of periodic locally compact abelian groups, and then to locally compact…
▽ More
We study the locally compact abelian groups in the class $\mathfrak E_{<\infty}$, that is, having only continuous endomorphisms of finite topological entropy, and in its subclass $\mathfrak E_0$, that is, having all continuous endomorphisms with vanishing topological entropy. We discuss the reduction of the problem to the case of periodic locally compact abelian groups, and then to locally compact abelian $p$-groups.
We show that locally compact abelian $p$-groups of finite rank belong to $\mathfrak E_{<\infty}$, and that those of them that belong to $\mathfrak E_0$ are precisely the ones with discrete maximal divisible subgroup. Furthermore, the topological entropy of endomorphisms of locally compact abelian $p$-groups of finite rank coincides with the logarithm of their scale.
The backbone of the paper is the Addition Theorem for continuous endomorphisms of locally compact abelian groups. Various versions of the Addition Theorem are established in the paper and used in the proofs of the main results, but its validity in the general case remains an open problem.
△ Less
Submitted 27 February, 2020; v1 submitted 23 May, 2019;
originally announced May 2019.
-
Categories of coarse groups: quasi-homomorphisms and functorial coarse structures
Authors:
Dikran Dikranjan,
Nicolò Zava
Abstract:
Coarse geometry is the study of large-scale properties of spaces. In this paper we study group coarse structures (i.e., coarse structures on groups that agree with the algebraic structures), by using group ideals. We introduce a large class of examples of group coarse structures induced by cardinal invariants. In order to enhance the categorical treatment of the subject, we use quasi-homomorphisms…
▽ More
Coarse geometry is the study of large-scale properties of spaces. In this paper we study group coarse structures (i.e., coarse structures on groups that agree with the algebraic structures), by using group ideals. We introduce a large class of examples of group coarse structures induced by cardinal invariants. In order to enhance the categorical treatment of the subject, we use quasi-homomorphisms, as a large-scale counterpart of homomorphisms. In particular, the localisation of a category plays a fundamental role. We then define the notion of functorial coarse structures and we give various examples of those structures.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Coarse structures on groups defined by $T$-sequences
Authors:
D. Dikranjan,
I. Protasov
Abstract:
A sequence $(a_{n}) $ in an Abelian group is called a $T$-sequence if there exists a Hausdorff group topology on $G$ in which $(a_{n}) $ converges to $0$. For a $T$-sequence $(a_{n}) $, $τ_{(a_{n}) } $ denotes the strongest group topology on $G$ in which $(a_{n}) $ converges to $0$. The ideal $\mathcal{I}_{(a_{n})} $ of all precompact subsets of $(G, τ_{(a_{n}) } )$ defines a coarse structure on…
▽ More
A sequence $(a_{n}) $ in an Abelian group is called a $T$-sequence if there exists a Hausdorff group topology on $G$ in which $(a_{n}) $ converges to $0$. For a $T$-sequence $(a_{n}) $, $τ_{(a_{n}) } $ denotes the strongest group topology on $G$ in which $(a_{n}) $ converges to $0$. The ideal $\mathcal{I}_{(a_{n})} $ of all precompact subsets of $(G, τ_{(a_{n}) } )$ defines a coarse structure on $G$ with base of entourages $\{(x, y): x-y \in P \}$, $P\in\mathcal{I}_{(a_{n})}. $ We prove that $asdim \ \ (G, \mathcal{I}_{(a_{n}) }) =\infty $ for every non-trivial $T$-sequence $(a_{n})$ on $G$, and the coarse group $(G, \mathcal{I}_{(a_{n}) })$ has 1 end provided that $(a_{n}) $ generates $G$. The keypart play asymorphic copies of the Hamming space in $(G, \mathcal{I}_{(a_{n})})$.
△ Less
Submitted 6 February, 2019;
originally announced February 2019.
-
Hyperballeans of groups
Authors:
D. Dikranjan,
I. Protasov,
N. Zava
Abstract:
In this paper we define some ballean structure on the power set of a group and, in particular, we study the subballean with support the lattice of all its subgroups. If $G$ is a group, we denote by $L(G)$ the family of all subgroups of $G$. For two groups $G$ and $H$, we relate their algebraic structure via the ballean structure of $L(G)$ and $L(H)$.
In this paper we define some ballean structure on the power set of a group and, in particular, we study the subballean with support the lattice of all its subgroups. If $G$ is a group, we denote by $L(G)$ the family of all subgroups of $G$. For two groups $G$ and $H$, we relate their algebraic structure via the ballean structure of $L(G)$ and $L(H)$.
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
Balleans, hyperballeans and ideals
Authors:
D. Dikranjan,
I. Protasov,
K. Protasova,
N. Zava
Abstract:
A ballean $\mathcal{B}$ (or a coarse structure) on a set $X$ is a family of subsets of $X$ called balls (or entourages of the diagonal in $X\times X$) defined in such a way that $\mathcal{B}$ can be considered as the asymptotic counterpart of a uniform topological space. The aim of this paper is to study two concrete balleans defined by the ideals in the Boolean algebra of all subsets of $X$ and t…
▽ More
A ballean $\mathcal{B}$ (or a coarse structure) on a set $X$ is a family of subsets of $X$ called balls (or entourages of the diagonal in $X\times X$) defined in such a way that $\mathcal{B}$ can be considered as the asymptotic counterpart of a uniform topological space. The aim of this paper is to study two concrete balleans defined by the ideals in the Boolean algebra of all subsets of $X$ and their hyperballeans, with particular emphasis on their connectedness structure, more specifically the number of their connected components.
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
Entropy on normed semigroups (Towards a unifying approach to entropy)
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
We present a unifying approach to the study of entropies in Mathematics, such as measure entropy, topological entropy, algebraic entropy, set-theoretic entropy. We take into account discrete dynamical systems, that is, pairs $(X,T)$, where $X$ is the underlying space and $T:X\to X$ a transformation. We see entropies as functions $h:\mathfrak X\to \mathbb R_+$, associating to each flow $(X,T)$ of a…
▽ More
We present a unifying approach to the study of entropies in Mathematics, such as measure entropy, topological entropy, algebraic entropy, set-theoretic entropy. We take into account discrete dynamical systems, that is, pairs $(X,T)$, where $X$ is the underlying space and $T:X\to X$ a transformation. We see entropies as functions $h:\mathfrak X\to \mathbb R_+$, associating to each flow $(X,T)$ of a category $\mathfrak X$ either a non negative real or $\infty$. We introduce the notion of semigroup entropy $h_\mathfrak S:\mathfrak S\to\mathbb R_+$, which is a numerical invariant attached to endomorphisms of the category $\mathfrak S$ of normed semigroups. Then, for a functor $F:\mathfrak X\to\mathfrak S$ from any specific category $\mathfrak X$ to $\mathfrak S$, we define the functorial entropy $h_F:\mathfrak X\to\mathbb R_+$ as the composition $h_{\mathfrak S}\circ F$. Clearly, $h_F$ inherits many of the properties of $h_\mathfrak S$, depending also on the properties of $F$. Such general scheme permits to obtain relevant known entropies as functorial entropies $h_F$, for appropriate categories $\mathfrak X$ and functors $F$, and to establish the properties shared by them. In this way we point out their common nature. Finally, we discuss and deeply analyze through the looking glass of our unifying approach the relations between pairs of entropies. To this end we formalize the notion of Bridge Theorem between two entropies $h_i:\mathfrak X_i\to \mathbb R_+$, $i=1,2$, with respect to a functor $\varepsilon:\mathfrak X_1\to\mathfrak X_2$. Then, for pairs of functorial entropies we use the above scheme to introduce the notion and the related scheme of Strong Bridge Theorem, which allows us to put under the same umbrella various relations between pairs of entropies.
△ Less
Submitted 29 August, 2019; v1 submitted 11 August, 2018;
originally announced August 2018.
-
Densely locally minimal groups
Authors:
Wenfei Xi,
Dikran Dikranjan,
Menachem Shlossberg,
Daniele Toller
Abstract:
We study locally compact groups having all dense subgroups (locally) minimal. We call such groups densely (locally) minimal. In 1972 Prodanov proved that the infinite compact abelian groups having all subgroups minimal are precisely the groups $\mathbb Z_p$ of $p$-adic integers. In [31], we extended Prodanov's theorem to the non-abelian case at several levels. In this paper, we focus on the densel…
▽ More
We study locally compact groups having all dense subgroups (locally) minimal. We call such groups densely (locally) minimal. In 1972 Prodanov proved that the infinite compact abelian groups having all subgroups minimal are precisely the groups $\mathbb Z_p$ of $p$-adic integers. In [31], we extended Prodanov's theorem to the non-abelian case at several levels. In this paper, we focus on the densely (locally) minimal abelian groups.
We prove that in case that a topological abelian group $G$ is either compact or connected locally compact, then $G$ is densely locally minimal if and only if $G$ either is a Lie group or has an open subgroup isomorphic to $\mathbb Z_p$ for some prime $p$. This should be compared with the main result of [9]. Our Theorem C provides another extension of Prodanov's theorem: an infinite locally compact group is densely minimal if and only if it is isomorphic to $\mathbb Z_p$. In contrast, we show that there exists a densely minimal, compact, two-step nilpotent group that neither is a Lie group nor it has an open subgroup isomorphic to $\mathbb Z_p$.
△ Less
Submitted 23 August, 2018; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Hereditarily minimal topological groups
Authors:
Wenfei Xi,
Dikran Dikranjan,
Menachem Shlossberg,
Daniele Toller
Abstract:
We study locally compact groups having all subgroups minimal. We call such groups hereditarily minimal. In 1972 Prodanov proved that the infinite hereditarily minimal compact abelian groups are precisely the groups $\mathbb Z_p$ of $p$-adic integers. We extend Prodanov's theorem to the non-abelian case at several levels. For infinite hypercentral (in particular, nilpotent) locally compact groups w…
▽ More
We study locally compact groups having all subgroups minimal. We call such groups hereditarily minimal. In 1972 Prodanov proved that the infinite hereditarily minimal compact abelian groups are precisely the groups $\mathbb Z_p$ of $p$-adic integers. We extend Prodanov's theorem to the non-abelian case at several levels. For infinite hypercentral (in particular, nilpotent) locally compact groups we show that the hereditarily minimal ones remain the same as in the abelian case. On the other hand, we classify completely the locally compact solvable hereditarily minimal groups, showing that in particular they are always compact and metabelian.
The proofs involve the (hereditarily) locally minimal groups, introduced similarly. In particular, we prove a conjecture by He, Xiao and the first two authors, showing that the group $\mathbb Q_p\rtimes \mathbb Q_p^*$ is hereditarily locally minimal, where $\mathbb Q_p^*$ is the multiplicative group of non-zero $p$-adic numbers acting on the first component by multiplication. Furthermore, it turns out that the locally compact solvable hereditarily minimal groups are closely related to this group.
△ Less
Submitted 21 March, 2018;
originally announced March 2018.
-
Characterizing Lie groups by controlling their zero-dimensional subgroups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local) omega-boundedness, (local) countable compactness, (local) precompactness, (local) minimality and sequential completeness. Below is a sample of our characterizations:
(i) A top…
▽ More
We provide characterizations of Lie groups as compact-like groups in which all closed zero-dimensional metric (compact) subgroups are discrete. The "compact-like" properties we consider include (local) compactness, (local) omega-boundedness, (local) countable compactness, (local) precompactness, (local) minimality and sequential completeness. Below is a sample of our characterizations:
(i) A topological group is a Lie group if and only if it is locally compact and has no infinite compact metric zero-dimensional subgroups.
(ii) An abelian topological group G is a Lie group if and only if G is locally minimal, locally precompact and all closed metric zero-dimensional subgroups of G are discrete.
(iii) An abelian topological group is a compact Lie group if and only if it is minimal and has no infinite closed metric zero-dimensional subgroups.
(iv) An infinite topological group is a compact Lie group if and only if it is sequentially complete, precompact, locally minimal, contains a non-empty open connected subset and all its compact metric zero-dimensional subgroups are finite.
△ Less
Submitted 9 May, 2017;
originally announced May 2017.
-
Inertial Properties in Groups
Authors:
Ulderico Dardano,
Dikran Dikranjan,
Silvana Rinauro
Abstract:
Let G be a group and f be an endomorphism of G. A subgroup H of G is called f-inert if the meet of Hf and H has finite index in the image Hf. The subgroups that are f-inert for all inner automorphisms of G are widely known and studied in the literature, under the name inert subgroups. The related notion of inertial endomorphism, namely an endomorphism f such that all subgroups of G are f-inert, wa…
▽ More
Let G be a group and f be an endomorphism of G. A subgroup H of G is called f-inert if the meet of Hf and H has finite index in the image Hf. The subgroups that are f-inert for all inner automorphisms of G are widely known and studied in the literature, under the name inert subgroups. The related notion of inertial endomorphism, namely an endomorphism f such that all subgroups of G are f-inert, was introduced in [30] and thoroughly studied in [31, 33]. The dual notion of fully inert subgroup, namely a subgroup that is f-inert for all endomorphisms of an abelian group A, was introduced in [42] and further studied in [43, 46, 65, 21]. The goal of this paper is to give an overview of up-to-date known results, as well as some new ones, and show how some applications of the concept of inert subgroup fit in the same picture even if they arise in different areas of algebra. We survey on classical and recent results on groups whose inner automorphism are inertial. Moreover, we show how inert subgroups naturally appear in the realm of locally compact topological groups or locally linearly compact topological vector spaces, and can be helpful for the computation of the algebraic entropy of continuous endomorphisms.
△ Less
Submitted 2 September, 2017; v1 submitted 8 May, 2017;
originally announced May 2017.
-
Generalize Heisenberg Groups and Self-Duality
Authors:
Marco Bonatto,
Dikran Dikranjan
Abstract:
This paper compares two generalizations of Heisenberg groups and studies their connection to one of the major open problems in the field of locally compact abelian groups, namely the description of the self-dual locally compact abelian groups ([12]). The first generalization is presented by the so called generalized Heisenberg groups $\mathbb{H}(ω)$, defined in analogy with the classical Heisenber…
▽ More
This paper compares two generalizations of Heisenberg groups and studies their connection to one of the major open problems in the field of locally compact abelian groups, namely the description of the self-dual locally compact abelian groups ([12]). The first generalization is presented by the so called generalized Heisenberg groups $\mathbb{H}(ω)$, defined in analogy with the classical Heisenberg group and the second one is inspired by the construction proposed by Mumford in [16] and named after him as Weyl-Mumford groups (WM groups). These two families can be defined also in the framework of topological groups. We investigate the relationship between locally compact WM groups, locally compact Generalized Heisenberg with center isomorphic to $\mathbb{T}$ and symplectic self-dualities.
△ Less
Submitted 8 September, 2017; v1 submitted 8 November, 2016;
originally announced November 2016.
-
"Varopoulos paradigm": Mackey property vs. metrizability in topological groups
Authors:
Lydia Außenhofer,
Daniel de la Barrera Mayoral,
Dikran Dikranjan,
Elena Martín Peinador
Abstract:
The class of all locally quasi-convex (lqc) abelian groups contains all locally convex vector spaces (lcs) considered as topological groups. Therefore it is natural to extend classical properties of locally convex spaces to this larger class of abelian topological groups. In the present paper we consider the following well known property of lcs: "A metrizable locally convex space carries its Macke…
▽ More
The class of all locally quasi-convex (lqc) abelian groups contains all locally convex vector spaces (lcs) considered as topological groups. Therefore it is natural to extend classical properties of locally convex spaces to this larger class of abelian topological groups. In the present paper we consider the following well known property of lcs: "A metrizable locally convex space carries its Mackey topology ". This claim cannot be extended to lqc-groups in the natural way, as we have recently proved with other coauthors (\cite{AD}, \cite{DMPT}). We say that an abelian group $G$ satisfies the \emph{Varopoulos paradigm} (VP) if any metrizable locally quasi-convex topology on $G$ is the Mackey topology. Surprisingly VP - which is a topological property of the group - is characterizes an algebraic feature, namely being of finite exponent.
△ Less
Submitted 12 March, 2016;
originally announced March 2016.
-
A complete solution of Markov's problem on connected group topologies
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
Every proper closed subgroup of a connected Hausdorff group must have index at least c, the cardinality of the continuum. 70 years ago Markov conjectured that a group G can be equipped with a connected Hausdorff group topology provided that every subgroup of G which is closed in all Hausdorff group topologies on G has index at least c. Counter-examples in the non-abelian case were provided 25 year…
▽ More
Every proper closed subgroup of a connected Hausdorff group must have index at least c, the cardinality of the continuum. 70 years ago Markov conjectured that a group G can be equipped with a connected Hausdorff group topology provided that every subgroup of G which is closed in all Hausdorff group topologies on G has index at least c. Counter-examples in the non-abelian case were provided 25 years ago by Pestov and Remus, yet the problem whether Markov's Conjecture holds for abelian groups G remained open. We resolve this problem in the positive.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Characterized subgroups of topological abelian groups
Authors:
Dikran Dikranjan,
Anna Giordano Bruno,
Daniele Impieri
Abstract:
A subgroup $H$ of a topological abelian group $X$ is said to be characterized by a sequence $\mathbf v =(v_n)$ of characters of $X$ if $H=\{x\in X:v_n(x)\to 0\ \text{in}\ \mathbb T\}$. We study the basic properties of characterized subgroups in the general setting, extending results known in the compact case. For a better description, we isolate various types of characterized subgroups. Moreover,…
▽ More
A subgroup $H$ of a topological abelian group $X$ is said to be characterized by a sequence $\mathbf v =(v_n)$ of characters of $X$ if $H=\{x\in X:v_n(x)\to 0\ \text{in}\ \mathbb T\}$. We study the basic properties of characterized subgroups in the general setting, extending results known in the compact case. For a better description, we isolate various types of characterized subgroups. Moreover, we introduce the relevant class of autochacaracterized groups (namely, the groups that are characterized subgroups of themselves by means of a sequence of non-null characters); in the case of locally compact abelian groups, these are proved to be exactly the non-compact ones. As a by-product of our results, we find a complete description of the characterized subgroups of discrete abelian groups.
△ Less
Submitted 3 September, 2015;
originally announced September 2015.
-
Direct sums and products in topological groups and vector spaces
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov,
Jan Spěvák
Abstract:
We call a subset $A$ of an abelian topological group $G$: (i) $absolutely$ $Cauchy$ $summable$ provided that for every open neighbourhood $U$ of $0$ one can find a finite set $F\subseteq A$ such that the subgroup generated by $A\setminus F$ is contained in $U$; (ii) $absolutely$ $summable$ if, for every family $\{z_a:a\in A\}$ of integer numbers, there exists $g\in G$ such that the net…
▽ More
We call a subset $A$ of an abelian topological group $G$: (i) $absolutely$ $Cauchy$ $summable$ provided that for every open neighbourhood $U$ of $0$ one can find a finite set $F\subseteq A$ such that the subgroup generated by $A\setminus F$ is contained in $U$; (ii) $absolutely$ $summable$ if, for every family $\{z_a:a\in A\}$ of integer numbers, there exists $g\in G$ such that the net $\left\{\sum_{a\in F} z_a a: F\subseteq A\mbox{ is finite}\right\}$ converges to $g$; (iii) $topologically$ $independent$ provided that $0\not \in A$ and for every neighbourhood $W$ of $0$ there exists a neighbourhood $V$ of $0$ such that, for every finite set $F\subseteq A$ and each set $\{z_a:a\in F\}$ of integers, $\sum_{a\in F}z_aa\in V$ implies that $z_aa\in W$ for all $a\in F$. We prove that: (1) an abelian topological group contains a direct product (direct sum) of $κ$-many non-trivial topological groups if and only if it contains a topologically independent, absolutely (Cauchy) summable subset of cardinality $κ$; (2) a topological vector space contains $\mathbb{R}^{(\mathbb{N})}$ as its subspace if and only if it has an infinite absolutely Cauchy summable set; (3) a topological vector space contains $\mathbb{R}^{\mathbb{N}}$ as its subspace if and only if it has an $\mathbb{R}^{(\mathbb{N})}$ multiplier convergent series of non-zero elements. We answer a question of Hušek and generalize results by Bessaga-Pelczynski-Rolewicz, Dominguez-Tarieladze and Lipecki.
△ Less
Submitted 4 August, 2015;
originally announced August 2015.
-
On the Borel Complexity of Characterized Subgroups
Authors:
Dikran Dikranjan,
Daniele Impieri
Abstract:
In a compact abelian group $X$, a characterized subgroup is a subgroup $H$ such that there exists a sequence of characters $\vs=(v_n)$ of $X$ such that $H=\{x\in X:v_n(x)\to 0 \text{ in } \T\}$. Gabriyelyan proved for $X=\T$, that $\{x\in\T:n!x\to 0 \text{ in }\T\}$ is not an $F_σ$-set. In this paper, we give a complete description of the $F_σ$-subgroups of $\T$ characterized by sequences of integ…
▽ More
In a compact abelian group $X$, a characterized subgroup is a subgroup $H$ such that there exists a sequence of characters $\vs=(v_n)$ of $X$ such that $H=\{x\in X:v_n(x)\to 0 \text{ in } \T\}$. Gabriyelyan proved for $X=\T$, that $\{x\in\T:n!x\to 0 \text{ in }\T\}$ is not an $F_σ$-set. In this paper, we give a complete description of the $F_σ$-subgroups of $\T$ characterized by sequences of integers $\vs=(v_n)$ such that $v_n|v_{n+1}$ for all $n\in\N$ (we show that these are exactly the countable characterized subgroups). Moreover in the general setting of compact metrizable abelian groups, we give a new point of view to study the Borel complexity of characterized subgroups in terms of appropriate test-topologies in the whole group.
△ Less
Submitted 15 March, 2015; v1 submitted 9 December, 2014;
originally announced December 2014.
-
Final solution of Protasov-Comfort's problem on minimally almost periodic group topologies
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
We prove that an abelian group admits a minimally almost periodic (MinAP) group topology if and only if it is connected in its Markov-Zariski topology. In particular, every unbounded abelian group admits a MinAP group topology. This answers positively a question set by Comfort, as well as several weaker forms proposed recently by Gabriyelyan. Using this characterization we answer also two open que…
▽ More
We prove that an abelian group admits a minimally almost periodic (MinAP) group topology if and only if it is connected in its Markov-Zariski topology. In particular, every unbounded abelian group admits a MinAP group topology. This answers positively a question set by Comfort, as well as several weaker forms proposed recently by Gabriyelyan. Using this characterization we answer also two open questions of Gould. We prove that a subgroup H of an abelian group G can be realized as the von Neumann kernel of G equipped with some Hausdorff group topology if and only if H is contained in the connected component of zero of G with respect to its Markov-Zariski topology. This completely resolves a question of Gabriyelyan, as well as some of its particular versions which were open.
△ Less
Submitted 13 October, 2014;
originally announced October 2014.
-
The Bridge Theorem for totally disconnected LCA groups
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
For a totally disconnected locally compact abelian group, we prove that the topological entropy of a continuous endomorphism coincides with the algebraic entropy of the dual endomorphism with respect to the Pontryagin duality. Moreover, this result is extended to all locally compact abelian groups under the assumption of additivity with respect to some fully invariant subgroups for both the topolo…
▽ More
For a totally disconnected locally compact abelian group, we prove that the topological entropy of a continuous endomorphism coincides with the algebraic entropy of the dual endomorphism with respect to the Pontryagin duality. Moreover, this result is extended to all locally compact abelian groups under the assumption of additivity with respect to some fully invariant subgroups for both the topological and the algebraic entropy.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
Questions on the Borel Complexity of Characterized Subgroups
Authors:
Dikran Dikranjan,
Daniele Impieri
Abstract:
We propose various problems about Borel complexity of characterized subgroups of compact abelian groups, inspired by our forthcoming paper \cite{DI3}.
We propose various problems about Borel complexity of characterized subgroups of compact abelian groups, inspired by our forthcoming paper \cite{DI3}.
△ Less
Submitted 5 November, 2014; v1 submitted 24 September, 2013;
originally announced September 2013.
-
Discrete dynamical systems in group theory
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
In this expository paper we describe an unifying approach for many known entropies in Mathematics. First we recall the notion of semigroup entropy h_S in the category S of normed semigroups and contractive homomorphisms, recalling also its properties. For a specific category X and a functor F from X to S, we have the entropy h_F, defined by the composition of h_S with F, which automatically satisf…
▽ More
In this expository paper we describe an unifying approach for many known entropies in Mathematics. First we recall the notion of semigroup entropy h_S in the category S of normed semigroups and contractive homomorphisms, recalling also its properties. For a specific category X and a functor F from X to S, we have the entropy h_F, defined by the composition of h_S with F, which automatically satisfies the same properties proved for h_S. This general scheme permits to obtain many of the known entropies as h_F, for appropriately chosen categories X and functors F. In the last part we recall the definition and the fundamental properties of the algebraic entropy for group endomorphisms, noting how its deeper properties depend on the specific setting. Finally we discuss the notion of growth for flows of groups, comparing it with the classical notion of growth for finitely generated groups.
△ Less
Submitted 19 August, 2013;
originally announced August 2013.
-
Topological Entropy and Algebraic Entropy for group endomorphisms
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
The notion of entropy appears in many fields and this paper is a survey about entropies in several branches of Mathematics. We are mainly concerned with the topological and the algebraic entropy in the context of continuous endomorphisms of locally compact groups, paying special attention to the case of compact and discrete groups respectively. The basic properties of these entropies, as well as m…
▽ More
The notion of entropy appears in many fields and this paper is a survey about entropies in several branches of Mathematics. We are mainly concerned with the topological and the algebraic entropy in the context of continuous endomorphisms of locally compact groups, paying special attention to the case of compact and discrete groups respectively. The basic properties of these entropies, as well as many examples, are recalled. Also new entropy functions are proposed, as well as generalizations of several known definitions and results. Furthermore we give some connections with other topics in Mathematics as Mahler measure and Lehmer Problem from Number Theory, and the growth rate of groups and Milnor Problem from Geometric Group Theory. Most of the results are covered by complete proofs or references to appropriate sources.
△ Less
Submitted 19 August, 2013;
originally announced August 2013.
-
Countable powers of compact Abelian groups in the uniform topology and cardinality of their dual groups
Authors:
D. Dikranjan,
E. Martín-Peinador,
V. Tarieladze
Abstract:
We equip the product of countably many copies of a compact Abelian group X with the uniform topology, and study some properties of the topological group G thus obtained. In particular, we determine the cardinality of the dual group of G, when X is the circle group: it is precisely 2^c.
We equip the product of countably many copies of a compact Abelian group X with the uniform topology, and study some properties of the topological group G thus obtained. In particular, we determine the cardinality of the dual group of G, when X is the circle group: it is precisely 2^c.
△ Less
Submitted 31 May, 2013;
originally announced May 2013.
-
Scale function vs Topological entropy
Authors:
Federico Berlai,
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
In the realm of topological automorphisms of totally disconnected locally compact groups, the scale function introduced by Willis in \cite{Willis} is compared with the topological entropy. We prove that the logarithm of the scale function is always dominated by the topological entropy and we provide examples showing that this inequality can be strict. Moreover, we give a condition equivalent to th…
▽ More
In the realm of topological automorphisms of totally disconnected locally compact groups, the scale function introduced by Willis in \cite{Willis} is compared with the topological entropy. We prove that the logarithm of the scale function is always dominated by the topological entropy and we provide examples showing that this inequality can be strict. Moreover, we give a condition equivalent to the equality between these two invariants. Various properties of the scale function, inspired by those of the topological entropy, are presented.
△ Less
Submitted 6 June, 2013; v1 submitted 5 October, 2012;
originally announced October 2012.
-
Characterizing sequences for precompact group topologies
Authors:
D. Dikranjan,
S. S. Gabriyelyan,
V. Tarieladze
Abstract:
A precompact group topology $τ$ on an abelian group $G$ is called {\em single sequence characterized} (for short, {\em ss-characterized}) if there is a sequence $\mathbf{u}= (u_n)$ in $G$ such that $τ$ is the finest precompact group topology on $G$ making $\mathbf{u}=(u_n)$ converge to zero. It is proved that a metrizable precompact abelian group $(G,τ)$ is $ss$-characterized iff it is countable.…
▽ More
A precompact group topology $τ$ on an abelian group $G$ is called {\em single sequence characterized} (for short, {\em ss-characterized}) if there is a sequence $\mathbf{u}= (u_n)$ in $G$ such that $τ$ is the finest precompact group topology on $G$ making $\mathbf{u}=(u_n)$ converge to zero. It is proved that a metrizable precompact abelian group $(G,τ)$ is $ss$-characterized iff it is countable. For every metrizable precompact group topology $τ$ on a countably infinite abelian group $G$ there exists a group topology $η$ such that $η$ is strictly finer than $τ$ and the groups $(G,τ)$ and $(G,η)$ have the equal Pontryagin dual groups. We give a complete description of all $ss$-characterized precompact abelian groups modulo countable $ss$-characterized groups from which we derive:
(1) No infinite pseudocompact abelian group is $ss$-characterized.
(2) An $ss$-characterized precompact abelian group is hereditarily disconnected.
△ Less
Submitted 4 June, 2012;
originally announced June 2012.
-
Limit free computation of entropy
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
Various limit-free formulas are given for the computation of the algebraic and the topological entropy, respectively in the settings of endomorphisms of locally finite discrete groups and of continuous endomorphisms of totally disconnected compact groups. As applications we give new proofs of the connection between the algebraic and the topological entropy in the abelian case and of the connection…
▽ More
Various limit-free formulas are given for the computation of the algebraic and the topological entropy, respectively in the settings of endomorphisms of locally finite discrete groups and of continuous endomorphisms of totally disconnected compact groups. As applications we give new proofs of the connection between the algebraic and the topological entropy in the abelian case and of the connection of the topological entropy with the finite depth for topological automorphisms.
△ Less
Submitted 22 May, 2012;
originally announced May 2012.
-
Topics in uniform continuity
Authors:
Dikran Dikranjan,
Dušan Repovš
Abstract:
This paper collects results and open problems concerning several classes of functions that generalize uniform continuity in various ways, including those metric spaces (generalizing Atsuji spaces) where all continuous functions have the property of being close to uniformly continuous.
This paper collects results and open problems concerning several classes of functions that generalize uniform continuity in various ways, including those metric spaces (generalizing Atsuji spaces) where all continuous functions have the property of being close to uniformly continuous.
△ Less
Submitted 6 December, 2011;
originally announced December 2011.
-
Arnautov's problems on semitopological isomorphisms
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
Semitopological isomorphisms of topological groups were introduced by Arnautov, who posed several questions related to compositions of semitopological isomorphisms and the groups G (we call them Arnautov groups) such that for every group topology T on G every semitopological isomorphism with domain (G,T) is necessarily open (i.e., a topological isomorphism). We propose a different approach to thes…
▽ More
Semitopological isomorphisms of topological groups were introduced by Arnautov, who posed several questions related to compositions of semitopological isomorphisms and the groups G (we call them Arnautov groups) such that for every group topology T on G every semitopological isomorphism with domain (G,T) is necessarily open (i.e., a topological isomorphism). We propose a different approach to these problems by introducing appropriate new notions, necessary for a deeper understanding of Arnautov groups. This allows us to find some partial answers and many examples. In particular, we discuss the relation with minimal groups and non-topologizable groups.
△ Less
Submitted 18 May, 2011;
originally announced May 2011.
-
Functorial topologies and finite-index subgroups of abelian groups
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
In the general context of functorial topologies, we prove that in the lattice of all group topologies on an abelian group, the infimum between the Bohr topology and the natural topology is the profinite topology. The profinite topology and its connection to other functorial topologies is the main objective of the paper. We are particularly interested in the poset C(G) of all finite-index subgroups…
▽ More
In the general context of functorial topologies, we prove that in the lattice of all group topologies on an abelian group, the infimum between the Bohr topology and the natural topology is the profinite topology. The profinite topology and its connection to other functorial topologies is the main objective of the paper. We are particularly interested in the poset C(G) of all finite-index subgroups of an abelian group G, since it is a local base for the profinite topology of G. We describe various features of the poset C(G) (its cardinality, its cofinality, etc.) and we characterize the abelian groups G for which C(G)\{G} is cofinal in the poset of all subgroups of G ordered by inclusion. Finally, for pairs of functorial topologies T, S we define the equalizer E(T,S), which permits to describe relevant classes of abelian groups in terms of functorial topologies.
△ Less
Submitted 23 March, 2011;
originally announced March 2011.
-
Metrization criteria for compact groups in terms of their dense subgroups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism G^ --> D^ of the dual groups is a topological isomorphism. We introduce four conditions on D that are necessary for it to determine G and we resolve the following question: If one of these conditions holds for every dense (or G_δ-dense) subgroup D of G,…
▽ More
According to Comfort, Raczkowski and Trigos-Arrieta, a dense subgroup D of a compact abelian group G determines G if the restriction homomorphism G^ --> D^ of the dual groups is a topological isomorphism. We introduce four conditions on D that are necessary for it to determine G and we resolve the following question: If one of these conditions holds for every dense (or G_δ-dense) subgroup D of G, must G be metrizable? In particular, we prove (in ZFC) that a compact abelian group determined by all its G_δ-dense subgroups is metrizable, thereby resolving a question by Hernandez, Macario and Trigos-Arrieta. (Under the additional assumption of the Continuum Hypothesis CH, the same statement was proved recently by Bruguera, Chasco, Dominguez, Tkachenko and Trigos-Arrieta.) As a tool, we develop a machinery for building G_δ-dense subgroups without uncountable compact subsets in compact groups of weight ω_1 (in ZFC). The construction is delicate, as these subgroups must have non-trivial convergent sequences in some models of ZFC.
△ Less
Submitted 30 August, 2011; v1 submitted 24 February, 2011;
originally announced February 2011.
-
A class of metrizable locally quasi-convex groups which are not Mackey
Authors:
Dikran Dikranjan,
Elena Martín Peinador,
Vaja Tarieladze
Abstract:
A topological group $(G,μ)$ from a class $\mathcal G$ of MAP topological abelian groups will be called a {\it Mackey group} in $\mathcal G$ if it has the following property: if $ν$ is a group topology in $G$ such that $(G,ν)\in \mathcal G$ and $(G,ν)$ has the same continuous characters, say $(G,ν)^{\wedge}=(G,μ)^{\wedge}$, then $ν\le μ$.
If $\rm{LCS}$ is the class of Hausdorff topological abeli…
▽ More
A topological group $(G,μ)$ from a class $\mathcal G$ of MAP topological abelian groups will be called a {\it Mackey group} in $\mathcal G$ if it has the following property: if $ν$ is a group topology in $G$ such that $(G,ν)\in \mathcal G$ and $(G,ν)$ has the same continuous characters, say $(G,ν)^{\wedge}=(G,μ)^{\wedge}$, then $ν\le μ$.
If $\rm{LCS}$ is the class of Hausdorff topological abelian groups which admit a structure of a locally convex topological vector space over $\mathbb R$, it is well-known that every metrizable $(G,μ) \in \rm{LCS}$ is a Mackey group in $\rm{LCS}$. For the class $\rm{LQC}$ of locally quasi-convex Hausdorff topological abelian groups, it was proved in 1999 that every {\bf complete} metrizable $(G,μ)\in \rm{LQC}$ is a Mackey group in $\rm{LQC}$ (\cite{CMPT}). The completeness cannot be \NB dropped within the class $\rm{LQC}$ as we prove in this paper. In fact, we provide a large family of metrizable precompact \NB(noncompact) groups which {\bf are not} Mackey groups in \rm{LQC} (Theorem \ref{basth}). Those examples are constructed from groups of the form $c_0(X)$, whose elements are the null sequences of a topological abelian group $X$, and whose topology is the uniform topology. We first show that for a compact metrizable group $X\ne\{0\}$ the topological group $c_0(X)$ is a non-compact complete metrizable locally quasi-convex group, which has {\bf countable} topological dual iff $X$ is connected. Then we prove that for a connected compact metrizable group $X\ne\{0\}$ the group $c_0(X)$ endowed with the product topology induced from the product $X^{\N}$ is metrizable precompact but not a Mackey group in LQC.
△ Less
Submitted 28 December, 2010;
originally announced December 2010.
-
A Kronecker-Weyl theorem for subsets of abelian groups
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov
Abstract:
Let N be the set of non-negative integer numbers, T the circle group and c the cardinality of the continuum. Given an abelian group G of size at most 2^c and a countable family F of infinite subsets of G, we construct "Baire many" monomorphisms p: G --> T^c such that p(E) is dense in {y in T^c : ny=0} whenever n in N, E in F, nE={0} and {x in E: mx=g} is finite for all g in G and m such that n=mk…
▽ More
Let N be the set of non-negative integer numbers, T the circle group and c the cardinality of the continuum. Given an abelian group G of size at most 2^c and a countable family F of infinite subsets of G, we construct "Baire many" monomorphisms p: G --> T^c such that p(E) is dense in {y in T^c : ny=0} whenever n in N, E in F, nE={0} and {x in E: mx=g} is finite for all g in G and m such that n=mk for some k in N--{1}. We apply this result to obtain an algebraic description of countable potentially dense subsets of abelian groups, thereby making a significant progress towards a solution of a problem of Markov going back to 1944. A particular case of our result yields a positive answer to a problem of Tkachenko and Yaschenko. Applications to group actions and discrete flows on T^c, diophantine approximation, Bohr topologies and Bohr compactifications are also provided.
△ Less
Submitted 19 December, 2010;
originally announced December 2010.
-
Productivity of sequences with respect to a given weight function
Authors:
Dikran Dikranjan,
Dmitri Shakhmatov,
Jan Spěvák
Abstract:
Given a function f: N --> (omega+1)-{0}, we say that a faithfully indexed sequence {a_n: n in N} of elements of a topological group G is: (i) f-Cauchy productive (f-productive) provided that the sequence {prod_{n=0}^m a_n^{z(n)}: m in N} is left Cauchy (converges to some element of G, respectively) for each function z: N --> Z such that |z(n)| <= f(n) for every n in N; (ii) unconditionally f-Cauch…
▽ More
Given a function f: N --> (omega+1)-{0}, we say that a faithfully indexed sequence {a_n: n in N} of elements of a topological group G is: (i) f-Cauchy productive (f-productive) provided that the sequence {prod_{n=0}^m a_n^{z(n)}: m in N} is left Cauchy (converges to some element of G, respectively) for each function z: N --> Z such that |z(n)| <= f(n) for every n in N; (ii) unconditionally f-Cauchy productive (unconditionally f-productive) provided that the sequence {a_{s(n)}: n in N\} is (f\circ s)-Cauchy productive (respectively, (f\circ s)-productive) for every bijection s: N --> N. (Bijections can be replaced by injections here.) We consider the question of existence of (unconditionally) f-productive sequences for a given "weight function" f. We prove that: (1) a Hausdorff group having an f-productive sequence for some f contains a homeomorphic copy of the Cantor set; (2) if a non-discrete group is either locally compact Hausdorff or Weil complete metric, then it contains an unconditionally f-productive sequence for every function f: N--> N; (3) a metric group is NSS if and only if it does not contain an f_omega-Cauchy productive sequence, where f_omega is the function taking the constant value omega. We give an example of an f_omega-productive sequence {a_n: n in N} in a (necessarily non-abelian) separable metric group H with a linear topology and a bijection s: N --> N such that the sequence {prod_{n=0}^m a_{s(n)}: m in N} diverges, thereby answering a question of Dominguez and Tarieladze. Furthermore, we show that H has no unconditionally f_omega-productive sequences. As an application of our results, we resolve negatively a question from C_p(-,G)-theory.
△ Less
Submitted 5 November, 2010;
originally announced November 2010.
-
On the quasi-component of pseudocompact abelian groups
Authors:
D. Dikranjan,
Gábor Lukács
Abstract:
In this paper, we describe the relationship between the quasi-component q(G) of a (perfectly) minimal pseudocompact abelian group G and the quasi-component q(\widetilde G) of its completion. Specifically, we characterize the pairs (C,A) of compact connected abelian groups C and subgroups A such that A \cong q(G) and C \cong q(\widetilde G). As a consequence, we show that for every positive integer…
▽ More
In this paper, we describe the relationship between the quasi-component q(G) of a (perfectly) minimal pseudocompact abelian group G and the quasi-component q(\widetilde G) of its completion. Specifically, we characterize the pairs (C,A) of compact connected abelian groups C and subgroups A such that A \cong q(G) and C \cong q(\widetilde G). As a consequence, we show that for every positive integer n or n=ω, there exist plenty of abelian pseudocompact perfectly minimal n-dimensional groups G such that the quasi-component of G is not dense in the quasi-component of the completion of G.
△ Less
Submitted 16 February, 2012; v1 submitted 24 July, 2010;
originally announced July 2010.
-
Compact-like abelian groups without non-trivial quasi-convex null sequences
Authors:
D. Dikranjan,
Gábor Lukács
Abstract:
In this paper, we study precompact abelian groups G that contain no sequence {x_n} such that {0} \cup {\pm x_n : n \in N} is infinite and quasi-convex in G, and x_n --> 0. We characterize groups with this property in the following classes of groups:
(a) bounded precompact abelian groups;
(b) minimal abelian groups;
(c) totally minimal abelian groups;
(d) ω-bounded abelian groups.
We also…
▽ More
In this paper, we study precompact abelian groups G that contain no sequence {x_n} such that {0} \cup {\pm x_n : n \in N} is infinite and quasi-convex in G, and x_n --> 0. We characterize groups with this property in the following classes of groups:
(a) bounded precompact abelian groups;
(b) minimal abelian groups;
(c) totally minimal abelian groups;
(d) ω-bounded abelian groups.
We also provide examples of minimal abelian groups with this property, and show that there exists a minimal pseudocompact abelian group with the same property; furthermore, under Martin's Axiom, the group may be chosen to be countably compact minimal abelian.
△ Less
Submitted 17 June, 2013; v1 submitted 12 July, 2010;
originally announced July 2010.
-
Algebraic entropy of shift endomorphisms on abelian groups
Authors:
Maryam Akhavin,
Fatemah Ayatollah Zadeh Shirazi,
Dikran Dikranjan,
Anna Giordano Bruno,
Arezoo Hosseini
Abstract:
For every finite-to-one map $λ:Γ\toΓ$ and for every abelian group $K$, the generalized shift $σ_λ$ of the direct sum $\bigoplus_ΓK$ is the endomorphism defined by $(x_i)_{i\inΓ}\mapsto(x_{λ(i)})_{i\inΓ}$. In this paper we analyze and compute the algebraic entropy of a generalized shift, which turns out to depend on the cardinality of $K$, but mainly on the function $λ$. We give many examples showi…
▽ More
For every finite-to-one map $λ:Γ\toΓ$ and for every abelian group $K$, the generalized shift $σ_λ$ of the direct sum $\bigoplus_ΓK$ is the endomorphism defined by $(x_i)_{i\inΓ}\mapsto(x_{λ(i)})_{i\inΓ}$. In this paper we analyze and compute the algebraic entropy of a generalized shift, which turns out to depend on the cardinality of $K$, but mainly on the function $λ$. We give many examples showing that the generalized shifts provide a very useful universal tool for producing counter-examples.
△ Less
Submitted 4 July, 2010;
originally announced July 2010.
-
Entropy on abelian groups
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
We introduce the algebraic entropy for endomorphisms of arbitrary abelian groups, appropriately modifying existing notions of entropy. The basic properties of the algebraic entropy are given, as well as various examples. The main result of this paper is the Addition Theorem showing that the algebraic entropy is additive in appropriate sense with respect to invariant subgroups. We give several appl…
▽ More
We introduce the algebraic entropy for endomorphisms of arbitrary abelian groups, appropriately modifying existing notions of entropy. The basic properties of the algebraic entropy are given, as well as various examples. The main result of this paper is the Addition Theorem showing that the algebraic entropy is additive in appropriate sense with respect to invariant subgroups. We give several applications of the Addition Theorem, among them the Uniqueness Theorem for the algebraic entropy in the category of all abelian groups and their endomorphisms. Furthermore, we point out the delicate connection of the algebraic entropy with the Mahler measure and Lehmer Problem in Number Theory.
△ Less
Submitted 3 May, 2016; v1 submitted 4 July, 2010;
originally announced July 2010.
-
Locally Minimal Topological Groups 2
Authors:
Lydia Aussenhofer,
María Jesús Chasco,
Dikran Dikranjan,
Xabier Domínguez
Abstract:
We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian groups containing dense countable locally minimal subgroups, as well as those containing dense locally minimal subgroups of countable free-rank. We also charac…
▽ More
We continue in this paper the study of locally minimal groups started in \cite{LocMin}. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian groups containing dense countable locally minimal subgroups, as well as those containing dense locally minimal subgroups of countable free-rank. We also characterize the compact abelian groups whose torsion part is dense and locally minimal. We call a topological group $G$ {\it almost minimal} if it has a closed, minimal normal subgroup $N$ such that the quotient group $G/N$ is uniformly free from small subgroups. The class of almost minimal groups includes all locally compact groups, and is contained in the class of locally minimal groups. On the other hand, we provide examples of countable precompact metrizable locally minimal groups which are not almost minimal. Some other significant properties of this new class are obtained.
△ Less
Submitted 28 June, 2010;
originally announced June 2010.
-
Strings of group endomorphisms
Authors:
Dikran Dikranjan,
Anna Giordano Bruno,
Simone Virili
Abstract:
Recently the strings and the string number of self-maps were used in the computation of the algebraic entropy of special group endomorphisms. We introduce two special kinds of strings, and their relative string numbers. We show that a dichotomy holds for all these three string numbers; in fact, they admit only zero and infinity as values on group endomorphisms.
Recently the strings and the string number of self-maps were used in the computation of the algebraic entropy of special group endomorphisms. We introduce two special kinds of strings, and their relative string numbers. We show that a dichotomy holds for all these three string numbers; in fact, they admit only zero and infinity as values on group endomorphisms.
△ Less
Submitted 16 December, 2010; v1 submitted 27 June, 2010;
originally announced June 2010.
-
Adjoint algebraic entropy
Authors:
Dikran Dikranjan,
Anna Giordano Bruno,
Luigi Salce
Abstract:
The new notion of adjoint algebraic entropy of endomorphisms of Abelian groups is introduced. Various examples and basic properties are provided. It is proved that the adjoint algebraic entropy of an endomorphism equals the algebraic entropy of the adjoint endomorphism of the Pontryagin dual. As applications, we compute the adjoint algebraic entropy of the shift endomorphisms of direct sums, and w…
▽ More
The new notion of adjoint algebraic entropy of endomorphisms of Abelian groups is introduced. Various examples and basic properties are provided. It is proved that the adjoint algebraic entropy of an endomorphism equals the algebraic entropy of the adjoint endomorphism of the Pontryagin dual. As applications, we compute the adjoint algebraic entropy of the shift endomorphisms of direct sums, and we prove an Addition Theorem for the adjoint algebraic entropy of bounded Abelian groups. A dichotomy is established, stating that the adjoint algebraic entropy of any endomorphism can take only values zero or infinity. As a consequence, we obtain the following surprising discontinuity criterion for endomorphisms: every endomorphism of a compact abelian group, having finite positive algebraic entropy, is discontinuous.
△ Less
Submitted 27 June, 2010;
originally announced June 2010.
-
Entropy in a category
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
The Pinsker subgroup of an abelian group with respect to an endomorphism was introduced in the context of algebraic entropy. Motivated by the nice properties and characterizations of the Pinsker subgroup, we generalize its construction in two directions. We introduce the concept of entropy function h of an abelian category and define the Pinsker radical with respect to h, so that the class of all…
▽ More
The Pinsker subgroup of an abelian group with respect to an endomorphism was introduced in the context of algebraic entropy. Motivated by the nice properties and characterizations of the Pinsker subgroup, we generalize its construction in two directions. We introduce the concept of entropy function h of an abelian category and define the Pinsker radical with respect to h, so that the class of all objects with trivial Pinsker radical is the torsion class of a torsion theory.
△ Less
Submitted 27 February, 2011; v1 submitted 26 June, 2010;
originally announced June 2010.
-
The Pinsker subgroup of an algebraic flow
Authors:
Dikran Dikranjan,
Anna Giordano Bruno
Abstract:
The algebraic entropy h, defined for endomorphisms f of abelian groups G, measures the growth of the trajectories of non-empty finite subsets F of G with respect to f. We show that this growth can be either polynomial or exponential. The greatest f-invariant subgroup of G where this growth is polynomial coincides with the greatest f-invariant subgroup P(G,f) of G (named Pinsker subgroup of f) such…
▽ More
The algebraic entropy h, defined for endomorphisms f of abelian groups G, measures the growth of the trajectories of non-empty finite subsets F of G with respect to f. We show that this growth can be either polynomial or exponential. The greatest f-invariant subgroup of G where this growth is polynomial coincides with the greatest f-invariant subgroup P(G,f) of G (named Pinsker subgroup of f) such that h(f|_P(G,f))=0. We obtain also an alternative characterization of P(G,f) from the point of view of the quasi-periodic points of f. This gives the following application in ergodic theory: for every continuous injective endomorphism g of a compact abelian group K there exists a largest g-invariant closed subgroup N of K such that g|_N is ergodic; furthermore, the induced endomorphism g' of the quotient K/N has zero topological entropy.
△ Less
Submitted 26 June, 2010;
originally announced June 2010.
