A CHARACTERIZATION OF PONTRYAGIN-VAN KAMPEN DUALITY FOR COMPLEX LOCALLY CONVEX SPACES

ABSTRACT

Topological vector spaces (TVS) are topological Abelian groups when considered under the operation of addition. It is therefore natural to ask when they satisfy Pontryagin-van Kampen (P-vK) duality. A number of attempts have been considered for real LCS. In particular, in a previous paper we showed a characterization of (P-vK) duality for real LCS. In this article we show that this characterization also holds for complex spaces.     

Reflexivity of prodiscrete topological groups

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

A property of Dunford-Pettis type in topological groups

The property of Dunford-Pettis for a locally convex space was introduced by Grothendieck in 1953. Since then it has been intensively studied, with especial emphasis in the framework of Banach space theory.

In this paper we define the Bohr sequential continuity property (BSCP) for a topological Abelian group. This notion could be the analogue to the Dunford-Pettis property in the context of groups. We have picked this name because the Bohr topology of the group and of the dual group plays an important role in the definition. We relate the BSCP with the Schur property, which also admits a natural formulation for Abelian topological groups, and we prove that they are equivalent within the class of separable metrizable locally quasi-convex groups.

For Banach spaces (or for metrizable locally convex spaces), considered in their additive structure, we show that the BSCP lies between the Schur and the Dunford-Pettis properties.

     

Duality and finite spaces

Using that finite topological spaces are just finite orders, we develop a duality theory for sheaves of Abelian groups over finite spaces following closely Grothendieck's duality theory for coherent sheaves over proper schemes. Since the geometric realization of a finite space is a polyhedron, we relate this duality with the duality theory for Abelian sheaves over polyhedra.     

A class of angelic sequential non-Fréchet-Urysohn topological groups

Fréchet-Urysohn (briefly F-U) property for topological spaces is known to be highly non-multiplicative; for instance, the square of a compact F-U space is not in general Fréchet-Urysohn [P. Simon, A compact Fréchet space whose square is not Fréchet, Comment. Math. Univ. Carolin. 21 (1980) 749-753. [27]]. Van Douwen proved that the product of a metrizable space by a Fréchet-Urysohn space may not be (even) sequential. If the second factor is a topological group this behaviour improves significantly: we have obtained (Theorem 1.6(c)) that the product of a first countable space by a F-U topological group is a F-U space. We draw some important consequences by interacting this fact with Pontryagin duality theory. The main results are the following:

(1)

If the dual group of a metrizable Abelian group is F-U, then it must be metrizable and locally compact.

(2)

Leaning on (1) we point out a big class of hemicompact sequential non-Fréchet-Urysohn groups, namely: the dual groups of metrizable separable locally quasi-convex non-locally precompact groups. The members of this class are furthermore complete, strictly angelic and locally quasi-convex.

(3)

Similar results are also obtained in the framework of locally convex spaces.

Another class of sequential non-Fréchet-Urysohn complete topological Abelian groups very different from ours is given in [E.G. Zelenyuk, I.V. Protasov, Topologies of Abelian groups, Math. USSR Izv. 37 (2) (1991) 445-460. [32]].     

Diagonal structures on topological spaces

We investigate when a topological space admits a partial product operation satisfying some rather weak continuity restrictions and almost nothing else-the only algebraic requirement is that some element e of X is a left and a right identity with respect to this multiplication. The operation is called partial diagonalization of X at e. Several sufficient conditions for a space to be partially diagonalizable are established. On the other hand, it is shown that certain deep results about the topological structure of compact topological groups can be extended to partially diagonalizable compact spaces. We also discover that partial diagonalizability plays an important role in the theory of cardinal invariants, in the study of homogeneous spaces, and in such classical topics of general topology as the theory of Stone–Čech compactification and the theory of Hewitt–Nachbin compactification. The notions of a Moscow space and of a C-embedding are instrumental in our study.     

Nondiscrete P-groups can be reflexive

We present the first examples of nondiscrete reflexive P-groups (topological groups in which countable intersections of open sets are open) as well as of noncompact reflexive ω-bounded groups (precompact groups in which the closure of every countable set is compact). Our main result implies that every product of discrete Abelian groups equipped with the P-modified topology is reflexive. Taking uncountably many nontrivial factors, we thus answer a question posed by P. Nickolas and solve a problem raised by Ardanza-Trevijano, Chasco, Domínguez, and Tkachenko.New examples of non-reflexive P-groups are also given which are based on a further development of Leptin's technique going back to 1955.     

Some topologies on a Šerstnev probabilistic normed space

In this paper we will introduce two other topologies, coarser than the so-called strong topology, on a class of Šerstnev probabilistic normed spaces, and obtain some important properties of these topologies. We will show that under the first topology, denoted by τ₀, our probabilistic normed space is decomposable into the topological direct sum of a normable subspace and the subspace of probably null elements. Under the second topology, which is in fact the inductive limit topology of a family of locally convex topologies, the dual space becomes a locally convex topological vector space.     

Pontryagin duality for topological Abelian groups

A topological Abelian group G is Pontryagin reflexive, or P-reflexive for short, if the natural homomorphism of G to its bidual group is a topological isomorphism. We look at the question, set by Kaplan in 1948, of characterizing the topological Abelian groups that are P-reflexive. Thus, we find some conditions on an arbitrary group G that are equivalent to the P-reflexivity of G and give an example that corrects a wrong statement appearing in previously existent characterizations of P-reflexive groups. Received: 10 February 2000 / Published online: 17 May 2001     

Representation and duality for Hilbert algebras

In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. We explore how this duality is related to the duality given in [6] for finite Hilbert algebras, and with the topological duality developed in [7] for Tarski algebras.      

Combinatorial cell complexes and Poincaré duality

We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces, combinatorial cell complexes (or c.c.c). We define orientability, homology and cohomology of c.c.c’s and develop enough algebraic topology in this setting to prove the Poincaré duality theorem for a c.c.c satisfying suitable regularity conditions. The definitions and proofs are completely finitary and combinatorial in nature.     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001     

The Goldstine Theorem for asymmetric normed linear spaces

It is well known that if (X,q) is an asymmetric normed linear space, then the function qs defined on X by qs(x)=max{q(x),q(−x)}, is a norm on the linear space X. However, the lack of symmetry in the definition of the asymmetric norm q yields an algebraic asymmetry in the dual space of (X,q). This fact establishes a significant difference with the standard results on duality that hold in the case of locally convex spaces. In this paper we study some aspects of a reflexivity theory in the setting of asymmetric normed linear spaces. In particular, we obtain a version of the Goldstine Theorem to these spaces which is applied to prove, among other results, a characterization of reflexive asymmetric normed linear spaces.     

Duality between compactness and discreteness beyond pontryagin duality

One of the most striking results of Pontryagin’s duality theory is the duality between compact and discrete locally compact abelian groups. This duality also persists in part for objects associated with noncommutative topological groups. In particular, it is well known that the dual space of a compact topological group is discrete, while the dual space of a discrete group is quasicompact (i.e., it satisfies the finite covering theorem but is not necessarily Hausdorff). The converse of the former assertion is also true, whereas the converse of the latter is not (there are simple examples of nondiscrete locally compact solvable groups of height 2 whose dual spaces are quasicompact and non-Hausdorff (they are T ₁ spaces)). However, in the class of locally compact groups all of whose irreducible unitary representations are finite-dimensional, a group is discrete if and only if its dual space is quasicompact (and is automatically a T ₁ space). The proof is based on the structural theorem for locally compact groups all of whose irreducible unitary representations are finite-dimensional. Certain duality between compactness and discreteness can also be revealed in groups that are not necessarily locally compact but are unitarily, or at least reflexively, representable, provided that (in the simplest case) the irreducible representations of a group form a sufficiently large family and have jointly bounded dimensions. The corresponding analogs of compactness and discreteness cannot always be easily identified, but they are still duals of each other to some extent.     

An Inexact Modified Subgradient Algorithm for Primal-Dual Problems via Augmented Lagrangians

We consider a primal optimization problem in a reflexive Banach space and a duality scheme via generalized augmented Lagrangians. For solving the dual problem (in a Hilbert space), we introduce and analyze a new parameterized Inexact Modified Subgradient (IMSg) algorithm. The IMSg generates a primal-dual sequence, and we focus on two simple new choices of the stepsize. We prove that every weak accumulation point of the primal sequence is a primal solution and the dual sequence converges weakly to a dual solution, as long as the dual optimal set is nonempty. Moreover, we establish primal convergence even when the dual optimal set is empty. Our second choice of the stepsize gives rise to a variant of IMSg which has finite termination.     

Duality and Reflexivity of Spaces of Approximable Polynomials on Locally Convex Spaces

 We develop a duality theory for spaces of approximable n-homogeneous polynomials on locally convex spaces, generalising results previously obtained for Banach spaces. For E a Fréchet space with its dual having the approximation property and with E′ _b locally Asplund we show that the space of n-homogeneous polynomials on (E′ _b )′ _b is the inductive dual of the space of boundedly weakly continuous n-homogeneous polynomials on E. We show that when E is a reflexive Fréchet space, the space of n-homogeneous polynomials on E is reflexive if and only if every n-homogeneous polynomial on E is boundedly weakly continuous.