Kolyvagin’s conjecture, bipartite Euler systems, and higher congruences of modular forms

For an elliptic curve E,  Kolyvagin used Heegner points to construct special Galois cohomology classes valued in the torsion points of E. Under the conjecture that not all of these classes vanish, he showed that they encode the Selmer rank of E. I will explain a proof of new cases of this conjecture that builds on prior work of Wei Zhang. The proof naturally leads to a generalization of Kolyvagin’s work in a complimentary “definite” setting, where Heegner points are replaced by special values of a quaternionic modular form. I’ll also explain an “ultrapatching” formalism which simplifies the Selmer group arguments required for the proof.