Related papers: On Heyting algebras with negative tense operators

We observe a correspondence between the zero modes of superconformal algebras $S'(2, 1)$ and W(4) and the Lie superalgebras formed by classical operators appearing in the K{\"a}hler and hyper-K{\"a}hler geometry.

We consider the natural Lie algebra structure on the (associative) group algebra of a finite group $G$, and show that the Lie subalgebras associated to natural involutive antiautomorphisms of this group algebra are reductive ones. We give a…

We study in this paper the infinite-dimensional orthogonal Lie algebra $\mathcal{O}_C$ which consists of all bounded linear operators $T$ on a separable, infinite-dimensional, complex Hilbert space $\mathcal{H}$ satisfying $CTC=-T^*$, where…

We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.

We classify pointed Hopf algebras of discrete corepresentation type over an algebraically closed field K with characteristic zero. For such algebras $H$, we explicitly determine the algebra structure up to isomorphism for the link…

One introduces the notion of C*-algebra with polarization which could be considered as the quantum Kahler structure. The connection of these algebras with Kostant-Souriou geometric quantization is shown. The theory of polarized C*-algebra…

Suppose $\mathcal{T}_{+}(E)$ is the tensor algebra of a $W^{*}$-correspondence $E$ and $H^{\infty}(E)$ is the associated Hardy algebra. We investigate the problem of extending completely contractive representations of $\mathcal{T}_{+}(E)$…

We investigate the Hardy space $H^1_L$ associated with a self-adjoint operator $L$ defined in a general setting in [S. Hofmann, et. al., Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates,…

P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for quantum logic what Boolean algebras are for classical logic. P-algebras have type <X, 0, ', .> where 0 is a constant, ' is unary and . is…

By using the action of certain Galois groups on complex irreducible characters and conjugacy classes, we define the Galois characters and Galois classes. We will introduce a set of Galois characters, called Galois irreducible characters,…

We define graded hyper-algebras of vector-valued Siegel modular forms, which allow us to study tensor products of the latter. We also define vector-valued Hecke operators for Siegel modular forms at all places of ${\mathbb Q}$, acting on…

We find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables. In addition, the existence of a possibly-not-as-nice…

An AF-algebra is assigned to each cusp form f of weight two; we study properties of this operator algebra, when f is a Hecke eigenform.

Certain infinite families of operator identities related to powers of positive root generators of (super) Lie algebras of first-order differential operators and $q$-deformed algebras of first-order finite-difference operators are presented.

We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.

Let $G$ be a complex reductive algebraic group, $g$ its Lie algebra and $h$ a reductive subalgebra of $g$, $n$ a positive integer. Consider the diagonal actions $G:g^n, N_G(h):h^n$. We study a relation between the algebra $C[h^n]^{N_G(h)}$…

Let $\mathbb{X}$ be a weighted projective line and $\operatorname{coh}\mathbb{X}$ the associated categoy of coherent sheaves. We classify the tilting complexes $T$ in $D^b(\operatorname{coh}\mathbb{X})$ such that $\tau^2 T\cong T$, where…

Let H be a symplectic vector space, let V be a vector space, and consider the nilpotent Lie algebra L_H(V) = H \otimes V + S^2(V) with bracket [(h_1 \otimes v_1;a_1),(h_2 \otimes v_2;a_2)] = (0,<h_1,h_2> v_1 v_2) . In this paper, we…

It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the…

Hom-alternative and Hom-Jordan algebras are shown to give rise to Hom-Nambu algebras of arities 2^{k+1} + 1. The class of n-ary Hom-Maltsev algebras is studied. Multiplicative n-ary Hom-Nambu-Lie algebras are shown to be n-ary Hom-Maltsev…