Related papers: Internal bialgebroids, entwining structures and co…
We introduce the Picard group of corings. We extend the well-known exact sequence from algebras and coalgebras over fields to corings. We extend the Aut-Pic property to corings and we give some new examples of corings having this property.…
An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of…
An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…
We define notions of pivotal and ribbon objects in a monoidal category. These constructions give pivotal or ribbon monoidal categories from a monoidal category which is not necessarily with duals. We apply this construction to the braided…
We define a new kind of algebroid which fulfills a Leibniz rule, a Jacobi identity twisted by a 3-form $H$ with values in the kernel of the anchor map, and the twist is closed under a naturally occurring exterior covariant derivative. We…
Given a Hopf algebra in a symmetric monoidal category with duals, the category of modules inherits the structure of a monoidal category with duals. If the notion of algebra is replaced with that of monad on a monoidal category with duals…
We give a structure theorem for inside factorial domains. As an example we study the monoid of nonnegative integer solutions of equations of the form $a_1x_1+\cdots +a_{r-1}x_{r-1}=a_rx_r$, with $a_1,\ldots,a_r$ positive integers. This set…
We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily high degrees. This allows us to obtain a duality, in a certain…
We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…
A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $\Sigma$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear…
We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show…
We compute the Borel equivariant cohomology ring of the left $K$-action on a homogeneous space $G/H$, where $G$ is a connected Lie group, $H$ and $K$ are closed, connected subgroups and $2$ and the torsion primes of the Lie groups are units…
The interaction between combinatorics and algebraic and differential geometry is very strong. While researching a problem of Hessian topology, we came across a series of identities of binomial coefficients, which are useful for proving a…
Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally…
We introduce a modified version of the necklace Lie bialgebra associated to a quiver, in which the bracket and cobracket insert (rather than remove) pairs of arrows in involution. This structure is then related to canonical quartic…
The principal observation of the present paper is that an inner isotopy (i.e. a principal isotopy defined by an algebra endomorphism) is a very helpful instrument in constructing and studying interesting classes of nonassociative algebras.…
We construct a triangulated monoidal Karoubi closed category with the Grothendieck ring, naturally isomorphic to the ring of integers localized at two.
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A…
We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…
Quantum entanglement, a cornerstone of quantum mechanics, remains challenging to classify, particularly in multipartite systems. Here, we present a new interpretation of entanglement classification by revealing a profound connection to…