Formal groups and unipotent affine groups in non-categorical symmetry (Q2466503)

Let \(k\) be a field of characteristic 0. It is well-known that there are equivalences between the categories of formal groups and of finite-dimensional Lie algebras, respectively of unipotent algebraic affine groups and of finite-dimensional nilpotent Lie algebras [see for example \textit{J.-P. Serre}, Lie algebras and Lie groups. Lect. Notes Math. 1500. (Berlin) etc.: Springer-Verlag. (1992; Zbl 0742.17008); \textit{M. Demazure} and \textit{P. Gabriel}, Groupes algébriques. Tome I: Géométrie algébrique. Généralités. Groupes commutatifs. Avec un appendice `Corps de classes local' par Michiel Hazewinkel. Paris: Masson et Cie, Ëditeur; (Amsterdam): North-Holland Publishing Company. (1970; Zbl 0203.23401); \textit{G. Hochschild}, Basic theory of algebraic groups and Lie algebras. Grad. Texts Math. 75. New York-Heidelberg-Berlin: Springer-Verlag. (1981; Zbl 0589.20025)]. The purpose of this paper is to establish analogous equivalences in the context of \(\tau\)-spaces. Here by a \(\tau\)-space the author means a vector space \(V\) provided with a solution \(\tau: V\otimes V \to V\otimes V\) of the braid equation; it is further assumed that \(\tau^2 =\text{ id}\), i. e. it is a symmetry. Usually, braided vector spaces arise as objects of a braided category embedded in the category of vector spaces; the non-categorical approach followed here, advocated in [\textit{D. Gurevich}, Sov. J. Contemp. Math. Anal., Arm. Acad. Sci. 18, No. 4, 57--70 (1984); translation from Izv. Akad. Nauk Arm. SSR, Mat. 18, No. 4, 305--317 (1983; Zbl 0546.22010)] and [\textit{M. Takeuchi}, Contemp. Math. 267, 301--323 (2000; Zbl 0978.16035)], presents some technical advantages due to its flexibility. In this same context, \textit{V. K. Kharchenko} [J. Algebra 307, No. 1, 24--48 (2007; Zbl 1115.16021)] has proved recently that the universal envelope provides an equivalence between the categories of \(\tau\)-Lie algebras and of irreducible \(\tau\)-cocommutative Hopf algebras. The main result of the present paper are the category equivalences \[ \big(\text{complete \(\tau\)-commutative Hopf algebras}\big) \approx \big(\text{\(\tau\)-Lie coalgebras}\big) \] and \[ \big(\text{irreducible \(\tau\)-commutative Hopf algebras}\big) \approx \big(\text{locally nilpotent \(\tau\)-Lie coalgebras}\big). \] In this formulation, the author removes finiteness restrictions by appealing to Hopf algebras and coalgebras.