Searcharxiv⌕ Search

arXiv subjects

Elizabeth Wicks

Publications and source records attributed to Elizabeth Wicks.

5 recordsLinked to original sources
arXiv2022

Symmetries of algebras captured by actions of weak Hopf algebras

In this paper, we present a generalization of well-established results regarding symmetries of $\Bbbk$-algebras, where $\Bbbk$ is a field. Traditionally, for a $\Bbbk$-algebra $A$, the group $\Bbbk$-algebra automorphisms of $A$ captures the symmetries of $A$ via group actions. Similarly, the Lie algebra of derivations of $A$ captures the symmetries of $A$ via Lie algebra actions. In this paper, given a category $\mathcal{C}$ whose objects possess $\Bbbk$-linear monoidal categories of modules, we introduce an object $\operatorname{Sym}_{\mathcal{C}}(A)$ that captures the symmetries of $A$ via actions of objects in $\mathcal{C}$. Our study encompasses various categories whose objects include groupoids, Lie algebroids, and more generally, cocommutative weak Hopf algebras. Notably, we demonstrate that for a positively graded non-connected $\Bbbk$-algebra $A$, some of its symmetries are naturally captured within the weak Hopf framework.

math.QA↗
arXiv2020

Universal quantum semigroupoids

We introduce the concept of a universal quantum linear semigroupoid (UQSGd), which is a weak bialgebra that coacts on a (not necessarily connected) graded algebra $A$ universally while preserving grading. We restrict our attention to algebraic structures with a commutative base so that the UQSGds under investigation are face algebras (due to Hayashi). The UQSGd construction generalizes the universal quantum linear semigroups introduced by Manin in 1988, which are bialgebras that coact on a connected graded algebra universally while preserving grading. Our main result is that when $A$ is the path algebra $\Bbbk Q$ of a finite quiver $Q$, each of the various UQSGds introduced here is isomorphic to the face algebra attached to $Q$. The UQSGds of preprojective algebras and of other algebras attached to quivers are also investigated.

math.QA↗
arXiv2019

Algebraic structures in comodule categories over weak bialgebras

For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion is formulaic while the latter is categorical. We generalize this result to the setting of weak bialgebras $H$. The category $\mathcal{M}^H$ admits a monoidal structure by work of Nill and B\"{o}hm-Caenepeel-Janssen, but the algebras in $\mathcal{M}^H$ are not canonically $\Bbbk$-algebras. Nevertheless, we prove that there is an isomorphism between the category of right $H$-comodule algebras and the category of algebras in $\mathcal{M}^H$. We also recall and introduce the formulaic notion of $H$ coacting on a $\Bbbk$-coalgebra and on a Frobenius $\Bbbk$-algebra, respectively, and prove analogous category isomorphism results. Our work is inspired by the physical applications of Frobenius algebras in tensor categories and by symmetries of algebras with a base algebra larger than the ground field (e.g. path algebras). We produce examples of the latter by constructing a monoidal functor from a certain corepresentation category of a bialgebra $L$ to the corepresentation category of a weak bialgebra built from $L$ (a "quantum transformation groupoid"), thereby creating weak quantum symmetries from ordinary quantum symmetries.

math.QA↗
arXiv2018

Frobenius-Perron Theory of Modified ADE Bound Quiver Algebras

The Frobenius-Perron dimension for an abelian category was recently introduced. We apply this theory to the category of representations of the finite-dimensional radical squared zero algebras associated to certain modified ADE graphs. In particular, we take an ADE quiver with arrows in a certain orientation and an arbitrary number of loops at each vertex. We show that the Frobenius-Perron dimension of this category is equal to the maximum number of loops at a vertex. Along the way, we introduce a result which can be applied in general to calculate the Frobenius-Perron dimension of a radical square zero bound quiver algebra. We use this result to introduce a family of abelian categories which produce arbitrarily large irrational Frobenius-Perron dimensions.

math.RA↗