Brauer–Clifford Group of Lie–Rinehart Algebras

In this paper we define the notion of Brauer–Clifford group for [Formula: see text]-Azumaya algebras when [Formula: see text] is a commutative algebra and[Formula: see text] is a [Formula: see text]-Lie algebra over a commutative ring [Formula: see text]. This is the situation that arises in applications having connections to differential geometry. This Brauer–Clifford group turns out to be an example of a Brauer group of a symmetric monoidal category.

Generalized negligible morphisms and their tensor ideals

We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category $${\mathcal {C}}$$ C over a local ring R. If the maximal ideal of R is generated by a single element, we show that any thick ideal of $${\mathcal {C}}$$ C admits an explicitly given modified trace function. As examples we consider various Deligne categories and the categories of tilting modules for a quantum group at a root of unity and for a semisimple, simply connected algebraic group in prime characteristic. We prove an elementary geometric description of the thick ideals in quantum type A and propose a similar one in the modular case.

Completeness of Graphical Languages for Mixed State Quantum Mechanics

There exist several graphical languages for quantum information processing, like quantum circuits, ZX-calculus, ZW-calculus, and so on. Each of these languages forms a †-symmetric monoidal category (†-SMC) and comes with an interpretation functor to the †-SMC of finite-dimensional Hilbert spaces. In recent years, one of the main achievements of the categorical approach to quantum mechanics has been to provide several equational theories for most of these graphical languages, making them complete for various fragments of pure quantum mechanics. We address the question of how to extend these languages beyond pure quantum mechanics to reason about mixed states and general quantum operations, i.e., completely positive maps. Intuitively, such an extension relies on the axiomatisation of a discard map that allows one to get rid of a quantum system, an operation that is not allowed in pure quantum mechanics. We introduce a new construction, the discard construction , which transforms any †-symmetric monoidal category into a symmetric monoidal category equipped with a discard map. Roughly speaking this construction consists in making any isometry causal. Using this construction, we provide an extension for several graphical languages that we prove to be complete for general quantum operations. However, this construction fails for some fringe cases like Clifford+T quantum mechanics, as the category does not have enough isometries.

The B∞-Structure on the Derived Endomorphism Algebra of the Unit in a Monoidal Category

Consider a monoidal category that is at the same time abelian with enough projectives and such that projectives are flat on the right. We show that there is a $B_{\infty }$-algebra that is $A_{\infty }$-quasi-isomorphic to the derived endomorphism algebra of the tensor unit. This $B_{\infty }$-algebra is obtained as the co-Hochschild complex of a projective resolution of the tensor unit, endowed with a lifted $A_{\infty }$-coalgebra structure. We show that in the classical situation of the category of bimodules over an algebra, this newly defined $B_{\infty }$-algebra is isomorphic to the Hochschild complex of the algebra in the homotopy category of $B_{\infty }$-algebras.

DIAGRAMMATIC CONSTRUCTION OF REPRESENTATIONS OF SMALL QUANTUM $$ \mathfrak{sl} $$2

We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $$ \mathfrak{sl} $$ sl 2 at a root of unity q of odd order. Our approach is diagrammatic, and it relies on an extension of the Temperley–Lieb category specialized at δ = −q − q−1.

Some remarks on blueprints and $${\pmb {{\mathbb {F}}}_1}$$-schemes

Over the past two decades several different approaches to defining a geometry over $${{\mathbb F}_1}$$ F 1 have been proposed. In this paper, relying on Toën and Vaquié’s formalism (J.K-Theory 3: 437–500, 2009), we investigate a new category $${\mathsf {Sch}}_{\widetilde{{\mathsf B}}}$$ Sch B ~ of schemes admitting a Zariski cover by affine schemes relative to the category of blueprints introduced by Lorscheid (Adv. Math. 229: 1804–1846, 2012). A blueprint, which may be thought of as a pair consisting of a monoid M and a relation on the semiring $$M\otimes _{{{\mathbb F}_1}} {\mathbb N}$$ M ⊗ F 1 N , is a monoid object in a certain symmetric monoidal category $${\mathsf B}$$ B , which is shown to be complete, cocomplete, and closed. We prove that every $${\widetilde{{\mathsf B}}}$$ B ~ -scheme $$\Sigma $$ Σ can be associated, through adjunctions, with both a classical scheme $$\Sigma _{\mathbb Z}$$ Σ Z and a scheme $$\underline{\Sigma }$$ Σ ̲ over $${{\mathbb F}_1}$$ F 1 in the sense of Deitmar (in van der Geer G., Moonen B., Schoof R. (eds.) Progress in mathematics 239, Birkhäuser, Boston, 87–100, 2005), together with a natural transformation $$\Lambda :\Sigma _{\mathbb Z}\rightarrow \underline{\Sigma }\otimes _{{{\mathbb F}_1}}{\mathbb Z}$$ Λ : Σ Z → Σ ̲ ⊗ F 1 Z . Furthermore, as an application, we show that the category of “$${{\mathbb F}_1}$$ F 1 -schemes” defined by Connes and Consani in (Compos. Math. 146: 1383–1415, 2010) can be naturally merged with that of $${\widetilde{{\mathsf B}}}$$ B ~ -schemes to obtain a larger category, whose objects we call “$${{\mathbb F}_1}$$ F 1 -schemes with relations”.

A MALL geometry of interaction based on indexed linear logic

We construct a geometry of interaction (GoI: dynamic modelling of Gentzen-style cut elimination) for multiplicative-additive linear logic (MALL) by employing Bucciarelli–Ehrhard indexed linear logic MALL(I) to handle the additives. Our construction is an extension to the additives of the Haghverdi–Scott categorical formulation (a multiplicative GoI situation in a traced monoidal category) for Girard’s original GoI 1. The indices are shown to serve not only in their original denotational level, but also at a finer grained dynamic level so that the peculiarities of additive cut elimination such as superposition, erasure of subproofs, and additive (co-) contraction can be handled with the explicit use of indices. Proofs are interpreted as indexed subsets in the category Rel, but without the explicit relational composition; instead, execution formulas are run pointwise on the interpretation at each index, with respect to symmetries of cuts, in a traced monoidal category with a reflexive object and a zero morphism. The sets of indices diminish overall when an execution formula is run, corresponding to the additive cut-elimination procedure (erasure), and allowing recovery of the relational composition. The main theorem is the invariance of the execution formulas along cut elimination so that the formulas converge to the denotations of (cut-free) proofs.

Hopf Quasimodules and Yetter-Drinfeld Modules over Hopf Quasigroups

We introduce the notions of a four-angle Hopf quasimodule and an adjoint quasiaction over a Hopf quasigroup [Formula: see text] in a symmetric monoidal category [Formula: see text]. If [Formula: see text] possesses an adjoint quasiaction, we show that symmetric Yetter-Drinfeld categories are trivial, and hence we obtain a braided monoidal category equivalence between the category of right Yetter-Drinfeld modules over [Formula: see text] and the category of four-angle Hopf modules over [Formula: see text] under some suitable conditions.

Mixed vs Stable Anti-Yetter-Drinfeld Contramodules

We examine the cyclic homology of the monoidal category of modules over a finite dimensional Hopf algebra, motivated by the need to demonstrate that there is a difference between the recently introduced mixed anti-Yetter-Drinfeld contramodules and the usual stable anti-Yetter-Drinfeld contramodules. Namely, we show that Sweedler's Hopf algebra provides an example where mixed complexes in the category of stable anti-Yetter-Drinfeld contramodules (previously studied) are not equivalent, as differential graded categories to the category of mixed anti-Yetter-Drinfeld contramodules (recently introduced).

Long Dimodules and Quasitriangular Weak Hopf Monoids

In this paper, we prove that for any pair of weak Hopf monoids H and B in a symmetric monoidal category where every idempotent morphism splits, the category of H-B-Long dimodules HBLong is monoidal. Moreover, if H is quasitriangular and B coquasitriangular, we also prove that HBLong is braided. As a consequence of this result, we obtain that if H is triangular and B cotriangular, HBLong is an example of a symmetric monoidal category.