On the cobordism and commutative monoid with cancellation approaches to conformal field theory

In the late 1980s, Graeme Segal axiomatized conformal field theory in terms of a cobordism category. In that same preprint he outlined a more symmetric trace approach, which was recently rigorized in terms of pseudo algebras over a 2-theory. In this paper, we treat the cobordism approach in the pseudo algebra context. We introduce a new algebraic structure on a bicategory, called a pseudo 2-algebra over a theory, as a means of comparison for the two approaches. The main result states that the 2-category of pseudo algebras over a fixed 2-theory is biequivalent to the 2-category of pseudo 2-algebras over a fixed theory in certain situations.     

Pseudo equality algebras

A new structure, called pseudo equality algebras, will be introduced. It has a constant and three connectives: a meet operation and two equivalences. A closure operator will be introduced in the class of pseudo equality algebras; we call the closed algebras equivalential. We show that equivalential pseudo equality algebras are term equivalent with pseudo BCK-meet-semilattices. As a by-product we obtain a general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalence operations of pseudo BCK-meet-semilattices. Our result treats a much more general algebraic structure, namely, pseudo BCK-meet-semilattice instead of Heyting algebras, on the other hand, we also need to use the meet operation. Finally, we prove that the variety of pseudo equality algebras is a subtractive, 1-regular, arithmetical variety.     

When the lexicographic product of two po-groups has the Riesz decomposition property

We study conditions when a certain type of the Riesz Decomposition Property (RDP for short) holds in the lexicographic product of two po-groups. Defining two important properties of po-groups, we extend known situations showing that the lexicographic product satisfies RDP or even \({{\rm RDP}_1}\), a stronger type of RDP. We recall that a very strong type of RDP, \({{\rm RDP}_2}\), entails that the group is lattice ordered. RDP's of the lexicographic products are important for the study of lexicographic pseudo effect algebras, or perfect types of pseudo MV-algebras and pseudo effect algebras, where infinitesimal elements play an important role both for algebras as well as for the first order logic of valid but not provable formulas.     

Generalizations of pseudo MV-algebras and generalized pseudo effect algebras

We deal with unbounded dually residuated lattices that generalize pseudo MV-algebras in such a way that every principal order-ideal is a pseudo MV-algebra. We describe the connections of these generalized pseudo MV-algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo MV-algebra A by means of the positive cone of a suitable ℓ-group G _A . We prove that the lattice of all (normal) ideals of A and the lattice of all (normal) convex ℓ-subgroups of G _A are isomorphic. We also introduce the concept of Archimedeanness and show that every Archimedean generalized pseudo MV-algebra is commutative. Supported by the Research and Development Council of the Czech Govenrment via the project MSM6198959214.     

$${\varvec{}}$$-Jorda homomorphisms ad pseudo $${\varvec{}}$$-Jorda homomorphisms o Baach algebras

Let \(n\in \mathbb {N}\), A and B be Banach algebras and let B be a right A-module. We say that a linear mapping \(\varphi :A\longrightarrow B\) is a pseudo n-Jordan homomorphism if there exists an element \(w\in A\) such that \(\varphi (a^nw)=\varphi (a)^n\cdot w\), for every \(a\in A\) and \(n\ge \) 2. In this paper, among other things, we show that under some conditions if a linear mapping \(\varphi \) is a (pseudo) n-Jordan homomorphism, then it is a (pseudo) \((n + 1)\)-Jordan homomorphism. Additionally, we investigate automatic continuity of surjective pseudo n-Jordan homomorphisms under some conditions.     

Retractions and Gorenstein Homological Properties

We associate to a localizable module a left retraction of algebras; it is a homological ring epimorphism that preserves singularity categories. We study the behavior of left retractions with respect to Gorenstein homological properties (for example, being Gorenstein algebras or CM-free algebras). We apply the results to Nakayama algebras. It turns out that for a connected Nakayama algebra A, there exists a connected self-injective Nakayama algebra A′ such that there is a sequence of left retractions linking A to A′; in particular, the singularity category of A is triangle equivalent to the stable category of A′. We classify connected Nakayama algebras with at most three simple modules according to Gorenstein homological properties.     

More covers of the Boolean variety of unital ℓ-groups

Within the lattice of varieties of pseudo MV-algebras, the variety ${\mathcal{B}}$ of Boolean algebras is the least nontrivial variety. Komori identified all varieties of (commutative) MV-algebras that cover ${\mathcal{B}}$ . The authors previously identified all solvable varieties of pseudo MV-algebras that cover ${\mathcal{B}}$ . We will show the existence of continuum many nonsolvable varieties of pseudo MV-algebras that cover ${\mathcal{B}}$ , show that periodically primitive u?-groups cannot generate Boolean covers, and show that all noncommutative varieties that are Boolean covers must be Top Boolean.     

Pluriassociative algebras I: The pluriassociative operad

Diassociative algebras form a category of algebras recently introduced by Loday. A diassociative algebra is a vector space endowed with two associative binary operations satisfying some very natural relations. Any diassociative algebra is an algebra over the diassociative operad, and, among its most notable properties, this operad is the Koszul dual of the dendriform operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of diassociative algebras, called γ-pluriassociative algebras, so that 1-pluriassociative algebras are diassociative algebras. Pluriassociative algebras are vector spaces endowed with 2γ associative binary operations satisfying some relations. We provide a complete study of the γ-pluriassociative operads, the underlying operads of the category of γ-pluriassociative algebras. We exhibit a realization of these operads, establish several presentations by generators and relations, compute their Hilbert series, show that they are Koszul, and construct the free objects in the corresponding categories. We also study several notions of units in γ-pluriassociative algebras and propose a general way to construct such algebras. This paper ends with the introduction of an analogous generalization of the triassociative operad of Loday and Ronco.     

Operads and varieties of algebras defined by polylinear identities

We show that varieties of algebras over abstract clones and over the corresponding operads are rationally equivalent. We introduce the class of operads (which we call commutative for definiteness) such that the varieties of algebras over these operads resemble in a sense categories of modules over commutative rings. In particular, the notions of a polylinear mapping and the tensor product of algebras. The categories of modules over commutative rings and the category of convexors are examples of varieties over commutative operads. By analogy with the theory of linear multioperator algebras, we develop a theory of C-linear multioperator algebras; in particular, of algebras, defined by C-polylinear identities (here C is a commutative operad). We introduce and study symmetric C-linear operads. The main result of this article is as follows: A variety of C-linear multioperator algebras is defined by C-polylinear identities if and only if it is rationally equivalent to a variety of algebras over a symmetric C-linear operad.     

Pluriassociative algebras II: The polydendriform operad and related operads

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the dendriform operad, the Koszul dual of the diassociative operad. We introduce here, by adopting the point of view and the tools offered by the theory of operads, a generalization on a nonnegative integer parameter γ of dendriform algebras, called γ-polydendriform algebras, so that 1-polydendriform algebras are dendriform algebras. For that, we consider the operads obtained as the Koszul duals of the γ-pluriassociative operads introduced by the author in a previous work. In the same manner as dendriform algebras are suitable devices to split associative operations into two parts, γ-polydendriform algebras seem adapted structures to split associative operations into 2γ operation so that some partial sums of these operations are associative. We provide a complete study of the γ-polydendriform operads, the underlying operads of the category of γ-polydendriform algebras. We exhibit several presentations by generators and relations, compute their Hilbert series, and construct free objects in the corresponding categories. We also provide consistent generalizations on a nonnegative integer parameter of the duplicial, triassociative and tridendriform operads, and of some operads of the operadic butterfly.     

State operators on generalizations of fuzzy structures

We enlarge the language of R?-monoids, which are a non-commutative generalizations of both MV algebras and BL algebras, by adding a unary operation that describes algebraic properties of a state (= an analog of probability measures). The resulting algebras are called stateR?-monoids and state-morphismR?-monoids. We present basic properties of such algebras. We describe subdirectly irreducible algebras, some generators of the varieties of state-morphism R?-monoids, and an interplay between states and state operators.     

A chain of evolution algebras

We introduce a notion of chain of evolution algebras. The sequence of matrices of the structural constants for this chain of evolution algebras satisfies an analogue of Chapman-Kolmogorov equation. We give several examples (time homogenous, time non-homogenous, periodic, etc.) of such chains. For a periodic chain of evolution algebras we construct a continuum set of non-isomorphic evolution algebras and show that the corresponding discrete time chain of evolution algebras is dense in the set. We obtain a criteria for an evolution algebra to be baric and give a concept of a property transition. For several chains of evolution algebras we describe the behavior of the baric property depending on the time. For a chain of evolution algebras given by the matrix of a two-state evolution we define a baric property controller function and under some conditions on this controller we prove that the chain is not baric almost surely (with respect to Lebesgue measure). We also construct examples of the almost surely baric chains of evolution algebras. We show that there are chains of evolution algebras such that if it has a unique (resp. infinitely many) absolute nilpotent element at a fixed time, then it has unique (resp. infinitely many) absolute nilpotent element any time; also there are chains of evolution algebras which have not such property. For an example of two dimensional chain of evolution algebras we give the full set of idempotent elements and show that for some values of parameters the number of idempotent elements does not depend on time, but for other values of parameters there is a critical time t_c such that the chain has only two idempotent elements if time t?t_c and it has four idempotent elements if time t<t_c.     

Aglianò-Montagna type decomposition of linear pseudo hoops and its applications

We decompose every linear pseudo hoop as an Aglianò-Montagna type of ordinal sum of linear Wajsberg pseudo hoops which are either negative cones of linear ?-groups or intervals in linear unital ?-groups with strong unit. We apply the decomposition to present a new proof that every linear pseudo BL-algebra and consequently every representable pseudo BL-algebra is good. Moreover, we show that every maximal filter and every value of a linear pseudo hoop is normal, and every σ-complete linear pseudo hoop is commutative.     

Nakayama oriented pullbacks and stably hereditary algebras

We introduce a new class of algebras, the Nakayama oriented pullbacks, obtained from pullbacks of surjective morphisms of algebras A?C and B?C. We prove that such a pullback is tilted when A and B are hereditary. We also show that stably hereditary algebras respecting the clock condition are Nakayama oriented pullbacks, and we use results about these pullbacks to show when a stably hereditary algebra is tilted or iterated tilted.     

On <Emphasis Type="Italic">n</Emphasis>-cubic Pyramid Algebras

In this paper we study a class of algebras having n-dimensional pyramid shaped quiver with n-cubic cells, which we called n-cubic pyramid algebras. This class of algebras includes the quadratic dual of the basic n-Auslander absolutely n-complete algebras introduced by Iyama. We show that the projective resolutions of the simples of n-cubic pyramid algebras can be characterized by n-cuboids, and prove that they are periodic. So these algebras are almost Koszul and (n?1)-translation algebras. We also recover Iyama’s cone construction for n-Auslander absolutely n-complete algebras using n-cubic pyramid algebras and the theory of n-translation algebras.     

Finite generation of Ext for a generalization of D-Koszul algebras

In this paper we study the finite generation of Ext-algebras of a class of algebras called δ-resolution determined algebras. We characterize the δ-resolution determined algebras which are monomial algebras. If Λ is a graded algebra such that the associated monomial algebra is δ-resolution determined, we classify when the Ext-algebra of Λ is finitely generated.     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

Braided doubles and rational Cherednik algebras

We introduce and study a large class of algebras with triangular decomposition which we call braided doubles. Braided doubles provide a unifying framework for classical and quantum universal enveloping algebras and rational Cherednik algebras. We classify braided doubles in terms of quasi-Yetter-Drinfeld (QYD) modules over Hopf algebras which turn out to be a generalisation of the ordinary Yetter-Drinfeld modules. To each braiding (a solution to the braid equation) we associate a QYD-module and the corresponding braided Heisenberg double—this is a quantum deformation of the Weyl algebra where the role of polynomial algebras is played by Nichols-Woronowicz algebras. Our main result is that any rational Cherednik algebra canonically embeds in the braided Heisenberg double attached to the corresponding complex reflection group.