pith. sign in

arxiv: 2412.20748 · v4 · pith:XLJIGGLDnew · submitted 2024-12-30 · 🧮 math.AG · math.NT

Tropical intersection homology

Ryota Mikami This is my paper

Pith reviewed 2026-05-23 07:07 UTC · model grok-4.3

classification 🧮 math.AG math.NT
keywords tropical geometryintersection homologynumerical equivalencealgebraic cyclessmooth proper varietiesdivisorstropical cohomology
0
0 comments X

The pith

Tropical intersection homology describes quotients by numerical equivalence for varieties paired with divisors.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

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.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 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 no independent evidence
    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.

pith-pipeline@v0.9.0 · 5582 in / 1179 out tokens · 46322 ms · 2026-05-23T07:07:09.277387+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

13 extracted references · 13 canonical work pages

  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

  9. [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, 101–130. [Kle69] S.L. Kleiman, Geometry on grassmannians and applications to s...

    work page 2018

  10. [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,

    work page arXiv 1982

  11. [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 tropicalizations , Math. Res. Lett. 16 (2009), no. 3, 543–556. [Pop73] N. Popescu, Abelian c...

    work page 2014

  12. [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,

    work page 2012

  13. [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,

    work page 2007