Papers
Topics
Authors
Recent
Search
2000 character limit reached

Weak stability conditions on coherent systems of genus four curves

Published 12 Feb 2026 in math.AG | (2602.12076v1)

Abstract: The derived category of coherent systems is an interesting triangulated category associated with a smooth, projective curve CC. These categories admit Bridgeland stability conditions, as recently shown by Feyzbakhsh and Novik. Their construction depends explicitly on the higher rank Brill-Noether theory of CC. In this short note, we study the Feyzbakhsh--Novik stability conditions for a general curve of genus four. We show that these stability conditions degenerate to a stability condition on the Kuznetsov component of the corresponding nodal cubic threefold, using a result of Alexeev-Kuznetsov.

Authors (1)

Summary

  • The paper proves that Feyzbakhsh–Novik stability conditions on coherent systems degenerate at w = 2 to a weak stability condition that descends through a Verdier quotient to the Kuznetsov component of a nodal cubic threefold.
  • For a general genus four curve, the bound Φ_C(x) ≤ (x−3)² + 1.9 establishes genuine stability for w > 3 and supports the limiting construction at the critical value w = 2.
  • The paper shows that wall-crossing identifies objects parametrized by Sym²(C) precisely when their associated secant lines share a point on C, recovering the normalization of the cubic threefold’s Fano variety of lines.

Overview

This note by Nicolás Vilches studies the Bridgeland stability conditions constructed by Feyzbakhsh and Novik on the derived category Db(TC)D^b(T_C) of generalized coherent systems on a smooth projective curve CC, in the special case where CC is a general curve of genus four. The main result establishes that these stability conditions degenerate, as the parameter ww approaches a critical value, to a weak stability condition σ3,2\sigma_{3,2} that descends to an honest Bridgeland stability condition σ3,2\overline{\sigma}_{3,2} on the Kuznetsov component $\Ku(Y)$ of the associated nodal cubic threefold (2602.12076). This provides a concrete instance of the general principle—pursued in several recent works—that degenerations of stability conditions on a triangulated category should converge to stability conditions on suitable Verdier quotients.

Coherent systems and their derived category

For a smooth projective curve CC of genus gg, the paper works with the abelian category TCT_C of triples CC0, where CC1, CC2 is a vector space, and CC3. Relaxing the classical inclusion CC4 to an arbitrary morphism is what makes CC5 abelian. Two exact adjoint pairs CC6 (with vector spaces) and CC7 (with coherent sheaves) yield a semi-orthogonal decomposition

CC8

with gluing functor given, up to shift, by CC9. The Euler pairing is computed by an explicit matrix: writing CC0, one has CC1, so CC2. Moreover, CC3 embeds as an admissible subcategory of CC4 for a smooth proper variety CC5, which ensures it is well-behaved from the categorical standpoint.

A key ingredient is the class of Brill–Noether–Petri extremal line bundles CC6—those for which the Petri map CC7 is an isomorphism. To each such CC8 one associates the object CC9, which Alexeev–Kuznetsov show is exceptional in ww0; these are the BN-exceptional objects.

The Feyzbakhsh–Novik construction

The stability conditions are built via tilting with respect to the slope function ww1 (with value ww2 when ww3). For each real ww4, the torsion pair ww5 determined by ww6-semistable objects yields the tilted heart ww7, and for ww8 the pair ww9 is a Bridgeland stability condition, where

σ3,2\sigma_{3,2}0

The constraint on σ3,2\sigma_{3,2}1 is governed by the Brill–Noether function

σ3,2\sigma_{3,2}2

which encodes higher-rank Brill–Noether data of σ3,2\sigma_{3,2}3: the bound σ3,2\sigma_{3,2}4 is exactly what forces σ3,2\sigma_{3,2}5 to have positive real part on phase-one objects arising from evaluation maps of semistable bundles of slope σ3,2\sigma_{3,2}6. The paper also records a quadratic form σ3,2\sigma_{3,2}7 providing the support property uniformly for all σ3,2\sigma_{3,2}8, under a strict inequality σ3,2\sigma_{3,2}9; this uniformity is essential for taking limits later.

Genus four geometry and the nodal cubic threefold

A genus four curve σ3,2\overline{\sigma}_{3,2}0 is called general here if it is non-hyperelliptic and its unique ambient quadric σ3,2\overline{\sigma}_{3,2}1 (under the canonical embedding as a σ3,2\overline{\sigma}_{3,2}2-complete intersection) is smooth. The two rulings of σ3,2\overline{\sigma}_{3,2}3 induce two non-isomorphic degree-three line bundles σ3,2\overline{\sigma}_{3,2}4 with σ3,2\overline{\sigma}_{3,2}5, and these are precisely the BNP-extremal line bundles of σ3,2\overline{\sigma}_{3,2}6.

The geometric bridge to cubic threefolds is classical: cubics through σ3,2\overline{\sigma}_{3,2}7 define a rational map σ3,2\overline{\sigma}_{3,2}8 resolved by σ3,2\overline{\sigma}_{3,2}9, which factors through a nodal cubic threefold $\Ku(Y)$0 via contraction of the strict transform of $\Ku(Y)$1. On $\Ku(Y)$2 there are two semi-orthogonal decompositions—one from $\Ku(Y)$3, giving a "blown-up" Kuznetsov component $\Ku(Y)$4 whose Verdier quotient to $\Ku(Y)$5 has kernel generated by $\Ku(Y)$6 and $\Ku(Y)$7—and one from Orlov's blow-up formula. Combining them, Alexeev–Kuznetsov obtain an equivalence $\Ku(Y)$8 under which the two kernel objects map exactly to $\Ku(Y)$9 and CC0. Consequently,

CC1

The degeneration result

The proof of the main theorem proceeds in two steps. First, using the explicit bound on CC2 for general genus four curves—derived from Liu–Niu's computation of the higher-rank Clifford-type bounds—the paper shows CC3 for all CC4. Hence CC5 is a genuine stability condition for all CC6, and setting CC7 produces a weak pre-stability condition CC8 with discrete-image central charge. Harder–Narasimhan filtrations exist by the standard argument adapted to weak central charges. The support property at CC9 is proved by a perturbation argument: any gg0-stable object with gg1 remains stable for gg2 with gg3 (using discreteness of the image of gg4), and then satisfies the quadratic inequality by the uniform support property; objects with gg5 are handled directly, invoking the bound gg6 for stable rank-gg7 bundles of slope three.

Second, since gg8—indeed gg9 consists exactly of objects whose mass tends to zero as TCT_C0—the heart TCT_C1 descends to a bounded t-structure on the quotient, and TCT_C2 is a Bridgeland stability condition on TCT_C3-graded numerically. The author notes that Bol's limiting-stability framework could alternatively be applied directly, since the limiting support property follows from the same computation.

Moduli consequences

For the class TCT_C4, the objects TCT_C5 are TCT_C6-stable for every TCT_C7, parametrizing an irreducible component of the moduli space TCT_C8 isomorphic to TCT_C9; smoothness of dimension two at these points follows from simplicity and vanishing of CC00.

The behavior at the critical value CC01 is the most striking part. Two points CC02 become S-equivalent after descending to CC03 if and only if the corresponding secant lines in CC04 meet CC05 at a common point CC06—equivalently, both divisors are contained in one of the two trigonal line bundles CC07. Concretely, there are short exact sequences

CC08

so both objects map to CC09 in the quotient. These identifications reproduce exactly the relation between CC10 and the Fano variety of lines on the nodal cubic threefold through its normalization, confirming that the degenerate moduli problem on CC11 matches the geometry of CC12.

Limitations and open questions

The paper is explicit about its scope. The identification of S-equivalence classes at CC13 is established only for objects of the specific class CC14; no full moduli space CC15 or CC16 is constructed, and the author deliberately avoids the subtleties involved. The comparison between the descended stability condition and other constructions of stability conditions on CC17 (via blow-up methods or conic fibrations) remains open, and the known uniqueness results do not apply because CC18 is not proper when CC19 is singular. Finally, whether the crepant categorical resolutions CC20 of CC21 admit Bridgeland stability conditions is left open—a question of independent interest given expectations that certain similar categories should not admit any.

Conclusion

The paper demonstrates that the Feyzbakhsh–Novik family of stability conditions on CC22, for a general genus four curve, degenerates at the boundary value permitted by the Brill–Noether function to a weak stability condition that descends along the Alexeev–Kuznetsov quotient to a Bridgeland stability condition on the Kuznetsov component of a nodal cubic threefold. The resulting wall-crossing description recovers the normalization of the Fano variety of lines, illustrating concretely how degenerations of stability conditions interact with Verdier quotients and singular Calabi–Yau categories.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.