<p>In this paper we study a generalization of the notion of AS-regularity for connected <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9806_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>-algebras defined in Mori and Nyman (J Pure Appl Algebra, 225(9), 106676, 2021). Our main result is a characterization of those categories equivalent to noncommutative projective schemes associated to right coherent regular <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9806_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>-algebras, which we call quantum projective <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9806_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>-spaces in this paper. As an application, we show that smooth quadric hypersurfaces and the standard noncommutative smooth quadric surfaces studied in Smith and Van den Bergh (J Noncommut Geom 7(3), 817–856, 2013) , Mori and Ueyama (J Noncommut Geom, 15(2), 489–529, 2021) have right noetherian AS-regular <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9806_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Z</mi> </math></EquationSource> </InlineEquation>-algebras as homogeneous coordinate algebras. In particular, the latter are thus noncommutative <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2025_9806_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb P}^1\times {\mathbb P}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>1</mn> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>1</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> [in the sense of Van den Bergh (Int Math Res Not 17:3983–4026, 2011)].</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Categorical Characterization of Quantum Projective \(\mathbb {Z}\)-spaces

  • Izuru Mori,
  • Adam Nyman

摘要

In this paper we study a generalization of the notion of AS-regularity for connected \({\mathbb Z}\) Z -algebras defined in Mori and Nyman (J Pure Appl Algebra, 225(9), 106676, 2021). Our main result is a characterization of those categories equivalent to noncommutative projective schemes associated to right coherent regular \({\mathbb Z}\) Z -algebras, which we call quantum projective \({\mathbb Z}\) Z -spaces in this paper. As an application, we show that smooth quadric hypersurfaces and the standard noncommutative smooth quadric surfaces studied in Smith and Van den Bergh (J Noncommut Geom 7(3), 817–856, 2013) , Mori and Ueyama (J Noncommut Geom, 15(2), 489–529, 2021) have right noetherian AS-regular \({\mathbb Z}\) Z -algebras as homogeneous coordinate algebras. In particular, the latter are thus noncommutative \({\mathbb P}^1\times {\mathbb P}^1\) P 1 × P 1 [in the sense of Van den Bergh (Int Math Res Not 17:3983–4026, 2011)].