Showing 1–50 of 50 results for author: Shimizu, K

Moduli stacks of crystals and isocrystals

Authors: Gyujin Oh, Koji Shimizu

Abstract: Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin stack in rigid geometry -- over $\mathbb{Q}_p$. Both stacks come equipped with the Verschiebung endomorphism $V$ corresponding to the Frobenius pullback of (iso)… ▽ More Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin stack in rigid geometry -- over $\mathbb{Q}_p$. Both stacks come equipped with the Verschiebung endomorphism $V$ corresponding to the Frobenius pullback of (iso)crystals. We study the geometry of the $V$-fixed points over the open substack of irreducible isocrystals, which we use to geometrically count the rank one $F$-isocrystals. Along the way, we carefully develop the theory of adic stacks. △ Less

Submitted 20 April, 2025; originally announced April 2025.

Comments: 111 pages

Criteria for finite injective dimension of modules over a local ring

Authors: Shinnosuke Kosaka, Yuki Mifune, Kenta Shimizu

Abstract: Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality concerning multiplicity and type, together with the vanishing of finitely many Ext modules. As applications, we recover a result of Rahmani and Taherizadeh and provi… ▽ More Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality concerning multiplicity and type, together with the vanishing of finitely many Ext modules. As applications, we recover a result of Rahmani and Taherizadeh and provide sufficient conditions for a finitely generated $R$-module to have finite injective dimension. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Comments: 6 pages

MSC Class: 13D05; 13D07; 13H10

Exact module categories over $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$

Authors: Daisuke Nakamura, Taiki Shibata, Kenichi Shimizu

Abstract: We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd order. Each of them is given as the category of representations of a left comodule algebra over $u_q(\mathfrak{sl}_2)$ explicitly presented by generators and r… ▽ More We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd order. Each of them is given as the category of representations of a left comodule algebra over $u_q(\mathfrak{sl}_2)$ explicitly presented by generators and relations. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 49 pages

MSC Class: 18M05; 16T05

Coideal subalgebras of quantum $SL_2$ at roots of unity

Authors: Kenichi Shimizu, Rei Sugitani

Abstract: We classify right coideal subalgebras of the finite-dimensional quotient of the quantized enveloping algebra $U_q(\mathfrak{sl}_2)$ and that of the quantized coordinate algebra $\mathcal{O}_q(SL_2)$ at a root of unity $q$ of odd order. All those coideal subalgebras are described by generators and relations. We classify right coideal subalgebras of the finite-dimensional quotient of the quantized enveloping algebra $U_q(\mathfrak{sl}_2)$ and that of the quantized coordinate algebra $\mathcal{O}_q(SL_2)$ at a root of unity $q$ of odd order. All those coideal subalgebras are described by generators and relations. △ Less

Submitted 20 February, 2025; v1 submitted 13 October, 2024; originally announced October 2024.

Comments: 32 pages

Journal ref: Journal of Pure and Applied Algebra 229 (5), 107923, 2025

Commutative algebras in Grothendieck-Verdier categories, rigidity, and vertex operator algebras

Authors: Thomas Creutzig, Robert McRae, Kenichi Shimizu, Harshit Yadav

Abstract: Let $A$ be a commutative algebra in a braided monoidal category $\mathcal{C}$; e.g., $A$ could be an extension of a vertex operator algebra (VOA) $V$ in a category $\mathcal{C}$ of $V$-modules. We study when the category $\mathcal{C}_A$ of $A$-modules in $\mathcal{C}$ and its subcategory $\mathcal{C}_A^{\text{loc}}$ of local modules inherit rigidity from $\mathcal{C}$, and then we find conditions… ▽ More Let $A$ be a commutative algebra in a braided monoidal category $\mathcal{C}$; e.g., $A$ could be an extension of a vertex operator algebra (VOA) $V$ in a category $\mathcal{C}$ of $V$-modules. We study when the category $\mathcal{C}_A$ of $A$-modules in $\mathcal{C}$ and its subcategory $\mathcal{C}_A^{\text{loc}}$ of local modules inherit rigidity from $\mathcal{C}$, and then we find conditions for $\mathcal{C}$ and $\mathcal{C}_A$ to inherit rigidity from $\mathcal{C}_A^{\text{loc}}$. First, we assume $\mathcal{C}$ is a braided finite tensor category and prove rigidity of $\mathcal{C}_A$ and $\mathcal{C}_A^{\text{loc}}$ under conditions based on criteria of Etingof-Ostrik for $A$ to be an exact algebra in $\mathcal{C}$. As a corollary, we show that if $A$ is a simple $\mathbb{Z}_{\geq 0}$-graded VOA with a strongly rational vertex operator subalgebra $V$, then $A$ is strongly rational, without requiring the categorical dimension of $A$ as a $V$-module to be non-zero. Next, we assume $\mathcal{C}$ is a Grothendieck-Verdier category, i.e., $\mathcal{C}$ admits a weaker duality structure than rigidity. We first prove $\mathcal{C}_A$ is also a Grothendieck-Verdier category. Using this, we prove that if $\mathcal{C}_A^{\text{loc}}$ is rigid, then so is $\mathcal{C}$ under conditions such as a mild non-degeneracy assumption on $\mathcal{C}$, an assumption that every simple object of $\mathcal{C}_A$ is local, and that induction from $\mathcal{C}$ to $\mathcal{C}_A$ commutes with duality. These conditions are motivated by free field-like VOA extensions $V\subseteq A$ where $A$ is often an indecomposable $V$-module, so our result will make it more feasible to prove rigidity for many vertex algebraic monoidal categories. In a follow-up work, our result will be used to prove rigidity of the category of weight modules for the simple affine VOA of $\mathfrak{sl}_2$ at any admissible level. △ Less

Submitted 22 September, 2024; originally announced September 2024.

Comments: 58 pages

MSC Class: 18M15; 17B69; 18M20; 81R10

Commutative exact algebras and modular tensor categories

Authors: Kenichi Shimizu, Harshit Yadav

Abstract: Inspired by the study of vertex operator algebra extensions, we answer the question of when the category of local modules over a commutative exact algebra in a braided finite tensor category is a (non-semisimple) modular tensor category. Along the way we provide sufficient conditions for the category of local modules to be rigid, pivotal and ribbon. We also discuss two ways to construct such commu… ▽ More Inspired by the study of vertex operator algebra extensions, we answer the question of when the category of local modules over a commutative exact algebra in a braided finite tensor category is a (non-semisimple) modular tensor category. Along the way we provide sufficient conditions for the category of local modules to be rigid, pivotal and ribbon. We also discuss two ways to construct such commutative exact algebras. The first is the class of simple current algebras and the second is using right adjoints of central tensor functors. Furthermore, we discuss Witt equivalence and its relation with extensions of VOAs. △ Less

Submitted 12 August, 2024; originally announced August 2024.

Comments: v1: 48 pages. Comments welcome

Log prismatic $F$-crystals and purity

Authors: Heng Du, Tong Liu, Yong Suk Moon, Koji Shimizu

Abstract: Our goal is to study $p$-adic local systems on a rigid-analytic variety with semistable formal model. We prove that such a local system is semistable if and only if so are its restrictions to the points corresponding to the irreducible components of the special fiber. For this, the main body of the paper concerns analytic prismatic $F$-crystals on the absolute logarithmic prismatic site of a semis… ▽ More Our goal is to study $p$-adic local systems on a rigid-analytic variety with semistable formal model. We prove that such a local system is semistable if and only if so are its restrictions to the points corresponding to the irreducible components of the special fiber. For this, the main body of the paper concerns analytic prismatic $F$-crystals on the absolute logarithmic prismatic site of a semistable $p$-adic log formal scheme. Analyzing Breuil-Kisin log prisms, we obtain a prismatic purity theorem and deduce the above purity theorem for semistable local systems. △ Less

Submitted 30 April, 2024; originally announced April 2024.

Quasi-Frobenius algebras in finite tensor categories

Authors: Kenichi Shimizu

Abstract: We introduce the notion of a quasi-Frobenius algebra in a finite tensor category $\mathcal{C}$ and give equivalent conditions for an algebra in $\mathcal{C}$ to be quasi-Frobenius. A quasi-Frobenius algebra in $\mathcal{C}$ is not necessarily Frobenius, however, we show that an algebra $A$ in $\mathcal{C}$ is quasi-Frobenius if and only if $A$ is Morita equivalent to a Frobenius algebra in… ▽ More We introduce the notion of a quasi-Frobenius algebra in a finite tensor category $\mathcal{C}$ and give equivalent conditions for an algebra in $\mathcal{C}$ to be quasi-Frobenius. A quasi-Frobenius algebra in $\mathcal{C}$ is not necessarily Frobenius, however, we show that an algebra $A$ in $\mathcal{C}$ is quasi-Frobenius if and only if $A$ is Morita equivalent to a Frobenius algebra in $\mathcal{C}$. We also show that the class of symmetric Frobenius algebras in $\mathcal{C}$ is closed under the Morita equivalence provided that $\mathcal{C}$ is pivotal so that the symmetricity makes sense. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Comments: 37 pages

Pointed Hopf superalgebras of dimension up to 10

Authors: Taiki Shibata, Kenichi Shimizu, Ryota Wakao

Abstract: By utilizing the technique introduced in our previous work to construct Hopf superalgebras by an inverse procedure of the Radford-Majid bosonization, we classify non-semisimple pointed Hopf superalgebras of dimension up to 10 over an algebraically closed field of characteristic zero. By utilizing the technique introduced in our previous work to construct Hopf superalgebras by an inverse procedure of the Radford-Majid bosonization, we classify non-semisimple pointed Hopf superalgebras of dimension up to 10 over an algebraically closed field of characteristic zero. △ Less

Submitted 30 April, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: 27 pages, some errors are corrected

MSC Class: 16T05; 17A70

Nakayama functor for coalgebras and a categorical perspective of the integral theory for Hopf algebras

Authors: Kenichi Shimizu

Abstract: We review basic properties of the Nakayama functor for coalgebras and introduce a number of applications to tensor categories. We also give equivalent conditions for a coquasi-bialgebra with preantipode to admit a non-zero cointegral. We review basic properties of the Nakayama functor for coalgebras and introduce a number of applications to tensor categories. We also give equivalent conditions for a coquasi-bialgebra with preantipode to admit a non-zero cointegral. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 32 pages. An expository paper

Chi-square approximation for the distribution of individual eigenvalues of a singular Wishart matrix

Authors: Koki Shimizu, Hiroki Hashiguchi

Abstract: This paper discusses the approximate distributions of eigenvalues of a singular Wishart matrix. We give the approximate joint density of eigenvalues by Laplace approximation for the hyper-geometric functions of matrix arguments. Furthermore, we show that the distribution of each eigenvalue can be approximated by the chi-square distribution with varying degrees of freedom when the population eigenv… ▽ More This paper discusses the approximate distributions of eigenvalues of a singular Wishart matrix. We give the approximate joint density of eigenvalues by Laplace approximation for the hyper-geometric functions of matrix arguments. Furthermore, we show that the distribution of each eigenvalue can be approximated by the chi-square distribution with varying degrees of freedom when the population eigenvalues are infinitely dispersed. The derived result is applied to testing the equality of eigenvalues in two populations △ Less

Submitted 8 June, 2023; originally announced June 2023.

Exact sequences of Frobenius tensor categories

Authors: Taiki Shibata, Kenichi Shimizu

Abstract: Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give an affirmative answer to Natale's question asking if the class of Frobenius tensor categories is closed under exact sequences. Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give an affirmative answer to Natale's question asking if the class of Frobenius tensor categories is closed under exact sequences. △ Less

Submitted 26 March, 2023; originally announced March 2023.

Comments: 22 pages

MSC Class: 18M05; 16T05

Nakayama functor for monads on finite abelian categories

Authors: Kenichi Shimizu

Abstract: 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… ▽ More 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. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 40 pages

Numerical computation for the exact distribution of Roy's largest root statistic under linear alternative

Authors: Koki Shimizu, Hiroki Hashiguchi

Abstract: This paper discusses the computation of exact powers for Roy's test in multivariate analysis of variance~(MANOVA). We derive an exact expression for the largest eigenvalue of a singular noncentral Beta matrix in terms of the product of zonal polynomials. The numerical computation for that distribution is conducted by an algorithm that expands the product of zonal polynomials as a linear combinatio… ▽ More This paper discusses the computation of exact powers for Roy's test in multivariate analysis of variance~(MANOVA). We derive an exact expression for the largest eigenvalue of a singular noncentral Beta matrix in terms of the product of zonal polynomials. The numerical computation for that distribution is conducted by an algorithm that expands the product of zonal polynomials as a linear combination of zonal polynomials. Furthermore, we provide an exact distribution of the largest eigenvalue in a form that is convenient for numerical calculations under the linear alternative. △ Less

Submitted 8 November, 2022; v1 submitted 24 May, 2022; originally announced May 2022.

Completed prismatic $F$-crystals and crystalline $\mathbf{Z}_p$-local systems

Authors: Heng Du, Tong Liu, Yong Suk Moon, Koji Shimizu

Abstract: We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline étale $\mathbf{Z}_p$-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which tr… ▽ More We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline étale $\mathbf{Z}_p$-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field. △ Less

Submitted 2 February, 2024; v1 submitted 7 March, 2022; originally announced March 2022.

Comments: To appear in Compositio Mathematica

Semiparametric Bayesian Estimation of Dynamic Discrete Choice Models

Authors: Andriy Norets, Kenichi Shimizu

Abstract: We propose a tractable semiparametric estimation method for structural dynamic discrete choice models. The distribution of additive utility shocks in the proposed framework is modeled by location-scale mixtures of extreme value distributions with varying numbers of mixture components. Our approach exploits the analytical tractability of extreme value distributions in the multinomial choice setting… ▽ More We propose a tractable semiparametric estimation method for structural dynamic discrete choice models. The distribution of additive utility shocks in the proposed framework is modeled by location-scale mixtures of extreme value distributions with varying numbers of mixture components. Our approach exploits the analytical tractability of extreme value distributions in the multinomial choice settings and the flexibility of the location-scale mixtures. We implement the Bayesian approach to inference using Hamiltonian Monte Carlo and an approximately optimal reversible jump algorithm. In our simulation experiments, we show that the standard dynamic logit model can deliver misleading results, especially about counterfactuals, when the shocks are not extreme value distributed. Our semiparametric approach delivers reliable inference in these settings. We develop theoretical results on approximations by location-scale mixtures in an appropriate distance and posterior concentration of the set identified utility parameters and the distribution of shocks in the model. △ Less

Submitted 3 August, 2023; v1 submitted 9 February, 2022; originally announced February 2022.

Asymptotic properties of Bayesian inference in linear regression with a structural break

Authors: Kenichi Shimizu

Abstract: This paper studies large sample properties of a Bayesian approach to inference about slope parameters $γ$ in linear regression models with a structural break. In contrast to the conventional approach to inference about $γ$ that does not take into account the uncertainty of the unknown break location $τ$, the Bayesian approach that we consider incorporates such uncertainty. Our main theoretical con… ▽ More This paper studies large sample properties of a Bayesian approach to inference about slope parameters $γ$ in linear regression models with a structural break. In contrast to the conventional approach to inference about $γ$ that does not take into account the uncertainty of the unknown break location $τ$, the Bayesian approach that we consider incorporates such uncertainty. Our main theoretical contribution is a Bernstein-von Mises type theorem (Bayesian asymptotic normality) for $γ$ under a wide class of priors, which essentially indicates an asymptotic equivalence between the conventional frequentist and Bayesian inference. Consequently, a frequentist researcher could look at credible intervals of $γ$ to check robustness with respect to the uncertainty of $τ$. Simulation studies show that the conventional confidence intervals of $γ$ tend to undercover in finite samples whereas the credible intervals offer more reasonable coverages in general. As the sample size increases, the two methods coincide, as predicted from our theoretical conclusion. Using data from Paye and Timmermann (2006) on stock return prediction, we illustrate that the traditional confidence intervals on $γ$ might underrepresent the true sampling uncertainty. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Nakayama functors for coalgebras and their applications to Frobenius tensor categories

Authors: Taiki Shibata, Kenichi Shimizu

Abstract: We introduce Nakayama functors for coalgebras and investigate their basic properties. These functors are expressed by certain (co)ends as in the finite case discussed by Fuchs, Schaumann, and Schweigert. This observation allows us to define Nakayama functors for Frobenius tensor categories in an intrinsic way. As applications, we establish the categorical Radford $S^4$-formula for Frobenius tensor… ▽ More We introduce Nakayama functors for coalgebras and investigate their basic properties. These functors are expressed by certain (co)ends as in the finite case discussed by Fuchs, Schaumann, and Schweigert. This observation allows us to define Nakayama functors for Frobenius tensor categories in an intrinsic way. As applications, we establish the categorical Radford $S^4$-formula for Frobenius tensor categories and obtain some related results. These are generalizations of works of Etingof, Nikshych, and Ostrik on finite tensor categories and some known facts on co-Frobenius Hopf algebras. △ Less

Submitted 19 March, 2023; v1 submitted 17 October, 2021; originally announced October 2021.

Comments: 48 pages, final version to appear in Advances in Mathematics

MSC Class: 18M05; 16T05

Algorithm for the product of Jack polynomials and its application to the sphericity test

Authors: Koki Shimizu, Hiroki Hashiguchi

Abstract: In this study, we derive the density and distribution function of a ratio of the largest and smallest eigenvalues of a singular beta-Wishart matrix for the sphericity test. These functions can be expressed in terms of the product of Jack polynomials. We propose an algorithm that expands the product of Jack polynomials by a linear combination of Jack polynomials. Numerical computation for the deriv… ▽ More In this study, we derive the density and distribution function of a ratio of the largest and smallest eigenvalues of a singular beta-Wishart matrix for the sphericity test. These functions can be expressed in terms of the product of Jack polynomials. We propose an algorithm that expands the product of Jack polynomials by a linear combination of Jack polynomials. Numerical computation for the derived distributions is performed using the algorithm. △ Less

Submitted 30 August, 2021; originally announced August 2021.

Generalized heterogeneous hypergeometric functions and the distribution of the largest eigenvalue of an elliptical Wishart matrix

Authors: Aya Shinozaki, Koki Shimizu, Hiroki Hashiguchi

Abstract: In this study, we derive the exact distributions of eigenvalues of a singular Wishart matrix under an elliptical model. We define generalized heterogeneous hypergeometric functions with two matrix arguments and provide convergence conditions for these functions. The joint density of eigenvalues and the distribution function of the largest eigenvalue for a singular elliptical Wishart matrix are rep… ▽ More In this study, we derive the exact distributions of eigenvalues of a singular Wishart matrix under an elliptical model. We define generalized heterogeneous hypergeometric functions with two matrix arguments and provide convergence conditions for these functions. The joint density of eigenvalues and the distribution function of the largest eigenvalue for a singular elliptical Wishart matrix are represented by these functions. Numerical computations for the distribution of the largest eigenvalue were conducted under the matrix-variate $t$ and Kotz-type models. △ Less

Submitted 26 April, 2021; originally announced April 2021.

Modified traces and the Nakayama functor

Authors: Taiki Shibata, Kenichi Shimizu

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… ▽ More 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. △ Less

Submitted 23 October, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 39 pages; to appear in Algebras and Representation Theory

MSC Class: 18D10; 16T05

Expressing the largest eigenvalue of a singular beta F-matrix with heterogeneous hypergeometric functions

Authors: Koki Shimizu, Hiroki Hashiguchi

Abstract: In this paper, the exact distribution of the largest eigenvalue of a singular random matrix for multivariate analysis of variance (MANOVA) is discussed. The key to developing the distribution theory of eigenvalues of a singular random matrix is to use heterogeneous hypergeometric functions with two matrix arguments. In this study, we define the singular beta F-matrix and extend the distributions o… ▽ More In this paper, the exact distribution of the largest eigenvalue of a singular random matrix for multivariate analysis of variance (MANOVA) is discussed. The key to developing the distribution theory of eigenvalues of a singular random matrix is to use heterogeneous hypergeometric functions with two matrix arguments. In this study, we define the singular beta F-matrix and extend the distributions of a nonsingular beta F -matrix to the singular case. We also give the joint density of eigenvalues and the exact distribution of the largest eigenvalue in terms of heterogeneous hypergeometric functions. △ Less

Submitted 16 March, 2021; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: The title is changed (the old title is "The exact distribution of the largest eigenvalue of a singular beta F-matrix for Roy's test")

A p-adic monodromy theorem for de Rham local systems

Authors: Koji Shimizu

Abstract: We study horizontal semistable and horizontal de Rham representations of the absolute Galois group of a certain smooth affinoid over a p-adic field. In particular, we prove that a horizontal de Rham representation becomes horizontal semistable after a finite extension of the base field. As an application, we show that every de Rham local system on a smooth rigid analytic variety becomes horizontal… ▽ More We study horizontal semistable and horizontal de Rham representations of the absolute Galois group of a certain smooth affinoid over a p-adic field. In particular, we prove that a horizontal de Rham representation becomes horizontal semistable after a finite extension of the base field. As an application, we show that every de Rham local system on a smooth rigid analytic variety becomes horizontal semistable etale locally around every classical point. We also discuss potentially crystalline loci of de Rham local systems and cohomologically potentially good reduction loci of smooth proper morphisms. △ Less

Submitted 29 March, 2020; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 60 pages. Minor edits. Added acknowledgments

MSC Class: 14G22 (Primary) 11F80; 11F85; 14D10; 14G45 (Secondary)

Tannaka theory and the FRT construction over non-commutative algebras

Authors: Kenichi Shimizu

Abstract: Let $A$ be an algebra over a commutative ring $k$. We introduce the notion of a coquasitriangular left bialgebroid over $A$ and show that the category of left comodules over such a bialgebroid has a braiding. We also investigate a Tannaka type construction of bimonads and bialgebroids. As an application, the Faddeev-Reshetikhin-Takhtajan (FRT) construction over the algebra $A$ is established. Our… ▽ More Let $A$ be an algebra over a commutative ring $k$. We introduce the notion of a coquasitriangular left bialgebroid over $A$ and show that the category of left comodules over such a bialgebroid has a braiding. We also investigate a Tannaka type construction of bimonads and bialgebroids. As an application, the Faddeev-Reshetikhin-Takhtajan (FRT) construction over the algebra $A$ is established. Our construction associates a coquasitriangular bialgebroid to a braided object $(M, c)$ in the category of $A$-bimodules such that $M$ is finitely generated and projective as a left $A$-module. A Hopf algebroid version of this construction is also provided. △ Less

Submitted 5 July, 2021; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: v2, 56 pages, 118 picture files. Fully revised. The invertibility of the lax braiding of FRT bialgebroids is discussed. A relation to Hayashi's construction of face algebras is added

Heterogeneous hypergeometric functions with two matrix arguments and the exact distribution of the largest eigenvalue of a singular beta-Wishart matrix

Authors: Koki Shimizu, Hiroki Hashiguchi

Abstract: This paper discusses certain properties of heterogeneous hypergeometric functions with two matrix arguments. These functions are newly defined but have already appeared in statistical literature and are useful when dealing with the derivation of certain distributions for the eigenvalues of singular beta-Wishart matrices. The joint density function of the eigenvalues and the distribution of the lar… ▽ More This paper discusses certain properties of heterogeneous hypergeometric functions with two matrix arguments. These functions are newly defined but have already appeared in statistical literature and are useful when dealing with the derivation of certain distributions for the eigenvalues of singular beta-Wishart matrices. The joint density function of the eigenvalues and the distribution of the largest eigenvalue can be expressed in terms of certain heterogeneous hypergeometric functions. Exact computation of the distribution of the largest eigenvalue is conducted here for a real case. △ Less

Submitted 8 December, 2020; v1 submitted 9 December, 2019; originally announced December 2019.

Relative Serre functor for comodule algebras

Authors: Kenichi Shimizu

Abstract: Let $\mathcal{C}$ be a finite tensor category, and let $\mathcal{M}$ be an exact left $\mathcal{C}$-module category. The relative Serre functor of $\mathcal{M}$ is an endofunctor $\mathbb{S}$ on $\mathcal{M}$ together with a natural isomorphism $\underline{\mathrm{Hom}}(M, N)^* \cong \underline{\mathrm{Hom}}(N, \mathbb{S}(M))$ for $M, N \in \mathcal{M}$, where $\underline{\mathrm{Hom}}$ is the int… ▽ More Let $\mathcal{C}$ be a finite tensor category, and let $\mathcal{M}$ be an exact left $\mathcal{C}$-module category. The relative Serre functor of $\mathcal{M}$ is an endofunctor $\mathbb{S}$ on $\mathcal{M}$ together with a natural isomorphism $\underline{\mathrm{Hom}}(M, N)^* \cong \underline{\mathrm{Hom}}(N, \mathbb{S}(M))$ for $M, N \in \mathcal{M}$, where $\underline{\mathrm{Hom}}$ is the internal Hom functor of $\mathcal{M}$. In this paper, we discuss the case where $\mathcal{C}$ and $\mathcal{M}$ are the category of modules over a finite-dimensional Hopf algebra $H$ and the category of modules over an $H$-comodule algebra $L$, respectively. We give an explicit description of the relative Serre functor of $\mathcal{M}$ and its twisted module structure in terms of the Frobenius structure of $L$. We also study pivotal structures on $\mathcal{M}$ and give some concrete examples. △ Less

Submitted 22 June, 2023; v1 submitted 31 March, 2019; originally announced April 2019.

Comments: 55 pages

Categorical aspects of cointegrals on quasi-Hopf algebras

Authors: Taiki Shibata, Kenichi Shimizu

Abstract: 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 Frobe… ▽ More 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$. △ Less

Submitted 1 September, 2020; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 48 pages; to appear in Journal of Algebra

Perfectoid covers of abelian varieties

Authors: Clifford Blakestad, Damián Gvirtz-Chen, Ben Heuer, Daria Shchedrina, Koji Shimizu, Peter Wear, Zijian Yao

Abstract: For an abelian variety $A$ over an algebraically closed non-archimedean field of residue characteristic $p$, we show that there exists a perfectoid space which is the tilde-limit of $\varprojlim_{[p]}A$. Our proof also works for the larger class of abeloid varieties. For an abelian variety $A$ over an algebraically closed non-archimedean field of residue characteristic $p$, we show that there exists a perfectoid space which is the tilde-limit of $\varprojlim_{[p]}A$. Our proof also works for the larger class of abeloid varieties. △ Less

Submitted 6 February, 2020; v1 submitted 12 April, 2018; originally announced April 2018.

MSC Class: 14K15; 14G22; 11G10

Further results on the structure of (co)ends in finite tensor categories

Authors: Kenichi Shimizu

Abstract: Let $\mathcal{C}$ be a finite tensor category, and let $\mathcal{M}$ be an exact left $\mathcal{C}$-module category. The action of $\mathcal{C}$ on $\mathcal{M}$ induces a functor $ρ: \mathcal{C} \to \mathrm{Rex}(\mathcal{M})$, where $\mathrm{Rex}(\mathcal{M})$ is the category of $k$-linear right exact endofunctors on $\mathcal{M}$. Our key observation is that $ρ$ has a right adjoint… ▽ More Let $\mathcal{C}$ be a finite tensor category, and let $\mathcal{M}$ be an exact left $\mathcal{C}$-module category. The action of $\mathcal{C}$ on $\mathcal{M}$ induces a functor $ρ: \mathcal{C} \to \mathrm{Rex}(\mathcal{M})$, where $\mathrm{Rex}(\mathcal{M})$ is the category of $k$-linear right exact endofunctors on $\mathcal{M}$. Our key observation is that $ρ$ has a right adjoint $ρ^{\mathrm{ra}}$ given by the end $ρ^{\mathrm{ra}}(F) = \int_{M \in \mathcal{M}} \underline{\mathrm{Hom}}(M, M)$. As an application, we establish the following results: (1) We give a description of the composition of the induction functor $\mathcal{C}_{\mathcal{M}}^* \to \mathcal{Z}(\mathcal{C}_{\mathcal{M}}^*)$ and Schauenburg's equivalence $\mathcal{Z}(\mathcal{C}_{\mathcal{M}}^*) \approx \mathcal{Z}(\mathcal{C})$. (2) We introduce the space $\mathrm{CF}(\mathcal{M})$ of `class functions' of $\mathcal{M}$ and initiate the character theory for pivotal module categories. (3) We introduce a filtration for $\mathrm{CF}(\mathcal{M})$ and discuss its relation with some ring-theoretic notions, such as the Reynolds ideal and its generalizations. (4) We show that $\mathrm{Ext}_{\mathcal{C}}^{\bullet}(1, ρ^{\mathrm{ra}}(\mathrm{id}_{\mathcal{M}}))$ is isomorphic to the Hochschild cohomology of $\mathcal{M}$. As an application, we show that the modular group acts projectively on the Hochschild cohomology of a modular tensor category. △ Less

Submitted 2 April, 2018; v1 submitted 8 January, 2018; originally announced January 2018.

Comments: 48 pages; v2: reorganized and rewritten. Question 6.10 in v1 has been answered

The Inverse Weighted Lindley Distribution: Properties, Estimation and an Application on a Failure Time Data

Authors: Pedro L. Ramos, Francisco Louzada, Taciana K. O. Shimizu, Aline O. Luiz

Abstract: In this paper a new distribution is proposed. This new model provides more flexibility to modeling data with upside-down bathtub hazard rate function. A significant account of mathematical properties of the new distribution is presented. The maximum likelihood estimators for the parameters in the presence of complete and censored data are presented. Two corrective approaches are considered to deri… ▽ More In this paper a new distribution is proposed. This new model provides more flexibility to modeling data with upside-down bathtub hazard rate function. A significant account of mathematical properties of the new distribution is presented. The maximum likelihood estimators for the parameters in the presence of complete and censored data are presented. Two corrective approaches are considered to derive modified estimators that are bias-free to second order. A numerical simulation is carried out to examine the efficiency of the bias correction. Finally, an application using a real data set is presented in order to illustrate our proposed distribution. △ Less

Submitted 26 November, 2017; originally announced November 2017.

Constancy of generalized Hodge-Tate weights of a local system

Authors: Koji Shimizu

Abstract: Sen attached to each p-adic Galois representation of a p-adic field a multiset of numbers called generalized Hodge-Tate weights. In this paper, we discuss a rigidity of these numbers in a geometric family. More precisely, we consider a p-adic local system on a rigid analytic variety over a p-adic field and show that the multiset of generalized Hodge-Tate weights of the local system is constant. Th… ▽ More Sen attached to each p-adic Galois representation of a p-adic field a multiset of numbers called generalized Hodge-Tate weights. In this paper, we discuss a rigidity of these numbers in a geometric family. More precisely, we consider a p-adic local system on a rigid analytic variety over a p-adic field and show that the multiset of generalized Hodge-Tate weights of the local system is constant. The proof uses the p-adic Riemann-Hilbert correspondence by Liu and Zhu, a Sen-Fontaine decompletion theory in the relative setting, and the theory of formal connections. We also discuss basic properties of Hodge-Tate sheaves on a rigid analytic variety. △ Less

Submitted 24 October, 2017; originally announced October 2017.

Journal ref: Compositio Math. 154 (2018) 2606-2642

Recent developments of the categorical Verlinde formula

Authors: Kenichi Shimizu

Abstract: I review recent developments of "non-semisimple" modular tensor categories in the sense of Lyubashenko and the categorical Verlinde formula for such categories (this is a proceedings article for Meeting for Study of Number theory, Hopf algebras and related topics held at University of Toyama, Japan, 12-15 February 2017). I review recent developments of "non-semisimple" modular tensor categories in the sense of Lyubashenko and the categorical Verlinde formula for such categories (this is a proceedings article for Meeting for Study of Number theory, Hopf algebras and related topics held at University of Toyama, Japan, 12-15 February 2017). △ Less

Submitted 29 August, 2017; originally announced August 2017.

Comments: 17 pages

Ribbon structures of the Drinfeld center of a finite tensor category

Authors: Kenichi Shimizu

Abstract: We classify the ribbon structures of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$. Our result generalizes Kauffman and Radford's classification result of the ribbon elements of the Drinfeld double of a finite-dimensional Hopf algebra. As a consequence, we see that $\mathcal{Z}(\mathcal{C})$ is a modular tensor category in the sense of Lyubashenko if… ▽ More We classify the ribbon structures of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$. Our result generalizes Kauffman and Radford's classification result of the ribbon elements of the Drinfeld double of a finite-dimensional Hopf algebra. As a consequence, we see that $\mathcal{Z}(\mathcal{C})$ is a modular tensor category in the sense of Lyubashenko if $\mathcal{C}$ is a spherical finite tensor category in the sense of Douglas, Schommer-Pries and Snyder. △ Less

Submitted 25 March, 2021; v1 submitted 30 July, 2017; originally announced July 2017.

Comments: 34 pages. v3: Some improvements. The proof of Theorem 4.4 is rewritten

Quiver-theoretical approach to dynamical Yang-Baxter maps

Authors: Diogo Kendy Matsumoto, Kenichi Shimizu

Abstract: A dynamical Yang-Baxter map, introduced by Shibukawa, is a solution of the set-theoretical analogue of the dynamical Yang-Baxter equation. In this paper, we initiate a quiver-theoretical approach for the study of dynamical Yang-Baxter maps. Our key observation is that the category of dynamical sets over a set $Λ$, introduced by Shibukawa to establish a categorical framework to deal with dynamical… ▽ More A dynamical Yang-Baxter map, introduced by Shibukawa, is a solution of the set-theoretical analogue of the dynamical Yang-Baxter equation. In this paper, we initiate a quiver-theoretical approach for the study of dynamical Yang-Baxter maps. Our key observation is that the category of dynamical sets over a set $Λ$, introduced by Shibukawa to establish a categorical framework to deal with dynamical Yang-Baxter maps, can be embedded into the category of quivers with vertices $Λ$. By using this embedding, we shed light on Shibukawa's classification result of a certain class of dynamical Yang-Baxter maps and extend his construction to obtain a new class of dynamical Yang-Baxter maps. We also discuss a relation between Shibukawa's bialgebroid associated to a dynamical Yang-Baxter map and Hayashi's weak bialgebra associated to a star-triangular face model. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 27 pages

Integrals for finite tensor categories

Authors: Kenichi Shimizu

Abstract: We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions can be identified with integrals and cointegrals of a finite-dimensional Hopf algebra $H$ if $\mathcal{C}$ is the representation category of $H$. We generalize ba… ▽ More We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions can be identified with integrals and cointegrals of a finite-dimensional Hopf algebra $H$ if $\mathcal{C}$ is the representation category of $H$. We generalize basic results on integrals and cointegrals of a finite-dimensional Hopf algebra (such as the existence, the uniqueness, and the Maschke theorem) to finite tensor categories. Motivated by results of Lorenz, we also investigate relations between categorical integrals and morphisms factoring through projective objects. Finally, we extend the $n$-th indicator of a finite-dimensional Hopf algebra introduced by Kashina, Montgomery and Ng to finite tensor categories. △ Less

Submitted 8 February, 2017; originally announced February 2017.

Comments: 30 pages

Pivotal structures of the Drinfeld center of a finite tensor category

Authors: Kenichi Shimizu

Abstract: We classify the pivotal structures of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$. As a consequence, every pivotal structure of $\mathcal{Z}(\mathcal{C})$ can be obtained from a pair $(β, j)$ consisting of an invertible object $β$ of $\mathcal{C}$ and an isomorphism $j: β\otimes (-) \otimes β^* \to (-)^{**}$ of monoidal functors. We classify the pivotal structures of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of a finite tensor category $\mathcal{C}$. As a consequence, every pivotal structure of $\mathcal{Z}(\mathcal{C})$ can be obtained from a pair $(β, j)$ consisting of an invertible object $β$ of $\mathcal{C}$ and an isomorphism $j: β\otimes (-) \otimes β^* \to (-)^{**}$ of monoidal functors. △ Less

Submitted 1 September, 2018; v1 submitted 21 August, 2016; originally announced August 2016.

Comments: 29 pages, some xy-pic figures. v3: Many error are corrected. A remark on a categorification of the Rosenberg-Zelinsky exact sequence is added

Non-degeneracy conditions for braided finite tensor categories

Authors: Kenichi Shimizu

Abstract: 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 pape… ▽ More 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. △ Less

Submitted 25 September, 2016; v1 submitted 21 February, 2016; originally announced February 2016.

Comments: 28 pages, some figures. List of changes from v1: (1) An example of C such that the linear map $Ω$ is surjective but not bijective. (2) Remarks on the rank of $Ω$. (3) Detailed explanation on the construction of small quantum groups. There are several other minor changes. References are also updated

Existence of compatible systems of lisse sheaves on arithmetic schemes

Authors: Koji Shimizu

Abstract: Deligne conjectured that a single l-adic lisse sheaf on a normal variety over a finite field can be embedded into a compatible system of l'-adic lisse sheaves with various l'. Drinfeld used Lafforgue's result as an input and proved this conjecture when the variety is smooth. We consider an analogous existence problem for a regular flat scheme over Z and prove some cases using Lafforgue's result an… ▽ More Deligne conjectured that a single l-adic lisse sheaf on a normal variety over a finite field can be embedded into a compatible system of l'-adic lisse sheaves with various l'. Drinfeld used Lafforgue's result as an input and proved this conjecture when the variety is smooth. We consider an analogous existence problem for a regular flat scheme over Z and prove some cases using Lafforgue's result and the work of Barnet-Lamb, Gee, Geraghty, and Taylor. △ Less

Submitted 23 November, 2016; v1 submitted 19 September, 2015; originally announced September 2015.

Comments: Some arguments are simplified and corrected. Typos are fixed. To appear in Algebra and Number Theory

Journal ref: Alg. Number Th. 11 (2017) 181-211

The monoidal center and the character algebra

Authors: Kenichi Shimizu

Abstract: 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 i… ▽ More 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. △ Less

Submitted 24 December, 2016; v1 submitted 5 April, 2015; originally announced April 2015.

Comments: 32 pages. Accepted for publication in Journal of Pure and Applied Algebra. Changes from v2: The author gave new and shorter proof of Proposition 5.2 and removed Lemmas 5.3, 5.5 and 5.6. The content of Lemma 5.5 can be found at the end of Section 4 of the present version

The relative modular object and Frobenius extensions of finite Hopf algebras

Authors: Kenichi Shimizu

Abstract: 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.… ▽ More 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. △ Less

Submitted 24 September, 2016; v1 submitted 30 November, 2014; originally announced December 2014.

Comments: The final version accepted to Journal of Algebra

On unimodular finite tensor categories

Authors: Kenichi Shimizu

Abstract: 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… ▽ More 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. △ Less

Submitted 11 February, 2015; v1 submitted 14 February, 2014; originally announced February 2014.

Comments: A new version for resubmission (33 pages, some figures). The title has been changed. Some results on finite tensor categories are extended to the case where the unit object is not simple

Schrödinger representations from the viewpoint of monoidal categories

Authors: Kenichi Shimizu, Michihisa Wakui

Abstract: 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-dimension… ▽ More 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. △ Less

Submitted 17 December, 2013; originally announced December 2013.

Comments: 32 pages, 3 figures

MSC Class: 16T05; 16D90; 18D10

The pivotal cover and Frobenius-Schur indicators

Authors: Kenichi Shimizu

Abstract: 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 o… ▽ More 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. △ Less

Submitted 11 February, 2015; v1 submitted 18 September, 2013; originally announced September 2013.

Comments: The final version accepted for publication in Journal of Algebra (37 pages, many figures)

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

Authors: Kenichi Shimizu

Abstract: 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 w… ▽ More 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. △ Less

Submitted 5 March, 2013; v1 submitted 12 August, 2012; originally announced August 2012.

Comments: 34 pages. Completely rewritten. The title has been changed since the main result is reformulated in a $C^*$-categorical setting

Frobenius-Schur indicator for categories with duality

Authors: Kenichi Shimizu

Abstract: 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… ▽ More 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. △ Less

Submitted 20 November, 2012; v1 submitted 12 August, 2012; originally announced August 2012.

Comments: 38 pages; final version published in the Special Issue on "Hopf Algebras, Quantum Groups and Yang-Baxter Equations" of Axioms

On indicators of Hopf algebras

Authors: Kenichi Shimizu

Abstract: 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 appli… ▽ More 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. △ Less

Submitted 14 February, 2014; v1 submitted 15 June, 2011; originally announced June 2011.

Comments: The final version accepted for publication in Israel Journal of Mathematics. No essential changes from the version 2. The program I have used for computation is available as an ancillary file

On the linear independency of monoidal natural transformations

Authors: Kenichi Shimizu

Abstract: 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 indepen… ▽ More 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. △ Less

Submitted 11 August, 2010; v1 submitted 10 August, 2010; originally announced August 2010.

Comments: 7 pages; Some corrections in Section 3

Frobenius-Schur indicators in Tambara-Yamagami categories

Authors: Kenichi Shimizu

Abstract: 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. 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. △ Less

Submitted 25 May, 2010; originally announced May 2010.

Comments: 21 pages

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

Authors: Kenichi Shimizu

Abstract: 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. 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. △ Less

Submitted 20 October, 2010; v1 submitted 22 February, 2010; originally announced February 2010.

Comments: 30 pages; Many errors are corrected

MSC Class: 16W30; 18D10

Monoidal Morita invariants for finite group algebras

Authors: Kenichi Shimizu

Abstract: Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group representations arising from the Drinfeld double construction. As an application, we show, for any integer $n$, the number of elements of order $n$ is a mono… ▽ More Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group representations arising from the Drinfeld double construction. As an application, we show, for any integer $n$, the number of elements of order $n$ is a monoidal Morita invariant for finite group algebras. We also describe relations between our construction and invariants of closed 3-manifolds due to Reshetikhin and Turaev. △ Less

Submitted 20 October, 2009; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: 25 pages; To appear in J. of Algebra. Main modifications are the following: (i) Verbose parts of the paper were summarized. (ii) Theorem 6.3 is added. (iii) The relation between Theorem 1.1 and works of Ng and Schauenburg is added

MSC Class: 16W30; 18D10