pith. sign in

arxiv: 2603.28634 · v2 · pith:IIGNEA7Fnew · submitted 2026-03-30 · 🧮 math.RT

A path model for MV polytopes in type A_n

Zijun Li This is my paper

Pith reviewed 2026-05-19 16:55 UTC · model grok-4.3

classification 🧮 math.RT
keywords MV polytopesone-skeleton pathsMirkovic-Vilonen polytopescluster variablestype A_nHarder-Narasimhan polytopessubword complexesfolded galleries
0
0 comments X

The pith

Orientations of the fundamental alcove produce paths that exactly label the cluster variables in the initial seed of C[N].

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

The paper develops a one-skeleton path model for Mirkovic-Vilonen polytopes in type A_n. Minkowski sums of the polytopes are shown to equal concatenations of the associated paths. Fundamental paths give Harder-Narasimhan polytopes. Orientations of the fundamental alcove yield paths that parameterize the cluster variables of C[N]. The same paths correspond to folded galleries for maximal faces of subword complexes, and this match preserves the comultiplication on C[N].

Core claim

In type A_n the one-skeleton paths arising from an orientation of the fundamental alcove parameterize precisely the cluster variables in the initial seed of the coordinate ring C[N]. The model equates Minkowski sums of MV polytopes with path concatenations, identifies the polytopes induced by fundamental paths as Harder-Narasimhan polytopes, and produces a correspondence with folded galleries that carries the comultiplication structure of C[N] to the intrinsic comultiplication on projections to sub-Coxeter complexes.

What carries the argument

The one-skeleton path model for MV polytopes, in which paths are concatenated to realize Minkowski sums and oriented fundamental alcove paths label cluster variables.

If this is right

  • Minkowski sum of two MV polytopes equals concatenation of their one-skeleton paths.
  • MV polytopes induced by fundamental one-skeleton paths are Harder-Narasimhan polytopes.
  • Oriented fundamental alcove paths label exactly the cluster variables in the initial seed of C[N].
  • The correspondence with folded galleries carries the comultiplication of C[N] to the gallery comultiplication given by projections to sub-Coxeter complexes.

Where Pith is reading between the lines

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

  • Path concatenation may supply an efficient combinatorial algorithm for multiplying or adding cluster variables.
  • The model could extend to give path descriptions of MV polytopes in other Dynkin types.
  • The link to subword complexes offers a new combinatorial route to study the geometry of representation varieties via maximal faces.

Load-bearing premise

The newly defined one-skeleton paths must faithfully encode the combinatorial and geometric data of MV polytopes so that path concatenation reproduces Minkowski sums and alcove orientations reproduce the cluster variables of C[N].

What would settle it

An explicit pair of MV polytopes in type A_n whose Minkowski sum fails to equal the concatenation of their one-skeleton paths, or a cluster variable in the initial seed of C[N] with no corresponding oriented fundamental alcove path.

read the original abstract

We introduce a one-skeleton path model for Mirkovic-Vilonen polytopes in type A_n. We prove that the Minkowski sum of (MV) polytopes corresponds to the concatenation of one-skeleton paths of this model. We show that MV polytopes induced by fundamental one-skeleton paths are Harder-Narasimhan polytopes. The paths given by an orientation of the fundamental alcove parameterize precisely the cluster variables in the initial seed of the coordinate ring C[N]. We also establish a correspondence between fundamental one-skeleton paths and folded galleries representing maximal faces of subword complexes. Under this correspondence, the comultiplication structure of C[N] matches the intrinsic comultiplication structure of folded galleries given by projections to sub-Coxeter complexes.

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 introduces a one-skeleton path model for Mirković-Vilonen (MV) polytopes in type A_n. It proves that Minkowski sums of MV polytopes correspond to concatenations of these paths, identifies MV polytopes arising from fundamental one-skeleton paths with Harder-Narasimhan polytopes, and asserts that paths obtained from orientations of the fundamental alcove parameterize precisely the cluster variables in the initial seed of the coordinate ring C[N]. It further establishes a correspondence between these fundamental paths and folded galleries for maximal faces of subword complexes, under which the comultiplication on C[N] matches the intrinsic comultiplication on the galleries via projections to sub-Coxeter complexes.

Significance. If the central parameterization claim holds with a rigorous bijection, the work supplies a new combinatorial bridge between MV polytopes, cluster algebras, and subword complexes in type A. The structural result equating Minkowski sums with path concatenations and the link to Harder-Narasimhan polytopes would be useful additions to the literature on geometric representation theory.

major comments (2)
  1. [main parameterization theorem / abstract claim] The abstract and the statement of the main parameterization result (appearing after the discussion of fundamental paths and before the gallery correspondence): the claim that alcove orientations 'parameterize precisely' the initial-seed cluster variables is not secured by an independent cardinality argument or explicit enumeration for small n (e.g., n=2,3). The argument via the folded-gallery correspondence and subword-complex faces establishes structural compatibility but does not by itself demonstrate injectivity or surjectivity of the map; an explicit count matching the known rank of the initial seed of C[N] (equal to the number of positive roots in A_n) is needed to confirm the bijection.
  2. [Minkowski sum / path concatenation section] Section on the one-skeleton path model (likely §2–3): while the correspondence between Minkowski sums and path concatenations is stated for general MV polytopes, the verification appears to rely primarily on the fundamental paths and their extensions; it is unclear whether the argument extends without additional hypotheses to arbitrary MV polytopes obtained by Minkowski sums, which is load-bearing for the claim that the model is faithful for the entire polytope semigroup.
minor comments (2)
  1. [figures and notation] Figure captions and the definition of 'one-skeleton paths' could include a small explicit example (e.g., for A_2) to illustrate how an alcove orientation produces a path and the corresponding cluster variable.
  2. [introduction / main theorem] A reference to the known dimension or number of cluster variables in the initial seed of C[N] (or to the relevant cluster algebra literature) should be added when stating the 'precisely' claim, to make the cardinality comparison immediate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive comments on the manuscript. We address each major comment below and will revise the paper to strengthen the exposition and add explicit verifications where suggested.

read point-by-point responses

  1. Referee: The abstract and the statement of the main parameterization result (appearing after the discussion of fundamental paths and before the gallery correspondence): the claim that alcove orientations 'parameterize precisely' the initial-seed cluster variables is not secured by an independent cardinality argument or explicit enumeration for small n (e.g., n=2,3). The argument via the folded-gallery correspondence and subword-complex faces establishes structural compatibility but does not by itself demonstrate injectivity or surjectivity of the map; an explicit count matching the known rank of the initial seed of C[N] (equal to the number of positive roots in A_n) is needed to confirm the bijection.

    Authors: We thank the referee for this observation. The correspondence with maximal faces of the relevant subword complex is bijective by construction in the manuscript, and the number of such faces equals the number of positive roots in A_n by standard results on subword complexes. To make the parameterization fully self-contained and address the concern about injectivity and surjectivity, we will add an explicit enumeration subsection for n=2 (3 positive roots) and n=3 (6 positive roots). This will list all alcove-oriented paths, confirm they are distinct, and match them to the known initial-seed cluster variables of C[N], thereby providing an independent cardinality check. revision: yes

  2. Referee: Section on the one-skeleton path model (likely §2–3): while the correspondence between Minkowski sums and path concatenations is stated for general MV polytopes, the verification appears to rely primarily on the fundamental paths and their extensions; it is unclear whether the argument extends without additional hypotheses to arbitrary MV polytopes obtained by Minkowski sums, which is load-bearing for the claim that the model is faithful for the entire polytope semigroup.

    Authors: The argument in Sections 2–3 establishes the Minkowski sum–concatenation correspondence first for fundamental paths and then extends it to general MV polytopes by noting that every MV polytope decomposes as a sum of fundamentals and that the path model is additive by definition. We agree the extension could be stated more explicitly to remove any potential ambiguity. In the revised manuscript we will insert a dedicated lemma proving that the one-skeleton path of an arbitrary Minkowski sum equals the concatenation of the individual paths, using only the convexity and lattice-point characterization of MV polytopes, without additional hypotheses. This will make the faithfulness of the model for the full semigroup evident. revision: yes

Circularity Check

0 steps flagged

No circularity: new path model with independent proofs of correspondences

full rationale

The paper introduces a novel one-skeleton path model for MV polytopes and establishes its properties through explicit constructions and proofs: Minkowski sums map to path concatenations, fundamental paths yield Harder-Narasimhan polytopes, and orientations of the fundamental alcove parameterize cluster variables via links to folded galleries and subword complexes. These steps rely on newly defined objects and structural matches rather than reducing any central claim to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation remains self-contained against external combinatorial benchmarks in type A_n representation theory and cluster algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on the established theory of MV polytopes, cluster algebras, and subword complexes; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard definitions and properties of Mirkovic-Vilonen polytopes in type A_n from geometric representation theory.
    The paper builds directly on these prior objects and their known features.

pith-pipeline@v0.9.0 · 5646 in / 1000 out tokens · 50534 ms · 2026-05-19T16:55:55.790684+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.