%~Mouliné par MaN_auto v.0.27.3 2023-11-03 10:29:48
\documentclass[CRMATH, Unicode, XML]{cedram}

\TopicEN{Algebra}
\TopicFR{Algèbre}


\usepackage{amssymb}
\usepackage{graphicx}
\usepackage[all]{xy}


\newcommand*\codepth{\operatorname{codepth}}
\newcommand*\codim{\operatorname{codim}}
\newcommand*\depth{\operatorname{depth}}
\newcommand*\edim{\operatorname{edim}}
\newcommand*\Ext{\operatorname{Ext}}
\renewcommand*\H{\operatorname{H}}
\newcommand*\Hom{\operatorname{Hom}}
\newcommand*\level{\operatorname{level}}
\newcommand*\h{\operatorname{h}}
\newcommand*\soc{\operatorname{Soc}}
\newcommand*\spec{\operatorname{Spec}}
\newcommand*\thick{\operatorname{\mathsf{thick}}}

\newcommand*\e{\mathrm{e}}
\newcommand*\id{\mathrm{id}}
\newcommand*\K{\mathrm{K}}
\renewcommand*\r{\mathrm{r}}
\newcommand*\Tor{\mathrm{Tor}}

\newcommand*\N{\mathbb{N}}
\newcommand*\R{\mathbb{R}}
\newcommand*\ZZ{\mathbb{Z}}


\newcommand*\m{\mathfrak{m}}
\newcommand*\n{\mathfrak{n}}
\newcommand*\p{\mathfrak{p}}

\newcommand*\T{\mathcal{T}}
\newcommand*\X{\mathcal{X}}
\newcommand*\Y{\mathcal{Y}}
\newcommand*\Z{\mathcal{Z}}


\newcommand*\ds{\mathsf{D_{sg}}}
\newcommand*\ff{\boldsymbol{f}}
\renewcommand*\ge{\geqslant}
\renewcommand*\le{\leqslant}



\newcommand*\syz{\Omega}
\newcommand*\xx{\boldsymbol{x}}

%\allowdisplaybreaks
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

%\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}
\let\oldhat\hat
\renewcommand*{\hat}[1]{\mathchoice{\widehat{#1}}{\widehat{#1}}{\oldhat{#1}}{\oldhat{#1}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title[Remarks on complexities and entropies for singularity categories]{Remarks on complexities and entropies for singularity categories}

\author{\firstname{Ryo} \lastname{Takahashi}}
\address{Graduate School of Mathematics, Nagoya University, Furocho, Chikusaku, Nagoya 464-8602, Japan}
\email{takahashi@math.nagoya-u.ac.jp}
\urladdr{https://www.math.nagoya-u.ac.jp/~takahashi/}

\subjclass[2020]{13D09, 13H10, 18G80}

%\keywords{complexity, entropy, isolated singularity, Koszul complex, local ring, singularity category}

\thanks{The author was partly supported by JSPS Grant-in-Aid for Scientific Research 19K03443}

\begin{abstract}
Let $R$ be a commutative noetherian local ring which is singular and has an isolated singularity. Let $\ds(R)$ be the singularity category of $R$ in the sense of Buchweitz and Orlov. In this paper, we find real numbers $t$ such that the complexity $\delta_t(G,X)$ in the sense of Dimitrov, Haiden, Katzarkov and Kontsevich vanishes for any split generator $G$ of $\ds(R)$ and any object $X$ of $\ds(R)$. In particular, the entropy $\mathrm{h}_t(F)$ of an exact endofunctor $F$ of $\ds(R)$ is not defined for such numbers $t$.
\end{abstract}

\begin{DefTralics}
\newcommand*\ds{\mathsf{D_{sg}}}
\end{DefTralics}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\maketitle

\section{Introduction}

In 2014, Dimitrov, Haiden, Katzarkov and Kontsevich~\cite{DHKK} have introduced the notions of complexities $\delta_t(G,X)$ and entropies $\h_t(F)$ for a triangulated category. In less than a decade since then, a lot of works on these notions have been done; see~\cite{EL,F,FFHKL,FFO,I,K,KOT,KST,KT,MM,M,O1,O2,Y} for instance.

Let us quickly recall the definition of entropies; see Definition~\ref{2} for that of complexities. Let $F$ be an exact endofunctor of a triangulated category $\T$. For each $t\in\R$ the \emph{entropy} $\h_t(F)$ of $F$ is defined by
\[
\h_t(F)=\lim_{n\,\to\,\infty}\frac{1}{n}\log\delta_t\left(G,F^n(G)\right),
\]
where $G$ is a split generator of $\T$. Therefore, as long as the domain of the natural logarithm function is $\R_{>\,0}$, the entropy $\h_t(F)$ is defined only when the complexity $\delta_t(G,F^n(G))$ is positive for $n\gg0$.

Let $R$ be a commutative noetherian singular (i.e., nonregular) local ring. Let $\ds(R)$ be the \emph{singularity category} of $R$, which is a triangulated category introduced by Buchweitz~\cite{B} and Orlov~\cite{Or}. In this paper, we explore complexities $\delta_t(G,X)$ for $\ds(R)$. We shall establish and study the following conjecture.

\begin{conj}
Let $G$ be a split generator of $\ds(R)$. Then $\delta_t(G,X)=0$ for all $X\in\ds(R)$ and $t\ne0$.
\end{conj}

Denote by $\e(R)$, $\codepth R$ and $\K^R$ the multiplicity, codepth and Koszul complex of $R$, respectively. The main results of this paper include the following theorem about the above conjecture. Note that the third assertion says that the conjecture holds if $R$ is a complete intersection with an isolated singularity.

\begin{theo}[{Theorems~\ref{15}, \ref{19} and~\ref{5}}]\label{14}
Let $G$ be a split generator of $\ds(R)$. Let $X$ be an object of $\ds(R)$. Assume that $X$ is locally zero on the punctured spectrum of $R$ (this assumption is satisfied whenever $R$ has an isolated singularity). Then the following assertions hold true.
\begin{enumerate}
\item\label{theo2.1} Put $c=\codepth R$ and $m=\max_{1\,\le\,i\,\le\,c}\{\dim_k\H_i(\K^R)\}$. One has $\delta_t(G,X)=0$ for all $|t|>\frac{\log c+\log m}{2}$.
\item\label{theo2.2} If $R$ is Gorenstein and has infinite residue field, then $\delta_t(G,X)=0$ for all $|t|>\log(\e(R)-1)$.
\item\label{theo2.3} If $R$ is a complete intersection, then $\delta_t(G,X)=0$ for all nonzero real numbers $t$.
\end{enumerate}
\end{theo}

As an immediate consequence of the above theorem, we obtain the following corollary on entropies.

\begin{coro}[{Corollary~\ref{1}}]
Suppose that the local ring $R$ has an isolated singularity. Let $F:\ds(R)\to\ds(R)$ be an exact functor. Then the three statements below hold.
\begin{enumerate}
\item\label{coro3.1} Set $c=\codepth R$ and $m=\max_{1\,\le\,i\,\le\,c}\{\dim_k\H_i(\K^R)\}$. Then $\h_t(F)$ is not defined for $|t|>\frac{\log c+\log m}{2}$.
\item\label{coro3.2} Assume $R$ is Gorenstein with infinite residue field. Then $\h_t(F)$ is not defined for $|t|>\log(\e(R)-1)$.
\item\label{coro3.3} Suppose that $R$ is a complete intersection. Then the entropy $\h_t(F)$ is defined only for $t=0$.
\end{enumerate}
\end{coro}

The structure of this paper is as follows. In Section~\ref{sect2}, we introduce the operation $\star$ for subcategories of a triangulated category, investigate its properties, and recall the definitions of complexities and entropies. In Section~\ref{sect3}, after stating some basics from commutative algebra, we explore complexities for the singularity category of a singular local ring, and prove our main results including the ones stated above.


\section{Basic properties of complexities}\label{sect2}

In this section, we work on a general triangulated category, and prove several preliminary results.

\begin{enonce}{Setup}
Throughout this section, let $\T$ be a triangulated category. All subcategories of $\T$ are assumed to be strictly full. We may omit a subscript if it is clear from the context.
\end{enonce}

We introduce the operation $\star$ for subcategories of $\T$, which plays a central role throughout the paper.

\begin{defi}
Let $\X$ and $\Y$ be subcategories of $\T$.
\begin{enumerate}
\item\label{defi5.1} We denote by $\X\star\Y$ the subcategory of $\T$ consisting of objects $T\in\T$ such that there exists an exact triangle $X\to T\to Y\rightsquigarrow$ in $\T$ such that $X\in\X$ and $Y\in\Y$.
\item\label{defi5.2} When $\X,\Y$ consist of single objects $X,Y$ respectively, we simply write $X\star Y$ to denote $\X\star\Y$.
\end{enumerate}
\end{defi}

In the following lemma, we make a list of several fundamental properties of the operation $\star$, which are frequently used later. The first assertion says that the operation $\star$ satisfies associativity. The second and third assertions state that the operation $\star$ is compatible with taking finite direct sums and shifts.

\pagebreak
\begin{lemm}\label{3}\leavevmode
\begin{enumerate}
\item\label{lemm6.1} For subcategories $\X,\Y,\Z$ of $\T$ one has $(\X\star\Y)\star\Z=\X\star(\Y\star\Z)$. Hence, there is no ambiguity in writing $\bigstar_{i=1}^n\X_i=\X_1\star\cdots\star\X_n$ for subcategories $\X_1,\,\dots,\,\X_n$ of $\T$ or $\X^{\star n}=\underbrace{\X\star\cdots\star\X}_n$.
\item\label{lemm6.2} Let $\{X_{ij}\}_{1\,\le\,i\,\le\,m,\,1\,\le\,j\,\le\,n}$ and $\{M_i\}_{1\,\le\,i\,\le\,m}$ be families of objects of $\T$. Suppose that $M_i\in\bigstar_{j=1}^nX_{ij}$ for each $1\le i\le m$. Then it holds that $\bigoplus_{i=1}^mM_i\in\bigstar_{j=1}^n(\bigoplus_{i=1}^mX_{ij})$.
\item\label{lemm6.3} Let $X_1,\,\dots,\,X_n\in\T$. Then the following statements hold true.
\begin{enumerate}
\item\label{lemm6.3a}If $M\in\bigstar_{i=1}^nX_i$, then $M[s]\in\bigstar_{i=1}^nX_i[s]$ for all integers $s$, $M^{\oplus m}\in\bigstar_{i=1}^nX_i^{\oplus m}$ for all positive integers $m$, and $M\oplus(\bigoplus_{i=1}^nY_i)\in\bigstar_{i=1}^n(X_i\oplus Y_i)$ for all objects $Y_1,\,\dots,\,Y_n\in\T$.
\item\label{lemm6.3b} One has the containment $\bigoplus_{i=1}^nX_i\in\bigstar_{i=1}^nX_i$.
\end{enumerate}
\end{enumerate}
\end{lemm}

\begin{proof}\ \\*[-0.2em]
\eqref{lemm6.1} Take any object $T\in(\X\star\Y)\star\Z$. Then there exist exact triangles $W\to T\to Z\rightsquigarrow$ and $X\to W\to Y\rightsquigarrow$ with $X\in\X$, $Y\in\Y$ and $Z\in\Z$. The octahedral axiom gives rise to exact triangles $X\to T\to V\rightsquigarrow$ and $Y\to V\to Z\rightsquigarrow$. Hence $T$ is in $\X\star(\Y\star\Z)$, and we get $(\X\star\Y)\star\Z\subseteq\X\star(\Y\star\Z)$.

Conversely, let $T\in\X\star(\Y\star\Z)$. There are exact triangles $X\to T\to V\rightsquigarrow$ and $Y\to V\to Z\rightsquigarrow$ with $X\in\X$, $Y\in\Y$ and $Z\in\Z$. The octahedral axiom yields exact triangles $T\to Z\to W\rightsquigarrow$ and $X[1]\to W\to Y[1]\rightsquigarrow$. We get exact triangles $X\to W[-1]\to Y\rightsquigarrow$ and $W[-1]\to T\to Z\rightsquigarrow$, which show that $T$ belongs to $(\X\star\Y)\star\Z$. It follows that $(\X\star\Y)\star\Z\supseteq\X\star(\Y\star\Z)$.

\eqref{lemm6.2} We use induction on $n$. Let $n=1$. The assumption means that $M_i=X_{i1}$ for each $1\le i\le m$. Hence $\bigoplus_{i=1}^mM_i=\bigoplus_{i=1}^mX_{i1}$. Let $n\ge2$. Since $M_i$ belongs to $(X_{i1}\star\cdots\star X_{i,n-1})\star X_{in}$ for each $1\le i\le m$, there exists an exact triangle $N_i\to M_i\to X_{in}\rightsquigarrow$ with $N_i\in X_{i1}\star\cdots\star X_{i,n-1}$. Hence there is an exact triangle $\bigoplus_{i=1}^mN_i\to\bigoplus_{i=1}^mM_i\to\bigoplus_{i=1}^mX_{in}\rightsquigarrow$ (see~\cite[Remark~1.2.2]{N}), and the induction hypothesis implies that $\bigoplus_{i=1}^mN_i$ is in $(\bigoplus_{i=1}^mX_{i1})\star\cdots\star(\bigoplus_{i=1}^mX_{i,n-1})$. It follows that $\bigoplus_{i=1}^mM_i\in(\bigoplus_{i=1}^mX_{i1})\star\cdots\star(\bigoplus_{i=1}^mX_{in})$.

\eqref{lemm6.3a} The second assertion follows by letting $M_i=M$ and $X_{ij}=X_j$ for $1\le i\le m$ and $1\le j\le n$ in~\eqref{lemm6.2}. The third assertion is shown by applying~\eqref{lemm6.2} to the containments $M\in X_1\star X_2\star\cdots\star X_n,\,Y_1\in Y_1\star0\star\cdots\star0,\,Y_2\in 0\star Y_2\star\cdots\star0,\,\dots,\,Y_n\in0\star\cdots\star0\star Y_n$. It remains to prove the first assertion, for which we use induction on $n$. When $n=1$, we have $M=X_1$ and $M[s]=X_1[s]$. Let $n\ge2$. As $M$ belongs to $(X_1\star\cdots\star X_{n-1})\star X_n$, there exists an exact triangle $N\to M\to X_n\rightsquigarrow$ with $N\in X_1\star\cdots\star X_{n-1}$. Then there is an exact triangle $N[s]\to M[s]\to X_n[s]\rightsquigarrow$, and the induction hypothesis implies $N[s]\in X_1[s]\star\cdots\star X_{n-1}[s]$. We now obtain $M[s]\in X_1[s]\star\cdots\star X_n[s]$, and the first assertion follows.

\eqref{lemm6.3b} Letting $M=X_1=\cdots=X_n=0$ in the third assertion of~\eqref{lemm6.3a}, we get $Y_1\oplus\cdots\oplus Y_n\in Y_1\star\cdots\star Y_n$ for all objects $Y_1,\dots,Y_n\in\T$. This shows the assertion.
\end{proof}

Here we recall the definition of split generators, which are used to define complexities and entropies.

\begin{defi}\leavevmode
\begin{enumerate}
\item\label{defi7.1} A \emph{thick subcategory} of $\T$ is by definition a triangulated subcategory of $\T$ closed under direct summands, i.e., a subcategory closed under shifts, mapping cones and direct summands.
\item\label{defi7.2} For an object $X\in\T$ we denote by $\thick_\T X$ the \emph{thick closure} of $T$, that is to say, the smallest thick subcategory of $\T$ to which $X$ belongs.
\item\label{defi7.3} A \emph{split generator} of $\T$, which is also called a \emph{thick generator} of $\T$, is defined to be an object of $\T$ whose thick closure coincides with $\T$.
\end{enumerate}
\end{defi}

Now we can state the definitions of complexities and entropies introduced in~\cite{DHKK}.

\pagebreak
\begin{defi}[Dimitrov--Haiden--Katzarkov--Kontsevich]\label{2}\leavevmode
\begin{enumerate}
\item\label{defi8.1} Let $X,Y\in\T$ and $t\in\R$. We denote by $\delta_t(X,Y)$ the infimum of the sums $\sum_{i=1}^r\e^{n_it}$, where $r$ runs through the nonnegative integers and $n_i$ run through the integers such that there exist a sequence
\[
\xymatrix@R-2pc{ 0\ar@{=}[r]& Y_0\ar[rr]&&Y_1\ar[r]\ar[dl]& \cdots\ar[r]& Y_{r-1}\ar[rr]&& Y_r\ar@{=}[r]\ar[dl]& Y\oplus Y'\\
&&X[n_1]\ar@{~>}[ul]&&\cdots&&X[n_r]\ar@{~>}[ul] }
\]
of exact triangles $\{Y_{i-1}\to Y_i\to X[n_i]\rightsquigarrow\}_{i=1}^r$ in $\T$. The function $\R\ni t\mapsto\delta_t(X,Y)\in\R_{\ge0}\cup\{\infty\}$ is called the \emph{complexity}\footnote{
It may be better for us to call this the {\em Dimitrov--Haiden--Katzarkov--Kontsevich complexity} because in commutative algebra there is a different notion called complexity, which describes the growth of a minimal free resolution of a finitely generated module over a commutative noetherian local ring. In fact, it does appear implicitly in the proof of Theorem~\ref{15}.
}
of $Y$ relative to $X$. When $Y=0$, one can take $r=0$, and hence $\delta_t(X,Y)=0$.
\item\label{defi8.2} Let $F:\T\to\T$ be an exact functor and $t\in\R$. The \emph{entropy} $\h_t(F)$ of $F$ is defined by
\[
\h_t(F)=\lim_{n\,\to\,\infty}\frac{1}{n}\log\delta_t\left(G,F^n(G)\right),
\]
where $G$ is a split generator of $\T$. This is independent of the choice of $G$; see~\cite[Lemma~2.6]{DHKK}.
\end{enumerate}
\end{defi}

The following proposition gives an equivalent definition of a complexity. In what follows, whenever we are concerned with a complexity, we regard this equality as its definition, as it is more convenient for us.

\begin{prop}
Let $X,Y\in\T$ and $t\in\R$. One then has the equality
\[
\
\delta_t(X,Y)=\inf\left\{\sum_{i=1}^r\e^{n_it}\,\middle| \,Y\oplus Y'\in\bigstar_{i=1}^rX[n_i]\text{ for some }Y'\in\T\right\}.
\]
\end{prop}

\begin{proof}
Fix an object $Z\in\T$. It suffices to show that $Z\in\bigstar_{i=1}^rX[n_i]$ if and only if there is a sequence
\[
\xymatrix@R-2pc{ 0\ar@{=}[r]& Y_0\ar[rr]&&Y_1\ar[r]\ar[dl]& \cdots\ar[r]& Y_{r-1}\ar[rr]&& Y_r\ar@{=}[r]\ar[dl]& Z\\
&&X[n_1]\ar@{~>}[ul]&&\cdots&&X[n_r]\ar@{~>}[ul] }
\]
of exact triangles. We use induction on $r$. When $r=0$, both containments mean that $Z=0$. Let $r>0$.

The ``only if'' part: Since $Z$ is in $(\bigstar_{i=1}^{r-1}X[n_i])\star X[n_r]$, there exists an exact triangle $\sigma:W\to Z\to X[n_r]\rightsquigarrow$ in $\T$ such that $W\in\bigstar_{i=1}^{r-1}X[n_i]$. Applying the induction hypothesis to $W$ yields a sequence of exact triangles, and splicing it with the exact triangle $\sigma$ gives rise to a sequence of exact triangles
\[
\mkern-35mu\xymatrix@R-2pc@C-.5pc{ 0\ar@{=}[r]& Y_0\ar[rr]&&Y_1\ar[r]\ar[dl]& \cdots\ar[r]& Y_{r-2}\ar[rr]&& Y_{r-1}\ar@{=}[r]\ar[dl]& W\ar[rr]&& Z.\ar[dl]\\
&&X[n_1]\ar@{~>}[ul]&&\cdots&&X[n_{r-1}]\ar@{~>}[ul]&&&X[n_r]\ar@{~>}[ul] }
\]

The ``if'' part: By assumption, there exists a sequence of exact triangles
\[
\mkern-35mu\xymatrix@R-2pc@C-.5pc{ 0\ar@{=}[r]& Y_0\ar[rr]&&Y_1\ar[r]\ar[dl]& \cdots\ar[r]& Y_{r-2}\ar[rr]&& Y_{r-1}\ar[rr]\ar[dl]&& Y_r\ar@{=}[r]\ar[dl]& Z.\\
&&X[n_1]\ar@{~>}[ul]&&\cdots&&X[n_{r-1}]\ar@{~>}[ul]&&X[n_r]\ar@{~>}[ul] }
\]
The induction hypothesis implies that $Y_{r-1}$ belongs to $\bigstar_{i=1}^{r-1}X[n_i]$. The exact triangle $Y_{r-1}\to Z\to X[n_r]\rightsquigarrow$ appearing in the above diagram shows that $Z$ is in $(\bigstar_{i=1}^{r-1}X[n_i])\star X[n_r]=\bigstar_{i=1}^rX[n_i]$.
\end{proof}

We give a couple of statements concerning complexities. Recall that $\T$ is said to be {\em periodic} if there exists an integer $n>0$ such that the $n$th shift functor $[n]$ is isomorphic to the identity functor $\id_\T$ of $\T$.

\pagebreak
\begin{prop}\label{4}
Let $X$ and $Y$ be objects of $\T$. Then the following statements hold.
\begin{enumerate}
\item\label{prop10.1} Let $t\in\R$. Then $\delta_t(X,Y)<\infty$ if and only if $Y\in\thick_\T X$.
\item\label{prop10.2} There is an equality $\delta_0(X,Y)=\inf\{r\in\ZZ_{\ge\,0}\mid Y\oplus Y'\in\bigstar_{i=1}^rX[n_i]\text{ for some }Y'\in\T\}$.
\item\label{prop10.3} Let $t\in\R$. Suppose that $\T$ is periodic and $\delta_t(X,Y)<\infty$. Then $\delta_t(X,Y)=0$ unless $t=0$.
\end{enumerate}
\end{prop}

\begin{proof}\leavevmode
\eqref{prop10.1} The ``only if'' part: By definition, there exist an object $Y'\in\T$ and integers $n_1,\,\dots,\,n_r$ such that $Y\oplus Y'$ belongs to $\bigstar_{i=1}^rX[n_i]$. Note that $\bigstar_{i=1}^rX[n_i]$ is contained in $\thick X$. Hence $Y$ is in $\thick X$.

The ``if'' part: By~\cite[2.2.1 and 2.2.4]{ABIM} there are an object $Y'\in\T$ and an integer $s\ge0$ with $Y\oplus Y'\in\X^{\star s}$, where $\X$ is the smallest subcategory of $\T$ which contains $X$ and is closed under finite direct sums and shifts. We can write $Y\oplus Y'\in\bigstar_{i=1}^s(\bigoplus_{j=1}^{u_i}X[m_{ij}])$ for some $u_i\in\ZZ_{\ge\,0}$ and $m_{ij}\in\ZZ$. Lemma~\ref{3}$\MK$\eqref{lemm6.3b} implies $Y\oplus Y'\in\bigstar_{i=1}^s(\bigstar_{j=1}^{u_i}X[m_{ij}])$. We get $\delta_t(X,Y)\le\sum_{i=1}^s\sum_{j=1}^{u_i}e^{m_{ij}t}$, which shows $\delta_t(X,Y)<\infty$.

\eqref{prop10.2} The assertion immediately follows from the definition of $\delta_0(X,Y)$.

\eqref{prop10.3} As $\delta_t(X,Y)<\infty$, we have $Y\oplus Y'\in\bigstar_{i=1}^rX[n_i]$ for some $Y'\in\T$, $r\in\ZZ_{\ge\,0}$ and $n_1,\,\dots,\,n_r\in\ZZ$. Since $\T$ is periodic, we have $[m]\cong\id_\T$ for some $m\in\ZZ_{>\,0}$. We have $X[n_i]\cong X[n_i+jm]$ for all $j\in\ZZ$, and get the containment $Y\oplus Y'\in\bigstar_{i=1}^rX[n_i+jm]$. We obtain inequalities $0\le\delta_t(X,Y)\le\sum_{i=1}^r\e^{(n_i+jm)t}$. It remains to note that $\lim_{j\,\to-\,\infty}\sum_{i=1}^r\e^{(n_i+jm)t}=0$ if $t>0$ and $\lim_{j\,\to\,\infty}\sum_{i=1}^r\e^{(n_i+jm)t}=0$ if $t<0$.
\end{proof}

\begin{rema}
The equality in Proposition~\ref{4}$\MK$\eqref{prop10.2} may remind the reader of the notion of a {\em level} introduced by Avramov, Buchweitz, Iyengar and Miller~\cite{ABIM}. Namely, $\delta_0(X,Y)$ looks closely related to the $X$-level $\level_\T^X(Y)$ of $Y$. The difference is that an $X$-level ignores finite direct sums of copies of $X$. This is similar to the difference between the lengths of a composition series and a Loewy series of a module over a ring. The complexity $\delta_t(X,Y)$ can also be regarded as a weighted version of $\delta_0(X,Y)$ with respect to shifts.
\end{rema}

The following lemma comes from~\cite[Proposition~2.2]{DHKK}. In this proposition, neither $\delta_t(X,Y)$ nor $\delta_t(Y,Z)$ is assumed to be finite, but in its proof both $\delta_t(X,Y)$ and $\delta_t(Y,Z)$ seem to be assumed to be finite. In fact, without this assumption, we would need to clarify what $0\cdot\infty$ and $\infty\cdot0$ mean.

\begin{lemm}\label{7}
Let $t$ be a real number. Let $X$, $Y$ and $Z$ be objects of $\T$. Suppose that both $\delta_t(X,Y)$ and $\delta_t(Y,Z)$ are finite. Then there is an inequality $\delta_t(X,Z)\le\delta_t(X,Y)\cdot\delta_t(Y,Z)$.
\end{lemm}


\section{Main results}\label{sect3}

In this section, we shall investigate complexities and entropies for the singularity category of a commutative noetherian local ring, which is a triangulated category.

\begin{enonce}{Setup}
Throughout this section, let $R$ be a commutative noetherian local ring with maximal ideal $\m$ and residue field $k$. The triangulated category considered in this section is the {\em singularity category} $\ds(R)$ of $R$, which is by definition the Verdier quotient of the bounded derived category of finitely generated $R$-modules by perfect complexes (i.e., bounded complexes of finitely generated projective $R$-modules).
\end{enonce}

For the reader whose expertise is outside of commutative algebra, we collect here several fundamental notions from commutative algebra and their basic properties which are used in the proofs of our results. The details can be found in~\cite{A,BH,Ma}.

\begin{defi}\leavevmode
\begin{enumerate}
\item\label{defi14.1} A sequence $\xx=x_1,\,\dots,\,x_n$ of elements in $\m$ is called an \emph{$R$-regular sequence} if the element $x_i$ is regular on $R/(x_1,\,\dots,\,x_{i-1})$ (i.e., the multiplication map $R/(x_1,\,\dots,\,x_{i-1})\xrightarrow{x_i}R/(x_1,\,\dots,\,x_{i-1})$ is injective) for each $1\le i\le n$. Note then that the $R$-module $R/(\xx)$ has finite projective dimension; see~\cite[Corollary~1.6.14$\MK$(b)]{BH} or~\cite[Theorem~16.5$\MK$(i)]{Ma}.
\item\label{defi14.2} For a finitely generated $R$-module $M$, we denote by $\mu(M)$ the {\em minimal number of generators} of $M$, that is, $\mu(M)=\dim_k(M\otimes_Rk)$; see~\cite[Theorem~2.3]{Ma} and~\cite[the paragraph before Proposition~1.3.1]{BH}.
\item\label{defi14.3} Let $\edim R$ and $\depth R$ stand for the \emph{embedding dimension} of $R$ and the \emph{depth} of $R$, respectively. These are defined by the equalities $\edim R=\mu(\m)=\dim_k\m/\m^2$ and $\depth R=\inf\{i\in\N\mid\Ext_R^i(k,R)\ne0\}$. The ineqality $\depth R\le\dim R$ always holds by~\cite[Proposition~1.2.12]{BH} or~\cite[Theorem~17.2]{Ma}, and we say that $R$ is \emph{Cohen--Macaulay} if the equality $\depth R=\dim R$ holds.
\item\label{defi14.4} We always have the inequality $\dim R\le\edim R$ by~\cite[the bottom of page 104]{Ma}, and we say that $R$ is \emph{regular} if the equality $\dim R=\edim R$ holds. We say that $R$ is a \emph{singular} local ring if it is not a regular local ring. Note from~\cite[Theorem~19.2]{Ma} or~\cite[Theorem~2.2.7]{BH} that $R$ is singular if and only if the category $\ds(R)$ is nonzero.
\item\label{defi14.5} The \emph{codimension} and the \emph{codepth} of $R$ are defined by $\codim R=\edim R-\dim R$ and $\codepth R=\edim R-\depth R$. Note that $\codim R=\codepth R$ if (and only if) $R$ is Cohen--Macaulay.
\item\label{defi14.6} The local ring $R$ is said to be a \emph{hypersurface} provided the inequality $\codepth R\le1$ holds. According to Cohen's structure theorem (see~\cite[Theorem~A.21]{BH}), this condition is equivalent to saying that the $\m$-adic completion $\widehat R$ of $R$ is isomorphic to the residue ring $S/(f)$ of some regular local ring $S$ by some principal ideal $(f)$; see~\cite[\S~5.1]{A}.
\item\label{defi14.7} The local ring $R$ is called a \emph{complete intersection} if the $\m$-adic completion $\widehat R$ of $R$ is isomorphic to the residue ring $S/(\ff)$ of a regular local ring $(S,\n)$ by the ideal $(\ff)$ generated by a regular sequence $\ff=f_1,\,\dots,\,f_c$. One can choose $\ff=f_1,\,\dots,\,f_c$ so that $c=\codim R$, and in this case, $f_i\in\n^2$ for all $i$; see~\cite[Corollary~1.6.19 and Theorems~2.3.2$\MK$(b), 2.3.3$\MK$(b)]{BH}.
\item\label{defi14.8} We say that the local ring $R$ is \emph{Gorenstein} if the $R$-module $R$ has finite injective dimension.
\item\label{defi14.9} The \emph{Koszul complex} $\K^R$ of $R$ is defined to be the Koszul complex $\K(\xx,R)$ on $R$ of a minimal system of generators $\xx=x_1,\,\dots,\,x_n$ of $\m$. This complex is uniquely determined up to isomorphism; see~\cite[the part following Remark~1.6.20]{BH}. Each homology $\H_i(\K^R)$ is a finite-dimensional $k$-vector space by~\cite[the paragraph before Theorem~16.5]{Ma} or~\cite[Proposition~1.6.5$\MK$(b)]{BH}.
\item\label{defi14.10} We say that $R$ has an \emph{isolated singularity} if $R_\p$ is a regular local ring for all $\p\in\spec R\setminus\{\m\}$.
\item\label{defi14.11} For an $R$-module $M$, we denote by $\ell(M)$ the \emph{length} of (a composition series of) $M$. If the $R$-module $M$ is finitely generated and $\m M=0$, then one has $\ell(M)=\dim_kM<\infty$.
\item\label{defi14.12} Let $\e(R)$ and $\r(R)$ be the \emph{(Hilbert--Samuel) multiplicity} and \emph{type} of $R$, respectively. Namely, one has $\e(R)=\lim_{n\,\to\,\infty}\frac{d!}{n^d}\ell(R/\m^{n+1})\in\ZZ_{>\,0}$ and $\r(R)=\dim_k\Ext_R^t(k,R)\in\ZZ_{\ge\,0}$, where $d=\dim R$ and $t=\depth R$. When $R$ is Cohen--Macaulay, $R$ is singular if and only if $\e(R)>1$ by~\cite[Examples~4.6.3(a) and Exercises~4.6.14$\MK$(b)]{BH}. The ring $R$ is Gorenstein if and only if $R$ is Cohen--Macaulay and $\r(R)=1$ by~\cite[Theorem~18.1]{Ma} or~\cite[Theorem~3.2.10]{BH}.
\item\label{defi14.13} Let $M$ be a finitely generated $R$-module. Let $n$ be a nonnegative integer. Then we denote by $\syz_R^nM$ the $n$th {\em syzygy} of $M$ over $R$, that is, the image of the $n$th differential map in a minimal free resolution of the $R$-module $M$. Note by Schanuel's lemma~\cite[Lemma~4 in \S~19]{Ma} that the module $\syz_R^nM$ is uniquely determined up to isomorphism. We denote by $\beta_n^R(M)$ the $n^{\rm th}$ {\em Betti number} of $M$, namely, $\beta_n^R(M)=\mu(\syz_R^nM)$.
\item\label{defi14.14} A \emph{system of parameters} of the local ring $R$ is by definition a sequence $\xx=x_1,\dots,x_d$ of elements of $R$ such that $d=\dim R$ and $R/(\xx)$ is artinian. A system of parameters of $R$ exists; see~\cite[Theorem~13.4]{Ma} or~\cite[Theorem~A.3]{BH}. If $R$ is Cohen--Macaulay, then a system of parameters of $R$ is an $R$-regular sequence; see~\cite[Theorem~17.4$\MK$(iii)]{Ma} or~\cite[Theorem~2.1.2$\MK$(d)]{BH}.
\item\label{defi14.15} The following implications hold true.
\begin{align*}
\text{$R$ is regular}\;
\Rightarrow\;
&\text{$R$ is a hypersurface}
\;\Rightarrow\;
\text{$R$ is a complete intersection}\\
\phantom{\text{$R$ is regular}}\;
&\Rightarrow\;
\text{$R$ is Gorenstein}\;
\Rightarrow\;
\text{$R$ is Cohen--Macaulay.}
\end{align*}
This follows from~\cite[the paragraph after Theorem~21.3]{Ma} or~\cite[Proposition~3.1.20]{BH}, and what we have stated above.
\item\label{defi14.16} The \emph{socle} of the local ring $R$ is defined as the set of elements $x\in R$ such that $\m x=0$, and denoted by $\soc R$. Since there is an isomorphism $\soc R\cong\Hom_R(k,R)$, one has $\r(R)=\dim_k\soc R$ when $\depth R=0$. In general, it holds that $\r(R)=\dim_k\soc R/(\xx)$ for any $R$-regular sequence $\xx=x_1,\,\dots,\,x_t$ with $t=\depth R$; see~\cite[Lemma~1.2.19]{BH}.
\end{enumerate}
\end{defi}

What we want to consider in this section is the following conjecture.

\begin{conj}\label{13}
Let $G$ be a split generator of $\ds(R)$. Then one has the equality $\delta_t(G,X)=0$ for all objects $X$ of $\ds(R)$ and for all nonzero real numbers $t$.
\end{conj}

In the case where $R$ is a hypersurface, it is easy to see that Conjecture~\ref{13} holds true.

\begin{exem}\label{6}
If $R$ is a hypersurface, then $\delta_t(G,X)=0$ for all split generators $G$ of $\ds(R)$, for all $X\in\ds(R)$ and for all $0\ne t\in\R$. Indeed, in this case, there exists an isomorphism $\widehat R\cong S/(f)$, where $S$ is a regular local ring and $f\in S$. The singularity category $\ds(\widehat R)$ of the completion $\widehat R$ is equivalent as a triangulated category to the homotopy category of matrix factorizations of $f$ over $S$, which is periodic of periodicity two; we refer the reader to~\cite{B,D,E,Or,Yo} for the details. It is easy to see that $\ds(R)$ is also periodic of periodicity two, and the assertion follows from~\eqref{prop10.1} and~\eqref{prop10.3} of Proposition~\ref{4}.
\end{exem}

We introduce a condition on an object of the singularity category, which is essential in our theorems.

\begin{defi}
We say that an object $X$ of $\ds(R)$ is {\em locally zero on the punctured spectrum of $R$} if for each nonmaximal prime ideal $\p$ of $R$ the localized complex $X_\p$ is isomorphic to $0$ in the singularity category $\ds(R_\p)$ of the local ring $R_\p$. This condition is equivalent to saying that $X_\p$ is isomorphic to a perfect complex over $R_\p$ in the bounded derived category of finitely generated $R_\p$-modules.
\end{defi}

\begin{rema}\label{20}
Suppose that $R$ has an isolated singularity. Then every object of $\ds(R)$ is locally zero on the punctured spectrum of $R$, since $\ds(R_\p)=0$ for all nonmaximal prime ideals $\p$ of $R$.
\end{rema}

We establish a lemma, which is frequently used in the proofs of our results stated later.

\begin{lemm}\label{16}
Let $t\in\R$. Let $X$ be an object of $\ds(R)$ such that $k$ belongs to $\thick_{\ds(R)}X$. Let $Y$ be an object of $\ds(R)$ which is locally zero on the punctured spectrum of $R$. If $\delta_t(k,k)=0$, then $\delta_t(X,Y)=0$.
\end{lemm}

\begin{proof}
We have that $k\in\thick_{\ds(R)}X$ by assumption, and that $Y\in\thick_{\ds(R)}k$ by~\cite[Corollary~4.3$\MK$(3)]{kos}. It follows from Proposition~\ref{4}$\MK$\eqref{prop10.1} that $\delta_t(X,k),\,\delta_t(k,Y)\in\R$. If $\delta_t(k,k)=0$, then Lemma~\ref{7} yields
\[
0\le\delta_t(X,Y)\le\delta_t(X,k)\cdot\delta_t(k,Y)\le\big(\delta_t(X,k)\cdot\delta_t(k,k)\big)\cdot\delta_t(k,Y)=\delta_t(X,k)\cdot0\cdot\delta_t(k,Y)=0.
\]
These inequalities imply that $\delta_t(X,Y)=0$, and the proof of the lemma is completed.
\end{proof}

Now we shall state and prove three theorems, all of which support Conjecture~\ref{13}.

\begin{theo}\label{15}
Let $R$ be a complete intersection. Let $X\in\ds(R)$ be such that $k$ belongs to $\thick_{\ds(R)}X$. Let $Y\in\ds(R)$ be locally zero on the punctured spectrum of $R$. Then $\delta_t(X,Y)=0$ for all $t\ne0$.
\end{theo}

\begin{proof}
In view of Lemma~\ref{16}, it suffices to show $\delta_t(k,k)=0$ for all $t\ne0$. Let $\xx=x_1,\,\dots,\,x_d$ be a system of parameters of $R$. Then $\xx$ is an $R$-regular sequence since $R$ is Cohen--Macaulay, and $R/(\xx)$ is an artinian complete intersection by~\cite[Theorem~2.3.4$\MK$(a)]{BH}. Fix a nonnegative integer $n$. It holds in $\ds(R/(\xx))$ that $k[-n]\cong\syz_{R/(\xx)}^nk\in k^{\star h_n}$, where $h_n=\ell(\syz_{R/(\xx)}^nk)$. Lemma~\ref{3}$\MK$\eqref{lemm6.3a} implies that
\begin{equation}\label{17}
k\in k[n]^{\star h_n}\quad\text{in }\ds(R/(\xx)).
\end{equation}
Since $R/(\xx)$ is an artinian Gorenstein ring (or equivalently, selfinjective), $\ds(R/(\xx))$ is equivalent (as a triangulated category) to the stable category of finitely generated $R/(\xx)$-modules; see~\cite{B,KV,R}. It is observed that the assignment $X\mapsto X^\ast:=\Hom_{R/(\xx)}(X,R/(\xx))$ gives a duality of $\ds(R/(\xx))$. Note that $k^\ast$ is isomorphic to $k$ (as an $R/(\xx)$-module). Applying the above duality functor to~\eqref{17}, we obtain the containment
\begin{equation}\label{18}
k\in k[-n]^{\star h_n}\quad\text{in }\ds(R/(\xx)).
\end{equation}
As the $R$-module $R/(\xx)$ has finite projective dimension, the natural surjection $R\to R/(\xx)$ induces an exact functor $\ds(R/(\xx))\to\ds(R)$. Applying this functor to~\eqref{17} and~\eqref{18}, we get $k\in k[\pm n]^{\star h_n}$ in $\ds(R)$. The inequality $\delta_t(k,k)\le h_n\cdot\e^{\pm nt}$ follows. The surjection $(R/(\xx))^{\oplus\beta_n^{R/(\xx)}(k)}\to\syz_{R/(\xx)}^nk$ shows that $\ell(R/(\xx))\cdot\beta_n^{R/(\xx)}(k)\ge\ell(\syz_{R/(\xx)}^nk)=h_n$. Since $R/(\xx)$ is a complete intersection, there exists $\alpha\in\R$ such that $\beta_i^{R/(\xx)}(k)\le\alpha i^{c-1}$ for all integers $i\ge0$, where $c=\codim R/(\xx)$; see~\cite[Theorem~8.1.2]{A}. Thus,
\[
0\le\delta_t(k,k)
\le h_n\cdot\e^{\pm nt}
\le\ell(R/(\xx))\cdot\beta_n^{R/(\xx)}(k)\cdot\e^{\pm nt}
\le\ell(R/(\xx))\cdot\alpha\cdot\frac{n^{c-1}}{\left(\e^{\mp t}\right)^n}\quad\text{for all }n\ge0.
\]
If $t>0$ (resp. $t<0$), then $\e^t>1$ (resp. $e^{-t}>1$), and $\frac{n^{c-1}}{(\e^t)^n}\to0$ (resp. $\frac{n^{c-1}}{(\e^{-t})^n}\to0$) as $n\to\infty$. We conclude that $\delta_t(k,k)=0$ for all nonzero real numbers $t$, and the assertion of the theorem follows.
\end{proof}

\begin{theo}\label{19}
Let $R$ be singular and Cohen--Macaulay. Assume that the residue field $k$ is infinite. Let $X$ be an object of $\ds(R)$ such that $k\in\thick_{\ds(R)}X$. Let $Y$ be an object of $\ds(R)$ which is locally zero on the punctured spectrum of $R$. Put $u=\e(R)$ and $r=\r(R)$. Then $\delta_t(X,Y)=0$ for all $t<-\log(u-1)$ and for all $t>\log(u-r)$. Therefore, $\delta_t(X,Y)=0$ for all $|t|>\log(u-1)$ provided that $R$ is Gorenstein.
\end{theo}

\begin{proof}
By Lemma~\ref{16}, it suffices to prove $\delta_t(k,k)=0$ for all $t<-\log(u-1)$ and $t>\log(u-r)$. Since $k$ is infinite and $R$ is Cohen--Macaulay, there exists an $R$-regular sequence $\xx=x_1,\dots,x_d$ such that $d=\dim R$ and $u=\e(R)=\ell(R/(\xx))$; see~\cite[Corollary~4.6.10 and Theorem~4.7.10]{BH}. Since the local ring $R$ is singular, the artinian local ring $R/(\xx)$ is not a field, and there are inclusions $R/(\xx)\supsetneq\m/(\xx)\supseteq\soc R/(\xx)\supsetneq0$, which give rise to the inequalities $u=\ell(R/(\xx))>\ell(\soc R/(\xx))=r\ge1$. Hence $\log(u-r)$ and $\log(u-1)$ are well-defined.

There is an exact sequence $0\to\m/(\xx)\to R/(\xx)\to k\to0$ of $R$-modules. This shows that $\ell(\m/(\xx))=u-1$, and that $k\cong(\m/(\xx))[1]$ in $\ds(R)$ as the $R$-module $R/(\xx)$ has finite projective dimension. Taking a composition series of the $R$-module $\m/(\xx)$, we see that $\m/(\xx)$ belongs to $k^{\star(u-1)}$. Lemma~\ref{3}$\MK$(3) implies
\[
k\in k^{\star(u-1)}[1]
\subseteq k[1]^{\star(u-1)}
\subseteq \left(k^{\star(u-1)}[1]\right)[1]^{\star(u-1)}
\subseteq k[2]^{\star(u-1)^2}
\subseteq\cdots\subseteq k[n]^{\star(u-1)^n}
\]
for each integer $n>0$, which yields that $0\le\delta_t(k,k)\le(u-1)^n\e^{nt}=((u-1)\e^t)^n$. If $t<-\log(u-1)$, then $(u-1)\e^t<1$ and $((u-1)\e^t)^n\to0$ as $n\to\infty$, whence $\delta_t(k,k)=0$.

It holds that $k^{\oplus r}\cong\soc R/(\xx)\subseteq R/(\xx)$, which induces an exact sequence $0\to k^{\oplus r}\to R/(\xx)\to C\to0$ of $R$-modules. Similarly as above, we have $\ell(C)=u-r$, $k^{\oplus r}\cong C[-1]$ in $\ds(R)$, $C\in k^{\star(u-r)}$, and
\begin{align*}
&k^{\oplus r}\in k^{\star(u-r)}[-1]\subseteq k[-1]^{\star(u-r)},\\
&k^{\oplus r^2}\in k^{\oplus r}[-1]^{\star(u-r)}\subseteq\left(k[-1]^{\star(u-r)}\right)[-1]^{\star(u-r)}\subseteq k[-2]^{\star(u-r)^2},\,\dots,\\
&k^{\oplus r^n}\in k[-n]^{\star(u-r)^n}\text{ for all integers }n>0.
\end{align*}
Hence, there are inequalities $0\le\delta_t(k,k)\le(u-r)^n\e^{-nt}=((u-r)\e^{-t})^n$ for all $n>0$. If $t>\log(u-r)$, then $(u-r)\e^{-t}<1$ and $((u-r)\e^{-t})^n\to0$ as $n\to\infty$, whence $\delta_t(k,k)=0$. Thus we are done.
\end{proof}

\begin{theo}\label{5}
Suppose that $R$ is singular. Set $c=\codepth R$ and $m=\max_{1\,\le\,i\,\le\,c}\{\dim_k\H_i(\K^R)\}$. Let $X$ be an object of $\ds(R)$ such that $k$ belongs to $\thick_{\ds(R)}X$, and let $Y$ be an object of $\ds(R)$ which is locally zero on the punctured spectrum of $R$. Then $\delta_t(X,Y)=0$ for all $|t|>\frac{\log c+\log m}{2}$.
\end{theo}

\begin{proof}
First of all, we remark that the number $\frac{\log c+\log m}{2}$ is well-defined. Indeed, the assumption that $R$ is singular implies $c>0$. Since the module $\H_c(\K^R)$ is nonzero by~\cite[Theorem~1.6.17]{BH}, we have $m>0$.

According to Lemma~\ref{16}, it is enough to verify that $\delta_t(k,k)=0$ for all $|t|>\frac{\log c+\log m}{2}$. Put $n=\edim R$ and $K=\K^R$. We have $K=(0\to K_n\to K_{n-1}\to\cdots\to K_{c+1}\to K_c\to K_{c-1}\to\cdots\to K_1\to K_0\to0)$. For each $i\in\ZZ$, let $Z_i$, $B_i$ and $H_i$ be the $i$th cycle of $K$, the $i$th boundary of $K$ and the $i$th homology of $K$, respectively. We have $H_i=0$ for all $i>c$ and $H_c\ne0$ by~\cite[Theorem~1.6.17$\MK$(b)]{BH}. For every $i\in\ZZ$ there exist exact sequences $0\to B_i\to Z_i\to H_i\to0$ and $0\to Z_i\to K_i\to B_{i-1}\to0$ of $R$-modules, which induce exact triangles $B_i\to Z_i\to H_i\rightsquigarrow$ and $Z_i\to K_i\to B_{i-1}\rightsquigarrow$ in $\ds(R)$. Since $K_i$ is a free $R$-module, we have $K_i\cong0$ in $\ds(R)$. Hence $B_{i-1}\cong Z_i[1]$ in $\ds(R)$, and we get exact triangles
\[
B_i[1]\to B_{i-1}\to H_i[1]\rightsquigarrow\quad\text{and}\quad H_i[-1]\to B_i\to B_{i-1}[-1]\rightsquigarrow\quad\text{for each }i\in\ZZ.
\]
It follows that $B_{i-1}\in B_i[1]\star H_i[1]$ and $B_i\in H_i[-1]\star B_{i-1}[-1]$. As $B_{-1}=0$, we have $H_0\cong B_0[1]$. Since the $R$-module $B_c$ has finite projective dimension, we have $B_c\cong0$ in $\ds(R)$, so that $H_c\cong B_{c-1}[-1]$. Applying Lemma~\ref{3}$\MK$\eqref{lemm6.3}, we inductively get the containments and inclusions
\begin{align*}
k &=H_0\in\bigstar_{i=1}^cH_{c-i+1}[c-i+2]\subseteq\bigstar_{i=1}^ck[c-i+2]^{\star h_{c-i+1}},\\
k^{\oplus s} &=H_c\in\bigstar_{i=1}^cH_{c-i}[-i-1]\subseteq\bigstar_{i=1}^ck[-i-1]^{\star h_{c-i}},
\end{align*}
where we set $h_j=\dim_kH_j$ for each $j$ and $s=h_c>0$. Using Lemma~\ref{3}(3) again, for any $r>0$ we get:
\begin{align*}
&k\in\bigstar_{i=1}^ck[c-i+2]^{\star h_{c-i+1}}
\subseteq\bigstar_{i=1}^c\left(\bigstar_{j=1}^ck\left[c-j+2\right]^{\star h_{c-j+1}}\right)[c-i+2]^{\star h_{c-i+1}}\\
&\qquad
\subseteq\bigstar_{i=1}^c\left(\bigstar_{j=1}^ck\left[2(c+2)-(i+j)\right]^{\star h_{c-j+1}}\right)^{\star h_{c-i+1}}\subseteq\cdots\\
&\qquad
\subseteq\bigstar_{i_1=1}^c\left(\bigstar_{i_2=1}^c\left(\cdots\left(\bigstar_{i_r=1}^ck\left[r(c+2)-(i_1+\cdots+i_r)\right]^{\star h_{c-i_r+1}}\right)\cdots\right)^{\star h_{c-i_2+1}}\right)^{\star h_{c-i_1+1}},\\
&k^{\oplus s}\in\bigstar_{i=1}^ck[-i-1]^{\star h_{c-i}},\\
&k^{\oplus s^2}=\left(k^{\oplus s}\right)^{\oplus s}\in\bigstar_{i=1}^ck^{\oplus s}[-i-1]^{\star h_{c-i}}\\
&\qquad
\subseteq\bigstar_{i=1}^c\left(\bigstar_{j=1}^ck[-j-1]^{\star h_{c-j}}\right)[-i-1]^{\star h_{c-i}}
\subseteq\bigstar_{i=1}^c\left(\bigstar_{j=1}^ck\left[-(i+j)-2\right]^{\star h_{c-j}}\right)^{\star h_{c-i}},\,\dots,\\
&k^{\oplus s^r}\in\bigstar_{i_1=1}^c\left(\bigstar_{i_2=1}^c\left(\cdots\left(\bigstar_{i_r=1}^ck\left[-\left(i_1+\cdots+i_r\right)-r\right]^{\star h_{c-i_r}}\right)\cdots\right)^{\star h_{c-i_2}}\right)^{\star h_{c-i_1}}.
\end{align*}
We thus obtain the following two inequalities for every positive integer $r$.
\begin{align*}
\textstyle
\delta_t(k,k)&\le\sum_{i_1=1}^ch_{c-i_1+1}\left(\sum_{i_2=1}^ch_{c-i_2+1}\left(\cdots\left(\sum_{i_r=1}^c h_{c-i_r+1}\e^{\left(r(c+2)-(i_1+\cdots+i_r)\right)t}\right)\cdots\right)\right)\\
 &=\sum_{1\,\le\,i_1,\,\dots,\,i_r\,\le\,c}h_{c-i_1+1}\cdots h_{c-i_r+1}\e^{\left((c-i_1+1)+\cdots+(c-i_r+1)+r\right)t}\\
&=\sum_{1\,\le\,i_1,\,\dots,\,i_r\,\le\,c}h_{i_1}\cdots h_{i_r}\e^{(i_1+\cdots+i_r+r)t},\\[0.20em]
\delta_t(k,k)&\le\sum_{i_1=1}^ch_{c-i_1}\left(\sum_{i_2=1}^ch_{c-i_2}\left(\cdots\left(\sum_{i_r=1}^ch_{c-i_r}\e^{\left(-(i_1+\cdots+i_r)-r\right)t}\right)\cdots\right)\right)\\
&=\sum_{1\,\le\,i_1,\,\dots,\,i_r\,\le\,c}h_{c-i_1}\cdots h_{c-i_r}\e^{\left((c-i_1)+\cdots+(c-i_r)-r(c+1)\right)t}\\
&=\sum_{0\,\le\,i_1,\,\dots,\,i_r\,\le\,c-1}h_{i_1}\cdots h_{i_r}\e^{\left(i_1+\cdots+i_r-r(c+1)\right)t}.
\end{align*}
As $h_0=1$ and $h_c\ge1$, we have $m=\max\{h_1,\,\dots,\,h_c\}=\max\{h_0,h_1,\,\dots,\,h_c\}$.

Now, consider the case where $t<-\frac{\log c+\log m}{2}$. Note then that $t<0$ and $cm\e^{2t}<1$. We get inequalities
\[
\textstyle 0\le\delta_t(k,k)\le\sum_{1\,\le\,i_1,\,\dots,\,i_r\,\le\,c}h_{i_1}\cdots h_{i_r}\e^{\left(i_1+\cdots+i_r+r\right)t}\le\sum_{1\,\le\,i_1,\,\dots,\,i_r\,\le\,c}m^r\e^{2rt}=\left(cm\e^{2t}\right)^r.
\]
Since $(cm\e^{2t})^r\to0$ as $r\to\infty$, we obtain the equality $\delta_t(k,k)=0$. Next, let us deal with the case where $t>\frac{\log c+\log m}{2}$. Then we have $t>0$ and $cm\e^{-2t}<1$. Hence the following inequalities hold true.
\[
\textstyle 0\le\delta_t(k,k)\le\sum_{0\,\le\,i_1,\,\dots,\,i_r\,\le\,c-1}h_{i_1}\cdots h_{i_r}\e^{\left(i_1+\cdots+i_r-r(c+1)\right)t}\le\sum_{0\,\le\,i_1,\,\dots,\,i_r\,\le\,c-1}m^r\e^{-2rt}=\left(cm\e^{-2t}\right)^r.
\]
Since $(cm\e^{-2t})^r\to0$ as $r\to\infty$, we get $\delta_t(k,k)=0$. Now the proof of the theorem is completed.
\end{proof}

\begin{rema}\label{9}\leavevmode
\begin{enumerate}
\item\label{rema23.1} Put $n=\edim R$. Cohen's structure theorem shows that there exist an $n$-dimensional regular local ring $(S,\n,k)$ and an ideal $I$ of $S$ such that the $\m$-adic completion $\widehat R$ of $R$ is isomorphic to the residue ring $S/I$. Choose a minimal system of generators $\xx=x_1,\dots,x_n$ of $\n$. It holds that
\[
\H_i\left(\K^R\right) =\H_i(\xx,R)
\cong\H_i(\xx,R)\otimes_R\widehat R
\cong\H_i\left(\xx,\widehat R\right)
\cong\H_i\left(\K(\xx,S)\otimes_S\widehat R\right)
\cong\Tor_i^S\left(k,\widehat R\right)
\]
for each integer $i$, where the first isomorphism holds since the $R$-module $\H_i(\xx,R)$ has finite length, while the last isomorphism follows from the fact that the Koszul complex $\K(\xx,S)$ is a free resolution of $k$ over $S$. Hence, the number $\dim_k\H_i(\K^R)$ is equal to the $i$th Betti number $\beta_i^S(\widehat R)$ of $\widehat R$ over $S$.
\item\label{rema23.2} Let $R$ be a singular hypersurface. Let $G$ be a split generator of $\ds(R)$, and let $X$ be an object of $\ds(R)$ which is locally zero on the punctured spectrum of $R$. The following two statements hold.
\begin{enumerate}\alphenumi
\item\label{rema23.2a} As $R$ is a complete intersection, Theorem~\ref{15} implies that $\delta_t(G,X)=0$ for all $0\ne t\in\R$.
\item\label{rema23.2b} Put $c=\codepth R$ and $m=\max_{1\,\le\,i\,\le\,c}\{\dim_k\H_i(\K^R)\}$. Then $c=1$. We have $\widehat R\cong S/(f)$ for some regular local ring $(S,\n)$ and some element $f\in\n^2$. The sequence $0\to S\xrightarrow{f}S\to\widehat R\to0$ gives a minimal free resolution of the $S$-module $\widehat R$, and the equalities $\dim_k\H_1(\K^R)=\beta_1^S(\widehat R)=1$ hold by~\eqref{rema23.1}. Hence $m=1$. We get $\frac{\log c+\log m}{2}=0$, and $\delta_t(G,X)=0$ for all $t\ne0$ by Theorem~\ref{5}.
\end{enumerate}
Thus, each of Theorems~\ref{15} and~\ref{5} recovers Example~\ref{6} in the case where $X$ is locally zero on the punctured spectrum of $R$ (e.g., in the case where $R$ has an isolated singularity by Remark~\ref{20}).
\end{enumerate}
\end{rema}

Combining the above three theorems with Remark~\ref{20}, we obtain the corollary below on entropies.

\begin{coro}\label{1}
Let $R$ be singular with an isolated singularity. Let $F$ be an exact endofunctor of $\ds(R)$.
\begin{enumerate}
\item\label{coro24.1} Put $c=\codepth R$ and $m=\max_{1\le i\le c}\{\dim_k\H_i(\K^R)\}$. Then $\delta_t(G,X)=0$ for all split generators $G\in\ds(R)$, all $X\in\ds(R)$ and all $|t|>\frac{\log c+\log m}{2}$. Thus $\h_t(F)$ is not defined if $|t|>\frac{\log c+\log m}{2}$.
\item\label{coro24.2} Assume that $R$ is Gorenstein and $k$ is infinite. Then $\delta_t(G,X)=0$ for all split generators $G\in\ds(R)$, all $X\in\ds(R)$ and all $|t|>\log(\e(R)-1)$. Thus $\h_t(F)$ is not defined for $|t|>\log(\e(R)-1)$.
\item\label{coro24.3} Suppose that $R$ is a complete intersection. Then $\delta_t(G,X)=0$ for all split generators $G\in\ds(R)$, all $X\in\ds(R)$ and all nonzero real numbers $t$. Therefore, the entropy $\h_t(F)$ is defined only for $t=0$.
\end{enumerate}
\end{coro}

We present three examples below, which say that the bounds $\frac{\log c+\log m}{2}$ and $\log(\e(R)-1)$ for the real numbers $t$ given in Theorems~\ref{19}, \ref{5} and Corollary~\ref{1}$\MK$\eqref{coro24.1}, \eqref{coro24.2} are not necessarily best possible.

\begin{exem}\label{10}
Let $R$ be a singular Burch ring in the sense of~\cite[Definition~2.8]{burch}. Then it follows from~\cite[Proposition~5.10]{burch} that $\syz^uk$ is a direct summand of $\syz^{u+2}k$, where $u=\depth R$. Hence, in $\ds(R)$, the object $k[-u]$ is a direct summand of $k[-u-2]$, so that $k$ is a direct summand of $k[-2n]$ for all $n\in\ZZ_{>\,0}$. We get $0\le\delta_t(k,k)\le\e^{-2nt}=(\e^{-2t})^n$ for all $t\in\R$ and $n\in\ZZ_{>0}$, which implies $\delta_t(k,k)=0$ for all $t\in\R_{>\,0}$. Lemma~\ref{16} shows $\delta_t(X,Y)=0$ for all $t\in\R_{>\,0}$ and all $X,Y\in\ds(R)$ such that $k$ is in $\thick X$ and $Y$ is locally zero on the punctured spectrum of $R$. By Remark~\ref{20}, if $R$ has an isolated singularity, then $\delta_t(G,X)=0$ for all $t\in\R_{>\,0}$, all split generators $G$ of $\ds(R)$ and all objects $X$ of $\ds(R)$.
\end{exem}

\begin{exem}
Let $S=k[\![x,y]\!]$ be a formal power series ring over a field $k$. Consider the residue ring $R=S/(x^2,xy)$. Then $R$ is not Cohen--Macaulay, but has an isolated singularity and $\depth R=0$. Fix a split generator $G\in\ds(R)$ and an object $X\in\ds(R)$. We have $c:=\codepth R=2$, and the minimal free resolution of $R$ over $S$ is
\[
0\to S\xrightarrow{\binom{y}{-x}}S^{\oplus2}\xrightarrow{\left(x^2,xy\right)}S\to R\to0.
\]
We get $m:=\max_{1\,\le\,i\,\le\,c}\{\dim_k\H_i(\K^R)\}=\max\{\beta_1^S(R),\beta_2^S(R)\}=2$; see Remark~\ref{9}$\MK$\eqref{rema23.1}. Hence $\frac{\log c+\log m}{2}=\log 2$, and Corollary~\ref{1}$\MK$\eqref{coro24.1} says
\begin{equation}\label{12}
\textstyle
\delta_t(G,X)=0\quad\text{for all}\quad t\in\left(-\infty,-\log2\right)\cup\left(\log2,\infty\right).
\end{equation}

We shall give sharper bounds for $t\in\R$ to satisfy $\delta_t(G,X)=0$. Since the ideal $(x)$ is isomorphic to the residue field $k$ and the element $y$ is regular on $R/(x)$, there exist exact sequences $0\to k\to R\to R/(x)\to0$ and $0\to R/(x)\xrightarrow{y}R/(x)\to k\to0$. Hence there is an isomorphism $R/(x)\cong k[1]$ in $\ds(R)$, and we get an exact triangle $k[1]\to k\to k[2]\rightsquigarrow$ in $\ds(R)$. Applying Lemma~\ref{3}$\MK$\eqref{lemm6.3a}, we obtain
\[
k\in k[1]\star k[2]
\subseteq(k[1]\star k[2])[1]\star(k[1]\star k[2])[2]\subseteq k[2]\star k[3]^{\star2}\star k[4]\cdots.
\]
We see that $k$ belongs to
\[
\begin{cases}
\X_1=1\cdot2,\\
\X_2=2\cdot3^2\cdot4,\\
\X_3=3\cdot4^2\cdot5\cdot4\cdot5^2\cdot6,\\
\X_4=4\cdot5^2\cdot6\cdot5\cdot6^2\cdot7\cdot5\cdot6^2\cdot7\cdot6\cdot7^2\cdot8,\\
\quad\cdots\\
\X_n=n\cdot(n+1)^2\cdot(n+2)\cdot(n+1)\cdots(2n-1)\cdot(2n-2)\cdot(2n-1)^2\cdot(2n)
\end{cases}
\]
where $a_1\cdots a_r$ denotes $k[a_1]\star\cdots\star k[a_r]$ and $b^2:=b\cdot b$ for $a_1,\dots,a_r,b\in\ZZ$.
Note that $\X_n$ coincides with $\bigstar_{i=0}^nk[n+i]^{\star\binom{n}{i}}$ if we ignore the commutativity of the operation $-\star-$.
. Using the binomial theorem, we get the following inequalities and equalities for all $n>0$.
\[
0\le\delta_t(k,k)\le\sum_{i=0}^n\binom{n}{i}\e^{(n+i)t}=\e^{nt}\sum_{i=0}^n\binom{n}{i}(\e^t)^i=\e^{nt}\left(e^t+1\right)^n=\left(\e^t\left(e^t+1\right)\right)^n.
\]
If $t<\log\frac{\sqrt5-1}{2}$, then $\e^t(e^t+1)<1$, and we see that $\delta_t(k,k)=0$. In view of~\cite[Corollary~6.5]{burch}, the local ring $R$ is a singular Burch ring. It follows from Example~\ref{10} that
\begin{equation}\label{11}
\delta_t(G,X)=0\quad\text{for all}\quad t\in\left(-\infty,\log\frac{\sqrt5-1}{2}\right)\cup(0,\infty).
\end{equation}
Note that $-\log2<\log\frac{\sqrt5-1}{2}<0<\log2$. Consequently, \eqref{11} yields better upper and lower bounds for $t\in\R$ to satisfy $\delta_t(G,X)=0$ than~\eqref{12}.
\end{exem}

\begin{exem}
Let $k$ be an infinite field, and consider the ring $R=k[x,y,z]/(x^2-y^2,x^2-z^2,xy,xz,yz)$. Then $R$ is an artinian Gorenstein local ring with $\edim R=3$ and $\e(R)=\ell(R)=5$, which is not a complete intersection. Let $G$ be a split generator of $\ds(R)$ and $X$ an object of $\ds(R)$. Theorem~\ref{19} implies
\begin{equation}\label{22}
\delta_t(G,X)=0\quad\text{for all}\quad|t|>\log4.
\end{equation}
By~\cite[Corollary~3]{S} the Poincar\'e series of the $R$-module $k$ is $\frac{1}{1-3t+t^2}$, so that
\[
\beta_n^R(k)=\frac{1}{\sqrt5}\left(a^{n+1}-b^{n+1}\right)
\]
for each $n\ge0$, where $a:=\frac{3+\sqrt5}{2}>\frac{3-\sqrt5}{2}=:b$. The same argument as in the proof of Theorem~\ref{15} shows
\[
\textstyle 0\le\delta_t(k,k)\le\ell(R)\cdot\beta_n^R(k)\cdot\e^{\pm nt}=\sqrt5\cdot\left(a\left(\frac{a}{e^{\mp t}}\right)^n-b\left(\frac{b}{\e^{\mp t}}\right)^n\right)
\]
for all $n\ge0$, which implies $\delta_t(k,k)=0$ for all $|t|>\log a=\log\frac{3+\sqrt5}{2}$, and
\begin{equation}\label{21}
\textstyle
\delta_t(G,X)=0\quad\text{for all}\quad|t|>\log\frac{3+\sqrt5}{2}.
\end{equation}
As $\log\frac{3+\sqrt5}{2}<\log4$, \eqref{21} gives better upper/lower bounds for $t\in\R$ with $\delta_t(G,X)=0$ than~\eqref{22}.
\end{exem}


\section*{Acknowlegments}
The author would like to thank Akishi Ikeda, Osamu Iyama and Genki Ouchi for giving him valuable and useful comments regarding complexities and entropies.



\bibliographystyle{crplain}
\bibliography{crmath20220753}
\end{document}
