On the Relative Projective Space

Abstract

Let $(\mathcal{C},\otimes ,1)$ be an abelian symmetric monoidal category satisfying certain exactness conditions. In this paper we define a presheaf ${\mathbb{P}}_{\mathcal{C}}^n$ on the category of commutative algebras in $\mathcal{C}$ and we prove that this functor is a $\mathcal{C}$-scheme in the sense of Toen and Vaquié. This construction gives us a context of non-associative relative algebraic geometry. The most important example of the construction is the octonionic projective space.

arXiv comment23 pages

References in corpus (1)

• Tensor categorical foundations of algebraic geometry