A+ CATEGORY SCIENTIFIC UNIT

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

Pierce sheaves and commutative idempotent generated algebras

Volume 240 / 2018

G. Bezhanishvili, P. J. Morandi, B. Olberding Fundamenta Mathematicae 240 (2018), 105-136 MSC: Primary 18F20, 06E15, 54H10; Secondary 13C10, 13C11. DOI: 10.4064/fm94-2-2017 Published online: 7 August 2017

Abstract

Let $R$ be a commutative ring. Pierce duality between the category of commutative rings and the category of ringed Stone spaces with commutative indecomposable stalks can be adapted to the category of commutative $R$-algebras. Examination of morphisms under this duality leads in a natural way to a class of faithfully flat commutative idempotent generated $R$-algebras that we term locally Specker $R$-algebras. We study locally Specker $R$-algebras in detail. We show that every such $R$-algebra $A$ is uniquely determined by a Boolean algebra homomorphism from the Boolean algebra of idempotents of $R$ into that of $A$; this in turn leads to a dual equivalence between the category ${\sf LSp}_R$ of locally Specker $R$-algebras and bundles $Y \rightarrow X$, where $Y$ is a Stone space and $X$ is the Pierce spectrum of $R$. We also show that the concept of a locally Specker $R$-algebra generalizes functorial constructions of Bergman and Rota.

The algebraic and categorical properties of locally Specker $R$-algebras are useful for illuminating the category ${\sf IG}_R$ of commutative idempotent generated $R$-algebras. We show that ${\sf LSp}_R$ is the least epicoreflective subcategory of ${\sf IG}_R$, and hence every commutative idempotent generated $R$-algebra can be presented as the image of a locally Specker $R$-algebra in a canonical way. We also situate the category ${\sf LSp}_R$ homologically in ${\sf IG}_R$ by examining the algebras in ${\sf IG}_R$ that when considered as an $R$-module are free, projective or flat. If $R$ is an indecomposable ring, then for algebras in ${\sf IG}_R$ all three notions coincide with that of being locally Specker. If $R$ is not indecomposable, then in general the four notions diverge. However, we identify the classes of rings $R$ for which any two coincide.

Authors

  • G. BezhanishviliDepartment of Mathematical Sciences
    New Mexico State University
    Las Cruces, NM 88003, U.S.A.
    e-mail
  • P. J. MorandiDepartment of Mathematical Sciences
    New Mexico State University
    Las Cruces, NM 88003, U.S.A.
    e-mail
  • B. OlberdingDepartment of Mathematical Sciences
    New Mexico State University
    Las Cruces, NM 88003, U.S.A.
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image