We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Let $W_{\unicode[STIX]{x1D70B}}$ be the lattice Lie algebra of Witt type associated with an additive inclusion $\unicode[STIX]{x1D70B}:\mathbb{Z}^{N}{\hookrightarrow}\mathbb{C}^{2}$ with $N>1$. In this article, the classification of simple $\mathbb{Z}^{N}$-graded $W_{\unicode[STIX]{x1D70B}}$-modules, whose multiplicities are uniformly bounded, is given.
The first fundamental theorem of invariant theory for the orthosymplectic supergroup scheme $\text{OSp}(m|2n)$ states that there is a full functor from the Brauer category with parameter $m-2n$ to the category of tensor representations of $\text{OSp}(m|2n)$. This has recently been proved using algebraic supergeometry to relate the problem to the invariant theory of the general linear supergroup. In this work, we use the same circle of ideas to prove the second fundamental theorem for the orthosymplectic supergroup. Specifically, we give a linear description of the kernel of the surjective homomorphism from the Brauer algebra to endomorphisms of tensor space, which commute with the orthosymplectic supergroup. The main result has a clear and succinct formulation in terms of Brauer diagrams. Our proof includes, as special cases, new proofs of the corresponding second fundamental theorems for the classical orthogonal and symplectic groups, as well as their quantum analogues, which are independent of the Capelli identities. The results of this paper have led to the result that the map from the Brauer algebra ${\mathcal{B}}_{r}(m-2n)$ to endomorphisms of $V^{\otimes r}$ is an isomorphism if and only if $r<(m+1)(n+1)$.
Let D be a unital associative division ring and D[t, σ, δ] be a skew polynomial ring, where σ is an endomorphism of D and δ a left σ-derivation. For each f ϵ D[t, σ, δ] of degree m > 1 with a unit as leading coefficient, there exists a unital nonassociative algebra whose behaviour reflects the properties of f. These algebras yield canonical examples of right division algebras when f is irreducible. The structure of their right nucleus depends on the choice of f. In the classical literature, this nucleus appears as the eigenspace of f and is used to investigate the irreducible factors of f. We give necessary and sufficient criteria for skew polynomials of low degree to be irreducible. These yield examples of new division algebras Sf.
The cup product in the cohomology of algebras over quadratic operads has been studied in the general setting of Koszul duality for operads. We study the cup product on the cohomology of n-ary totally associative algebras with an operation of even (homological) degree. This cup product endows the cohomology with the structure of an n-ary partially associative algebra with an operation of even or odd degree depending on the parity of n. In the cases n=3 and n=4, we provide an explicit definition of this cup product and prove its basic properties.
We prove duality isomorphisms of certain representations of ${\mathcal{W}}$-algebras which play an essential role in the quantum geometric Langlands program and some related results.
In this paper we study consequences of the results of Kang et al. [Monoidal categorification of cluster algebras, J. Amer. Math. Soc. 31 (2018), 349–426] on a monoidal categorification of the unipotent quantum coordinate ring $A_{q}(\mathfrak{n}(w))$ together with the Laurent phenomenon of cluster algebras. We show that if a simple module $S$ in the category ${\mathcal{C}}_{w}$ strongly commutes with all the cluster variables in a cluster $[\mathscr{C}]$, then $[S]$ is a cluster monomial in $[\mathscr{C}]$. If $S$ strongly commutes with cluster variables except for exactly one cluster variable $[M_{k}]$, then $[S]$ is either a cluster monomial in $[\mathscr{C}]$ or a cluster monomial in $\unicode[STIX]{x1D707}_{k}([\mathscr{C}])$. We give a new proof of the fact that the upper global basis is a common triangular basis (in the sense of Qin [Triangular bases in quantum cluster algebras and monoidal categorification conjectures, Duke Math. 166 (2017), 2337–2442]) of the localization $\widetilde{A}_{q}(\mathfrak{n}(w))$ of $A_{q}(\mathfrak{n}(w))$ at the frozen variables. A characterization on the commutativity of a simple module $S$ with cluster variables in a cluster $[\mathscr{C}]$ is given in terms of the denominator vector of $[S]$ with respect to the cluster $[\mathscr{C}]$.
We construct a cycle in higher Hochschild homology associated to the two-dimensional torus which represents 2-holonomy of a nonabelian gerbe in the same way as the ordinary holonomy of a principal G-bundle gives rise to a cycle in ordinary Hochschild homology. This is done using the connection 1-form of Baez–Schreiber. A crucial ingredient in our work is the possibility to arrange that in the structure crossed module $\unicode[STIX]{x1D707}:\mathfrak{h}\rightarrow \mathfrak{g}$ of the principal 2-bundle, the Lie algebra $\mathfrak{h}$ is abelian, up to equivalence of crossed modules.
Let 𝔟 be the Borel subalgebra of the Lie algebra 𝔰𝔩2 and V2 be the simple two-dimensional 𝔰𝔩2-module. For the universal enveloping algebra $\[{\cal A}: = U(\gb \ltimes {V_2})\]$ of the semi-direct product 𝔟⋉V2 of Lie algebras, the prime, primitive and maximal spectra are classified. Please approve edit to the sentence “The sets of completely prime…”.The sets of completely prime ideals of $\[{\cal A}\]$ are described. The simple unfaithful $\[{\cal A}\]$-modules are classified and an explicit description of all prime factor algebras of $\[{\cal A}\]$ is given. The following classes of simple U(𝔟⋉V2)-modules are classified: the Whittaker modules, the 𝕂[X]-torsion modules and the 𝕂[E]-torsion modules.
Let $\mathfrak{g}=\mathfrak{g}\mathfrak{l}_{N}(\Bbbk )$, where $\Bbbk$ is an algebraically closed field of characteristic $p>0$, and $N\in \mathbb{Z}_{{\geqslant}1}$. Let $\unicode[STIX]{x1D712}\in \mathfrak{g}^{\ast }$ and denote by $U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$ the corresponding reduced enveloping algebra. The Kac–Weisfeiler conjecture, which was proved by Premet, asserts that any finite-dimensional $U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$-module has dimension divisible by $p^{d_{\unicode[STIX]{x1D712}}}$, where $d_{\unicode[STIX]{x1D712}}$ is half the dimension of the coadjoint orbit of $\unicode[STIX]{x1D712}$. Our main theorem gives a classification of $U_{\unicode[STIX]{x1D712}}(\mathfrak{g})$-modules of dimension $p^{d_{\unicode[STIX]{x1D712}}}$. As a consequence, we deduce that they are all parabolically induced from a one-dimensional module for $U_{0}(\mathfrak{h})$ for a certain Levi subalgebra $\mathfrak{h}$ of $\mathfrak{g}$; we view this as a modular analogue of Mœglin’s theorem on completely primitive ideals in $U(\mathfrak{g}\mathfrak{l}_{N}(\mathbb{C}))$. To obtain these results, we reduce to the case where $\unicode[STIX]{x1D712}$ is nilpotent, and then classify the one-dimensional modules for the corresponding restricted $W$-algebra.
The purpose of this paper is to define an α-type cohomology, which we call α-type Chevalley–Eilenberg cohomology, for Hom-Lie algebras. We relate it to the known Chevalley–Eilenberg cohomology and provide explicit computations for some examples. Moreover, using this cohomology, we study formal deformations of Hom-Lie algebras, where the bracket as well as the structure map α are deformed. Furthermore, we provide a generalization of the grand crochet and study, in a particular case, the α-type cohomology for Hom-Lie bialgebras.
Let F be a field of characteristic different of 2 and let M1|1(F)(+) denote the Jordan superalgebra of 2 × 2 matrices over the field F. The aim of this paper is to classify irreducible (unital and one-sided) Jordan bimodules over the Jordan superalgebra M1|1(F)(+).
The category of Cohen–Macaulay modules of an algebra $B_{k,n}$ is used in Jensen et al. (A categorification of Grassmannian cluster algebras, Proc. Lond. Math. Soc. (3) 113(2) (2016), 185–212) to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander–Reiten sequences and study the Auslander–Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen–Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the associated Kac–Moody algebra in the tame cases.
The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We describe these polynomial operations in two different ways: one way uses invariant elements under the action of the symmetric group and the other coinvariant elements. Our results are then applied to the case of level algebras, which are (non-associative) commutative algebras satisfying the exchange law.
We give a new and useful approach to study the representations of symmetric Leibniz algebras. Using this approach, we obtain some results on the representations of these algebras.
The exceptional simple Lie algebras of types E7 and E8 are endowed with optimal
$\mathsf{SL}_2^n$
-structures, and are thus described in terms of the corresponding coordinate algebras. These are nonassociative algebras which much resemble the so-called code algebras.
In this note we consider parabolic subroot systems of a complex simple Lie Algebra. We describe root theoretic data of the subroot systems in terms of that of the root system and we give a selection of applications of our results to the study of generalized flag manifolds.
This work studies slice functions over finite-dimensional division algebras. Their zero sets are studied in detail along with their multiplicative inverses, for which some unexpected phenomena are discovered. The results are applied to prove some useful properties of the subclass of slice regular functions, previously known only over quaternions. Firstly, they are applied to derive from the maximum modulus principle a version of the minimum modulus principle, which is in turn applied to prove the open mapping theorem. Secondly, they are applied to prove, in the context of the classification of singularities, the counterpart of the Casorati-Weierstrass theorem.
We introduce the oriented Brauer–Clifford and degenerate affine oriented Brauer–Clifford supercategories. These are diagrammatically defined monoidal supercategories that provide combinatorial models for certain natural monoidal supercategories of supermodules and endosuperfunctors, respectively, for the Lie superalgebras of type Q. Our main results are basis theorems for these diagram supercategories. We also discuss connections and applications to the representation theory of the Lie superalgebra of type Q.
We prove that if $\mathfrak{s}$ is a solvable Lie algebra of matrices over a field of characteristic 0 and $A\in \mathfrak{s}$, then the semisimple and nilpotent summands of the Jordan–Chevalley decomposition of $A$ belong to $\mathfrak{s}$ if and only if there exist $S,N\in \mathfrak{s}$, $S$ is semisimple, $N$ is nilpotent (not necessarily $[S,N]=0$) such that $A=S+N$.