No Arabic abstract
We organize the modified trace theory with the use of the Nakayama functor of finite abelian categories. For a linear right exact functor $Sigma$ on a finite abelian category $mathcal{M}$, we introduce the notion of a $Sigma$-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 $Sigma$-twisted traces on $mathrm{Proj}(mathcal{M})$ and the set of natural transformations from $Sigma$ 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 $Sigma$-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.
In 1990 Beilinson, Lusztig and MacPherson provided a geometric realization of modified quantum $mathfrak{gl}_n$ and its canonical basis. A key step of their work is a construction of a monomial basis. Recently, Du and Fu provided an algebraic construction of the canonical basis for modified quantum affine $mathfrak{gl}_n$, which among other results used an earlier construction of monomial bases using Ringel-Hall algebra of the cyclic quiver. In this paper, we give an elementary algebraic construction of a monomial basis for affine Schur algebras and modified quantum affine $mathfrak{gl}_n$.
Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf algebras, we determine necessary and sufficient conditions for this decomposition to be strongly graded.
We show that the quantum Berezinian which gives a generating function of the integrals of motions of XXX spin chains associated to super Yangian $mathrm{Y}(mathfrak{gl}_{m|n})$ can be written as a ratio of two difference operators of orders $m$ and $n$ whose coefficients are ratios of transfer matrices corresponding to explicit skew Young diagrams. In the process, we develop several missing parts of the representation theory of $mathrm{Y}(mathfrak{gl}_{m|n})$ such as $q$-character theory, Jacobi-Trudi identity, Drinfeld functor, extended T-systems, Harish-Chandra map.
We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We use this to construct a gluing functor from the automorphic category of a nodal Deligne-Mumford curve to the automorphic category of a smoothing.