Delphi.science

HironakaLean: Hironaka's resolution of singularities (1964), formalized as written

Source: github.com/daattavya98/HironakaLean-public/tree/bd604257410…

Daattavya Aggarwal, Minhyong Kim, Oisin Kim

Palomar Registrypalomar/PALOMAR-2026-11-03-000021Nov 4, 2026math.AGscore 0

Heisuke Hironaka's 1964 papers 'Resolution of singularities of an algebraic variety over a field of characteristic zero I,II' were seminal achievements in the history of algebraic geometry. They had inestimable impact on a broad range of research areas in mathematics including geometry, topology, number theory, differential equations, and mathematical physics. The achievement was recognised by a Fields medal awarded to Hironaka in 1970. The papers constitute a veritable tour de force contained in 217 densely-packed pages. The algebraic and combinatorial complexity of the papers is daunting,…

RepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-11-03-000021
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-03-000021/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-03-000021/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'