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

ResumoApresentamos *Novo BSD*, uma teoria espectral construtiva para curvas elípticas sobre QQQ na forma curta y2=x3+Ax+By² = x³ + 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* σEEσE — e a família de retas Lx0, y0Lₗ䃐, ₘ䃐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) ) L (E) = \ (Lₗ, ₘ, h (x, y) ) \L (E) = (Lx, y, h^ (x, y) ) é invariante completo de classes de isomorfismo sobre QQQ; (iii) uma teoria analítica completa da função de partição ZEZEZE, incluindo fórmulas fechadas por tipagem (Teorema 7. 2), cota assintótica (Teorema 7. 1), desigualdade ZE (β) ZE (−β) ≥ZE (0) 2ZE () ZE (-) ZE (0) ²ZE (β) ZE (−β) ≥ZE (0) 2 (Teorema 7. 9), e identidade integral ∫0∞Varβ dβ=μE (0) ₀^ Var_ \, d = E (0) ∫0∞Varβdβ=μE (0) (Teorema 7. 3) ; (iv) a função zeta espectral ζσE (s) _E (s) ζσE (s) como objeto inteiro (Teorema 7. 10), e a Identidade Mellin ∫0∞ (ZE (β) −1) βs−1 dβ=Γ (s) ζσE (s) ₀^ (ZE () - 1) ^s-1 \, d = (s) _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|E| + 1∣σE∣+1 momentos determinam σEEσE unicamente via Hausdorff; (vi) duas conjecturas empíricas fortes — complementaridade espectral e unicidade espectral até isomorfismo em QQQ — 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ₚ (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) |TE| (aₚ) A (E) E 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 (Q) E (Q) a partir de dados locais de redução. ** Palavras-chavecurvas elípticas sobre QQQ, 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 QQQ in short Weierstrass form y2=x3+Ax+By² = x³ + 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* σEEσE — and the family of lines Lx0, y0Lₗ䃐, ₘ䃐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) ) L (E) = \ (Lₗ, ₘ, h (x, y) ) \L (E) = (Lx, y, h^ (x, y) ) is a complete invariant of isomorphism classes over QQQ; (iii) a complete analytic theory of the partition function ZEZEZE, including closed-form formulas by typing (Theorem 7. 2), asymptotic bound (Theorem 7. 1), the inequality ZE (β) ZE (−β) ≥ZE (0) 2ZE () ZE (-) ZE (0) ²ZE (β) ZE (−β) ≥ZE (0) 2 (Theorem 7. 9), and the integral identity ∫0∞Varβ dβ=μE (0) ₀^ Var_ \, d = E (0) ∫0∞Varβdβ=μE (0) (Theorem 7. 3) ; (iv) the spectral zeta function ζσE (s) _E (s) ζσE (s) as an entire object (Theorem 7. 10), and the Mellin Identity ∫0∞ (ZE (β) −1) βs−1 dβ=Γ (s) ζσE (s) ₀^ (ZE () - 1) ^s-1 \, d = (s) _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|E| + 1∣σE∣+1 moments determine σEEσE uniquely via Hausdorff; (vi) two strong empirical conjectures — spectral complementarity and spectral uniqueness up to isomorphism over QQQ — verified in 2111 curves without counterexample; (vii) the observation of a new statistical phenomenon — non-semicircular distribution of ap (E) aₚ (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) |TE| (aₚ) A (E) E 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 (Q) E (Q) from local reduction data. ** Keywordselliptic curves over QQQ, 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/? hostedbuttonᵢd=S6KMBHT8PWSC2