{"id":"1e615337-a2bc-4e9f-bf89-8e0149b1d1e2","arxiv_id":"2412.04173","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A general lifting procedure produces graded upper cluster algebra structures, or the unique candidates for them, on Cox rings, with applications to flag varieties and a new diagonal partial compactification.","lead":"This paper shows how to build a graded cluster algebra sitting inside the Cox ring of a smooth algebraic variety, starting from a cluster structure on an open subset. The main payoff is a proof that certain partial compactifications of cluster varieties have Cox rings that are upper cluster algebras, and a geometric rederivation of a known flag-variety construction.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Core lifting theorems imported from unpublished preprint [Fra23] are the sole basis for A_up ⊆ Cox(Z); a flaw there would void all main claims.","rationale":"The reader's weakest assumption correctly identifies the dependence on [Fra23] as the single most load-bearing point. I agree with that assessment. The paper is otherwise coherent and gives real content: the geometric examples (projective space, toric varieties, the Fano surface) illustrate the construction, and once the minimal monomial lifting machinery is granted, the proof of Theorem 5.8 is self-contained and the comparison with Geiss–Leclerc–Schröer in Theorem 4.6 is plausible. However, the absence of proofs for Theorems 2.17 and 2.18 means the central claim is not independently verifiable from this manuscript alone. This is not an accusation of error; it is a request for evidence. The concrete test above would provide a computational check for the new class of spaces introduced in Section 5. Should the test pass, the remaining concern reduces to the generality of [Fra23], which can be settled by that preprint's publication or independent verification. Therefore the reader's CONDITIONAL verdict remains appropriate and no adjustment is needed.","tokens_in":34249,"tokens_out":8017,"duration_ms":80554,"concrete_test":"Verify Theorem 2.17 in a concrete instance of the new diagonal partial compactification without citing [Fra23]. Take the A2-type seed of Example 5.13 (quiver ■1'–©1–■2), build Z as its diagonal partial compactification, and compute the upper cluster algebra A(↿tD) from the lifted seed ↿tD by intersecting the two relevant Laurent polynomial rings. Compute Cox(Z) from its known presentation: generators σ1', ↿x1, ↿x2, x1' with the single relation ↿x1·x1' = 1 + ↿x2. Check the equality A(↿tD) = Cox(Z) and the localization identity A(↿t) = O(Cox(Z)_{σ1'}). If the equality and localization identity hold, the imported theorem is consistent with this new class; if they fail, the imported theorem is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim (Theorem 3.6) that the minimal monomial lifting ↿A of a cluster structure on an open subset Y lands inside Cox(Z), and Theorem 1.2 that ↿A is the unique candidate for a compatible full cluster structure, are both imported verbatim from the author's unpublished preprint [Fra23] as Theorems 2.17 and 2.18, with Proposition 2.19 providing the equality criterion. No proofs are reproduced here; the paper only cites [Fra23]. Every main application leans on these imports: Theorem 4.4 cites [Fra23, Thm 8.3.2]; Theorem 4.6 uses [Fra23, Prop 3.0.9] to identify GLS's seed with the lifted seed; Theorem 5.8's contradiction argument uses Proposition 2.19 and the localization identity A(↿tD)∏σd = Cox(Z)∏σd that comes from Theorem 2.17. If any of these imported results contains a subtle error or an unrecognized extra hypothesis (e.g., quasi-affineness of X or factoriality conditions beyond those stated), the existence of the constructed cluster subalgebra itself is not established. The diagonal partial compactification of Section 5 is a new class of schemes where the applicability of the imported theorems is asserted rather than independently verified, making the dependence particularly acute.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a method to construct graded cluster structures on Cox rings. For a smooth complex variety Z and an open subset Y with Pic(Y) = 0 and O(Y)^× = C^×, given a maximal-rank cluster seed t with O(Y) = A(t), the author applies 'minimal monomial lifting' (developed in the unpublished preprint [Fra23]) to obtain a Pic(Z)-graded upper cluster algebra A_up(↿tD) inside Cox(Z), with the localization of A_up at the product of boundary sections equal to the localization of Cox(Z) at that same element. If a compatible full cluster structure exists, it must equal A_up(↿tD). The paper gives examples (projective space, toric varieties, a Fano surface), shows that for complete flag varieties the construction recovers the Geiss-Leclerc-Schröer cluster structure, and introduces a new class of 'diagonal partial compactifications' of finite cluster varieties, for which equality of A_up and Cox(Z) is proved.","tokens_in":34545,"tokens_out":13743,"duration_ms":130800,"significance":"If the imported results of [Fra23] are correct, this paper provides a general and flexible framework for showing that Cox rings are upper cluster algebras. The flag-variety application recovers the known GLS construction by geometric methods, and the diagonal partial compactification (Section 5) yields a new infinite family of (possibly non-separated) varieties whose Cox rings are provably upper cluster algebras. The examples are worked in detail and the writing is clear. The main caveat is the heavy dependence on the author's own unpublished preprint [Fra23] for the lifting theorems that power every construction in the paper.","major_comments":[{"comment":"These theorems are quoted from the unpublished preprint [Fra23] and carry the entire weight of the construction: Theorem 3.6, Theorem 1.1, and Theorem 1.2 are all derived from them. Because [Fra23] is not published, the referee cannot verify the core inclusion A_up(↿tD) ⊆ Cox(Z) or the uniqueness statement. The author should either reproduce the proofs (at least of Theorem 2.17) or provide a detailed statement with hypotheses that can be checked. As it stands, this is a load-bearing gap for the paper's central claims.","section":"Section 2.2, Theorems 2.17 and 2.18"},{"comment":"The two flag-variety applications are not self-contained. Theorem 4.4 is a direct reformulation of [Fra23, Theorem 8.3.2], and Theorem 4.6 relies on [Fra23, Proposition 3.0.9] to identify the extended exchange matrix. Without access to [Fra23], these results cannot be verified from the present text.","section":"Section 4, Theorems 4.4 and 4.6"},{"comment":"The proof assumes that any f ∈ Cox(Z) with negative cluster valuation can be written as P/↿x_{k'} with P a polynomial in the cluster variables of the initial seed. Since elements of the upper cluster algebra A(↿tD) are generally Laurent polynomials rather than ordinary polynomials in a given cluster, the reduction to polynomial form is not automatic. The author should justify this reduction, in particular how denominators in unfrozen variables are eliminated while preserving the negativity of the cluster valuation.","section":"Section 5.1, proof of Theorem 5.8, Step 1"},{"comment":"The diagonal partial compactification Z is allowed to be non-separated (Example 5.3), and the paper uses the Cox sheaf and its characteristic space for such schemes without giving a reference or proof. Since the relative spectrum of a sheaf of algebras on a non-separated scheme is not entirely standard, the author should explain why the construction of Section 2.4 remains valid in this setting.","section":"Section 5, Definition 5.2 and Remark 2.21"}],"minor_comments":[{"comment":"The word 'di scuss' should be 'discuss'.","section":"Abstract"},{"comment":"The sentence 'In would be interesting to understand...' should read 'It would be interesting to understand...'.","section":"Section 1, page 5"},{"comment":"The computation of V_{E_d}(χ^{v_k^*}) = ⟨v_k^*, v_d⟩ would benefit from an explicit line for readers not familiar with toric geometry.","section":"Section 3.3.2"},{"comment":"The quiver would be easier to follow if displayed as a figure; the current text description is dense.","section":"Section 5, Example 5.12"}],"recommendation":"major_revision","confidential_remarks":"The manuscript leans heavily on the author's own unpublished preprint [Fra23], both for the main construction and for the flag-variety applications. The editor may wish to check whether [Fra23] is under review and to consider whether the present paper should be evaluated only after the foundational results are in a citable, peer-reviewed form. The most novel part is the diagonal partial compactification in Section 5; the flag-variety sections are largely imported. The referee recommends major revision with the expectation that the author either supplies the missing proofs or demonstrates that [Fra23] is available in a form that permits independent verification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take on Francone's paper.\n\nThe genuinely new content is the package: passing from a cluster structure on an open subset Y of Z to a graded upper cluster subalgebra of Cox(Z) via the characteristic space, plus the diagonal partial compactification where equality is proven. The diagonal partial compactification (Section 5) is new as far as I know, and Theorem 5.8 is a real theorem with a real proof. The Fano surface example is concrete and correctly illustrates the machinery. I also found the identification in Theorem 4.6 of Geiss-Leclerc-Schröer's homogenized seed with the minimal monomial lifting meaningful: it shows the construction is not merely analogous but recovers a known cluster structure, even if that application does not solve a new problem. The toric examples are clean and match Cox's classical presentation.\n\nThe soft spots are real but not fatal. The main one is dependency: the inclusion A_up ⊆ Cox(Z) and the uniqueness theorem are imported from the author's unpublished preprint [Fra23], and all main applications lean on them. If [Fra23] has a subtle missing hypothesis, the construction collapses. This is not circularity—the paper builds A_up from the base seed and then proves equality—but it means the paper cannot be fully evaluated on its own. The second issue is framing: the abstract says \"construct a graded cluster algebra structure on the Cox ring,\" while Theorem 1.1 and Theorem 3.6 only give a subalgebra, with equality in special cases. The body is honest about this, but the abstract overstates. Third, the hypotheses (maximal rank, Pic(Y)=0, coprimality/factoriality) are standard but nontrivial; they restrict the base cluster structures to which the machinery applies.\n\nThe citation pattern looks reasonable; [Fra23] is central but that is legitimate. I did not find evidence that conclusions are assumed. The examples are computed rather than derived from the general theorem, which is good supporting evidence.\n\nVerdict: send it to a serious referee. The referee should be asked to verify [Fra23], or the author should provide proofs of the lifting results in an appendix. I would not desk-reject, but I would not accept without that.","headline":"A serious, mostly well-executed translation of the author's minimal monomial lifting machinery to Cox rings, with a genuinely new construction and a clean equality theorem in the diagonal partial compactification; the main caveats are heavy reliance on the unpublished [Fra23] and an abstract that overstates the general result.","tokens_in":35035,"tokens_out":2824,"would_cite":true,"duration_ms":31467,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13F60","14C20","14M17","14M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Cox rings inherit graded cluster structures from open subsets.","keywords":["cluster algebra","upper cluster algebra","Cox ring","minimal monomial lifting","flag variety","toric variety","partial compactification","Cox sheaf"],"falsifier":"Take the diagonal partial compactification $Z$ of the $A_2$ cluster variety from Example 5.13. Compute the Cox ring directly as the ring of global sections of $\\mathcal{O}(E_{1'})$ and check whether it is generated by the four listed elements $\\sigma_{1'}$, $\\sigma_{1'}x_1$, $x_2$, $x_1^{(1)}$ subject to $x_1 x_1^{(1)} = 1 + x_2$; any additional homogeneous section in positive degree would contradict Theorem 5.8.","tokens_in":34057,"feed_emoji":"📐","tokens_out":10733,"duration_ms":91568,"temperature":0.7,"pith_summary":"The paper sets out to show that the Cox ring of a smooth complex variety carries a graded cluster structure whenever an open subset of the variety carries one. Given an open subset $Y$ with trivial Picard group and only constant invertible functions, a maximal-rank cluster structure on $\\mathcal{O}_Y(Y)$ is lifted to a $\\mathrm{Pic}(Z)$-graded upper cluster algebra inside $\\mathrm{Cox}(Z)$, and the lift is the unique candidate for a compatible cluster structure on the whole Cox ring. The author proves equality in two main cases: the complete flag variety, where the construction recovers a known cluster algebra, and the diagonal partial compactification of a finite cluster variety, where it produces a new cluster structure on the Cox ring. A reader should care because Cox rings are central in birational geometry but are usually hard to describe, while upper cluster algebras have explicit combinatorial structure.","feed_headline":"Cox rings inherit cluster structures from open subsets","feed_subtitle":"A lifting construction recovers known flag-variety cluster algebras and writes new Cox rings as upper cluster algebras.","key_machinery":"The engine is minimal monomial lifting, imported from the author's earlier work. Starting from a seed $t$ for $\\mathcal{O}_Y(Y)$, one records the orders of poles of cluster variables along the boundary divisors of $Y$ in $Z$ in a matrix $\\nu$, then enlarges the seed with new frozen variables indexed by those divisors; the degree of each new variable is the corresponding basis class of $\\mathrm{Pic}(Z)$. The resulting lifted seed has the same mutable vertices as $t$, and its upper cluster algebra is $\\mathcal{A}^{\\uparrow}$. The geometric input is the standard homogeneously suitable for lifting structure: the characteristic space $\\mathrm{Spec}(\\mathcal{R}_L)$ of the Cox sheaf, with its torus action and the boundary sections as frozen variables. The key identity is the localization formula $\\mathcal{A}^{\\uparrow}_{\\prod \\sigma_d} = \\mathrm{Cox}(Z)_{\\prod \\sigma_d}$, which reduces equality questions to cluster valuations along boundary divisors.","core_discovery":"The central claim is Theorem 3.6: if $Z$ is smooth, $Y$ is open with $\\mathrm{Pic}(Y)=\\{0\\}$ and $\\mathcal{O}_Y(Y)^{\\times}=\\mathbb{C}^{\\times}$, and $\\mathcal{O}_Y(Y)$ is an upper cluster algebra from a maximal-rank seed satisfying the coprimality conditions, then the minimal monomial lifting of that seed with respect to the standard homogeneously suitable lifting structure of the Cox sheaf yields a $\\mathrm{Pic}(Z)$-graded upper cluster algebra $\\mathcal{A}^{\\uparrow}$ contained in $\\mathrm{Cox}(Z)$, and localization at the product $M$ of the boundary-divisor sections gives $\\mathcal{A}^{\\uparrow}_M = \\mathrm{Cox}(Z)_M$. Theorem 2.18 adds uniqueness: $\\mathcal{A}^{\\uparrow}$ is the only graded upper cluster algebra compatible with the base structure that could equal $\\mathrm{Cox}(Z)$. The equality cases are Theorem 4.4, where for a complete flag variety the lifted algebra is all of $\\mathrm{Cox}(Z^{-})$, and Theorem 5.8, where for the diagonal partial compactification of a finite cluster variety the lifted algebra is all of $\\mathrm{Cox}(Z)$.","pith_inferences":["The two equality theorems suggest a general heuristic: $\\mathcal{A}^{\\uparrow}$ should equal $\\mathrm{Cox}(Z)$ whenever the complement of $Y$ in the characteristic space has codimension at least two; the paper proves this pattern in the flag and diagonal-compactification cases but does not state it as a general criterion.","When the lifted upper cluster algebra is finitely generated and equal to the Cox ring, the Cox ring is finitely generated even if $Z$ is non-projective; the paper's non-separated $A_2$ example is an instance, but the implication for finite generation is left implicit.","The lifting matrix $\\nu$, recording pole orders of cluster variables along boundary divisors, may link cluster combinatorics to Mori-theoretic invariants such as movable and nef cones of $Z$; the paper does not explore this connection."],"forward_implications":["Any smooth variety with an open subset carrying a maximal-rank cluster structure acquires a canonical graded upper cluster algebra inside its Cox ring.","The uniqueness statement means that two graded cluster structures on the Cox ring extending the same structure on the open subset must coincide.","For complete flag varieties, the lifted algebra fills the whole Cox ring, so the full multi-homogeneous coordinate ring carries the cluster structure.","For diagonal partial compactifications of finite cluster varieties, the Cox ring is explicitly a graded upper cluster algebra; in the $A_2$ example this yields a finite presentation with one relation.","The same lifting machinery applies to rings of global sections of sheaves of divisorial algebras, not only to Cox rings."],"supporting_citations":[{"why":"Supplies the minimal monomial lifting theorems (Theorems 2.17 and 2.18) that the Cox-ring construction is built on.","marker":"[Fra23]"},{"why":"Introduces cluster algebras and the Laurent phenomenon, the combinatorial framework being lifted.","marker":"[FZ02]"},{"why":"Defines upper cluster algebras and upper bounds, used to identify the ring of functions on the open subset with an upper cluster algebra.","marker":"[BFZ05]"},{"why":"Provides the cluster structure on partial flag variety coordinate rings that Theorem 4.6 recovers by geometric methods.","marker":"[GLS08]"},{"why":"Supplies the upper cluster algebra structure on the open Schubert cell used as the base seed for flag varieties.","marker":"[GY21]"},{"why":"Gives the earlier construction of the Schubert-cell cluster structure related to the Goodearl–Yakimov one.","marker":"[GLS11]"},{"why":"Describes Cox rings of toric varieties, the example that the construction reproduces in the toric case.","marker":"[Cox95]"},{"why":"Defines cluster varieties, the setting in which the diagonal partial compactification is constructed.","marker":"[FG09]"},{"why":"Provides the Cox sheaf and characteristic space formalism used to set up the lifting structure.","marker":"[ADHL15]"},{"why":"Supplies the factoriality criterion used to verify the coprimality hypotheses.","marker":"[CKQ24]"}],"fun_headline_variants":["Cox rings become upper cluster algebras via monomial lifting","Geometric lifting recovers known flag-variety cluster algebras","Lifting seeds turns Cox rings into graded cluster algebras","New cluster algebras from Cox ring lifting","Cluster structures lift from open subsets to Cox rings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction rests on the minimal monomial lifting theorems of the author's earlier work, which are cited rather than proved here; if the inclusion and uniqueness results from that work were to fail, the Cox-ring cluster structures described in this paper would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Cox rings become upper cluster algebras via monomial lifting","Geometric lifting recovers known flag-variety cluster algebras","Lifting seeds turns Cox rings into graded cluster algebras","New cluster algebras from Cox ring lifting","Cluster structures lift from open subsets to Cox rings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000927,"raw_usage":{"total_tokens":3970,"prompt_tokens":945,"completion_tokens":3025,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":561,"completion_tokens_details":{"reasoning_tokens":2950}},"tokens_in":561,"tokens_out":3025,"duration_ms":19486,"temperature":1.0,"reasoning_tokens":2950,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T21:40:48.030830+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the diagonal partial compactification $Z$ of the $A_2$ cluster variety from Example 5.13. Compute the Cox ring directly as the ring of global sections of $\\mathcal{O}(E_{1'})$ and check whether it is generated by the four listed elements $\\sigma_{1'}$, $\\sigma_{1'}x_1$, $x_2$, $x_1^{(1)}$ subject to $x_1 x_1^{(1)} = 1 + x_2$; any additional homogeneous section in positive degree would contradict Theorem 5.8.","supporting_citations":[],"review_version":1}