Noncommutative symmetric systems over associative algebras (Q886222): Difference between revisions

This is the first in a series of papers which study noncommutative symmetric systems, or \(\mathcal{N}\)CS systems, over various objects. Let \(K\) be a commutative \(\mathbb{Q}\)-algebra with unit. A 5-tuple \((f(t),g(t),d(t),h(t),m(t))\)of invertible power series with coefficients in a unital associative \(K\)-algebra \(A\) is a \(\mathcal{N}\)CS system if \(f(0) =1\), \(f(-t) g(t) = g(t) f(-t) =1\), \(e^{d(t)} = g(t)\), and \(d/dt(g(t)) =g(t)h( t) =m(t)g(t)\). This definition is motivated by the concept of noncommutative symmetric functions (NCSFs) as first described in [\textit{I. M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V. S. Retakh}, and \textit{J.-Y. Thibon}, Adv. Math. 112, 218--348 (1995; Zbl 0831.05063)]. This work is devoted to introducing these systems; prove basic properties, for example a \(K\)-algebra map \(\mathcal{S} :B\rightarrow A\) induces a natural map between \(\mathcal{N}\)CSs over the algebras; show the connection with NCSFs via a universal \(\mathcal{N}\)CS system; and stating theorems that will be proved in the future. The connection with NCSFs is as follows. Let \(\mathcal{N}\)Sym be the free associative \(K\)-algebra generated by a set \(\Lambda\) of noncommutative free variables. Set \(\lambda(t) =1+t\Lambda_{1}+t^{2}\Lambda _{2}+\cdots.\) This induces a unique \(\mathcal{N}\)CS system \(\Pi\) with \(f(t) = \lambda(t)\) in the algebra \(\mathcal{N} \)Sym. The main theorem is that, for \(\Omega\) a \(\mathcal{N}\)CS over \(A\), there exists a unique \(K\)-algebra map \(\mathcal{S} : \mathcal{N} Sym \rightarrow A\) such that the induced map on \(\mathcal{N}\)CSs maps \(\Pi\) to \(\Omega.\) Furthermore, if \(A\) has the structure of a \(K\)-bialgebra of \(K\)-Hopf algebra, the map \(\mathcal{S}\) preserves the extra structure. The second half of the paper looks at \(\mathcal{N}\)CS systems over differential operator algebras and over the Grossman-Larson Hopf algebra of labeled root trees. The results in these sections are unproven: the rest of the series of papers promises proofs of these results.