pith. machine review for the scientific record. sign in

arxiv: 2605.02704 · v1 · submitted 2026-05-04 · 🧮 math.AG · hep-th· math.CT

Recognition: unknown

From Finite-Node Conifold Geometry to BPS Structures III: Mediated Triangle Transport and Graded Interaction Data

Abdul Rahman

Authors on Pith no claims yet

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

classification 🧮 math.AG hep-thmath.CT
keywords mediated triangle transportconifold geometrygraded interaction dataprobe interaction complexBPS structureswall-crossing theoryfinite-node degeneration
0
0 comments X

The pith

Mediated triangle transport refines binary support into graded interaction polynomials from conifold probe complexes.

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

This paper builds a graded layer on top of earlier binary incidence data extracted from finite-node conifold degenerations. It introduces mediated triangle transport to define, for each ordered pair, a probe interaction complex whose cohomology yields a polynomial P_ij(q). These polynomials are assembled into the graded package I_Σ^gr. A sympathetic reader cares because the resulting triple of data supplies the first graded input that later parts of the series can feed into stability conditions, BPS counting, and wall-crossing formulas. The work therefore closes a gap between geometric degeneration data and algebraic invariants usable for enumerative problems.

Core claim

Under the probe, content, and detector hypotheses, supported channels produce nontrivial pairwise interaction complexes H_ij via the mediated triangle transport datum T_ij, which combines bulk-mediated schober transport, localized probes, corrected-extension shadow compatibility, and derived interaction profunctors. The paper proves exactness together with long exact interaction sequences and isolates a triangle-visible nonvanishing criterion. Under the bounded Hom-finite convention the cohomology of each H_ij defines the polynomial P_ij(q) = sum dim H^m(H_ij) q^m; these polynomials assemble into I_Σ^gr. Consequently the triple (A_Σ, I_Σ^(0/1), I_Σ^gr) supplies the first graded interaction输入

What carries the argument

Mediated triangle transport (MTT), the datum that produces the probe interaction complex H_ij = RHom_{C_{p_j}}(Ψ_j Φ_i(L_i), L_j) for each ordered pair (i,j) by combining schober transport, probes, and profunctors.

If this is right

  • Supported channels produce nontrivial pairwise interaction complexes under the probe, content, and detector hypotheses.
  • Exactness and long exact interaction sequences hold for the probe interaction complexes.
  • A triangle-visible nonvanishing criterion governs the graded data.
  • The polynomials P_ij(q) assemble into I_Σ^gr, completing the triple that serves as graded input for stability, BPS, and wall-crossing theory.

Where Pith is reading between the lines

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

  • Once stability conditions are chosen in later work, the polynomials I_Σ^gr could be used to compute explicit BPS invariants for concrete finite-node conifold models.
  • The MTT construction might apply to other classes of degenerations if the underlying schober transport and probe hypotheses can be verified outside the conifold case.
  • Direct comparison of the resulting graded data against known wall-crossing formulas in the literature would provide an external consistency check.

Load-bearing premise

The bounded Hom-finite convention together with the probe, content, and detector hypotheses hold, so that the conditional bridge theorem applies to supported channels.

What would settle it

An explicit supported channel (i,j) for which the complex H_ij vanishes or fails to satisfy the long exact sequence under the stated probe, content, and detector hypotheses would falsify the bridge theorem and the resulting graded assembly.

read the original abstract

In previous work, we extracted from a finite-node conifold degeneration the state-data package $A_\Sigma=(V_\Sigma,E_\Sigma,c_\Sigma)$ and then constructed the support-level interaction package encoded by a binary incidence structure and finite quiver-theoretic skeleton \cite{RahmanQuiverDataI,RahmanQuiverDataII}. The present paper introduces the next layer: a graded pairwise interaction package refining binary support. Since the support matrix records where a mediated channel is present, but not its derived size, cohomological degree, or exact-triangle behavior, we introduce \emph{mediated triangle transport} (MTT). An MTT datum combines bulk-mediated schober transport, localized probes, corrected-extension shadow compatibility, and derived interaction profunctors. For each ordered pair $(i,j)$, it produces $\mathbb T_{ij}(X,Y):=\RHom_{\mathcal C_{p_j}}(\Psi_j\Phi_i(X),Y)$ and the probe interaction complex $\mathsf H_{ij}:=\mathbb T_{ij}(L_i,L_j)=\RHom_{\mathcal C_{p_j}}(\Psi_j\Phi_i(L_i),L_j)$. We prove exactness and long exact interaction sequences, isolate a triangle-visible nonvanishing criterion, and formulate a conditional bridge theorem showing that supported channels yield nontrivial pairwise interaction complexes under the stated probe, content, and detector hypotheses. Under a bounded Hom-finite convention, the cohomology of $\mathsf H_{ij}$ defines $P_{ij}(q)=\sum_m \dim H^m(\mathsf H_{ij})q^m$, and these polynomials assemble into $I_\Sigma^{\mathrm{gr}}$. Thus $(A_\Sigma,I_\Sigma^{(0/1)},I_\Sigma^{\mathrm{gr}})$ provides the first graded interaction input for later stability, BPS, and wall-crossing theory.

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 manuscript introduces mediated triangle transport (MTT) to refine the binary support structure I_Σ^(0/1) and state-data A_Σ from prior papers in the series into a graded pairwise interaction package I_Σ^gr. It claims to establish exactness and long exact sequences for the probe interaction complexes H_ij = RHom(Ψ_j Φ_i(L_i), L_j), a triangle-visible nonvanishing criterion, and a conditional bridge theorem asserting that supported channels produce nontrivial H_ij (hence nontrivial polynomials P_ij(q)) under probe, content, and detector hypotheses plus a bounded Hom-finite convention. The resulting graded data is positioned as the first graded interaction input for subsequent stability, BPS, and wall-crossing theory.

Significance. If the bridge theorem holds with the stated hypotheses verified for the finite-node conifold functors and objects, the work would supply a concrete cohomological refinement of interaction structures, enabling more precise graded data for BPS invariants and wall-crossing formulas in algebraic geometry. The systematic use of MTT to produce the complexes H_ij and assemble I_Σ^gr represents a methodical extension of the series; the explicit construction of P_ij(q) from cohomology is a clear strength when realized.

major comments (2)
  1. [Conditional Bridge Theorem] Conditional Bridge Theorem (as stated in the abstract and main body): The theorem claims that supported channels yield nontrivial pairwise interaction complexes H_ij under the probe, content, and detector hypotheses, but the manuscript supplies no explicit verification or argument that these hypotheses hold for the specific functors Ψ_j Φ_i and objects L_i arising from the finite-node conifold degeneration of A_Σ. This verification is load-bearing for the nontriviality of the polynomials P_ij(q) and the claim that (A_Σ, I_Σ^(0/1), I_Σ^gr) furnishes realized graded input rather than a formal package.
  2. [Exactness and long exact sequences] Section on exactness and long exact interaction sequences: The claimed proofs of exactness for T_ij(X,Y) and the long exact sequences for the complexes H_ij are asserted to follow from the MTT datum (bulk-mediated schober transport, localized probes, corrected-extension shadow compatibility, and derived interaction profunctors), yet no derivations, diagram chases, or compatibility checks with the bounded Hom-finite convention are provided. This leaves the passage from binary support to graded cohomology unverified and undermines the central assembly of I_Σ^gr.
minor comments (2)
  1. [Abstract] The abstract and introduction could more explicitly distinguish the new MTT constructions from the quiver-theoretic skeleton of the cited prior papers, to clarify the incremental contribution.
  2. [Notation and conventions] Notation for the probe interaction complex H_ij and the polynomials P_ij(q) is introduced without a dedicated preliminary subsection summarizing all hypotheses (probe/content/detector plus bounded Hom-finite), which would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper accordingly to strengthen the presentation of the results.

read point-by-point responses

  1. Referee: Conditional Bridge Theorem: The theorem claims that supported channels yield nontrivial pairwise interaction complexes H_ij under the probe, content, and detector hypotheses, but the manuscript supplies no explicit verification or argument that these hypotheses hold for the specific functors Ψ_j Φ_i and objects L_i arising from the finite-node conifold degeneration of A_Σ. This verification is load-bearing for the nontriviality of the polynomials P_ij(q) and the claim that (A_Σ, I_Σ^(0/1), I_Σ^gr) furnishes realized graded input rather than a formal package.

    Authors: We agree that explicit verification of the probe, content, and detector hypotheses for the conifold functors and objects is required to establish that the graded data is realized. Although the theorem is stated conditionally, the manuscript positions the construction as applicable input for BPS and stability theory. In the revision we will add a dedicated subsection that verifies these hypotheses directly from the state-data A_Σ and the finite-node degeneration properties established in the preceding papers of the series. revision: yes

  2. Referee: Exactness and long exact sequences: The claimed proofs of exactness for T_ij(X,Y) and the long exact sequences for the complexes H_ij are asserted to follow from the MTT datum (bulk-mediated schober transport, localized probes, corrected-extension shadow compatibility, and derived interaction profunctors), yet no derivations, diagram chases, or compatibility checks with the bounded Hom-finite convention are provided. This leaves the passage from binary support to graded cohomology unverified.

    Authors: We acknowledge that the detailed derivations of exactness for T_ij(X,Y) and the long exact sequences for H_ij, together with the compatibility checks under the bounded Hom-finite convention, were not supplied in the manuscript. These properties follow from the definitions of the MTT datum, but the arguments were omitted for brevity. In the revised version we will include the complete diagram chases and compatibility verifications to make the construction of the graded polynomials P_ij(q) and the assembly of I_Σ^gr fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; sequential construction of new graded data on prior base

full rationale

The derivation introduces mediated triangle transport as a new layer on the existing A_Σ and binary incidence from prior papers, defines T_ij and H_ij explicitly via RHom, proves exactness/long exact sequences and a conditional bridge theorem under explicitly stated hypotheses, then defines P_ij(q) from the cohomology and assembles I_Σ^gr by direct summation. No step equates a claimed result to its inputs by construction, renames a prior output as a prediction, or reduces the central theorems to self-citation alone; the package is presented as new input for subsequent theory rather than a tautological output.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central constructions rest on assumptions from prior work in the series and new ad-hoc hypotheses for the theorems. No free parameters are mentioned, but the entire framework is built within a specific categorical and geometric setting.

axioms (2)
  • domain assumption bounded Hom-finite convention
    Assumed to define the graded polynomials from the cohomology of the interaction complexes.
  • ad hoc to paper probe, content, and detector hypotheses
    Required for the conditional bridge theorem linking supported channels to nontrivial interactions.
invented entities (2)
  • mediated triangle transport (MTT) no independent evidence
    purpose: To combine bulk-mediated schober transport, localized probes, corrected-extension shadow compatibility, and derived interaction profunctors for producing graded pairwise interactions.
    Newly introduced concept to refine binary support data into graded form.
  • graded interaction package I_Σ^gr no independent evidence
    purpose: To assemble polynomials P_ij(q) as graded input for BPS and wall-crossing theory.
    Newly assembled datum from the interaction complexes.

pith-pipeline@v0.9.0 · 5640 in / 1815 out tokens · 93553 ms · 2026-05-08T17:37:36.511107+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

37 extracted references · 25 canonical work pages · 5 internal anchors

  1. [1]

    Abdul Rahman.From Finite-Node Conifold Geometry to BPS Structures I: Algebraic State Data. 2026. arXiv:2604.19441 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  2. [2]

    Abdul Rahman.From Finite-Node Conifold Geometry to BPS Structures II: Functorial Incidence and Quiver Assembly. 2026. arXiv:2604.20110 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  3. [3]

    Abdul Rahman.Perverse extensions and limiting mixed Hodge structures for conifold degener- ations. 2026. arXiv:2604.04355 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  4. [4]

    Abdul Rahman.Mixed Hodge Modules and Canonical Perverse Extensions for Multi-Node Conifold Degenerations. 2026. arXiv:2604.05367 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  5. [5]

    Abdul Rahman.Perverse Schober structures for conifold degenerations. 2026. arXiv:2604. 00989 [math.AG]

    2026

  6. [6]

    Abdul Rahman.Finite-Node Perverse Schobers and Corrected Extensions for Conifold Degen- erations. 2026. arXiv:2604.06597 [math.AG]. 30 REFERENCES

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  7. [7]

    Braid Group Actions on Derived Categories of Coherent Sheaves

    Paul Seidel and Richard Thomas. “Braid Group Actions on Derived Categories of Coherent Sheaves”. In:Duke Mathematical Journal108.1 (2001), pp. 37–108.doi:10.1215/S0012- 7094-01-10812-0. arXiv:math/0001043 [math.AG]

    work page doi:10.1215/s0012- 2001

  8. [8]

    Ac´ ın, T

    Murad Alim et al. “BPS Quivers and Spectra of CompleteN = 2Quantum Field Theories”. In: Communications in Mathematical Physics323.3 (2013), pp. 1185–1227.doi:10.1007/s00220- 013-1789-8. arXiv:1109.4941 [hep-th]

    work page doi:10.1007/s00220- 2013

  9. [9]

    N = 2Quantum Field Theories and Their BPS Quivers

    Murad Alim et al. “N = 2Quantum Field Theories and Their BPS Quivers”. In:Advances in Theoretical and Mathematical Physics18.1 (2014), pp. 27–127.doi:10.4310/ATMP.2014.v18. n1.a2. arXiv:1112.3984 [hep-th]

    work page doi:10.4310/atmp.2014.v18 2014

  10. [10]

    Mangano, M

    Frederik Denef. “Quantum Quivers and Hall/Hole Halos”. In:Journal of High Energy Physics 2002.10 (2002), p. 023.doi: 10.1088/1126- 6708/2002/10/023 . arXiv: hep- th/0206072 [hep-th]

    work page doi:10.1088/1126- 2002

  11. [11]

    Kirsch and B

    Sergio Cecotti. “The Quiver Approach to the BPS Spectrum of a 4dN = 2Gauge Theory”. In:Proceedings of Symposia in Pure Mathematics90 (2015), pp. 3–18.doi:10.1090/pspum/ 090/00155. arXiv:1212.3431 [hep-th]

    work page doi:10.1090/pspum/ 2015

  12. [12]

    Beilinson, Joseph Bernstein, and Pierre Deligne.Faisceaux pervers

    Alexander A. Beilinson, Joseph Bernstein, and Pierre Deligne.Faisceaux pervers. Vol. 100. Astérisque. Société Mathématique de France, 1982

    1982

  13. [13]

    Elementary Construction of Perverse Sheaves

    Robert MacPherson and Kari Vilonen. “Elementary Construction of Perverse Sheaves”. In: Inventiones Mathematicae84.2 (1986), pp. 403–435.doi:10.1007/BF01388812

    work page doi:10.1007/bf01388812 1986

  14. [14]

    Perverse Sheaves and Quivers

    Sergei Gelfand, Robert MacPherson, and Kari Vilonen. “Perverse Sheaves and Quivers”. In: Duke Mathematical Journal83.3 (1996), pp. 621–643.doi:10.1215/S0012-7094-96-08319-2

    work page doi:10.1215/s0012-7094-96-08319-2 1996

  15. [15]

    Masaki Kashiwara and Pierre Schapira.Sheaves on Manifolds. Vol. 292. Grundlehren der mathematischen Wissenschaften. Berlin: Springer-Verlag, 1990.doi:10.1007/978-3-662- 02661-8

    work page doi:10.1007/978-3-662- 1990

  16. [16]

    Dimca , Sheaves in topology , Universitext, Springer-Verlag, Berlin, 2004

    Alexandru Dimca.Sheaves in Topology. Universitext. Berlin: Springer-Verlag, 2004.doi: 10.1007/978-3-642-18868-8

    work page doi:10.1007/978-3-642-18868-8 2004

  17. [17]

    Jörg Schürmann.Topology of Singular Spaces and Constructible Sheaves. Vol. 63. Monografie Matematyczne. Birkhäuser, 2003.doi:10.1007/978-3-0348-8061-9

    work page doi:10.1007/978-3-0348-8061-9 2003

  18. [18]

    Variation of Hodge Structure: The Singularities of the Period Mapping

    Wilfried Schmid. “Variation of Hodge Structure: The Singularities of the Period Mapping”. In: Inventiones Mathematicae22 (1973), pp. 211–319

    1973

  19. [19]

    Limits of Hodge Structures

    Joseph H. M. Steenbrink. “Limits of Hodge Structures”. In:Inventiones Mathematicae31 (1976), pp. 229–257.doi:10.1007/BF01403146

    work page doi:10.1007/bf01403146 1976

  20. [20]

    Théorie de Hodge II

    Pierre Deligne. “Théorie de Hodge II”. In:Publications Mathématiques de l’IHÉS(1971)

    1971

  21. [21]

    Claire Voisin.Hodge Theory and Complex Algebraic Geometry I. Vol. 76. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press, 2002.doi:10.1017/ CBO9780511615344

    2002

  22. [22]

    Claire Voisin.Hodge Theory and Complex Algebraic Geometry II. Vol. 77. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press, 2003.doi:10.1017/ CBO9780511615177

    2003

  23. [23]

    Mixed Hodge Modules

    Morihiko Saito. “Mixed Hodge Modules”. In:Publications of the Research Institute for Mathe- matical Sciences26.2 (1990), pp. 221–333

    1990

  24. [24]

    Duality for Vanishing Cycle Functors

    Morihiko Saito. “Duality for Vanishing Cycle Functors”. In:Publications of the Research Institute for Mathematical Sciences25.6 (1989), pp. 889–921

    1989

  25. [25]

    A Young Person’s Guide to Mixed Hodge Modules

    Morihiko Saito. “A Young Person’s Guide to Mixed Hodge Modules”. In: (2016). arXiv: 1605.00435 [math.AG]

    work page arXiv 2016

  26. [26]

    John Milnor.Singular Points of Complex Hypersurfaces. Vol. 61. Annals of Mathematics Studies. Princeton University Press, 1968

    1968

  27. [27]

    Degeneration of Kähler Manifolds

    C. Herbert Clemens. “Degeneration of Kähler Manifolds”. In:Duke Mathematical Journal 44.2 (1977), pp. 215–290. REFERENCES 31

    1977

  28. [28]

    Strominger,Massless black holes and conifolds in string theory,Nucl

    Andrew Strominger. “Massless Black Holes and Conifolds in String Theory”. In:Nuclear Physics B451.1–2 (1995), pp. 96–108.doi: 10 . 1016 / 0550 - 3213(95 ) 00287 - 3. arXiv: hep-th/9504090 [hep-th]

    work page arXiv 1995

  29. [29]

    Black Hole Condensation and the Unification of String Vacua

    Brian R. Greene, David R. Morrison, and Andrew Strominger. “Black Hole Condensation and the Unification of String Vacua”. In:Nuclear Physics B451.1-2 (1995), pp. 109–120.doi: 10.1016/0550-3213(95)00287-5

    work page doi:10.1016/0550-3213(95)00287-5 1995

  30. [30]

    An Introduction to Conifold Transitions

    Tristan C. Collins. “An Introduction to Conifold Transitions”. In: (2025). arXiv:2509.01002 [math.DG]

    work page arXiv 2025

  31. [31]

    Perverse Schobers

    Mikhail Kapranov and Vadim Schechtman. “Perverse Schobers”. In: (2014). arXiv:1411.2772 [math.AG]

    work page arXiv 2014

  32. [32]

    Spherical DG-functors

    Rina Anno and Timothy Logvinenko. “Spherical DG-functors”. In:Journal of the European Mathematical Society19.9 (2017), pp. 2577–2656. arXiv:1309.5035 [math.AG]

    work page arXiv 2017

  33. [33]

    Calabi–Yau Structures, Spherical Functors, and Shifted Symplectic Structures

    Ludmil Katzarkov, Pranav Pandit, and Theodore Spaide. “Calabi–Yau Structures, Spherical Functors, and Shifted Symplectic Structures”. In: (2017). arXiv:1701.07789 [math.AG]

    work page arXiv 2017

  34. [34]

    Perverse Schobers and Orlov Equivalences

    Naoki Koseki and Genki Ouchi. “Perverse Schobers and Orlov Equivalences”. In: (2022). arXiv: 2201.05902 [math.AG]

    work page arXiv 2022

  35. [35]

    Introduction to Bicategories

    Jean Bénabou. “Introduction to Bicategories”. In:Reports of the Midwest Category Seminar. Lecture Notes in Mathematics 47 (1967), pp. 1–77

    1967

  36. [36]

    Fosco Loregian.(Co)end Calculus. Vol. 468. London Mathematical Society Lecture Note Series. Cambridge University Press, 2021

    2021

  37. [37]

    Complexes of stable∞-categories.arXiv:2301.02606, 2023

    Merlin Christ, Tobias Dyckerhoff, and Tashi Walde. “Complexes of Stable∞-Categories”. In: (2024). arXiv:2301.02606 [math.AG]

    work page arXiv 2024