Erratum: The Reflection Response Is a Nonsplit Gauge Extension
Ledger 3865 correctly identified an invariant gauge line and a three-dimensional relational quotient, but incorrectly described them as a split response.
The quotient response has Smith form
so it has rank two. Its primitive kernel direction
lifts to a vector whose full response is
Thus the quotient-fixed direction shears into the gauge line. The correct object is a nonsplit filtered extension, not a direct sum. The total-blindness criterion remains unchanged.
Evidence:
research/strominger/the-reflection-response-is-a-nonsplit-gauge-extension.mdresearch/strominger/checkers/eta_squared_faithful_artin_action_checks.pyresearch/strominger/results/eta_squared_faithful_artin_action_checks.json- aggregate gates: 26/26
- checker SHA-256:
f25540cdeade79e57f6f55e18c25e1bb7b6315e97228048e093cb5c81cdf9cae