I have heard that [Polylogarithms](http://en.wikipedia.org/wiki/Polylogarithm) are very interesting things. The wikipedia page shows a lot of interesting identities. These functions are indeed supposed to have caught the attention of Ramanujan. Moreover, they seem to be important in physics for various purposes like Bose-Einstein integrals, which I am not really knowledgeable enough to understand. These are all things I have heard from people after I queried "why polylogarithms are interesting".


So this function


$$Li\_s (z) = \sum\_{k=1}^\infty \frac{z^k}{k^s}$$


is very interesting and has a lot of useful properties as I can see. Especially for integral values of $s$.


What is bothering me is the following.


Let $f(z) = \sum a\_n z^n$ be analytic inside the unit disc. That is, the radius of convergence at least $1$. For simplicity, we assume it is $1$, i.e.,


$$r = \frac{1}{\limsup\_{n\rightarrow\infty}\sqrt[n]{|a\_n|}} = 1$$


implying that inside the unit disc, term-by-term differentiation and integration are possible. Since $\left( a\_n \right)^{1/n}$ goes to $1$ as $n$ goes to $\infty$, it is also true that $\left(na\_n \right)^{1/n}$ goes to $1$. Similarly, $\left(\frac{a\_n}{n} \right)^{1/n}$ also goes to $1$. Now, defining 


$$f(z,s) = \sum\_{n=1}^\infty \frac{a\_n z^n}{n^s}$$


it is the case that $f\_{2}(z) = f(z,2)$ and in general iterating, $f\_n(z) = f(z, n)$ are analytic inside the unit disc. In fact, uniform bounds hold true for compact sets contained in the domain $|z| \leq 1$ and $|s| \leq K$ for arbitrary $K$, and so $f(z,s)$ is analytic in the domain $D^\circ \times \mathbb C$, where $z \in D^\circ$, the open unit disc, and $s \in \mathbb C$.


So any analytic function in the unit disc can be extended just like the logarithm is extended to polylogarithms. But there is a rich theory about polylogarithms, and I haven't heard of any such theories about other functions analytic inside the unit disc.


So, what makes polylogarithm so amenable to an extended theory of polylogarithms yielding so many results? Why is this not giving such an interesting theory for just any other complex functions?



What is special about polylogarithms that leads to so many interesting identities and applications?
The reason why polylogarithm are so important/interesting/ubiquitous is they are the simplest non trivial examples of analytical functions underlying variations of mixed Hodge structure. This goes back to Beilinson and Deligne. 


A variation of mixed Hodge structure is a very sophisticated gadget. You can think of it as 


1. a nice differential equation (the underlying connexion)
2. its solutions (the underlying local system of horizontal sections) with a $\mathbb{Q}$-structure
3. some additional data that make the structure very rigid.


Typical examples of VMHS on $X$ come from the cohomology of families of varieties parametrized by $X$. They can be used to encode the interaction between between topological and arithmetical properties of $X$. 


For example, there is a rank 2 variation of mixed Hodge structure $K \in Ext^1\_{VMHS(\mathbb{C}^\times)}(\mathbb{Q},\mathbb{Q}(1))$ over $\mathbb{C}^\times$ known as the Kummer sheaf. The underlying local system $K\_{\mathbb{Q}}$ has fiber $H\_1(\mathbb{C}^\times,\{1,z\};\mathbb{Q})$ at $z$. The underlying connexion is a trivial vector bundle of rank 2 with nilpotent connexion
$$
 \nabla = d - 
 \begin{pmatrix} 0 & 0 \cr % 
 \frac{dt}{t} & 0 
 \end{pmatrix}
$$
The "periods" are obtained by integrating the coefficient of the matrix over the paths $\gamma \in H\_1(\mathbb{C}^\times,\{1,z\};\mathbb{Q})$. So we get a the non trivial period by integrating $\frac{dt}{t}$ over paths $[1,z]$, i.e. we get determinations of $\log(z)$. Conclusion: we have an object $K$ in $VMHS(\mathbb{C}^\times)$ "categorizing" the classical logarithm function. On the arithmetic side, the transcendance of $\log(z)$ for generic $z$ mirrors the fact that $H\_1(\mathbb{C}^\times) = \mathbb{Z}$.


The same can be done for polylogarithm functions. The Logarithmic sheaf is the symmetric algebra $Log := Sym(K)$ (it corresponds to the whole family of $\log^n(z)$, $n\in \mathbb{N}$). The Polylogarithm sheaf is a canonical extension $Pol$ of $\mathbb{Q}$ by the restriction of $Log(1)$ to $\mathbb{P}^1\setminus \{0,1,\infty\}$. Its periods encodes the monodromy of the polylogarithm functions in the same way the Kummer sheaf does for the logarithm function. These are the most elementary unipotent variations of mixed Hodge structures. 


Now we have "categorized" the classical polylogarithm functions. In fact, this can actually be done on a more fundamental level using only algebraic cycles defined over $\mathbb{Z}$ (this is the motivic story, the variation of mixed Hodge structure being just a realization of the motivic object). This has very interisting arithmetic consequences. For example, specializing to 1, this implies that we have motivic cohomology classes in $H^1(\mathbb{Z},\mathbb{Q}(n))$ whose images under the Hodge regulator corresponds to $\zeta(n)$. Using this picture, the period conjecture then implies that the $\zeta(2n+1)$ are algebraicly independent over $\mathbb{Q}$. To give you an idea of how powerful this intuition is: we can't even prove $\zeta(5)$ is irrational! 


In conclusion, the polylogarithm functions are interesting because they correspond to non trivial algebraic cycles. This leads to interactions between the analytical properties of the functions, arithmetics of special values and algebraic geometry. Lots of classical functions should have similar interpretations. For example, there is a similar picture for Euler's Beta and Gamma functions. 


