roed314/motivic-tori
Work on showing that the connected Neron model of a torus is definable.
Public GitHub Catalog
Discovered Oct 3, 2026
roed314 / eigencurve-arith-progression
Project with Julia Gordon to show that the slopes of the U_p operator in the Coleman-Mazur eigencurve occur in arithmetic progressions
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#26155172GitHub System ID
roed314Organization / User
PublicVisibility
ActiveCatalog Status
More from roed314
roed314/positive-slope-families
Paper with Rob Harron and Ander Steele
roed314/padicprec
p-adic precision paper with Xavier Caruso and Tristan Vaccon
roed314/bibliography
My bibliography for math papers