Abstract:Classical polylogarithms give rise to a variation of mixed Hodge-Tate structures on the punctured projective line $S=\mathbb{P}^1\setminus \{0, 1, \infty\}$, which is an extension of the symmetric power of the Kummer variation by a trivial variation. By results of Beilinson-Deligne, Huber-Wildeshaus, and Ayoub, this polylogarithm variation has a lift to the category of mixed Tate motives over $S$, whose existence is proved by computing the corresponding space of extensions in both the motivic and the Hodge settings. In this paper, we construct the polylogarithm motive as an explicit relative cohomology motive, namely that of the complement of the hypersurface $\{1-zt_1\cdots t_n=0\}$ in affine space $\mathbb{A}^n_S$ relative to the union of the hyperplanes $\{t_i=0\}$ and $\{t_i=1\}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct an explicit relative cohomology motive, namely the polylogarithm motive. Specifically, the authors achieve the motivic interpretation of the polylogarithm function by defining specific geometric objects and their associated relative cohomology groups. This not only provides the motivic structure of the polylogarithm function in algebraic geometry, but also lays the foundation for further research on the applications of these functions in number theory and other fields.
### Core contributions of the paper
1. **Explicit construction of the polylogarithm motive**: The authors give the explicit construction of the \(n\) -th order polylogarithm motive \(L_n\), that is, as the relative cohomology motive of the specific pair \((X_n\setminus A_n, B_n\setminus A_n\cap B_n)\).
2. **Verification of the motivic structure**: It is proved that the constructed motive \(L_n\) indeed belongs to the category of mixed Tate motives \(\text{MT}(S)\), and its Hodge realization is consistent with the known polylogarithm variation \(L_H\).
3. **Inductive system**: An inductive system of the motive \(L_n\) is established through partial boundary maps, further verifying its motivic structure.
### Specific methods
1. **Geometric framework**:
- Define \(X_n = \mathbb{A}_S^n\), where \(S=\mathbb{P}^1_{\mathbb{Q}}\setminus\{0, 1, \infty\}\).
- Consider the closed subschemes \(A_n\) and \(B_n\), which are defined by the equations \(1 - zt_1\cdots t_n = 0\) and \(t_1(1 - t_1)\cdots t_n(1 - t_n)=0\) respectively.
- The polylogarithm function \(\text{Li}_n(z)\) is regarded as a period function of the relative cohomology group \(H^n(X_n\setminus A_n, B_n\setminus A_n\cap B_n)\).
2. **Motive construction**:
- The \(n\) -th order polylogarithm motive \(L_n\) is defined as the relative cohomology motive \(M(X_n\setminus A_n, B_n\setminus A_n\cap B_n)[n]\).
- A map from the motive \(L_{n - 1}\) to \(L_n\) is established through partial boundary maps, forming an inductive system.
3. **Verification of motivic properties**:
- It is proved that \(L_n\) fits into the short exact sequence \(0\to\mathbb{Q}_S(0)\to L_n\to M(A_n, A_n\cap B_n)[n - 1](- 1)\to0\).
- Through the spectral sequence calculation of motivic lifting, it is verified that \(M(A_n, A_n\cap B_n)[n - 1]\) is isomorphic to the symmetric power \(\text{Sym}^{n - 1}(K)\) of the Kummer motive.
### Conclusion
This paper successfully constructs an explicit polylogarithm motive and verifies its motivic structure. This result not only provides a solid foundation for the motivic interpretation of the polylogarithm function in algebraic geometry, but also opens up new avenues for further research on the applications of these functions in number theory and other fields.