On the structure presheaf of a differential ring
type: Item
instance of: scholarly article
title: On the structure presheaf of a differential ring
zbMATH Open document ID: 0544.13018
DOI: 10.1016/0022-4049(83)90012-9
author: William F. Keigher
published in: Journal of Pure and Applied Algebra
publication date: 1983-01-01T00:00:00Z
review text: The author considers an extension to differential algebra of an equivalent definition of the usual structure sheaf \(\tilde A\) of a commutative ring A. The new definition is obtained by consideration of a family C of ideals of A. One then defines a presheaf \(\tilde A_ C\) by means of rings of fractions \(S^{-1}A\) relative to C. When the family C consists of all ideals in A, the usual definition of \(\tilde A\) is recovered. Properties of the family C are reflected in the presheaf \(\tilde A_ C\), and it is shown that under certain conditions on C, the presheaf \(\tilde A_ C\) is a sheaf. Implications of this result are considered when A is a differential ring and C is the family of differential ideals in A. In particular, one is able to identify the differential ring \(A_ D\) of global sections of \(\tilde A\) as a ring of fractions when A is ''very nice'', and even show that \(A_ D\cong A\) under certain conditions on A. In the final section the usual pair of adjoint functors given by Spec and global sections between the categories of commutative rings and local ringed spaces is extended to the differential case. One problem which arises in the differential case is that a morphism \(Spec_ DB\to Spec_ DA\) of local differential ringed spaces, where A and B are differential rings, may not correspond to a differential ring homomorphism \(A\to B\), unlike the usual situation in algebraic geometry. However, when one restricts attention to the case when A and B are very nice, the correspondence between morphisms \(Spec_ DB\to Spec_ DA\) and differential ring homomorphisms \(A\to B\) is recovered.
Mathematics Subject Classification ID: 13N05
Mathematics Subject Classification ID: 13A15
Mathematics Subject Classification ID: 14A05
Mathematics Subject Classification ID: 13B10
zbMATH DE Number: 3865455
zbMATH Keywords: structure sheaf
zbMATH Keywords: differential ring
MaRDI profile type: Publication
full work available at URL: 0022-4049(83)90012-9
OpenAlex ID: W1991097751
cites work: Ritt schemes and torsion theory
cites work: Q5662607
cites work: Q5682405
cites work: Radical Regularity in Differential Rings
cites work: Q5602063
cites work: Q3255437
cites work: Adjunctions and comonads in differential algebra
cites work: Q4148074
cites work: Symmetric monoidal comonads and differential algebra
cites work: On the quasi-affine scheme of a differential ring
cites work: Differential rings constructed from quasi-prime ideals
cites work: Q5680222
cites work: Q5639839
cites work: Rings and modules of quotients
description: scientific article; zbMATH DE number 3865455