BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Dikran Dikranjan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.GRmath.GNmath.DSmath.CTmath.FAmath.AGmath.ATmath.LOmath.NT

Catalog footprint

Research overview

34works
9topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

34 publications

preprint2020arXiv

Intrinsic entropy for generalized quasimetric semilattices

We introduce the notion of intrinsic semilattice entropy h~\widetilde h in the category Lqm\mathcal L_{qm} of generalized quasimetric semilattices and contractive homomorphisms. By using appropriate categories X\mathfrak X and functors F:X→LqmF:\mathfrak X\to\mathcal L_{qm} we find specific known entropies h~X\widetilde h_\mathfrak X on X\mathfrak X as intrinsic functorial entropies, that is, as h~X=h~∘F\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.

Open access
preprint2020arXiv

The addition theorem for locally monotileable monoid actions

We prove an instance of the so-called Addition Theorem for the algebraic entropy of actions of cancellative right amenable monoids SS on discrete abelian groups AA by endomorphisms, under the hypothesis that SS is locally monotileable (that is, SS admits a right Følner sequence (Fn)n∈N(F_n)_{n\in\mathbb N} such that FnF_n is a monotile of Fn+1F_{n+1} for every n∈Nn\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.

Open access
preprint2016arXiv

"Varopoulos paradigm": Mackey property vs. metrizability in topological groups

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 GG satisfies the \emph{Varopoulos paradigm} (VP) if any metrizable locally quasi-convex topology on GG is the Mackey topology. Surprisingly VP - which is a topological property of the group - is characterizes an algebraic feature, namely being of finite exponent.

Open access
preprint2016arXiv

Entropy on abelian groups

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.

Open access
preprint2015arXiv

A complete solution of Markov's problem on connected group topologies

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.

Open access
preprint2015arXiv

Characterized subgroups of topological abelian groups

A subgroup HH of a topological abelian group XX is said to be characterized by a sequence v=(vn)\mathbf v =(v_n) of characters of XX if H={x∈X:vn(x)→0 in T}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.

Open access
preprint2015arXiv

Direct sums and products in topological groups and vector spaces

We call a subset AA of an abelian topological group GG: (i) absolutelyabsolutely CauchyCauchy summablesummable provided that for every open neighbourhood UU of 00 one can find a finite set F⊆AF\subseteq A such that the subgroup generated by A∖FA\setminus F is contained in UU; (ii) absolutelyabsolutely summablesummable if, for every family {za:a∈A}\{z_a:a\in A\} of integer numbers, there exists g∈Gg\in G such that the net $\left\{\sum_{a\in F} z_a a: F\subseteq A\mbox{ is finite}\right\}$ converges to gg; (iii) topologicallytopologically independentindependent provided that 0∉A0\not \in A and for every neighbourhood WW of 00 there exists a neighbourhood VV of 00 such that, for every finite set F⊆AF\subseteq A and each set {za:a∈F}\{z_a:a\in F\} of integers, ∑a∈Fzaa∈V\sum_{a\in F}z_aa\in V implies that zaa∈Wz_aa\in W for all a∈Fa\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 R(N)\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 RN\mathbb{R}^{\mathbb{N}} as its subspace if and only if it has an R(N)\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.

Open access
preprint2015arXiv

On the Borel Complexity of Characterized Subgroups

In a compact abelian group XX, a characterized subgroup is a subgroup HH such that there exists a sequence of characters $\vs=(v_n)$ of XX 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σF_σ-set. In this paper, we give a complete description of the FσF_σ-subgroups of $\T$ characterized by sequences of integers $\vs=(v_n)$ such that vn∣vn+1v_n|v_{n+1} for all n∈Nn\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.

Open access
preprint2014arXiv

Final solution of Protasov-Comfort's problem on minimally almost periodic group topologies

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.

Open access
preprint2013arXiv

Discrete dynamical systems in group theory

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.

Open access
preprint2013arXiv

Scale function vs Topological entropy

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.

Open access
preprint2013arXiv

The Bridge Theorem for totally disconnected LCA groups

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.

Open access
preprint2013arXiv

Topological Entropy and Algebraic Entropy for group endomorphisms

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.

Open access
preprint2012arXiv

Limit free computation of entropy

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.

Open access
preprint2011arXiv

Arnautov's problems on semitopological isomorphisms

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.

Open access
preprint2011arXiv

Entropy in a category

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.

Open access
preprint2011arXiv

Functorial topologies and finite-index subgroups of abelian groups

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.

Open access
preprint2011arXiv

Metrization criteria for compact groups in terms of their dense subgroups

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.

Open access
preprint2010arXiv

A class of metrizable locally quasi-convex groups which are not Mackey

A topological group (G,μ)(G,μ) from a class G\mathcal G of MAP topological abelian groups will be called a {\it Mackey group} in G\mathcal G if it has the following property: if νν is a group topology in GG such that (G,ν)∈G(G,ν)\in \mathcal G and (G,ν)(G,ν) has the same continuous characters, say (G,ν)∧=(G,μ)∧(G,ν)^{\wedge}=(G,μ)^{\wedge}, then ν≤μν\le μ. If LCS\rm{LCS} is the class of Hausdorff topological abelian groups which admit a structure of a locally convex topological vector space over R\mathbb R, it is well-known that every metrizable (G,μ)∈LCS(G,μ) \in \rm{LCS} is a Mackey group in LCS\rm{LCS}. For the class LQC\rm{LQC} of locally quasi-convex Hausdorff topological abelian groups, it was proved in 1999 that every {\bf complete} metrizable (G,μ)∈LQC(G,μ)\in \rm{LQC} is a Mackey group in LQC\rm{LQC} (\cite{CMPT}). The completeness cannot be \NB dropped within the class LQC\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 c0(X)c_0(X), whose elements are the null sequences of a topological abelian group XX, and whose topology is the uniform topology. We first show that for a compact metrizable group X≠{0}X\ne\{0\} the topological group c0(X)c_0(X) is a non-compact complete metrizable locally quasi-convex group, which has {\bf countable} topological dual iff XX is connected. Then we prove that for a connected compact metrizable group X≠{0}X\ne\{0\} the group c0(X)c_0(X) endowed with the product topology induced from the product XNX^{\N} is metrizable precompact but not a Mackey group in LQC.

Open access
preprint2010arXiv

A Kronecker-Weyl theorem for subsets of abelian groups

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.

Open access
preprint2010arXiv

Adjoint algebraic entropy

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.

Open access
preprint2010arXiv

Algebraic entropy of shift endomorphisms on abelian groups

For every finite-to-one map λ:Γ→Γλ:Γ\toΓ and for every abelian group KK, the generalized shift σλσ_λ of the direct sum ⨁ΓK\bigoplus_ΓK is the endomorphism defined by (xi)i∈Γ↦(xλ(i))i∈Γ(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 KK, but mainly on the function λλ. We give many examples showing that the generalized shifts provide a very useful universal tool for producing counter-examples.

Open access
preprint2010arXiv

Locally Minimal Topological Groups 2

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 GG {\it almost minimal} if it has a closed, minimal normal subgroup NN such that the quotient group G/NG/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.

Open access
preprint2010arXiv

On zero-dimensionality and the connected component of locally pseudocompact groups

A topological group is locally pseudocompact if it contains a non-empty open set with pseudocompact closure. In this note, we prove that if G is a group with the property that every closed subgroup of G is locally pseudocompact, then G_0 is dense in the component of the completion of G, and G/G_0 is zero-dimensional. We also provide examples of hereditarily disconnected pseudocompact groups with strong minimality properties of arbitrarily large dimension, and thus show that G/G_0 may fail to be zero-dimensional even for totally minimal pseudocompact groups.

Open access
preprint2010arXiv

Productivity of sequences with respect to a given weight function

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.

Open access
preprint2010arXiv

The Markov-Zariski topology of an abelian group

According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that a subset of an abelian group G is algebraic if and only if it is closed in every precompact (=totally bounded) Hausdorff group topology on G. The family of all algebraic subsets of an abelian group G forms the family of closed subsets of a unique Noetherian T_1 topology on G called the Zariski, or verbal, topology of G. We investigate the properties of this topology. In particular, we show that the Zariski topology is always hereditarily separable and Frechet-Urysohn. For a countable family F of subsets of an abelian group G of cardinality at most the continuum, we construct a precompact metric group topology T on G such that the T-closure of each member of F coincides with its Zariski closure. As an application, we provide a characterization of the subsets of G that are dense in some Hausdorff group topology on G, and we show that such a topology, if it exists, can always be chosen so that it is precompact and metric. This provides a partial answer to a long-standing problem of Markov.

Open access
preprint2010arXiv

The Pinsker subgroup of an algebraic flow

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.

Open access
preprint2009arXiv

Hewitt-Marczewski-Pondiczery type theorem for abelian groups and Markov's potential density

For an uncountable cardinal τand a subset S of an abelian group G, the following conditions are equivalent: (i) |{ns:s\in S}|\ge τfor all integers n\ge 1; (ii) there exists a group homomorphism π:G\to T^{2^τ} such that π(S) is dense in T^{2^τ}. Moreover, if |G|\le 2^{2^τ}, then the following item can be added to this list: (iii) there exists an isomorphism π:G\to G' between G and a subgroup G' of T^{2^τ} such that π(S) is dense in T^{2^τ}. We prove that the following conditions are equivalent for an uncountable subset S of an abelian group G that is either (almost) torsion-free or divisible: (a) S is T-dense in G for some Hausdorff group topology T on G; (b) S is T-dense in some precompact Hausdorff group topology T on G; (c) |{ns:s\in S}|\ge \min{τ:|G|\le 2^{2^τ}} for every integer n\ge 1. This partially resolves a question of Markov going back to 1946.

Open access
preprint2009arXiv

Locally minimal topological groups

A Hausdorff topological group (G,τ)(G,τ) is called locally minimal if there exists a neighborhood UU of 0 in ττ such that UU fails to be a neighborhood of zero in any Hausdorff group topology on GG 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 pseudo--convex 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. We also prove that a bounded abelian group GG admits a non-discrete locally minimal and locally GTG group topology iff $|G|\geq \cont$.

Open access
preprint2008arXiv

Quasi-convex sequences in the circle and the 3-adic integers

In this paper, we present families of quasi-convex sequences converging to zero in the circle group T, and the group J_3 of 3-adic integers. These sequences are determined by an increasing sequences of integers. For an increasing sequence \underline{a}=\{a_n\} of integers, put g_n=a_{n+1}-a_n. We prove that: (a) the set \{0\}\cup\{\pm 3^{-(a_n+1)} : n\in N\} is quasi-convex in T if and only if a_0>0 and g_n>1 for every n\in N; (b) the set \{0\}\cup\{\pm 3^{a_n} : n\in N\} is quasi-convex in the group J_3 of 3-adic integers if and only if g_n>1 for every n\in N. Moreover, we solve an open problem of Dikranjan and de Leo by providing a complete characterization of the sequences \underline{a} such that \{0\}\cup\{\pm 2^{-(a_n+1)} : n\in N\} is quasi-convex in T. Using this result, we also obtain a characterization of the sequences \underline{a} such that the set \{0\}\cup\{\pm 2^{-(a_n+1)} : n\in N\} is quasi-convex in R.

Open access
preprint2008arXiv

Super-sequences in the arc component of a compact connected group

Let G be an abelian topological group. The symbol \hat{G} denotes the group of all continuous characters χ: G --> T endowed with the compact open topology. A subset E of G is said to be qc-dense in G provided that χ(E) \subseteq ϕ([-1/4,1/4]) holds only for the trivial character χ\in \hat{G}, where ϕ: R --> T = R/Z is the canonical homomorphism. A super-sequence is a non-empty compact Hausdorff space S with at most one non-isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super-sequence converging to 0 that is qc-dense in G. This gives as a corollary a recent theorem of Aussenhofer: For a connected locally compact abelian group G, the restriction homomorphism r : \hat{G} --> \hat{G}_a defined by r(χ) = χ\restriction_{G_a} for χ\in \hat{G}, is a topological isomorphism. We also show that an infinite compact group G is connected if and only if its arc component G_a contains a super-sequence S converging to the identity e that generates a dense subgroup of G (equivalently, S \setminus {e} is an infinite suitable set for G in the sense of Hofmann and Morris).

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.