Source author record

Akira Masuoka

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
5topics
4close collaborators

Published work

16 publications

preprint2020arXiv

Hopf-algebraic techniques applied to super Lie groups over a complete field

We show basic results on super-manifolds and super Lie groups over a complete field of characteristic ≠2\ne 2, extensively using Hopf-algebraic techniques. The main results are two theorems. The first main theorem shows a category equivalence between super Lie groups and Harish-Chandra pairs, which is applied especially to construct the Hopf super-algebra of all analytic representative functions on a super Lie group. The second constructs homogeneous super-manifolds by a new Hopf-algebraic method, showing their remarkable property.

preprint2020arXiv

Twisted forms of differential Lie algebras over C(t)\mathbb{C}(t) associated with complex simple Lie algebras

Discussed here is descent theory in the differential context where everything is equipped with a differential operator. To answer a question personally posed by A. Pianzola, we determine all twisted forms of the differential Lie algebras over C(t)\mathbb{C}(t) associated with complex simple Lie algebras. Hopf-Galois Theory, a ring-theoretic counterpart of theory of torsors for group schemes, plays a role when we grasp the above-mentioned twisted forms from torsors.

preprint2016arXiv

Solvability and nilpotency for algebraic supergroups

We study solvability, nilpotency and splitting property for algebraic supergroups over an arbitrary field KK of characteristic char K≠2\mathrm{char}\, K \ne 2. Our first main theorem tells us that an algebraic supergroup G\mathbb{G} is solvable if the associated algebraic group Gev\mathbb{G}_{ev} is trigonalizable. To prove it we determine the algebraic supergroups G\mathbb{G} such that dim⁡Lie(G)1=1\dim \mathrm{Lie}(\mathbb{G})_1=1; their representations are studied when Gev\mathbb{G}_{ev} is diagonalizable. The second main theorem characterizes nilpotent connected algebraic supergroups. A super-analogue of the Chevalley Decomposition Theorem is proved, though it must be in a weak form. An appendix is given to characterize smooth Noetherian superalgebras as well as smooth Hopf superalgebras.

preprint2016arXiv

Toward quantization of Galois theory

This note is a development of our two previous papers, arXiv:1212.3392v1 and 1306.3660v1. The fundamental question is whether there exists a Galois theory, in which the Galois group is a quantum group. For a linear equations with respect to a Hopf algebra, we arrived at a final form if the base field consists of constants. In this case, we have non-commutative Picard-Vessiot rings and asymmetric Tannaka theory. For non-linear equations there are examples that might make us optimistic.

preprint2013arXiv

×R\times_R-Bialgebras associated with iterative qq-difference rings

Realizing the possibility suggested by Hardouin [6], we show that her own Picard-Vessiot Theory for iterative qq-difference rings is covered by the (consequently, more general) framework, settled by Amano and Masuoka [2], of artinian simple module algebras over a cocommutative pointed Hopf algebra. An essential point is to represent iterative qq-difference modules over an iterative qq-difference ring RR, by modules over a certain cocommutative ×R\times_R-bialgebra. Recall that the notion of ×R\times_R-bialgebras was defined by Sweedler [17], as a generalization of bialgebras.

preprint2013arXiv

Handlebody-knot invariants derived from unimodular Hopf algebras

A handlebody-knot is a handlebody embedded in the 3-sphere. We establish a uniform method to construct invariants for handlebody-links. We introduce the category T\mathcal{T} of handlebody-tangles and present it by generators and relations. The result tells us that every functor on T\mathcal{T} that gives rise to invariants is derived from what we call a quantum-commutative quantum-symmetric algebra in the target category. The example of such algebras of our main concern is finite-dimensional unimodular Hopf algebras. We investigate how those Hopf algebras give rise to handlebody-knot invariants.

preprint2012arXiv

Harish-Chandra pairs for algebraic affine supergroup schemes over an arbitrary field

Over an arbitrary field of characteristic ≠2\ne 2, we define the notion of Harish-Chandra pairs, and prove that the category of those pairs is anti-equivalent to the category of algebraic affine supergroup schemes. The result is applied to characterize some classes of affine supergroup schemes such as those which are (a) simply connected, (b) unipotent or (c) linearly reductive in positive characteristic.

preprint2012arXiv

Mini-course on Hopf algebras--Hopf crossed products--

Hopf crossed products, or in other words, cleft comodule algebras form a special but important class in Hopf-Galois extensions. To discuss this interesting subject, we will start with the more familiar group crossed products, and then see that they are naturally generalized by Hopf crossed products; these Hopf crossed products are characterized as Hopf-Galois extensions with normal basis. After showing this characterization due to Doi and Takeuchi, we will proceed to two applications of Hopf crossed products---the equivariant smoothness of Hopf algebras, and the tensor product decomposition in super-commutative Hopf superalgebras.

preprint2011arXiv

Quotient sheaves of algebraic supergroups are superschemes

To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf G/~HG \tilde{/} H of an algebraic supergroup GG by its closed supersubgroup HH, in arbitrary characteristic ≠\neq 2. Our main theorem states that G/~HG \tilde{/} H is a Noetherian superscheme. This together with derived results give positive answers to interesting questions posed by J. Brundan.

preprint2010arXiv

Affineness of some quotient dur sheaves of a super affine group

We prove that given a super affine closed subgroup HH of a super affine group GG over a field kk of charctersitic chk≠2\mathrm{ch} k \ne 2, the dur kk-sheaf G/~~HG\tilde{\tilde{/}} H of right cosets is affine if the affine kk-group Hˉ\bar{H} assocoiated to HH is (a) reductive or (b) pro-finite. Especially when GG is algebraic, the result in Case (a) gives rise to a positive answer to Brundan's question which was recently discussed by Zubkov \cite{Z}.

preprint2010arXiv

Flatness and freeness properties of the generic Hopf Galois extensions

In previous work, to each Hopf algebra H and each invertible right two-cocycle on H, Eli Aljadeff and the first-named author attached a subalgebra B of the free commutative Hopf algebra S generated by the coalgebra underlying H; the algebra B is the subalgebra of coinvariants of a generic Hopf Galois extension. In this paper we give conditions under which S is faithfully flat, or even free, as a B-module. We also show that B is generated as an algebra by certain elements arising from the theory of polynomial identities for comodule algebras developped jointly with Aljadeff.

preprint2010arXiv

Hopf ideals of the generalized quantum double associated to skew-paired Nichols algebras

The quantized enveloping algebra UqU_q is constructed as a quotient of the generalized quantum double $ U^{\leq 0}_q \cmdbicross_τ U^{\geq 0}_q $ associated to a natural skew pairing τ:Uq≤0⊗Uq≥0→k τ: U^{\leq 0}_q \otimes U^{\geq 0}_q \to k . This double is generalized by $\cmdcalD = (\cmdfrakB (V) \cmddotrtimes F) \cmdbicross_τ (\cmdfrakB (W) \cmddotrtimes G)$, where FF, GG are abelian groups, $ V \in {}^F_F \cmdcalYD $, $ W \in {}^G_G \cmdcalYD $ are Yetter-Drinfeld modules and $ \cmdfrakB (V) $, $ \cmdfrakB (W) $ are their Nichols algebras. We prove some results on Hopf ideals of $ \cmdcalD $, including a characterization of what we call thin Hopf ideals. As an application we give an explicit description of those minimal quasitriangular pointed Hopf algebras in characteristic zero which are generated by skew primitives.

Research graph

See the researcher in context

Open full explorer

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.