Abstract:The notion of strong Frobenius structure is classically studied in the theory of $p$-adic differential operators. In the present work, we introduce a new definition of the notion of strong Frobenius structure for $q$-difference operators. The relevance of this definition is supported by two main results. The first one deals with \emph{confluence}. We show that if the $q$-difference operator $L_q$ has a strong Frobenius structure for a prime $p$ with period $h$ and if $L$ is the $p$-adic differential operator obtained from $L_q$ by letting $q$ tend to 1, then $L$ has a strong Frobenius structure for $p$ with period $h$. The second one deals with congruence modulo cyclotomic polynomials. We show that if $f(q,z)\in\mathbb{Z}[q][[z]]$ is a solution of a $q$-difference operator having strong Frobenius structure for $p$ then $f(q,z)$ satisfies some congruences modulo the $p$-th cyclotomic polynomial. Another definition of strong Frobenius structures associated with $q$-difference operators has been introduced by André and Di Vizio and we also point out why their definition is not suitable for our applications: confluence and congruence modulo cyclotomic polynomials. Finally, we show that some $q$-hypergeometric operators of order 1 have a strong Frobenius strong for infinitely many primes numbers.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
The main objective of this paper is to introduce and study a new definition of strong Frobenius structures related to q - difference operators. Specifically, the author attempts to solve the following two key problems:
1. **Confluence**:
- If a q - difference operator \(L_q\) has a strong Frobenius structure with period \(h\) for a prime number \(p\), and when \(q\) approaches 1, does the resulting p - adic differential operator \(L\) also have a strong Frobenius structure with period \(h\)?
- The importance of this problem lies in understanding the relationship between q - difference equations and classical differential equations.
2. **Congruence modulo cyclotomic polynomials**:
- If \(f(q,z)\in\mathbb{Z}[q][[z]]\) is a solution of a q - difference operator with a strong Frobenius structure, does \(f(q,z)\) satisfy certain congruence relations with respect to the \(p\)-th cyclotomic polynomial?
- This problem involves the behavior of q - series under modulo cyclotomic polynomials and helps to further explore the algebraic independence of q - series.
### Core contributions of the paper
The paper answers the above questions by introducing a new definition of strong Frobenius structures and proving two main results:
- **Theorem 1.2**: If the q - difference operator \(L_q\) has a strong Frobenius structure with period \(h\) in \(EZ,q,p[\delta_q]\), then the p - adic differential operator \(ev(L_q)\) obtained by specializing \(q\rightarrow1\) also has a strong Frobenius structure with period \(h\) in \(E_p[\delta]\).
- **Theorem 1.3**: If the q - difference operator \(L_q\) has a strong Frobenius structure with period \(h\) in \(EZ,q,p[\sigma_q]\), and \(f(q,z)\in Z_{q,p}[[z]]\) is a solution of \(L_q\), then there exist some polynomials \(d_0(q,z),\ldots,d_{n^2}(q,z)\in\vartheta\text{Frac}(Z_{q,p})[[z]]\) such that these polynomials are not all zero modulo \(\varphi_p(q)\), and satisfy:
\[
\sum_{i = 0}^{n^2}d_i(q,z)F_q^i(f(q,z))\equiv0\mod\varphi_p(q)\vartheta\text{Frac}(Z_{q,p})[[z]]
\]
These two theorems not only solve the above two problems but also provide a theoretical basis for further research on q - difference equations. In addition, the paper also discusses why the previous definitions of strong Frobenius structures proposed by André and Di Vizio are not suitable for the application of these problems.