Table of Contents
Fetching ...

p-Adically convergent loci in varieties arising from periodic continued fractions

Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

TL;DR

This work develops a $p$-adic analogue of Brock–Elkies’ PCF framework by studying $p$-adically convergent periodic continued fractions with partial quotients in $\mathbb{Z}[1/p]$ through the PCF varieties $V(F)_{N,k}$. A central convergence criterion reduces convergence to finitely many $p$-adic inequalities on the periodic block, enabling explicit descriptions of the $p$-adic convergent loci for small types $(N,k)$ and linking them to quadratic and Pell-type equations. The paper provides complete classifications for types $(0,1)$, $(1,1)$, and $(0,2)$, and analyzes more delicate cases $(2,1)$, $(1,2)$, and $(0,3)$, including pure radical cases and finiteness results via generalized Pell equations and Siegel-type arguments. It further constructs explicit families of convergent $p$-adic PCFs for $d=a^2+1$ and for negative Pell settings, and presents several type $(1,3)$ examples, including $\sqrt{p^2+1}$ expansions. Overall, the results illuminate the arithmetic and geometric structure governing $p$-adic convergence of PCFs and provide concrete, computable instances connecting continued fractions, Pell theory, and Diophantine analysis in the $p$-adic context.

Abstract

Inspired by several alternative definitions of continued fraction expansions for elements in $\mathbb Q_p$, we study $p$-adically convergent periodic continued fractions with partial quotients in $\mathbb Z[1/p]$. To this end, following a previous work by Brock, Elkies, and Jordan, we consider certain algebraic varieties whose points represent formal periodic continued fractions with period and preperiod of fixed lengths, satisfying a given quadratic equation. We then focus on the $p$-adically convergent loci of these varieties, characterizing the zero and one-dimensional cases.

p-Adically convergent loci in varieties arising from periodic continued fractions

TL;DR

This work develops a -adic analogue of Brock–Elkies’ PCF framework by studying -adically convergent periodic continued fractions with partial quotients in through the PCF varieties . A central convergence criterion reduces convergence to finitely many -adic inequalities on the periodic block, enabling explicit descriptions of the -adic convergent loci for small types and linking them to quadratic and Pell-type equations. The paper provides complete classifications for types , , and , and analyzes more delicate cases , , and , including pure radical cases and finiteness results via generalized Pell equations and Siegel-type arguments. It further constructs explicit families of convergent -adic PCFs for and for negative Pell settings, and presents several type examples, including expansions. Overall, the results illuminate the arithmetic and geometric structure governing -adic convergence of PCFs and provide concrete, computable instances connecting continued fractions, Pell theory, and Diophantine analysis in the -adic context.

Abstract

Inspired by several alternative definitions of continued fraction expansions for elements in , we study -adically convergent periodic continued fractions with partial quotients in . To this end, following a previous work by Brock, Elkies, and Jordan, we consider certain algebraic varieties whose points represent formal periodic continued fractions with period and preperiod of fixed lengths, satisfying a given quadratic equation. We then focus on the -adically convergent loci of these varieties, characterizing the zero and one-dimensional cases.
Paper Structure (17 sections, 20 theorems, 100 equations, 2 tables)

This paper contains 17 sections, 20 theorems, 100 equations, 2 tables.

Key Result

Proposition 2.1

Let $\{c_n\}_{n \in \mathbb{N}}$ be any sequence of elements in $R$, and $M_n, D_n$ be defined as in eqn:MnDn. Then, for each $n\geq 1$,

Theorems & Definitions (53)

  • Proposition 2.1
  • Proposition 2.2: Proposition 2.9 BrockElkies2021
  • Remark 2.3
  • Remark 2.4
  • Proposition 2.5
  • Theorem 3.1
  • proof
  • Remark 3.2
  • Remark 3.3
  • Remark 4.1
  • ...and 43 more