The partition algebras are algebras of diagrams (which contain the group algebra of the symmetric group and the Brauer algebra) such that the multiplication is given by a combinatorial rule and such that the structure constants of the algebra depend polynomially on a parameter. This is a survey paper which proves the primary results in the theory of partition algebras. Some of the results in this paper are new. This paper gives: (a) a presentation of the partition algebras by generators and relations, (b) shows that each partition algebra has an ideal which is isomorphic to a basic construction and such that the quotient is isomorphic to the group algebra of the symmetric gropup, (c) shows that partition algebras are in "Schur-Weyl duality" with the symmetric groups on tensor space, (d) provides a construction of "Specht modules" for the partition algebras (integral lattices in the generic irreducible modules), (e) determines (with a couple of exceptions) the values of the parameter where the partition algebras are semisimple, (f) provides "Murphy elements" for the partition algebras that play exactly analogous roles to the classical Murphy elements for the group algebra of the symmetric group. The primary new results in this paper are (a) and (f).
Consider a simple Lie algebra $\mathfrak{g}$ and $\overline{\mathfrak{g}}% \subset \mathfrak{g}$ a Levi subalgebra. Two irreducible $\overline{% \mathfrak{g}}$-modules yield isomorphic inductions to $\mathfrak{g}$ when their highest weights coincide up to conjugation by an element of the Weyl group $W$ of $\mathfrak{g}$ which is also a Dynkin diagram automorphism of $% \overline{\mathfrak{g}}$. In this paper we study the converse problem: given two irreducible $\overline{\mathfrak{g}}$-modules of highest weight $μ$ and $ν$ whose inductions to $\mathfrak{g}$ are isomorphic, can we conclude that…
We define an affine partition algebra by generators and relations and prove a variety of basic results regarding this new algebra analogous to those of other affine diagram algebras. In particular we show that it extends the Schur-Weyl duality between the symmetric group and the partition algebra. We also relate it to the affine partition category recently defined by J. Brundan and M. Vargas. Moreover, we show that this affine partition category is a full monoidal subcategory of the Heisenberg category.
Let $\mathbf{k}$ be an algebraically closed field, and let $Λ$ be a finite dimensional $\mathbf{k}$-algebra. We prove that if $Λ$ is a Gorenstein algebra, then every finitely generated Cohen-Macaulay $Λ$-module $V$ whose stable endomorphism ring is isomorphic to $\mathbf{k}$ has a universal deformation ring $R(Λ,V)$, which is a complete local commutative Noetherian $\mathbf{k}$-algebra with residue field $\mathbf{k}$, and which is also stable under taking syzygies. We investigate a particular non-self-injective Gorenstein algebra $Λ_0$, which is of infinite global dimension and which has exact…
We prove that the kernel of the action the group algebra of the Weyl group acting on tensor space (via restriction of the action from the general linear group) is a cell ideal with respect to the alternating Murphy basis. This provides an analogue of the second fundamental theory of invariant theory for the partition algebra over an arbitrary commutative ring and proves that the centraliser algebras of the partition algebra are cellular. We also prove similar results for the half partition algebras.
In this note we give representations for the partition algebra A_3(Q) in Young's seminormal form. For this purpose, we also give characterizations of A_n(Q) and$A_{n-1/2}(Q).
Let $\mathbf{k}$ be a field of arbitrary characteristic, let $Λ$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable finitely generated non-projective Gorenstein-projective left $Λ$-module whose stable endomorphism ring is isomorphic to $\mathbf{k}$. In this article, we prove that the universal deformation rings $R(Λ,V)$ and $R(Λ,Ω_ΛV)$ are isomorphic, where $Ω_ΛV$ denotes the first syzygy of $V$ as a left $Λ$-module. We also prove the following result. Assume that $Λ$ is Gorenstein and that $Γ$ is another Gorenstein $\mathbf{k}$-algebra such that there exists $\ell …
Let $V$ be a free module of rank $n$ over a commutative unital ring $k$. We prove that tensor space $V^{\otimes r}$ satisfies Schur--Weyl duality, regarded as a bimodule for the action of the group algebra of the Weyl group of $\mathrm{GL}(V)$ and the partition algebra $P_r(n)$ over $k$. We also prove a similar result for the half partition algebra.
Let $L$ be a Lie algebra with its enveloping algebra $U(L)$ over a field. In this paper we survey results concerning the isomorphism problem for enveloping algebras: given another Lie algebra $H$ for which $U(L)$ and $U(H)$ are isomorphic as associative algebras, can we deduce that $L$ and $H$ are isomorphic Lie algebras? Over a field of positive characteristic we consider a similar problem for restricted Lie algebras, that is, given restricted Lie algebras $L$ and $H$ for which their restricted enveloping algebras are isomorphic as algebras, can we deduce that $L$ and $H$ are isomorphic?
A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations of a finite quiver with relations. In this article we will remove the assumption that $k$ is algebraically closed to look at both perfect and non-perfect fields. We will introduce the notion of species with relations to describe the category of left modules over such algebras. If the field is not perfect, then the algebra is isomorphic to a quotient of a te…
Let $G$ be a filtered Lie conformal algebra whose associated graded conformal algebra is isomorphic to that of general conformal algebra $gc_1$. In this paper, we prove that $G\cong gc_1$ or ${\rm gr\,}gc_1$ (the associated graded conformal algebra of $gc_1$), by making use of some results on the second cohomology groups of the conformal algebra $\fg$ with coefficients in its module $M_{b,0}$ of rank 1, where $\fg=\Vir\ltimes M_{a,0}$ is the semi-direct sum of the Virasoro conformal algebra $\Vir$ with its module $M_{a,0}$. Furthermore, we prove that ${\rm gr\,}gc_1$ does not have a nontrivial…
Suppose that $Q$ is a connected quiver without oriented cycles and $σ$ is an automorphism of $Q$. Let $k$ be an algebraically closed field whose characteristic does not divide the order of the cyclic group $\langleσ\rangle$. The aim of this paper is to investigate the relationship between indecomposable $kQ$-modules and indecomposable $kQ\#k\langleσ\rangle$-modules. It has been shown by Hubery that any $kQ\#k\langleσ\rangle$-module is an isomorphically invariant $kQ$-module, i.e., ii-module (in this paper, we call it $\langleσ\rangle$-equivalent $kQ$-module), and conversely any $\langleσ\rangl…
Some features of Cayley algebras (or algebras of octonions) and their Lie algebras of derivations over fields of low characteristic are presented. More specifically, over fields of characteristic $7$, explicit embeddings of any twisted form of the Witt algebra into the simple split Lie algebra of type $G_2$ are given. Over fields of characteristic $3$, even though the Lie algebra of derivations of a Cayley algebra is not simple, it is shown that still two Cayley algebras are isomorphic if and only if their Lie algebras of derivations are isomorphic. Finally, over fields of characteristic $2$, …
We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.
Using a new presentation for partition algebras (J. Algebraic Combin. 37(3):401-454, 2013), we derive explicit combinatorial formulae for the seminormal representations of the partition algebras. These results generalise to the partition algebras the classical formulae given by Young for the symmetric group.
Let I be a finite set and CI be the algebra of functions on I. For a finite dimensional C algebra A with \CI contained in A we show that certain moduli spaces of finite dimsional modules are isomorphic to certain Grassmannian (quot-type) varieties. There is a special case of interest in representation theory. Lusztig defined two varieties related to a quiver and gave a bijection between their C-points (citation in article). Savage and Tingley raised the question (citation in article) of whether these varieties are isomorphic as algebraic varieties. This question has been open since Lusztig's o…
It is shown that an algebra $Λ$ can be lifted with nilpotent Jacobson radical $r = r(Λ)$ and has a generalized matrix unit $\{e_{ii}\}_I$ with each $\bar e_{ii} $ in the center of $\bar Λ= Λ/r$ iff $Λ$ is isomorphic to a generalized path algebra with weak relations. Representations of the generalized path algebras are given. As a corollary, $Λ$ is a finite algebra with non-zero unity element over perfect field $k$ (e.g. a field with characteristic zero or a finite field) iff $Λ$ is isomorphic to a generalized path algebra $k (D, Ω, ρ)$ of finite directed graph with weak relations and $dim {\} …
We introduce the quasi-partition algebra $QP_k(n)$ as a centralizer algebra of the symmetric group. This algebra is a subalgebra of the partition algebra and inherits many similar combinatorial properties. We construct a basis for $QP_k(n)$, give a formula for its dimension in terms of the Bell numbers, and describe a set of generators for $QP_k(n)$ as a complex algebra. In addition, we give the dimensions and indexing set of its irreducible representations. We also provide the Bratteli diagram for the tower of quasi-partition algebras (constructed by letting $k$ range over the positive intege…
A commutative algebra over a field gives rise to a representation of the category of finite sets and surjective maps. We consider the restriction of this representation to the subcategory of sets of cardinality at most $r$. For each $r$, we present two non-isomorphic algebras that give rise to isomorphic representations of this subcategory.
We construct bases of the simple modules for partition algebras which are indexed by paths in an alcove geometry. This allows us to give a concrete interpretation (and new proof) of the monotone convergence property for Kronecker coefficients using stratifications of the cell modules of the partition algebra.
We show that in ADE type the trace of Webster's categorification of a tensor product of irreducibles for the quantum group is isomorphic to a tensor product of Weyl modules for the current algebra $\dot{U}(\mathfrak{g}[t])$. This extends a result of Beliakova, Habiro, Lauda, and Webster who showed that the trace of the categorified quantum group $\dot{\mathcal{U}}^*(\mathfrak{g})$ is isomorphic to $\dot{U}(\mathfrak{g}[t])$, and the trace of a cyclotomic quotient of $\dot{\mathcal{U}}^*(\mathfrak{g})$, which categorifies a single irreducible for the quantum group, is isomorphic to a Weyl modul…
In this paper we prove the existence of isomorphisms between certain non-commutative algebras that are interesting from representation theoretic perspective and arise as quantizations of certain Poisson algebras. We show that quantizations of Kleinian resolutions obtained by three different constructions are isomorphic to each other. The constructions are via symplectic reflection algebras, quantum Hamiltonian reduction, and W-algebras. Next, we prove that parabolic W-algebras in type A are isomorphic to quantum Hamiltonian reductions associated to quivers of type A. Finally, we show that the …
