pith. sign in

arxiv: 2505.09585 · v2 · pith:SLOREGUHnew · submitted 2025-05-14 · 🧮 math.AG · math.AC· math.CO· math.QA· math.RT

Valuative independence and cluster theta reciprocity

Man-Wai Cheung , Timothy Magee , Travis Mandel , Greg Muller This is my paper

Pith reviewed 2026-05-22 14:59 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.COmath.QAmath.RT
keywords theta functionsscattering diagramscluster varietiesvaluative independencetheta reciprocityseed datumalgebraic geometry
0
0 comments X

The pith

Theta functions from positive scattering diagrams satisfy valuative independence and reciprocity for cluster varieties.

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

The paper shows that theta functions built from positive scattering diagrams obey valuative independence, so the valuation of their linear combination equals the smallest valuation among the terms. This property leads to proofs of linear independence for specialized theta functions and a gluing construction for functions coming from local systems on marked surfaces. Using a new seed datum framework, the authors establish theta reciprocity, a symmetry equating the valuation of one theta function at a point to that of another at the dual point. These results together allow one to recognize theta functions as bases for global sections of line bundles on partial compactifications of cluster varieties. A reader would care because such independence and symmetry provide algebraic tools to manage bases in the geometry of cluster varieties without needing case-by-case analysis.

Core claim

Theta functions constructed from positive scattering diagrams satisfy valuative independence: for certain valuations val_v, val_v(sum c_u ϑ_u) equals the minimum of val_v(ϑ_u) over nonzero coefficients. Theta functions for cluster varieties satisfy theta reciprocity: val_v(ϑ_u) equals val_u(ϑ_v). These are proved using a new seed datum framework for cluster-type varieties, and together they identify theta function bases for sections of line bundles on partial compactifications.

What carries the argument

The seed datum framework, which captures the structure of cluster-type varieties to prove the reciprocity relation between valuations of theta functions.

If this is right

  • Linear independence of theta functions with specialized coefficients follows from valuative independence.
  • Characterization of theta functions unchanged by unfreezing an index in the cluster structure.
  • General gluing result for theta functions arising from moduli of local systems on marked surfaces.
  • Identification of bases consisting of theta functions for global sections of line bundles on partial compactifications of cluster varieties.

Where Pith is reading between the lines

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

  • These properties may simplify computations of section spaces in mirror symmetry contexts involving cluster varieties.
  • Applying the reciprocity to specific examples like Grassmannians could yield explicit bases not previously known.
  • Valuative independence might extend to other classes of functions beyond theta functions in scattering diagram constructions.

Load-bearing premise

Positive scattering diagrams and the seed datum framework correctly represent the geometry of cluster varieties without introducing inconsistencies that break the independence or reciprocity.

What would settle it

Finding a positive scattering diagram where some linear combination of theta functions has valuation strictly greater than the minimum of the individual valuations, or a cluster variety where val_v(ϑ_u) does not equal val_u(ϑ_v) for some indices u and v.

read the original abstract

We prove that theta functions constructed from positive scattering diagrams satisfy valuative independence. That is, for certain valuations $\operatorname{val}_{v}$, we have $\operatorname{val}_v(\sum_u c_u \vartheta_u)=\min_{c_u\neq 0} \operatorname{val}_v(\vartheta_u)$. As applications, we prove linear independence of theta functions with specialized coefficients and characterize when theta functions for cluster varieties are unchanged by the unfreezing of an index. This yields a general gluing result for theta functions from moduli of local systems on marked surfaces. We then prove that theta functions for cluster varieties satisfy a symmetry property called theta reciprocity: briefly, $\operatorname{val}_v(\vartheta_u)=\operatorname{val}_u(\vartheta_v)$. For this we utilize a new framework called a "seed datum" for understanding cluster-type varieties. One may apply valuative independence and theta reciprocity together to identify theta function bases for global sections of line bundles on partial compactifications of cluster varieties.

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

2 major / 2 minor

Summary. The paper proves that theta functions constructed from positive scattering diagrams satisfy valuative independence: for certain valuations val_v, val_v(sum c_u ϑ_u) equals the minimum of val_v(ϑ_u) over nonzero coefficients. Applications include linear independence of specialized theta functions and a characterization of invariance under unfreezing an index, yielding a gluing result for theta functions arising from moduli of local systems on marked surfaces. Using a new seed datum framework for cluster-type varieties, the paper then establishes theta reciprocity: val_v(ϑ_u) = val_u(ϑ_v). These properties are combined to identify theta bases for global sections of line bundles on partial compactifications of cluster varieties.

Significance. If the central claims hold, the results supply concrete tools for controlling bases of global sections on cluster varieties and their compactifications, with immediate applications to the geometry of moduli spaces of local systems. The valuative independence property and the reciprocity symmetry are potentially useful for computations in cluster algebra theory. The seed datum abstraction, if verified to reproduce standard constructions, could streamline arguments involving mutations and frozen variables.

major comments (2)
  1. [§4] §4 (Seed datum framework): The paper asserts that the seed datum formalism captures the structure of cluster-type varieties and reproduces the theta functions and valuations from the standard GHKK scattering-diagram construction, but provides no explicit verification on a low-rank example such as the A_2 cluster variety (including mutation rules for frozen variables and the precise definition of val_v). This equivalence is load-bearing for transferring the reciprocity statement val_v(ϑ_u)=val_u(ϑ_v) to actual cluster varieties.
  2. [Theorem 5.3] Theorem 5.3 (Gluing result): The proof that theta functions are unchanged by unfreezing relies on valuative independence applied after the seed datum construction; however, the argument does not explicitly check that positivity of the scattering diagram is preserved under the unfreezing operation, which is required for the independence statement to apply directly.
minor comments (2)
  1. [Abstract] The abstract refers to 'certain valuations val_v' without a forward reference to their definition in §2; adding a parenthetical pointer would improve readability.
  2. [§6] Notation for the theta functions ϑ_u is introduced in §2 but the dependence on the seed datum is not restated when the reciprocity theorem is stated in §6; a brief reminder would clarify the setting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments on our manuscript. We address each major comment below and will make revisions to improve the clarity and completeness of the arguments.

read point-by-point responses

  1. Referee: [§4] §4 (Seed datum framework): The paper asserts that the seed datum formalism captures the structure of cluster-type varieties and reproduces the theta functions and valuations from the standard GHKK scattering-diagram construction, but provides no explicit verification on a low-rank example such as the A_2 cluster variety (including mutation rules for frozen variables and the precise definition of val_v). This equivalence is load-bearing for transferring the reciprocity statement val_v(ϑ_u)=val_u(ϑ_v) to actual cluster varieties.

    Authors: We acknowledge that an explicit verification on a low-rank example would enhance the reader's confidence in the seed datum framework. In the revised version, we will add a new subsection or appendix providing a detailed check for the A_2 cluster variety. This will include the explicit seed datum, mutation rules for frozen variables, the definition of the valuation val_v, and a verification that the resulting theta functions and valuations coincide with those obtained from the standard GHKK scattering diagram construction. This addition will make the application of the reciprocity result to standard cluster varieties more direct. revision: yes

  2. Referee: [Theorem 5.3] Theorem 5.3 (Gluing result): The proof that theta functions are unchanged by unfreezing relies on valuative independence applied after the seed datum construction; however, the argument does not explicitly check that positivity of the scattering diagram is preserved under the unfreezing operation, which is required for the independence statement to apply directly.

    Authors: We appreciate this observation. The preservation of positivity under unfreezing follows from the fact that unfreezing an index corresponds to a specific extension of the scattering diagram where all new walls have positive coefficients, consistent with the cluster algebra structure. Nevertheless, to address the referee's concern directly, we will include an explicit verification or a short lemma in the revised manuscript showing that the scattering diagram remains positive after unfreezing. This will ensure that the valuative independence applies without additional assumptions. revision: yes

Circularity Check

0 steps flagged

Direct proofs via new seed datum framework; no reduction to inputs by construction

full rationale

The paper derives valuative independence directly from positive scattering diagrams and proves theta reciprocity inside the newly introduced seed datum formalism for cluster-type varieties. The framework is presented as a modeling tool that captures the relevant structure, with results following from its definitions and the scattering diagram positivity assumption. No quoted step equates a claimed prediction or theorem to a fitted parameter or prior self-citation by construction. The equivalence to standard GHKK constructions is asserted as part of the framework's purpose rather than presupposed in a circular manner. This yields a self-contained derivation chain against the paper's internal benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The results rest on the domain assumption that the scattering diagrams are positive and on the ad-hoc introduction of the seed datum framework whose consistency is not independently verified in the abstract.

axioms (2)
  • domain assumption Scattering diagrams are positive
    Valuative independence is asserted specifically for theta functions constructed from positive scattering diagrams.
  • ad hoc to paper Seed datum framework correctly models cluster-type varieties
    New framework introduced to prove theta reciprocity.
invented entities (1)
  • seed datum no independent evidence
    purpose: Organizing structure for cluster-type varieties to establish reciprocity
    Introduced in the paper as a new framework

pith-pipeline@v0.9.0 · 5714 in / 1219 out tokens · 48917 ms · 2026-05-22T14:59:15.435765+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Valuative independence for Calabi--Yau varieties

    math.AG 2026-04 unverdicted novelty 7.0

    Valuatively independent bases are constructed for sections on log CY pairs and regular functions on affine CY pairs, inducing canonical skeleton functions expected to agree with theta tropicalizations.

  2. Valuative independence and metric SYZ conjecture

    math.AG 2026-05 unverdicted novelty 5.0

    Assuming a canonical basis of the section ring satisfies valuative independence, the metric SYZ conjecture holds for polarised maximal degenerations of compact Calabi-Yau manifolds.