what-social-construct/jacobian-collision-geometry
Two companion manuscripts and a Lean 4 formalization study the residual geometry of equal-image pairs beyond the diagonal. In generic degree three, the normal closure of a JC(3) counterexample has Galois group S₃; in generic degree two, Galois rigidity rules out a nontrivial Keller extension, hence nontrivial inertia, in JC(2).
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues