1 Introduction
Calabi–Yau varieties are rich objects and play an important role in mathematics and physics. In noncommutative algebraic geometry, (skew) Calabi–Yau algebras are often treated as noncommutative analogs of Calabi–Yau varieties. Calabi–Yau algebras have a deep relationship with quiver algebras (see [Reference Ginzburg8, Reference Van den Bergh31]). For example, many known Calabi–Yau algebras are constructed by using quiver algebras. They are also used to characterize Artin–Schelter regular algebras (see [Reference Reyes and Rogalski24, Reference Reyes, Rogalski and Zhang25]). In particular, a connected graded algebra A over a field k is Artin–Schelter regular if and only if A is skew Calabi–Yau.
On the other hand, a triangulated subcategory of the derived category of a cubic fourfold in
$\mathbb {P}^5$
, which is obtained by some semiorthogonal decompositions, has the 2-shift functor
$[2]$
as the Serre functor. Moreover, the structure of Hochschild (co)homology is the same as that of a projective K3 surface (see [Reference Kuznetsov13]). However, some such categories are not obtained as the derived categories of coherent sheaves of projective K3 surfaces and called noncommutative K3 surfaces.
Artin and Zhang constructed a framework of noncommutative projective schemes in [Reference Artin and Zhang1], which are defined from noncommutative graded algebras. In this framework, we can think of Artin–Schelter regular algebras as noncommutative analogs of projective spaces, which are called quantum projective spaces. Our objective is to produce examples of noncommutative projective Calabi–Yau schemes that are not obtained from commutative Calabi–Yau varieties. In the future, it would be an interesting question to compare the derived category of a noncommutative projective Calabi–Yau scheme created in the framework of Artin–Zhang’s noncommutative projective schemes with a noncommutative K3 surface obtained as a triangulated subcategory of the derived category of a cubic fourfold.
As the definition of noncommutative projective Calabi–Yau schemes, we adopt the definition introduced by Kanazawa [Reference Kanazawa12]. His definition is a direct generalization of the definition of commutative Calabi–Yau varieties to noncommutative projective schemes. He also constructed the first examples of noncommutative projective Calabi–Yau schemes that are not isomorphic to commutative Calabi–Yau varieties as hypersurfaces of quantum projective spaces. Recently, some examples constructed by Kanazawa play an important role in noncommutative Donaldson–Thomas theory (see [Reference Liu14, Reference Liu15]).
In this paper, we construct new examples of noncommutative projective Calabi–Yau schemes by using noncommutative Segre products and weighted hypersurfaces. There are many known examples of Calabi–Yau varieties in algebraic geometry. Some of them are complete intersections in products of projective spaces. Moreover, Reid gave a list of Calabi–Yau surfaces, which are hypersurfaces in weighted projective spaces (see [Reference Iano-Fletcher, Corti and Reid11, Table 1 in Section 13.3], [Reference Reid23, Theorem 4.5]). Motivated by these two facts, we construct noncommutative analogs of the two types of examples of Calabi–Yau varieties (Theorems 3.3 and 3.15) in Section 3.
In order to prove that a noncommutative projective scheme is Calabi–Yau, we use the methods of Kanazawa. However, they are not sufficient because the algebras we treat are more complicated than the ones he considered. In order to construct noncommutative projective Calabi–Yau schemes as noncommutative analogs of complete intersections in Segre products, we perform a more detailed analysis of noncommutative projective schemes defined by
$\mathbb {Z}^2$
-graded algebras, which were studied by Van Rompay [Reference Van Rompay32]. A different approach to noncommutative Segre products is also studied in [Reference He and Ueyama9]. In order to construct noncommutative projective Calabi–Yau schemes as noncommutative analogs of weighted hypersurfaces, we consider quotients of weighted quantum polynomial rings. In commutative algebraic geometry, the category
$\mathrm {Coh}(\mathrm {Proj}(k[x_0,\dots ,x_n]))$
of coherent sheaves on the projective spectrum
$\mathrm {Proj}(k[x_0,\dots ,x_n])$
of a weighted polynomial ring is not necessarily equivalent to
$\mathrm {qgr}(k[x_0,\dots ,x_n])$
, where
$\mathrm {qgr}(k[x_0,\dots ,x_n])$
is the quotient category associated with
$k[x_0,\dots ,x_n]$
constructed in [Reference Artin and Zhang1]. In fact,
$\mathrm {qgr}(k[x_0,\dots ,x_n])$
is equivalent to the category of coherent sheaves on a weighted projective space constructed as a Deligne–Mumford stack. Moreover,
$\mathrm {qgr}(k[x_0,\dots ,x_n])$
is thought of as a nonsingular model of
$\mathrm {Proj}(k[x_0,\dots ,x_n])$
(see [Reference Smith28, Example 4.9]). We use this idea to construct new noncommutative projective Calabi–Yau schemes. In addition, it should be noted that local structures of noncommutative projective schemes of quotients of weighted quantum polynomial rings are somewhat complicated. An analysis of the local structures was performed by Smith [Reference Smith28]. We show that the local structure obtained in [Reference Smith28] is described by the notion of quasi-Veronese algebras introduced by Mori [Reference Mori18].
In Section 4, we compare our constructions from weighted hypersurfaces in Section 3 with commutative Calabi–Yau varieties and the first examples constructed in [Reference Kanazawa12], focusing on noncommutative projective Calabi–Yau schemes of dimensions 2. We show that some of our constructions in Section 3 are not isomorphic to any of the commutative Calabi–Yau varieties and the first examples constructed in [Reference Kanazawa12] (Proposition 4.9). When we consider moduli spaces of point modules of noncommutative projective schemes obtained from weighted hypersurfaces in Section 3, there is a problem, which is that in general weighted quantum polynomial rings are not generated in degree
$1$
. So, the notion of point modules is not necessarily useful in this case. In this paper, we use theories of closed points studied in [Reference Mori19, Reference Smith26, Reference Smith27], etc. A different approach to closed points of weighted quantum polynomial rings is studied in [Reference Stephenson29]. The notion of point modules defined in [Reference Stephenson29] corresponds to those of ordinary and thin points in [Reference Mori19]. To show that some of our constructions are not isomorphic to the examples obtained in [Reference Kanazawa12], we use Morita theory of noncommutative schemes, which is established in [Reference Burban and Drozd5] (see also [Reference Artin and Zhang1, Section 6]). In the theory, we need to calculate the centers of noncommutative rings. By using these calculations, we can do a detailed analysis and some classifications of noncommutative projective Calabi–Yau surfaces.
2 Preliminaries
Notation and Terminology 2.1 In this article, k denotes an algebraically closed field of characteristic 0. We suppose
$\mathbb {N}$
contains
$0$
. Let A be a k-algebra, let M be an A-bimodule, and let
$\psi , \phi $
be algebra automorphisms of A. Then, we denote the associated A-bimodule by
$^{\psi }M^{\phi }$
, i.e.,
${}^\psi M^{\phi } = M$
as k-modules and the new bimodule structure is given by
$a*m*b := \psi (a)m\phi (b)$
for all
$a,b \in A$
and all
$m \in M$
. Let
$\mathcal {C}$
be a k-linear abelian category. We denote the global dimension of
$\mathcal {C}$
by
$\mathrm {gl.dim}(\mathcal {C})$
. An
$\mathbb {N}$
-graded k-algebra A is connected if
$A_0=k$
.
For any
$\mathbb {N}$
-graded k-algebra
$A = \bigoplus _{i=0}^{\infty }A_i$
, we denote the category of graded right A-modules (resp. finitely generated graded right A-modules) by
$\mathrm {Gr}(A)$
(resp.
$\mathrm {gr}(A)$
). Let
$M \in \mathrm {Gr}(A)$
and
$A^\circ $
be the opposite algebra of A. We define the Matlis dual
$M^* \in \mathrm {Gr}(A^\circ )$
by
$M^*_i := \mathrm {Hom}_{k}(M_{-i},k)$
and the shift
$M(n) \in \mathrm {Gr}(A)$
by
$M(n)_i := M_{i+n} \ (i,n \in \mathbb {Z})$
. For
$M,N \in \mathrm {Gr}(A)$
, we write
${\mathrm {Hom}}_A(M,N) := \bigoplus _{n \in \mathbb {Z}} \mathrm {Hom}_{\mathrm {Gr(A)}}(M,N(n)) \in \mathrm {Gr}(A)$
. For
$M \in \mathrm {Gr}(A)$
and a homogeneous element
$m \in M$
, we denote the degree of m by
$\mathrm {deg}(m)$
. We define the truncation
$M_{\geq n} := \bigoplus _{i \geq n} M_i \in \mathrm {Gr}(A) \ (n \in \mathbb {Z})$
. An element
$m \in M$
is called torsion if
$mA_{\geq n}=0$
for
$n \gg 0$
. We say M is a torsion module if any element of M is torsion. We denote the subcategory of torsion modules in
$\mathrm {Gr}(A)$
(resp.
$\mathrm {gr}(A)$
) by
$\mathrm {Tor}(A)$
(resp.
$\mathrm {tor}(A)$
).
Definition 2.2 [Reference Artin and Zhang1, Section 2]
Let A be a right Noetherian
$\mathbb {N}$
-graded k-algebra. We define the quotient categories
$\mathrm {QGr(A)} :=\mathrm {Gr}(A)/\mathrm {Tor}(A)$
and
$\mathrm {qgr(A)}:=\mathrm {gr}(A)/\mathrm {tor}(A)$
. We denote the projection functor by
$\pi $
and its right adjoint functor by
$\omega .$
The general (resp. Noetherian) projective scheme of A is defined as
$\mathrm {Proj}(A) := (\mathrm {QGr}{(A)}, \pi (A))$
(resp.
$\mathrm {proj}(A) := (\mathrm {qgr}{(A)}, \pi (A))$
).
Definition 2.3 [Reference Artin and Zhang1, Section 2], [Reference Smith26, Chapter 3]
A quasi-scheme over k is a pair
$(\mathcal {C}, \mathcal {O}),$
where
$\mathcal {C}$
is a k-linear abelian category and
$\mathcal {O}$
is an object in
$\mathcal {C}$
. A morphism from a quasi-scheme
$(\mathcal {C}, \mathcal {O})$
to another quasi-scheme
$(\mathcal {C}', \mathcal {O}')$
is a pair
$(F,\varphi )$
consisting of a k-linear right exact functor
$F:\mathcal {C} \rightarrow \mathcal {C}'$
and an isomorphism
$\varphi : F(\mathcal {O}) \overset {\simeq }{\rightarrow } \mathcal {O}'$
. We call
$(F,\varphi )$
is an isomorphism if F is an equivalence.
When A is as in Definition 2.2, we think of
$\mathrm {proj(A)} = (\mathrm {qgr}(A), \pi (A))$
as a quasi-scheme. For any (commutative) Noetherian scheme X,
$(\mathrm {Coh}(X), \mathcal {O}_X)$
is also a quasi-scheme. From this observation, we regard X as a quasi-scheme.
Definition 2.4 [Reference Van den Bergh30, Section 4], [Reference Yekutieli35, Section 4]
Let
$A,B$
be
$\mathbb {N}$
-graded k-algebras and let
$m_{A}$
be
$A_{\geq 1}$
. We define the torsion functor
$\Gamma _{m_A}: \mathrm {Gr}(A \otimes _k B^\circ ) \rightarrow \mathrm {Gr}(A \otimes _k B^\circ )$
by
$\Gamma _{m_A}(M) := \{m \in M \mid mA_{\geq n} = 0 \text { for some }n \in \mathbb {N} \}$
. We write
$H^i_{m_A}:=\mathrm {R}^i\Gamma _{m_A}$
.
Definition 2.5 [Reference Van den Bergh30, Definitions 6.1 and 6.2], [Reference Yekutieli35, Definitions 3.3 and 4.1]
Let A be a right and left Noetherian connected
$\mathbb {N}$
-graded k-algebra and let
$A^e$
be the enveloping algebra of A. Let R be an object of
$\mathrm {D^b}(\mathrm {Gr}(A^e))$
. Then, R is called a dualizing complex of A if (1) R has finite injective dimension over A and
$A^\circ $
, (2) the cohomologies of R are finitely generated as both A and
$A^\circ $
-modules, (3) the natural morphisms
$A \rightarrow \mathrm {RHom}_A(R,R)$
and
$A \rightarrow \mathrm {RHom}_{A^\circ }(R,R)$
are isomorphisms in
$\mathrm {D^b}(\mathrm {Gr}(A^e))$
. Moreover, R is called balanced if
$\mathrm {R}\Gamma _{m_A}(R) \simeq A^*$
and
$\mathrm {R}\Gamma _{m_{A^\circ }}(R) \simeq A^*$
in
$\mathrm {D^b}(\mathrm {Gr}(A^e))$
.
3 Calabi–Yau conditions
Definition 3.1 [Reference Kanazawa12, Section 2.2]
Let A be a connected right Noetherian
$\mathbb {N}$
-graded k-algebra. Then,
$\mathrm {proj}(A)$
is a noncommutative projective Calabi–Yau scheme of dimension n if the global dimension of
$\mathrm {qgr}(A)$
is n and the Serre functor of the derived category
$\mathrm {D^b}(\mathrm {qgr}(A))$
is the n-shift functor
$[n]$
.
Remark 3.2 Actually, we do not need the condition that the global dimension of
$\mathrm {qgr}(A)$
is n. If the Serre functor of the derived category
$\mathrm {D^b}(\mathrm {qgr}(A))$
is the n-shift functor
$[n]$
, then we can easily show that this condition holds. However, when we prove the existence of the Serre functor of
$\mathrm {D^b}(\mathrm {qgr}(A))$
, we essentially need the condition that the global dimension of
$\mathrm {qgr}(A)$
is n (cf. [Reference De Naeghel and Van den Bergh6, Theorem A.4 and Corollary A.5], Lemma 3.10).
3.1
$\mathbb {Z}^2$
-graded algebras and Segre products
In commutative algebraic geometry, a smooth complete intersection
$X \subset \mathbb {P}^{n} \times \mathbb {P}^{m}$
of bidegrees
$(n+1,0)$
and
$(0,m+1)$
provides a Calabi–Yau variety. We also have a little more complicated example that gives a Calabi–Yau variety. That is a smooth complete intersection of bidegrees
$(n,0)$
(resp.
$(n+1,0)$
) and
$(1,n+1)$
in
$\mathbb {P}^{n} \times \mathbb {P}^{n}$
(resp.
$\mathbb {P}^{n+1} \times \mathbb {P}^{n}$
). We construct noncommutative analogs of these examples.
Let C be an
$\mathbb {N}^2$
-graded k-algebra. We denote the category of
$\mathbb {Z}^2$
-graded right C-modules (resp. finitely generated
$\mathbb {Z}^2$
-graded right C-modules) by
$\mathrm {BiGr}(C)$
(resp.
$\mathrm {bigr}(C)$
). Let
$M \in \mathrm {BiGr}(C)$
. We denote by
$C^\circ $
(resp.
$C^e$
) the opposite (resp. enveloping) algebra of C. We define the Matlis dual
$M^{*} \in \mathrm {BiGr}(C^\circ )$
by
$M^*_{i,j} := \mathrm {Hom}_k(M_{-i,-j},k)$
and the shift
$M(n,m) \in \mathrm {BiGr}(C) $
by
$ M(m,n)_{i,j} := M_{i+m,j+n} \ (m, n, i, j \in \mathbb {Z})$
. For
$M,N \in \mathrm {BiGr}(C)$
, we write
${\mathrm {Hom}}_C(M,N):= \bigoplus _{m,n \in \mathbb {Z}}\mathrm {Hom}_{\mathrm {BiGr(C)}}(M,N(m,n))$
. For a bihomogeneous element
$m \in M$
, we denote the bidegree of m by
$\mathrm {bideg}(m)$
.
Let
$M \in \mathrm {BiGr}(C)$
. We define the truncation
$M_{\geq n, \geq n} := \bigoplus _{i\geq n,j \geq n}M_{i,j} \in \mathrm {BiGr}(C) (n \in \mathbb {Z})$
. We say
$m \in M$
is torsion if
$m C_{\geq n, \geq n} =0$
for
$n \gg 0$
. If all
$m \in M$
are torsion, then M is called a torsion C-module. We denote the category of
$\mathbb {Z}^2$
-graded torsion C-modules by
$\mathrm {Tor}(C)$
. We also define
$\mathrm {tor}(C)$
to be the intersection of
$\mathrm {bigr}(C)$
and
$\mathrm {Tor}(C)$
. When we assume that C is right Noetherian, we have the quotient categories
$\mathrm {QBiGr}(C):= \mathrm {BiGr}(C) / \mathrm {Tor}(C)$
and
$\mathrm {qbigr}(C) := \mathrm {bigr}(C)/\mathrm {tor}(C)$
(cf. [Reference Van Rompay32, Section 2]). We denote the projection functor by
$\pi $
and its right adjoint functor by
$\omega $
. We can define the general (resp. Noetherian) projective scheme
$\mathrm {Proj}(C)$
(resp.
$\mathrm {proj}(C)$
) associated with C and the notion of noncommutative projective Calabi–Yau schemes as in the case of
$\mathbb {N}$
-graded algebras.
Let D be an
$\mathbb {N}^2$
-graded algebra. We take the tensor product
$C \otimes _k D^\circ $
of C and
$D^\circ $
over k. We think of
$C \otimes _k D^\circ $
as an
$\mathbb {N}^2$
-graded algebra by
$(C \otimes _k D^\circ )_{i,j} := \bigoplus _{i_1+i_2=i,j_1+j_2=j} C_{i_1,j_1} \otimes _k D_{i_2,j_2}^\circ $
. We define
$m_{C_{++}} := C_{ \geq 1, \geq 1}$
and the torsion functor
$\Gamma _{m_{C_{++}}} : \mathrm {BiGr}(C \otimes _k D^\circ ) \rightarrow \mathrm {BiGr}(C \otimes _k D^\circ )$
by
$\Gamma _{m_{C_{++}}}(M) := \{m \in M \mid m C_{\geq n, \geq n} = 0 \text { for some }n \in \mathbb {N} \}$
. We write
$m_C:= \bigoplus _{i+j \geq 1 }C_{i,j}$
and define another torsion functor
$\Gamma _{m_C}:\mathrm {BiGr}(C \otimes _k D^\circ ) \rightarrow \mathrm {BiGr}(C \otimes _k D^\circ )$
by
$\Gamma _{m_C}(M) := \{m \in M \mid mC_{\geq n} = 0 \text { for some } n \in \mathbb {N}\}$
, where
$C_{ \geq n}:= \bigoplus _{i+j \geq n} C_{i,j} \in \mathrm {BiGr}(C)$
. See [Reference Reyes, Rogalski and Zhang25, Section 3] for details of
$\Gamma _{m_C}$
. We write
$H^i_{m_{C_{++}}}:= \mathrm {R}^i\Gamma _{m_{C_{++}}}$
and
$H^i_{m_{C}}:= \mathrm {R}^i\Gamma _{m_{C}}$
. The reason we define the functor
$\Gamma _{m_{C_{++}}}$
is that we can describe the Serre duality in
$\mathrm {D^b}(\mathrm {qbigr}(C))$
by using
$\mathrm {R}\Gamma _{m_{C_{++}}}$
(cf. Lemma 3.10). However, it is not easy to calculate the functor
$\mathrm {R}\Gamma _{m_{C_{++}}}$
directly. The reason we define the functor
$\Gamma _{m_{C}}$
is that we can use the theory of
$\mathbb {Z}$
-graded modules to calculate
$\mathrm {R}\Gamma _{m_{C}}$
and we can reduce the calculation of
$\mathrm {R}\Gamma _{m_{C_{++}}}$
to that of
$\mathrm {R}\Gamma _{m_{C}}$
(cf. Lemma 3.6, the proof of Theorem 3.3).
Theorem 3.3 Let
$A := k\langle x_0,\dots , x_n \rangle /(x_jx_i-q_{ji}x_ix_j)_{i,j}$
,
$B := k\langle y_0,\dots , y_m \rangle / (y_jy_i-q^{\prime }_{ji}y_iy_j)_{i,j}$
and
$C := A \otimes _k B$
, where
$q_{ji}, q^{\prime }_{ji} \in k^{\times }$
for all
$i,j$
. We regard C as an
$\mathbb {N}^2$
-graded algebra with
$\mathrm {bideg}(x_i)=(1,0)$
and
$\mathrm {bideg}(y_i)=(0,1)$
for all i.
-
(1) Let
$f := \sum _{i=0}^n x_{i}^{n+1} $
and
$ g := \sum _{i=0}^m y_{i}^{m+1}$
. We assume that (i)
$q_{ii} = q_{ij}q_{ji} = q_{ij}^{n+1} =1$
for all
$i,j$
, (ii)
$q^{\prime }_{ii} = q^{\prime }_{ij}q^{\prime }_{ji} = q_{ij}^{\prime m+1} =1$
for all
$i,j$
.Then,
$\mathrm {proj}(C/(f,g))$
is a noncommutative projective Calabi–Yau scheme of dimension
$(n+m-2)$
if and only if
$\prod _{i=0}^n q_{ij}$
and
$\prod _{i=0}^m q^{\prime }_{ij}$
are independent of j, respectively. -
(2) Suppose that
$m=n+1$
(resp.
$m=n$
) and
$q^{\prime }_{ij}=1$
for all
$i,j$
. Let
$f := \sum _{i=0}^{n} x_i^{n+1}y_i$
and
$g := \sum _{i=0}^{n+1} y_i^{n+1}$
(resp.
$\sum _{i=0}^{n} y_i^{n}$
). We assume that
$q_{ii} = q_{ij}q_{ji} = q_{ij}^{n+1} = 1$
for all
$i,j$
.Then,
$\mathrm {proj}(C/(f,g))$
is a noncommutative projective Calabi–Yau scheme of dimension
$(2n-1) (\text {resp. }(2n-2))$
if and only if
$\prod _{i=0}^{n} q_{ij}$
is independent of j.
Notation 3.4 For simplicity, we denote the bidegrees of
$f,g$
in the theorem by
$(d_0,d_1), (e_0,e_1)$
, respectively.
Remark 3.5
-
•
$f,g$
are central elements in C because of the choices of
$\{q_{ij}\}, \{q^{\prime }_{ij}\}$
. -
• We have
$n+m-2 = d_0+d_1+e_0+e_1-4$
in (1). We have
$2n-1 (\text {resp. } 2n-2) = d_0+d_1+e_0+e_1-4$
also in (2). -
• In (2) of the theorem, even if we do not assume
$q^{\prime }_{ij} = 1$
, the condition for
$f,g$
to be central in C implies
$q_{ij}'=1$
for all
$i,j$
after all. -
• In the theorem, all equations appearing except for g of (2) are Fermat-type equations.
To prove the theorem, we need to show some lemmas. Perhaps some experts may know the following lemmas. However, to the best of the author’s knowledge, there are no references written on those lemmas, so the proofs are given below. In addition, the following proofs do not depend on whether (1) or (2) in the theorem is considered (except for Lemma 3.8).
Lemma 3.6 Let
$\mathcal {R}:=\pi (\mathrm {R}\Gamma _{m_{{C/(f,g)}_{++}}}(C/(f,g))^{*})$
and
$ \mathcal {R}' := \pi (\mathrm {R}\Gamma _{m_{C/(f,g)}}(C/(f,g))^*)$
. Then, the functors
$-\otimes ^{\mathbb {L}}\mathcal {R}$
and
$ -\otimes ^{\mathbb {L}}\mathcal {R}'[-1]$
between
$\mathrm {D(QBiGr}(C/(f,g)))$
and itself are naturally isomorphic.
Proof Let
$I_1,I_2$
be the ideals generated by
$\{x_0,\dots ,x_n \}, \{y_0\cdots ,y_m\}$
, respectively. Then, we have
$m_{{C/(f,g)}_{++}} = I_1 \cap I_2$
,
$m_{C/(f,g)} = I_1 + I_2$
and have the following long exact sequence in
$\mathrm {BiGr}(C/(f,g)^e)$
$$\begin{align*}\cdots \rightarrow H^i_{m_{C/(f,g)}}(C/(f,g)) \rightarrow H^i_{I_1}(C/(f,g)) \oplus H^i_{I_2}(C/(f,g)) \rightarrow H^i_{m_{{C/(f,g)}_{++}}}(C/(f,g)) \rightarrow \cdots \end{align*}$$
by using the Mayer–Vietoris sequence in the sense of [Reference Brodmann and Sharp4, Chapter 3], where
$\Gamma _{I_j} (j=1,2)$
is defined not by using the degrees of
$I_j$
but by using powers of
$I_j$
(i.e.,
$\Gamma _{I_j}(M) := \{m \in M \mid mI_j^n = 0 \text { for some }n\}$
). Note that we can use the Mayer–Vietoris sequence in our case because
$I_1, I_2$
are generated by normal elements and this implies that
$I_1, I_2$
satisfy Artin–Rees property. We also have the exact triangle in
$\mathrm {D}(\mathrm {BiGr}(C/(f,g)^e))$
$$\begin{align*}\mathrm{R}\Gamma_{m_{C/(f,g)}}(C/(f,g)) \kern1.3pt{\rightarrow}\kern1.3pt \mathrm{R}\Gamma_{I_1}(C/(f,g))\oplus \mathrm{R}\Gamma_{I_2}(C/(f,g)) \kern1.3pt{\rightarrow}\kern1.3pt \mathrm{R}\Gamma_{m_{{C/(f,g)}_{++}}}(C/(f,g)). \end{align*}$$
Moreover,
$H^i_{I_1}(C/(f,g))^*$
and
$H^i_{I_2}(C/(f,g))^*$
are torsion modules for
$m_{C/(f,g)_{++}}$
from Sub-Lemma 3.7. So, the cohomologies of
$\mathrm {R}\Gamma _{I_1}(C/(f,g))^* \oplus \mathrm {R}\Gamma _{I_2}(C/(f,g))^*$
are torsion. From this result, the above triangle gives an isomorphism between
$\mathcal {R}$
and
$\mathcal {R}'[-1]$
after taking the dual and applying
$\pi $
. Hence, we get the claim.
Sub-Lemma 3.7 Let
$I_1,I_2$
be as in the proof of Lemma 3.6.
$H^i_{I_1}(C/(f,g))^{*}$
and
$H^i_{I_2}(C/(f,g))^{*}$
are torsion modules for
$m_{{C/(f,g)_{++}}}$
for any i.
Proof We only show that
$H^i_{I_1}(C/(f,g))^{*}$
are torsion modules for
$m_{C/(f,g)_{++}}$
. We can show that
$H^i_{I_2}(C/(f,g))^{*}$
are torsion in the same way.
First, we prove that
$H^i_{I_1}(C)^{*}$
is torsion. We have
$\Gamma _{I_1} = \Gamma _{I_1^{n+1}}$
. Moreover, if
$J_1$
is the ideal generated by
$x_0^{n+1},\dots , x_n^{n+1}$
, then we have
$\Gamma _{I_1^{n+1}} = \Gamma _{J_1}$
. Note that
$x_0^{n+1},\dots , x_n^{n+1}$
are central elements in C from the choice of
$\{q_{ij}\}$
.
Let
$M \in \mathrm {Gr}(C)$
be injective. Then, we have a surjective localization map
${M \rightarrow M[x_i^{-(n+1)}]}$
for any i and
$\Gamma _{J_1}(M)$
is injective in
$\mathrm {Gr}(C)$
because
$J_1$
satisfies Artin–Rees property (cf. [Reference Vyas and Yekutieli34, Example 3.13], [Reference Eisenbud7, Lemma A1.4]). When
$M'$
is injective in
$\mathrm {Gr}(C^e)$
, then
$M'$
is injective in
$\mathrm {Gr}(C)$
, where
$\mathrm {Res}_{C}: \mathrm {Gr}(C^e) \rightarrow \mathrm {Gr}(C)$
is the restriction functor (see [Reference Yekutieli35, Lemma 2.1]). Thus, we can calculate
$\mathrm {Res}_{C}(H^i_{J_1}(C))$
by using a
$\check {\mathrm {C}}$
ech complex
$\mathscr {C}(x_0^{n+1},\dots , x_n^{n+1}; C)$
(cf. [Reference Mckemey17, Chapter 2, 3], [Reference Eisenbud7, Theorem A1.3]). Then, we have
$\mathscr {C}(x_0^{n+1},\dots , x_n^{n+1}; C) = \mathscr {C}(x_0^{n+1},\dots , x_n^{n+1}; A) \otimes _k B$
. This induces that
$\mathrm {Res}_C({H^i_{J_1}(C)}) \simeq H^i_{m_A}(A) \otimes _k B$
. Because
$H^i_{m_A}(A)_{>0} = 0$
(see [Reference Kanazawa12, Proposition 2.4]),
$H^i_{J_1}(C)^{*} \simeq H^i_{I_1}(C)^{*}$
is torsion.
Finally, we consider the exact sequences of C-bimodules
$$ \begin{align} &\ \ 0 \rightarrow C (-d_0, -d_1) \overset{\times f}{\rightarrow} C\rightarrow C/(f) \rightarrow 0,\qquad\qquad\quad \end{align} $$
$$ \begin{align} &0 \rightarrow C/(f)(-e_0, -e_1) \overset{\times g}{\rightarrow} C/(f) \rightarrow C/(f,g) \rightarrow 0. \end{align} $$
Then, we take the long exact sequence for
$\Gamma _{I_1}$
and we get the claim since
$H^i_{I_1}(C)^*$
is torsion.
Lemma 3.8
$\mathrm {gl.dim}(\mathrm {qbigr}(C/(f,g))) = d_0+d_1+e_0+e_1-4$
.
Proof We show the proposition only in (1) of the theorem. In (2) of the theorem, the proposition can be shown in the same way (cf. Remark 3.9). We consider a bigraded (commutative) algebra
$D := k[s_0,\dots ,s_n ,t_0,\dots , t_m]/(\sum _{i=0}^ns_i,\sum _{i=0}^mt_i)$
with
$s_i=x_i^{n+1},t_i=y_i^{m+1}$
and the projective spectrum
$\mathrm {biProj}(D)$
in the sense of [Reference Hyry10, Section 1]. Then,
$C/(f,g)$
is a finite D-module. So,
$\mathrm {qbigr}(C/(f,g))$
can be thought of as the category of modules over a sheaf
$\mathcal {A}$
of
$\mathcal {O}_{\mathrm {biProj}(D)}$
-algebras, where
$\mathcal {A}$
is the sheaf on
$\mathrm {biProj}(D)$
which is locally defined by the algebra
$(k[x_0,\dots ,x_n, y_0,\dots ,y_m]/(f,g)_{x_iy_j})_{(0,0)}$
on each open affine scheme
$\mathrm {D}_{+}(s_it_j) \simeq \mathrm {Spec}((D_{s_it_j})_{(0,0)})$
. Hence, it is enough to prove that
$$ \begin{align*} \mathrm{gl.dim}((k[x_0,\dots,x_n, y_0,\dots,y_m]/(f,g)_{x_iy_j})_{(0,0)}) &= d_0+d_1+e_0+e_1-4 \\ &= n+m-2. \end{align*} $$
We can complete the rest of the proof in the same way as in [Reference Kanazawa12, Section 2.3]. We give its sketch. For simplicity, we prove the claim when
$i=j=0$
. We define a k-algebra E by
$$\begin{align*}E:=k[S_1,\dots,S_n,T_1,\dots,T_m] \bigg/ \left( 1+\sum_{i=1}^n S_i, 1+\sum_{i=0}^mT_i \right) \end{align*}$$
with
$S_i = s_i/s_0, T_i = t_i/t_0$
. We also define an E-algebra F by
$$\begin{align*}F := k \langle X_1,\dots, X_n, Y_1,\dots, Y_m \rangle \bigg/ \left(\begin{gathered} X_iX_j - (q_{0i}q_{ij}q_{j0}) X_jX_i, \\ Y_iY_j- (q^{\prime}_{0i}q^{\prime}_{ij}q^{\prime}_{j0})Y_jY_i, \end{gathered} 1+\sum_{l=1}^n X_{l}^{n+1}, 1+\sum_{l=1}^mY_{l}^{m+1} \right)_{i,j} \end{align*}$$
with
$X_i = x_i/x_0, Y_i =y_i/y_0$
. The module structure of F is given by the identifications
$S_i = X_i^{n+1}, T_i = Y_i^{m+1}$
. Let
$F_{\widetilde {m}}$
be the localization of F at a maximal ideal
$$\begin{align*}\widetilde{m} := (S_1 - a_1, \dots, S_n- a_n, T_1 - b_1, \dots, T_m - b_m) \end{align*}$$
of E with
$1+\sum _{i=1}^{n}a_i=1+\sum _{i=1}^mb_i=0 \ (a_i,b_i \in k)$
. Then, it is enough to prove that the global dimension of
$F_{\widetilde {m}}$
is
$n+m-2$
(see [Reference Kanazawa12, Lemma 2.6, 2.7]).
If all
$a_i,b_i$
are not
$0$
, then
$F/\widetilde {m}F$
is a twisted group ring and hence semisimple. Moreover,
$S_1 - a_1, \dots , S_n- a_n, T_1 - b_1, \dots , T_m - b_m$
is a regular sequence in
$F_{\widetilde {m}}$
. This induces the claim (see [Reference McConnell, Robson and Small16, Theorem 7.3.7]).
On the other hand, assume that one of
$\{a_1, \dots , a_n, b_1, \dots , b_m\}$
is
$0$
. For example, assume
$a_1 = 0$
. We consider
$F/(X_1)$
. Then, we can show that the global dimension of
$(F/(X_1))_{\widetilde {m}} = n+m-3$
because
$\mathrm {pd}_{F}(S) = \mathrm {pd}_{F/(X_1)}(S) +1$
for any simple F-module S with
$\mathrm {Ann}(S)= \widetilde {m}$
(see [Reference McConnell, Robson and Small16, Theorem 7.3.5]). If some other
$a_i, b_j$
are
$0$
, we repeat taking quotients and can reduce to considering the global dimension of the algebra
$k[X,Y]/(X^{n+1}+1,Y^{m+1}+1)$
, which is
$0$
.
Remark 3.9 To prove Lemma 3.8 in (2) of the theorem, consider the projective spectrum
$X:=\mathrm {biProj}(k[s_0,\dots ,s_{n}, t_0,\dots ,t_{n+1}]/ (\sum _{i=0}^{n} s_i t_i, \sum _{i=0}^{n+1} t_i^{n+1} ))$
(resp.
$\mathrm {biProj}(k[s_0,\dots ,s_{n}, t_0,\dots ,t_n]/ (\sum _{i=0}^{n} s_i t_i, \sum _{i=0}^{n} t_i^{n} ))$
) and the sheaf
$\mathcal {A}$
of algebras on X associated with
$C/(f,g)$
.
Proof of Theorem 3.3
First, we calculate
$\mathrm {R}\Gamma _{m_{C/(f,g)}}(C/(f,g))^{*}$
. From [Reference Kanazawa12, Proposition 2.4] (or [Reference Reyes, Rogalski and Zhang25, Example 5.5]) and the proof of [Reference Reyes, Rogalski and Zhang25, Lemma 6.1], we have
$$ \begin{align}\mathrm{R}\Gamma_{m_{C}}(C)^* &\simeq \mathrm{R}\Gamma_{m_{A}}(A)^* \otimes \mathrm{R}\Gamma_{m_{B}}(B)^* \notag \\&\simeq {}^\phi A^1 (-d_0-e_0) \otimes_k {} ^\psi B^1 (-d_1-e_1)[d_0+d_1+e_0+e_1], \end{align} $$
where
$\phi $
(resp.
$\psi $
) is the graded automorphism of A (resp. B) which maps
$x_j \mapsto \prod _{i=0}^{n} q_{ji}x_j$
(resp.
$y_j \mapsto \prod _{i=0}^m q_{ji}'y_j$
). Then, we consider the distinguished triangles
$$ \begin{align} &\mathrm{R}\Gamma_{m_C}(C(-d_0,-d_1)) \overset{\times f}{\longrightarrow} \mathrm{R}\Gamma_{m_C}(C) \longrightarrow \mathrm{R}\Gamma_{m_{C/(f)}}(C/(f)), \end{align} $$
$$ \begin{align} &\mathrm{R}\Gamma_{m_{C/(f)}}((C/(f))(-e_0,-e_1)) \overset{\times g}{\longrightarrow} \mathrm{R}\Gamma_{m_{C/(f)}}(C/(f)) \longrightarrow \mathrm{R}\Gamma_{m_C/(f,g)}(C/(f,g)) \end{align} $$
obtained from the exact sequences (3.1.1) and (3.1.2) of C-bimodules. Combining the formula (3.1.3) and the triangle (3.1.4), we have
$$ \begin{align} \mathrm{R}\Gamma_{m_{C/(f)}}(C/(f))^{*} \simeq {}^{\phi \otimes \psi} (A \otimes_k B /(f))^1(-e_0,-e_1)[d_0+d_1+e_0+e_1-1]. \end{align} $$
In addition, combining the triangle (3.1.5) and the formula (3.1.6), we have
$$ \begin{align} \mathrm{R}\Gamma_{m_{C/(f,g)}}(C/(f,g))^{*} \simeq {}^{\phi \otimes \psi} (A \otimes_k B /(f,g))^1[d_0+d_1+e_0+e_1-2]. \end{align} $$
On the other hand, we have the Serre duality in
$\mathrm {D^{b}}(\mathrm {qbigr}(C/(f,g)))$
from Lemma 3.10. Thus,
$- \otimes ^{\mathbb {L}} \pi (\mathrm {R}\Gamma _{m_{C/(f,g)_{++}}}(C/(f,g))^{*})[-1]$
is the Serre functor of
$\mathrm {D^{b}}(\mathrm {qbigr}(C/(f,g)))$
because this functor induces an equivalence from Lemma 3.6 and the formula (3.1.7). Finally, the Serre functor
$- \otimes ^{\mathbb {L}} \pi (\mathrm {R}\Gamma _{m_{C/(f,g)_{++}}}(C/(f,g))^{*})[-1]$
induces the
$[d_0+d_1+e_0+e_1-4]$
-shift functor if and only if
$\prod _{i=0}^n q_{ij}$
and
$\prod _{i=0}^m q^{\prime }_{ij}$
are independent of j (cf. [Reference Kanazawa12, Remark 2.5]). This completes the proof.
The following lemma is well-known in the case of
$\mathbb {N}$
-graded algebras (for example, see [Reference De Naeghel and Van den Bergh6, Reference Yekutieli and Zhang37]).
Lemma 3.10 (Local Duality and Serre Duality for
$\mathbb {N}^2$
-graded algebras)
Let D be a connected right Noetherian
$\mathbb {N}^2$
-graded k-algebra (connected means
$D_{0,0}=k$
). Let E be a connected
$\mathbb {N}^2$
-graded k-algebra. We assume that
$\Gamma _{m_{D_{++}}}$
has finite cohomological dimension.
-
(1) Let
$Q := \omega \circ \pi : \mathrm {BiGr}(D) \rightarrow \mathrm {BiGr}(D)$
. Let
$M \in \mathrm {D}(\mathrm {BiGr}(D \otimes _k E^{\circ }))$
. Then, (a)
$$ \begin{align} \mathrm{R}\Gamma_{m_{D_{++}}}(M)^* &\simeq \mathrm{R}{\mathrm{Hom}}_{D}(M, \mathrm{R}\Gamma_{m_{D_{++}}}(D)^*), \end{align} $$
(b)in
$$ \begin{align} \mathrm{R}Q(M)^* &\simeq \mathrm{R}{\mathrm{Hom}}_{D}(M, \mathrm{R}Q(D)^*) \end{align} $$
$\mathrm {D}(\mathrm {BiGr}(D^\circ \otimes _k E))$
, where we denote the natural extension of Q to a functor between
$\mathrm {BiGr}(D \otimes _k E^{\circ })$
and itself by the same notation.
-
(2) We assume that
$\mathrm {qbigr}(D)$
has finite global dimension. Let
$\mathcal {M} := \pi (M)$
,
$\mathcal {N} := \pi (N) (M,N \in \mathrm {D^b}(\mathrm {bigr}(D)))$
. Let
${\mathcal {R}}_D := \pi (\mathrm {R}\Gamma _{m_{D_{++}}}(D)^*) \in \mathrm {D^b}(\mathrm {qbigr}(D^e))$
. Then,
$\mathcal {N} \otimes ^{\mathbb {L}} {\mathcal {R}}_D \in \mathrm {D^b}(\mathrm {qbigr}(D))$
and which is functorial in
$$\begin{align*}\mathrm{Hom}_{\mathrm{D^b}(\mathrm{qbigr}(D))}(\mathcal{N},\mathcal{M}) \simeq \mathrm{Hom}_{\mathrm{D^b}(\mathrm{qbigr}(D))}(\mathcal{M}, (\mathcal{N} \otimes^{\mathbb{L}} {\mathcal{R}}_D)[-1])', \end{align*}$$
$\mathcal {M}$
and
$\mathcal {N}$
. Here,
$(-)'$
denotes the k-dual.
Proof Since
$\mathrm {R}^i\Gamma _{m_{D_{++}}}(-) \simeq \lim _{n \to \infty } \mathrm {Ext}^i(D/D_{\geq n, \geq n},-)$
and D is right Noetherian, one can check that
$\mathrm {R}^i\Gamma _{m_{D_{++}}}(-)$
commutes with direct limits as in [Reference Yekutieli36, Proposition 16.3.19]. In addition, if K is a complex of graded-free right D-modules and L is a complex of graded right
$D^e$
-modules, then
$\Gamma _{m_{D_{++}}}(K \otimes _D L) \simeq K \otimes _D \Gamma _{m_{D_{++}}}(L)$
(cf. [Reference Mori and Nyman20, Lemma 6.10]). So, we can apply the argument of [Reference Van den Bergh30, Theorem 5.1] (or [Reference Mori and Nyman22, Theorem 2.1]) to prove (a) of (1).
In order to prove (b) of (1), note that we have the canonical exact sequence and the isomorphism (see also [Reference Bondal and Van den Bergh3, Lemmas 4.1.4 and 4.1.5])
$$ \begin{gather*} 0 \rightarrow \Gamma_{m_{D_{++}}}(M) \rightarrow M \rightarrow Q(M) \rightarrow \lim_{n \to \infty} \mathrm{Ext}^1(D/D_{\geq n, \geq n}, M) \rightarrow 0 , \\ \mathrm{R}^iQ(M) \simeq \mathrm{R}^{i+1}\Gamma_{m_{D_{++}}}(M), \quad (1 \leq i, M \in \mathrm{BiGr}(D)). \end{gather*} $$
So, from the previous paragraph, Q has finite cohomological dimension,
$\mathrm {R}^iQ$
commutes with direct limits. We also have
$Q(K \otimes _D L) \simeq K \otimes _D Q(L)$
, where
$K,L$
are as above (cf. [Reference Mori and Nyman21, Lemma 3.28]). Hence, we can also apply the argument of [Reference Van den Bergh30, Theorem 5.1] (or [Reference Mori and Nyman21, Theorem 3.29]) to prove (b) of (1).
We can prove (2) in the same way as in [Reference De Naeghel and Van den Bergh6, Lemma A.1 and Theorem A.4] by using (b) of (1). Note that we have a natural equivalence
$\mathrm {D^b}(\mathrm {qbigr}(D)) \simeq \mathrm {D^b_f}(\mathrm {QBiGr}(D))$
, where
$\mathrm {D^b_f}(\mathrm {QBiGr}(D))$
is the full subcategory of
$\mathrm {D^b}(\mathrm {QBiGr}(D))$
consisting of complexes with cohomology in
$\mathrm {qbigr}(D)$
(see [Reference De Naeghel and Van den Bergh6, Lemma 2.2]).
As a corollary of Theorem 3.3, we construct examples of noncommutative projective Calabi–Yau schemes by using Segre products. Let
$A,B,f$
and g be as in Theorem 3.3.
Definition 3.11
-
(1) The Segre product
$A \circ B$
of A and B is the
$\mathbb {N}$
-graded k-algebra with
$(A \circ B)_i = A_i \otimes _k B_i$
. -
(2) Let
$M \in \mathrm {bigr}(C)$
. We define a right graded
$A \circ B$
-module
$M_\Delta $
as the graded
$A \circ B$
-module with
$(M_{\Delta })_i = M_{i,i}$
.
Lemma 3.12 [Reference Van Rompay32, Theorem 2.4]
We have the following natural isomorphism:
In addition, the functor defined by
$- \otimes _{A \circ B}C$
is the inverse of this equivalence.
Remark 3.13 Let
$J:=(f,g) \in \mathrm {bigr}(C)$
. We similarly obtain an equivalence
$$\begin{align*}\mathrm{qbigr}(C/J) \simeq \mathrm{qgr}(A \circ B/J_\Delta). \end{align*}$$
Combining Theorem 3.3 with Remark 3.13, we get the following.
Corollary 3.14 Let
$J := (f,g) \in \mathrm {bigr}(C)$
. Then,
$\mathrm {proj}(A \circ B/ J_\Delta )$
is a noncommutative projective Calabi–Yau scheme.
3.2 Weighted hypersurfaces
Reid produced the list of all commutative weighted Calabi–Yau hypersurfaces of dimensions 2 (for example, see [Reference Iano-Fletcher, Corti and Reid11, Reference Reid23]). In this section, we construct noncommutative projective Calabi–Yau schemes from noncommutative weighted projective hypersurfaces. Let A be a right Noetherian
$\mathbb {N}$
-graded k-algebra. Then, the rth Veronese algebra
$A^{(r)}$
is the
$\mathbb {N}$
-graded k-algebra with
$A^{(r)}_i = A_{ri}$
. We consider the (commutative) weighted polynomial ring
$A = k[x_0,\dots ,x_n]$
with
$\mathrm {deg}(x_i) = d_i$
. Then,
$\mathrm {Coh}(\mathrm {Proj}(A))$
is in general not equivalent to
$\mathrm {qgr}(A)$
, but to
$\mathrm {qgr}(A^{(n+1)\mathrm {lcm}(d_0,\dots ,d_n)})$
. However, we can think of
$\mathrm {qgr}(A)$
as a resolution of singularities of
$\mathrm {Coh}(\mathrm {Proj}(A))$
(cf. [Reference Smith28, Example 4.9]). Moreover, we have
$\mathrm {qgr}(A) \simeq \mathrm {Coh}([(\mathrm {Spec}(A) \backslash \{ 0\}) / \mathbb {G}_m])$
and
$[(\mathrm {Spec}(A) \backslash \{ 0\}) / \mathbb {G}_m]$
is a smooth Deligne–Mumford stack whose coarse moduli space is
$\mathrm {Proj}(A)$
.
Theorem 3.15 Let
$(d_0,\dots , d_n) \in \mathbb {Z}_{>0}^{n+1}$
and
$d := \sum _{i=0}^n d_i$
such that d is divisible by
$d_i$
for all i. Let
$C:= k\langle x_0,\dots ,x_n \rangle / (x_jx_i-q_{ji}x_ix_j)_{i,j}$
, where
$q_{ji} \in k^\times , \mathrm {deg}(x_i) = d_i$
for all
$i,j$
. Let
$f := \sum _{i=0}^n x_i^{h_i}$
, where
$h_i := d/d_i$
.
We assume that
$q_{ii} =q_{ij}q_{ji} = q_{ij}^{h_i} = q_{ij}^{h_j} =1$
for all
$i,j$
. Then,
$\mathrm {proj}(C/(f))$
is a noncommutative projective Calabi–Yau scheme of dimension
$(n-1)$
if and only if there exists
$c \in k$
such that
$c^{d_j} = \prod _{i=0}^{n}q_{ij}$
for all j.
Remark 3.16
-
• f is a central element in C from the choice of
$\{q_{ij}\}$
. -
• Theorem 3.15 is a generalization of [Reference Kanazawa12, Theorem 1.1].
Lemma 3.17 The balanced dualizing complex of
$C/(f)$
is isomorphic to
${^\phi }(C/(f))^1 [n]$
, where
$\phi $
is a graded automorphism of C which maps
$x_j \mapsto \prod _{i=0}^n q_{ji}x_j$
.
Proof Since C is Artin–Schelter regular, C is skew Calabi–Yau (see [Reference Reyes, Rogalski and Zhang25, Lemma 1.2]). This implies that the balanced dualizing complex of C is isomorphic to
${}^\phi C^1(-d)[n+1]$
, where
$\phi $
is the Nakayama automorphism of C. From [Reference Reyes, Rogalski and Zhang25, Example 5.5], the automorphism
$\phi $
is the map which maps
$x_j \mapsto \prod _{i=0}^n q_{ji}x_j$
.
By using this result, we can obtain the claim in the same way as in the proof of Theorem 3.3 after Remark 3.9.
In general,
$C/(f)$
is not generated in degree
$0$
and
$1$
. This fact prevents us from using the idea of the proof of Lemma 3.8 to calculate the global dimension of
$\mathrm {qgr}(C/(f))$
. So, we need to find a right Noetherian
$\mathbb {N}$
-graded k-algebra R which is generated in degree
$0$
and
$1$
and satisfies
$\mathrm {qgr}(R) \simeq \mathrm {qgr}(C/(f))$
. Quasi-Veronese algebras are effective in achieving this objective. We recall the notion of quasi-Veronese algebras below. In detail, see [Reference Mori18, Section 3].
Definition 3.18 [Reference Mori18, Section 3]
Let A be an
$\mathbb {N}$
-graded k-algebra. The lth quasi-Veronese algebra
$A^{[l]}$
of A is a graded k-algebra defined by
$$\begin{align*}A^{[l]} :=\bigoplus_{i \in \mathbb{N}} A^{[l]}_i := \bigoplus_{i \in \mathbb{N}}\begin{pmatrix} A_{li} & A_{li+1} & \cdots & A_{li+l-1} \\A_{li-1} & A_{li} & \cdots & A_{li+l-2} \\\vdots & \vdots & \ddots & \vdots \\A_{li-l+1} & A_{li-l+2} & \cdots & A_{li}.\end{pmatrix}. \end{align*}$$
Remark 3.19
-
(1) We have
$\mathrm {Gr}(A) \simeq \mathrm {Gr} (A^{[l]})$
(see [Reference Mori18, Lemma 3.9]). The equivalence is obtained by the functor
$\Psi :\mathrm {Gr}(A) \rightarrow \mathrm {Gr}(A^{[l]})$
, which is defined by
$\Psi (M) := \bigoplus _{i \in \mathbb {Z}} \left ( \bigoplus _{j=0}^{l-1} M_{li-j} \right ).$
-
(2) When A is right Noetherian,
$A^{[l]} \simeq \bigoplus _{0 \leq i,j \leq n-1} A(j-i)^{(l)} \in \mathrm {gr}(A^{(l)})$
, where
$A^{(l)}$
is the lth Veronese algebra of A and the
$A^{(l)}$
-module structure of
$A^{[l]}$
is given by the natural inclusion
$A^{(l)} \subset A^{[l]}$
(cf. the proof of [Reference Mori19, Proposition 4.11]). Then,
$A^{[l]}$
is also right Noetherian since
$A^{(l)}$
is right Noetherian. In this case,
$\Psi $
induces an equivalence between
$\mathrm {qgr}(A)$
and
$\mathrm {qgr}(A^{[l]})$
.
Lemma 3.20 Let A be an
$\mathbb {N}$
-graded k-algebra which is generated by homogeneous elements
$y_0, \dots , y_h$
with
$\mathrm {deg}(y_i)>0 $
as an
$A_0$
-algebra. Let
$l \geq \mathrm {max}\{\mathrm {deg}(y_0), \dots , \mathrm {deg}(y_h)\}$
. Then,
$A^{[l]}$
is generated in degree
$0$
and
$1$
.
Proof For any
$i \in \mathbb {N}$
and any
$a,b \in \{0,1, \dots , l-1 \}$
, it is enough to show that every homogeneous element m of the form
$$\begin{align*}m= \begin{pmatrix} m_{0,0} & \dots & m_{0,\beta} & \dots & m_{0,l-1} \\ \vdots & & \vdots & & \vdots \\ m_{\alpha,0} & \dots & m_{\alpha,\beta} & \dots & m_{\alpha,l-1} \\ \vdots & & \vdots & & \vdots \\ m_{l-1,0} & \dots & m_{l-1,\beta} & \dots & m_{l-1,l-1}\end{pmatrix} \in A^{[l]}_i, \quad\left( \begin{gathered} m_{\alpha, \beta} \in \left( A^{[l]}_i \right)_{\alpha,\beta}:= A_{li+\beta-\alpha}, \\ \ m_{\alpha, \beta} = 0 \text{ when } (\alpha,\beta) \neq (a,b) \\ 0 \leq \alpha, \beta \leq l-1 \end{gathered}\right) \end{align*}$$
is generated in degree
$0$
and
$1$
. Moreover, we can assume that
$m_{a,b} = \prod _{j=0}^{n_1} y_{i_j} (i_j \in \{0,\dots ,h\}, n_1 \in \mathbb {N})$
.
If
$m_{a,b}$
is decomposed into
$\prod _{j=0}^{n_1} y_{i_j} = \prod _{j=0}^{n_2} y_{i_j} \prod _{j=n_2+1}^{n_1} y_{i_j} \ (n_2 \in \mathbb {N})$
such that
$l-a \leq \mathrm {deg}(\prod _{j=1}^{n_2} y_{i_j}) \leq 2l-a-1$
, then we have
$\prod _{j=0}^{n_2} y_{i_j} \in (A^{[l]}_1)_{a,c}= A_{l+c-a}$
and
$\prod _{j=n_2+1}^{n_1} y_{i_j} \in (A^{[l]}_{i-1})_{c,b}= A_{l(i-1)+b-c} (0 \leq {}^\exists c \leq l-1)$
. In this case, we can show the claim by using induction on the degree of m. So, it is sufficient to show that we have such a decomposition for all m. Indeed, we can find at least one such decomposition from
$(2l-a-1)-(l-a)+1 = l$
and the choice of l. In detail, we have
$l-a \leq \mathrm {deg}(y_{i_0}) \leq 2l-a-1$
or there exists
$n_3 \in \mathbb {N}$
such that
$\mathrm {deg}(y_{i_0}y_{i_1} \dots y_{i_{n_3}}) < l-a$
and
$l-a \leq \mathrm {deg}(y_{i_0}y_{i_1} \dots y_{i_{n_3}}y_{i_{n_3}+1}) \leq 2l-a-1$
since
$0 < \mathrm {deg}(y_i) \leq l$
.
Lemma 3.21
$\mathrm {gl.dim}(\mathrm {qgr}(C/(f))) = n-1$
.
Proof We use the idea of the proof of Lemma 3.8. We consider an
$\mathbb {N}$
-graded k-algebra
$B := k[s_0,\dots ,s_n]/(\sum _{i=0}^n s_i)$
with
$s_i=x_i^{h_i}$
. Then,
$A^{[d]}$
is right Noetherian and
$\mathrm {qgr}(C/(f)) \simeq \mathrm {qgr}((C/(f))^{[d]})$
from Remark 3.19. So, it is enough to prove that
$\mathrm {gl.dim}(\mathrm {qgr}((C/(f))^{[d]})) = n-1$
. Because
$C/(f)$
is finite over B, a B-submodule
$Z(C/(f))^{(d)}$
of
$C/(f)$
is finite over B. From [Reference Mori19, Propositions 4.10 and 4.11],
$(C/(f))^{[d]}$
is finite over
$Z(C/(f))^{(d)}$
. So,
$(C/(f))^{[d]}$
is finite over B. In addition,
$(C/(f))^{[d]}$
is generated in degrees
$0$
and
$1$
from Lemma 3.20. So,
$\mathrm {qgr}((C/(f))^{[d]})$
is equivalent to the category of coherent modules over a sheaf
$\mathcal {A}$
of
$\mathcal {O}_{\mathrm {Proj}(B)}$
-algebra, where
$\mathcal {A}$
is the sheaf on the projective spectrum
$\mathrm {Proj}(B)$
which is locally defined by a tiled matrix algebra
$$\begin{align*}N_i = \begin{pmatrix} E_{i,0} & E_{i,1} & \cdots & E_{i,d-1} \\E_{i,-1} & E_{i,0} & \cdots & E_{i,d-2} \\\vdots & \vdots & \cdots &\vdots \\E_{i,-d+1} & E_{i,-d+2} & \cdots & E_{i,0} \\\end{pmatrix} \end{align*}$$
on each
$D_+(s_i)$
. Here,
$E_i := (C/(f))[x_i^{-1}]$
and
$E_{i,j}$
is the degree j part of
$E_i$
. As in the proof of Lemma 3.8, it is enough to show that the global dimension of
$N_i$
is
$n-1$
for all i.
On the other hand, two graded algebras
$$ \begin{align*} R_1 := E_i \oplus E_i(1) \oplus \cdots \oplus E_i(d-2) \oplus E_i(d-1), \\ R_2 := E_i \oplus E_i(1) \oplus \cdots \oplus E_i(d_i-2) \oplus E_i(d_i-1) \end{align*} $$
are progenerators in
$\mathrm {Gr}(E_i)$
. So, the category of right
$\mathrm {End}_{\mathrm {gr}}(R_1)$
-modules and the category of right
$\mathrm {End}_{\mathrm {gr}}(R_2)$
-modules are equivalent because they are equivalent to the category of graded right
$E_i$
-modules (cf. [Reference Smith26, Lemma 4.8], [Reference Smith28, Remarks after Proposition 4.5]). We also have
$\mathrm {End}_{\mathrm {gr}}(R_1) \simeq N_i$
and
$$\begin{align*}\mathrm{End}_{\mathrm{gr}}(R_2) \simeq M_i := \begin{pmatrix} E_{i,0} & E_{i,1} & \cdots & E_{i,d_i-1} \\E_{i,-1} & E_{i,0} & \cdots & E_{i,d_i-2} \\\vdots & \vdots & \cdots &\vdots \\E_{i,-d_i+1} & E_{i,-d_i+2} & \cdots & E_{i,0} \\\end{pmatrix}. \end{align*}$$
So, it is sufficient to prove the global dimension of
$M_i$
is
$n-1$
for each i.
For simplicity, we assume
$i=0$
. When
$i \neq 0$
, we can show the claim in the same way. Let
$D=k[S_1,\dots , S_n]/(1+\sum _{j=0}^n S_j)$
with
$S_j = s_j/s_0$
. We show that the global dimension of the D-algebra
$M_0$
is
$n-1$
. The module structure of
$M_0$
is given by the identification
$S_j = (x_j^{h_j}/x_0^{h_0})I_{d_0} \in M_0$
, where
$I_{d_0}$
is the
$(d_0 \times d_0)$
-identity matrix. Let
$$\begin{align*}\widetilde{m} = (S_1-a_1, \dots ,S_n-a_n) \ (a_j \in k) \end{align*}$$
be a maximal ideal of D with
$1+ \sum _{j=1}^n a_j = 0$
. It is sufficient to show that
$\mathrm {gl.dim}((M_0)_{\widetilde {m}})=n-1$
, where
$(M_0)_{\widetilde {m}}$
is the localization of
$M_0$
at
$\widetilde {m}$
(cf. the second paragraph of the proof of Lemma 3.8). We divide the proof of this claim into two cases.
Case (a): all
$a_j$
are not
$0$
. Because
$S_1-a_1,\dots ,S_n-a_n$
is a regular sequence in
$(M_0)_{\widetilde {m}}$
, we show that the global dimension of
$(M_0)_{\widetilde {m}}/ \widetilde {m} (M_0)_{\widetilde {m}} \simeq M_0 / \widetilde {m} M_0$
is
$0$
(cf. the third paragraph of the proof of Lemma 3.8).
First, the category of
$M_0 / \widetilde {m} M_0$
-modules is equivalent to the category of graded
$E_0'$
-modules, where
$$\begin{align*}E_0' := E_0/(x_1^{h_1}/x_0^{h_0}-a_1,\dots, x_n^{h_n}/x_0^{h_0}-a_n)E_0. \end{align*}$$
This is a Morita equivalence obtained from the isomorphism
$\mathrm {End}_{\mathrm {gr}}(E_0') \simeq M_0 / \widetilde {m} M_0$
(cf. the three previous paragraph).
Next, we see that
$E_0'$
is strongly graded. Since
$$\begin{align*}E_0 \simeq ( C[x_0^{-1}])/ (1 + (x_1^{h_1}/x_0^{h_0}) + \cdots + (x_n^{h_n}/x_0^{h_0})), \end{align*}$$
we have
$$\begin{align*}E_0' \simeq (C[x_0^{-1}])/ (x_1^{h_1}/x_0^{h_0}-a_1,\dots, x_n^{h_n}/x_0^{h_0}-a_n). \end{align*}$$
For any
$l \in \mathbb {Z}$
, if
$\widetilde {x} := x_0^{l_0}x_1^{l_1} \dots x_n^{l_n} \in (E_0')_{l} \ (l_0 \in \mathbb {Z}, l_1, \dots l_n \in \mathbb {N})$
, then there exist
$k_1,\dots ,k_n \in \mathbb {N}$
such that
$\widetilde {x}' := x_0^{(-\sum k_i)h_0 - l_0}x_1^{k_1h_1-l_1} \dots x_n^{k_nh_n-l_n} \in (E_0')_{-l}$
. Because
$\widetilde {x} \ \widetilde {x}' \in k^{*}$
, we get
$1 \in (E_0')_l(E_0')_{-l}$
and
$E_0'$
is strongly graded.
Since
$E_0'$
is strongly graded, we have
$\mathrm {Gr}(E_0') \simeq \mathrm {Mod}((E_0')_0)$
. Then,
$(E_0')_0$
is a twisted group algebra, where a k-basis of
$(E_0')_0$
is
$$\begin{align*}\bigg\{x_0^{e_0}x_1^{e_1}x_2^{e_2} \dots x_n^{e_n} \in (E_0')_0 \biggm| \sum_{j=0}^n e_jd_j =0 \text{ and } 0 \leq e_j < h_j \ ({}^\forall j =1,2,\dots,n) \bigg\}. \end{align*}$$
In particular,
$(E_0')_0 $
is semisimple. Hence, the graded global dimension of
$E_0'$
is
$0$
and
$\mathrm {gl.dim}(M_0/\widetilde {m}M_0)=0$
.
Case (b): some of
$a_j$
are
$0$
. For example, we assume
$a_1 = 0$
. Then,
$(x_1^{h_1}/x_0^{h_0})I_{d_0}$
is an annihilator of any simple
$M_0$
-module N. On the other hand, we have a unique integer
$r_1$
such that
$0 \leq \mathrm {deg}(x_1/x_0^{r_1}) \leq d_0-1$
. If
$\mathrm {deg}(x_1/x_0^{r_1}) = 0 $
, then
$J = x_1/x_0^{r_1}I_{d_0}$
annihilates N. Otherwise, the matrix
$$\begin{align*}J = \left(\begin{array}{c:c} {\Huge O} & {\begin{array}{ccc} x_1/x_0^{r_1} & &\\ & \ddots & \\ & & x_1/x_0^{r_1} \end{array}} \\ \hdashline {\begin{array}{ccc} x_1/x_0^{r_1+1}& & \\ & \ddots& \\ & &x_1/x_0^{r_1+1} \end{array}} & {\Huge O}\end{array}\right)\in M_0 \end{align*}$$
annihilates N because
${}^\exists n_J \in \mathbb {N}$
such that
$J^{n_J} = (x_1^{h_1}/x_0^{h_0})I_{d_0}$
(the reduction of
$N_i$
to
$M_i$
is used here). Thus, it is enough to prove that the global dimension of
$(M_0/JM_0)_{\widetilde {m}} = n-2$
(cf. the fourth paragraph of the proof of Lemma 3.8). Note that we have
$$ \begin{align} M_0/JM_0 \simeq \begin{pmatrix} F_{0,0} & F_{0,1} & \cdots & F_{0,d_0-1} \\F_{0,-1} & F_{0,0} & \cdots & F_{0,d_0-2} \\\vdots & \vdots & \cdots &\vdots \\F_{0,-d_0+1} & F_{0,-d_0+2} & \cdots & F_{0,0}\end{pmatrix}, \end{align} $$
where
$$\begin{align*}F_0 := E_0/ x_1E_0 \simeq k\langle x_0,x_2,\dots,x_n \rangle / (x_jx_i-q_{ji}x_ix_j, x_0^{h_0}+x_2^{h_2}+\cdots+x_n^{h_n})_{i,j}[x_0^{-1}] \end{align*}$$
and
$F_{0,j}$
is the degree j part of
$F_0$
.
If any of
$a_2, \dots , a_n$
is not
$0$
, we can reduce to the case (a) from (3.2.1). If some of
$a_2, \dots , a_n$
are
$0$
, repeat the above process until we can reduce to the case (a).
Proof of Theorem 3.15
$\mathrm {gl.dim}(\mathrm {qgr}(C/(f)))$
is finite. So, the balanced dualizing complex
$^{\phi }(C/(f))^1 [n]$
of
$C/(f)$
induces the Serre functor of
$\mathrm {qgr}(C/(f))$
from [Reference De Naeghel and Van den Bergh6, Theorem A.4]. We complete the proof as in the proof of Theorem 3.3.
4 Comparison and closed points
In this section, we calculate closed points of noncommutative projective Calabi–Yau schemes of dimensions
$2$
obtained in Section 3.2 and compare our examples with commutative Calabi–Yau varieties and the first examples constructed in [Reference Kanazawa12]. In particular, we show that a noncommutative projective Calabi–Yau scheme in Section 3.2 gives essentially a new example of noncommutative projective Calabi–Yau schemes.
Example 4.1 Any weight
$(d_0,d_1,d_2,d_3)$
of noncommutative projective Calabi–Yau schemes of dimensions 2 in Theorem 3.15 such that
$\mathrm {gcd}(d_0,d_1,d_2,d_3)=1$
is one of the following (obtained by using a computer):
$$ \begin{align*} (d_0,d_1,d_2,d_3) = &(1,1,1,1),(1,1,1,3),(1,1,2,2),(1,1,2,4),(1,1,4,6), \\ &(1,2,2,5), (1,2,3,6), (1,2,6,9), (1,3,4,4),(1,3,8,12),\\ &(1,4,5,10),(1,6,14,21), (2,3,3,4), (2,3,10,15). \end{align*} $$
From now, we focus on the closed points of noncommutative projective Calabi–Yau schemes of dimensions 2 in Theorem 3.15 whose weights are of type
$(1,1,a,b)$
. We recall the notion of closed points of noncommutative projective schemes.
For simplicity, we often call an
$\mathbb {N}$
-graded k-algebra of the form
$k \langle z_0, \dots , z_m \rangle /(z_jz_i-p_{ji}z_iz_j)_{i,j} \ (p_{ji} \in k^\times , m \in \mathbb {N})$
with
$\mathrm {deg}(z_i)>0$
and
$p_{ji}p_{ij}=1$
a weighted quantum polynomial ring.
$(p_{ji})$
is called the quantum parameter.
Definition 4.2 [Reference Mori19, Section 3.1]
Let A be a finitely generated right Noetherian connected
$\mathbb {N}$
-graded k-algebra. A closed point of
$\mathrm {proj}(A)$
is an object of
$\mathrm {qgr}(A)$
represented by a
$1$
-critical module of A. We denote by
$| \mathrm {proj}(A) |$
the set of closed points of
$\mathrm {proj(A)}$
. For the definition of
$1$
-critical modules, see [Reference Mori19, Definition 3.1].
Remark 4.3 [Reference Mori19, Section 3.1]
If A is a quotient of a weighted quantum polynomial ring, then every closed point of
$\mathrm {proj}(A)$
is one of the following:
-
(1) An ordinary point, which is represented by a finitely generated
$1$
-critical module of multiplicity
$1$
. -
(2) A fat point, which is represented by a finitely generated
$1$
-critical module of multiplicity
$>1$
. -
(3) A thin point, which is represented by a finitely generated
$1$
-critical module of multiplicity
$<1$
.
For the definition of multiplicities, see [Reference Mori19, Definition 3.10]. In addition, if A is generated in degree
$1$
, the notion of ordinary points and that of point modules are the same, and there are no thin points.
Let
$C := k \langle x_0,x_1,x_2,x_3 \rangle / (x_jx_i-q_{ji}x_ix_j)_{i,j}$
whose weight is of type
$(d_0,d_1,d_2, d_3) = (1,1,a,b) \ (0 < a \leq b)$
. We assume that
$q_{ij}q_{ji}=q_{ii}=1$
for all
$i,j$
. Since
$d_0=1$
,
$C[x_0^{-1}]$
is strongly graded. So, from [Reference Mori19, Theorem 4.20], we have
$$\begin{align*}| \mathrm{proj}(C) | = | \mathrm{spec}(C[x_0^{-1}]_0) | \bigsqcup | \mathrm{proj}(C/(x_0)) |, \end{align*}$$
where we denote by
$| \mathrm {spec}(C[x_0^{-1}]_0) |$
the set of simple modules of
$C[x_0^{-1}]_0$
. In this equality, the
$1$
(resp.
$n>1$
)-dimensional simple modules of
$ \mathrm {spec}(C[x_0^{-1}]_0)$
correspond to ordinary (resp. fat) points in
$\mathrm {proj}(C)$
. Similarly, we have
$$ \begin{align*} | \mathrm{proj}(C) | &= | \mathrm{spec}(C[x_0^{-1}]_0) | \bigsqcup | \mathrm{spec}(C/(x_0)[x_1^{-1}]_0)| \bigsqcup | \mathrm{proj}(C/(x_0,x_1)) |. \end{align*} $$
We have an isomorphism
$C[x_0^{-1}]_0 \xrightarrow {\simeq } k \langle X_1,X_2,X_3 \rangle / (X_jX_i-q^{\prime }_{ji}X_iX_j)_{i,j}$
which sends
$x_1x_0^{-1}, x_2x_0^{-a}$
and
$x_3x_0^{-b}$
to
$X_1,X_2$
, and
$X_3$
, respectively. Here,
$q^{\prime }_{ji} := q_{0j}^{d_i}q_{ji}q_{i0}^{d_j} \ (i,j \neq 0)$
. In the same way,
$C/(x_0)[x_1^{-1}]_0$
is also isomorphic to
$k \langle Y_2,Y_3 \rangle / (Y_3Y_2-p_{32}Y_2Y_3)$
, where
$p_{32}:= q_{13}^{a}q_{32}q_{21}^{b}$
.
Let
$C_1:= k \langle x_0', x_1', x_2', x_3' \rangle /(x_j'x_i' - q^{\prime }_{ji} x_i'x_j')_{i,j}$
, where
$\mathrm {deg}(x_i')=1$
,
$q^{\prime }_{0i}=q^{\prime }_{j0}=1$
for all
$i,j$
. Let
$C_2:= k \langle y_1, y_2, y_3 \rangle /(y_jy_i -p_{ji} y_iy_j)_{i,j}$
, where
$\mathrm {deg}(y_i')=1$
,
$p_{1i}=p_{j1}=1$
for all
$i,j$
. Then, we can consider the point scheme of
$\mathrm {proj}(C_1)$
(resp.
$\mathrm {proj}(C_2)$
), which is isomorphic to the set of ordinary points
$| \mathrm {proj}(C_1) |_{\text {ord}}$
(resp.
$| \mathrm {proj}(C_2) |_{\text {ord}}$
) as sets. Thus, we regard
$| \mathrm {proj}(C_1) |_{\text {ord}}$
(resp.
$| \mathrm {proj}(C_2) |_{\text {ord}}$
) as the point scheme of
$\mathrm {proj}(C_1)$
(resp.
$\mathrm {proj}(C_2)$
).
Let
$| \mathrm {spec}(C[x_0^{-1}]_0) |_1 $
(resp.
$| \mathrm {spec}(C/(x_0)[x_1^{-1}]_0) |_1$
) be the set of one-dimensional simple modules of
$C[x_0^{-1}]_0$
(resp.
$C/(x_0)[x_1^{-1}]_0$
). Because
$C_1[{x^{\prime }_0}^{-1}]_0 \simeq C[x_0^{-1}]_0$
and
$C_2[{y_1}^{-1}]_0 \simeq C/(x_0)[x_1^{-1}]_0$
, we can think of
$| \mathrm {spec}(C[x_0^{-1}]_0) |_1 $
(resp.
$|\mathrm {spec}(C/(x_0) [x_1^{-1}]_0) |_1$
) as a locally closed subscheme of
$| \mathrm {proj}(C_1) |_{\text {ord}}$
(resp.
$| \mathrm {proj}(C_2) |_{\text {ord}}$
) from [Reference Mori19, Theorem 4.20].
Lemma 4.4
-
(1) If
$q^{\prime }_{ji} \neq 1$
for all
$i,j \neq 0$
,
$| \mathrm {spec}(C[x_0^{-1}]_0) |_1 $
is a union of three affine lines. -
(2) If
$p_{32} \neq 1$
,
$| \mathrm {spec}(C/(x_0)[x_1^{-1}]_0) |_1$
is a union of two affine lines. Otherwise,
$| \mathrm {spec}(C/(x_0)[x_1^{-1}]_0) |_1 \simeq \mathbb {A}^2$
.
Proof (2) is well-known (for example, see [Reference Smith26, Section 4.3]). Regarding (1), under the assumption of the lemma,
$\mathrm {proj}(C_1)$
belongs to case (3) or case (4) in [Reference Vitoria33, Corollary 5.1]. This shows that
$ |\mathrm {spec}(C_1[{x^{\prime }_0}^{-1}]_0) |_1$
is isomorphic to
$\bigcup _{i \neq j} Z(X^{\prime }_i,X^{\prime }_j) \subset \mathbb {A}^3 = \mathrm {Spec}(k[X^{\prime }_1,X^{\prime }_2,X^{\prime }_3])$
(cf. [Reference Vitoria33, Proposition 4.2] or [Reference Belmans, De Laet and Le Bruyn2, Theorem 1]).
Remark 4.5 We consider the weights
$(1,1,a,b)$
and the quantum parameters which give noncommutative projective Calabi–Yau schemes of dimensions 2 in Theorem 3.15. Then, we can check that if
$p_{32} \neq 1$
, then
$q^{\prime }_{ji} \neq 1$
for all
$i,j \neq 0$
by using a computer. Moreover, if
$p_{32}=1$
, then
$q^{\prime }_{ji} = 1$
for all
$i,j \neq 0$
. In this case,
$| \mathrm {spec}(C[x_0^{-1}]_0) |_1 \simeq \mathbb {A}^3$
.
We consider
$C/(x_0,x_1) = k \langle x_2,x_3 \rangle /(x_3x_2-q_{32}x_2x_3)$
. Then, it is known that a weighted quantum polynomial ring of two variables is a twisted algebra of a commutative weighted polynomial ring
$k[x,y]$
with
$\mathrm {deg}(x) = a>0,\mathrm {deg}(y)=b>0$
(for example, see [Reference Stephenson29, Example 4.1] or [Reference Zhang38, Example 3.6]). So, it is enough to consider the closed points of
$\mathrm {proj}(k[x,y])$
. We want to study the closed points of
$\mathrm {proj}(k[x,y])$
in the case of
$(a,b) = (2,2),(2,4) \text { or } (4,6)$
. Note that when
$(a,b) = (1,1)$
or
$ (1,3)$
, they are classified in [Reference Mori19, Theorem 3.16]. We treat a more general setting below.
Lemma 4.6 Let
$R=k[x,y]$
be a commutative weighted polynomial ring with
$\mathrm {deg}(x)=a>0,\mathrm {deg}(y)=b>0$
. Let
$g := \mathrm {gcd}(a,b), a':= a/g$
and
$b' := b/g$
. Then, every closed point of
$\mathrm {proj}(R)$
is one of the following:
-
(1)
$\pi R/(x)(-i), \; i=0,\dots ,b-1$
. -
(2)
$\pi R/(y)(-j), \; j=0, \dots , a-1$
. -
(3)
$\pi R/(\beta x^{b'}-\alpha y^{a'})(-k) ,$
where
$(\alpha , \beta ) \in \mathbb {P}^1 \backslash \{(0,1),(1,0)\}$
and
$k= 0,\dots , g-1$
.
Moreover, all of them are not isomorphic in
$\mathrm {proj}(R)$
.
Proof The proof is almost the same as the proof of [Reference Mori19, Lemma 3.15 and Theorem 3.16]. We give the sketch of the proof.
Firstly, every closed point of
$\mathrm {proj}(R)$
is represented by a cyclic critical Cohen–Macaulay module of depth
$1$
. Then,
$M \in \mathrm {gr}(R)$
satisfies these conditions and is generated in degree
$0$
if and only if M is isomorphic to one of
$ R/(x), R/(y) \text { or } R/(\beta x^{b'}-\alpha y^{a'} ) \; (\alpha , \beta \in k^\times )$
. Since being cyclic critical Cohen–Macaulay of depth
$1$
is invariant under shifting, any closed point is represented by some shifts of one of the above modules (that is,
$R/(x)(-l), R/(y)(-l), R/(\beta x^{b'}-\alpha y^{a'})(-l), \ l \in \mathbb {Z}$
).
Finally, we classify the isomorphic classes of these modules in
$\mathrm {proj}(R)$
. We have no isomorphisms between the three types of closed points by considering their Hilbert polynomials and multiplicities. Then, we have
$\pi R/(\beta x^{b'}-\alpha y^{a'}) \simeq \pi R/(\beta x^{b'}-\alpha y^{a'})(-gl), \ ({}^\forall l \in \mathbb {Z}, {}^\forall (\alpha , \beta ) \in \mathbb {P}^1 \backslash \{ (1,0), (0,1)\})$
. We also have
$\pi R/(\beta x^{b'}-\alpha y^{a'}) \simeq \pi R/(\beta ' x^{b'}-\alpha ' y^{a'})$
if and only if
$(\alpha , \beta ) = (\alpha ', \beta ')$
in
$\mathbb {P}^1 \backslash \{ (1,0), (0,1)\}$
. In addition, we can show that
$\pi R/(x) \simeq \pi R/(x)(-i)$
(resp.
$\pi R/(y) \simeq \pi R/(y)(-j)$
) if and only if
$i \equiv 0 \; (\mathrm {mod} \; b) $
(resp.
$j \equiv 0 \; (\mathrm {mod} \; a)$
). From these discussions, we get the claim.
We can study ordinary and thin points of noncommutative projective Calabi–Yau schemes of dimensions 2 in Theorem 3.15 by using the above investigations. We give examples of noncommutative projective Calabi–Yau schemes whose moduli of ordinary closed points are different from those in [Reference Kanazawa12, Proposition 3.4] and commutative Calabi–Yau varieties.
Example 4.7 We consider the weight
$(1,1,2,2)$
and the quantum parameter
$$\begin{align*}\mathbf{q} = (q_{ij}) = { \begin{pmatrix} 1 & 1& 1 & \omega^2 \\ 1 & 1 & \omega^2 & 1 \\ 1 & \omega & 1 & 1 \\ \omega & 1 & 1 & 1 \\ \end{pmatrix} } , \quad \omega := \frac{-1+i\sqrt{3}}{2}. \end{align*}$$
Then, we have
$$ \begin{align*}\mathbf{q}' = (q_{ij}') = {\begin{pmatrix} 1 & \omega^2 & \omega \\ \omega & 1 & \omega^2 \\ \omega^2 & \omega & 1\end{pmatrix}}, \quad q_{13}^2q_{32}q_{21}^2= \omega^2. \end{align*} $$
From Lemmas 4.4 and 4.6, the set of ordinary and thin points
$$ \begin{align*} | \mathrm{proj}(C/(f)) |_{\text{ord \& thin}} &= | \mathrm{spec}(C/(f)[x_0^{-1}]_0) |_1 \bigsqcup | \mathrm{spec}(C/(f, x_0)[x_1^{-1}]_0)|_1 \\ &\bigsqcup | \mathrm{proj}(C/(f,x_0,x_1)) | \end{align*} $$
is
$24$
points. To be more precise, we have
$| \mathrm {spec}(C/(f)[x_0^{-1}]_0) |_1 = \bigsqcup _{i \neq j} Z(X_i,X_j, 1+X_1^6+X_2^3+X_3^3) \subset \mathbb {A}^3$
,
$| \mathrm {spec}(C/(f,x_0)[x_1^{-1}]_0)|_1 = \bigsqcup _{i=1,2} Z(Y_i,1+Y_2^3+Y_3^3)$
and
$| \mathrm {proj}(C/(f,x_0,x_1)) | = \{3 \text {pts}\} \sqcup \{3 \text {pts}\}$
.
This calculation shows that for a fixed weight, if the set of ordinary and thin points of
$\mathrm {proj}(C/(f))$
is finite, then the cardinality is independent of the quantum parameters.
From the method in Example 4.7, Remark 4.5, and a direct computation, we have the following.
Proposition 4.8 For a weight
$(1,1,a,b)$
in Example 4.1 and a quantum parameter
$\mathbf {q}$
which gives a noncommutative projective Calabi–Yau scheme, if the set of ordinary and thin points of
$\mathrm {proj}(C/(f))$
is finite, then the cardinality is always
$24$
.
The following proposition shows that some of noncommutative projective Calabi–Yau schemes of dimensions 2 in Theorem 3.15 are essentially new examples.
Proposition 4.9 There exists a noncommutative projective Calabi–Yau scheme of dimension 2 which is obtained in Theorem 3.15 and not isomorphic to either commutative Calabi–Yau surfaces or noncommutative projective Calabi–Yau schemes of dimensions 2 obtained in [Reference Kanazawa12].
Proof We divide the proof into four steps.
Step 1. We choose the weight
$(1,1,a,b)$
and the quantum parameter
$\mathbf {q}$
as in Example 4.7. Then, the number of ordinary and thin points of
$\mathrm {proj}(C/(f))$
is finite. So,
$\mathrm {proj}(C/f)$
is not isomorphic to any commutative Calabi–Yau surfaces.
Step 2. We prove that
$\mathrm {proj}(C/(f))$
is not isomorphic to any noncommutative projective Calabi–Yau schemes of dimensions 2 in [Reference Kanazawa12]. To prove this, we use the theory established in [Reference Burban and Drozd5]. First, note that we can think of
$\mathrm {qgr}(C/(f))$
as the category of coherent modules of a sheaf
$\mathcal {A}$
of algebras on the projective spectrum
$\mathrm {Proj}(k[s_0,s_1,s_2,s_3]/(s_0+s_1+s_2+s_3))$
(cf. the proof of Lemma 3.21). We define a sheaf
$\mathcal {Z}_{\mathcal {A}}$
to be the sheaf whose sections are
$$\begin{align*}\Gamma(U,\mathcal{Z}_{\mathcal{A}}) = \{s \in \Gamma(U, \mathcal{A}) \mid s|_{V} \in Z(\Gamma(V,\mathcal{A})) , {}^\forall V \subset U : \text{open}\} \end{align*}$$
for all open subsets U (cf. [Reference Burban and Drozd5, Proposition 2.11]). In particular, if U is affine,
$\Gamma (U,\mathcal {Z}_{\mathcal {A}}) = Z(\Gamma (U,\mathcal {A}))$
. Then, we show that
$\mathrm {Spec}(Z(\Gamma (D_{+}(s_i), \mathcal {A})))$
has four singular points when
$i= 0,1$
and a one-dimensional singular locus when
$i=2,3$
. In the following, we verify this claim for
$i=0,2$
. Similarly, the claim is proved for
$i=1,3$
. In the following, we write
$Z_i$
as
$Z(\Gamma (D_{+}(s_i), \mathcal {A}))$
for any i. We also use the notations in the proof of Lemma 3.21.
When
$i=0$
, any
$m \in Z_0$
is of the form
$ m = \left ( \begin {smallmatrix} \mu _1 e & 0 \\ 0 & \mu _2 e \end {smallmatrix} \right ) \in N_0, \ (e \in E_{0,0}, \mu _1,\mu _2 \in k^\times ) $
from the definition of
$\mathcal {A}$
. We have
$$\begin{align*}E_{0,0} \simeq k \langle X_1,X_2,X_3 \rangle (X_jX_i-q^{\prime}_{ji}X_iX_j, 1+X_1^6+X_2^3+X_3^3)_{i,j}, \end{align*}$$
which is obtained from the identifications
$X_1 = x_1x_0^{-1},X_2=x_2x_0^{-2}$
and
$X_3=x_3x_0^{-2}$
. Here, the
$q^{\prime }_{ji}$
are as in Example 4.7. So, we have
$$\begin{align*}Z(E_{0,0}) \simeq k[Y,Z,W,U]/(1+Y^2+Z+W, YZW-\lambda_1 U^3) \ (\lambda_1 \in k^\times), \end{align*}$$
which is obtained from the identifications
$Y=(x_1x_0^{-1})^3, Z=(x_2x_0^{-2})^3, W=(x_3x_0^{-2})^3$
and
$U=(x_1x_0^{-1})(x_2x_0^{-2})(x_3x_0^{-2})$
. On the other hand, we define the inclusion
$\phi : Z(E_{0,0}) \rightarrow N_0$
in which
$Y,Z,W$
are mapped naturally and U to
$ \left ( \begin {smallmatrix} U & 0 \\ 0 & \omega U \end {smallmatrix} \right ) $
. It is easy to see that
$\phi (Z(E_{0,0})) \subset Z_0 $
. Because the choice of
$\mu _1$
determines
$\mu _2$
in the above form of m, the map
$\phi $
induces
$Z_0\simeq Z(E_{0,0})$
. Thus, one can show that
$\mathrm {Spec}(Z_0)$
has four singular points by using the Jacobi criterion.
When
$i=2$
, any
$m \in Z_2$
is of the form
$ m = \left ( \begin {smallmatrix} \mu _1 e & 0 \\ 0 & \mu _2 e \end {smallmatrix} \right ) \in N_2, \ (e \in E_{2,0}, \mu _1,\mu _2 \in k^\times ) $
from the definition of
$\mathcal {A}$
. We also have
$$\begin{align*}E_{2,0} \simeq k \langle X_0,X_1,X_2,X_3 \rangle/(X_jX_i-q^{\prime\prime}_{ji}X_iX_j, 1+X_0^6+X_1^6+X_3^3, X_0X_1-\lambda_2 X_2^2)_{i,j} \ (\lambda_2 \in k^\times) , \end{align*}$$
which is obtained from the identifications
$X_0=x_0^2x_2^{-1}, X_1=x_1^2x_2^{-1}, X_2=x_0x_1x_2^{-1}$
and
$X_3=x_3x_2^{-1}$
. Here, the
$q^{\prime \prime }_{ij}$
are defined by the matrix
$$\begin{align*}(q^{\prime\prime}_{ij})=\begin{pmatrix} 1 & \omega & \omega^2 &\omega \\ \omega^2 & 1 & \omega & \omega^2 \\ \omega & \omega^2 & 1 & 1 \\ \omega^2 & \omega & 1 & 1\end{pmatrix}. \end{align*}$$
So, we have
$$\begin{align*}Z(E_{2,0}) \simeq k[X,Y,W,U,V]/(X+Y+1+W, XY-\lambda_3 U^2,XYW- \lambda_4 V^2) \ (\lambda_3,\lambda_4 \in k^\times), \end{align*}$$
which is obtained from the identifications
$X=(x_0^2x_2^{-1})^3,Y=(x_1^2x_2^{-1})^3,W=(x_3x_2^{-1})^3, U=(x_0x_1x_2^{-1})^3$
, and
$ V=(x_0x_1x_2^{-1})(x_3x_2^{-1})$
. On the other hand, we define the inclusion
$\phi : Z(E_{2,0})\rightarrow N_2$
in which
$X,Y,W,U$
are mapped naturally and V to
$ \left ( \begin {smallmatrix} V & 0 \\ 0 & \omega V \end {smallmatrix} \right ) $
. It is easy to see that
$\phi (Z(E_{2,0})) \subset Z_2 $
. Because the choice of
$\mu _1$
determines
$\mu _2$
in the above form of m, the map
$\phi $
induces
$Z_2 \simeq Z(E_{2,0})$
. Thus, one can show that
$\mathrm {Spec}(Z_2)$
has a one-dimensional singular locus by using the Jacobi criterion.
Step 3. We consider the weight
$(1,1,1,1)$
and take a quantum parameter which gives a noncommutative projective Calabi–Yau scheme
$\mathrm {proj}(C'/(f'))$
whose point scheme is finite.
$\mathrm {qgr}(C'/(f'))$
is thought of as the category of coherent modules of a sheaf
$\mathcal {B}$
of algebras on the projective spectrum
$\mathrm {Proj}(k[t_0,t_1,t_2,t_3]/(t_0+t_1+t_2+t_3))$
.
The number of the choices of quantum parameters
$(q_{ij})$
which satisfy the conditions of Theorem 3.15 and give a noncommutative projective Calabi–Yau scheme whose moduli space of point modules is finite is
$20$
up to permutating variables (we get the list below by using a computer and hand calculations):
$$ \begin{align*} &1.\left(\begin{smallmatrix} 1 & 1 & 1 & 1 \\ 1 & 1 & -1 & -1 \\ 1 & -1 & 1 & -1 \\ 1 & -1 & -1 & 1 \end{smallmatrix}\right), 2.\left(\begin{smallmatrix} 1 & 1 &1 & 1 \\ 1 & 1 & -i & i \\ 1 & i & 1 & -i \\ 1 & -i & i & 1 \end{smallmatrix}\right), 3.\left(\begin{smallmatrix} 1 & 1 & 1 & -1 \\ 1 & 1 & -1 & 1 \\ 1 & -1 & 1 & 1 \\ -1 & 1 & 1 & 1 \end{smallmatrix}\right), 4.\left(\begin{smallmatrix} 1 & 1 & 1 & -1 \\ 1 & 1 & -i & -i \\ 1 & i & 1 &i \\ -1 & i & -i & 1 \end{smallmatrix}\right), \\ &5.\left(\begin{smallmatrix} 1 & 1 & 1 & i \\ 1 & 1 & -1 & -i \\ 1 & -1 & 1 &-i \\ -i & i & i & 1 \end{smallmatrix}\right), 6.\left(\begin{smallmatrix} 1 & 1 & 1 & i \\ 1 & 1 & -i & -1 \\ 1 & i& 1 & 1 \\ -i & -1 & 1 & 1 \end{smallmatrix}\right), 7.\left(\begin{smallmatrix} 1 & 1 & 1 & -i \\ 1 & 1 & -1 & i \\ 1 & -1 & 1 & i \\ i & -i & -i & 1 \end{smallmatrix}\right), 8.\left(\begin{smallmatrix} 1 & 1 & 1 & -i \\ 1 & 1 & -i & 1 \\ 1 & i & 1 & -1 \\ i & 1 & -1 & 1 \end{smallmatrix}\right), \\ &9.\left(\begin{smallmatrix} 1 & 1 & -1 & -1 \\ 1 & 1 & -i & i \\ -1 & i & 1 & i \\ -1 & -i & -i & 1 \end{smallmatrix}\right), 10.\left(\begin{smallmatrix} 1 & 1 & -1 & i \\ 1 & 1 & i & -1 \\ -1 & -i & 1 & -1 \\ -i & -1 & -1 & 1 \end{smallmatrix}\right), 11.\left(\begin{smallmatrix} 1 & 1 & -1 & -i \\ 1 & 1 & -i & -1 \\ -1 & i & 1 & -1 \\ i & -1 & -1 & 1 \end{smallmatrix}\right), 12.\left(\begin{smallmatrix} 1 & 1 & i & i \\ 1 & 1 & -i & -i \\ -i & i & 1 & -1 \\ -i & i & -1 & 1 \end{smallmatrix}\right), \\ &13. \left(\begin{smallmatrix} 1 & 1 & i & -i \\ 1 & 1 & -i & i \\ -i & i & 1 & 1 \\ i & -i & 1 & 1 \end{smallmatrix}\right), 14. \left(\begin{smallmatrix} 1 & -1 & -1 & -1 \\ -1 & 1 & -1 & -1 \\ -1 & -1 & 1 & -1 \\ -1 & -1 & -1 & 1 \end{smallmatrix}\right), 15. \left(\begin{smallmatrix} 1 & -1 & -1 & -1 \\ -1 & 1 & -i & i \\ -1 & i & 1 & -i \\ -1 & -i & i & 1 \end{smallmatrix}\right), 16. \left(\begin{smallmatrix} 1 & -1 & -1 & i \\ -1 & 1 & -1 & i \\ -1 & -1 & 1 & i \\ -i & -i & -i & 1 \end{smallmatrix}\right), \\ &17. \left(\begin{smallmatrix} 1 & -1 & -1 & -i \\ -1 & 1 & -1 & -i \\ -1 & -1 & 1 & -i \\ i & i & i & 1 \end{smallmatrix}\right), 18. \left(\begin{smallmatrix} 1 & -1 & i & i \\ -1 & 1 & i & i \\ -i & -i & 1 & -1 \\ -i & -i & -1 & 1 \end{smallmatrix}\right), 19.\left(\begin{smallmatrix} 1 & i & i & i \\ -i & 1 & -i & i \\ -i & i & 1 & -i \\ -i & -i & i & 1 \end{smallmatrix}\right), 20. \left(\begin{smallmatrix} 1 & i & i & -i \\ -i & 1 & -i & -i \\ -i & i & 1 & i \\ i & i & -i & 1 \end{smallmatrix}\right). \end{align*} $$
When we choose one
$(q_{ij})$
of the above 20 quantum parameters, then for any l, we have
$$\begin{align*}\Gamma(D_{+}(t_l),\mathcal{B}) \simeq k \langle Y_1,Y_2,Y_3 \rangle/ (Y_iY_j-q_{ij}'Y_jY_i, Y_1^4+Y_2^4+Y_3^4+1)_{1 \leq i,j \leq 3}, \end{align*}$$
where
$(q^{\prime }_{ij})$
is represented by one of the following matrices (we can verify this with direct calculations):
$$\begin{align*}(a). \begin{pmatrix} 1 & -1 & -1 \\-1 & 1 & -1 \\-1 & -1 & 1\end{pmatrix}, \qquad(b). \begin{pmatrix} 1 & -i & i \\i & 1 & -i \\ -i & i & 1\end{pmatrix}. \end{align*}$$
We write
$Z_l':=Z(\Gamma (D_{+}(t_l),\mathcal {B})) $
. When
$(q^{\prime }_{ij})$
is type (a),
$\mathrm {Spec}(Z^{\prime }_l)$
has six singular points because
$Z_l'$
is generated by
$Y_1^2,Y_2^2,Y_3^2$
and
$Y_1Y_2Y_3$
as a k-algebra. When
$(q^{\prime }_{ij})$
is type (b),
$\mathrm {Spec}(Z_l')$
has three singular points because
$Z_l'$
is generated by
$Y_1^4,Y_2^4,Y_3^4 $
and
$Y_1Y_2Y_3$
as a k-algebra. Moreover, for any
$(q_{ij})$
in the above table, if
$\mathcal {B}$
is type (a) (resp. (b)) on
$D_+(t_l)$
for some l, it is also type (a) (resp. (b)) on
$D_+(t_l)$
for any other l.
Step 4. If
$\mathrm {qgr}(C/(f))$
is equivalent to
$\mathrm {qgr}(C'/(f'))$
then, we must have an isomorphism of schemes between
$\mathrm {Spec}(\mathcal {Z}_{\mathcal {A}})$
and
$\mathrm {Spec}(\mathcal {Z}_{\mathcal {B}})$
by [Reference Burban and Drozd5, Theorem 4.4] (cf. [Reference Artin and Zhang1, Section 6]). Since
$\mathrm {Spec}(\mathcal {Z}_{\mathcal {A}})$
has infinitely many singular points, but,
$\mathrm {Spec}(\mathcal {Z}_{\mathcal {B}})$
has finitely many singular points, such a situation does not happen. Hence, we complete the proof.
Acknowledgments
The author is grateful to his supervisor Professor Hajime Kaji for his encouragement. He is also grateful to Professor Atsushi Kanazawa for telling him the articles [Reference Liu14, Reference Liu15]. He would like to thank Professor Izuru Mori, Professor Ryo Ohkawa, Professor Shinnosuke Okawa, Professor Balázs Szendrői, and Professor Kenta Ueyama for helpful comments. In addition, he thanks Niklas Lemcke for proofreading his English. Finally, he thanks the referee for his careful reading of the manuscript.
