English

The Zariski covering number for vector spaces and modules

Commutative Algebra 2022-03-31 v3

Abstract

Given a KK-vector space VV, let σ(V,K)\sigma(V,K) denote the covering number, i.e. the smallest (cardinal) number of proper subspaces whose union covers VV. Analogously, define σ(M,R)\sigma(M,R) for a module MM over a unital commutative ring RR; this includes the covering numbers of Abelian groups, which are extensively studied in the literature. Recently, Khare-Tikaradze [Comm. Algebra, in press] showed for several classes of rings RR and RR-modules MM that σ(M,R)=minmSMR/m+1\sigma(M,R)=\min_{\mathfrak{m}\in S_M} |R/\mathfrak{m}| + 1, where SMS_M is the set of maximal ideals m\mathfrak{m} such that dimR/m(M/mM)2\dim_{R/\mathfrak{m}}(M/\mathfrak{m}M)\geq 2. (That σ(M,R)minmSMR/m+1\sigma(M,R)\leq\min_{\mathfrak{m}\in S_M}|R/\mathfrak{m}|+1 is straightforward.) Our first main result extends this equality to all RR-modules with small Jacobson radical and finite dual Goldie dimension. We next introduce a topological counterpart for finitely generated RR-modules MM over rings RR, whose 'some' residue fields are infinite, which we call the Zariski covering number στ(M,R)\sigma_\tau(M,R). To do so, we first define the "induced Zariski topology" τ\tau on MM, and now define στ(M,R)\sigma_\tau(M,R) to be the smallest (cardinal) number of proper τ\tau-closed subsets of MM whose union covers MM. We first show that our choice of topology implies that στ(M,R)σ(M,R)\sigma_\tau(M,R)\leq\sigma(M,R), the covering number. We then show our next main result: στ(M,R)=minmSMR/m+1\sigma_\tau(M,R)=\min_{\mathfrak{m}\in S_M} |R/\mathfrak{m}|+1, for all finitely generated RR-modules MM for which (a) the dual Goldie dimension is finite, and (b) mSM\mathfrak{m}\notin S_M whenever R/mR/\mathfrak{m} is finite. As a corollary, this alternately recovers the above formula for the covering number σ(M,R)\sigma(M,R) of the aforementioned finitely generated modules. We also extend these topological studies to general finitely generated RR-modules, using the notion of κ\kappa-Baire spaces.

Keywords

Cite

@article{arxiv.2108.12853,
  title  = {The Zariski covering number for vector spaces and modules},
  author = {Soham Ghosh},
  journal= {arXiv preprint arXiv:2108.12853},
  year   = {2022}
}

Comments

23 pages. Final version, to appear in Communications in Algebra

R2 v1 2026-06-24T05:30:20.228Z