feat: Bocklandt reduction and smoothness of quiver moduli - #33

Open

pbelmans wants to merge 20 commits into

mainfrom

Commits on Aug 25, 2026

feat: strongly connected components
pbelmans
committed
58ef431
feat: bocklandt reduction and coregularity of quiver settings
pbelmans
committed
72ea9e9
feat: smoothness of moduli spaces via local quivers and coregularity
pbelmans
committed
093593e
test: smoothness on walls for the 6-subspace quiver
pbelmans
committed
abaf3d5
test: the Segre cubic is singular
pbelmans
committed
c5dd247
feat: codimension of the singular locus
pbelmans
committed
368f133
feat: cofree quiver settings
pbelmans
committed
d0b683e
refactor: tighten the cofree classification code
pbelmans
committed
ed61d74
docs: explain coregular and cofree quiver settings
pbelmans
committed
abf1cc9
refactor: precompute Bocklandt Euler vectors
pbelmans
committed
6244ba3
refactor: share local smoothness plumbing
pbelmans
committed
a06b502
refactor: name weakly connected components
pbelmans
committed
7b3c4c0
docs: document the summands of a local quiver setting
pbelmans
committed
7530430
fix: harden core quiver-setting APIs
pbelmans
committed
3682b6d
test: cover longer reachability paths
pbelmans
committed
a85d3fe
refactor: relocate dimension validation
pbelmans
committed
257b510
docs: clarify Boolean reachability
pbelmans
committed
a013153
docs: clarify validation for Luna types
pbelmans
committed
d58f2ff
refactor: inline Bocklandt reduction loop
pbelmans
committed
435d53b
docs: fix moduli stack smoothness typo
pbelmans
committed
8f0fd01