Related papers: Braids, twists, trace and duality in combinatory a…
The correspondence between the braid group on a solid torus of arbitrary genus and the algebra of Yang-Baxter and reflection equation operators is shown. A representation of this braid group in terms of $R$-matrices is given. The…
Double-bosonisation associates to a braided group in the category of modules of a quantum group, a new quantum group. We announce the semiclassical version of this inductive construction.
This is the eighth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VIII), we construct the braided…
Representing a proof tree by a combinator term that reduces to the tree lets subtle forms of duplication within the tree materialize as duplicated subterms of the combinator term. In a DAG representation of the combinator term these…
A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…
We introduce topological invariants of knots and braid conjugacy classes, in the form of differential graded algebras, and present an explicit combinatorial formulation for these invariants. The algebras conjecturally give the relative…
This contribution studies a specific deformation of algebras with anti-involution. Starting with the observation that twisting the multiplication of such an algebra by its anti-involution generates a Hom-associative algebra of type II, it…
We study the connection between two combinatorial notions associated to a quiver: the quiver algebra and the path coalgebra. We show that the quiver coalgebra can be recovered from the quiver algebra as a certain type of finite dual, and we…
We show that a class of braided Hopf algebras, which includes the braided $SU_q(2)$ is obtained by twisting. We show further examples and demonstrate that twisting of bicovariant differential calculi gives braided bicovariant differential…
We consider $\G$-graded commutative algebras, where $\G$ is an abelian group. Starting from a remarkable example of the classical algebra of quaternions and, more generally, an arbitrary Clifford algebra, we develop a general viewpoint on…
Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of…
In this paper we report on results of our investigation into the algebraic structure supported by the combinatorial geometry of the cyclohedron. Our new graded algebra structures lie between two well known Hopf algebras: the…
A braided bialgebra is called primitively generated if it is generated as an algebra by its space of primitive elements. We prove that any primitively generated braided bialgebra is isomorphic to the universal enveloping algebra of its…
For any finitely dimensional associative algebra with global dimension $\leq 2$, we show that there is an embedding from the twisted Ringel-Hall algebra to the Brigeland's Ringel-Hall algebra. In particular, this result is true for tilted…
Let $n$ be a nonnegative integer, we use ribbon $n-$graph diagrams and the Yamada polynomial skein relations to construct an algebra ${\mathcal Y}_n$ which is shown to be closely related to the Temerley-Lieb Algebra. We prove that the…
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
We use the manifestly conformally invariant description of a Lorentzian conformal structure in terms of a parabolic Cartan geometry in order to introduce a superalgebra structure on the space of twistor spinors and normal conformal vector…
Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology include mathematical structures that have decidable theory…
A family of solvable self-dual Lie algebras is presented. There exist a few methods for the construction of non-reductive self-dual Lie algebras: an orthogonal direct product, a double-extension of an Abelian algebra, and a Wigner…
We construct the reflection functors for quiver Hecke algebras of an arbitrary symmetrizable Kac-Moody type. These reflection functors categorify Lusztig's braid symmetries.