pith. sign in

arxiv: 2605.25023 · v2 · pith:FD3GHRDJnew · submitted 2026-05-24 · 🧮 math.RT

Stability of Type A Mirkovi\'c-Vilonen Polytopes under Minkowski Sum via Weak Separation

Gleb A. Koshevoy , Fang Li , Lujun Zhang This is my paper

Pith reviewed 2026-06-29 23:50 UTC · model grok-4.3

classification 🧮 math.RT
keywords Mirković-Vilonen polytopesMinkowski sumweak separationSchubert matroid polytopestropical Plücker functionsmatroid subdivisionsgeneralized positroidstype A
0
0 comments X

The pith

The positive Minkowski sum of type A MV polytopes is again an MV polytope if and only if the indexing family is weakly separated.

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

The paper shows that in type A, Schubert matroid polytopes act as the basic prime MV polytopes. Their positive Minkowski sums remain MV polytopes exactly when the family of indexing sets satisfies weak separation. This condition is obtained by strengthening an earlier compatibility rule through the crystal structure on MV polytopes. The same weak separation is shown to be equivalent to the stability of associated matroid subdivisions under common refinement, linking the result to tropical Plucker functions and hypercube subdivisions.

Core claim

In type A, regarding Schubert matroid polytopes as fundamental prime MV building blocks, the positive Minkowski sum of such polytopes is again an MV polytope precisely when the indexing family is weakly separated. The crystal structure supplies the necessary and sufficient compatibility condition. Within discrete convex analysis this is equivalent to the stability of generalized matroid subdivisions under common refinement, and the MV fan is identified as the secondary fan of hypercube generalized positroid subdivisions, with maximal weakly separated sets corresponding to maximal cones.

What carries the argument

Weak separation of the indexing family of Schubert matroid polytopes, which enforces compatibility under Minkowski sum through the crystal structure and yields stable matroid subdivisions.

If this is right

  • Maximal weakly separated sets produce the finest hypercube generalized positroid subdivisions.
  • The MV fan coincides with the secondary fan of these subdivisions.
  • Generalized positroids and generalized polypositroids arise naturally from the construction.
  • The result gives a flag-type generalization of Early's hypersimplex matroid subdivisions.

Where Pith is reading between the lines

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

  • The same subdivision stability perspective could be used to test compatibility conditions in other combinatorial models of MV polytopes.
  • Connections between crystal structures and tropical Plucker functions may extend to questions about positroid varieties beyond type A.
  • The identification of the MV fan as a secondary fan suggests a way to compute MV polytopes via refinement algorithms on the hypercube.

Load-bearing premise

Schubert matroid polytopes can be treated as the fundamental prime MV building blocks whose crystal structure controls when their Minkowski sums remain MV polytopes.

What would settle it

Exhibit a family of Schubert matroid polytopes whose indexing sets are not weakly separated yet whose positive Minkowski sum is still an MV polytope, or a weakly separated family whose sum fails to be an MV polytope.

Figures

Figures reproduced from arXiv: 2605.25023 by Fang Li, Gleb A. Koshevoy, Lujun Zhang.

Figure 4
Figure 4. Figure 4: The picture of Dpad(I) when 1 ∈ I and n ∈ I When |X ∩ [n]| ≤ k, then |X ∩ [n + 1, 2n]| ≥ n − k. Thus the right brackets )’s in shaded boxes labeled by n + k + 1, · · · , 2n are all paired and we get the above relation. When |X ∩ [n]| < k, the boxes labeled by 1, · · · , n provide at least |X ∩ [n]| − k unpaired left brackets (’s. The total number of these unpaired (’s and the intersection of X with [n + 1,… view at source ↗
read the original abstract

Mirkovi\'c--Vilonen (MV) polytopes play a key role in the representation theory of reductive algebraic groups, while the geometric behavior of prime MV polytopes under Minkowski addition remains a subtle open problem. This paper focuses on type A and regards Schubert matroid polytopes as fundamental prime MV building blocks. Using the crystal structure on MV polytopes, we strengthen Sanchez's compatibility condition and establish a necessary and sufficient condition: the positive Minkowski sum of such polytopes is again an MV polytope precisely when the indexing family is weakly separated. Working within discrete convex analysis, we relate discrete concave tropical Pl\"ucker functions to concave extensions on the hypercube and the resulting generalized matroid subdivisions, showing that weak separation is equivalent to the stability of these subdivisions under common refinement. We further clarify the intrinsic connection between our subdivision constructions and the hypersimplex matroid subdivisions developed by Early, providing a natural flag-type generalization of his classical results. We briefly discuss generalized positroids and generalized polypositroids, and identify the MV fan $\mathcal{MV}$ as the secondary fan of hypercube generalized positroid subdivisions. Accordingly, maximal weakly separated sets correspond to maximal cones in $\mathcal{MV}$ and produce the finest such subdivisions. This work unifies MV polytope theory with tropical matroid geometry, advances the understanding of compatibility phenomena in MV combinatorics, and offers new perspectives at the interface of representation theory and combinatorics.

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 / 3 minor

Summary. The manuscript claims that in type A, the positive Minkowski sum of Schubert matroid polytopes (regarded as fundamental prime MV building blocks) is again an MV polytope if and only if the indexing family is weakly separated. This is obtained by strengthening Sanchez's compatibility condition via the crystal structure on MV polytopes; the argument further equates weak separation with stability of generalized matroid subdivisions under common refinement by relating discrete-concave tropical Plücker functions to concave extensions on the hypercube. The work connects these constructions to Early's hypersimplex matroid subdivisions, identifies the MV fan as the secondary fan of hypercube generalized positroid subdivisions, and notes that maximal weakly separated collections correspond to maximal cones in this fan.

Significance. If the central if-and-only-if criterion holds, the result supplies a precise combinatorial test for closure of (a class of) MV polytopes under Minkowski sum, unifies MV combinatorics with tropical matroid geometry, and furnishes a flag-type generalization of Early's subdivision results. The explicit link between weak separation, crystal operators, and the secondary fan structure of generalized positroid subdivisions strengthens the interface between representation theory and discrete convex analysis.

minor comments (3)
  1. [Abstract] Abstract, first paragraph: the phrase 'regards Schubert matroid polytopes as fundamental prime MV building blocks' is used without a forward reference to the section where this identification is justified; a parenthetical citation to the relevant definition or proposition would improve readability.
  2. [Abstract] Abstract, second paragraph: the sentence beginning 'Working within discrete convex analysis...' packs three distinct equivalences; splitting it or adding a short clause that names the theorem containing the main equivalence would make the logical flow clearer.
  3. [Introduction] The manuscript repeatedly invokes 'Sanchez's compatibility condition' and 'Early's subdivisions'; while the abstract states that the former is strengthened and the latter is generalized, a brief sentence in the introduction recalling the exact statements being modified would help readers who are not already expert in those references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the detailed summary of our manuscript and the positive evaluation of its significance. The recommendation for minor revision is noted. No specific major comments were raised in the report, so we have no point-by-point responses to provide at this stage. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained against external benchmarks

full rationale

The paper derives the necessary-and-sufficient condition (Minkowski sum of Schubert matroid polytopes is MV precisely when the family is weakly separated) by strengthening Sanchez's condition via crystal operators on MV polytopes and relating subdivisions to discrete-concave tropical Plücker functions and Early's hypersimplex subdivisions. These steps cite external prior results (Sanchez, Early) rather than self-citations by the present authors, and the equivalence to weak separation is presented as following from the crystal structure and generalized matroid subdivisions without reducing any prediction or central claim to a fitted parameter or self-referential definition. The identification of the MV fan as the secondary fan of hypercube generalized positroid subdivisions is framed as a unification result, not a renaming or ansatz smuggled via self-citation. No load-bearing step collapses by construction to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Ledger extracted solely from statements appearing in the abstract; the full manuscript is expected to contain additional technical axioms inside the proofs.

axioms (1)
  • domain assumption Schubert matroid polytopes serve as fundamental prime MV building blocks
    Explicitly adopted as the starting point for the type-A analysis.

pith-pipeline@v0.9.1-grok · 5805 in / 1217 out tokens · 28134 ms · 2026-06-29T23:50:38.256107+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

35 extracted references · 8 canonical work pages

  1. [1]

    Anderson, A polytope calculus for semisimple groups, Duke Math

    J. Anderson, A polytope calculus for semisimple groups, Duke Math. J. 116 (2003), 567-588

    2003

  2. [2]

    Anderson and M

    J. Anderson and M. Kogan, Mirkovi\'c-Vilonen cycles and polytopes in Type A, Internat. Math. Res. Not. (2004), 561-591

    2004

  3. [3]

    Positroids and non-crossing partitions

    Federico Ardila, Felipe Rin\'con, and Lauren Williams. Positroids and non-crossing partitions. Trans. Amer. Math. Soc., 368(1):337-363, 2016

    2016

  4. [4]

    A Speyer, Tropical Linear Spaces, SIAM Journal on Discrete Mathematics 2008

    David E. A Speyer, Tropical Linear Spaces, SIAM Journal on Discrete Mathematics 2008

    2008

  5. [5]

    Borovik, I

    A. Borovik, I. Gelfand, and N. White, Coxeter matroids, Birkh\"auser Boston, 2003

    2003

  6. [6]

    Arkady Berenstein, Sergey Fomin, Andrei Zelevinsky, Cluster algebras. III. Upper bounds and double Bruhat cells, Duke Math. J. 126 (2005), 1-52

    2005

  7. [7]

    Bonin, Anna de Mier, Lattice path matroids: Structural properties, European Journal of Combinatorics, Volume 27, Issue 5, 2006, Pages 701-738, ISSN 0195-6698

    Joseph E. Bonin, Anna de Mier, Lattice path matroids: Structural properties, European Journal of Combinatorics, Volume 27, Issue 5, 2006, Pages 701-738, ISSN 0195-6698

    2006

  8. [8]

    Joseph E. Bonin, Anna de Mier, Marc Noy, Lattice path matroids: enumerative aspects and Tutte polynomials, Journal of Combinatorial Theory, Series A, Volume 104, Issue 1, 2003, Pages 63-94, ISSN 0097-3165

    2003

  9. [9]

    Danilov, Gleb A

    Vladimir I. Danilov, Gleb A. Koshevoy, Cores of Cooperative Games, Superdifferentials of Functions, and the Minkowski Difference of Sets, Journal of Mathematical Analysis and Applications, Volume 247, Issue 1, 2000, Pages 1-14

    2000

  10. [10]

    Danilov, Gleb A

    Vladimir I. Danilov, Gleb A. Koshevoy, Discrete convexity and unimodularity—I, Advances in Mathematics, Volume 189, Issue 2, 2004, Pages 301-324, ISSN 0001-8708, https://doi.org/10.1016/j.aim.2003.11.010

    work page doi:10.1016/j.aim.2003.11.010 2004

  11. [11]

    Danilov, Alexander V

    Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy, Pl\"ucker environments, wiring and tiling diagrams, and weakly separated set-systems, Advances in Mathematics, Volume 224, Issue 1, 2010, Pages 1-44

    2010

  12. [12]

    Danilov, Alexander V

    Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy, Combined tilings and separated set-systems. Sel. Math. New Ser. 23, 1175-1203 (2017)

    2017

  13. [13]

    Nick Early, Honeycomb Tessellations and Graded Permutohedral Blades, arXiv:1810.03246

    work page arXiv

  14. [14]

    Nick Early, Weighted blade arrangements and the positive tropical Grassmannian, arxiv:2005.12305

    work page arXiv 2005

  15. [15]

    Combinatorial Theory, 2022.526

    Nick Early, From weakly separated collections to matroid subdivisions. Combinatorial Theory, 2022.526

    2022

  16. [16]

    Satoru Fujishige, A note on Frank's generalized polymatroids, Discrete Applied Mathematics, Volume 7, Issue 1, 1984, Pages 105-109

    1984

  17. [17]

    Satoru Fujishige, Hiroshi Hirai, Compression of M^ -convex functions — Flag matroids and valuated permutohedra, Journal of Combinatorial Theory, Series A, Volume 185, 2022

    2022

  18. [18]

    Frank, A., Kir\'aly, T., Pap, J. et al. Characterizing and recognizing generalized polymatroids. Math. Program. 146, 245–273 (2014). https://doi.org/10.1007/s10107-013-0685-5

    work page doi:10.1007/s10107-013-0685-5 2014

  19. [19]

    Generalized polymatroids and submodular flows

    Frank, A., Tardos, \'E. Generalized polymatroids and submodular flows. Mathematical Programming 42, 489-563 (1988). https://doi.org/10.1007/BF01589418

    work page doi:10.1007/bf01589418 1988

  20. [20]

    Dizier, Schubert polynomials as integer point transforms of generalized permutahedra, Advances in Mathematics, Volume 332, 2018, Pages 465-475, ISSN 0001-8708

    Alex Fink, Karola M\'esz\'aros, Avery St. Dizier, Schubert polynomials as integer point transforms of generalized permutahedra, Advances in Mathematics, Volume 332, 2018, Pages 465-475, ISSN 0001-8708

    2018

  21. [21]

    Pavel Galashin, Plabic graphs and zonotopal tilings, Proc. Lond. Math. Soc. 117 (4) (2018) 661–681

    2018

  22. [22]

    Sven Herrmann, On the facets of the secondary polytope, Journal of Combinatorial Theory, Series A, Volume 118, Issue 2, 2011, Pages 425-447

    2011

  23. [23]

    Kashiwara, Crystalizing the q-analogue of universal enveloping algebras, Comm

    M. Kashiwara, Crystalizing the q-analogue of universal enveloping algebras, Comm. Math. Phys. 133 (2) (1990) 249-260

    1990

  24. [24]

    Joel Kamnitzer, Mirkovi\'c-Vilonen cycles and polytopes, Annals of Mathematics 171 (2005): 245-294

    2005

  25. [25]

    Joel Kamnitzer, The crystal structure on the set of Mirkovi\'c-Vilonen polytopes, Advances in Mathematics, Volume 215, Issue 1, 2007, Pages 66-93

    2007

  26. [26]

    Finest positroid subdivisions from maximal weakly separated collections, 2025, https://doi.org/10.48550/arXiv.2502.05033

    Gleb A.Koshevoy, Fang Li, Lujun Zhang. Finest positroid subdivisions from maximal weakly separated collections, 2025, https://doi.org/10.48550/arXiv.2502.05033

    work page doi:10.48550/arxiv.2502.05033 2025

  27. [27]

    Polypositroids

    Lam T, Postnikov A. Polypositroids. Forum of Mathematics, Sigma. 2024

    2024

  28. [28]

    Tomasz Łukowski, Matteo Parisi, Lauren K Williams, The Positive Tropical Grassmannian, the Hypersimplex, and the m = 2 Amplituhedron, International Mathematics Research Notices, Volume 2023, Issue 19, October 2023, Pages 16778-16836, https://doi.org/10.1093/imrn/rnad010

    work page doi:10.1093/imrn/rnad010 2023

  29. [29]

    Bernard Leclerc, Andrei Zelevinsky, Quasicommuting families of quantum Pl\"ucker coordinates, Amer. Math. Soc. Trans., Ser. 2 181 (1998) 85-108

    1998

  30. [30]

    Murota, Discrete Convex Analysis, SIAM, Philadelphia, 2003

    K. Murota, Discrete Convex Analysis, SIAM, Philadelphia, 2003

    2003

  31. [31]

    Mirkovi\'c and K

    I. Mirkovi\'c and K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. of Math

  32. [32]

    Cara Monical, Neriman Tokcan, Alexander Yong, Newton polytopes in algebraic combinatorics. Selecta. Math. New Ser. 25, 66 (2019)

    2019

  33. [33]

    Suho Oh, Positroids and Schubert matroids, Journal of Combinatorial Theory, Series A, Volume 118, Issue 8, 2011, Pages 2426-2435

    2011

  34. [34]

    Speyer, Weak separation and plabic graphs, Proceedings of the London Mathematical Society, 2015

    Suho Oh, Alexander Postnikov, David E. Speyer, Weak separation and plabic graphs, Proceedings of the London Mathematical Society, 2015

    2015

  35. [35]

    Mirkovi\'c-Vilonen Polytopes from Combinatorics, 2023, arXiv:2311.16979

    Mario Sanchez. Mirkovi\'c-Vilonen Polytopes from Combinatorics, 2023, arXiv:2311.16979

    work page arXiv 2023