[Paper Review] A categorical characterization of quantum projective spaces

Izuru Mori, Kenta Ueyama|arXiv (Cornell University)|Aug 1, 2017

Algebraic structures and combinatorial models22 references3 citations

TL;DR

This paper provides a categorical characterization of quantum projective spaces by identifying necessary and sufficient conditions for a k-linear abelian category 𝒞 to be equivalent to the noncommutative projective scheme associated with an AS-regular algebra. It establishes that such equivalence holds precisely when 𝒞 admits a canonical bimodule, an ample pair (𝒪, s), and a full geometric relative helix of period ℓ. The key contribution is a noncommutative generalization of the classical result for smooth quadric surfaces in ℙ³, showing such surfaces arise as tails of AS-regular algebras over the 2-Kronecker quiver algebra kK₂.

ABSTRACT

Let $R$ be a finite dimensional algebra of finite global dimension over a field $k$. In this paper, we will characterize a $k$-linear abelian category $\mathscr C$ such that $\mathscr C\cong \operatorname {tails} A$ for some graded right coherent AS-regular algebra $A$ over $R$. As an application, we will prove that if $\mathscr C$ is a smooth quadric surface in a quantum $\mathbb P^3$ in the sense of Smith and Van den Bergh, then there exists a right noetherian AS-regular algebra $A$ over $kK_2$ of dimension 3 and of Gorenstein parameter 2 such that $\mathscr C\cong \operatorname {tails} A$ where $kK_2$ is the path algebra of the 2-Kronecker quiver.

Motivation & Objective

• To provide a complete categorical characterization of quantum projective spaces as noncommutative projective schemes associated with AS-regular algebras.
• To determine necessary and sufficient conditions on a k-linear abelian category 𝒞 to be equivalent to tails(A) for some AS-regular algebra A over a finite-dimensional algebra R.
• To generalize the classical correspondence between smooth quadric surfaces in ℙ³ and AS-regular algebras to the noncommutative setting of quantum ℙ³.
• To establish that smooth quadric surfaces in Smith and Van den Bergh’s quantum ℙ³ are equivalent to tails(A) for a right noetherian AS-regular algebra A over kK₂ of dimension 3 and Gorenstein parameter 2.

Proposed method

• The authors define and utilize the notion of a relative helix in the bounded derived category D^b(𝒞), specifically a full geometric relative helix of period ℓ generated by shifts of a single object 𝒪.
• They introduce the concept of an ample algebraic pair (𝒪, s), where s is a k-linear autoequivalence of 𝒞 and (𝒪, s) satisfies ampleness conditions analogous to those in Artin and Zhang’s framework.
• The construction relies on the existence of a canonical bimodule ω_𝒞, which induces a Serre functor on D^b(𝒞), ensuring the category has a well-behaved duality structure.
• The main result is derived via a categorical characterization theorem (Theorem 4.1) that links the existence of a canonical bimodule, an ample pair, and a full geometric relative helix to the equivalence of 𝒞 to tails(A) for an AS-regular algebra A over R.
• The proof uses properties of graded modules, the category tails(A), and the structure of AS-regular algebras over finite-dimensional algebras of finite global dimension.
• An application is established using the theory of noncommutative quadric surfaces in quantum ℙ³, showing that such surfaces are equivalent to tails(A) for a specific AS-regular algebra A over kK₂.

Experimental results

Research questions

• RQ1 When is a k-linear abelian category 𝒞 equivalent to a noncommutative projective scheme associated with an AS-regular algebra over a finite-dimensional algebra R of finite global dimension?
• RQ2 What categorical conditions ensure that a category 𝒞 admits a canonical bimodule and supports a full geometric relative helix of period ℓ?
• RQ3 Can the classical correspondence between smooth quadric surfaces in ℙ³ and AS-regular algebras be extended to the noncommutative setting of quantum ℙ³?
• RQ4 Does every smooth quadric surface in a quantum ℙ³ arise as tails(A) for some AS-regular algebra A over the 2-Kronecker quiver algebra kK₂?
• RQ5 What are the homological and structural properties of the AS-regular algebra A over kK₂ such that tails(A) is equivalent to a smooth quadric surface in a quantum ℙ³?

Key findings

• A k-linear abelian category 𝒞 is equivalent to tails(A) for some AS-regular algebra A over R if and only if 𝒞 has a canonical bimodule ω_𝒞 and admits an ample pair (𝒪, s) such that {s^i𝒪} forms a full geometric relative helix of period ℓ in D^b(𝒞).
• For any smooth quadric surface 𝒞 in a quantum ℙ³ in the sense of Smith and Van den Bergh, there exists a right noetherian AS-regular algebra A over kK₂ of dimension 3 and Gorenstein parameter 2 such that 𝒞 ≅ tails(A).
• The algebra A is constructed as B(tails(A), 𝒪, s), a generalized AS-regular algebra over kK₂, and is shown to be right noetherian via the main characterization theorem.
• The equivalence tails(A) ≅ tails(B) holds even when the underlying algebra is non-standard, as demonstrated by the example of A^σ, which is non-standard but categorically equivalent to the standard algebra A.
• The Gorenstein parameter of the resulting algebra A is 2, and its dimension is 3, matching the expected homological dimension of a quantum 3-fold.
• The result confirms that the noncommutative quadric surface in quantum ℙ³ is not only categorically equivalent to a noncommutative projective scheme but also arises from a well-behaved AS-regular algebra over kK₂.