Related papers: The extender algebra and $\Sigma^2_1$-absoluteness
We give some evidences which imply that W(1+infinity) algebra describes the symmetry behind AGT(-W) conjecture: a correspondence between the partition function of N=2 supersymmetric quiver gauge theories and the correlators of Liouville…
We consider $m$-cluster tilted algebras arising from quivers of Euclidean type and we give necessary and sufficient conditions for those algebras to be representation finite. For the case $\widetilde{A}$, using the geometric realization, we…
We construct a universal continuous invariant bilinear form for the Lie algebra of compactly supported sections of a Lie algebra bundle in a topological sense. Moreover we construct a universal continuous central extension of a current…
This paper provides an accessible introduction to some of the work of Woodin on suitable extender models. We define the HOD conjecture, prove it is equivalent to a formulation in terms of weak extender models for supercompactness, and give…
This document provides a formal proof of Birkhoff's completeness theorem for multi-sorted algebras which states that any equational entailment valid in all models is also provable in the equational theory. More precisely, if a certain…
In these lectures we study some possible higher order (of degree greater than two) extensions of the Poincar\'e algebra. We first give some general properties of Lie superalgebras with some emphasis on the supersymmetric extension of the…
In this note we give a detailed proof of certain results on geometry of numbers in the $S$-adic case. These results are well-known to experts, so the aim here is to provide a convenient reference for the people who need to use them.
A foundational investigation of the basic structural properties of two-dimensional anomalous gauge theories is performed. The Hilbert space is constructed as the representation of the intrinsic local field algebra generated by the…
We prove a version of Gabriel's theorem for (possibly infinite dimensional) representations of infinite quivers. More precisely, we show that the representation theory of quiver $\Omega$ is of unique type (each dimension vector has at most…
This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to…
Comparing the module categories of an algebra and of the endomorphism algebra of a given support $\tau$-tilting module, we give a generalization of the Brenner-Butler's tilting theorem in the framework of $\tau$-tilting theory. Afterwards…
We prove the result in the title. We infer, that unlike cylindric algebras, there is a first order axiomatization of the class of completely representable polyadic algebras of infinite dimension, though the one we obtain is infinite; in…
In this paper, we prove an $L^2$ extension theorem with optimal estimate in a precise way, which implies optimal estimate versions of various well-known $L^2$ extension theorems. As applications, we give proofs of a conjecture of Suita on…
We investigate an analogue of the Wedderburn principal theorem for associative conformal algebras with finite faithful representations. It is shown that the radical splitting property for an algebra of this kind holds if the maximal…
In the same way the folding of the Dynkin diagram of A_{2n} (resp. A_{2n-1}) produces the B_n (resp. C_n) Dynkin diagram, the symmetry algebra W of a Toda model based on B_n (resp. C_n) can be seen as resulting from the folding of a…
Let $\Lambda$ be an $n$-Auslander algebra with global dimension $n+1$. In this paper, we prove that $\Lambda$ is representation-finite if and only if the number of non-isomorphic indecomposable $\Lambda$-modules with projective dimension…
In this paper, we give a purely cohomological interpretation of the extension problem for associative algebras; that is the problem of extending an associative algebra by another associative algebra. We then give a similar interpretation of…
A classic result of representation theory is Brauer's construction of a diagrammatical (geometrical) algebra whose matrix representation is a certain given matrix algebra, which is the commutating algebra of the enveloping algebra of the…
In this paper we present a systematic study of $W$ algebras from the Hamiltonian reduction point of view. The Drinfeld-Sokolov (DS) reduction scheme is generalized to arbitrary $sl_2$ embeddings thus showing that a large class of W algebras…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…