Related papers: Effective codescent morphisms in some varieties of…
Universal continuous calculi are defined and it is shown that for every finite tuple of pairwise commuting Hermitian elements of a Su*-algebra (an ordered *-algebra that is symmetric, i.e. "strictly" positive elements are invertible, and…
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain…
A commutative algebra is exact if its multiplication endomorphisms are trace-free and is Killing metrized if its Killing type trace-form is nondegenerate and invariant. A Killing metrized exact commutative algebra is necessarily neither…
A general framework for obtaining certain types of contracted and centrally extended algebras is presented. The whole process relies on the existence of quadratic algebras, which appear in the context of boundary integrable models.
We define formal geometric quantisation for proper Hamiltonian actions by possibly noncompact groups on possibly noncompact, prequantised symplectic manifolds, generalising work of Weitsman and Paradan. We study the functorial properties of…
We show that semi-infinite cohomology of a finite dimensional graded algebra (satisfying some additional requirements) are a particular case of a general categorical construction. The motivating example is provided by small quantum groups…
We provide a unified treatment of several results concerning full groups of ample groupoids and paradoxical decompositions attached to them. This includes a criterion for the full group of an ample groupoid being amenable as well as…
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…
The algebraic cobordism group of a scheme is generated by cycles that are proper morphisms from smooth quasiprojective varieties. We prove that over a field of characteristic zero the quasiprojectivity assumption can be omitted to get the…
Some results that are true in classical groups are investigated in generalized groups and are shown to be either generally true in generalized groups or true in some special types of generalized groups. Also, it is shown that a Bol groupoid…
Every Lie group $G$ carries a distinguished algebra of particularly well-behaved real-analytic mappings: The entire functions $\mathcal{E}(G)$. They were introduced for the purposes of strict deformation quantization. This paper establishes…
Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof…
The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too…
We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…
We consider the functions in two variables on an arbitrary poset, for which the convolution operation is defined. We obtain the generalization of incidence algebra and describe its properties: invertibility, the Jackobson radical,…
The geometric condition defining a spherical variety for a reductive algebraic group was generalized in [AG21], with applications to representation theory. We twist by a character to generalize this definition, and show its equivalence to a…
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…
There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous…
We give a criterion of integrality of an one-dimensional formal group law in terms of congruences satisfied by the coefficients of the canonical invariant differential. For an integral formal group law a p-adic analytic formula for the…
We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton…