Related papers: Constructing Ultrapowers from Elementary Extension…

In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formulas from context as subobjects in a specific category, e.g.,…

Using ultrapowers of $C^{\ast}$-algebras we provide a new construction of the multiplier algebra of a $C^{\ast}$-algebra. This extends the work of Avsec and Goldbring [Houston J. Math., to appear, arXiv:1610.09276.] to the setting of…

Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…

A real Lie algebra with a compatible Hilbert space structure (in the sense that the scalar product is invariant) is called a Hilbert-Lie algebra. Such Lie algebras are natural infinite-dimensional analogues of the compact Lie algebras; in…

We prove that algebras are left weakly Gorenstein in case the subcategory $^{\perp}A \cap \Omega^n(A)$ is representation-finite. This applies in particular to all monomial algebras and endomorphism algebras of modules over…

The usage of elementary submodels is a simple but powerful method to prove theorems, or to simplify proofs in infinite combinatorics. First we introduce all the necessary concepts of logic, then we prove classical theorems using elementary…

We construct a quadratic basis of generators of matrix-extended $\mathcal{W}_{1+\infty}$ using a generalization of the Miura transformation. This makes it possible to conjecture a closed-form formula for the operator product expansions…

We reconstruct the quantum enveloping superalgebra ${\bf U}(\mathfrak{gl}_{m|n})$ over $\mathbb Q(v)$ via (finite dimensional) quantum Schur superalgebras. In particular, we obtain a new basis containing the standard generators of ${\bf…

We construct all finite irreducible modules over Lie conformal superalgebras of type W and S.

We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible…

Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…

Factoring out the spin $1$ subalgebra of a $ W $ algebra leads to a new $ W $ structure which can be seen either as a rational finitely generated $ W $ algebra or as a polynomial non-linear $ W_\infty$ realization.

It is known that there is a difficulty in constructing the ultrapower of unbounded operators. Krupa and Zawisza gave a rigorous definition of the ultrapower A^{omega} of a selfadjoint operator A. In this note, we give alternative…

Every mathematical structure has an elementary extension to a pseudo-countable structure, one that is seen as countable inside a suitable class model of set theory, even though it may actually be uncountable. This observation, proved easily…

The goal of this paper is to explicitly describe in terms of generators and relations the universal central extension of the infinite dimensional Lie algebra, $\mathfrak{g} \otimes \mathbb{C}[t,t^{-1},u]$ with finite dimensional simple Lie…

Let $A$ be a finite-dimensional algebra over an algebraically closed field. We prove $A$ is a strongly derived unbounded algebra if and only if there exists an integer $m$, such that $C_m(\proj A)$, the category of all minimal projective…

Let k be a field of characteristic zero. We consider graded subalgebras A of k[x_1,...,x_m]/(x_1^2,...,x_m^2) generated by d linearly independant linear forms. Representations of matroids over k provide a natural description of the…

This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy…

We study the classical and quantum $G$ extended superconformal algebras from the hamiltonian reduction of affine Lie superalgebras, with even subalgebras $G\oplus sl(2)$. At the classical level we obtain generic formulas for the Poisson…

We consider the intersection $\mathfrak{M}(A)$ of all maximal ideals of an evolution algebra $A$ and study the structure of the quotient $A/\M(A)$. In a previous work, maximal ideals have been related to hereditary subsets of a graph…