Valuation Separation for Coprime Lucas Products
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910252413222912 |
|---|---|
| author | Kym, Dongyeon |
| author_facet | Kym, Dongyeon |
| contents | Let $U_n=U_n(P,Q)$ be a nondegenerate Lucas sequence with $Q=\pm 1$ and discriminant $Δ=P^2+4Q>0$. We study Diophantine equations \[ A y^k=\prod_{i=1}^r U_{n_i}(P,Q), \qquad k\geq 2, \] where the indices $n_1,\ldots,n_r$ are pairwise coprime. The strong divisibility property implies that the factors $U_{n_i}$ are pairwise coprime, and hence a global $k$-th power condition separates into local valuation conditions on the individual factors. For $k=2$, this gives a termwise square-class restriction: each $U_{n_i}$ has signed squarefree part supported on the primes dividing $A$. In particular, the equation $Δy^2=U_mU_n$, with $\gcd(m,n)=1$, reduces to a finite square-class compatibility condition together with an integrality condition. Assuming the number-field $abc$ conjecture over $\mathbb Q(\sqrtΔ)$, we prove that only finitely many Lucas terms have squarefree part supported on a fixed finite set of rational primes. Consequently, the coprime product equations above admit an $abc$-conditional finite reduction. We also give the corresponding $k$-th power analogue and a primitive-divisor obstruction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_24909 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Valuation Separation for Coprime Lucas Products Kym, Dongyeon Number Theory Primary 11B39, Secondary 11B37, 11D61 Let $U_n=U_n(P,Q)$ be a nondegenerate Lucas sequence with $Q=\pm 1$ and discriminant $Δ=P^2+4Q>0$. We study Diophantine equations \[ A y^k=\prod_{i=1}^r U_{n_i}(P,Q), \qquad k\geq 2, \] where the indices $n_1,\ldots,n_r$ are pairwise coprime. The strong divisibility property implies that the factors $U_{n_i}$ are pairwise coprime, and hence a global $k$-th power condition separates into local valuation conditions on the individual factors. For $k=2$, this gives a termwise square-class restriction: each $U_{n_i}$ has signed squarefree part supported on the primes dividing $A$. In particular, the equation $Δy^2=U_mU_n$, with $\gcd(m,n)=1$, reduces to a finite square-class compatibility condition together with an integrality condition. Assuming the number-field $abc$ conjecture over $\mathbb Q(\sqrtΔ)$, we prove that only finitely many Lucas terms have squarefree part supported on a fixed finite set of rational primes. Consequently, the coprime product equations above admit an $abc$-conditional finite reduction. We also give the corresponding $k$-th power analogue and a primitive-divisor obstruction. |
| title | Valuation Separation for Coprime Lucas Products |
| topic | Number Theory Primary 11B39, Secondary 11B37, 11D61 |
| url | https://arxiv.org/abs/2605.24909 |