\( \mathbf{Z}/2\) 係数の Bloch-Kato 予想が一般の係数に先行して解けたのは、2 次形式の理論を利用して作った多様体が、証明を便利に回す歯車として使えるからです。 ただし、Voevodsky 論文じたいでは、2 次形式の理論は、表立って論じられません。すべて…