English

Tensor products of topological abelian groups and Pontryagin duality

Functional Analysis 2024-02-02 v2 General Topology Group Theory

Abstract

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

Keywords

Cite

@article{arxiv.2309.01223,
  title  = {Tensor products of topological abelian groups and Pontryagin duality},
  author = {María V. Ferrer and Julio Hernández-Arzusa and Salvador Hernández},
  journal= {arXiv preprint arXiv:2309.01223},
  year   = {2024}
}