BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Kenichi Shimizu

Kenichi Shimizu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.QAmath.CTmath.RTmath.GRmath.RA

Trust snapshot

Quick read

Trust 21 - Emerging
14works
0followers
5topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

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

Published work

14 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access