Abstract:Using the properties of generalized Fibonacci numbers, we determine the automorphism groups of some K3 surfaces with Picard number 2. Conversely, using the automorphisms of K3 surfaces with Picard number 2, we prove the criterion for a given integer n is to be a generalized Fibonacci number. Moreover, we show that the generalized k-th Fibonacci number divides the generalized q-th Fibonacci number if and only if k divides q.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Determining the automorphism groups of some K3 surfaces with Picard number 2**: By using the properties of generalized Fibonacci numbers, the author determines the automorphism groups of K3 surfaces with certain Picard lattices. Specifically, for the K3 surface \(X\) with the specific intersection matrix \(L_m(a)\), the author studies the symmetric and antisymmetric automorphisms on these surfaces and gives the forms of the actions of these automorphisms on the Néron - Severi lattice.
2. **Proving the criteria regarding generalized Fibonacci numbers**: Through the automorphism properties of K3 surfaces, the author proves a criterion for an integer \(n\) to be a generalized Fibonacci number. In addition, it is also proved that the generalized \(k\)-th Fibonacci number divides the generalized \(q\)-th Fibonacci number if and only if \(k\) divides \(q\).
### Specific problem analysis
#### 1. Determining the automorphism group
- **Symmetric automorphism**: If \(n\) is even and \(m\) divides \(a_n\), then the K3 surface \(X\) has a symmetric automorphism \(g\) such that \(g^*|_{NS(X)}=(AB)^n\). Further, if \(5\nmid n\) and \(n\) is the smallest, then \(\text{Aut}(X)=\langle g\rangle\), that is, \(g\) is a generator, and its characteristic polynomial is \(g^*|_{H^2(X,\mathbb{Z})}=S(x)(x - 1)^{20}\), where \(S(x)\) is the characteristic polynomial of \((AB)^n\).
- **Antisymmetric automorphism**: If \(n\) is odd and \(m\) divides \(a_n\), then the K3 surface \(X\) has an antisymmetric automorphism \(g\) such that \(g^*|_{NS(X)}=(AB)^n\). Further, if \(5\nmid n\) and \(n\) is the smallest, then \(\text{Aut}(X)=\langle g\rangle\), that is, \(g\) is a generator, and its characteristic polynomial is \(g^*|_{H^2(X,\mathbb{Z})}=S(x)(x + 1)^{20}\), where \(S(x)\) is the characteristic polynomial of \((AB)^n\).
#### 2. Criteria for generalized Fibonacci numbers
- **Judgment of generalized Fibonacci numbers**: An integer \(n\) is the \(k\)-th generalized Fibonacci number \(a_k\) and \(k\) is even (or odd) if and only if \((a^2 + 4)n^2+4\) (or \((a^2 + 4)n^2 - 4\)) is a perfect square.
- **Divisibility of generalized Fibonacci numbers**: For positive integers \(k < q\):
- \(a_k\) and \(a_{k + 1}\) are coprime, that is, \(\gcd(a_k,a_{k+1}) = 1\).
- If \(a_k\) divides \(a_q\), then \(a_k\) divides \(a_{q - k}\).
- \(k\) divides \(q\) if and only if \(a_k\) divides \(a_q\).
### Conclusion
Through these studies, the author not only deepens the understanding of the automorphisms of K3 surfaces but also provides a new method to deal with the properties of generalized Fibonacci numbers, especially their applications in algebraic geometry.