Novo BSD — Uma teoria espectral construtiva de curvas elípticas sobre {Q}

ResumoApresentamos *Novo BSD*, uma teoria espectral construtiva para curvas elípticas sobre Q\mathbb{Q}Q na forma curta y2=x3+Ax+By^2 = x^3 + Ax + By2=x3+Ax+B. A teoria opera em registro distinto do formalismo clássico de Birch–Swinnerton-Dyer: sem função LLL, sem posto abstrato, sem grupo de Tate–Shafarevich. Seus objetos primários são o multiset de alturas canônicas não-triviais — o *espectro* σE\sigma_EσE — e a família de retas Lx0,y0\mathcal{L}_{x_0, y_0}Lx0,y0 induzidas no plano de parâmetros (A,B)(A, B)(A,B) por pontos racionais. As contribuições principais são: (i) um teorema de dualidade ponto-reta (Teorema 5.11) que transforma a busca por pontos racionais em problema de cobertura geométrica no atlas de parâmetros; (ii) os Teoremas de Determinação via Retas (Teorema 7.6) e via Família (Teorema 7.12), que estabelecem que a estrutura enriquecida L(E)={(Lx,y,h^(x,y))}\mathcal{L}(E) = \{(\mathcal{L}_{x,y}, \hat h(x,y))\}L(E)={(Lx,y,h^(x,y))} é invariante completo de classes de isomorfismo sobre Q\mathbb{Q}Q; (iii) uma teoria analítica completa da função de partição ZEZ_EZE, incluindo fórmulas fechadas por tipagem (Teorema 7.2), cota assintótica (Teorema 7.1), desigualdade ZE(β)ZE(−β)≥ZE(0)2Z_E(\beta) Z_E(-\beta) \geq Z_E(0)^2ZE(β)ZE(−β)≥ZE(0)2 (Teorema 7.9), e identidade integral ∫0∞Varβ dβ=μE(0)\int_0^\infty \mathrm{Var}_\beta \, d\beta = \mu_E(0)∫0∞Varβdβ=μE(0) (Teorema 7.3); (iv) a função zeta espectral ζσE(s)\zeta_\sigma^E(s)ζσE(s) como objeto inteiro (Teorema 7.10), e a Identidade Mellin ∫0∞(ZE(β)−1)βs−1 dβ=Γ(s)ζσE(s)\int_0^\infty (Z_E(\beta) - 1) \beta^{s-1} \, d\beta = \Gamma(s) \zeta_\sigma^E(s)∫0∞(ZE(β)−1)βs−1dβ=Γ(s)ζσE(s) (Teorema 7.11) conectando canonicamente os registros térmico e energético; (v) o Teorema de Momentos (Teorema 7.8) identificando que ∣σE∣+1|\sigma_E| + 1∣σE∣+1 momentos determinam σE\sigma_EσE unicamente via Hausdorff; (vi) duas conjecturas empíricas fortes — complementaridade espectral e unicidade espectral até isomorfismo em Q\mathbb{Q}Q — verificadas em 2111 curvas sem contraexemplo; (vii) a observação de um fenômeno estatístico novo — distribuição não-semicircular de ap(E)a_p(E)ap(E) no atlas para ppp fixo, qualitativamente distinta de Sato–Tate clássico; (viii) hierarquia estrita de identificação ∣TE∣≺(ap)≺A(E)≺σE≺L(E)|T_E| \prec (a_p) \prec \mathcal{A}(E) \prec \sigma_E \prec \mathcal{L}(E)∣TE∣≺(ap)≺A(E)≺σE≺L(E). Uma implementação de referência acompanha o artigo no Apêndice, permitindo reprodução direta de todas as afirmações numéricas. **O programa responde construtivamente, em tempo finito e sem recurso a objetos conjecturais, às perguntas originais formuladas por Birch e Swinnerton-Dyer (1965) sobre a determinação da estrutura global dos pontos racionais de E(Q)E(\mathbb{Q})E(Q) a partir de dados locais de redução.** Palavras-chavecurvas elípticas sobre Q\mathbb{Q}Q, altura canônica de Néron–Tate, teoria espectral construtiva, espectro de alturas, função de partição, retas induzidas, zeta espectral, identidade Mellin, conjectura de Birch–Swinnerton-Dyer, hierarquia de identificação, assinatura espectral, fenômeno Sato–Tate inverso. AbstractWe present *Novo BSD*, a constructive spectral theory of elliptic curves over Q\mathbb{Q}Q in short Weierstrass form y2=x3+Ax+By^2 = x^3 + Ax + By2=x3+Ax+B. The theory operates in a register distinct from the classical Birch–Swinnerton-Dyer formalism: no LLL-function, no abstract rank, no Tate–Shafarevich group. Its primary objects are the multiset of nontrivial canonical heights — the *spectrum* σE\sigma_EσE — and the family of lines Lx0,y0\mathcal{L}_{x_0, y_0}Lx0,y0 induced in parameter space (A,B)(A, B)(A,B) by rational points. Main contributions: (i) a point-line duality theorem (Theorem 5.11) transforming the search for rational points into a geometric covering problem in the parameter atlas; (ii) the Determination via Lines (Theorem 7.6) and via Family (Theorem 7.12) Theorems, establishing that the enriched structure L(E)={(Lx,y,h^(x,y))}\mathcal{L}(E) = \{(\mathcal{L}_{x,y}, \hat h(x,y))\}L(E)={(Lx,y,h^(x,y))} is a complete invariant of isomorphism classes over Q\mathbb{Q}Q; (iii) a complete analytic theory of the partition function ZEZ_EZE, including closed-form formulas by typing (Theorem 7.2), asymptotic bound (Theorem 7.1), the inequality ZE(β)ZE(−β)≥ZE(0)2Z_E(\beta) Z_E(-\beta) \geq Z_E(0)^2ZE(β)ZE(−β)≥ZE(0)2 (Theorem 7.9), and the integral identity ∫0∞Varβ dβ=μE(0)\int_0^\infty \mathrm{Var}_\beta \, d\beta = \mu_E(0)∫0∞Varβdβ=μE(0) (Theorem 7.3); (iv) the spectral zeta function ζσE(s)\zeta_\sigma^E(s)ζσE(s) as an entire object (Theorem 7.10), and the Mellin Identity ∫0∞(ZE(β)−1)βs−1 dβ=Γ(s)ζσE(s)\int_0^\infty (Z_E(\beta) - 1) \beta^{s-1} \, d\beta = \Gamma(s) \zeta_\sigma^E(s)∫0∞(ZE(β)−1)βs−1dβ=Γ(s)ζσE(s) (Theorem 7.11) canonically connecting the thermal and energetic registers; (v) the Moment Theorem (Theorem 7.8) identifying that ∣σE∣+1|\sigma_E| + 1∣σE∣+1 moments determine σE\sigma_EσE uniquely via Hausdorff; (vi) two strong empirical conjectures — spectral complementarity and spectral uniqueness up to isomorphism over Q\mathbb{Q}Q — verified in 2111 curves without counterexample; (vii) the observation of a new statistical phenomenon — non-semicircular distribution of ap(E)a_p(E)ap(E) in the atlas for fixed ppp, qualitatively distinct from classical Sato–Tate; (viii) strict identification hierarchy ∣TE∣≺(ap)≺A(E)≺σE≺L(E)|T_E| \prec (a_p) \prec \mathcal{A}(E) \prec \sigma_E \prec \mathcal{L}(E)∣TE∣≺(ap)≺A(E)≺σE≺L(E). A reference implementation is included in the Appendix, allowing direct reproduction of every numerical claim. **The program answers constructively, in finite time and without recourse to conjectural objects, the original questions posed by Birch and Swinnerton-Dyer (1965) concerning the determination of the global structure of E(Q)E(\mathbb{Q})E(Q) from local reduction data.** Keywordselliptic curves over Q\mathbb{Q}Q, Néron–Tate canonical height, constructive spectral theory, height spectrum, partition function, induced lines, spectral zeta, Mellin identity, Birch–Swinnerton-Dyer conjecture, identification hierarchy, spectral signature, inverse Sato–Tate phenomenon. Português: Acredita que essa Teoria pode ser útil? Este trabalho foi escrito em tempo livre, sem financiamento institucional, e é oferecido gratuitamente sob licença CC BY 4.0. Se fez sentido para você e quiser apoiar novas pesquisas, sua contribuição é bem-vinda. English: Do you believe this Theory can be useful? This work was written in spare time, without institutional funding, and is offered freely under a CC BY 4.0 license. If it made sense to you and you wish to support further research, your contribution is welcome. Link: 👉 https://www.paypal.com/donate/?hosted_button_id=S6KMBHT8PWSC2