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

RUN-104

RUN-104 — DAG-A in characteristic zero: Castella–Sano's determinantal Kato main conjecture read object by object and instantiated at `(389.a1, 11)` — it holds by cited theorem, so a unique `Λ`-basis `𝔷_{Q∞}` of `det⁻¹_Λ RΓ(Z_S,𝐓)` exists; specialised to the trivial character it is a `Z₁₁`-basis of `