Pith. sign in

REVIEW 2 minor 1 cited by

Tropical intersection homology

T0 review · 0 major / 2 minor · reviewed 2026-05-23 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Tropical intersection homology describes quotients by numerical equivalence for varieties paired with divisors.

desk verdict The paper defines tropical intersection homology to extend numerical equivalence descriptions from toric varieties to general smooth proper varieties with divisors. read the letter →

arxiv 2412.20748 v4 pith:XLJIGGLD submitted 2024-12-30 math.AG math.NT

Ryota Mikami This is my paper · ORCID
classification math.AGmath.NT
keywords tropicalgeometryintersectionhomologynumericalequivalencealgebraiccyclessmoothpropervarietiesdivisorscohomology
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines a tropical analog of intersection homology for suitable pairs of smooth proper varieties and divisors. This construction is intended to realize the quotients of algebraic cycles by numerical equivalence with rational coefficients as a geometric object, extending the known identification via tropical cohomology in the toric case. A reader would care because numerical equivalence quotients encode essential information about algebraic cycles that is otherwise defined only through intersection numbers. If the identification holds, these quotients become accessible through combinatorial and piecewise-linear techniques native to tropical geometry.

What carries the argument

Tropical intersection homology, a new homology theory that geometrically realizes the numerical equivalence quotients.

What would settle it

For a concrete non-toric pair such as a smooth projective surface with an ample divisor, compute the numerical equivalence quotient both by classical intersection theory and by the proposed tropical construction; a mismatch in dimension or rank would falsify the claim.

Watch

Extended reading notes

Core claim

Numerical equivalence of algebraic cycles is defined abstractly by intersection numbers. For smooth complex proper toric varieties the quotients by numerical equivalence with rational coefficients are realized geometrically by singular cohomology and also by tropical cohomology. The paper introduces a tropical analog of intersection homology that is meant to play the same role for suitable pairs consisting of a smooth proper variety and a divisor.

Load-bearing premise

A well-defined tropical intersection homology exists for the given pairs and matches the numerical equivalence quotients exactly as tropical cohomology matches them for toric varieties.

Editorial extensions

If this is right

  • The numerical equivalence quotients for the indicated pairs become objects that can be studied with tropical polyhedral methods.
  • The construction supplies a geometric model that replaces the abstract definition via intersection numbers.
  • Results previously known only for toric varieties acquire direct counterparts for more general varieties equipped with divisors.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same construction might be tested on explicit examples such as abelian varieties or del Pezzo surfaces to check consistency with known cycle groups.
  • If the homology groups turn out to be computable by linear algebra over polyhedral complexes, they could yield effective algorithms for determining numerical equivalence in dimensions where classical methods are expensive.
  • The approach suggests looking for analogous tropical models for other equivalence relations on cycles, such as homological or algebraic equivalence.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript introduces a tropical analog of intersection homology associated to suitable pairs consisting of a smooth proper variety and a divisor. This new object is used to give a geometric description of the quotients of algebraic cycles by numerical equivalence with rational coefficients, thereby generalizing the known identification (via tropical cohomology) that holds for smooth complex proper toric varieties.

Significance. If the definitions are well-posed and the stated isomorphism is proved, the result would extend the tropical-geometric realization of numerical equivalence beyond the toric setting, supplying a concrete geometric model for a classically abstract quotient in a wider class of varieties.

minor comments (2)
  1. The abstract states that the construction applies to 'suitable pairs' but does not list the precise hypotheses on the divisor or the variety; a short clarifying sentence would help readers assess the scope of the generalization.
  2. The introduction should include a brief comparison paragraph recalling the precise statement of the toric case (Itenberg–Katzarkov–Mikhalkin–Zharkov) before stating the new result, to make the generalization explicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and assessment of the significance of the work. The recommendation for minor revision is noted. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The manuscript introduces a new object (tropical intersection homology) for pairs of smooth proper varieties and divisors, with the explicit goal of generalizing the known toric case via tropical cohomology (cited to external authors Itenberg-Katzarkov-Mikhalkin-Zharkov). No load-bearing step reduces by definition, by fitted parameter, or by self-citation chain to the target numerical-equivalence quotients; the derivation is self-contained once the new homology is defined and its properties proved.

Assumptions & free parameters 0 free parameters · 0 assumptions · 1 invented entities

The central claim rests on the existence of a suitable definition of tropical intersection homology whose properties mirror those of classical intersection homology and tropical cohomology in the toric case. No free parameters, axioms, or invented entities are identifiable from the abstract alone.

invented entities (1)
  • tropical intersection homology
    purpose: To provide a geometric description of numerical equivalence quotients for pairs of smooth proper varieties and divisors
    Newly introduced concept whose definition and properties are the subject of the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tropical intersection homology." pith.science (2026). https://pith.science/paper/XLJIGGLD

@misc{pith2026241220748,
  author       = {Pith},
  title        = {Pith review of: Tropical intersection homology},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XLJIGGLD}},
  note         = {Machine review of arXiv:2412.20748}
}
read the original abstract

Numerical equivalence of algebraic cycles is defined abstractly by intersection numbers. Classically, for smooth complex proper toric varieties, the quotients by numerical equivalence with rational coefficients can be described geometrically as singular cohomology. They are also expressed in terms of tropical geometry, tropical cohomology, introduced by Itenberg-Katzarkov-Mikhalkin-Zharkov. This paper aims to generalize this to suitable pairs of smooth proper varieties and divisors by introducing a tropical analog of intersection homology.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Tropical cohomology via reductions of tropical varieties

    math.AG 2026-05 unverdicted novelty 6.0 of 10

    This paper gives a new construction of tropical spectral sequences via reductions of tropical varieties and relates eigenwave actions to tropical Gauss-Manin connections.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aksnes, O

    [AAPS23] E. Aksnes, O. Amini, M. Piquerez, and K. Shaw, Cohomologically tropical varieties , arXiv:2307.02945,

    work page arXiv

  2. [2]

    Amini and M

    [AP24a] O. Amini and M. Piquerez, Homological smoothness and Deligne resolution for tropica l fans , arXiv:2105.01504,

    work page arXiv

  3. [3]

    [AP24b] , Tropical Feichtner-Yuzvinsky and positivity criterion for fa ns, arXiv:2405.05014,

    work page arXiv

  4. [4]

    [Bei87] A. A. Beilinson, On the derived category of perverse sheaves , K -theory, arithmetic and geometry, Lecture Notes in Math., no. 1289, Springer, Berlin, 1987, pp. 27–41. [Bou74] N. Bourbaki, Elements of mathematics. Algebra, Part I: Chapters 1-3 , Hermann, Paris; Addison-Wesley Publishing Co., Reading, MA,

    work page 1987

  5. [5]

    Colliot-Thélène, R

    [CTHK97] J.-L. Colliot-Thélène, R. T. Hoobler, and B. Kahn, The Bloch-Ogus-Gabber theorem, Algebraic K-theory (Toronto,ON, 1996), Fields Inst. Commun., vol. 16, Amer. Ma th., Providence, RI, 1997, pp. 31–94. [Fu15] L. Fu, Etale cohomology theory , revised ed., Nankai Tracts in Mathematics, vol. 14, World S cientific Publishing Co. Pte. Ltd., Hackensack, NJ,

    work page 1996

  6. [6]

    Gubler, P

    [GJR21a] W. Gubler, P. Jell, and J. Rabinoff, Dolbeault cohomology of graphs and Berkovich curves , arXiv:2111.05747,

    work page arXiv

  7. [7]

    [GJR21b] , Forms on Berkovich spaces based on harmonic tropicalizations , arXiv:2111.05741,

    work page arXiv

  8. [8]

    Goresky and R

    [GM80] M. Goresky and R. MacPherson, Intersection homology theory , Topology 19 (1980), no. 2, 135–162. [GM83] , Intersection homology II , Invent. Math. 72 (1983), no. 1, 77–129. [GR W17] W. Gubler, J. Rabinoff, and A. Werner, Tropical skeletons, Ann. Inst. Fourier (Grenoble) 67 (2017), no. 5, 1905–1961. [GS10] M. Gross and B. Siebert, Mirror symmetry via...

    work page 1980

Show all 13 references
  1. [9]

    [JRS18] P. Jell, J. Rau, and K Shaw, Lefschetz (1,1)-theorem in tropical geometry , Épijournal Géom. Algébrique 2 (2018), Art. 11, 27pp. 82 RYOTA MIKAMI [JSS19] P. Jell, K. Shaw, and J. Smacka, Superforms, tropical cohomology, and Poincaré duality , Adv. Geom. 19 (2019), no. 1...

    2018

  2. [10]

    Laumon, Sur la catégorie derivée des D-modules filtrés , Algebraic geometry (Tokyo/Kyoto, 1982), Lecture Notes in Math., vol

    [Lau83] G. Laumon, Sur la catégorie derivée des D-modules filtrés , Algebraic geometry (Tokyo/Kyoto, 1982), Lecture Notes in Math., vol. 1016, Springer, Berlin, 1983, p p. 151–237. [Mik20] R. Mikami, On tropical cycle class maps , arXiv:2009.04690v5,

    1982

  3. [11]

    Mikhalkin and I

    [MZ14] G. Mikhalkin and I. Zharkov, Tropical eigenwave and intermediate jacobians , Homological mirror sym- metry and tropical geometry, Lect. Notes Unione Mat. Ital., vol. 15, Springer, Cham, 2014, pp. 309–349. [Pay09] S. Payne, Analytification is the limit of all tropicalizat...

    2014

  4. [12]

    Rabinoff, Tropical analytic geometry, Newton polygons, and tropical i ntersections, Adv.Math

    [Rab12] J. Rabinoff, Tropical analytic geometry, Newton polygons, and tropical i ntersections, Adv.Math. 229 (2012), no. 6, 3192–3255. [Sch72] H. Schubert, Categories, Translated from the German by Eva Gray. Springer-Verlag, N ew York- Heidelberg,

    2012

  5. [13]

    Tevelev, Compactifications of subvarieties of tori , Amer

    [Tev07] J. Tevelev, Compactifications of subvarieties of tori , Amer. J. Math. 129 (2007), no. 4, 1087–1104. [Tot14] B. Totaro, Chow groups, Chow cohomology, and linear varieties , Forum Math. Sigma 2 (2014), Paper No. e17,

    2007

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.