complex-geometry

Certified analytic geometry on an explicit K3 surface: a finite holomorphic atlas whose chart domains, transitions and branch continuations are machine-checked rather than asserted. Sixty chart types, exact transitions over Q, outward-rounded arithmetic elsewhere. No Ricci-flat metric claimed. One command checks nine of the fourteen certificates.

Reserved fifth Stealth Glider investigation exploring orbits around Riemann spheres on a Conway field; the intent is recorded, but mechanics and implementation are not yet specified.

Numerical topology recovery benchmark for reconciling gauge-equivalent eigensolver exports, Wilson loops, affine index mappings, and Chern invariants.

Lecture notes from MATH 2260: Riemann Surfaces with Jeremy Kahn at Brown University for the Spring 2024 semester.

Personal page / papers, talks, CV

Analytic and Algebraic Moduli Spaces of Vector Bundles

Über Teichmüller's Einheitliches Programm: Verifiable formalization of variable Riemann surfaces, continuing the unified research route from Göttingen school