← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-105

RUN-105

RUN-105 — DAG-B: the line that carries RUN-104's element is the BSD-shaped arithmetic fundamental line at `(389.a1, 11)` — `det⁻¹RΓ(Z_S,T) = D_MW ⊗ 𝓗_str`, and through the self-dual ordinary Selmer complex (Nekovář shift `[3]`, determinant `D_MW^{⊗2}`) the strict line is `𝓗_str ≅ D_MW ⊗ H¹_f(Q₁₁,T)⁻