Indexed metadata

p-adic Rigidity and Supercongruences at Rank Two Attractors

Yu Fu

Source record

Source: arXiv

Published: Sep 28, 2026

arXiv: 2609.36045

Open original source ↗

Source abstract

We study a pp-adic rigidity phenomenon suggested by rank two attractors. Near an ordinary special fiber of a Calabi--Yau family, the excellent Frobenius of Beukers and Vlasenko acts on the parameter disk. Achinger--Zdanowicz construct a canonical W2W_2-lift of the Frobenius twist, while Brantner--Taelman construct a canonical formal lift. We conjecture that the Dwork and Achinger--Zdanowicz first-order obstruction maps agree and that the fixed points of the excellent Frobenius are precisely the parameters of the Brantner--Taelman canonical formal lifts. Our main theorem gives a cohomological criterion in arbitrary dimension. Under its hypotheses, a Frobenius-stable rank two factor of the pp-adic cohomology containing the holomorphic class forces that class to span a Cartier-stable line and gives supercongruences modulo p2sp^{2s} for every s≥1s\geq1. Moreover, if the hypotheses of the Beukers--Vlasenko excellent lift theorem hold, then the excellent Frobenius fixes the corresponding parameter. We apply the criterion to the Hulek--Verrill A4A_4 family at t∗=−1/7t_*=-1/7, a parameter predicted to be a rank two attractor. Assuming Dummigan's Conjecture~1.1, we prove that the excellent Frobenius fixes t∗t_*, the supercongruences hold, and the fiber with parameter t∗ mod p2t_*\bmod p^2 is the Achinger--Zdanowicz canonical lift at every prime where the required Dwork ordinarity conditions are satisfied. A CM fiber of the mirror quartic K3 pencil gives a second application. We also prove that the qq-power map on a split formal torus has the unit section as its unique periodic point in the identity residue disk over every finite extension of W(Fq)[1/p]W(\mathbb{F}_q)[1/p], where qq is the cardinality of the residue field.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.

p-adic Rigidity and Supercongruences at Rank Two Attractors — Mathematical Frontier Network