Locally quasi-convex compatible topologies on a topological group (Q2400533)

Summary: For a locally quasi-convex topological abelian group \((G,\tau)\), we study the poset \(\mathcal C(G,\tau)\) of all locally quasi-convex topologies on \(G\) that are compatible with \(\tau\) (i.e., have the same dual as \((G,\tau)\)) ordered by inclusion. Obviously, this poset has always a bottom element, namely the weak topology \(\sigma(G,\hat{G})\). Whether it has also a top element is an open question. We study both quantitative aspects of this poset (its size) and its qualitative aspects, e.g., its chains and anti-chains. Since we are mostly interested in estimates ``from below'', our strategy consists of finding appropriate subgroups \(H\) of \(G\) that are easier to handle and show that \(\mathcal C(H)\) and \(\mathcal C(G/H)\) are large and embed, as a poset, in \(\mathcal C(G,\tau)\). Important special results are: (i) if \(K\) is a compact subgroup of a locally quasi-convex group \(G\), then \(\mathcal C(G)\) and \(\mathcal C(G/K)\) are quasi-isomorphic (3.15); (ii) if \(D\) is a discrete abelian group of infinite rank, then \(\mathcal C(D)\) is quasi-isomorphic to the poset \(\mathfrak F_D\) of filters on \(D\) (4.5). Combining both results, we prove that for an LCA (locally compact abelian) group \(G\) with an open subgroup of infinite co-rank (this class includes, among others, all non-\(\sigma\)-compact LCA groups), the poset \(\mathcal C(G)\) is as big as the underlying topological structure of \((G,\tau)\) (and set theory) allows. For a metrizable connected compact group \(X\), the group of null sequences \(G=c_0(X)\) with the topology of uniform convergence is studied. We prove that \(\mathcal C(G)\) is quasi-isomorphic to \(\mathcal P(\mathbb R)\) (6.9).