pith. sign in

arxiv: 2604.25023 · v1 · submitted 2026-04-27 · 🧮 math.AG

The Mukai conjecture via Cox rings for special toric ambient embeddings

Heath Pearson This is my paper

Pith reviewed 2026-05-08 01:37 UTC · model grok-4.3

classification 🧮 math.AG
keywords Mukai conjectureFano varietiesCox ringstoric varietiesMori dream spacesbunched ringslocally factorial varieties
0
0 comments X

The pith

Certain Fano varieties defined by Cox rings and toric embeddings satisfy the Mukai conjecture.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves the Mukai conjecture for locally factorial Fano varieties that admit embeddings into smooth projective toric varieties. These embeddings arise from the bunched ring theory of Mori dream spaces. The argument reduces the original conjecture to a logarithmic version that holds on the ambient toric variety. A sympathetic reader would care because the result verifies the characterization of products of projective spaces inside a broad algebraically defined class of Fano varieties.

Core claim

We prove the Mukai conjecture on the characterisation of products of projective spaces among Fano varieties for a class of locally factorial Fano varieties defined in terms of their Cox rings. The Fano varieties of this class are characterised in terms of the property that they admit an embedding into a smooth projective toric variety via the bunched ring theory of Mori dream spaces. Our approach inherits the Mukai conjecture for this class from a log version of the Mukai conjecture on the toric ambient embedding.

What carries the argument

Bunched ring embeddings into smooth projective toric varieties, which transfer the Mukai conjecture from the Fano variety to its logarithmic form on the ambient toric space.

If this is right

  • The Mukai conjecture holds for every locally factorial Fano variety in this toric-embeddable class.
  • Products of projective spaces are characterized among all such varieties.
  • The log Mukai conjecture on smooth toric varieties directly implies the standard Mukai conjecture for the embedded Fano subvarieties.
  • The class of Fano varieties defined via Cox rings now falls under the conjecture's conclusion.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction technique might apply to other conjectures in birational geometry that admit toric ambient models.
  • Classification results for Fano varieties with small Picard number could be strengthened by identifying which ones admit such toric embeddings.
  • Explicit computations of Cox rings for low-dimensional examples could produce new families where the conjecture is verified.

Load-bearing premise

The Fano varieties must admit an embedding into a smooth projective toric variety via bunched ring theory of Mori dream spaces, and the log version of the Mukai conjecture must hold on that toric ambient space.

What would settle it

A locally factorial Fano variety with a toric embedding for which the log Mukai conjecture fails on the ambient toric variety, or which is not a product of projective spaces.

read the original abstract

We prove the Mukai conjecture on the characterisation of products of projective spaces among Fano varieties for a class of locally factorial Fano varieties defined in terms of their Cox rings. The Fano varieties of this class are characterised in terms of the property that they admit an embedding into a smooth projective toric variety via the bunched ring theory of Mori dream spaces. Our approach inherits the Mukai conjecture for this class from a log version of the Mukai conjecture on the toric ambient embedding.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 0 minor

Summary. The manuscript proves the Mukai conjecture characterizing products of projective spaces among Fano varieties, but only for the subclass of locally factorial Fano varieties that admit an embedding into a smooth projective toric variety via bunched ring theory of Mori dream spaces. The proof reduces the statement to a log version of the Mukai conjecture on the toric ambient space and inherits the result from that ambient statement.

Significance. If the reduction is carried out rigorously, the result would extend the known cases of the Mukai conjecture to a concrete class of Fano varieties whose Cox rings satisfy the bunched-ring embedding condition. The approach usefully combines the structure theory of Mori dream spaces with the log version of the conjecture; this is a standard inheritance technique once the ambient log statement is granted independently.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript and the recommendation of minor revision. The report raises no specific major comments, indicating that the core reduction from the Mukai conjecture on the locally factorial Fano variety to the log version on the smooth toric ambient space via bunched rings is accepted as rigorous. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; reduction to independent log statement on ambient space

full rationale

The paper defines its class of Fano varieties precisely by the existence of a toric embedding via bunched ring theory, then states that the Mukai conjecture for this class is inherited from a log version on the ambient toric variety. This is a standard inheritance/reduction argument rather than any of the enumerated circular patterns. No self-definitional loop, no fitted parameter renamed as prediction, and no load-bearing self-citation or uniqueness theorem imported from the authors' prior work is visible in the provided abstract or description. The derivation remains self-contained once the log version on the toric ambient is established independently (by proof inside the paper or by external literature).

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard background results in algebraic geometry (properties of Fano varieties, Cox rings, Mori dream spaces, and toric embeddings) without introducing new free parameters or invented entities. The log version of the Mukai conjecture is treated as an external or derivable input.

axioms (1)
  • domain assumption Locally factorial Fano varieties that admit toric embeddings via bunched rings satisfy the hypotheses needed to inherit the log Mukai conjecture.
    Invoked in the abstract to reduce the original conjecture to the toric ambient case.

pith-pipeline@v0.9.0 · 5362 in / 1305 out tokens · 55034 ms · 2026-05-08T01:37:32.157791+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Problems on characterization of the complex projective space

    Shigeru Mukai. “Problems on characterization of the complex projective space”. In: Birational Geometry of Algebraic Varieties, Open Problems. Proceedings of the 23rd Symposium of the Taniguchi Foundation. Katata, Japan, 1988, pp. 57–60

    work page 1988

  2. [2]

    On a conjecture of Mukai

    Jarosław A. Wiśniewski. “On a conjecture of Mukai”. In:Manuscripta Mathematica 68.2 (1990), pp. 135–141.doi:10.1007/BF02568756

    work page doi:10.1007/bf02568756 1990

  3. [3]

    Sur une conjecture de Mukai

    Laurent Bonavero et al. “Sur une conjecture de Mukai”. In:Commentarii Mathematici Helvetici78.3 (2003), pp. 601–626.doi:10.1007/s00014-003-0765-x

    work page doi:10.1007/s00014-003-0765-x 2003

  4. [4]

    Generalized Mukai con- jecture for special Fano varieties

    Marco Andreatta, Elena Chierici, and Gianluca Occhetta. “Generalized Mukai con- jecture for special Fano varieties”. In:Central European Journal of Mathematics2.2 (2004), pp. 214–225

    work page 2004

  5. [5]

    The number of vertices of a Fano polytope

    Cinzia Casagrande. “The number of vertices of a Fano polytope”. In:Annales de l’Institut Fourier56.1 (2006), pp. 121–130.doi:10.5802/aif.2175

    work page doi:10.5802/aif.2175 2006

  6. [6]

    Birkar, P

    Caucher Birkar et al. “Existence of minimal models for varieties of log general type”. In:Journal of the American Mathematical Society23.2 (2010), pp. 405–468.doi: 10.1090/S0894-0347-09-00649-3

    work page doi:10.1090/s0894-0347-09-00649-3 2010

  7. [7]

    Cox, John B

    David A. Cox, John B. Little, and Hal K. Schenck.Toric Varieties. Vol. 124. Graduate Studies in Mathematics. Providence, RI: American Mathematical Society, 2011

    work page 2011

  8. [8]

    Ivan Arzhantsev et al.Cox Rings. Vol. 144. Cambridge Studies in Advanced Math- ematics. Cambridge University Press, 2014.isbn: 9781107024625.doi:10 . 1017 / CBO9781139175852

    work page 2014

  9. [9]

    Around the Mukai conjecture for Fano manifolds

    Kento Fujita. “Around the Mukai conjecture for Fano manifolds”. In:European Journal of Mathematics2.1 (2016), pp. 120–139.doi:10.1007/s40879-015-0045-5

    work page doi:10.1007/s40879-015-0045-5 2016

  10. [10]

    A geometric characterization of toric varieties

    Morgan Brown et al. “A geometric characterization of toric varieties”. In:Duke Math- ematical Journal167.5 (2018), pp. 923–968.doi:10.1215/00127094-2017-0047

    work page doi:10.1215/00127094-2017-0047 2018

  11. [11]

    The generalized Mukai conjecture for toric log Fano pairs

    Kento Fujita. “The generalized Mukai conjecture for toric log Fano pairs”. In:European Journal of Mathematics5.3 (2019), pp. 858–871.doi:10.1007/s40879-018-0302-5

    work page doi:10.1007/s40879-018-0302-5 2019

  12. [12]

    The Mukai conjecture for Fano quiver moduli

    Markus Reineke. “The Mukai conjecture for Fano quiver moduli”. In:Algebra and Representation Theory27.4 (2024), pp. 1641–1644.doi:10 . 1007 / s10468 - 024 - 10268-8

    work page 2024

  13. [13]

    Enwright et al.Characterization of products of projective spaces via nef complexity

    J. Enwright et al.Characterization of products of projective spaces via nef complexity. 2025.doi:10.48550/arXiv.2512.13637. arXiv:2512.13637 [math.AG]

    work page doi:10.48550/arxiv.2512.13637 2025

  14. [14]

    2025.doi:10.48550/arXiv.2502.21155

    Giuliano Gagliardi, Johannes Hofscheier, and Heath Pearson.The generalised Mukai conjecture for spherical varieties. 2025.doi:10.48550/arXiv.2502.21155. arXiv: 2502.21155 [math.AG]. School of Mathematical Sciences, University of Nottingham, Nottingham, NG7 2RD, UK, Email address:heath.pearson@nottingham.ac.uk URL:sites.google.com/view/heathpearson

    work page doi:10.48550/arxiv.2502.21155 2025