1 Introduction
Let R be a commutative Noetherian ring. The singularity category of R, denoted
$\mathsf {D}_{\mathsf {sg}}(R)$
, is the Verdier quotient of the bounded derived category with respect to the full subcategory of perfect complexes. This was introduced by Buchweitz [Reference Buchweitz5] under the name stable derived category and later also by Orlov [Reference Orlov18], [Reference Orlov19] who related the singularity category to the homological mirror symmetry conjecture. The terminology is justified by the fact:
$\mathsf {D}_{\mathsf {sg}}(R)$
is trivial if and only if R is regular. For a strongly Gorenstein ring R (i.e., R has finite injective dimension as an R-module), Buchweitz [Reference Buchweitz5] established a triangle equivalence between the singularity category of R and the stable category of maximal Cohen–Macaulay R-modules.
In this article, we focus on studying the annihilator of the singularity category of R, namely an ideal of R consisting of elements in R that annihilate the endomorphism ring of all complexes in
$\mathsf {D}_{\mathsf {sg}}(R)$
(see Paragraph 3.2). We denote this ideal by
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
. This ideal measures the singularity of R in the sense that R is regular if and only if
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)=R$
(see Example 3.3).
Buchweitz [Reference Buchweitz5] observed that the Jacobian ideal
$\operatorname {\mathrm {jac}}(R)$
of R annihilates the singularity category of R when R is a quotient of a formal power series ring over a field modulo a regular sequence. Recently, this result was extended to a large family of rings (e.g., equicharacteristic complete Cohen–Macaulay local ring) by Iyengar and Takahashi [Reference Iyengar and Takahashi14]. There is also a result contained in [Reference Iyengar and Takahashi14]: a power of the generalized Jacobian ideal annihilates the singularity category of a commutative Noetherian ring; we point out this result should have an equidimensional assumption (see Example 4.11).
It is worth noting that there are only a few classes of rings whose annihilators of the singularity category are known. When R is a one dimensional reduced complete Gorenstein local ring, Esentepe [Reference Esentepe9] proved that the annihilator
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
is the conductor ideal of R, namely the annihilator of
$\overline {R}/R$
over R, where
$\overline {R}$
is the integral closure of R inside its total quotient ring.
Our first result concerns the connection between the Jacobian ideal
$\operatorname {\mathrm {jac}}(R)$
and the ideal
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
.
Theorem 1.1. (See 4.9) Let R be either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field. Then
$$ \begin{align*}\sqrt{\operatorname{\mathrm{jac}}(R)}=\sqrt{\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)}. \end{align*} $$
In particular,
$\operatorname {\mathrm {jac}}(R)^s$
annihilates the singularity category of R for some integer s.
The proof of the above result relies on the Jacobian criterion and Theorem 4.6. It is proved in Theorem 4.6 that
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
defines the singular locus of R if
$\mathsf {D}_{\mathsf {sg}}(R)$
has a strong generator; see the definition of strong generator in 2.3. The proof of Theorem 4.6 makes use of the localization and annihilator of an essentially small R-linear triangulated category discussed in
$\S $
3. The hypothesis of Theorem 1.1 ensures that
$\mathsf {D}_{\mathsf {sg}}(R)$
has a strong generator. Indeed, this can be inferred from a result of Iyengar and Takahashi [Reference Iyengar and Takahashi13] that says the bounded derived category of R has a strong generator if R is either a localization of a finitely generated algebra over a field or an equicharacteristic excellent local ring.
The ideal
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
is closely related to the cohomological annihilator
$\operatorname {\mathrm {ca}}(R)$
of R. By definition,
$\operatorname {\mathrm {ca}}(R)=\bigcup _{n\in \mathbb {Z}}\operatorname {\mathrm {ca}}^n(R)$
, where
$\operatorname {\mathrm {ca}}^n(R)$
consists of elements r in R such that
$r\cdot \operatorname {\mathrm {Ext}}^n_R(M,N)=0$
for all finitely generated R-modules
$M,N$
. The ideal
$\operatorname {\mathrm {ca}}(R)$
was initially studied by Dieterich [Reference Dieterich7] and Yoshino [Reference Yoshino25] in connection with the Brauer–Thrall conjecture. Cohomological annihilators are of independent interest and have been systematically studied by Wang [Reference Wang23], [Reference Wang24] and, Iyengar and Takahashi [Reference Iyengar and Takahashi13], [Reference Iyengar and Takahashi14]. When R is a strongly Gorenstein ring, Esentepe [Reference Esentepe9] observed that the cohomological annihilator coincides with the annihilator of the singularity category. We compare the relation of these two annihilators in
$\S $
5 for general rings. The main result in
$\S $
5 is the following:
Proposition 1.2. (See 5.3) Let R be a commutative Noetherian ring. Then:
(1)
$\operatorname {\mathrm {ca}}(R)\subseteq \operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
.
(2) If furthermore R is either a localization of a finitely generated algebra over a field or an equicharacteristic excellent local ring, then
$$ \begin{align*}\sqrt{\operatorname{\mathrm{ca}}(R)}=\sqrt{ \operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)}. \end{align*} $$
For a local ring R, it is proved that the cohomological annihilator contains the socle of R (see [Reference Iyengar and Takahashi13]). Hence in this case, Proposition 1.2 yields that the socle of R annihilates the singularity category of R (see Corollary 5.4).
Let G be an object in a triangulated category
$\mathcal {T}$
, the generation time of G in
$\mathcal {T}$
is the minimal number of cones required to generate
$\mathcal {T}$
, up to shifts, direct sums, and direct summands (see 2.3). If there exists an object G in
$\mathcal {T}$
with finite generation time, then this number will give an upper bound for the dimension of
$\mathcal {T}$
introduced by Rouquier [Reference Rouquier21]. By making use of the dimension of the stable category of exterior algebras, Rouquier [Reference Rouquier20] proved that the representation dimension can be arbitrary large.
Usually, it is difficult to find a precise generator of a given triangulated category with finite dimension (see [Reference Iyengar and Takahashi13]). Due to Keller, Murfet, and Van den Bergh [Reference Keller, Murfet and Van den Bergh15], for an isolated singularity
$(R,\mathfrak {m},k)$
, the singularity category of R is generated by k; we recover this result in Corollary 6.2. Inspired by this result and Theorem 4.6, we give an upper bound for the dimension of the singularity category of an equicharacteristic excellent local ring with isolated singularity.
Theorem 1.3. (See 6.6) Let
$(R,\mathfrak {m}, k)$
be an equicharacteristic excellent local ring. If R has an isolated singularity, then:
(1)
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
is
$\mathfrak {m}$
-primary.
(2) For any
$\mathfrak {m}$
-primary ideal I that is contained in
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
, then k is a generator of
$\mathsf {D}_{\mathsf {sg}}(R)$
with generation time at most
$(\nu (I)-\operatorname {\mathrm {depth}}(R)+1)\ell \ell (R/I)$
.
In the above result,
$\nu (I)$
is the minimal number of generators of I and
$\ell \ell (R/I)$
is the Loewy length of
$R/I$
, that is, the minimal integer
$n\in \mathbb {N}$
such that
$(\mathfrak {m}/I)^n=0$
.
Theorem 1.3 builds on ideas from a result of Dao and Takahashi [Reference Dao and Takahashi6] and extends their result to non-Cohen–Macaulay rings (see Remark 6.7). The key new ingredient in our proof makes use of Theorem 4.6.
2 Notation and terminology
Throughout this article, R will be a commutative Noetherian ring.
2.1 Derived categories and singularity categories
Let
$\mathsf {D}(R)$
denote the derived category of R-modules. It is a triangulated category with the shift functor
$\Sigma $
; for each complex
$X\in \mathsf {D}(R)$
,
$\Sigma (X)$
is given by
$\Sigma (X)^i=X^{i+1}$
and
$\partial _{\Sigma (X)}=-\partial _X$
.
We let
$\mathsf {D}^f(R)$
denote the full subcategory of
$\mathsf {D}(R)$
consisting of complexes X such that the total cohomology
$\bigoplus _{i\in \mathbb {Z}}\operatorname {\mathrm {H}}^i(X)$
is a finitely generated R-module.
$\mathsf {D}^f(R)$
inherits the structure of triangulated category from
$\mathsf {D}(R)$
.
A complex
$X\in \mathsf {D}^f(R)$
is called perfect if it is isomorphic to a bounded complex of finitely generated projective R-modules. We let
$\mathsf {perf}(R)$
denote the full subcategory of
$\mathsf {D}^f(R)$
consisting of perfect complexes. The singularity category of R is the Verdier quotient
This was first introduced by Buchweitz [Reference Buchweitz5, Def. 1.2.2] under the name stable derived category (see also [Reference Orlov18]). For two complexes
$X,Y\in \mathsf {D}_{\mathsf {sg}}(R)$
, recall that each morphism from X to Y in
$\mathsf {D}_{\mathsf {sg}}(R)$
is of the form
$X\xleftarrow \alpha Z\xrightarrow \beta Y$
, where
$\alpha ,\beta $
are morphisms in
$\mathsf {D}^f(R)$
and the cone of
$\alpha $
is a perfect complex (see [Reference Verdier22]).
2.2 Thick subcategories
Let
$\mathcal {T}$
be a triangulated category. A subcategory
$\mathcal {C}$
of
$\mathcal {T}$
is called thick if
$\mathcal {C}$
is closed under shifts, cones, and direct summands. For example,
$\mathsf {perf}(R)$
is a thick subcategory of
$\mathsf {D}^f(R)$
(see [Reference Buchweitz5, Lem. 1.2.1]).
For each object X in
$\mathcal {T}$
, set
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^0(X)=\{0\}$
. Denote by
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^1(X)$
the smallest full subcategory of
$\mathcal {T}$
that contains X and is closed under finite direct sums, direct summands, and shifts. Inductively, let
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^n(X)$
denote the full subcategory of
$\mathcal {T}$
consisting of objects
$Y\in \mathcal {T}$
that fit into an exact triangle
$$ \begin{align*}Y_1\rightarrow Y\oplus Y^\prime\rightarrow Y_2\rightarrow \Sigma(Y_1), \end{align*} $$
where
$Y_1\in \operatorname {\mathrm {\mathsf {thick}}}^1_{\mathcal {T}}(X)$
and
$Y_2\in \operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^{n-1}(X)$
. Note that the smallest thick subcategory of
$\mathcal {T}$
containing X, denoted
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}(X)$
, is precisely
$\bigcup _{n\geq 0}\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^n(X)$
.
2.3 Dimensions of triangulated categories
Let
$\mathcal {T}$
be a triangulated category. The dimension of
$\mathcal {T}$
introduced by Rouquier [Reference Rouquier21] is defined to be
Let G be an object in
$\mathcal {T}$
. G is called a generator of
$\mathcal {T}$
if
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}(G)=\mathcal {T}$
. G is called a strong generator of
$\mathcal {T}$
if
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^n(G)=\mathcal {T}$
for some
$n\in \mathbb {N}$
. The minimal number n such that
$\operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}^n(G)=\mathcal {T}$
is called the generation time of G in
$\mathcal {T}$
.
For example, if R is an Artinian ring, then
$R/J(R)$
is a strong generator of
$\mathsf {D}^f(R)$
with generation time at most
$\ell \ell (R)$
, where
$J(R)$
is the Jacobian radical of R and
is the Loewy length of R (see [Reference Rouquier21, Prop. 7.37]).
2.4 Syzygy modules
For a finitely generated R-module M and
$n\geq 1$
, we let
$\Omega _R^n(M)$
denote the n-th syzygy of M. That is, there is a long exact sequence
$$ \begin{align*}0\rightarrow \Omega_R^n(M)\rightarrow P^{-(n-1)}\rightarrow \cdots P^{-1}\rightarrow P^0\rightarrow M\rightarrow 0, \end{align*} $$
where
$P^{-i}$
are finitely generated projective R-modules for all
$0\leq i\leq n-1$
. By Schanuel’s lemma,
$\Omega ^n_R(M)$
is independent of the choice of the projective resolution of M up to projective summands.
When
$R=(R,\mathfrak {m})$
is local, we always choose the minimal free resolution of M in this article. Then
$\Omega _R^n(M)\subseteq \mathfrak {m} P^{-(n-1)}$
, and hence the socle of R annihilates
$\Omega ^n_R(M)$
.
2.5 Support of modules
Let
$\operatorname {\mathrm {Spec}}(R)$
denote the set of all prime ideals of R. It is endowed with the Zariski topology. A closed subset in this topology is of the form
, where I is an ideal of R. For each R-module M, the support of M is
where
$M_{\mathfrak {p}}$
is the localization of M at
$\mathfrak {p}$
.
3 Localization and annihilator of triangulated categories
Throughout this section, R will be a commutative Noetherian ring and
$\mathcal {T}$
will be an essentially small R-linear triangulated category.
3.1. We say the triangulated category
$\mathcal {T}$
is R-linear if for each
$X\in \mathcal {T}$
, there is a ring homomorphism
$$ \begin{align*}\phi_X\colon R\rightarrow \operatorname{\mathrm{Hom}}_{\mathcal{T}}(X,X),\end{align*} $$
such that the R-action on
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,Y)$
from the right via
$\phi _X$
and from the left via
$\phi _Y$
are compatible. That is, for each
$r\in R$
and
$\alpha \in \operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,Y)$
, one has
$$ \begin{align*}\phi_Y(r)\circ \alpha=\alpha\circ \phi_X(r).\end{align*} $$
3.2. For each
$X\in \mathcal {T}$
, the annihilator of X, denoted
$\operatorname {\mathrm {ann}}_RX$
, is defined to be the annihilator of
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)$
over R. That is,
The annihilator of
$\mathcal {T}$
is defined to be
A commutative Noetherian local ring is called regular if its maximal ideal can be generated by a system of parameter. Due to Auslander, Buchsbaum, and Serre, a commutative Noetherian local ring is regular if and only if its global dimension is finite (see [Reference Bruns and Herzog4, Th. 2.2.7]). A commutative Noetherian ring R is called regular provided that
$R_{\mathfrak {p}}$
is regular for all
$\mathfrak {p}\in \operatorname {\mathrm {Spec}}(R)$
.
Example 3.3. Consider the R-linear triangulated category
$\mathsf {D}_{\mathsf {sg}}(R)$
. As mentioned in
$\S $
1, R is regular if and only if
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)=R$
. Indeed, it is clear that
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)=R$
(
$ \iff \mathsf {D}_{\mathsf {sg}}(R)$
is trivial) is equivalent to that every finitely generated R-module has finite projective dimension. It turns out that this is equivalent to R is regular. According to Auslander, Buchsbaum, and Serre’s criterion, the forward direction is clear. For the backward direction, see [Reference Bass and Murthy2, Lem. 4.5].
3.4. Let V be a specialization closed subset of
$\operatorname {\mathrm {Spec}}(R)$
; that is, if
$\mathfrak {p}\in V$
, then the prime ideal
$\mathfrak {q}$
is in V if
$\mathfrak {p}\subseteq \mathfrak {q}$
. Following Benson, Iyengar, and Krause [Reference Benson, Iyengar and Krause3, §3], we define
$\mathcal {T}_V$
to be the full subcategory
We observe that
$\mathcal {T}_V$
is a thick subcategory of
$\mathcal {T}$
as the R-action on
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,Y)$
factors through
$\operatorname {\mathrm {End}}_{\mathcal {T}}(X)$
-action on
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,Y)$
and
$\operatorname {\mathrm {End}}_{\mathcal {T}}(Y)$
-action on
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,Y)$
.
For each prime ideal
$\mathfrak {p}$
of R, set
Then
$Z(\mathfrak {p})$
is a specialization closed subset of
$\operatorname {\mathrm {Spec}}(R)$
. The localization of
$\mathcal {T}$
at
$\mathfrak {p}$
is defined to be the Verdier quotient
Example 3.5. Consider the R-linear triangulated category
$\mathsf {D}^f(R)$
. Since R is Noetherian, for
$X,Y\in \mathsf {D}^f(R)$
, one has
$$ \begin{align*}\operatorname{\mathrm{Hom}}_{\mathsf{D}^f(R)}(X,Y)_{\mathfrak{p}}\cong \operatorname{\mathrm{Hom}}_{\mathsf{D}^f(R_{\mathfrak{p}})}(X_{\mathfrak{p}},Y_{\mathfrak{p}}). \end{align*} $$
This immediately yields that
$\operatorname {\mathrm {Hom}}_{\mathsf {D}^f(R)}(X,X)_{\mathfrak {p}}=0$
if and only if
$X_{\mathfrak {p}}=0$
in
$\mathsf {D}^f(R_{\mathfrak {p}})$
; the latter means
$X_{\mathfrak {p}}$
is acyclic. We conclude that
$$ \begin{align*}\mathsf{D}^f(R)_{Z(\mathfrak{p})}=\{X\in \mathsf{D}^f(R)\mid X_{\mathfrak{p}} \text{ is acyclic}\}. \end{align*} $$
Combining with this, [Reference Matsui17, Lem. 3.2(2)] implies that
$\mathsf {D}^f(R)/\mathsf {D}^f(R)_{Z(\mathfrak {p})}\cong \mathsf {D}^f(R_{\mathfrak {p}})$
. That is, there is a triangle equivalence
$$ \begin{align*}\mathsf{D}^f(R)_{\mathfrak{p}}\cong \mathsf{D}^f(R_{\mathfrak{p}}).\end{align*} $$
We will show that an analog of the above example holds for the singularity category (see Corollary 4.4).
Lemma 3.6. For each object X in
$\mathcal {T}$
, we have
$$ \begin{align*}\operatorname{\mathrm{Supp}}_R \operatorname{\mathrm{Hom}}_{\mathcal{T}}(X,X)=V(\operatorname{\mathrm{ann}}_{R}X). \end{align*} $$
In particular,
$\operatorname {\mathrm {Supp}}_R\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)$
is a closed subset of
$\operatorname {\mathrm {Spec}}(R)$
.
Proof. The second statement follows immediately from the first one.
It is clear
$\operatorname {\mathrm {Supp}}_R\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)\subseteq V(\operatorname {\mathrm {ann}}_{R}X)$
. For the converse, let
$\operatorname {\mathrm {ann}}_{R}X\subseteq \mathfrak {p}$
for some prime ideal
$\mathfrak {p}$
of R. We claim that
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)_{\mathfrak {p}}\neq 0$
. If not, assume
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)_{\mathfrak {p}}=0$
. Consider the identity morphism
$\operatorname {\mathrm {id}}_X\colon X\rightarrow X$
in
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)$
. The assumption yields that
$\operatorname {\mathrm {id}}_X$
is zero in the localization
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)_{\mathfrak {p}}$
. Thus there exists
$r\notin \mathfrak {p}$
such that
$r\cdot \operatorname {\mathrm {id}}_X=0$
. Then it is clear that
$r\in \operatorname {\mathrm {ann}}_{R}X$
. Hence
$\operatorname {\mathrm {ann}}_RX\nsubseteq {\mathfrak {p}}$
. This contradicts with
$\operatorname {\mathrm {ann}}_RX\subseteq {\mathfrak {p}}$
. As required.
3.7. Let X be an object in
$\mathcal {T}$
. Given an element
$r\in R$
, the Koszul object of r on X, denoted
$X\mathbin {\!/\mkern -5mu/\!} r$
, is the object that fits into the exact triangle
$$ \begin{align*}X\xrightarrow r X\rightarrow X\mathbin{\!/\mkern-5mu/\!} r \rightarrow \Sigma(X). \end{align*} $$
That is,
$X\mathbin {\!/\mkern -5mu/\!} r$
is the cone of the map
$r\colon X\rightarrow X$
. For a sequence
$\boldsymbol {r}=r_1,\ldots ,r_n$
, one can define the Koszul object
$X\mathbin {\!/\mkern -5mu/\!}\boldsymbol {r}$
by induction on n. That is,
$X\mathbin {\!/\mkern -5mu/\!} \boldsymbol {r}=(X\mathbin {\!/\mkern -5mu/\!} {\boldsymbol {r}{^\prime }})\mathbin {\!/\mkern -5mu/\!} r_n$
, where
${\boldsymbol {r}{^\prime }}=r_1,\ldots ,r_{n-1}$
. It is not difficult to show
$$ \begin{align} \operatorname{\mathrm{Supp}}_R \operatorname{\mathrm{Hom}}_{\mathcal{T}}(X\mathbin{\!/\mkern-5mu/\!} \boldsymbol{r},X\mathbin{\!/\mkern-5mu/\!} \boldsymbol{r})\subseteq \operatorname{\mathrm{Supp}}_R\operatorname{\mathrm{Hom}}_{\mathcal{T}}(X,X)\cap V(\boldsymbol{r}). \end{align} $$
For each complex X in
$\mathsf {D}(R)$
(or
$\mathsf {D}_{\mathsf {sg}}(R)$
) and a sequence
$\boldsymbol {r}=r_1,\ldots ,r_n$
in R, the Koszul object
$X\mathbin {\!/\mkern -5mu/\!}\boldsymbol {r}$
coincides with the classical Koszul complex of
$\boldsymbol {r}$
on R (see [Reference Bruns and Herzog4, §6] for more details about the Koszul complex).
The following result is a direct consequence of [Reference Benson, Iyengar and Krause3, Lem. 3.5].
Lemma 3.8. For each prime ideal
$\mathfrak {p}$
of R,
$$ \begin{align*}\mathcal{T}_{Z(\mathfrak{p})}=\operatorname{\mathrm{\mathsf{thick}}}_{\mathcal{T}}(X\mathbin{\!/\mkern-5mu/\!} r\mid X\in \mathcal{T}, r\notin \mathfrak{p}) \end{align*} $$
and the quotient functor
$\mathcal {T}\rightarrow \mathcal {T}/\mathcal {T}_{Z(\mathfrak {p})}=\mathcal {T}_{\mathfrak {p}}$
induces a natural isomorphism
$$ \begin{align*}\operatorname{\mathrm{Hom}}_{\mathcal{T}}(X,Y)_{\mathfrak{p}}\cong \operatorname{\mathrm{Hom}}_{\mathcal{T}_{\mathfrak{p}}}(X,Y) \end{align*} $$
for
$X,Y$
in
$\mathcal {T}$
.
Corollary 3.9. Let X be an object in
$\mathcal {T}$
. Then
$$ \begin{align*}\{\mathfrak{p}\in \operatorname{\mathrm{Spec}}(R)\mid X\neq 0 \text{ in } \mathcal{T}_{\mathfrak{p}}\}=V(\operatorname{\mathrm{ann}}_RX). \end{align*} $$
Proof. By Lemma 3.6,
$ V(\operatorname {\mathrm {ann}}_{R}X)=\operatorname {\mathrm {Supp}}_R \operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X). $
Note that the isomorphism
$ \operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)_{\mathfrak {p}}\cong \operatorname {\mathrm {Hom}}_{\mathcal {T}_{\mathfrak {p}}}(X,X) $
in Lemma 3.8 yields that
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)_{\mathfrak {p}}\neq 0$
is equivalent to
$X\neq 0$
in
$\mathcal {T}_{\mathfrak {p}}$
. This completes the proof.
Lemma 3.10.
$\{\mathfrak {p}\in \operatorname {\mathrm {Spec}}(R)\mid \mathcal {T}_{\mathfrak {p}}\neq 0\}\subseteq V(\operatorname {\mathrm {ann}}_R \mathcal {T}).$
Proof. By definition
$\operatorname {\mathrm {ann}}_R\mathcal {T}\subseteq \operatorname {\mathrm {ann}}_RX$
for each
$X\in \mathcal {T}$
. Thus, we get that
$ V(\operatorname {\mathrm {ann}}_RX)\subseteq V(\operatorname {\mathrm {ann}}_R\mathcal {T}). $
Combining with Corollary 3.9, we get
$$ \begin{align*}\{\mathfrak{p}\in \operatorname{\mathrm{Spec}}(R)\mid \mathcal{T}_{\mathfrak{p}}\neq 0\}=\bigcup_{X\in\mathcal{T}}\{\mathfrak{p}\in \operatorname{\mathrm{Spec}}(R)\mid X\neq 0 \text{ in }\mathcal{T}_{\mathfrak{p}}\}\subseteq V(\operatorname{\mathrm{ann}}_R\mathcal{T}), \end{align*} $$
as required.
The following is the main result of this section.
Proposition 3.11. Let
$\mathcal {T}$
be an essentially small R-linear triangulated category. If
$\dim \mathcal {T}<\infty $
, then
$$ \begin{align*}\{\mathfrak{p}\in \operatorname{\mathrm{Spec}} R\mid \mathcal{T}_{\mathfrak{p}}\neq 0\}= V(\operatorname{\mathrm{ann}}_R\mathcal{T}). \end{align*} $$
Proof. Assume
$\mathcal {T}=\operatorname {\mathrm {\mathsf {thick}}}^n_{\mathcal {T}}(G)$
for some
$G\in \mathcal {T}$
and
$n\in \mathbb {N}$
. Set
$I:=\operatorname {\mathrm {ann}}_{R}G$
. Then
$I^n\subseteq \operatorname {\mathrm {ann}}_R\mathcal {T}$
(see [Reference Esentepe9, Lem. 2.1]). In particular,
$\operatorname {\mathrm {V}}(\operatorname {\mathrm {ann}}_R \mathcal {T})\subseteq V(I)$
.
We claim that
$V(I)\subseteq \{\mathfrak {p}\in \operatorname {\mathrm {Spec}}(R)\mid \mathcal {T}_{\mathfrak {p}}\neq 0\}$
. Indeed, let
$\mathfrak {p}\in \operatorname {\mathrm {Spec}} (R)$
and
$I\subseteq \mathfrak {p}$
, by Lemma 3.6, we have
$\operatorname {\mathrm {Hom}}_{\mathcal {T}}(G,G)_{\mathfrak {p}}\neq 0$
. Thus, we conclude that
$\mathcal {T}_{\mathfrak {p}}\neq 0$
by Lemma 3.8.
By the above, we have
$V(\operatorname {\mathrm {ann}}_R\mathcal {T})\subseteq \{\mathfrak {p}\in \operatorname {\mathrm {Spec}}(R)\mid \mathcal {T}_{\mathfrak {p}}\neq 0\}$
. The desired result now follows immediately from Lemma 3.10.
4 Annihilators of the singularity category
In this section, we investigate the annihilator of
$\mathsf {D}_{\mathsf {sg}}(R)$
over R. It turns out that the Jacobian ideal and the annihilator of
$\mathsf {D}_{\mathsf {sg}}(R)$
are equal up to radical under some assumptions (see Corollary 4.9).
First, we give a technical lemma which is used in the proofs of Lemmas 4.2 and 4.3; the proof is inspired by [Reference Herzog and Popescu11, Lem. 2.2].
Lemma 4.1. Let X be an object in
$\mathsf {D}_{\mathsf {sg}}(R),$
and let
$\mathfrak {p}$
be a prime ideal of R. If
$X_{\mathfrak {p}}$
is perfect over
$R_{\mathfrak {p}}$
, then there exists
$r\notin \mathfrak {p}$
such that X is a direct summand of
$\Sigma ^{-1}(X\mathbin {\!/\mkern -5mu/\!} r)$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
.
Proof. By choosing a projective resolution of X, we may assume X is a bounded above complex of finitely generated projective R-modules with finitely many nonzero cohomologies. Then by taking brutal truncation, we conclude that
$\Sigma ^n(X)$
is isomorphic to a finitely generated R-module in
$\mathsf {D}_{\mathsf {sg}}(R)$
for
$ n\ll 0$
. Combining with the assumption, we may assume X is a finitely generated R-module and
$X_{\mathfrak {p}}$
is a free
$R_{\mathfrak {p}}$
-module.
Choose a projective resolution
$\pi \colon P(X)\rightarrow X$
, where
$P(X)$
is a finitely generated projective R-module. The kernel of
$\pi $
is the first syzygy of X, denoted
$\Omega ^1_R(X)$
. Then we have
$\operatorname {\mathrm {Ext}}_R^1(X,\Omega _R^1(X))_{\mathfrak {p}}=0$
as
$X_{\mathfrak {p}}$
is a free
$R_{\mathfrak {p}}$
-module. Since
$\operatorname {\mathrm {Ext}}^1_R(X,\Omega _R^1(X))$
is finitely generated over R, there is an element
$r\notin \mathfrak {p}$
such that
$r\cdot \operatorname {\mathrm {Ext}}_R^1(X,\Omega ^1_R(X))=0$
. That is, there exists a commutative diagram
in the category of R-modules.
Let f denote the middle map
$X\oplus \Omega _R^1(X)\rightarrow P(X)$
in (2). The right square of (2) induces a morphism
$\varphi \colon \operatorname {\mathrm {cone}}(f)\rightarrow X\mathbin {\!/\mkern -5mu/\!} r$
, where
$\operatorname {\mathrm {cone}}(f)$
is the cone of f. It follows immediately from the snake lemma that
$\varphi $
is a quasi-isomorphism. Hence, there exists an exact triangle
$$ \begin{align*}X\oplus \Omega_R^1(X)\rightarrow P(X)\rightarrow X\mathbin{\!/\mkern-5mu/\!} r \rightarrow \Sigma(X\oplus \Omega_R^1(X)) \end{align*} $$
in
$\mathsf {D}^f(R)$
. Thus, in
$\mathsf {D}_{\mathsf {sg}}(R)$
, we get that
$X\mathbin {\!/\mkern -5mu/\!} r\cong \Sigma (X\oplus \Omega _R^1(X))$
, as required.
Lemma 4.2.
$\mathsf {D}_{\mathsf {sg}}(R)_{\mathfrak {p}}= \mathsf {D}_{\mathsf {sg}}(R)/\{X\in \mathsf {D}_{\mathsf {sg}}(R)\mid X_{\mathfrak {p}}=0\in \mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})\}$
for each prime ideal
$\mathfrak {p}$
of R.
Proof. It is equivalent to show
$$ \begin{align*}\mathsf{D}_{\mathsf{sg}}(R)_{Z(\mathfrak{p})}=\{X\in \mathsf{D}_{\mathsf{sg}}(R)\mid X_{\mathfrak{p}}=0 \in \mathsf{D}_{\mathsf{sg}}(R_{\mathfrak{p}})\}. \end{align*} $$
From Lemma 3.8,
$ \mathsf {D}_{\mathsf {sg}}(R)_{Z(\mathfrak {p})}=\operatorname {\mathrm {\mathsf {thick}}}_{\mathsf {D}_{\mathsf {sg}}(R)}(X\mathbin {\!/\mkern -5mu/\!} r\mid X\in \mathsf {D}_{\mathsf {sg}}(R), r\notin \mathfrak {p}). $
Assume
$r\notin \mathfrak {p}$
. This yields that
$r_{\mathfrak {p}}$
is invertible in
$R_{\mathfrak {p}}$
. Then the exact triangle
$X\xrightarrow r X\rightarrow X\mathbin {\!/\mkern -5mu/\!} r\rightarrow \Sigma (X)$
implies
$(X\mathbin {\!/\mkern -5mu/\!} r)_{\mathfrak {p}}=0$
in
$\mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})$
. Hence,
$\mathsf {D}_{\mathsf {sg}}(R)_{Z(\mathfrak {p})}\subseteq \{X\in \mathsf {D}_{\mathsf {sg}}(R)\mid X_{\mathfrak {p}}=0\in \mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})\}.$
For the reverse inclusion, assume that
$X\in \mathsf {D}_{\mathsf {sg}}(R)$
and
$X_{\mathfrak {p}}=0$
in
$\mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})$
. Lemma 4.1 yields that
$X\in \operatorname {\mathrm {\mathsf {thick}}}_{\mathsf {D}_{\mathsf {sg}}(R)}(X\mathbin {\!/\mkern -5mu/\!} r)$
for some
$r\notin \mathfrak {p}$
. This completes the proof.
Lemma 4.3. Let R be a commutative Noetherian ring. For objects
$X,Y$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
, there is a natural isomorphism
$$ \begin{align*}\operatorname{\mathrm{Hom}}_{\mathsf{D}_{\mathsf{sg}}(R)}(X,Y)_{\mathfrak{p}}\cong \operatorname{\mathrm{Hom}}_{\mathsf{D}_{\mathsf{sg}}(R_{\mathfrak{p}})}(X_{\mathfrak{p}},Y_{\mathfrak{p}}) \end{align*} $$
for each prime ideal
$\mathfrak {p}$
of R.
Proof. We define the map
$\pi \colon \operatorname {\mathrm {Hom}}_{\mathsf {D}_{\mathsf {sg}}(R)}(X,Y)_{\mathfrak {p}}\rightarrow \operatorname {\mathrm {Hom}}_{\mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})}(X_{\mathfrak {p}},Y_{\mathfrak {p}})$
by sending
$s^{-1}(\alpha /\beta )$
to
$X_{\mathfrak {p}}\xleftarrow {s\circ \beta _{\mathfrak {p}}} Z_{\mathfrak {p}}\xrightarrow {\alpha _{\mathfrak {p}}} Y_{\mathfrak {p}}$
, where
$s\notin \mathfrak {p}$
and
$\alpha /\beta $
is
$X\xleftarrow \beta Z\xrightarrow \alpha Y$
; here,
$\alpha ,\beta $
are morphisms in
$\mathsf {D}^f(R)$
and
$\operatorname {\mathrm {cone}}(\beta )$
is perfect over R. The map is well defined.
First, we prove the map is injective. If
$\pi (s^{-1}(\alpha /\beta ))=0$
, then
$\alpha _{\mathfrak {p}}$
factors through a perfect complex over
$R_{\mathfrak {p}}$
. With the same argument in the proof of [Reference Letz16, Lem. 3.9], one can verify that
$(-)_{\mathfrak {p}}\colon \mathsf {perf}(R)\rightarrow \mathsf {perf}(R_{\mathfrak {p}})$
is dense. Hence,
$\alpha _{\mathfrak {p}}$
factors through
$F_{\mathfrak {p}}$
, where
$F\in \mathsf {perf}(R)$
. Since for
$M,N\in \mathsf {D}^f(R)$
$$ \begin{align*}\operatorname{\mathrm{Hom}}_{\mathsf{D}^f(R)}(M,N)_{\mathfrak{p}}\cong \operatorname{\mathrm{Hom}}_{\mathsf{D}^f(R_{\mathfrak{p}})}(M_{\mathfrak{p}},N_{\mathfrak{p}}), \end{align*} $$
there exists
$\gamma \colon Z\rightarrow F$
and
$\eta \colon F\rightarrow Y$
in
$\mathsf {D}^f(R)$
such that
$\alpha _{\mathfrak {p}}=t_1^{-1}\eta _{\mathfrak {p}}\circ t_2^{-1}\gamma _{\mathfrak {p}}$
for some
$t_1,t_2\notin \mathfrak {p}$
. This implies that there exists
$t\notin \mathfrak {p}$
such that
$tt_1t_2\alpha =t\eta \circ \gamma $
. Since
$tt_1t_2\notin \mathfrak {p}$
, we get that
$s^{-1}(\alpha /\beta )=0$
. Thus,
$\pi $
is injective.
Now, we prove that the map is surjective. We just need to consider the map
$X_{\mathfrak {p}}\xleftarrow {g_{\mathfrak {p}}} W_{\mathfrak {p}}\xrightarrow {f_{\mathfrak {p}}} Y_{\mathfrak {p}}$
is in the image of
$\pi $
for each
$W\in \mathsf {D}^f(R)$
, where
$f\colon W\rightarrow Y$
in
$\mathsf {D}^f(R)$
,
$g\colon W\rightarrow X$
in
$\mathsf {D}^f(R)$
, and
$\operatorname {\mathrm {cone}}(g)_{\mathfrak {p}}$
is perfect over
$R_{\mathfrak {p}}$
. Then Lemma 4.1 yields that
$\operatorname {\mathrm {cone}}(g)$
is a direct summand of
$\Sigma ^{-1}(\operatorname {\mathrm {cone}}(g)\mathbin {\!/\mkern -5mu/\!} r)$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
for some
$r\notin \mathfrak {p}$
. Since the multiplication
$r\colon \operatorname {\mathrm {cone}}(g)\mathbin {\!/\mkern -5mu/\!} r\rightarrow \operatorname {\mathrm {cone}}(g)\mathbin {\!/\mkern -5mu/\!} r$
is null-homotopy,
$r/1\colon \operatorname {\mathrm {cone}}(g)\mathbin {\!/\mkern -5mu/\!} r\rightarrow \operatorname {\mathrm {cone}}(g)\mathbin {\!/\mkern -5mu/\!} r$
is zero in
$\mathsf {D}_{\mathsf {sg}}(R)$
. Hence
$r/1\colon \operatorname {\mathrm {cone}}(g)\rightarrow \operatorname {\mathrm {cone}}(g)$
is also zero in
$\mathsf {D}_{\mathsf {sg}}(R)$
. Combining with the exact triangle
$W\xrightarrow {g/1} X\rightarrow \operatorname {\mathrm {cone}}(g)\rightarrow \Sigma (W)$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
, we conclude that
$r/1\colon X\rightarrow X$
factors through
$g/1$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
. Assume
$r/1=g/1\circ h_1/h_2$
, where
$h_1/h_2$
is
$X\xleftarrow {h_2} L \xrightarrow {h_1} W$
and
$\operatorname {\mathrm {cone}}(h_2)$
is perfect over R. This implies
$r/1=(g\circ h_1)/h_2 $
. Hence, there exists a commutative diagram in
$\mathsf {D}^f(R)$
where
$\operatorname {\mathrm {cone}}(l)$
is perfect over R. Note that
$g\circ h_1\circ h_3=rl$
. As
$\operatorname {\mathrm {cone}}((rl)_{\mathfrak {p}})$
is perfect over
$R_{\mathfrak {p}}$
, we get that
$f_{\mathfrak {p}}/g_{\mathfrak {p}}=(f\circ h_1\circ h_3)_{\mathfrak {p}}/(rl)_{\mathfrak {p}}$
. This morphism is precisely
$\pi (r^{-1}(f\circ h_1\circ h_3/l))$
. This completes the proof.
Corollary 4.4. For a commutative Noetherian ring R, we have
$$ \begin{align*}\mathsf{D}_{\mathsf{sg}}(R)_{\mathfrak{p}}= \mathsf{D}_{\mathsf{sg}}(R)/\{X\in \mathsf{D}_{\mathsf{sg}}(R)\mid X_{\mathfrak{p}}=0 \text{ in } \mathsf{D}_{\mathsf{sg}}(R_{\mathfrak{p}})\}\cong \mathsf{D}_{\mathsf{sg}}(R_{\mathfrak{p}}) \end{align*} $$
for each prime ideal
$\mathfrak {p}$
of R.
Proof. The first equation is from Lemma 4.2. Combining with this, the localization functor
$\mathsf {D}_{\mathsf {sg}}(R)\rightarrow \mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})$
induces a triangle functor
$\pi \colon \mathsf {D}_{\mathsf {sg}}(R)_{\mathfrak {p}}\rightarrow \mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})$
.
$\pi $
is fully faithful by Lemmas 3.8 and 4.3. By [Reference Letz16, Lem. 3.9],
$\pi $
is dense. Thus,
$\pi $
is an equivalence.
Remark 4.5. (1) When R is a Gorenstein ring with finite Krull dimension, the second equivalence above was proved by Matsui [Reference Matsui17, Lem. 3.2(3)] using a different method.
(2) Let X be a finitely generated R-module. Since
$\operatorname {\mathrm {pd}}_R(X)<\infty $
if and only if
$X=0$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
, Corollaries 3.9 and 4.4 yield that
$$ \begin{align*}\{\mathfrak{p}\in \operatorname{\mathrm{Spec}}(R)\mid \operatorname{\mathrm{pd}}_{R_{\mathfrak{p}}}(X_{\mathfrak{p}})=\infty\}=V(\operatorname{\mathrm{ann}}_R\operatorname{\mathrm{Hom}}_{\mathsf{D}_{\mathsf{sg}}(R)}(X,X)). \end{align*} $$
In particular, the set
$\{\mathfrak {p}\in \operatorname {\mathrm {Spec}}(R)\mid \operatorname {\mathrm {pd}}_{R_{\mathfrak {p}}}(M_{\mathfrak {p}})<\infty \}$
is Zariski open; this is proved in [Reference Bass and Murthy2, Lem. 4.5].
Let
$\operatorname {\mathrm {Sing}}(R)$
denote the singular locus of R. That is,
Theorem 4.6. Let R be a commutative Noetherian ring. If
$\dim \mathsf {D}_{\mathsf {sg}}(R)<\infty $
, then
$$ \begin{align*}\operatorname{\mathrm{Sing}} (R)=V(\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)). \end{align*} $$
In particular, in this case,
$\operatorname {\mathrm {Sing}}(R)$
is a closed subset.
Proof. For each prime ideal
$\mathfrak {p}$
of R, by Corollary 4.4, we get that
$\mathsf {D}_{\mathsf {sg}}(R)_{\mathfrak {p}}\neq 0$
if and only if
$\mathsf {D}_{\mathsf {sg}}(R_{\mathfrak {p}})\neq 0$
. This is equivalent to
$\mathfrak {p}\in \operatorname {\mathrm {Sing}}(R)$
. Thus the desired result follows immediately from Proposition 3.11.
Remark 4.7. Let R be a localization of a finitely generated algebra over a field or an equicharacteristic excellent local ring. It is proved by Iyengar and Takahashi that
$\dim \mathsf {D}^f(R)<\infty $
(see [Reference Iyengar and Takahashi13, Cor. 7.2]). In particular,
$\dim \mathsf {D}_{\mathsf {sg}}(R)<\infty $
.
In this case, Iyengar and Takahashi [Reference Iyengar and Takahashi13, Th. 5.3 and Th. 5.4] proved that the cohomological annihilator (see Paragraph 5.1), denoted
$\operatorname {\mathrm {ca}}(R)$
, defines the singular locus of R. Combining with Theorem 4.6, we conclude that
$\operatorname {\mathrm {ca}}(R)$
is equal to
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
up to radical. We will give a more precise relation between them in Proposition 5.3.
4.8. Let R be a finitely generated algebra over a field k (resp. an equicharacteristic complete local ring). Then
$R\cong k[x_1,\ldots ,x_n]/(f_1,\ldots ,f_c)$
(resp.
by Cohen’s structure theorem, where k is the residue field of R). Denote by h the height of the ideal
$(f_1,\ldots ,f_c)$
in
$k[x_1,\ldots ,x_n]$
(resp.
). More precisely,
$h=n-\dim (R)$
(see [Reference Hartshorne10, Th. I.1.8A] (resp. [Reference Bruns and Herzog4, Cor. 2.1.4]). The Jacobian ideal of R, denoted
$\operatorname {\mathrm {jac}}(R)$
, is defined to be the ideal of R generated by all
$h\times h$
minors of the Jacobian matrix
$$ \begin{align*}\partial(f_1,\ldots,f_c)/\partial(x_1,\ldots,x_n).\end{align*} $$
Recall that a commutative Noetherian ring is called equidimensional provided that
$\dim R/\mathfrak {p}=\dim R/\mathfrak {q}<\infty $
for all minimal prime ideals
$\mathfrak {p},\mathfrak {q}$
of R.
Corollary 4.9. Let R be either an equidimensional finitely generated k-algebra over a perfect field k, or an equidimensional equicharacteristic complete local ring with a perfect residue field. Then
$$ \begin{align*}\sqrt{\operatorname{\mathrm{jac}}(R)}=\sqrt{\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)}. \end{align*} $$
In particular,
$\operatorname {\mathrm {jac}}(R)^s$
annihilates the singularity category of R for some integer s.
Proof. The last statement follows immediately from the first one.
In both cases,
$\operatorname {\mathrm {jac}}(R)$
defines the singular locus of R. That is,
$$ \begin{align*}\operatorname{\mathrm{Sing}}(R)=V(\operatorname{\mathrm{jac}}(R)). \end{align*} $$
Indeed, the affine case can see [Reference Eisenbud8, Cor. 16.20]. The local case can combine [Reference Iyengar and Takahashi13, Lem. 2.10] and [Reference Wang23, Props. 4.4 and 4.5 and Th. 5.4].
From Remark 4.7,
$ \dim \mathsf {D}_{\mathsf {sg}}(R)<\infty. $
Combining with this, Theorem 4.6 implies that
$$ \begin{align*}\operatorname{\mathrm{Sing}}(R)=V(\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)). \end{align*} $$
By the above two equations, we have
$$ \begin{align*}V(\operatorname{\mathrm{jac}}(R))=V(\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)). \end{align*} $$
This implies the desired result.
Remark 4.10. (1) When R is an equicharacteristic Cohen–Macaulay local ring over a field, it turns out that
$\operatorname {\mathrm {jac}}(R)$
annihilates the singularity category of R (see [Reference Iyengar and Takahashi14]).
(2) Corollary 4.9 fails without equidimensional assumption (see Example 4.11). The example also shows that the power of the Jacobian ideal doesn’t annihilate the singularity category without equidimensional assumption.
Example 4.11. Let
$R=k[x,y,z,w]/(x^2,yz,yw)$
(resp.
), where k is a field with characteristic
$0$
. This is not equidimensional. Consider the prime ideal
$\mathfrak {p}=(\overline {x},\overline {z},\overline {w})$
of R. Note that
$R_{\mathfrak {p}}$
is not regular. Thus by Lemma 3.10 and Corollary 4.4, we get that
$$ \begin{align} \mathfrak{p}\in \operatorname{\mathrm{Sing}}(R)\subseteq V(\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)). \end{align} $$
In particular,
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)\subseteq \mathfrak {p}$
.
The height of
$(x^2,yz,yw)$
in
$k[x,y,z,w]$
(resp.
) is
$2$
. Then it is easy to compute that
$$ \begin{align*}\operatorname{\mathrm{jac}}(R)=(\overline{xy},\overline{xz},\overline{xw},\overline{y^2}).\end{align*} $$
Combining (3) with
$\operatorname {\mathrm {jac}}(R)\nsubseteq \mathfrak {p}$
, we conclude that
$$ \begin{align*}\operatorname{\mathrm{jac}}(R)\nsubseteq \sqrt{\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)}. \end{align*} $$
5 Comparison with the cohomological annihilator
In this section, we compare the annihilator of the singularity category with the cohomological annihilator. The main result of this section is Proposition 1.2 from the introduction. Using this result, we calculate an example of the annihilator of the singularity category at the end of this section.
5.1. For each
$n\in \mathbb {N}$
, following Iyengar and Takahashi [Reference Iyengar and Takahashi13, Def. 2.1], the nth cohomological annihilator of R is defined to be
$$ \begin{align*}\operatorname{\mathrm{ca}}^n(R):=\operatorname{\mathrm{ann}}_R \operatorname{\mathrm{Ext}}_R^{ n}(R\text{-}\mathsf{mod},R\text{-}\mathsf{mod}), \end{align*} $$
where
$R\text {-}\mathsf {mod}$
is the category of finitely generated R-modules. In words,
$\operatorname {\mathrm {ca}}^n(R)$
consists of elements r in R such that
$r\cdot \operatorname {\mathrm {Ext}}^n_R(M,N)=0$
for all finitely generated R-modules
$M,N$
. The cohomological annihilator of R is defined to be
It is proved that
$\operatorname {\mathrm {ca}}^n(R)$
is equal to the ideal
$\operatorname {\mathrm {ann}}_R\operatorname {\mathrm {Ext}}^{\geq n}_R(R\text {-}\mathsf {mod},R\text {-}\mathsf {mod})$
. In particular, there is an ascending chain of ideals
$0=\operatorname {\mathrm {ca}}^0(R)\subseteq \operatorname {\mathrm {ca}}^1(R)\subseteq \operatorname {\mathrm {ca}}^2(R)\subseteq \cdots $
. As R is Noehterian, there exists
$N\in \mathbb {N}$
such that
$\operatorname {\mathrm {ca}}(R)=\operatorname {\mathrm {ca}}^n(R)$
for all
$n\geq N$
.
It is not difficult to verify that there is an inclusion
$$ \begin{align*}\operatorname{\mathrm{Sing}}(R)\subseteq V(\operatorname{\mathrm{ca}}(R)) \end{align*} $$
(see [Reference Iyengar and Takahashi13, Lem. 2.10]).
5.2. Let R be a strongly Gorenstein ring, that is, R has finite injective dimension as R-module. It is proved by Esentepe [Reference Esentepe9, Lem. 2.3] that in this case
$$ \begin{align*}\operatorname{\mathrm{ca}}(R)=\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R). \end{align*} $$
Combining with this result, if furthermore
$\dim \mathsf {D}_{\mathsf {sg}}(R)<\infty $
, then Theorem 4.6 yields that
$$ \begin{align} \operatorname{\mathrm{Sing}}(R)=V(\operatorname{\mathrm{ca}}(R)). \end{align} $$
When R is a Gorenstein local ring and
$\dim \mathsf {D}_{\mathsf {sg}}(R)<\infty $
, (4) was proved by Bahlekeh, Hakimian, Salarian, and Takahashi [Reference Bahlekeh, Hakimian, Salarian and Takahashi1, Th. 3.3].
It is natural to ask: what is the relation of
$\operatorname {\mathrm {ca}}(R)$
and
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
when R is not Gorenstein? It turns out that they are equal up to radical under some mild assumptions.
Proposition 5.3. Let R be a commutative Noetherian ring. Then:
(1)
$\operatorname {\mathrm {ca}}(R)\subseteq \operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
.
(2) If furthermore R is either a localization of a finitely generated algebra over a field or an equicharacteristic excellent local ring, then
$$ \begin{align*}\sqrt{\operatorname{\mathrm{ca}}(R)}=\sqrt{ \operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)}. \end{align*} $$
Proof. (1) It is equivalent to show that
$\operatorname {\mathrm {ca}}^n(R)\subseteq \operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
for all
$n\geq 1 $
. For each
$r\in \operatorname {\mathrm {ca}}^n(R)$
and
$X\in \mathsf {D}_{\mathsf {sg}}(R)$
, we want to show the multiplication
$r\colon X\rightarrow X$
is zero in
$\mathsf {D}_{\mathsf {sg}}(R)$
. In order to prove this, we may assume
$X\cong \Omega ^{n-1}_R(Y)$
for some R-module Y, where
$\Omega ^{n-1}_R(Y)$
is an
$(n-1)$
th syzygy of the R-module Y (see the argument in the proof of Lemma 4.1).
Choose a short exact sequence
$$ \begin{align*}0\rightarrow \Omega_R^1(X)\rightarrow P(X)\xrightarrow \pi X\rightarrow 0, \end{align*} $$
where
$\pi $
is a projective resolution of X. Note that
$$ \begin{align*}\operatorname{\mathrm{Ext}}^1_R(X,\Omega^1_R(X))\cong \operatorname{\mathrm{Ext}}^{n}_R(Y,\Omega^1_R(X)).\end{align*} $$
Combining with the assumption, we get that
$r\cdot \operatorname {\mathrm {Ext}}^1_R(X,\Omega ^1_R(X))=0$
. This will imply that
$r\colon X\rightarrow X$
factors through the morphism
$\pi $
. In particular,
$r\colon X\rightarrow X$
factors through the projective module
$P(X)$
. Thus
$r\colon X\rightarrow X$
is zero in
$\mathsf {D}_{\mathsf {sg}}(R)$
, as required.
(2) By Theorem 4.6 and Remark 4.7, we have
$$ \begin{align*}V(\operatorname{\mathrm{ca}}(R))=\operatorname{\mathrm{Sing}}(R)=V(\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)). \end{align*} $$
This yields
$ \sqrt {\operatorname {\mathrm {ca}}(R)}=\sqrt {\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)}. $
Corollary 5.4. Let R be a commutative Noetherian local ring. Then the socle of R annihilates the singularity category of R.
Proof. It is proved that the cohomological annihilator contains the socle of R (see [Reference Iyengar and Takahashi13, Exam. 2.6]). The desired result follows immediately from Proposition 5.3.
Example 5.5. Let
$R=k[x,y,z,w]/(x^2,yz,yw)$
(resp.
), where k is a field with characteristic
$0$
. This is not equidimensional. Combining Example 4.11 with Proposition 5.3, we conclude that
$$ \begin{align*}\operatorname{\mathrm{jac}}(R)\nsubseteq \sqrt{\operatorname{\mathrm{ca}}(R)}=\sqrt{\operatorname{\mathrm{ann}}_R\mathsf{D}_{\mathsf{sg}}(R)}. \end{align*} $$
Remark 5.6. The above example also shows that [Reference Iyengar and Takahashi14, Th. 1.1] need not hold without the equidimensional assumption.
At the end of this section, we calculate an example of the annihilator of the singularity category. The ring considered in the following is not Cohen–Macaulay.
Example 5.7. Let
, where k is a field. We show that
$$ \begin{align*}\operatorname{\mathrm{jac}}(R)=\operatorname{\mathrm{ca}}(R)=\operatorname{\mathrm{ann}}_R \mathsf{D}_{\mathsf{sg}}(R)=(\overline{x},\overline{y}). \end{align*} $$
First,
$\operatorname {\mathrm {jac}}(R)=(\overline {x},\overline {y})$
is clear. By Example 3.3 and Proposition 5.3, the desired result follows from
$\operatorname {\mathrm {ca}}(R)=(\overline {x},\overline {y})$
. Since
$\overline {x}$
lies in the socle of R, Corollary 5.4 yields that
$\overline {x}\in \operatorname {\mathrm {ca}}(R) $
. It remains to prove
$\overline {y}\in \operatorname {\mathrm {ca}}(R)$
. For any finitely generated R-module M, we claim
$ \overline {y}\cdot \operatorname {\mathrm {Ext}}^3_R(M,-)=0. $
This will imply
$\overline {y}\in \operatorname {\mathrm {ca}}^3(R)\subseteq \operatorname {\mathrm {ca}}(R)$
.
Since there is an isomorphism
$\operatorname {\mathrm {Ext}}_R^3(M,-)\cong \operatorname {\mathrm {Ext}}^2_R(\Omega _R^1(M),-)$
, it is equivalent to show
$\overline {y}\cdot \operatorname {\mathrm {Ext}}_R^2(\Omega _R^1(M),-)=0$
. We observe
$\overline {x}\cdot \Omega _R^1(M)=0$
(see
$\S $
2.4). Thus,
$\Omega _R^1(M)$
is a finitely generated module over
. It follows from the structure theorem of finitely generated modules over PID that
$\Omega _R^1(M)$
is a finite direct sum of these modules:
$R/(x), R/(x,y^n), n\geq 1$
. Hence, the claim follows if
$\overline {y}\cdot \operatorname {\mathrm {Ext}}^2_R(R/(x),-)=0=\overline {y}\cdot \operatorname {\mathrm {Ext}}^2_R(R/(x,y^n),-)$
for all
$n\geq 1$
. The proof
$\overline {y}\cdot \operatorname {\mathrm {Ext}}^2_R(R/(x),-)=0$
is easier than
$\overline {y}\cdot \operatorname {\mathrm {Ext}}^2_R(R/(x,y^n),-)=0$
. We prove the latter one for example. The minimal free resolution of
$R/(x,y^n)$
is
$$ \begin{align*}\cdots \rightarrow R^5\xrightarrow{\begin{pmatrix} x& y& 0& 0& 0\\ 0& 0& x& 0& 0\\ 0& 0& 0& x& y \end{pmatrix}}R^3\xrightarrow{\begin{pmatrix} x& y& 0\\ 0& 0& x \end{pmatrix}}R^2\xrightarrow{(x,y^n)}R\rightarrow 0. \end{align*} $$
Hence, for each R-module N,
$\operatorname {\mathrm {Ext}}_R^2(R/(x,y^n),N)$
is the second cohomology of
$$ \begin{align*}0\rightarrow N\xrightarrow{\begin{pmatrix} x\\y^n \end{pmatrix}} N^2\xrightarrow{\begin{pmatrix} x& 0\\ y& 0\\ 0& x \end{pmatrix}} N^3\xrightarrow{\begin{pmatrix}x& 0&0\\ y& 0& 0\\ 0& x& 0\\ 0& 0& x\\ 0& 0& y \end{pmatrix}} N^5\rightarrow \cdots. \end{align*} $$
If
$(a,b,c)^T\in N^3$
is a cycle, then we get that
$ya=yc=xb=0$
. This implies that
$$ \begin{align*}y\cdot\begin{pmatrix} a\\ b\\ c \end{pmatrix}=\begin{pmatrix} 0\\ yb\\ 0 \end{pmatrix}=\begin{pmatrix} x& 0\\ y& 0\\ 0& x \end{pmatrix}\begin{pmatrix} b\\0 \end{pmatrix}.\end{align*} $$
In particular,
$y\cdot (a,b,c)^T$
is a boundary. Thus,
$\overline {y}\cdot \operatorname {\mathrm {Ext}}^2_R(R/(x,y^n),N)=0 $
.
6 Upper bound for dimensions of the singularity category
The main result of this section is Theorem 1.3 from the introduction, which gives an upper bound for the dimension of the singularity category of an equicharacteristic excellent local ring with isolated singularity. As mentioned in the introduction, it builds on ideas from Dao and Takahashi’s work [Reference Dao and Takahashi6, Th. 1.1(2)(a)] and extends their result (see Remark 6.7).
Lemma 6.1. Let
$(R,\mathfrak {m})$
be a commutative Noetherian local ring, and let
$\mathcal {T}$
be an essentially small R-linear triangulated category. Then the following are equivalent.
(1)
$\{\mathfrak {p}\in \operatorname {\mathrm {Spec}}(R)\mid \mathcal {T}_{\mathfrak {p}}\neq 0\}\subseteq \{\mathfrak {m}\}.$
(2) For each
$X\in \mathcal {T}$
, there exists
$j\in \mathbb {N}$
such that
$\mathfrak {m}^j\subseteq \operatorname {\mathrm {ann}}_{R}X$
.
(3) For each
$X\in \mathcal {T}$
, there exists an
$\mathfrak {m}$
-primary ideal
such that
$X\in \operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}(X\mathbin {\!/\mkern -5mu/\!} \boldsymbol {f})$
.
Proof.
$(1)\Rightarrow (2)$
: By Lemma 3.6, we get that for each
$X\in \mathcal {T}$
,
$$ \begin{align*}V(\operatorname{\mathrm{ann}}_{R}X)=\operatorname{\mathrm{Supp}}_R \operatorname{\mathrm{Hom}}_{\mathcal{T}}(X,X). \end{align*} $$
The assumption implies that
$\operatorname {\mathrm {Supp}}_{R}\operatorname {\mathrm {Hom}}_{\mathcal {T}}(X,X)\subseteq \{\mathfrak {m}\}$
. Thus
$V(\operatorname {\mathrm {ann}}_{R}X)\subseteq \{\mathfrak {m}\}$
. This means
$\mathfrak {m}\subseteq \sqrt {\operatorname {\mathrm {ann}}_{R}X}$
. It follows that
$\mathfrak {m}^j\subseteq \operatorname {\mathrm {ann}}_{R}X$
for some
$j\in \mathbb {N}$
.
$(2)\Rightarrow (3)$
: By assumption, there exists
$j\in \mathbb {N}$
such that
$\mathfrak {m}^j\subseteq \operatorname {\mathrm {ann}}_{\mathcal {T}}X$
. We write
$\mathfrak {m}^j=({\boldsymbol {f}})$
, where
${\boldsymbol {f}}=f_1,\ldots ,f_l$
. Since
$\mathfrak {m}^j\subseteq \operatorname {\mathrm {ann}}_{R}X$
, X is a direct summand of
$X\mathbin {\!/\mkern -5mu/\!} {\boldsymbol {f}}$
in
$\mathcal {T}$
. In particular,
$X\in \operatorname {\mathrm {\mathsf {thick}}}_{\mathcal {T}}(X\mathbin {\!/\mkern -5mu/\!} \boldsymbol {f})$
.
$(3)\Rightarrow (1)$
: We just need to show that for each
$X\in \mathcal {T}$
, X is zero in
$\mathcal {T}_{\mathfrak {p}}$
if
$\mathfrak {p}\neq \mathfrak {m}$
. According to the hypothesis, it is enough to show
$X\mathbin {\!/\mkern -5mu/\!}{\boldsymbol {f}}=0$
in
$\mathcal {T}_{\mathfrak {p}}$
if
$\mathfrak {p}\neq \mathfrak {m}$
, where
$({\boldsymbol {f}})$
is an
$\mathfrak {m}$
-primary ideal. Combining with (1) in 3.7, we have
$$ \begin{align*}\operatorname{\mathrm{Supp}}_{R}\operatorname{\mathrm{Hom}}_{\mathcal{T}}(X\mathbin{\!/\mkern-5mu/\!}{\boldsymbol{f}},X\mathbin{\!/\mkern-5mu/\!}{\boldsymbol{f}})\subseteq \{\mathfrak{m}\}. \end{align*} $$
The desired result follows immediately from Lemma 3.8.
Combining Corollary 4.4 with Lemma 6.1, we recover the following result of Keller, Murfet, and Van den Bergh [Reference Keller, Murfet and Van den Bergh15, Prop. A.2].
Corollary 6.2. Let
$(R,\mathfrak {m},k)$
be a commutative Noetherian local ring. Then R has an isolated singularity if and only if
$\mathsf {D}_{\mathsf {sg}}(R)=\operatorname {\mathrm {\mathsf {thick}}}_{\mathsf {D}_{\mathsf {sg}}(R)}(k)$
.
6.3. For a commutative Noetherian local ring
$(R,\mathfrak {m}, k)$
and a finitely generated R-module M, the depth of M, denoted
$\operatorname {\mathrm {depth}}(M)$
, is the length of a maximal M-regular sequence contained in
$\mathfrak {m}$
. This is well defined as all maximal M-regular sequences contained in
$\mathfrak {m}$
have the same length (see [Reference Bruns and Herzog4, §1.2] for more details).
Lemma 6.4. Let
$(R,\mathfrak {m}, k)$
be a commutative Noetherian local ring, and let X be a complex in
$\mathsf {D}_{\mathsf {sg}}(R)$
. For each
$n\gg 0$
, there exists an R-module M such that
$X\cong \Sigma ^n(M)$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
and
$\operatorname {\mathrm {depth}}(M)\geq \operatorname {\mathrm {depth}}(R)$
.
Proof. With the same argument in the proof of Lemma 4.1, we may assume that X is an R-module. By taking brutal truncation, we see easily that X is isomorphic to
$\Sigma ^n(\Omega ^n_R(X))$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
for all
$n\in \mathbb {N}$
. If
$n\geq \operatorname {\mathrm {depth}}(R)$
, then
$\operatorname {\mathrm {depth}}(\Omega ^n_R(X))\geq \operatorname {\mathrm {depth}}(R)$
(see [Reference Bruns and Herzog4, exercise 1.3.7]. This finishes the proof.
For a commutative Noetherian local ring
$(R,\mathfrak {m}, k)$
and a finitely generated R-module M, we let
$\nu (M)$
denote the minimal number of generators of M. We let
$\ell \ell (R)$
denote the Loewy length of R when R is Artinian (see
$\S $
2.3).
Lemma 6.5. Let
$(R,\mathfrak {m},k)$
be an isolated singularity and
$\dim \mathsf {D}_{\mathsf {sg}}(R)<\infty $
. Then:
(1)
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
is
$\mathfrak {m}$
-primary.
(2) For any
$\mathfrak {m}$
-primary ideal I that is contained in
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
, then k is a generator of
$\mathsf {D}_{\mathsf {sg}}(R)$
with generation time at most
$(\nu (I)-\operatorname {\mathrm {depth}}(R)+1)\ell \ell (R/I)$
.
Proof. (1) This follows immediately from Theorem 4.6.
(2) Corollary 6.2 yields that k is a generator of
$\mathsf {D}_{\mathsf {sg}}(R)$
. Since
$R/I$
is Artinian,
$N\in \operatorname {\mathrm {\mathsf {thick}}}_{\mathsf {D}(R/I)}^{\ell \ell (R/I)}(k)$
for any finitely generated
$R/I$
-module N (see
$\S $
2.3). Restricting scalars along the morphism
$R\rightarrow R/I$
, we get
$$ \begin{align} N\in \operatorname{\mathrm{\mathsf{thick}}}_{\mathsf{D}(R)}^{\ell\ell(R/I)}(k) \end{align} $$
for any finitely generated
$R/I$
-module N.
For each
$X\in \mathsf {D}_{\mathsf {sg}}(R)$
, we claim that
$X\in \operatorname {\mathrm {\mathsf {thick}}}_{\mathsf {D}_{\mathsf {sg}}(R)}^{(\nu (I)-\operatorname {\mathrm {depth}}(R)+1)\ell \ell (R/I)}(k)$
. By Lemma 6.4, we may assume X is a module and
$\operatorname {\mathrm {depth}}(X)\geq \operatorname {\mathrm {depth}}(R)$
. Choose a minimal set of generators of I, say
$\boldsymbol {x}=x_1,\ldots ,x_n$
, where
$n=\nu (I)$
. Since
$I\subseteq \operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
, we get that X is a direct summand of
$X\mathbin {\!/\mkern -5mu/\!} \boldsymbol {x}$
in
$\mathsf {D}_{\mathsf {sg}}(R)$
. As I is
$\mathfrak {m}$
-primary, the length of the maximal X-regular sequence contained in I is equal to
$\operatorname {\mathrm {depth}}(X)$
. It follows from [Reference Bruns and Herzog4, Th. 1.6.17] that there are at most
$n-\operatorname {\mathrm {depth}}(X)+1$
cohomologies that are nonzero. Note that each cohomology of
$X\mathbin {\!/\mkern -5mu/\!}\boldsymbol {x}$
is an
$R/I$
-module. Combining with (5), we conclude that X is in
$ \operatorname {\mathrm {\mathsf {thick}}}_{\mathsf {D}_{\mathsf {sg}}(R)}^{(n-\operatorname {\mathrm {depth}}(X)+1)\ell \ell (R/I)}(k)$
. As
$\operatorname {\mathrm {depth}}(X)\geq \operatorname {\mathrm {depth}}(R)$
, we have
$$ \begin{align*}(n-\operatorname{\mathrm{depth}}(X)+1)\ell\ell(R/I)\leq (n-\operatorname{\mathrm{depth}}(R)+1)\ell\ell(R/I).\end{align*} $$
The desired result follows.
Combining Remark 4.7 with Lemma 6.5, we immediately get the following main result of this section.
Theorem 6.6. Let
$(R,\mathfrak {m}, k)$
be an equicharacteristic excellent local ring. If R has an isolated singularity, then:
(1)
$\operatorname {\mathrm {ann}}_R \mathsf {D}_{\mathsf {sg}}(R)$
is
$\mathfrak {m}$
-primary.
(2) For any
$\mathfrak {m}$
-primary ideal I that is contained in
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
, then k is a generator of
$\mathsf {D}_{\mathsf {sg}}(R)$
with generation time at most
$(\nu (I)-\operatorname {\mathrm {depth}}(R)+1)\ell \ell (R/I)$
.
Remark 6.7. When
$(R,\mathfrak {m}, k)$
is an equicharacteristic complete Cohen–Macaulay local ring, the above result was proved by Dao and Takahashi [Reference Dao and Takahashi6, Th. 1.1] by replacing
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)$
by the Noether different of R. Indeed, in this case, it is proved that the Noether different annihilates the singularity category of R and it is
$\mathfrak {m}$
-primary (see [Reference Iyengar and Takahashi14, Lem. 2.1 and Prop. 4.1] and [Reference Yoshino26, Lem. 6.12], respectively). Thus, we extend Dao and Takahashi’s result to the non-Cohen–Macaulay rings.
We end this section by applying Theorem 6.6 to compute an upper bound for the dimension of the singularity category. The ring considered in the following example is not Cohen–Macaulay. Thus one can’t apply Dao and Takahashi’s result mentioned in Remark 6.7.
Example 6.8. Let
, where k is a field. This is an equicharacteristic complete local ring. Note that R is not Cohen–Macaulay as
$0=\operatorname {\mathrm {depth}}(R)<\dim (R)=1$
.
We let
$\mathfrak {m}$
denote the maximal ideal
$(\overline {x},\overline {y})$
of R. By Example 5.7, we get that
$\operatorname {\mathrm {ann}}_R\mathsf {D}_{\mathsf {sg}}(R)=\mathfrak {m}$
. Thus R has an isolated singularity (see Theorem 4.6 and Remark 4.7). It follows immediately from Theorem 6.6 that
$$ \begin{align*}\dim\mathsf{D}_{\mathsf{sg}}(R)\leq 3\ell\ell(R/\mathfrak{m})-1=2. \end{align*} $$
Acknowledgments
This work was inspired by the collaboration with Srikanth Iyengar, Janina Letz, and Josh Pollitz [Reference Iyengar, Letz, Liu and Pollitz12]. During the collaboration with them, the author learned about the annihilator of the singularity category. The author would like to thank them for their discussions and valuable comments. During this work, the author visited China Jiliang University and Northeast Normal University. The author would also like to thank Xianhui Fu, Pengjie Jiao, and Junling Zheng for their hospitality and discussions. Thanks to the referee for helpful suggestions and valuable comments.
