Gepner symmetry and large-volume stability on threefolds

The explanation

Picture a clock face with five equal marks. A turn by one mark is a rotation by one fifth of a full circle. In complex numbers that turn is multiplication by e^(2πi/5). Five such turns bring you back to the start, because e^(2πi) = 1. This small fact sits at the centre of the first paper.

A stability condition sorts the objects of a derived category, an algebraic record of all sheaves on a space. It assigns each object a complex number called its central charge. The angle of that number, measured in half turns, is the object’s phase. Semistable objects are the basic pieces, and every object must split into finitely many of them in order of phase. Bridgeland gave the mathematical framework for this idea in 2007Source 1.

The space here is a quintic threefold, the set where one degree-five equation in five variables vanishes. It is a standard Calabi–Yau threefold, a three-dimensional complex shape with trivial canonical bundle. On it there is a special symmetry Φ of the derived category. Doing Φ five times equals shifting by 2Source 2. A Gepner point is a stability condition that this symmetry rotates. Toda gave the precise quintic conjecture in 2013Source 3.

The first paper claims to prove Toda’s conjecture for every smooth complex quintic threefoldSource 3,Source 4. Its stability condition is turned by Φ: every central charge is multiplied by e^(2πi/5). The symmetry Φ also raises every phase by exactly 2/5Source 4. The numbers fit together. Five steps of 2/5 make 2, matching the shift by 2. Five rotations by e^(2πi/5) give 1, and a shift by 2 also leaves the charge unchanged. A point of the threefold has charge −1, which is phase 1, half a turnSource 4.

Stability conditions on every smooth quintic were already known to exist, by work of LiSource 5. What was missing was one with this exact symmetrySource 5. Toda had already proposed the right two-step construction, called a double tilt. He flagged one remaining difficultySource 6. The Gepner charge involves irrational numbers, so its values need not form a discrete grid. Then it is hard to show that splitting into semistable pieces stops after finitely many stepsSource 6. The paper’s central step keeps two independent small adjustments of Toda’s construction. Together they bound the numerical size of semistable objects before those objects are even definedSource 7. That bound makes the splitting finite.

The second paper treats a wider class of spaces. It covers every smooth projective complex threefold with trivial canonical bundleSource 8. There, physics predicts central charges for large volume, meaning a large size parameter t. The paper claims stability conditions with exactly those charges at every large enough volume. This includes the ordinary charge and a version corrected by the square root of the Todd classSource 8. One volume threshold works on a whole open region of parametersSource 9. Earlier, Bayer’s polynomial stability gave these charges only as a limit of ever-larger volumesSource 10. The new result works at each finite volumeSource 10.

The second paper also claims to prove a separate inequality on every smooth projective threefold. It bounds the third Chern character of tilt-semistable objects, with a fixed correction termSource 11. Beyond a volume threshold the correction can be droppedSource 11. This answers questions of Bernardara, Macrì, Schmidt and Zhao, and of Martinez and SchmidtSource 12. The uncorrected inequality is false at some small volumes, as earlier examples showSource 13. One more check on the numbers: with t = √3·a, a coefficient of a²/6 becomes t²/18, as the paper statesSource 14.

How sure is this? No Lean formalization is listed for these papers in the openai/math release. So no computer proof checker has checked them. No specialist review has been published.

What it doesn't show. This does not describe the whole space of stability conditions or give the large-volume charges at small volume.