A remark on nilpotent polylogarithmic extensions of the field of rational functions of one variable over \(\mathbb C\) (Q932984)

The author explicitly constructs a family of nilpotent polylogarithmic extensions unramified outside three points of the field \({\mathbb C}(z)\) of rational functions of one variable over \(\mathbb C\). For this, he calculates the Galois group of some special extension \(K_2^{(n,m)}\) of \({\mathbb C}(z)\) over \({\mathbb C}(z)\). More precisely, let \(l\) be a prime number, \(a,b \in {\mathbb P}^{1}({\mathbb C}) \setminus \{\infty\}\). Then, in his notation, \(K_1^{(n)}={\mathbb C}(z)((z-a)^{1/l^n})\) and \(K_2^{(n,m)}=K_1^{(n)}(((b-a)^{1/l^n}-e^{2\pi i j/l^n}(z-a)^{1/l^n})^{1/l^m})\), \(0 \leq j <l^n\). He also studies nilpotent polylogarithmic quotients of a free group on two generators.