Full dualisability is independent of the generating algebra

Given a full duality based on a finite algebra M, we show how to create a full duality based on any other finite algebra N for which \mathbbISP(M) = \mathbbISP(N){\mathbb{ISP}({\bf M}) = \mathbb{ISP}({\bf N})}. So the full dualisability of a quasivariety is independent of the algebra chosen as the generator. We obtain this result by proving the corresponding result for multisorted full dualities.     

The algebra independent of boundary conditions in the ashtekar formalism

We consider the algebra of spatial diffeomorphisms and gauge transformations in the framework of the canonical formalism for general relativity in the Ashtekar and ADM variables. Modifying the Poisson bracket of fields by including surface terms in accordance with our previous proposal allows us to consider all local functionals as admissible. We show that closure of the algebra under consideration can be achieved, prior to imposing the boundary conditions, by choosing surface terms in the expressions for the generators. An essential point is that the Poisson-bracket structure in the Ashtekar formalism differs from the canonical one at the boundary. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 112, No. 1, pp. 142–160.     

The shuffle algebra on the factors of a word is free

The shuffle algebra generated by the factors of a given word is shown to be free, with transcendance degree equal to the dimension of a Lie algebra canonically associated to this word.     

Normalization of a Poisson algebra is Poisson

We prove that the normalization of a Poisson algebra is Poisson. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2009, Vol. 264, pp. 77–80. To the memory of Vasily Alekseevich Iskovskikh     

Every projective Schur algebra is Brauer equivalent to a radical abelian algebra

We prove that any projective Schur algebra over a field K isequivalent in Br(K) to a radical abelian algebra. This was conjecturedin 1995 by Sonn and the first author of this paper. As a consequence,we obtain a characterization of the projective Schur group bymeans of Galois cohomology. The conjecture was known for algebrasover fields of positive characteristic. In characteristic zerothe conjecture was known for algebras over fields with a Henselianvaluation over a local or global field of characteristic zero.     

The algebra of one-sided inverses of a polynomial algebra

We study in detail the algebra S_n in the title which is an algebra obtained from a polynomial algebra P_n in n variables by adding commuting, left (but not two-sided) inverses of the canonical generators of P_n. The algebra S_n is non-commutative and neither left nor right Noetherian but the set of its ideals satisfies the a.c.c., and the ideals commute. It is proved that the classical Krull dimension of S_n is 2n; but the weak and the global dimensions of S_n are n. The prime and maximal spectra of S_n are found, and the simple S_n-modules are classified. It is proved that the algebra S_n is central, prime, and catenary. The set I_n of idempotent ideals of S_n is found explicitly. The set I_n is a finite distributive lattice and the number of elements in the set I_n is equal to the Dedekind number d_n.     

The planar algebra associated to a Kac algebra

We obtain (two equivalent) presentations — in terms of generators and relations — of the planar algebra associated with the subfactor corresponding to (an outer action on a factor by) a finite-dimensional Kac algebra. One of the relations shows that the antipode of the Kac algebra agrees with the ‘rotation on 2-boxes’.     

The prime spectrum of the enveloping algebra of a reductive Lie algebra

Written during the author's stay at MSRI, supported by a Stipendium der Clemens Plassmann Stiftung     

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.     

The Heisenberg envelope for the Hochschild algebra of a finite-dimensional lie algebra

We consider some kind of Hopf algebra assigned to any finite-dimensional Lie algebra. This algebra was pointed out by Hochschild. We prove several statements on its embeddings into an algebra of formal power series. In particular, we obtain similar results for Lie algebras. More precisely, a Lie algebra can be embedded into a Lie algebra of special derivations with coefficients in rational functions in (quasi)polynomials.     

The algebra of generating functions for multiple divisor sums and applications to multiple zeta values

We study the algebra \({{\mathrm{{\mathcal {MD}}}}}\) of generating functions for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in \({\mathbb {Q}}\) arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra \({{\mathrm{{\mathcal {MD}}}}}\) is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in \({{\mathrm{{\mathcal {MD}}}}}\). The (quasi-)modular forms for the full modular group \({{\mathrm{SL}}}_2({\mathbb {Z}})\) constitute a subalgebra of \({{\mathrm{{\mathcal {MD}}}}}\), and this also yields linear relations in \({{\mathrm{{\mathcal {MD}}}}}\). Generating functions of multiple divisor sums can be seen as a q-analogue of multiple zeta values. Studying a certain map from this algebra into the real numbers we will derive a new explanation for relations between multiple zeta values, including those of length 2, coming from modular forms.     

The semisimple part of the algebra of derivations of a solvable Lie algebra

We describe a family of non-nilpotent solvable Lie algebras whose algebra of derivations has a prescribed semisimple Levy factor. Partially supported by project 1427 (1995) of Univ. Vigo.