English

Corrigendum to "Maps between non-commutative spaces" [Trans. Amer. Math. Soc., 356(7) (2004) 2927-2944]

Rings and Algebras 2016-01-28 v2

Abstract

The statement of Lemma 3.1 in the published paper is not correct. Lemma 3.1 is needed for the proof of Theorem 3.2. Theorem 3.2 as originally stated is true but its "proof" is not correct. Here we change the statements and proofs of Lemma 3.1 and Theorem 3.2. We also prove a new result. Let kk be a field, AA a left and right noetherian N\mathbb{N}-graded kk-algebra such that dimk(An)<{\rm dim}_k(A_n)< \infty for all nn, and JJ a graded two-sided ideal of AA. If the non-commutative scheme Projnc(A){\sf Proj}_{nc}(A) is isomorphic to a projective scheme XX, then there is a closed subscheme ZXZ \subseteq X such that Projnc(A/J){\sf Proj}_{nc}(A/J) is isomorphic to ZZ. This result is a geometric translation of what we actually prove: if the category QGr(A){\sf QGr}(A) is equivalent to Qcoh(X){\sf Qcoh}(X), then QGr(A/J){\sf QGr}(A/J) is equivalent to Qcoh(Z){\rm Qcoh}(Z) for some closed subscheme ZXZ \subseteq X.

Keywords

Cite

@article{arxiv.1507.02497,
  title  = {Corrigendum to "Maps between non-commutative spaces" [Trans. Amer. Math. Soc., 356(7) (2004) 2927-2944]},
  author = {S. Paul Smith},
  journal= {arXiv preprint arXiv:1507.02497},
  year   = {2016}
}

Comments

v2 changed after referee's report. Added a hypothesis on A in Lemma 1.1 to ensure that the first left derived functor exists. In Lemma 1.1(2) an isomorphism is replaced by an equality and the proof is changed accordingly. Small change to the statement of Theorem 1.3