The ideals of free differential algebras (Q1969378): Difference between revisions

Let \(\mathcal B\) denote the unital \(\mathbb{C}\)-algebra freely generated by \(\xi_1,\ldots,\xi_N\), with its natural grading, \(\mathcal B=\bigoplus_{n\geq 0}\mathcal B(n)\). Further, let \(q=\{q_{ij}\}\), \(1\leq i,j\leq N\), be an \(N^2\)-tuple of complex constants and \(\partial_1,\ldots,\partial_N\) be the set of of linear, \(q\)-differential operators \(\partial_i:\mathcal B(n)\to\mathcal B(n-1)\) defined by \(\partial_i(\xi_j x)=\delta_{ij}x+q_{ij}\xi_j\partial_i x\), \(\forall x\in\mathcal B\). Let \(\mathcal B_q\) denote the algebra \(\mathcal B\) endowed with this \(q\)-differential structure. By definition, a constant in \(\mathcal B_q\) is any nonzero element \(C\) such that \(\partial_i C=0\), \(i=1,\ldots,N\). The authors prove that there are no constants for \(q\) in general position. The subset of the parameter space formed by exceptional values of \(q\) for which constants exist is determined by polynomial equations. Let \(\mathcal I_q\) denote the ideal generated by the constants. The quotient algebras \(\mathcal B_q'=\mathcal B_q/\mathcal I_q\) are related to Yang-Baxter algebras and particularly they can be viewed as generalizations of quantized Kac-Moody algebras. Integrability conditions for \(q\)-differential equations are related to Hochschild cohomology. The action of \(\mathcal B_q'\) on \(\mathcal B_q'\) is defined via a homomorphism that sends \(\xi_i\) to \(\partial_i\), \(i=1,\ldots,N\). It is shown that \(H^p(\mathcal B_q',\mathcal B_q')=0\) for \(p\geq 1\). The final part of the paper contains some partial classification results.