On the linear weak topology and dual pairings over rings. (Q1779233): Difference between revisions

The properties of linear weak topologies associated to pairings over commutative fields are well known. However, those properties are not valid anymore for the case of an arbitrary base ring. The author studies them using module theoretic methods. Let \(P=(V,W)\) be a pairing where \(V\) and \(W\) are right and left \(R\)-modules, respectively. The linear weak topology on \(V\) makes the canonical map \(\kappa_P\colon V\to{^*W}\) continuous where \(^*W\) has the finite topology, i.e., the induced relative topology from \(R^W\) (\(R\) has the discrete topology and \(R^W\) the product one). Some results obtained are the characterizations of closure and density when \(R_R\) is an injective cogenerator (more precise results are proved when \(R\) is a QF-ring), and continuity of some module maps. The last section concerns the \(\alpha\)-condition on pairings. This condition is used in the study of duality theorems of Hopf algebras. It says that for every right \(R\)-module \(M\) the canonical map \(\alpha_M^P\colon M\otimes_RW\to\Hom_R(V,M)\) is injective. Of course this property is connected with flatness and purity of \(R\)-modules. The author uses the \(\alpha\)-condition to characterize when \(P\) is dense, i.e. \(\kappa_P(V)\subseteq{^*W}\) is a dense subspace, and \(W\) locally projective (in the sense of Zimmermann-Huisgen).