Topic overview

math.QA

1454 works1778 researchers0 institutions

Topic snapshot

What this area looks like now

1454works
1778authors
0experts visible
0communities

Next steps

Move from topic reading into action

The graph preview below keeps the nearby papers, people and communities visible in the same reading flow.

Topic graph

See the topic as a live network

Open full explorer

Inspect nearby papers, researchers, institutions and communities without opening a separate graph page.

Building this graph slice

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

Papers in this area

24 featured work(s)

preprint2020arXiv

Duality for infinite-dimensional braided bialgebras and their (co)modules

The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding induces compatible braidings for the dual objects, and how actions (resp. coactions) can be turned into coactions (resp. actions) of the dual coalgebra (resp. algebra), with an emphasis on braided bialgebras and their braided (co)module algebras.

preprint2020arXiv

On Hopf algebras with triangular decomposition

In this survey, we first review some known results on the representation theory of algebras with triangular decomposition, including the classification of the simple modules. We then discuss a recipe to construct Hopf algebras with triangular decomposition. Finally, we extend to these Hopf algebras the main results of arXiv:1612.09220 regarding projective modules over Drinfeld doubles of bosonizations of Nichols algebras and groups.

preprint2020arXiv

Projections, modules and connections for the noncommutative cylinder

We initiate a study of projections and modules over a noncommutative cylinder, a simple example of a noncompact noncommutative manifold. Since its algebraic structure turns out to have many similarities with the noncommutative torus, one can develop several concepts in a close analogy with the latter. In particular, we exhibit a countable number of nontrivial projections in the algebra of the noncommutative cylinder itself, and show that they provide concrete representatives for each class in the corresponding $K_0$ group. We also construct a class of bimodules endowed with connections of constant curvature. Furthermore, with the noncommutative cylinder considered from the perspective of pseudo-Riemannian calculi, we derive an explicit expression for the Levi-Civita connection and compute the Gaussian curvature.

preprint2020arXiv

Homotopy Algebras in Higher Spin Theory

Motivated by string field theory, we explore various algebraic aspects of higher spin theory and Vasiliev equation in terms of homotopy algebras. We present a systematic study of unfolded formulation developed for the higher spin equation in terms of the Maurer-Cartan equation associated to differential forms valued in L-infinity algebras. The elimination of auxiliary variables of Vasiliev equation is analyzed through homological perturbation theory. This leads to a closed combinatorial graph formula for all the vertices of higher spin equations in the unfolded formulation. We also discover a topological quantum mechanics model whose correlation functions give deformed higher spin vertices at first order.

preprint2020arXiv

Gauge equivalence for complete $L_{\infty}$-algebras

We introduce a notion of left homotopy for Maurer--Cartan elements in $L_{\infty}$-algebras and $A_{\infty}$-algebras, and show that it corresponds to gauge equivalence in the differential graded case. From this we deduce a short formula for gauge equivalence, and provide an entirely homotopical proof to Schlessinger--Stasheff's theorem. As an application, we answer a question of T. Voronov, proving a non-abelian Poincaré lemma for differential forms taking values in an $L_{\infty}$-algebra.

preprint2020arXiv

Branching Rules for Koornwinder Polynomials with One Column Diagrams and Matrix Inversions

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}

preprint2020arXiv

A categorical approach to dynamical quantum groups

We present a categorical point of view on dynamical quantum groups in terms of categories of Harish-Chandra bimodules. We prove Tannaka duality theorems for forgetful functors into the monoidal category of Harish-Chandra bimodules in terms of a slight modification of the notion of a bialgebroid. Moreover, we show that the standard dynamical quantum groups $F(G)$ and $F_q(G)$ are related to parabolic restriction functors for classical and quantum Harish-Chandra bimodules. Finally, we exhibit a natural Weyl symmetry of the parabolic restriction functor using Zhelobenko operators and show that it gives rise to the action of the dynamical Weyl group.

preprint2020arXiv

Quasi-inner functions and local factors

We introduce the notion of {\it quasi-inner} function and show that the product $u=ρ_\infty\prod ρ_v$ of $m+1$ ratios of local {$L$-}factors {$ρ_v(z)=γ_v(z)/γ_v(1-z)$} over a finite set $F$ of places of the field of rational numbers {inclusive of} the archimedean place is {quasi-inner} on the left of the critical line $\Re(z)= \frac 12$ in the following sense. The off diagonal part $u_{21}$ of the matrix of the multiplication by $u$ in the orthogonal decomposition of the Hilbert space $L^2$ of square integrable functions on the critical line into the Hardy space $H^2$ and its orthogonal complement is a compact operator. When interpreted on the unit disk, the quasi-inner condition means that the associated Haenkel matrix is compact. We show that none of the individual non-archimedean ratios $ρ_v$ is quasi-inner and, in order to prove our main result we use Gauss multiplication theorem to factor the archimedean ratio $ρ_\infty$ into a product of $m$ quasi-inner functions whose product with each $ρ_v$ retains the property to be quasi-inner. Finally we prove that Sonin's space is simply the kernel of the diagonal part $u_{22}$ for the quasi-inner function $u=ρ_\infty$, and when $u(

preprint2020arXiv

Non-commutative derived moduli prestacks

We introduce a formalism for derived moduli functors on differential graded associative algebras, which leads to non-commutative enhancements of derived moduli stacks and naturally gives rise to structures such as Hall algebras. Descent arguments are not available in the non-commutative context, so we establish new methods for constructing various kinds of atlases. The formalism permits the development of the theory of shifted bi-symplectic and shifted double Poisson structures in the companion paper.

preprint2020arXiv

Some remarks on free products of rigid $C^*$-2-categories

In this informal expository note, we present a universal, formulaic construction of the free product of rigid $C^*$-2-categories. This construction allows for a straightforward, purely categorical formulation of the free composition of subfactors and planar algebras considered by Bisch and Jones. As an application, we explain the results of Tarrago and Wahl on free wreath products of compact quantum groups in this categorical language.

preprint2020arXiv

On the Hopf algebra structure of the Lusztig quantum divided power algebras

We study the Hopf algebra structure of Lusztig's quantum groups. First we show that the zero part is the tensor product of the group algebra of a finite abelian group with the enveloping algebra of an abelian Lie algebra. Second we build them from the plus, minus and zero parts by means of suitable actions and coactions within the formalism presented by Sommerhauser to describe triangular decompositions.

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

preprint2020arXiv

Rota-Bater paried comodule and Rota-Bater paired Hopf module

In this paper, we introduce the conception of Rota-Baxter paired comodules, which is dual to Rota-Baxter paired modules in [14]. We mainly discuss some properties of Rota-Baxter paired comodules, especially we give the characterization of generic Rota-Baxter paired comodules, which has important application for the construction of Rota-Baxter comodules. Moreover, we construct Rota-Baxter paired comodules on Hopf algebras, weak Hopf algebras, weak Hopf modules, dimodules, relative Hopf modules and Rota-Baxter paired comodules. And then we finally introduce the conception of Rota-Baxter paired Hopf modules by combining Rota-Baxter paired module with Rota-Baxter paired comodule, and give the structure theorem of generic Rota-Baxter paired Hopf modules.

preprint2020arXiv

Rank $n$ swapping algebra for Grassmannian

The rank $n$ swapping algebra is the Poisson algebra defined on the ordered pairs of points on a circle using the linking numbers, where a subspace of $(\mathbb{K}^n \times \mathbb{K}^{n*})^r/\operatorname{GL}(n,\mathbb{K})$ is its geometric mode. In this paper, we find an injective Poisson homomorphism from the Poisson algebra on Grassmannian $G_{n,r}$ arising from boundary measurement map to the rank $n$ swapping fraction algebra.

preprint2020arXiv

Matrices, Bratteli Diagrams and Hopf-Galois Extensions

We show that the matrix embeddings in Bratteli diagrams are iterated direct sums of Hopf-Galois extensions (quantum principle bundles) for certain abelian groups. The corresponding strong universal connections are computed. We show that $ M_{n}(\mathbb{C})$ is a trivial quantum principle bundle for the Hopf algebra $ \mathbb{C}[\mathbb{Z}_{n} \times \mathbb{Z}_{n}] $. We conclude with an application relating known calculi on groups to calculi on matrices.

preprint2020arXiv

Triangular decomposition of $SL_3$ skein algebras

We give an $SL_3$ analogue of the triangular decomposition of the Kauffman bracket stated skein algebras described by Le. To any punctured bordered surface, we associate an $SL_3$ stated skein algebra which contains the $SL_3$ skein algebra of closed webs. These algebras admit natural algebra morphisms associated to the splitting of surfaces along ideal arcs. We give an explicit basis for the $SL_3$ stated skein algebra and show that the splitting morphisms are injective and describe their images. By splitting a surface along the edges of an ideal triangulation, we see that the $SL_3$ stated skein algebra of any ideal triangulable surface embeds into a tensor product of stated skein algebras of triangles.

preprint2020arXiv

Twisted Ehresmann Schauenburg bialgebroids

We construct an invertible normalised 2 cocycle on the Ehresmann Schauenburg bialgebroid of a cleft Hopf Galois extension under the condition that the corresponding Hopf algebra is cocommutative and the image of the unital cocycle corresponding to this cleft Hopf Galois extension belongs to the centre of the coinvariant subalgebra. Moreover, we show that any Ehresmann Schauenburg bialgebroid of this kind is isomorphic to a 2-cocycle twist of the Ehresmann Schauenburg bialgebroid corresponding to a Hopf Galois extension without cocycle, where comodule algebra is an ordinary smash product of the coinvariant subalgebra and the Hopf algebra (i.e. $\C(B/#_σH, H)\simeq \C(B\#H, H)^{\tildeσ}$). We also study the theory in the case of a Galois object where the base is trivial but without requiring the Hopf algebra to be cocommutative.

preprint2020arXiv

Deformation and Hochschild Cohomology of Coisotropic Algebras

Coisotropic algebras consist of triples of algebras for which a reduction can be defined and unify in a very algebraic fashion coisotropic reduction in several settings. In this paper we study the theory of (formal) deformation of coisotropic algebras showing that deformations are governed by suitable coisotropic DGLAs. We define a deformation functor and prove that it commutes with reduction. Finally, we study the obstructions to existence and uniqueness of coisotropic algebras and present some geometric examples.

preprint2020arXiv

Dirac operators on noncommutative hypersurfaces

This paper studies geometric structures on noncommutative hypersurfaces within a module-theoretic approach to noncommutative Riemannian (spin) geometry. A construction to induce differential, Riemannian and spinorial structures from a noncommutative embedding space to a noncommutative hypersurface is developed and applied to obtain noncommutative hypersurface Dirac operators. The general construction is illustrated by studying the sequence $\mathbb{T}^{2}_θ \hookrightarrow \mathbb{S}^{3}_θ \hookrightarrow \mathbb{R}^{4}_θ$ of noncommutative hypersurface embeddings.

People in this topic

12 visible researcher(s)