Searcharxiv⌕ Search

arXiv subjects

Taiki Shibata

Publications and source records attributed to Taiki Shibata.

16 recordsLinked to original sources
arXiv2025

Equivariant Eilenberg-Watts theorem for module coalgebras

For coalgebras $C$ and $D$, Takeuchi proved that the category of linear functors from $\mathfrak{M}^C$ to $\mathfrak{M}^D$ preserving small coproducts is equivalent to the category of $C$-$D$-bicomodules, where $\mathfrak{M}^C$ for a coalgebra $C$ means the category of right $C$-comodules. We formulate and prove an equivariant version of this result for module coalgebras over a bialgebra. As an application, for a bialgebra $H$, we establish an equivalence of the 2-category of a particular class of module categories over the monoidal category $\mathfrak{M}^H$ and the 2-category of a particular class of module categories over the monoidal category ${}_H\mathfrak{M}$ of left $H$-modules.

math.QA↗
arXiv2025

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

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.

math.QA↗
arXiv2024

Pointed Hopf superalgebras of dimension up to 10

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.

math.QA↗
arXiv2023

Frobenius kernels of algebraic supergroups and Steinberg's tensor product theorem

For a split quasireductive supergroup $G$ defined over a field, we study structure and representation of Frobenius kernels $G_r$ of $G$ and we give a necessary and sufficient condition for $G_r$ to be unimodular in terms of the root system of $G$. We also establish Steinberg's tensor product theorem for $G$ under some natural assumptions.

math.RT↗
arXiv2023

On classification of Hopf superalgebras of low dimension

We examine the inverse procedure of the Radford-Majid bosonization for Hopf superalgebras and give a handy method for enumerating Hopf superalgebras whose bosonization is isomorphic to a given Hopf algebra. As an application, we classify Hopf superalgebras of dimension up to 5 and give examples of higher dimensions.

math.QA↗
arXiv2023

Exact sequences of Frobenius tensor categories

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.

math.QA↗
arXiv2023

Nakayama functors for coalgebras and their applications to Frobenius tensor categories

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.

math.QA↗
arXiv2022

Affine Kac-Moody groups and Lie algebras in the language of SGA3

In infinite-dimensional Lie theory, the affine Kac-Moody Lie algebras and groups play a distinguished role due to their many applications to various areas of mathematics and physics. Underlying these infinite-dimensional objects there are closely related group schemes and Lie algebras of finite type over Laurent polynomial rings. The language of SGA3 is perfectly suited to describe such objects. The purpose of this short article is to provide a natural description of the affine Kac-Moody groups and Lie algebras using this language.

math.GR↗
arXiv2021

Modified traces and the Nakayama functor

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.

math.QA↗
arXiv2021

Affine algebraic super-groups with integral

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of $G$-orbits is an affine scheme in the following two cases: (I) $G$ is finite; (II) $k$ is a field, and $G$ is linearly reductive. An emphasize is put on the more difficult generalization in the second case; the replaced assumption then is that an affine algebraic super-group $G$ over an arbitrary field has an integral. Those super-groups which satisfy the assumption are characterized, and are seen to form a large class if $\operatorname{char}k=0$. Hopf-algebraic techniques including bosonization are applied to prove the results.

math.AG↗
arXiv2020

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$.

math.QA↗
arXiv2019

Borel-Weil Theorem for Algebraic Supergroups

We study the structure of an algebraic supergroup $\mathbb{G}$ and establish the Borel-Weil theorem for $\mathbb{G}$ to give a systematic construction of all simple supermodules over an arbitrary field. Especially when $\mathbb{G}$ has a distinguished parabolic super-subgroup, we show that the set of all simple supermodules of $\mathbb{G}$ is parameterized by the set of all dominant weights for the even part of $\mathbb{G}$, prove a super-analogue of the Kempf vanishing theorem, and give a description of Euler characteristics.

math.RT↗
arXiv2018

On functor points of affine supergroups

To construct an affine supergroup from a Harish-Chandra pair, Gavarini [2] invented a natural method, which first constructs a group functor and then proves that it is representable. We give a simpler and more conceptual presentation of his construction in a generalized situation, using Hopf superalgebras over a superalgebra. As an application of the construction, given a closed super-subgroup of an algebraic supergroup, we describe the normalizer and the centralizer, using Harish-Chandra pairs. We also prove a tensor product decomposition theorem for Hopf superalgebras, and describe explicitly by cocycle deformation, the difference which results from the two choices of dualities found in literature.

math.AG↗
arXiv2016

Algebraic supergroups and Harish-Chandra pairs over a commutative ring

We prove a category equivalence between algebraic supergroups and Harish-Chandra pairs over a commutative ring which is $2$-torsion free. The result is applied to re-construct the Chevalley $\mathbb{Z}$-supergroups constructed by Fioresi and Gavarini [8] and by Gavarini [9, 10]. For a wide class of algebraic supergroups we describe their representations by using their super-hyperalgebras.

math.RT↗
arXiv2015

Hyperfine spin qubits in irradiated malonic acid: heat-bath algorithmic cooling

The ability to perform quantum error correction is a significant hurdle for scalable quantum information processing. A key requirement for multiple-round quantum error correction is the ability to dynamically extract entropy from ancilla qubits. Heat-bath algorithmic cooling is a method that uses quantum logic operations to move entropy from one subsystem to another, and permits cooling of a spin qubit below the closed system (Shannon) bound. Gamma-irradiated, $^{13}$C-labeled malonic acid provides up to 5 spin qubits: 1 spin-half electron and 4 spin-half nuclei. The nuclei are strongly hyperfine coupled to the electron and can be controlled either by exploiting the anisotropic part of the hyperfine interaction or by using pulsed electron-nuclear double resonance (ENDOR) techniques. The electron connects the nuclei to a heat-bath with a much colder effective temperature determined by the electron's thermal spin polarization. By accurately determining the full spin Hamiltonian and performing realistic algorithmic simulations, we show that an experimental demonstration of heat-bath algorithmic cooling beyond the Shannon bound is feasible in both 3-qubit and 5-qubit variants of this spin system. Similar techniques could be useful for polarizing nuclei in molecular or crystalline systems that allow for non-equilibrium optical polarization of the electron spin.

quant-ph↗