Related papers: Quantales and their modules: projective objects, i…
In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…
The main notions of the quantum groups: coproduct, action and coaction, representation and corepresentation are discussed using simplest examples: $GL_q(2)$, $sl_q(2)$, $q$-oscillator algebra ${\cal A}(q)$, and reflection equation algebra.…
We define a new class of integrable vertex models associated to quantum groups at roots of unit
We characterize injective objects, injective hulls and essential embeddings in the category of symmetric categories enriched in a small, integral and involutive quantaloid. In particular, injective partial metric spaces are precisely…
We describe weighted projective lines in the sense of Geigle and Lenzing by a moduli problem on the canonical algebra of Ringel. We then go on to study generators of the derived categories of coherent sheaves on the total spaces of their…
The paper explores the basic geometrical properties of the observables characterizing two-qubit systems by employing a novel projective ring geometric approach. After introducing the basic facts about quantum complementarity and maximal…
Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…
We review the definition of geometric quantization, which begins with defining a mathematical framework for the algebra of observables that holds equally well for classical and quantum mechanics. We then discuss prequantization, and go into…
We give several equivalent characterisations of the maximal pro-2 quotients of real projective groups. In particular, for pro-2 real projective groups we provide a presentation in terms of generators and relations, and a purely…
For an arbitrary localic etale groupoid G we provide simple descriptions, in terms of modules over the quantale O(G) of the groupoid, of the continuous actions of G, including actions on open maps and sheaves. The category of G-actions is…
We study observables on monotone $\sigma$-complete effect algebras. We find conditions when a spectral resolution implies existence of the corresponding observable. The set of sharp elements of a monotone $\sigma$-complete homogeneous…
Quantum estimation of the operators of a system is investigated by analyzing its Liouville space of operators. In this way it is possible to easily derive some general characterization for the sets of observables (i.e. the possible quorums)…
Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an…
We consider the derived category of permutation modules over a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the set underlying the tt-spectrum of compact…
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…
We study the class of modules, called cosilting modules, which are defined as the categorical duals of silting module. Several characterizations of these modules and connections with silting modules are presented. We prove that Bazzoni…
Ordered pairs of proper, non-empty real projective conics can be classified modulo rigid isotopy and ambient isotopy. We characterize the classes by equations, inequations and inequalities in the coefficients of the quadratic forms defining…
Integral cluster categories of acyclic quivers have recently been used in the representation-theoretic approach to quantum cluster algebras. We show that over a principal ideal domain, such categories behave much better than one would…
Suppose $S$ is an affine, noetherian scheme, $X$ is a separated, noetherian $S$-scheme, $\mathcal{E}$ is a coherent ${\mathcal{O}}_{X}$-bimodule and $\mathcal{I} \subset T(\mathcal{E})$ is a graded ideal. We study the geometry of the…
We give a complete classification of isomorphism classes of finitely generated projective modules, or equivalently, unitary equivalence classes of projections, over the C*-algebra $C\left( \mathbb{S}_{q}^{2n+1}\right) $ of the quantum…