Abstract:We introduce derivations on the algebra of multiple harmonic q-series and show that they generate linear relations among the q-series which contain the derivation relations for a q-analogue of multiple zeta values due to Bradley. As a byproduct we obtain Ohno-type relations for finite multiple harmonic q-series at a root of unity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the introduction and application of derivations on the multiple harmonic q - series algebra. Specifically, the author introduced derivations on the multiple harmonic q - series algebra and showed that these derivations can generate linear relations between q - series. These relations are a generalization of the derivation relations of q - analogues of multiple zeta values proposed by Bradley. As a by - product, the author also obtained Ohno - type relations for finite multiple harmonic q - series at roots of unity.
### Main contributions of the paper:
1. **Introduction of derivations**: The author defined a new class of derivations, which act on the multiple harmonic q - series algebra.
2. **Generation of linear relations**: Through these derivations, the author proved that they can generate linear relations between multiple harmonic q - series, and these relations are a generalization of the known derivation relations of multiple zeta values.
3. **Ohno - type relations**: As a by - product of the above construction, the author proved Ohno - type relations for finite multiple harmonic q - series at roots of unity.
### Specific content:
- **Definition of multiple harmonic q - series**: For a positive integer array \( k=(k_1,\ldots,k_r) \), the multiple harmonic q - series \( \zeta_q(k) \) is defined as:
\[
\zeta_q(k)=\sum_{m_1 > \cdots > m_r\geq1}\frac{q^{(k_1 - 1)m_1+\cdots+(k_r - 1)m_r}}{[m_1]^{k_1}\cdots[m_r]^{k_r}},
\]
where \( [m]=\frac{1 - q^m}{1 - q} \) is the q - integer.
- **Definition of derivations**: The author defined derivations \( \partial_n \) acting on the non - commutative polynomial ring \( \hat{H}_0 \), and these derivations generate linear relations between multiple harmonic q - series.
- **Ohno - type relations**: The author proved Ohno - type relations for finite multiple harmonic q - series at roots of unity, and these relations are similar to the known Ohno relations of multiple zeta values.
### Applications:
- **Generalization of multiple zeta values**: These results are applicable not only to multiple harmonic q - series, but also to other q - analogue models, such as different models proposed by Schlesinger, Ohno - Okuda - Zudilin, Okounkov and Bachmann - Kühn, etc.
- **Finite multiple harmonic q - series**: The author also explored the properties of finite multiple harmonic q - series at roots of unity, and these results are helpful for understanding the relationship between finite multiple zeta values and symmetric multiple zeta values.
In conclusion, this paper extends the derivation relations in the multiple zeta value theory by introducing new derivations and obtains new linear relations and Ohno - type relations in the q - analogue framework. These results provide new tools and perspectives for studying multiple harmonic q - series and their applications.