← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-092

RUN-092

RUN-092 — Attack C4, the arrow `ε = 1+√2 ⟶ Θ_aux`: the target turns out to be a **line** — `χ₈` is the character of `Q(√2)`, whose unit rank is 1 and on whose fundamental unit `σ` acts by `−1`, so `H¹_f(Q, Q₁₁(χ₈)(1))` is one-dimensional and spanned by `κ(ε)`, which forces any identification up to a