Source author record

Kenichi Shimizu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.QA math.CT math.RT math.GR math.RA

Catalog footprint

Research overview

14works

5topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Nakayama functor for monads on finite abelian categories

If $\mathcal{M}$ is a finite abelian category and $\mathbf{T}$ is a linear right exact monad on $\mathcal{M}$ , then the category $\mathbf{T}\mbox{-mod}$ of $\mathbf{T}$ -modules is a finite abelian category. We give an explicit formula of the Nakayama functor of $\mathbf{T}\mbox{-mod}$ under the assumption that the underlying functor of the monad $\mathbf{T}$ has a double left adjoint and a double right adjoint. As applications, we deduce formulas of the Nakayama functor of the center of a finite bimodule category and the dual of a finite tensor category. Some examples from the Hopf algebra theory are also discussed.

preprint2020arXiv

Categorical aspects of cointegrals on quasi-Hopf algebras

We discuss relations between some category-theoretical notions for a finite tensor category and cointegrals on a quasi-Hopf algebra. Specifically, for a finite-dimensional quasi-Hopf algebra $H$ , we give an explicit description of categorical cointegrals of the category ${}_H \mathscr{M}$ of left $H$ -modules in terms of cointegrals on $H$ . Provided that $H$ is unimodular, we also express the Frobenius structure of the `adjoint algebra' in the Yetter-Drinfeld category ${}^H_H \mathscr{YD}$ by using an integral in $H$ and a cointegral on $H$ . Finally, we give a description of the twisted module trace for projective $H$ -modules in terms of cointegrals on $H$ .

preprint2016arXiv

Non-degeneracy conditions for braided finite tensor categories

For a braided finite tensor category $\mathcal{C}$ with unit object $1 \in \mathcal{C}$ , Lyubashenko considered a certain Hopf algebra $\mathbb{F} \in \mathcal{C}$ endowed with a Hopf pairing $ω: \mathbb{F} \otimes \mathbb{F} \to 1$ to define the notion of a `non-semisimple' modular tensor category. We say that $\mathcal{C}$ is non-degenerate if the Hopf pairing $ω$ is non-degenerate. In this paper, we show that $\mathcal{C}$ is non-degenerate if and only if it is factorizable in the sense of Etingof, Nikshych and Ostrik, if and only if its Müger center is trivial, if and only if the linear map $Ω: \mathrm{Hom}_{\mathcal{C}}(1, \mathbb{F}) \to \mathrm{Hom}_{\mathcal{C}}(\mathbb{F}, 1)$ induced by the pairing $ω$ is invertible. As an application, we prove that the category of Yetter-Drinfeld modules over a Hopf algebra in $\mathcal{C}$ is non-degenerate if and only if $\mathcal{C}$ is.

preprint2016arXiv

The monoidal center and the character algebra

For a pivotal finite tensor category $\mathcal{C}$ over an algebraically closed field $k$ , we define the algebra $\mathsf{CF}(\mathcal{C})$ of class functions and the internal character $\mathsf{ch}(X) \in \mathsf{CF}(\mathcal{C})$ for an object $X \in \mathcal{C}$ by using an adjunction between $\mathcal{C}$ and its monoidal center $\mathcal{Z}(\mathcal{C})$ . We also develop the integral theory in a unimodular finite tensor category by using the same adjunction. By utilizing these tools, we extend some results in the character theory of finite-dimensional Hopf algebras to this category-theoretical setting. Our main result is that the map $\mathsf{ch}: \mathsf{Gr}_k(\mathcal{C}) \to \mathsf{CF}(\mathcal{C})$ given by taking the internal character is a well-defined injective algebra map, where $\mathsf{Gr}_k(\mathcal{C})$ is the scalar extension of the Grothendieck ring of $\mathcal{C}$ to $k$ . Moreover, under the assumption that $\mathcal{C}$ is unimodular, the map $\mathsf{ch}$ is an isomorphism if and only if $\mathcal{C}$ is semisimple. As an application, we show that the algebra $\mathsf{Gr}_{k}(\mathcal{C})$ is semisimple if $\mathcal{C}$ is a non-degenerate pivotal fusion category. If, moreover, $\mathsf{Gr}_k(\mathcal{C})$ is commutative, then the character table of $\mathcal{C}$ is defined based on the integral theory. It turns out that the character table is obtained from the $S$ -matrix if $\mathcal{C}$ is a modular tensor category. Generalizing corresponding results in the finite group theory, we prove the orthogonality relations and the integrality.

preprint2016arXiv

The relative modular object and Frobenius extensions of finite Hopf algebras

For a certain kind of tensor functor $F: \mathcal{C} \to \mathcal{D}$ , we define the relative modular object $χ_F \in \mathcal{D}$ as the "difference" between a left adjoint and a right adjoint of $F$ . Our main result claims that, if $\mathcal{C}$ and $\mathcal{D}$ are finite tensor categories, then $χ_F$ can be written in terms of a categorical analogue of the modular function on a Hopf algebra. Applying this result to the restriction functor associated to an extension $A/B$ of finite-dimensional Hopf algebras, we recover the result of Fischman, Montgomery and Schneider on the Frobenius type property of $A/B$ . We also apply our results to obtain a "braided" version and a "bosonization" version of the result of Fischman et al.

preprint2015arXiv

On unimodular finite tensor categories

Let $\mathcal{C}$ be a finite tensor category with simple unit object, let $\mathcal{Z}(\mathcal{C})$ denote its monoidal center, and let $L$ and $R$ be a left adjoint and a right adjoint of the forgetful functor $U: \mathcal{Z}(\mathcal{C}) \to \mathcal{C}$ . We show that the following conditions are equivalent: (1) $\mathcal{C}$ is unimodular, (2) $U$ is a Frobenius functor, (3) $L$ preserves the duality, (4) $R$ preserves the duality, (5) $L(1)$ is self-dual, and (6) $R(1)$ is self-dual, where $1 \in \mathcal{C}$ is the unit object. We also give some other equivalent conditions. As an application, we give a categorical understanding of some topological invariants arising from finite-dimensional unimodular Hopf algebras.

preprint2015arXiv

The pivotal cover and Frobenius-Schur indicators

In this paper, we introduce the notion of the pivotal cover $\mathcal{C}^{\mathsf{piv}}$ of a left rigid monoidal category $\mathcal{C}$ to develop a theoretical foundation for the theory of Frobenius-Schur (FS) indicators in "non-pivotal" settings. For an object $\mathbf{V} \in \mathcal{C}^{\mathsf{piv}}$ , the $(n, r)$ -th FS indicator $ν_{n, r}(\mathbf{V})$ is defined by generalizing that of an object of a pivotal monoidal category. This notion gives a categorical viewpoint to some recent results on generalizations of FS indicators. Based on our framework, we also study the FS indicators of the "adjoint object" in a finite tensor category, which can be considered as a generalization of the adjoint representation of a Hopf algebra. The indicators of this object closely relate to the space of endomorphisms of the iterated tensor product functor.

preprint2014arXiv

On indicators of Hopf algebras

Kashina, Montgomery and Ng introduced the $n$ -th indicator $ν_n(H)$ of a finite-dimensional Hopf algebra $H$ and showed that the indicators have some interesting properties such as the gauge invariance. The aim of this paper is to investigate the properties of $ν_n$ 's. In particular, we obtain the cyclotomic integrality of $ν_n$ and a formula for $ν_n$ of the Drinfeld double. Our results are applied to the finite-dimensional pointed Hopf algebra $u(\mathcal{D}, λ, μ)$ introduced by Andruskiewitsch and Schneider. As an application, we obtain the second indicator of $u_q(\mathfrak{sl}_2)$ and show that if $p$ and $q$ are roots of unity of the same order, then $u_p(\mathfrak{sl}_2)$ and $u_q(\mathfrak{sl}_2)$ are gauge equivalent if and only if $q = p$ , where $p$ and $q$ are roots of unity of the same odd order.

preprint2013arXiv

Frobenius-Schur theorem for $C^*$ -categories

We generalize the Frobenius-Schur theorem to $C^*$ -categories. From this category-theoretical point of view, we introduce the notions of real, complex and quaternionic representations of Hopf $C^*$ -algebras. Based on these definitions, we give another type of the Hopf-algebraic analogue of the Frobenius-Schur theorem, originally due to Linchenko and Montgomery. Also given are similar results for weak Hopf $C^*$ -algebras, table algebras and compact quantum groups.

preprint2013arXiv

Schrödinger representations from the viewpoint of monoidal categories

The Drinfel'd double D(A) of a finite-dimensional Hopf algebra A is a Hopf algebraic counterpart of the monoidal center construction. Majid introduced an important representation of the Drinfel'd double, which he called the Schrödinger representation. We study this representation from the viewpoint of the theory of monoidal categories. One of our main results is as follows: If two finite-dimensional Hopf algebras A and B over a field k are monoidally Morita equivalent, i.e., there exists an equivalence F from the module category over A to the module category over B of k-linear monoidal categories, then the equivalence between the module categories over D(A) and D(B) induced by F preserves the Schrödinger representation. As an application, we construct a family of invariants of finite-dimensional Hopf algebras under the monoidal Morita equivalence. This family is parameterized by braids. The invariant associated to a braid b is, roughly speaking, defined by "coloring'' the closure of b by the Schrödinger representation. We investigate what algebraic properties this family have and, in particular, show that the invariant associated to a certain braid closely relates to the number of irreducible representations.

preprint2012arXiv

Frobenius-Schur indicator for categories with duality

We introduce the Frobenius-Schur indicator for categories with duality to give a category-theoretical understanding of various generalizations of the Frobenius-Schur theorem, including that for semisimple quasi-Hopf algebras, weak Hopf C*-algebras and association schemes. Our framework also clarifies a mechanism how the `twisted' theory arises from the ordinary case. As a demonstration, we give a twisted Frobenius-Schur theorem for semisimple quasi-Hopf algebras. We also give several applications to the quantum SL_2.

preprint2010arXiv

Frobenius-Schur indicators in Tambara-Yamagami categories

We introduce formulae of Frobenius-Schur indicators of simple objects of Tambara-Yamagami categories. By using techniques of the Fourier transform on finite abelian groups, we study some arithmetic properties of indicators.

preprint2010arXiv

On the linear independency of monoidal natural transformations

Let $F, G: \mathcal{I} \to \mathcal{C}$ be strong monoidal functors from a skeletally small monoidal category $\mathcal{I}$ to a tensor category $\mathcal{C}$ over an algebraically closed field $k$ . The set $Nat(F, G)$ of natural transformations $F \to G$ is naturally a vector space over $k$ . We show that the set $Nat_\otimes(F, G)$ of monoidal natural transformations $F \to G$ is linearly independent as a subset of $Nat(F, G)$ . As a corollary, we can show that the group of monoidal natural automorphisms on the identity functor on a finite tensor category is finite. We can also show that the set of pivotal structures on a finite tensor category is finite.

preprint2010arXiv

Some computations of Frobenius-Schur indicators of the regular representations of Hopf algebras

We study Frobenius-Schur indicators of the regular representations of finite-dimensional semisimple Hopf algebras, especially group-theoretical ones. Those of various Hopf algebras are computed explicitly. In view of our computational results, we formulate the theorem of Frobenius for semisimple Hopf algebras and give some partial results on this problem.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Kenichi Shimizu

Research overview

Is this your work?

14 publications

Nakayama functor for monads on finite abelian categories

Categorical aspects of cointegrals on quasi-Hopf algebras

Non-degeneracy conditions for braided finite tensor categories

The monoidal center and the character algebra

The relative modular object and Frobenius extensions of finite Hopf algebras

On unimodular finite tensor categories

The pivotal cover and Frobenius-Schur indicators

On indicators of Hopf algebras

Frobenius-Schur theorem for $C^*$ -categories

Schrödinger representations from the viewpoint of monoidal categories

Frobenius-Schur indicator for categories with duality

Frobenius-Schur indicators in Tambara-Yamagami categories

On the linear independency of monoidal natural transformations

Some computations of Frobenius-Schur indicators of the regular representations of Hopf algebras

See the researcher in context

Building this map preview

Kenichi Shimizu

Research overview

Is this your work?

14 publications

Nakayama functor for monads on finite abelian categories

Categorical aspects of cointegrals on quasi-Hopf algebras

Non-degeneracy conditions for braided finite tensor categories

The monoidal center and the character algebra

The relative modular object and Frobenius extensions of finite Hopf algebras

On unimodular finite tensor categories

The pivotal cover and Frobenius-Schur indicators

On indicators of Hopf algebras

Frobenius-Schur theorem for C∗C^*C∗-categories

Schrödinger representations from the viewpoint of monoidal categories

Frobenius-Schur indicator for categories with duality

Frobenius-Schur indicators in Tambara-Yamagami categories

On the linear independency of monoidal natural transformations

Some computations of Frobenius-Schur indicators of the regular representations of Hopf algebras

See the researcher in context

Building this map preview

Frobenius-Schur theorem for $C^*$ -categories