algebra / Commutative algebra

Fel's Conjecture on Syzygies of Numerical Semigroups

Does the conjectured universal formula for normalized alternating syzygy power sums of numerical semigroup rings hold for every index?

10Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

algebraFeb 3, 2026Significance 10/100Registry: lean checked

Prior state unknown→proved

Does the conjectured universal formula for normalized alternating syzygy power sums of numerical semigroup rings hold for every index?

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Source authenticated

Does the conjectured universal formula for normalized alternating syzygy power sums of numerical semigroup rings hold for every index?

Evidence graph

No public relationships recorded yet.