Categories of projective spaces

Abelian categories, Grothendieck categories (18E10) Categories in geometry and topology (18F99) Affine analytic geometry (51N10) Projective analytic geometry (51N15)

Review text

Starting with an abelian category \({\mathcal A}\), a natural construction [the second author, ``Transfer functors and projective spaces, Math. Nachr. 118, 147-165 (1984; Zbl 0556.18005)] produces a category \(\mathbb{P} {\mathcal A}\) such that if \({\mathcal A}\) is a category of vector spaces, then \(\mathbb{P} {\mathcal A}\) is the corresponding category of projective spaces. Now the authors introduce an abstract notion of projective category and, generalizing the theory of additive relations, describe an abelianization construction \(\mathbb{A} : \text{(Projective categories)} \to \text{(Abelian categories)}\), so that \(\mathbb{A} \mathbb{P} {\mathcal A}\) is canonically equivalent to \({\mathcal A}\) if \({\mathcal A}\) is abelian, and \(\mathbb{P} \mathbb{A} {\mathcal P}\) is canonically equivalent to \({\mathcal P}\) if \({\mathcal P}\) is projective. This nice ``one-to-one correspondence between the abelian and projective categories deeply reflects the relationship between the affine and projective geometries.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Categories of projective spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1916430)