geometry-topology / Algebraic geometry; tilt stability and Bogomolov-Gieseker inequalities

A curve-class corrected Bogomolov-Gieseker inequality on every polarized threefold

Theorem 1.3: for every smooth projective complex threefold XX, ample integral HH and B0∈N1(X)QB_0\in N^1(X)_{\mathbb Q} there are k≥0k\ge0 rational and R∗>0R_*>0 with ch3B0+bH(E)≤(a2/6+k)H2ch1B0+bH(E)\mathrm{ch}_3^{B_0+bH}(E)\le(a^2/6+k)H^2\mathrm{ch}_1^{B_0+bH}(E) for every tilt-semistable EE of slope zero, and the uncorrected bound for a>R∗a>R_*; no canonical-bundle hypothesis. The same manuscript constructs, on threefolds with trivial canonical bundle, stability conditions with the exact ordinary and square-root-Todd large-volume charges on an open set of twists and polarizations. It does not give explicit constants or prove the uncorrected BMT inequality at all volumes, which is false in general.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 24, 2026Significance 22/100Registry: unreviewed

A curve-class corrected Bogomolov-Gieseker inequality on every polarized threefold

Prior state unknown→proved

Theorem 1.3: for every smooth projective complex threefold XX, ample integral HH and B0∈N1(X)QB_0\in N^1(X)_{\mathbb Q} there are k≥0k\ge0 rational and R∗>0R_*>0 with ch3B0+bH(E)≤(a2/6+k)H2ch1B0+bH(E)\mathrm{ch}_3^{B_0+bH}(E)\le(a^2/6+k)H^2\mathrm{ch}_1^{B_0+bH}(E) for every tilt-semistable EE of slope zero, and the uncorrected bound for a>R∗a>R_*; no canonical-bundle hypothesis. The same manuscript constructs, on threefolds with trivial canonical bundle,…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.3: for every smooth projective complex threefold XX, ample integral HH and B0∈N1(X)QB_0\in N^1(X)_{\mathbb Q} there are k≥0k\ge0 rational and R∗>0R_*>0 with ch3B0+bH(E)≤(a2/6+k)H2ch1B0+bH(E)\mathrm{ch}_3^{B_0+bH}(E)\le(a^2/6+k)H^2\mathrm{ch}_1^{B_0+bH}(E) for every tilt-semistable EE of slope zero, and the uncorrected bound for a>R∗a>R_*; no canonical-bundle hypothesis. The same manuscript constructs, on threefolds with trivial canonical bundle, stability conditions with the exact ordinary and square-root-Todd large-volume charges on an open set of twists and polarizations. It does not give explicit constants or prove the uncorrected BMT inequality at all volumes, which is false in general.

Theorem 1.3: for every smooth projective complex threefold XX, ample integral HH and B0∈N1(X)QB_0\in N^1(X)_{\mathbb Q} there are k≥0k\ge0 rational and R∗>0R_*>0 with ch3B0+bH(E)≤(a2/6+k)H2ch1B0+bH(E)\mathrm{ch}_3^{B_0+bH}(E)\le(a^2/6+k)H^2\mathrm{ch}_1^{B_0+bH}(E) for every tilt-semistable EE of slope zero, and the uncorrected bound for a>R∗a>R_*; no canonical-bundle hypothesis. The same manuscript constructs, on threefolds with trivial canonical bundle, stability conditions with the exact ordinary and square-root-Todd large-volume charges on an open set of twists and polarizations. It does not give explicit constants or prove the uncorrected BMT inequality at all volumes, which is false in general.

Recorded attempts

Evidence graph

Connected research record