Showing 1–25 of 25 results for author: Ferrer, M

On the $Σ^1$ and $Σ^2$-invariants of Artin groups

Authors: Marcos Escartín Ferrer

Abstract: We prove the $Σ^1$-conjecture for the family of balanced Artin groups, a family that generalizes the considered by Kochloukova in arXiv:2009.14269, the considered by Escartín-Martinez in arXiv:2309.03091 and the family of coherent Artin groups. We state a conjecture on the $Σ^2$-invariant for Artin groups and prove it for the families of $2$-dimensional and coherent Artin groups. We prove the $Σ^1$-conjecture for the family of balanced Artin groups, a family that generalizes the considered by Kochloukova in arXiv:2009.14269, the considered by Escartín-Martinez in arXiv:2309.03091 and the family of coherent Artin groups. We state a conjecture on the $Σ^2$-invariant for Artin groups and prove it for the families of $2$-dimensional and coherent Artin groups. △ Less

Submitted 31 January, 2025; v1 submitted 15 January, 2025; originally announced January 2025.

Comments: 17 pages

MSC Class: Primary 20J06; 20F36; Secondary 57M07; 55P20

Bohr compactification and Chu duality of non-abelian locally compact groups

Authors: María V. Ferrer, S. Hernández

Abstract: The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to e… ▽ More The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to equivalence) largest compactification of $G$. Although, for locally compact Abelian groups, the Bohr compactification is a big monster, for non-Abelian groups the situation is much more interesting and it can be said that all options are possible. Here we are interested in locally compact groups whose Bohr compactification is \emph{small}. Among other results, we characterize when the Bohr the Bohr compactification of a locally compact group is topologically isomorphic to its Chu or unitary quasi-dual. Our results fixe some incorrect statements appeared in the literature. △ Less

Submitted 23 February, 2025; v1 submitted 4 May, 2024; originally announced May 2024.

The Baire property and precompact duality

Authors: M. Ferrer, S. Hernández, I. Sepúlveda, F. J. Trigos-Arrieta

Abstract: We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco, Domínguez and Tkachenko. {Among other consequences, we obtain an example of a group that is $g$-dense in its completion but is not $g$-barrelled. This solves a qu… ▽ More We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco, Domínguez and Tkachenko. {Among other consequences, we obtain an example of a group that is $g$-dense in its completion but is not $g$-barrelled. This solves a question proposed by Au$β$enhofer and Dikranjan.} △ Less

Submitted 4 May, 2024; originally announced May 2024.

On the $Σ$-invariants of Artin groups satisfying the $K(π,1)$-conjecture

Authors: Marcos Escartín Ferrer, Conchita Martínez Pérez

Abstract: We consider $Σ$-invariants of Artin groups that satisfy the $K(π,1)$-conjecture. These invariants determine the cohomological finiteness conditions of subgroups that contain the derived subgroup. We extend a known result for even Artin groups of FC-type, giving a sufficient condition for a character $χ:A_Γ\to\mathbb{R}$ to belong to $Σ^n(A_Γ,\mathbb{Z})$. We also prove some partial converses. As a… ▽ More We consider $Σ$-invariants of Artin groups that satisfy the $K(π,1)$-conjecture. These invariants determine the cohomological finiteness conditions of subgroups that contain the derived subgroup. We extend a known result for even Artin groups of FC-type, giving a sufficient condition for a character $χ:A_Γ\to\mathbb{R}$ to belong to $Σ^n(A_Γ,\mathbb{Z})$. We also prove some partial converses. As applications, we prove that the $Σ^1$-conjecture holds true when there is a prime $p$ that divides $l(e)/2$ for any edge with even label $l(e)>2$, we generalize to Artin groups the homological version of Bestvina-Brady theorem and we compute the $Σ$-invariants of all irreducible spherical and affine Artin groups and triangle Artin groups, which provide a complete classification of the $F_n$ and $FP_n$ properties of their derived subgroup. △ Less

Submitted 11 December, 2023; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 25 pages. Revised version, some missprints corrected. Accepted for publication in the JLMS

MSC Class: Primary 20J06; 20F36; Secondary 57M07; 55P20

Tensor products of topological abelian groups and Pontryagin duality

Authors: María V. Ferrer, Julio Hernández-Arzusa, Salvador Hernández

Abstract: Let $G$ be the group of all $\ZZ$-valued homomorphisms of the Baer-Specker group $\ZZ^\NN$. The group $G$ is algebraically isomorphic to $\ZZ^{(\NN)}$, the infinite direct sum of the group of integers, and equipped with the topology of pointwise convergence on $\ZZ^\NN$, becomes a non reflexive prodiscrete group. It was an open question to find its dual group $\hat{G}$. Here, we answer this questi… ▽ More Let $G$ be the group of all $\ZZ$-valued homomorphisms of the Baer-Specker group $\ZZ^\NN$. The group $G$ is algebraically isomorphic to $\ZZ^{(\NN)}$, the infinite direct sum of the group of integers, and equipped with the topology of pointwise convergence on $\ZZ^\NN$, becomes a non reflexive prodiscrete group. It was an open question to find its dual group $\hat{G}$. Here, we answer this question by proving that $\hat{G}$ is topologically isomorphic to $\ZZ^\NN\otimes_\mathcal{Q}\TT$, the (locally quasi-convex) tensor product of $\ZZ^\NN$ and $\TT$. Furthermore, we investigate the reflexivity properties of the groups of $C_p(X,\ZZ)$, the group of all $\ZZ$-valued continuous functions on $X$ equipped with the pointwise convergence topology, and $A_p(X)$, the free abelian group on a $0$-dimensional space $X$ equipped with the topology $t_p(C(X,\ZZ))$ of pointwise convergence topology on $C(X,\ZZ)$. In particular, we prove that $\hat{A_p(X)}\simeq C_p(X,\ZZ)\otimes_\mathcal{Q}\TT$ and we establish the existence of $0$-dimensional spaces $X$ such that $C_p(X,\ZZ)$ is Pontryagin reflexive. △ Less

Submitted 1 February, 2024; v1 submitted 3 September, 2023; originally announced September 2023.

MSC Class: 22A05 (22A25 22E99 20C15 20K20 54H11

Homomorphic encoders of profinite abelian groups II

Authors: María V. Ferrer, Salvador Hernández

Abstract: Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we inv… ▽ More Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we investigate the structure of order controllable group codes. It is proved that if $G$ is an order controllable, shift invariant, group code over a finite abelian group $H$, then $G$ possesses a finite canonical generating set. Furthermore, our construction also yields that $G$ is algebraically conjugate to a full group shift. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: Portions of this work previously appeared as arXiv:2103.13135, which has been split

Homomorphic encoders of profinite abelian groups I

Authors: María V. Ferrer, Salvador Hernández

Abstract: Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we inv… ▽ More Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we investigate the structure of order controllable subgroups. It is proved that every order controllable, profinite, abelian group contains a subset $\{g_n : n\in\N\}$ that topologically generates the group and whose elements $g_n$ all have finite support. As a consequence, sufficient conditions are obtained that allow us to encode, by means of a topological group isomorphism, order controllable profinite abelian groups. Some applications of these results to group codes will appear subsequently \cite{FH:2021}. △ Less

Submitted 1 December, 2021; v1 submitted 24 March, 2021; originally announced March 2021.

MSC Class: Primary 20K25. Secondary 22C05; 20K45; 54H11; 68P30; 37B10

The weak compactification of locally compact groups

Authors: María V. Ferrer, Salvador Hernández

Abstract: We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally compact (LC) group $G$ is compact in the LC-topology, generalizing thereby a previous result of Glicksberg \cite{glicks1962} for abelian locally compact (LCA) gr… ▽ More We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally compact (LC) group $G$ is compact in the LC-topology, generalizing thereby a previous result of Glicksberg \cite{glicks1962} for abelian locally compact (LCA) groups. Here, we first survey some recent findings on the weak topology and establish some new results about the preservation of several compact-like properties when going from the weak topology to the original topology of LC groups. Among others, we deal with the preservation of countably compactness, pseudocompactness and functional boundedness. △ Less

Submitted 24 March, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: arXiv admin note: text overlap with arXiv:1704.03438

MSC Class: Locally compact group; Weak topology; Weak compactification; Bohr compactification

On convergent sequences in dual groups

Authors: M. V. Ferrer, S. Hernández, M. Tkachenko

Abstract: We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^\wedge$ endowed with the pointwise convergence topology on elements of $G$ contains a nontrivial convergent sequence. In the special case of precompact abelian \emph{torsion} groups $G$, we characterize the existence of a nontrivial convergent sequence in $G_p^\wedge$ by the following property of $G$: \emph{No… ▽ More We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^\wedge$ endowed with the pointwise convergence topology on elements of $G$ contains a nontrivial convergent sequence. In the special case of precompact abelian \emph{torsion} groups $G$, we characterize the existence of a nontrivial convergent sequence in $G_p^\wedge$ by the following property of $G$: \emph{No infinite quotient group of $G$ is countable.} Finally, we present an example of a dense subgroup $G$ of the compact metrizable group $\mathbb{Z}(2)^ω$ such that $G$ is of the first category in itself, has measure zero, but the dual group $G_p^\wedge$ does not contain infinite compact subsets. This complements Theorem 1.6 in [J.E.~Hart and K.~Kunen, Limits in function spaces and compact groups, \textit{Topol. Appl.} \textbf{151} (2005), 157--168]. As a consequence, we obtain an example of a precompact reflexive abelian group which is of the first Baire category. △ Less

Submitted 10 October, 2019; v1 submitted 9 August, 2019; originally announced August 2019.

MSC Class: 43A40; 22D35; 22C05; 54E52; 54C10

Representation of Group Isomorphisms I

Authors: Marita Ferrer, Margarita Gary, Salvador Hernández

Abstract: Let $G$ be a metric group and let $\sA ut(G)$ denote the automorphism group of $G$. If $\sA$ and $\sB$ are groups of $G$-valued maps defined on the sets $X$ and $Y$, respectively, we say that $\sA$ and $\sB$ are \emph{equivalent} if there is a group isomorphism $H\colon\sA\to\sB$ such that there is a bijective map $h\colon Y\to X$ and a map $w\colon Y\to \sA ut (G)$ satisfying… ▽ More Let $G$ be a metric group and let $\sA ut(G)$ denote the automorphism group of $G$. If $\sA$ and $\sB$ are groups of $G$-valued maps defined on the sets $X$ and $Y$, respectively, we say that $\sA$ and $\sB$ are \emph{equivalent} if there is a group isomorphism $H\colon\sA\to\sB$ such that there is a bijective map $h\colon Y\to X$ and a map $w\colon Y\to \sA ut (G)$ satisfying $Hf(y)=w[y](f(h(y)))$ for all $y\in Y$ and $f\in \sA$. In this case, we say that $H$ is represented as a \emph{weighted composition operator}. A group isomorphism $H$ defined between $\sA$ and $\sB$ is called \emph{separating} when for each pair of maps $f,g\in \sA$ satisfying that $f^{-1}(e_G)\cup g^{-1}(e_G)=X$, it holds that $(Hf)^{-1}(e_G)\cup (Hg)^{-1}(e_G)=Y$. Our main result establishes that under some mild conditions, every separating group isomorphism can be represented as a weighted composition operator. As a consequence we establish the equivalence of two function groups if there is a biseparating isomorphism defined between them. △ Less

Submitted 27 November, 2018; originally announced November 2018.

On the structure of abelian profinite groups

Authors: María V. Ferrer, Salvador Hernández

Abstract: A subgroup $G$ of a product $\prod\limits_{i\in\mathbb{N}}G_i$ is \emph{rectangular} if there are subgroups $H_i$ of $G_i$ such that $G=\prod\limits_{i\in\mathbb{N}}H_i$. We say that $G$ is \emph{weakly rectangular} if there are finite subsets $F_i\subseteq \mathbb{N}$ and subgroups $H_i$ of $\bigoplus\limits_{j\in F_i} G_j$ that satisfy $G=\prod\limits_{i\in\mathbb{N}}H_i$. %We say that $G$ is a… ▽ More A subgroup $G$ of a product $\prod\limits_{i\in\mathbb{N}}G_i$ is \emph{rectangular} if there are subgroups $H_i$ of $G_i$ such that $G=\prod\limits_{i\in\mathbb{N}}H_i$. We say that $G$ is \emph{weakly rectangular} if there are finite subsets $F_i\subseteq \mathbb{N}$ and subgroups $H_i$ of $\bigoplus\limits_{j\in F_i} G_j$ that satisfy $G=\prod\limits_{i\in\mathbb{N}}H_i$. %We say that $G$ is a \emph{subdirect product} of the family $\{G_i\}_{i\in I}$ if $G$ is weakly rectangular and %$G\cap\bigoplus\limits_{i\in I} G_i=\bigoplus\limits_{i\in\mathbb{N}}H_i$. In this paper we discuss when a closed subgroup of a product is weakly rectangular. Some possible applications to the theory of group codes are also highlighted. △ Less

Submitted 20 November, 2018; originally announced November 2018.

Interpolation sets in spaces of continuous metric-valued functions

Authors: María V. Ferrer, Salvador Hernández, Luis Tárrega

Abstract: Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$ with relatively compact range in $M$, there exists a map $f\in C(X,M)$ such that $f_{|Y}=g$. In this paper, motivated by a result of Bourgain in \cite{Bourgain1… ▽ More Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$ with relatively compact range in $M$, there exists a map $f\in C(X,M)$ such that $f_{|Y}=g$. In this paper, motivated by a result of Bourgain in \cite{Bourgain1977}, we introduce a property, stronger than the mere \emph{non equicontinuity} of a family of continuous functions, that isolates a crucial fact for the existence of interpolation sets in fairly general settings. As a consequence, we establish the existence of $I_0$ sets in every nonprecompact subset of a abelian locally $k_ω$-groups. This implies that abelian locally $k_ω$-groups strongly respects compactness. △ Less

Submitted 1 April, 2018; v1 submitted 20 July, 2017; originally announced July 2017.

A dichotomy property for locally compact groups

Authors: Marita Ferrer, Salvador Hernández, Luis Tárrega

Abstract: We extend to metrizable locally compact groups Rosenthal's theorem describing those Banach spaces containing no copy of $l_1$. For that purpose, we transfer to general locally compact groups the notion of interpolation ($I_0$) set, which was defined by Hartman and Ryll-Nardzewsky [25] for locally compact abelian groups. Thus we prove that for every sequence $\lbrace g_n \rbrace_{n<ω}$ in a locally… ▽ More We extend to metrizable locally compact groups Rosenthal's theorem describing those Banach spaces containing no copy of $l_1$. For that purpose, we transfer to general locally compact groups the notion of interpolation ($I_0$) set, which was defined by Hartman and Ryll-Nardzewsky [25] for locally compact abelian groups. Thus we prove that for every sequence $\lbrace g_n \rbrace_{n<ω}$ in a locally compact group $G$, then either $\lbrace g_n \rbrace_{n<ω}$ has a weak Cauchy subsequence or contains a subsequence that is an $I_0$ set. This result is subsequently applied to obtain sufficient conditions for the existence of Sidon sets in a locally compact group $G$, an old question that remains open since 1974 (see [32] and [20]). Finally, we show that every locally compact group strongly respects compactness extending thereby a result by Comfort, Trigos-Arrieta, and Wu [13], who established this property for abelian locally compact groups. △ Less

Submitted 1 April, 2018; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: To appear in J. of Functional Analysis

A classification of the cofinal structures of precompacta

Authors: Aviv Eshed, M. Vincenta Ferrer, Salvador Hernández, Piotr Szewczak, Boaz Tsaban

Abstract: We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $\C(X,\bbR)$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact… ▽ More We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $\C(X,\bbR)$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact-open topology. △ Less

Submitted 2 January, 2017; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: Major revision. Streamlined proofs. Final version, submitted for publication

A countable free closed non-reflexive subgroup of Z^c

Authors: Maria Vincenta Ferrer, Salvador Hernández, Dmitri Shakhmatov

Abstract: We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that the second Pontryagin dual of G is discrete. As G is non-discrete, it is not reflexive. Since G can be viewed as a closed subgroup of the Tychonoff product of co… ▽ More We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that the second Pontryagin dual of G is discrete. As G is non-discrete, it is not reflexive. Since G can be viewed as a closed subgroup of the Tychonoff product of continuum many copies of the integers Z, this provides an example of a group described in the title, thereby answering Problem 11 from [J.Galindo, L.Recorder-Núñez, M.Tkachenko, Reflexivity of prodiscrete topological groups, J. Math. Anal. Appl. 384 (2011), 320--330.] It follows that an inverse limit of finitely generated (torsion-)free discrete abelian groups need not be reflexive. △ Less

Submitted 30 December, 2015; originally announced December 2015.

MSC Class: Primary: 22A25; Secondary: 20C15; 20K30; 22A05; 54B10; 54D30; 54H11

Journal ref: Proceedings of the American Mathematical Society, 145 (2017), 3599-3605

Equicontinuity criteria for metric-valued sets of continuous functions

Authors: Marita Ferrer, Salvador Hernandez, Luis Tarrega

Abstract: Combining ideas of Troallic and Cascales, Namioka, and Vera, we prove several characterizations of \textit{almost equicontinuity} and \textit{hereditary almost equicontinuity} for subsets of metric-valued continuous functions when they are defined on a Čech-complete space. We also obtain some applications of these results to topological groups and dynamical systems. Combining ideas of Troallic and Cascales, Namioka, and Vera, we prove several characterizations of \textit{almost equicontinuity} and \textit{hereditary almost equicontinuity} for subsets of metric-valued continuous functions when they are defined on a Čech-complete space. We also obtain some applications of these results to topological groups and dynamical systems. △ Less

Submitted 31 May, 2016; v1 submitted 16 November, 2015; originally announced November 2015.

Comments: 27 pages

MSC Class: Primary: 46A50; 54C35; Secondary: 22A05; 37B05; 54H11; 54H20

Weight-preserving isomorphisms between spaces of continuous functions: The scalar case

Authors: Marita Ferrer, Margarita Gary, Salvador Hernandez

Abstract: Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear bijections $H:\mathcal A\longrightarrow \mathcal B$ by continuous functions $h:Y\longrightarrow X$ as weighted composition operators. In order to do it, we extend the… ▽ More Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear bijections $H:\mathcal A\longrightarrow \mathcal B$ by continuous functions $h:Y\longrightarrow X$ as weighted composition operators. In order to do it, we extend the notion of Hamming metric to infinite spaces. Our main result establishes that under some mild conditions, every Hamming isometry can be represented as a weighted composition operator. Connections to coding theory are also highlighted. △ Less

Submitted 9 February, 2015; originally announced February 2015.

MSC Class: Primary 46E10. Secondary 54C35; 47B38; 93B05; 94B10

Representation of group isomorphisms. The compact case

Authors: María V. Ferrer, Margarita Gary, Salvador Hernández

Abstract: Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and $\mathcal B$ is called \textit{separating} when for each pair of maps $f,g\in \mathcal A$ satisfying that $f^{-1}(e_G)\cup g^{-1}(e_G)=X$, it holds that… ▽ More Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and $\mathcal B$ is called \textit{separating} when for each pair of maps $f,g\in \mathcal A$ satisfying that $f^{-1}(e_G)\cup g^{-1}(e_G)=X$, it holds that $Hf^{-1}(e_G)\cup Hg^{-1}(e_G)=Y$. We prove that under some mild conditions every separating isomorphism $H:\mathcal A\longrightarrow \mathcal B$ can be represented by means of a continuous function $h: Y\longrightarrow X$ as a weighted composition operator. As a consequence we establish the equivalence of two subgroups of continuous functions if there is a biseparating isomorphism defined between them. △ Less

Submitted 18 December, 2014; v1 submitted 6 November, 2014; originally announced November 2014.

MSC Class: Primary 43A40; Secondary 22A25; 22C05; 22D35; 43A35; 43A65; 54H11

Subgroups of direct products closely approximated by direct sums

Authors: Maria V. Ferrer, Salvador Hernandez, Dmitri Shakhmatov

Abstract: Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that… ▽ More Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that $p_{J}(H)=p_{J}(H\cap\bigoplus_{i\in K} G_i)$; (ii) \emph{controllable} in $G$ provided that $p_{J}(H)=p_{J}(H\cap\bigoplus_{i\in I} G_i)$ for every finite set $J\subseteq I$; (iii) \emph{weakly controllable} in $G$ if $H\cap \bigoplus_{i\in I} G_i$ is dense in $H$, when $G$ is equipped with the Tychonoff product topology. One easily proves that (i)$\to$(ii)$\to$(iii). We thoroughly investigate the question as to when these two arrows can be reversed. We prove that the first arrow can be reversed when $H$ is compact, but the second arrow cannot be reversed even when $H$ is compact. Both arrows can be reversed if all groups $G_i$ are finite. When $G_i=A$ for all $i\in I$, where $A$ is an abelian group, we show that the first arrow can be reversed for {\em all} subgroups $H$ of $G$ if and only if $A$ is finitely generated. Connections with coding theory are highlighted. △ Less

Submitted 17 June, 2013; originally announced June 2013.

MSC Class: Primary: 22C05; Secondary: 22D35; 54D30; 54D65; 54E35

Journal ref: Forum Math. 29 (5), 2017, 1125--1144

The dual space of precompact groups

Authors: M. Ferrer, S. Hernández, V. Uspenskij

Abstract: For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete. In an earlier paper we proved that $\hat G$ is discrete for every metrizable precompact group, i.e. a dense subgroup of a compact metrizable group. We generalize this result to the… ▽ More For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete. In an earlier paper we proved that $\hat G$ is discrete for every metrizable precompact group, i.e. a dense subgroup of a compact metrizable group. We generalize this result to the case when $G$ is an almost metrizable precompact group. △ Less

Submitted 22 December, 2012; originally announced December 2012.

Comments: 8 pages. arXiv admin note: substantial text overlap with arXiv:1112.1350

MSC Class: Primary 43A40. Secondary 22A25; 22C05; 22D35; 43A35; 43A65; 54H11

Journal ref: Comment. Math. Univ. Carolinae 54 (2013), No. 2, 239--244

Precompact groups and property (T)

Authors: M. Ferrer, S. Hernández, V. Uspenskij

Abstract: For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate to what extent this remains true for precompact groups, i.e. for dense subgroups of compact groups. We find that: (a) if $G$ is a metrizable precompact group, th… ▽ More For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate to what extent this remains true for precompact groups, i.e. for dense subgroups of compact groups. We find that: (a) if $G$ is a metrizable precompact group, then $\hat G$ is discrete; (b) if $G$ is a countable non-metrizable precompact group, then $\hat G$ is not discrete; (c) every non-metrizable compact group contains a dense subgroup $G$ for which $\hat G$ is not discrete. This generalizes to the non-Abelian case what was known for Abelian groups. Kazhdan's property (T) can be defined in similar terms, but we must consider representations without non-zero invariant vectors rather than irreducible representations. If $G$ is any countable Abelian precompact group, then $G$ does not have property (T), although $\hat G$ is discrete if $G$ is metrizable. △ Less

Submitted 22 December, 2012; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: 19 pages

MSC Class: 43A40 (Primary) 22A25; 22C05; 22D35; 43A35; 43A65; 54H11 (Secondary)

Journal ref: Journal of Mathematical Analysis and Applications 404 (2013), 221--230

Dual topologies on non-abelian groups

Authors: María V. Ferrer, Salvador Hernández

Abstract: The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set $\hbox{rep}(G)$ of all finite dimensional continuous representations on a topological group $G$ in order to associate well behaved group topologies (dual topologies) to them.… ▽ More The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set $\hbox{rep}(G)$ of all finite dimensional continuous representations on a topological group $G$ in order to associate well behaved group topologies (dual topologies) to them. As a consequence, the lattice of all Hausdorff totally bounded group topologies on a group $G$ is shown to be isomorphic to the lattice of certain special subsets of $\hbox{rep}(G_d)$. Moreover, generalizing some ideas of Namioka, we relate the structural properties of the dual topological groups to topological properties of the bounded subsets belonging to the associate bornology. In like manner, certain type of bornologies that can be defined on a group $G$ allow one to define canonically associate uniformities on the dual object $\hat G$. As an application, we prove that if for every dense subgroup $H$ of a compact group $G$ we have that $\hat H$ and $\hat G$ are uniformly isomorphic, then $G$ is metrizable. Thereby, we extend to non-abelian groups some results previously considered for abelian topological groups. △ Less

Submitted 22 December, 2010; v1 submitted 15 November, 2010; originally announced November 2010.

MSC Class: Primary 22C05; 22D35; 22A05; 43A40; Secondary 43A65; 54H11

The character of topological groups, via bounded systems, Pontryagin--van Kampen duality and pcf theory

Authors: Cristina Chis, M. Vincenta Ferrer, Salvador Hernandez, Boaz Tsaban

Abstract: The Birkhoff--Kakutani Theorem asserts that a topological group is metrizable if and only if it has countable character. We develop and apply tools for the estimation of the character for a wide class of nonmetrizable topological groups. We consider abelian groups whose topology is determined by a countable cofinal family of compact sets. These are the closed subgroups of Pontryagin--van Kampen… ▽ More The Birkhoff--Kakutani Theorem asserts that a topological group is metrizable if and only if it has countable character. We develop and apply tools for the estimation of the character for a wide class of nonmetrizable topological groups. We consider abelian groups whose topology is determined by a countable cofinal family of compact sets. These are the closed subgroups of Pontryagin--van Kampen duals of \emph{metrizable} abelian groups, or equivalently, complete abelian groups whose dual is metrizable. By investigating these connections, we show that also in these cases, the character can be estimated, and that it is determined by the weights of the \emph{compact} subsets of the group, or of quotients of the group by compact subgroups. It follows, for example, that the density and the local density of an abelian metrizable group determine the character of its dual group. Our main result applies to the more general case of closed subgroups of Pontryagin--van Kampen duals of abelian Čech-complete groups. In the special case of free abelian topological groups, our results extend a number of results of Nickolas and Tkachenko, which were proved using combinatorial methods. In order to obtain concrete estimations, we establish a natural bridge between the studied concepts and pcf theory, that allows the direct application of several major results from that theory. We include an introduction to these results and their use. △ Less

Submitted 28 August, 2014; v1 submitted 4 May, 2010; originally announced May 2010.

Comments: Minor corrections. Final version before journal editing

MSC Class: Primary: 22A05; 22D35; 54H11; 03E04; 54A25; Secondary: 22B05; 43A40; 03E17; 03E35; 03E75

Journal ref: Journal of Algebra 420 (2014), 86-119

Measures and semi-orthogonal functions on the unit circle

Authors: Maria J. Cantero, Maria P. Ferrer, Leandro Moral, Luis Velazquez

Abstract: The zeros of semi-orthogonal functions with respect to a probability measure mu supported on the unit circle can be applied to obtain Szego quadrature formulas. The discrete measures generated by these formulas weakly converge to the orthogonality measure mu. In this paper we construct families of semi-orthogonal functions with interlacing zeros, and give a representation of the support of mu in… ▽ More The zeros of semi-orthogonal functions with respect to a probability measure mu supported on the unit circle can be applied to obtain Szego quadrature formulas. The discrete measures generated by these formulas weakly converge to the orthogonality measure mu. In this paper we construct families of semi-orthogonal functions with interlacing zeros, and give a representation of the support of mu in terms of the asymptotic distribution of such zeros. △ Less

Submitted 24 April, 2002; originally announced April 2002.

Comments: 20 pages

MSC Class: 42C05

A connection between orthogonal polynomials on the unit circle and matrix orthogonal polynomials on the real line

Authors: Maria J. Cantero, Maria P. Ferrer, Leandro Moral, Luis Velazquez

Abstract: Szego's procedure to connect orthogonal polynomials on the unit circle and orthogonal polynomials on [-1,1] is generalized to nonsymmetric measures. It generates the so-called semi-orthogonal functions on the linear space of Laurent polynomials L, and leads to a new orthogonality structure in the module LxL. This structure can be interpreted in terms of a 2x2 matrix measure on [-1,1], and semi-o… ▽ More Szego's procedure to connect orthogonal polynomials on the unit circle and orthogonal polynomials on [-1,1] is generalized to nonsymmetric measures. It generates the so-called semi-orthogonal functions on the linear space of Laurent polynomials L, and leads to a new orthogonality structure in the module LxL. This structure can be interpreted in terms of a 2x2 matrix measure on [-1,1], and semi-orthogonal functions provide the corresponding sequence of orthogonal matrix polynomials. This gives a connection between orthogonal polynomials on the unit circle and certain classes of matrix orthogonal polynomials on [-1,1]. As an application, the strong asymptotics of these matrix orthogonal polynomials is derived, obtaining an explicit expression for the corresponding Szego's matrix function. △ Less

Submitted 24 April, 2002; originally announced April 2002.

Comments: 28 pages

MSC Class: 42C05