Related papers: The extender algebra and $\Sigma^2_1$-absoluteness

Let $\Lambda$ be a finite dimensional Auslander algebra. For a $\Lambda$-module $M$, we prove that the projective dimension of $M$ is at most one if and only if the projective dimension of its socle soc\,$M$ is at most one. As an…

We establish a dual version of infinite-dimensional Hom-algebras and Hom-modules by using the Sweedler duality construction. Additionally, linear morphisms between infinite-dimensional Hom-algebras (resp. Hom-modules) and Hom-coalgebras…

We prove a finite torsion-free associative conformal algebra to have a finite faithful conformal representation. As a corollary, it is shown that one may join a conformal unit to such an algebra. Some examples are stated to demonstrate that…

We show that every two-term tilting complex over an Artin algebra has a tilting module over a certain factor algebra as a homology group. Also, we determine the endomorphism algebra of such a homology group, which is given as a certain…

This paper shows that finitely additive measures occur naturally in very general Divergence Theorems. The main results are two such theorems. The first proves the existence of pure normal measures for sets of finite perime- ter, which yield…

We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…

This expository essay discusses a finite dimensional approach to dilation theory. How much of dilation theory can be worked out within the realm of linear algebra? It turns out that some interesting and simple results can be obtained. These…

We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…

We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.

We discuss two variations of Edwards' duality theorem. More precisely, we prove one version of the theorem for cones not necessarily containing all constant functions. In particular, we allow the functions in the cone to have a non-empty…

We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…

A celebrated result in representation theory is that of higher Auslander correspondence. Let $\Lambda$ an Artin algebra and $X$ a $d$-cluster-tilting module. Iyama has shown that the endomorphism ring $\Gamma$ of $X$ is a $d$-Auslander…

A new class of completely integrable models is constructed. These models are deformations of the famous integrable and exactly solvable Gaudin models. In contrast with the latter, they are quasi-exactly solvable, i.e. admit the algebraic…

We show a case of Zilber's Exponential-Algebraic Closedness Conjecture, establishing that the conjecture holds for varieties which split as the product of a linear subspace of the additive group $\mathbb{C}^n$ and an algebraic subvariety of…

Estimation algebras have been extensively studied in Euclidean space, where finite-dimensional estimation algebras form the foundation of the Kalman and Benes filters, and have contributed to the discovery of many other finite-dimensional…

We adapt methods coming from additive combinatorics in groups to the study of linear span in associative unital algebras. In particular, we establish for these algebras analogues of Diderrich-Kneser's and Hamidoune's theorems on sumsets and…

It is shown that the notion of W_\infty-algebra originally carried out over a (compact) Riemann surface can be extended to n complex dimensional (compact) manifolds within a symplectic geometrical setup. The relationships with the…

We define a dimension for a triangulated category. We prove a representabilityTheorem for a certain class of functors on finite dimensional triangulatedcategories. We study the dimension of the boundedderived category of an algebra or a…

We study the Lie bialgebra structures that can be built on the one-dimensional central extension of the Poincar\'e and (A)dS algebras in (1+1) dimensions. These central extensions admit more than one interpretation, but the simplest one is…

The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with…