Related papers: On algebraic and more general categories whose spl…

In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version of model structures, for operads and…

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,…

A separating algebra is, roughly speaking, a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In this paper, we introduce a geometric notion of separating…

Faithful representations of regular $\ast$-rings and modular complemented lattices with involution within orthosymmetric sesquilinear spaces are studied within the framework of Universal Algebra. In particular, the correspondence between…

Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that…

We extend the holomorphic analytic torsion classes of Bismut and K\"ohler to arbitrary projective morphisms between smooth algebraic complex varieties. To this end, we propose an axiomatic definition and give a classification of the…

It is known that a category of many-sorted algebras on pure sets of similarity type is "concretely equivalent" to a category of single-sorted algebras. In this paper, we characterize a single-sorted variety that corresponds to a many-sorted…

We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…

We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or…

We consider endomorphism algebras of $n$-term silting complexes in derived categories of hereditary algebras, and we show that the module category of such an endomorphism algebra has a separated $n$-section. For $n=3$ we obtain a trisection…

Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in…

Let $\mathbf{k}$ be an algebraically closed field. Recently, K. Erdmann classified the symmetric $\mathbf{k}$-algebras $\Lambda$ of finite representation type such that every non-projective module $M$ has period dividing four. The goal of…

Given a completely positive map, we introduce a set of algebras that we refer to as its generalized multiplicative domains. These algebras are generalizations of the traditional multiplicative domain of a completely positive map and we…

We present complete classifications of automorphisms of two closed subalgebras of the bounded analytic functions on the open unit disc $\mathbb{D}$, namely, the subalgebra of functions vanishing at the origin, and the subalgebra of…

In the paper we introduce the notion of twisted derivation of a bialgebra. Twisted derivations appear as infinitesimal symmetries of the category of representations. More precisely they are infinitesimal versions of twisted automorphisms of…

We argue that computation is an abstract algebraic concept, and a computer is a result of a morphism (a structure preserving map) from a finite universal semigroup.

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

Applying a result of abstract ring theory we get that bijective additive mappings on standard algebras of unbounded operators preserving zero products are multiples of ring isomorphisms. The structure of additive bijective mappings on…

Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as…

An elegant description of the general form of order automorphisms of effect algebras has been known in the complex case. We present a much simpler proof based on the projective geometry which works also in the real case. As an application…