This work investigate the simultaneous vanishing of Frobenius traces ๐p(๐ธ) = 0, ๐๐+2(๐ธ) = 0, forelliptic curves ๐ธ/โ and twin primes ๐, ๐ + 2. Extensive computation suggests that such coincidences are veryrare for non-CM curves and impossible for CM curves due to modular-congruence obstructions. It wasformalizated this phenomenon by introducing the notion of a Frobenius-double-annihilating twin prime (FDpair)for a curve ๐ธ. The experiments up to ๐ < 5000 identify exactly one such pair for a simple non-CM family,namely (๐, ๐ + 2) = (17,19) for curves ๐ธ: ๐ฆ2 = ๐ฅ3 + A(p)๐ฅ + B(p). The work then propose several conjecturesabout the structural uniqueness, finiteness, and Hecke-theoretic characterization of FD-pairs, and suggest a newproposal to use this possible invariant in a criptography application.
Rodolfo Carneiro Moroz (2026) studied this question.