2.1

Unless otherwise specified, a module means a left module. Let $B$ be a ring. $Hom_{B}$ or $Ext_{B}$ mean the $Hom$ or $Ext$ for left $B$ -modules. $B^{op}$ denotes the opposite ring of $B$ , so a $B^{op}$ -module is nothing but a right $B$ -module. Let $BMod$ denote the category of $B$ -modules. $B^{op} Mod$ is also denoted by $ModB$ . For a left (resp. right) Noetherian ring $B$ , $B{\rm mod}$ (resp.  ${\rm mod}B$ ) denotes the full subcategory of $BMod$ (resp.  $ModB$ ) consisting of finitely generated left (resp. right) $B$ -modules.

2.2

For derived categories, we employ standard notation found in [Reference HartshorneHart].

For an abelian category ${\mathcal{A}}$ , $D({\mathcal{A}})$ denotes the unbounded derived category of ${\mathcal{A}}$ . For a plump subcategory (that is, a full subcategory which is closed under kernels, cokernels, and extensions) ${\mathcal{B}}$ of ${\mathcal{A}}$ , $D_{{\mathcal{B}}}({\mathcal{A}})$ denotes the triangulated subcategory of $D({\mathcal{A}})$ consisting of objects $\mathbb{F}$ such that $H^{i}(\mathbb{F})\in {\mathcal{B}}$ for any $i$ . For a ring $B$ , we denote $D(BMod)$ by $D(B)$ , and $D_{B mod}(BMod)$ by $D_{fg}(B)$ (if $B$ is left Noetherian).

2.3

Throughout the paper, let $R$ denote a commutative Noetherian ring. If $R$ is semilocal (resp. local) and $\mathfrak{m}$ its Jacobson radical, then we say that $(R,\mathfrak{m})$ is semilocal (resp. local). We say that $(R,\mathfrak{m},k)$ is semilocal (resp. local) if $(R,\mathfrak{m})$ is semilocal (resp. local) and $k=R/\mathfrak{m}$ .

2.4

We set $\hat{\mathbb{R}}:=\mathbb{R}\cup \{\infty ,-\infty \}$ and consider that $-\infty <\mathbb{R}<\infty$ . As a convention, for a subset $\unicode[STIX]{x1D6E4}$ of $\hat{\mathbb{R}}$ , $\inf \unicode[STIX]{x1D6E4}$ means $\inf (\unicode[STIX]{x1D6E4}\cup \{\infty \})$ , which exists uniquely as an element of $\hat{\mathbb{R}}$ . Similarly for $\sup$ .

2.5

For an ideal $I$ of $R$ and $M\in modR$ , we define

and call it the $I$ -depth of $M$ [Reference MatsumuraMat, Section 16]. It is also called the $M$ -grade of $I$ [Reference Brodmann and SharpBS, (6.2.4)]. When $(R,\mathfrak{m})$ is semilocal, we denote $depth(\mathfrak{m},M)$ by $depth_{R}M$ or $depthM$ , and call it the depth of $M$ .

2.6

For a subset $F$ of $X= SpecR$ , we define $codimF= codim_{X}F$ , the codimension of $F$ in $X$ , by $\inf \{htP\mid P\in F\}$ . So $htI= codimV(I)$ for an ideal $I$ of $R$ . For $M\in modR$ , we define $codimM:= codimSupp_{R}M= htannM$ , where $ann$ denotes the annihilator. For $n\geqslant 0$ , we denote the set $ht^{-1}(n)=\{P\in SpecR\mid htP=n\}$ by $R^{\langle n\rangle }$ . For a subset $\unicode[STIX]{x1D6E4}$ of $\mathbb{Z}$ , $R^{\langle \unicode[STIX]{x1D6E4}\rangle }$ means $ht^{-1}(\unicode[STIX]{x1D6E4})=\bigcup _{n\in \unicode[STIX]{x1D6E4}}R^{\langle n\rangle }$ . Moreover, we use notation such as $R^{\langle {\leqslant}3\rangle }$ , which stands for $R^{\langle \{n\in \mathbb{Z}\mid n\leqslant 3\}\rangle }$ , the set of primes of height at most $3$ . For $M\in modR$ , the set of minimal primes of $M$ is denoted by $MinM$ .

We define $M^{[n]}:=\{P\in SpecR\mid depthM_{P}=n\}$ . Similarly, we use notation such as $M^{[{<}n]}(=\{P\in SpecR\mid depthM_{P}<n\})$ .

2.7

Let $M,N\in modR$ . We say that $M$ satisfies the $(S_{n}^{N})^{R}$ -condition or $(S_{n}^{N})$ -condition if for any $P\in SpecR$ , $depth_{R_{P}}M_{P}\geqslant \min (n,\dim _{R_{P}}N_{P})$ . The $(S_{n}^{R})^{R}$ -condition or $(S_{n}^{R})$ -condition is simply denoted by $(S_{n}^{\prime })^{R}$ or $(S_{n}^{\prime })$ . We say that $M$ satisfies the $(S_{n})^{R}$ -condition or $(S_{n})$ -condition if $M$ satisfies the $(S_{n}^{M})$ -condition. $(S_{n})$ (resp.  $(S_{n}^{\prime })$ ) is equivalent to say that for any $P\in M^{[{<}n]}$ , $M_{P}$ is a Cohen–Macaulay (resp. maximal Cohen–Macaulay) $R_{P}$ -module. That is, $depthM_{P}=\dim M_{P}$ (resp.  $depthM_{P}=\dim R_{P}$ ). We consider that $(S_{n}^{N})^{R}$ is a class of modules, and also write $M\in (S_{n}^{N})^{R}$ (or $M\in (S_{n}^{N})$ ).

2.15

Let $M,N\in modR$ . We say that $M$ satisfies the $(S_{n}^{\prime })_{N}$ -condition, or $M\in (S_{n}^{\prime })_{N}=(S_{n}^{\prime })_{N}^{R}$ , if $M\in (S_{n}^{\prime })$ and $Supp_{R}M\subset Supp_{R}N$ .

2.17

There is another case that $(S_{n})$ implies $(S_{n}^{\prime })$ . An $R$ -module $N$ is said to be full if $Supp_{R}N= SpecR$ . A finitely generated faithful $R$ -module is full.

2.21

We say that $R$ satisfies $(R_{n})$ (resp.  $(T_{n})$ ) if $R_{P}$ is regular (resp. Gorenstein) for any prime $P$ of $R$ with $htP\leqslant n$ .

3.1

Let ${\mathcal{A}}$ be an abelian category, and ${\mathcal{C}}$ its additive subcategory closed under direct summands. Let $n\geqslant 0$ . We define

Let $a\in {\mathcal{A}}$ . A sequence

is said to be an $(n,{\mathcal{C}})$ -pushforward if it is exact with $c^{i}\in {\mathcal{C}}$ . If in addition,

is exact for any $c\in {\mathcal{C}}$ , where $(?)^{\dagger }= Hom_{{\mathcal{A}}}(?,c)$ , we say that $\mathbb{C}$ is a universal $(n,{\mathcal{C}})$ -pushforward.

If $a\in {\mathcal{A}}$ has an $(n,{\mathcal{C}})$ -pushforward, we say that $a$ is an $(n,{\mathcal{C}})$ -syzygy, and we write $a\in Syz(n,{\mathcal{C}})$ . If $a\in {\mathcal{A}}$ has a universal $(n,{\mathcal{C}})$ -pushforward, we say that $a\in UP_{{\mathcal{A}}}(n,{\mathcal{C}})= UP(n,{\mathcal{C}})$ . Obviously, $UP_{{\mathcal{A}}}(n,{\mathcal{C}})\subset Syz_{{\mathcal{A}}}(n,{\mathcal{C}})$ .

3.2

We write ${\mathcal{X}}_{n,m}({\mathcal{C}})={\mathcal{X}}_{n,m}:=\text{}^{\bot _{n}}{\mathcal{C}}\cap UP(m,{\mathcal{C}})$ for $n,m\geqslant 0$ . Also, for $a\neq 0$ , we define

We define ${\mathcal{C}}dim\,0=-\infty$ . We define ${\mathcal{Y}}_{n}({\mathcal{C}})={\mathcal{Y}}_{n}:=\{a\in {\mathcal{A}}\mid {\mathcal{C}}dim\,a<n\}$ . A sequence $\mathbb{E}$ is said to be ${\mathcal{C}}$ -exact if it is exact, and ${\mathcal{A}}(\mathbb{E},c)$ is also exact for each $c\in {\mathcal{C}}$ . Letting a ${\mathcal{C}}$ -exact sequence an exact sequence, ${\mathcal{A}}$ is an exact category, which we denote by ${\mathcal{A}}_{{\mathcal{C}}}$ in order to distinguish it from the abelian category ${\mathcal{A}}$ (with the usual exact sequences).

3.3

Let ${\mathcal{C}}_{0}\subset {\mathcal{A}}$ be a subset. Then $\text{}^{\bot _{n}}{\mathcal{C}}_{0}$ , $UP(n,{\mathcal{C}}_{0})$ , ${\mathcal{X}}_{n,m}({\mathcal{C}}_{0})$ , $\{$ , and ${\mathcal{Y}}_{n}({\mathcal{C}}_{0})={\mathcal{Y}}_{n}$ mean $\text{}^{\bot _{n}}{\mathcal{C}}$ , $UP(n,{\mathcal{C}})$ , ${\mathcal{X}}_{n,m}({\mathcal{C}})$ , ${\mathcal{C}}dim$ , and ${\mathcal{Y}}_{n}({\mathcal{C}})$ , respectively, where ${\mathcal{C}}= add{\mathcal{C}}_{0}$ , the smallest additive subcategory containing ${\mathcal{C}}_{0}$ and closed under direct summands. A ${\mathcal{C}}_{0}$ -exact sequence means a ${\mathcal{C}}$ -exact sequence. A sequence $\mathbb{E}$ in ${\mathcal{A}}$ is ${\mathcal{C}}_{0}$ -exact if and only if it is exact, and for any $c\in {\mathcal{C}}_{0}$ , ${\mathcal{A}}(\mathbb{E},c)$ is exact. If $c\in {\mathcal{A}}$ , $\text{}^{\bot _{n}}c$ , $UP(n,c)$ and so on mean $\text{}^{\bot _{n}} addc$ , $UP(n,addc)$ and so on.

3.4

By definition, any object of ${\mathcal{C}}$ is an injective object in ${\mathcal{A}}_{{\mathcal{C}}}$ .

3.5

Let ${\mathcal{E}}$ be an exact category, and ${\mathcal{I}}$ an additive subcategory of ${\mathcal{E}}$ . Then for $e\in {\mathcal{E}}$ , we define

Note that $Push_{{\mathcal{E}}}(0,{\mathcal{I}})$ is the whole ${\mathcal{E}}$ . Thus $Push_{{\mathcal{A}}_{{\mathcal{C}}}}(n,{\mathcal{C}})= UP_{{\mathcal{A}}}(n,{\mathcal{C}})$ .

If $a\in {\mathcal{E}}$ is a direct summand of an object of ${\mathcal{I}}$ , then $a$ admits an exact sequence

with $c^{i}\in {\mathcal{I}}$ , and hence $a\in \bigcap _{n\geqslant 0} Push_{{\mathcal{E}}}(n,{\mathcal{I}})$ .

3.9

We define $\text{}^{\bot _{}}{\mathcal{C}}=\text{}^{\bot _{\infty }}{\mathcal{C}}:=\bigcap _{i\geqslant 0}\text{}^{\bot _{i}}{\mathcal{C}}$ and $UP(\infty ,{\mathcal{C}}):=\bigcap _{j\geqslant 0} UP(j,{\mathcal{C}})$ . Obviously, ${\mathcal{C}}\subset UP(\infty ,{\mathcal{C}})$ .

3.11

We define ${\mathcal{Y}}_{\infty }:=\bigcup _{i\geqslant 0}{\mathcal{Y}}_{i}$ . So $a\in {\mathcal{Y}}_{\infty }$ if and only if ${\mathcal{C}}dim\,a<\infty$ . We also define ${\mathcal{X}}_{i,j}:=\text{}^{\bot _{i}}{\mathcal{C}}\cap UP(j,{\mathcal{C}})$ for $0\leqslant i,j\leqslant \infty$ .

3.12

Let $0\leqslant i,j\leqslant \infty$ . We say that $a\in {\mathcal{A}}$ lies in ${\mathcal{Z}}_{i,j}$ if there is a short exact sequence

in ${\mathcal{A}}$ such that $x\in {\mathcal{X}}_{i,j}$ and $y\in {\mathcal{Y}}_{i}$ .

3.13

We define $\infty \pm r=\infty$ for $r\in \mathbb{R}$ .

4.1

In the rest of this paper, let $\unicode[STIX]{x1D6EC}$ be a module-finite $R$ -algebra, which need not be commutative. A $\unicode[STIX]{x1D6EC}$ -bimodule means a $\unicode[STIX]{x1D6EC}\otimes _{R}\unicode[STIX]{x1D6EC}^{op}$ -module. Let $C\in mod\unicode[STIX]{x1D6EC}$ be fixed. Set $\unicode[STIX]{x1D6E4}:= End_{\unicode[STIX]{x1D6EC}^{op}}C$ . Note that $\unicode[STIX]{x1D6E4}$ is also a module-finite $R$ -algebra. We denote $(?)^{\dagger }:= Hom_{\unicode[STIX]{x1D6EC}^{op}}(?,C): mod\unicode[STIX]{x1D6EC}\rightarrow (\unicode[STIX]{x1D6E4}{\rm mod})^{op}$ , and $(?)^{\ddagger }:= Hom_{\unicode[STIX]{x1D6E4}}(?,C):\unicode[STIX]{x1D6E4}{\rm mod}\rightarrow ({\rm mod}\unicode[STIX]{x1D6EC})^{op}$ .

4.2

We denote $Syz_{{\rm mod}\unicode[STIX]{x1D6EC}}(n,C)$ , $UP_{{\rm mod}\unicode[STIX]{x1D6EC}}(n,C)$ , and $Cdim_{{\rm mod}\unicode[STIX]{x1D6EC}}M$ respectively by $Syz_{\unicode[STIX]{x1D6EC}^{op}}(n,C)$ , $UP_{\unicode[STIX]{x1D6EC}^{op}}(n,C)$ , and $Cdim_{\unicode[STIX]{x1D6EC}^{op}}M$ .

4.3

Note that for $M\in mod\unicode[STIX]{x1D6EC}$ and $N\in \unicode[STIX]{x1D6E4}{\rm mod}$ , we have standard isomorphisms

The first isomorphism sends $f:M\rightarrow N^{\ddagger }$ to the map $(n\otimes m\mapsto f(m)(n))$ . Its inverse is given by $g:N\otimes _{R}M\rightarrow C$ to $(m\mapsto (n\mapsto g(n\otimes m)))$ . This shows that $(?)^{\dagger }$ has $((?)^{\ddagger })^{op}:(\unicode[STIX]{x1D6E4}{\rm mod})^{op}\rightarrow mod\unicode[STIX]{x1D6EC}$ as a right adjoint. Hence $((?)^{\dagger })^{op}$ is right adjoint to $(?)^{\ddagger }$ . We denote the unit of adjunction $\operatorname{Id}\rightarrow (?)^{\dagger \ddagger }=(?)^{\ddagger }(?)^{\dagger }$ by $\unicode[STIX]{x1D706}$ . Note that for $M\in mod\unicode[STIX]{x1D6EC}$ , the map $\unicode[STIX]{x1D706}_{M}:M\rightarrow M^{\dagger \ddagger }$ is given by $\unicode[STIX]{x1D706}_{M}(m)(\unicode[STIX]{x1D713})=\unicode[STIX]{x1D713}(m)$ for $m\in M$ and $\unicode[STIX]{x1D713}\in M^{\dagger }= Hom_{\unicode[STIX]{x1D6EC}^{op}}(M,C)$ . We denote the unit of adjunction $N\rightarrow N^{\ddagger \dagger }$ by $\unicode[STIX]{x1D707}=\unicode[STIX]{x1D707}_{N}$ for $N\in \unicode[STIX]{x1D6E4}{\rm mod}$ . When we view $\unicode[STIX]{x1D707}$ as a morphism $N^{\ddagger \dagger }\rightarrow N$ (in the opposite category $(\unicode[STIX]{x1D6E4}{\rm mod})^{op}$ ), then it is the counit of adjunction.

4.9

We denote by $(S_{n}^{\prime })_{C}=(S_{n}^{\prime })_{C}^{\unicode[STIX]{x1D6EC}^{op},R}$ the class of $M\in mod\unicode[STIX]{x1D6EC}$ such that $M$ viewed as an $R$ -module lies in $(S_{n}^{\prime })_{C}^{R}$ ; see (2.15).

4.11

For an additive category ${\mathcal{C}}$ and its additive subcategory ${\mathcal{X}}$ , we denote by ${\mathcal{C}}/{\mathcal{X}}$ the quotient of ${\mathcal{C}}$ divided by the ideal consisting of morphisms which factor through objects of ${\mathcal{X}}$ .

4.12

For each $M\in mod\unicode[STIX]{x1D6EC}$ , take a presentation

with $F_{i}\in add\unicode[STIX]{x1D6EC}_{\unicode[STIX]{x1D6EC}}$ . We denote

by $Tr_{C}M$ , where $(?)^{t}= Hom_{\unicode[STIX]{x1D6EC}^{op}}(?,\unicode[STIX]{x1D6EC})$ and $Tr$ is the transpose (see [Reference Assem, Simson and SkowrońskiASS, (V.2)]), and we call it the $C$ -transpose of $M$ . $Tr_{C}$ is an additive functor from $\operatorname{mod̲}\unicode[STIX]{x1D6EC}:= mod\unicode[STIX]{x1D6EC}/add\unicode[STIX]{x1D6EC}_{\unicode[STIX]{x1D6EC}}$ to $\unicode[STIX]{x1D6E4}_{C}\operatorname{mod̲}:=\unicode[STIX]{x1D6E4}{\rm mod}/addC$ .

5.1

Let $R=(R,\mathfrak{m})$ be semilocal, where $\mathfrak{m}$ is the Jacobson radical of $R$ .

5.2

We say that a dualizing complex $\mathbb{I}$ over $R$ is normalized if for any maximal ideal $\mathfrak{n}$ of $R$ , $Ext_{R}^{0}(R/\mathfrak{n},\mathbb{I})\neq 0$ . We follow the definition of [Reference HartshorneHart].

5.3

For a left or right $\unicode[STIX]{x1D6EC}$ -module $M$ , $\dim M$ or $\dim _{\unicode[STIX]{x1D6EC}}M$ denotes the dimension $\dim _{R}M$ of $M$ , which is independent of the choice of $R$ . We call $depth_{R}(\mathfrak{m},M)$ , which is also independent of $R$ , the global depth, $\unicode[STIX]{x1D6EC}$ -depth, or depth of $M$ , and denote it by $depth_{\unicode[STIX]{x1D6EC}}M$ or $depthM$ . $M$ is called globally Cohen–Macaulay or GCM for short, if $\dim M= depthM$ . $M$ is GCM if and only if it is Cohen–Macaulay as an $R$ -module, and all the maximal ideals of $R/ann_{R}M$ have the same height. This notion is independent of $R$ , and depends only on $\unicode[STIX]{x1D6EC}$ and $M$ . $M$ is called a globally maximal Cohen–Macaulay (GMCM for short) if $\dim \unicode[STIX]{x1D6EC}= depthM$ . We say that the algebra $\unicode[STIX]{x1D6EC}$ is GCM if the $\unicode[STIX]{x1D6EC}$ -module $\unicode[STIX]{x1D6EC}$ is GCM. However, in what follows, if $R$ happens to be local, then GCM and Cohen–Macaulay (resp. GMSM and maximal Cohen–Macaulay) (over $R$ ) are the same thing, and used interchangeably.

5.4

Assume that $(R,\mathfrak{m})$ is complete semilocal, and $\unicode[STIX]{x1D6EC}\neq 0$ . Let $\mathbb{I}$ be a normalized dualizing complex of $R$ . The lowest nonvanishing cohomology group $Ext_{R}^{-s}(\unicode[STIX]{x1D6EC},\mathbb{I})$ ( $Ext_{R}^{i}(\unicode[STIX]{x1D6EC},\mathbb{I})=0$ for $i<-s$ ) is denoted by $K_{\unicode[STIX]{x1D6EC}}$ , and is called the canonical module of $\unicode[STIX]{x1D6EC}$ . Note that $K_{\unicode[STIX]{x1D6EC}}$ is a $\unicode[STIX]{x1D6EC}$ -bimodule. Hence it is also a $\unicode[STIX]{x1D6EC}^{op}$ -bimodule. In this sense, $K_{\unicode[STIX]{x1D6EC}}=K_{\unicode[STIX]{x1D6EC}^{op}}$ . If $\unicode[STIX]{x1D6EC}=0$ , then we define $K_{\unicode[STIX]{x1D6EC}}=0$ .

5.5

Let $S$ be the center of $\unicode[STIX]{x1D6EC}$ . Then $S$ is module-finite over $R$ , and $\mathbb{I}_{S}=\mathbf{R}\text{Hom}_{R}(S,\mathbb{I})$ is a normalized dualizing complex of $S$ . This shows that $\mathbf{R}\text{Hom}_{R}(\unicode[STIX]{x1D6EC},\mathbb{I})\cong \mathbf{R}\text{Hom}_{S}(\unicode[STIX]{x1D6EC},\mathbb{I}_{S})$ , and hence the definition of $K_{\unicode[STIX]{x1D6EC}}$ is also independent of $R$ .

5.8

Assume that $(R,\mathfrak{m})$ is semilocal which need not be complete. We say that a finitely generated $\unicode[STIX]{x1D6EC}$ -bimodule $K$ is a canonical module of $\unicode[STIX]{x1D6EC}$ if $\hat{K}$ is isomorphic to the canonical module $K_{\hat{\unicode[STIX]{x1D6EC}}}$ as a $\hat{\unicode[STIX]{x1D6EC}}$ -bimodule, where $\hat{?}$ denotes the $\mathfrak{m}$ -adic completion. It is unique up to isomorphisms, and denoted by $K_{\unicode[STIX]{x1D6EC}}$ . We say that $K\in mod\unicode[STIX]{x1D6EC}$ is a right canonical module of $\unicode[STIX]{x1D6EC}$ if $\hat{K}$ is isomorphic to $K_{\hat{\unicode[STIX]{x1D6EC}}}$ in ${\rm mod}\hat{\unicode[STIX]{x1D6EC}}$ . If $K_{\unicode[STIX]{x1D6EC}}$ exists, then $K$ is a right canonical module if and only if $K\cong K_{\unicode[STIX]{x1D6EC}}$ in ${\rm mod}\unicode[STIX]{x1D6EC}$ .

These definitions are independent of $R$ , in the sense that the (right) canonical module over $R$ and that over the center of $\unicode[STIX]{x1D6EC}$ are the same thing. The right canonical module of $\unicode[STIX]{x1D6EC}^{op}$ is called the left canonical module. A $\unicode[STIX]{x1D6EC}$ -bimodule $\unicode[STIX]{x1D714}$ is said to be a weakly canonical bimodule if $_{\unicode[STIX]{x1D6EC}}\unicode[STIX]{x1D714}$ is left canonical, and $\unicode[STIX]{x1D714}_{\unicode[STIX]{x1D6EC}}$ is right canonical. The canonical module $K_{\unicode[STIX]{x1D6EC}^{op}}$ of $\unicode[STIX]{x1D6EC}^{op}$ is canonically identified with $K_{\unicode[STIX]{x1D6EC}}$ .

5.9

If $R$ has a normalized dualizing complex $\mathbb{I}$ , then $\hat{\mathbb{I}}$ is a normalized dualizing complex of $\hat{R}$ , and so it is easy to see that $K_{\unicode[STIX]{x1D6EC}}$ exists and agrees with $Ext^{-d}(\unicode[STIX]{x1D6EC},\mathbb{I})$ , where $d=\dim \unicode[STIX]{x1D6EC}(:=\dim _{R}\unicode[STIX]{x1D6EC})$ . In this case, for any $P\in SpecR$ , $\mathbb{I}_{P}$ is a dualizing complex of $R_{P}$ . So if $R$ has a dualizing complex and $(K_{\unicode[STIX]{x1D6EC}})_{P}\neq 0$ , then $(K_{\unicode[STIX]{x1D6EC}})_{P}$ , which is the lowest nonzero cohomology group of $\mathbf{R}\text{Hom}_{R_{P}}(\unicode[STIX]{x1D6EC}_{P},\mathbb{I}_{P})$ , is the $R_{P}$ -canonical module of $\unicode[STIX]{x1D6EC}_{P}$ . See also Theorem 7.5 below.

5.11

A $\unicode[STIX]{x1D6EC}$ -module $M$ is said to be $\unicode[STIX]{x1D6EC}$ -full over $R$ if $Supp_{R}M= Supp_{R}\unicode[STIX]{x1D6EC}$ .

5.13

Let $(R,\mathfrak{m})$ be local, and $\mathbb{I}$ be a normalized dualizing complex. By the local duality,

(as $\unicode[STIX]{x1D6EC}$ -bimodules), where $E_{R}(R/\mathfrak{m})$ is the injective hull of the $R$ -module $R/\mathfrak{m}$ , and $(?)^{\vee }$ is the Matlis dual $Hom_{R}(?,E_{R}(R/\mathfrak{m}))$ .

5.14

Let $(R,\mathfrak{m})$ be semilocal, and $\mathbb{I}$ be a normalized dualizing complex. Note that $\mathbf{R}\text{Hom}_{R}(?,\mathbb{I})$ induces a contravariant equivalence between $D_{fg}(\unicode[STIX]{x1D6EC}^{op})$ and $D_{fg}(\unicode[STIX]{x1D6EC})$ . Let $\mathbb{J}\in D_{fg}(\unicode[STIX]{x1D6EC}\otimes _{R}\unicode[STIX]{x1D6EC}^{op})$ be $\mathbf{R}\text{Hom}_{R}(\unicode[STIX]{x1D6EC},\mathbb{I})$ .

is identified with

and similarly,

is identified with $\mathbf{R}\text{Hom}_{\unicode[STIX]{x1D6EC}}(?,\mathbb{J})$ . Note that a left or right $\unicode[STIX]{x1D6EC}$ -module $M$ is GMCM if and only if $\mathbf{R}\text{Hom}_{R}(M,\mathbb{I})$ is concentrated in degree $-d$ , where $d=\dim \unicode[STIX]{x1D6EC}$ .

5.15

$\mathbb{J}$ above is a dualizing complex of $\unicode[STIX]{x1D6EC}$ in the sense of Yekutieli [Reference YekutieliYek, (3.3)].

5.16

$\unicode[STIX]{x1D6EC}$ is GCM if and only if $K_{\unicode[STIX]{x1D6EC}}[d]\rightarrow \mathbb{J}$ is an isomorphism. If so, $M\in mod\unicode[STIX]{x1D6EC}$ is GMCM if and only if $\mathbf{R}\text{Hom}_{R}(M,\mathbb{I})$ is concentrated in degree $-d$ if and only if $Ext_{\unicode[STIX]{x1D6EC}^{op}}^{i}(M,K_{\unicode[STIX]{x1D6EC}})=0$ for $i>0$ . Also, in this case, as $K_{\unicode[STIX]{x1D6EC}}[d]$ is a dualizing complex, it is of finite injective dimension both as a left and a right $\unicode[STIX]{x1D6EC}$ -module. To prove these, we may take the completion, and may assume that $R$ is complete. All the assertions are independent of $R$ , so taking the Noether normalization, we may assume that $R$ is local. By (5.14), the assertions follow.

5.17

For any $M\in mod\unicode[STIX]{x1D6EC}$ which is GMCM,

Hence $M^{\dagger }:= Hom_{\unicode[STIX]{x1D6EC}^{op}}(M,K_{\unicode[STIX]{x1D6EC}})$ is also a GMCM $\unicode[STIX]{x1D6EC}$ -module, and hence

is an isomorphism (in other words, $Ext_{\unicode[STIX]{x1D6EC}}^{i}(M^{\dagger },K_{\unicode[STIX]{x1D6EC}})=0$ for $i>0$ ). So the canonical map

$m\mapsto (\unicode[STIX]{x1D711}\mapsto \unicode[STIX]{x1D711}m)$ is an isomorphism. This isomorphism is true without assuming that $R$ has a dualizing complex (but assuming the existence of a canonical module), passing to the completion. Note that if $\unicode[STIX]{x1D6EC}=R$ , $K_{R}$ exists, and $R$ is Cohen–Macaulay, then $K_{R}$ is a dualizing complex of $R$ .

Similarly, for $N\in \unicode[STIX]{x1D6EC}{\rm mod}$ which is GMCM,

$n\mapsto (\unicode[STIX]{x1D711}\mapsto \unicode[STIX]{x1D711}n)$ is an isomorphism.

5.18

In particular, letting $M=\unicode[STIX]{x1D6EC}$ , if $\unicode[STIX]{x1D6EC}$ is GCM, we have that $K_{\unicode[STIX]{x1D6EC}}= Hom_{\unicode[STIX]{x1D6EC}^{op}}(\unicode[STIX]{x1D6EC},K_{\unicode[STIX]{x1D6EC}})$ is GMCM. Moreover,

is an $R$ -algebra isomorphism, where $a\in \unicode[STIX]{x1D6EC}$ goes to the left multiplication by $a$ . Similarly,

is an isomorphism of $R$ -algebras.

5.19

Let $(R,\mathfrak{m})$ be a $d$ -dimensional complete local ring, and $\dim \unicode[STIX]{x1D6EC}=d$ . Then by the local duality,

where $\mathbb{J}= Hom_{R}(\unicode[STIX]{x1D6EC},\mathbb{I})$ and $(?)^{\vee }= Hom_{R}(?,E_{R}(R/\mathfrak{m}))$ .

6.1

We say that $\unicode[STIX]{x1D714}$ is an $R$ -semicanonical right $\unicode[STIX]{x1D6EC}$ -module (resp.  $R$ -semicanonical left $\unicode[STIX]{x1D6EC}$ -module, weakly $R$ -semicanonical $\unicode[STIX]{x1D6EC}$ -bimodule, $R$ -semicanonical $\unicode[STIX]{x1D6EC}$ -bimodule) if for any $P\in SpecR$ , $R_{P}\otimes _{R}\unicode[STIX]{x1D714}$ is the right canonical module (resp. left canonical module, weakly canonical module, canonical module) of $R_{P}\otimes _{R}\unicode[STIX]{x1D6EC}$ for any $P\in Supp_{R}\unicode[STIX]{x1D714}$ . If we do not mention what $R$ is, then one may take $R$ to be the center of $\unicode[STIX]{x1D6EC}$ . An $R$ -semicanonical right $\unicode[STIX]{x1D6EC}^{op}$ -module (resp.  $R$ -semicanonical left $\unicode[STIX]{x1D6EC}^{op}$ -module, weakly $R$ -semicanonical $\unicode[STIX]{x1D6EC}^{op}$ -bimodule, $R$ -semicanonical $\unicode[STIX]{x1D6EC}^{op}$ -bimodule) is nothing but an $R$ -semicanonical left $\unicode[STIX]{x1D6EC}$ -module (resp.  $R$ -semicanonical right $\unicode[STIX]{x1D6EC}$ -module, weakly $R$ -semicanonical $\unicode[STIX]{x1D6EC}$ -bimodule, $R$ -semicanonical $\unicode[STIX]{x1D6EC}$ -bimodule).

6.2

Let $C\in mod\unicode[STIX]{x1D6EC}$ (resp.  $\unicode[STIX]{x1D6EC}{\rm mod}$ , $(\unicode[STIX]{x1D6EC}\otimes _{R}\unicode[STIX]{x1D6EC}^{op}){\rm mod}$ , $(\unicode[STIX]{x1D6EC}\otimes _{R}\unicode[STIX]{x1D6EC}^{op}){\rm mod}$ ). We say that $C$ is an $n$ -canonical right $\unicode[STIX]{x1D6EC}$ -module (resp.  $n$ -canonical left $\unicode[STIX]{x1D6EC}$ -module, weakly $n$ -canonical $\unicode[STIX]{x1D6EC}$ -bimodule, $n$ -canonical $\unicode[STIX]{x1D6EC}$ -bimodule) over $R$ if $C\in (S_{n}^{\prime })^{R}$ , and for each $P\in R^{\langle {<}n\rangle }$ , we have that $C_{P}$ is an $R_{P}$ -semicanonical right $\unicode[STIX]{x1D6EC}_{P}$ -module (resp.  $R_{P}$ -semicanonical left $\unicode[STIX]{x1D6EC}_{P}$ -module, weakly $R_{P}$ -semicanonical $\unicode[STIX]{x1D6EC}_{P}$ -bimodule, $R_{P}$ -semicanonical $\unicode[STIX]{x1D6EC}_{P}$ -bimodule). If we do not mention what $R$ is, it may mean $R$ is the center of $\unicode[STIX]{x1D6EC}$ .

6.4

As in section 4, let $C\in mod\unicode[STIX]{x1D6EC}$ , and set $\unicode[STIX]{x1D6E4}= End_{\unicode[STIX]{x1D6EC}^{op}}C$ , $(?)^{\dagger }= Hom_{\unicode[STIX]{x1D6EC}^{op}}(?,C)$ , and $(?)^{\ddagger }= Hom_{\unicode[STIX]{x1D6E4}}(?,C)$ . Moreover, we set $\unicode[STIX]{x1D6EC}_{1}:=(End_{\unicode[STIX]{x1D6E4}}C)^{op}$ . The $R$ -algebra map $\unicode[STIX]{x1D6F9}_{1}:\unicode[STIX]{x1D6EC}\rightarrow \unicode[STIX]{x1D6EC}_{1}$ is induced by the right action of $\unicode[STIX]{x1D6EC}$ on $C$ .

6.9

Let $C$ be a $1$ -canonical right $\unicode[STIX]{x1D6EC}$ -module over $R$ . Define $Q:=\prod _{P\in Min_{R}C}R_{P}$ . If $P\in Min_{R}C$ , then $C_{P}=K_{\unicode[STIX]{x1D6EC}_{P}}$ . Hence $\unicode[STIX]{x1D6F7}_{P}:\unicode[STIX]{x1D6EC}_{P}\rightarrow (\unicode[STIX]{x1D6EC}_{1})_{P}$ is an isomorphism by Lemma 6.7. So $1_{Q}\otimes \unicode[STIX]{x1D6F9}_{1}:Q\otimes _{R}\unicode[STIX]{x1D6EC}\rightarrow Q\otimes _{R}\unicode[STIX]{x1D6EC}_{1}$ is also an isomorphism. As $Ass_{R}\unicode[STIX]{x1D6EC}_{1}= Min_{R}C$ , we have that $\unicode[STIX]{x1D6EC}_{1}\subset Q\otimes _{R}\unicode[STIX]{x1D6EC}_{1}$ .