The adjoint representation inside the exterior algebra of a simple Lie algebra

For a simple complex Lie algebra g$\mathfrak{g}$ we study the space of invariants A=(?g^?⊗g^?)^g$A={(?{\mathfrak{g}}^{?}\otimes {\mathfrak{g}}^{?})}^{\mathfrak{g}}$, which describes the isotypic component of type g$\mathfrak{g}$ in ?g^?$?{\mathfrak{g}}^{?}$, as a module over the algebra of invariants (?g^?)^g${(?{\mathfrak{g}}^{?})}^{\mathfrak{g}}$. As main result we prove that A   is a free module, of rank twice the rank of g$\mathfrak{g}$, over the exterior algebra generated by all primitive invariants in (?g^?)^g${(?{\mathfrak{g}}^{?})}^{\mathfrak{g}}$, with the exception of the one of highest degree.     

Quantizations of Kac–Moody algebras

We analyze the extent to which a quantum universal enveloping algebra of a Kac–Moody algebra g$\mathfrak{g}$ is defined by multidegrees of its defining relations. To this end, we consider a class of character Hopf algebras defined by the same number of defining relations of the same degrees as the Kac–Moody algebra g$\mathfrak{g}$. We demonstrate that if the generalized Cartan matrix A$A$ of g$\mathfrak{g}$ is connected then the algebraic structure, up to a finite number of exceptional cases, is defined by just one “continuous” parameter q$q$ related to a symmetrization of A$A$, and one “discrete” parameter m$\mathfrak{m}$ related to the modular symmetrizations of A$A$. The Hopf algebra structure is defined by n(n−1)/2$n(n-1)/2$ additional “continuous” parameters. We also consider the exceptional cases for Cartan matrices of finite or affine types in more detail, establishing the number of exceptional parameter values in terms of the Fibonacci sequence.     

Computing residue currents of monomial ideals using comparison formulas

Given a free resolution of an ideal a$\mathfrak{a}$ of holomorphic functions, one can construct a vector-valued residue current R  , which coincides with the classical Coleff–Herrera product if a$\mathfrak{a}$ is a complete intersection ideal and whose annihilator ideal is precisely a$\mathfrak{a}$.     

Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.     

Factoriality for the reductive Zassenhaus variety and quantum enveloping algebra

Let U(g)$U(\mathfrak{g})$ be the enveloping algebra of a finite dimensional reductive Lie algebra g$\mathfrak{g}$ over an algebraically closed field of prime characteristic. Let _U?,P(s:)$U_{?,P}(\mathfrak{s}:)$ be the simply connected quantum enveloping algebra at the root of unity ?  , of a complex semi-simple finite dimensional Lie algebra s:$\mathfrak{s}:$. We show, by similar proofs, that the centers of both are factorial. While the first result was established by R. Tange [32] (by different methods), the second one confirms a conjecture in [4]. We also provide a general criterion for the factoriality of the centers of enveloping algebras in prime characteristic.     

Meixner polynomials in several variables satisfying bispectral difference equations

We construct a set _Md${\mathfrak{M}}_d$ whose points parametrize families of Meixner polynomials in d   variables. There is a natural bispectral involution b$\mathfrak{b}$ on _Md${\mathfrak{M}}_d$ which corresponds to a symmetry between the variables and the degree indices of the polynomials. We define two sets of d   commuting partial difference operators diagonalized by the polynomials. One of the sets consists of difference operators acting on the variables of the polynomials and the other one on their degree indices, thus proving their bispectrality. The two sets of partial difference operators are naturally connected via the involution b$\mathfrak{b}$.