Related papers: On the structure of noncommutative mapping schemes
Duality between the coloured quantum group and the coloured quantum algebra corresponding to GL(2) is established. The coloured L^{\pm} functionals are constructed and the dual algebra is derived explicitly. These functionals are then…
A class of differential calculi is explored which is determined by a set of automorphisms of the underlying associative algebra. Several examples are presented. In particular, differential calculi on the quantum plane, the $h$-deformed…
In the recent years, a lot of attention has been paid to the development of solid foundations for the composition and inversion of schema mappings. In this paper, we review the proposals for the semantics of these crucial operators. For…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. The associated special functions are eigenfunctions of some shape invariant operators. These operators can…
We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and…
We describe an efficient scheme for evaluating higher order contributions to primordial cosmological perturbations using the "in-in" formalism, which is the basis of modern calculations of non-Gaussian and higher order contributions to the…
Two different models for a Hopf-von Neumann algebra of bounded functions on the quantum semigroup of all (quantum) permutations of infinitely many elements are proposed, one based on projective limits of enveloping von Neumann algebras…
Transfer maps and projection formulas are undoubtedly one of the key tools in the development and computation of (co)homology theories. In this note we develop an unified treatment of transfer maps and projection formulas in the…
Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also…
We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a…
We identify the quantum isometry groups of spectral triples built on the symmetric groups with length functions arising from the nearest-neighbor transpositions as generators. It turns out that they are isomorphic to certain "doubling" of…
We exhibit an extension of the category of class two nilpotent groups. It has the same objects but, unlike the latter, its morphisms are closed under pointwise addition of maps. At the same time the class of its morphisms is much smaller…
A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and…
We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…
We introduce uniparametric and multiparametric quantisations of the general linear supergroup, in the form of "quantised function algebras", both in a formal setting - yielding "quantum formal series Hopf superalgebras", a` la Drinfeld -…
The Hopf algebra generated by the l-functionals on the quantum double C_q[G] \bowtie C_q[G] is considered, where C_q[G] is the coordinate algebra of a standard quantum group and q is not a root of unity. It is shown to be isomorphic to…
In this paper, the notion of F-schemes, a "generalization" of schemes, is introduced to cover unitary noncommutative rings.
By the universal integrability objects we mean certain monodromy-type and transfer-type operators, where the representation in the auxiliary space is properly fixed, while the representation in the quantum space is not. This notion is…
Let E be a rank two vector bundle on a scheme X. The following three structures are shown to be equivalent : a) A primitive quadratic map q: E --> L, with values in an invertible module L. b) A double covering f: Y --> X endowed with an…
The extension of FRT quantization theory for the nonsemisimple CK groups is suggested. The quantum orthogonal CK groups are realized as the Hopf algebras of the noncommutative functions over an associative algebras with nilpotent…