Search arXivSearch

arXiv · 2103.13702

Modified traces and the Nakayama functor

Abstract

We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor $Σ$ on a finite abelian category $\mathcal{M}$, we introduce the notion of a $Σ$-twisted trace on the class $\mathrm{Proj}(\mathcal{M})$ of projective objects of $\mathcal{M}$. In our framework, there is a one-to-one correspondence between the set of $Σ$-twisted traces on $\mathrm{Proj}(\mathcal{M})$ and the set of natural transformations from $Σ$ to the Nakayama functor of $\mathcal{M}$. Non-degeneracy and compatibility with the module structure (when $\mathcal{M}$ is a module category over a finite tensor category) of a $Σ$-twisted trace can be written down in terms of the corresponding natural transformation. As an application of this principal, we give existence and uniqueness criteria for modified traces. In particular, a unimodular pivotal finite tensor category admits a non-zero two-sided modified trace if and only if it is spherical. Also, a ribbon finite tensor category admits such a trace if and only if it is unimodular.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Taiki Shibata, Kenichi Shimizu. 2021-10-23. Modified traces and the Nakayama functor. https://doi.org/10.1007/s10468-021-10102-5

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Categorification of quasi-split iquantum groups

We introduce a new family of graded 2-categories generalizing the 2-quantum groups introduced by Khovanov, Lauda and Rouquier. We use them to categorify quasi-split iquantum groups in all symmetric types.

math.QA

The Ring of Differential Operators on a Nodal Curve is not a Bialgebroid

In a previous article, we showed that local projectivity is a sufficient condition for the existence of a bialgebroid structure on the ring of differential operators on an affine variety. In this note, we show using elementary methods that the ring of differential operators on a nodal curve is neither locally projective nor does it admit a bialgebroid structure.

math.QA

Coset representatives corresponding to Yetter-Drinfeld modules of modular group and continued fraction

We give complete conjugacy classes of modular group SL(2,Z). Particularly, the conjugacy classes of hyperbolic elements are decided by the proper equivalence classes of indefinite forms, and we give an example. Finally, we describe the coset representatives of centralizer of S, ST, T and hyperbolic elements of SL(2,Z) by regular continued fraction. In conclusion, most Nichols algebras over modular group are infinite-dimensional except Proposition 4.10.

math.QA