Related papers: Equationally defined classes of semigroups

Let $q$ be a prime number, $k$ an algebraically closed field of characteristic 0, and $H$ a semisimple Hopf algebra of dimension $2q^3$. This paper proves that $H$ is always semisolvable. That is, such Hopf algebras can be obtained by (a…

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for…

The notion of almost elementariness for a locally compact Hausdorff \'{e}tale groupoid $\mathcal{G}$ with a compact unit space was introduced by the authors as a sufficient condition ensuring the reduced groupoid $C^*$-algebra…

A finite group $G$ is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class $[c]\in H^2(G,\C^*)$ ($G$ acts trivially on $\C^*$). Groups of central type play a fundamental role in the classification of…

On the space ${\cal L}$, of loops in the group of Hamiltonian symplectomorphisms of a symplectic quantizable manifold, we define a closed ${\bf Z}$-valued 1-form $\Omega$. If $\Omega$ vanishes, the prequantization map can be extended to a…

We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…

We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…

We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…

For an algebra B with an action of a Hopf algebra H we establish the pairing between even equivariant cyclic cohomology and equivariant K-theory for B. We then extend this formalism to compact quantum group actions and show that equivariant…

Let C be a small category and k a field. There are two interesting mathematical subjects: the category algebra kC and the classifying space |C|=BC. We study the ring homomorphism HH*(kC) --> H*(|C|,k) and prove it is split surjective. This…

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…

Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…

A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…

A hypergroup is called an elementary abelian 2-hypergroup if it is a constrained direct product of the closed subsets of two elements. In this paper, the elementary abelian 2-hypergroups are studied. All closed subsets and all strongly…

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework includes a natural notion of substitution, which allows…

We give a sufficient condition for a $^*$-algebra with a specified basis to have an enveloping $C^*$-algebra. Particularizing to the setting of a Hecke algebra $\h(G,\gm)$, we show that under a suitable assumption not only we can assure…

In his $1994$ survey, Kleinert defined formally and formulated the problem to obtain unit theorems for unit groups of orders in a semisimple algebra $A$. If $A$ is a group algebra $FG$, it boils down to classifying all finite groups $G$…

Certain semigroups are known to admit a `strong semilattice decomposition' into simpler pieces. We introduce a class of Banach algebras that generalise the $\ell^1$-convolution algebras of such semigroups, and obtain a disintegration…

We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes,…

Let $\A$ be a finitely generated semigroup with 0. An $\A$-module over $\fun$ (also called an $\A$--set), is a pointed set $(M,*)$ together with an action of $\A$. We define and study the Hall algebra $\H_{\A}$ of the category $\C_{\A}$ of…