Related papers: The extender algebra and $\Sigma^2_1$-absoluteness
Let $\Lambda$ and $\Gamma$ be symmetrically separably equivalent Artin algebras. We prove that there exist symmetrical separable equivalences between certain endomorphism algebras of modules. As applications, we provide several methods to…
We show that for any finite-dimensional algebra $\Lambda$ of infinite representation type, over a perfect field, there is a bounded principal ideal domain $\Gamma$ and a representation embedding from $\Gamma -$mod into $\Lambda -$mod. As an…
Let $A$ be a $W$-algebra over a field $F$ of characteristic zero, where $W$ is any $F$-algebra. We first develop a comprehensive theory of generalized identities independent of the algebraic structure of $W$, using the multiplier algebra of…
In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular…
It is shown that the question raised in Section 5.7 of [1] has an affirmative answer.
We give characterizations of unital uniform topological algebras and saturated locally multiplicatively convex algebras by means of multiplicative linear functionals. Some automatic continuity theorems in advertibly complete uniform…
If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…
Associative algebras with involution over a field of zero characteristic are considered. It is proved that in this case for any finitely generated associative algebra with involution there exists a finite dimensional algebra with involution…
An infinite dimensional algebra, which is useful for deriving exact solutions of the generalized pairing problem, is introduced. A formalism for diagonalizing the corresponding Hamiltonian is also proposed. The theory is illustrated with…
We consider a recently proposed extension of the Bondi-Metzner-Sachs algebra to include arbitrary infinitesimal diffeomorphisms on a (2)-sphere. To realize this extended algebra as asymptotic symmetries, we work with an extended class of…
We prove that a finite dimensional algebra $\Lambda$ is $\tau-$tilting finite if and only if all the bricks over $\Lambda$ are finitely generated. This is obtained as a consequence of the existence of proper locally maximal torsion classes…
Existence theorem is proven for the generating equations of the split involution constraint algebra. The structure of the general solution is established, and the characteristic arbitrariness in generating functions is described.
To every minimal model of a complete local isolated cDV singularity Donovan--Wemyss associate a finite dimensional symmetric algebra known as the contraction algebra. We construct the first known standard derived equivalences between these…
We prove Auslander's defect formula in an exact category, and obtain a commutative triangle involving the Auslander bijections and the generalized Auslander-Reiten duality.
We study the 3-algebraic structure involved in the recently shown M2-branes worldvolume gauge theories. We first extend an arbitrary finite dimensional 3-algebra into an infinite dimensional 3-algebra by adding a mode number to each…
An extension of the General Coordinate Transformations algebra is constructed by means geometrical consistency conditions. An class of infinite invariants is derived. In particular we construct the consistent extension of the gravitational…
Extension conjecture states that if a simple module over an artin algebra has nonzero first self-extension group then it has nonzero i-th self-extension group for infinitely many positive integers i. It is shown by recollement of…
We study the representation theory of finite W-algebras. After introducing parabolic subalgebras to describe the structure of W-algebras, we define the Verma modules and give a conjecture for the Kac determinant. This allows us to find the…
We establish a finite-dimensional version of the Arveson-Stinespring dilation theorem for unital completely positive maps on operator systems. This result can be seen as a general principle to deduce finite-dimensional dilation theorems…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…