Mukai's Syzygies Conjecture Explained

• Mukai's Syzygies Conjecture is a syzygy-theoretic framework connecting adjoint bundle properties and canonical curve geometry to predict linear resolution behaviors.
• It posits that for ample line bundles on smooth projective varieties, the condition m ≥ dim X + 2 + k ensures that K_X + mL satisfies (N_k), establishing rigid geometric syzygies.
• The conjecture extends classical results by linking low-rank syzygies, scroll constructions, and K3 surface techniques to provide explicit geometric models for canonical curves.

Mukai’s Syzygies Conjecture is a syzygy-theoretic program that appears in two adjacent senses in the literature summarized here. In the adjoint-line-bundle form, the conjecture attributed to Mukai states that if $X$ is smooth projective, $L$ is ample, and $m \ge \dim X + 2 + k$, then $K_X + mL$ satisfies $(N_k)$ (Caucci, 8 Sep 2025). In the canonical-curve form, Mukai’s work on canonical curves and homogeneous varieties suggests that the syzygies of a general canonical curve should admit an explicit geometric description through special linear sections of homogeneous varieties, especially Grassmannians and related constructions; later work formulates this as a refinement of Green/Mukai-type syzygy statements for canonical curves (Kemeny, 2019). Taken together, these strands indicate that higher syzygies are expected to reflect intrinsic geometry with substantial rigidity.

1. Terminological scope and core formulations

In the adjoint setting, the conjectural statement is explicit: if $X$ is smooth projective, $L$ is ample, and $m \ge \dim X + 2 + k$, then $K_X + mL$ satisfies $(N_k)$ (Caucci, 8 Sep 2025). This is a strong generalization of Fujita-type adjoint positivity conjectures, and it predicts not only projective normality or quadratic generation, but linearity of the first $L$0 steps of the minimal free resolution. The same source emphasizes that the conjecture remains widely open in general, and that even for surfaces the $L$1 case is not fully known in general (Caucci, 8 Sep 2025).

In the canonical-curve literature, the emphasis shifts from adjoint bundles on arbitrary varieties to the geometry of the extremal linear strand. Mukai’s ideas connect canonical curves to linear sections of homogeneous varieties and to explicit geometric models for their moduli, while Green-style conjectures predict vanishing and nonvanishing patterns in the linear strand. Kemeny’s theorem in even genus is presented as a refined geometric version of Mukai/Green-style syzygy statements: not merely a vanishing theorem, but a statement that the last linear syzygy space is generated by syzygies of concrete geometric origin (Kemeny, 2019).

Context	Central syzygy statement	Representative source
Adjoint bundles	$L$2 satisfies $L$3	(Caucci, 8 Sep 2025)
Canonical curves	Extremal linear syzygies should be geometrically generated by scrolls, Grassmannians, or related models	(Kemeny, 2019)

This suggests that “Mukai’s Syzygies Conjecture” is best understood not as a single isolated sentence, but as a coherent expectation that syzygies should be governed by geometry in a particularly explicit way.

2. Algebraic framework: $L$4, Koszul cohomology, and linear strands

The adjoint formulation is expressed through the minimal graded free resolution of the section ring

$L$5

over

$L$6

If

$L$7

is the minimal graded free resolution, then $L$8 satisfies $L$9 if

$m \ge \dim X + 2 + k$0

Accordingly, $m \ge \dim X + 2 + k$1 is projective normality, $m \ge \dim X + 2 + k$2 is projective normality plus generation of the ideal by quadrics, and higher $m \ge \dim X + 2 + k$3 encode linearity of the first $m \ge \dim X + 2 + k$4 syzygy modules (Caucci, 8 Sep 2025).

A standard cohomological criterion uses the kernel bundle

$m \ge \dim X + 2 + k$5

If

$m \ge \dim X + 2 + k$6

then $m \ge \dim X + 2 + k$7 satisfies $m \ge \dim X + 2 + k$8 (Caucci, 8 Sep 2025). For quotients of abelian varieties, this criterion is combined with $m \ge \dim X + 2 + k$9, $K_X + mL$0, Castelnuovo–Mumford regularity, and the structure of the abelian cover (Caucci, 8 Sep 2025).

The broader syzygy formalism is Koszul cohomology. For a projective scheme $K_X + mL$1, a globally generated line bundle $K_X + mL$2, and a coherent sheaf $K_X + mL$3, the module $K_X + mL$4 has a minimal free resolution whose summands are controlled by

$K_X + mL$5

where $K_X + mL$6 is the cohomology of the standard Koszul-type complex (Park, 2024). In particular, for canonical curves the groups $K_X + mL$7 are the linear syzygies, and their dimensions are the linear-strand Betti numbers (Kemeny, 2019).

3. Canonical curves, rank, and Mukai’s geometric philosophy

A canonical curve is a smooth non-hyperelliptic curve embedded by the canonical linear system,

$K_X + mL$8

and for a genus $K_X + mL$9 curve this embedding lies in $(N_k)$0 (Kemeny, 2019). The syzygies of the canonical ideal are measured by the groups $(N_k)$1, and the linear strand carries a notion of rank: a class

$(N_k)$2

has rank equal to the dimension of the smallest linear subspace $(N_k)$3 such that

$(N_k)$4

A nondegenerate variety satisfies $(N_k)$5; rank $(N_k)$6 syzygies give rational normal scrolls, rank $(N_k)$7 syzygies arise from linear sections of Grassmannians, and a syzygy is called geometric when $(N_k)$8 (Kemeny, 2019).

For canonical curves of even genus $(N_k)$9, Green’s conjecture predicts

$X$0

so $X$1 is the highest linear syzygy group (Kemeny, 2019). In this range, the Mukai program is not only about the existence of nonzero syzygies but about explaining them geometrically. Mukai’s work suggests that the syzygies of general canonical curves should be describable through special linear sections of homogeneous varieties, especially Grassmannians and related constructions (Kemeny, 2019).

This philosophy sharpens Green’s classical result. For a non-hyperelliptic curve $X$2 of genus $X$3, Green proved that

$X$4

is generated by rank two syzygies coming from line bundles $X$5; under the identification

$X$6

this means that the quadrics containing the canonical curve are generated by quadrics of rank four (Kemeny, 2019). The later even-genus results extend this pattern from the first linear syzygy group to the last one.

4. The geometric syzygy theorem in even genus

The most explicit realization of the canonical-curve version is Kemeny’s theorem on the Geometric Syzygy Conjecture in even genus. The conjectural statement is that for a general curve $X$7 of genus $X$8, the last linear syzygy space

$X$9

is spanned by geometric syzygies (Kemeny, 2019). The theorem proves a stronger form: if $L$0 is a general canonical curve of genus $L$1, then

$L$2

is generated by the rank $L$3 syzygies

$L$4

Thus the last linear syzygy group is generated by syzygies arising from minimal pencils $L$5 of degree $L$6, equivalently from the subspaces

$L$7

The corresponding syzygy scheme is the rational normal scroll defined by the $L$8 minors of the Petri matrix

$L$9

(Kemeny, 2019).

This theorem is presented as an extension of Green’s theorem on rank-four quadrics. Green’s theorem concerns the first linear syzygy group $m \ge \dim X + 2 + k$0; Kemeny’s theorem concerns the last linear syzygy group $m \ge \dim X + 2 + k$1 for genus $m \ge \dim X + 2 + k$2. In the paper’s formulation,

$m \ge \dim X + 2 + k$3

(Kemeny, 2019).

The proof passes through K3 geometry. For a K3 surface $m \ge \dim X + 2 + k$4 with

$m \ge \dim X + 2 + k$5

let $m \ge \dim X + 2 + k$6 be the Lazarsfeld–Mukai bundle on $m \ge \dim X + 2 + k$7. The paper proves that the morphism

$m \ge \dim X + 2 + k$8

is the Veronese embedding of degree $m \ge \dim X + 2 + k$9, hence there is a natural isomorphism

$K_X + mL$0

(Kemeny, 2019). Rathmann later gave a substantially shorter proof of Voisin’s result for K3 surfaces of even sectional genus by constructing geometric Koszul complexes on Grassmann varieties; in the even case $K_X + mL$1, the paper proves

$K_X + mL$2

and again identifies

$K_X + mL$3

(Rathmann, 2022).

5. Related constructions: scrolls, projections, symmetric products, and K3 reconstruction

A major refinement of the Mukai–Schreyer picture is the assertion that extremal linear syzygies actually come from the scroll attached to a minimal pencil. For a general $K_X + mL$4-gonal curve $K_X + mL$5 of genus $K_X + mL$6, $K_X + mL$7, and a line bundle $K_X + mL$8 with

$K_X + mL$9

the extremal group

$(N_k)$0

has the scroll-predicted dimension $(N_k)$1, and the restriction map from the associated rational normal scroll $(N_k)$2 is an isomorphism: $(N_k)$3 In this sense, the extremal syzygies of $(N_k)$4 are exactly those coming from the scroll (Kemeny, 2018). The same paper proves that the syzygy scheme of a nonzero linear syzygy can be recovered from the syzygy schemes of its pointwise projections: $(N_k)$5 under explicit projective-normality and spanning hypotheses (Kemeny, 2018).

Another line of development uses symmetric products of curves. A survey of this method explains that weight-one syzygies can be recast on $(N_k)$6, and that vanishing of $(N_k)$7 reduces to

$(N_k)$8

This framework yields the effective gonality theorem, Green’s $(N_k)$9-theorem, results on secant varieties, and the tangent-developable approach to generic Green’s conjecture (Park, 2024). The survey does not isolate a theorem formally named “Mukai’s Syzygies Conjecture,” but it places Mukai’s philosophy squarely within the modern language of Koszul cohomology, $L$00-properties, and intrinsic geometric control of Betti tables (Park, 2024).

Mukai’s program also operates through rank-two Brill–Noether loci on curves lying on K3 surfaces. For $L$01, the locus

$L$02

has tangent space controlled by the Petri map

$L$03

and in the rank-two K3 case the paper proves that the association

$L$04

gives an isomorphism

$L$05

Under the congruence assumption $L$06, the resulting Brill–Noether K3 surface is then used in a Fourier–Mukai reconstruction of the original K3 surface (Arbarello et al., 2013). This is not an adjoint $L$07-statement, but it is a precise realization of the claim that canonical syzygies, Petri geometry, and K3 geometry are manifestations of the same structure.

6. Confirmed cases, obstructions, and disambiguations

In the adjoint formulation, several cases are now known. For a bielliptic surface $L$08 over an algebraically closed field of characteristic $L$09, if $L$10 is ample and

$L$11

then

$L$12

For a smooth projective variety $L$13 of dimension $L$14 in characteristic $L$15 with $L$16, if $L$17 is ample and globally generated, $L$18 is numerically trivial, and $L$19 is globally generated, then

$L$20

For a hyperelliptic variety $L$21 of dimension $L$22 with $L$23, if $L$24 is ample and $L$25 is numerically trivial, then

$L$26

When $L$27 is commutative, $L$28, and $L$29, the paper improves this to

$L$30

and

$L$31

These results confirm Mukai’s conjecture for bielliptic surfaces when $L$32, for hyperelliptic varieties in the range $L$33, and for complex Bagnera–de Franchis varieties in the range $L$34 (Caucci, 8 Sep 2025).

The current bounds are not presented as final. The same paper explicitly states that the stronger statement

$L$35

for general hyperelliptic varieties remains open, because a certain splitting of kernel bundles on the abelian cover does not hold (Caucci, 8 Sep 2025).

At the level of canonical-curve heuristics, there are also structural obstructions to overly naive determinantal expectations. Eisenbud’s conjectural picture had suggested that if $L$36 is generated by quadrics of rank at most four, then the last nonvanishing linear syzygy should come from a determinantal construction. Counterexamples show that rank $L$37 quadrics do not by themselves control the rank of the top linear syzygies: for any odd $L$38, there exists an arithmetically Cohen–Macaulay toric ideal generated by $L$39 quadrics of rank $L$40, with only one linear first syzygy, of rank $L$41; analogous even-$L$42 Gorenstein examples also exist (Schenck et al., 2010). The same paper proves a modified theorem in which the rank of the top linear syzygy determines whether the ideal must contain $L$43 minors of a $L$44-generic matrix or $L$45 Pfaffians of a skew-symmetric $L$46-generic matrix (Schenck et al., 2010). This does not refute Mukai’s geometric philosophy; it refines it by showing that low-rank quadrics alone are insufficient without control of the rank of the corresponding syzygy.

A final disambiguation is necessary. The name “Mukai conjecture” is also used for numerical inequalities in Fano geometry, such as

$L$47

with equality only in the projective-space case for the quiver-moduli setting (Reineke, 2023), and for the total-index variant considered in effective non-vanishing theory (Gongyo, 2023). Those conjectures are distinct from Mukai’s Syzygies Conjecture. The latter concerns minimal free resolutions, Koszul cohomology, and the geometric origin of syzygies; the Fano inequalities concern dimension, Picard number, and index.