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

DOI10.1090/TRAN/6908arXiv1507.02497MaRDI QIDQ6263443FDOQ6263443

Authors: S. Paul Smith 

Publication date: 9 July 2015

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 $k$ be a field, $A$ a left and right noetherian $mathbbN$-graded $k$-algebra such that ${mdim}_k(A_n)<infty$ for all $n$, and $J$ a graded two-sided ideal of $A$. If the non-commutative scheme ${sfProj}_{nc}(A)$ is isomorphic to a projective scheme $X$, then there is a closed subscheme $ZsubseteqX$ such that ${sfProj}_{nc}(A/J)$ is isomorphic to $Z$. This result is a geometric translation of what we actually prove: if the category $sfQGr(A)$ is equivalent to $sfQcoh(X)$, then $sfQGr(A/J)$ is equivalent to $mQcoh(Z)$ for some closed subscheme $ZsubseteqX$.

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Rings arising from noncommutative algebraic geometry (16S38)

This page was built for publication: Corrigendum to "Maps between non-commutative spaces" [Trans. Amer. Math. Soc., 356(7) (2004) 2927-2944]

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