Related papers: Varieties of Regular Pseudocomplemented de Morgan …

Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras under injections which preserve the root spaces. It is known that a root-reductive Lie algebra is a split extension of an abelian Lie algebra by a…

In the present paper, we prove that every local and $2$-local derivation of the complex finite-dimensional simple Filippov algebra is a derivation. As a corollary we have the description of all local and $2$-local derivations of complex…

We study the local symplectic algebra of the 1-dimensional isolated complete intersection singularity of type S{\mu}. We use the method of algebraic restrictions to classify symplectic S{\mu} singularities. We distinguish these symplectic…

We present theories of N=2 hypermultiplets in four spacetime dimensions that are invariant under rigid or local superconformal symmetries. The target spaces of theories with rigid superconformal invariance are (4n)-dimensional {\it special}…

We prove that in characteristic 0 any proper subvariety of the variety of dual Leibniz algebras is nilpotent. Consequently, the variety of dual Leibniz algebras is Shpekhtian and has base rank 1.

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…

Harmonic maps from S^2 to S^2 are all weakly conformal, and so are represented by rational maps. This paper presents a study of the L^2 metric gamma on M_n, the space of degree n harmonic maps S^2 -> S^2, or equivalently, the space of…

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions…

The hyperbolic (and more generally, Lorentzian) Kac-Moody (KM) Lie algebras $\cA$ of rank $r+2 > 2$ are shown to have a rich structure of indefinite KM subalgebras which can be described by specifying a subset of positive real roots of…

In [3], a basis of identities {u_n = v_n | n\geq 2} for the variety SPS of all strict pseudosemilattices was determined. Each one of these identities u_n = v_n has a peculiar 2-content D_n. In this paper we study the varieties of…

The structure of nilpotent symplectic algebras of maximal class has been studied in [8, 5]. In this paper, we study the dual subclass of algebras of minimal class. In particular, we show that symplectic alternating algebras of dimension up…

We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model $\mathcal{K}_2$ and generalizations thereof. We consider weak and strong notions of embeddability and completion that have been…

It is a classic result of Segerberg and Maksimova that a variety of $\mathsf{S4}$-algebras is locally finite iff it is of finite depth. Since the logic $\mathsf{MS4}$ (monadic $\mathsf{S4}$) axiomatizes the one-variable fragment of…

Over algebraically closed fields of characteristic p>2, prolongations of the simple finite dimensional Lie algebras and Lie superalgebras with Cartan matrix are studied for certain simplest gradings of these algebras. Several new simple Lie…

This paper studies the noncommutative singularity theory of the double $A_n$ quiver $Q_n$ (with a single loop at each vertex), with applications to algebraic geometry and representation theory. We give various intrinsic definitions of a…

We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We…

We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational…

We study a Laurent polynomial representation $V$ of the double affine Hecke algebra of type $GL_n$ for specialized parameters $t^{k+1}q^{r-1}=1$. We define a series of subrepresentations of $V$ by using a vanishing condition. For some…

In our previous work, we introduced McKinsey-Tarski algebras (MT-algebras for short) as an alternative pointfree approach to topology. Here we study local compactness in MT-algebras. We establish the Hofmann-Mislove theorem for sober…

We prove a global local rigidity result for character varieties of 3-manifolds into $\rm{SL}_2$. Given a 3-manifold with toric boundary $M$ satisfying some technical hypotheses, we prove that all but a finite number of its Dehn fillings…