Tropical cohomology via reductions of tropical varieties

Ryota Mikami

Tropical cohomology via reductions of tropical varieties

T0 review · 0 major / 2 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Reductions of tropical varieties yield a direct construction of tropical spectral sequences that generalize the cohomology isomorphism to non-realizable cases.

desk verdict Mikami's paper introduces reductions of tropical varieties to build Steenbrink-style spectral sequences for tropical cohomology, extending to non-realizable cases and linking eigenwaves to Gauss-Manin connections. read the letter →

arxiv 2605.24888 v2 pith:XVQR5Z7H submitted 2026-05-24 math.AG

Ryota Mikami This is my paper · ORCID

classification math.AG

keywords tropicalcohomologyspectralsequencesreductionsofvarietiesSteenbrinkeigenwaveactionsGauss-Maninconnectionsnon-realizable

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 reductions of tropical varieties to construct tropical spectral sequences modeled directly on Steenbrink's geometric monodromy-weight spectral sequences. This produces the known isomorphism between tropical cohomology and the cohomology of maximally degenerate algebraic varieties while removing the realizability restriction that limited earlier approaches. The same framework shows that eigenwave actions arise as tropical Gauss-Manin connections. A reader would care because the construction supplies a uniform geometric mechanism that works whether or not the tropical variety comes from an algebraic degeneration.

What carries the argument

Reductions of tropical varieties, which supply the combinatorial data needed to build the monodromy-weight spectral sequences and the Gauss-Manin connection.

What would settle it

A concrete non-realizable tropical variety for which the spectral sequence extracted from its reduction fails to produce the expected graded pieces of the weight filtration or the correct eigenwave action would show the construction does not work.

Watch

Extended reading notes

Core claim

Reductions of tropical varieties carry enough structure to define tropical spectral sequences exactly as Steenbrink defined his sequences in the algebraic setting; the resulting spectral sequences induce the required isomorphism of cohomology groups and extend the isomorphism to the non-realizable case. In addition, the action of eigenwaves on the cohomology is realized by the tropical Gauss-Manin connection associated to the reduction.

Load-bearing premise

Reductions of tropical varieties can be defined so that the spectral sequences they produce satisfy the same formal properties as Steenbrink's sequences and induce the correct cohomology isomorphism.

Editorial extensions

If this is right

Tropical spectral sequences exist for every tropical variety, realizable or not.
The isomorphism between tropical cohomology and algebraic cohomology holds without realizability assumptions.
Eigenwave operators are identified with the tropical Gauss-Manin connection of the reduction.
The construction mirrors Steenbrink's original algebraic argument at every step.

Reading between the lines

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

Reductions may give a purely combinatorial route to the weight filtration on cohomology of degenerations.
The identification with Gauss-Manin connections suggests the same mechanism could be applied to other degeneration invariants in tropical geometry.
If reductions admit effective algorithms, they would turn the spectral-sequence computation into a finite combinatorial procedure.

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.

Desk Editor's Note

read the letter

The main point is that this paper gives a new construction of the tropical spectral sequences by defining reductions of tropical varieties, done in direct parallel to Steenbrink's geometric monodromy-weight sequences. It claims this works in the non-realizable setting and identifies eigenwave actions with tropical Gauss-Manin connections, differing from the Itenberg-Katzarkov-Mikhalkin-Zharkov and Amini-Piquerez approaches.

The work does a clean job of framing the novelty through the new mechanism of reductions. If the definitions are set up properly, this could organize the existing isomorphisms between tropical cohomology and algebraic cohomology more uniformly. The abstract positions the reductions as the key device that carries the structure needed for the spectral sequences, and the connection to Gauss-Manin is a useful extra result.

The soft spot is that everything rests on whether the reductions can actually be defined to produce the required spectral sequences without extra assumptions or gaps. The abstract states that they do and that the properties hold, including the generalization, but the strength of the claim depends on the concrete definitions and verifications in the body. No obvious circularity shows up in the framing, and the citations to the main prior papers look standard.

This is for people working on tropical cohomology, spectral sequences, and their links to algebraic geometry. A specialist who wants an alternative construction or needs to handle non-realizable cases would get something out of it. It shows honest engagement with the literature and the open questions around generalization.

I would send it to peer review so the details of the reductions and the proofs can be checked properly.

Referee Report

0 major / 2 minor

Summary. The paper introduces the notion of reductions of tropical varieties in order to construct tropical spectral sequences computing tropical cohomology in the same manner as Steenbrink's geometric monodromy-weight spectral sequences. This yields a new construction that extends the isomorphism of Itenberg-Katzarkov-Mikhalkin-Zharkov and the generalization of Amini-Piquerez to the non-realizable setting. The manuscript further identifies eigenwave actions with tropical Gauss-Manin connections.

Significance. If the reductions are shown to carry the required structure, the work supplies a direct geometric construction of the spectral sequences that avoids reliance on realizability assumptions, thereby strengthening the foundations of tropical cohomology and its relation to algebraic degenerations.

minor comments (2)

The term 'eigenwave actions' appears in the abstract and is used without an immediate definition or reference; introduce it with a brief explanation or forward reference in the introduction.
Ensure that the comparison with the Amini-Piquerez construction is stated explicitly, including which properties of the spectral sequences are preserved or improved by the reduction approach.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

New definitions introduced; derivation self-contained with no circular steps

full rationale

The paper introduces reductions of tropical varieties as a novel construction to replicate Steenbrink-style spectral sequences for tropical cohomology, including in the non-realizable case, and identifies eigenwave actions with tropical Gauss-Manin connections. This proceeds by defining new objects and showing they carry the required structure, rather than fitting parameters to data or reducing claims to self-citations. Prior work by Itenberg-Katzarkov-Mikhalkin-Zharkov and Amini-Piquerez is cited for context and generalization, but the central steps rely on the new definitions and direct verification, making the argument self-contained against external benchmarks. No load-bearing step reduces by construction to its inputs.

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

Abstract only. No free parameters, axioms, or invented entities can be audited beyond the explicit introduction of reductions of tropical varieties.

invented entities (1)

reductions of tropical varieties
purpose: To enable a Steenbrink-style construction of tropical spectral sequences
Explicitly introduced in the abstract as the key new device for the construction.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Tropical cohomology via reductions of tropical varieties." pith.science (2026). https://pith.science/paper/XVQR5Z7H

@misc{pith2026260524888,
  author       = {Pith},
  title        = {Pith review of: Tropical cohomology via reductions of tropical varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XVQR5Z7H}},
  note         = {Machine review of arXiv:2605.24888}
}

read the original abstract

Itenberg-Katzarkov-Mikhalkin-Zharkov gave an isomorphism of tropical cohomology and cohomology of some maximally degenerate algebraic varieties. Their proof was based on tropical analogs of Steenbrink's geometric monodromy-weight spectral sequences. These were generalized to the non-realizable case by Amini-Piquerez. In this paper, we give a new construction of these tropical spectral sequences in the same way as Steenbrink's ones. For this purpose, we introduce reductions of tropical varieties. We also show that eigenwave actions are given by tropical Gauss-Manin connections.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 6 canonical work pages

[1]

Aksnes, O

[AAPS25] E. Aksnes, O. Amini, M. Piquerez, and K. Shaw,Cohomologically tropical varieties, J. Inst. Math. Jussieu24(2025), no. 6, 2543–2572. [AP20] O. Amini and M. Piquerez,Hodge theory for tropical varieties, arXiv:2007.07826,

work page arXiv 2025
[3]

[AP24a] ,Homological smoothness and Deligne resolution for tropical fans, arXiv:2105.01504,

work page arXiv
[4]

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

work page arXiv
[5]

Deligne,Th´ eorie de Hodge II, Publ

[Del72] P. Deligne,Th´ eorie de Hodge II, Publ. Math. IHES40(1972), 5–57. [GNA90] F. Guill´ en and V. Navarro-Aznar,Sur le th´ eor` eme local des cycles invariants, Duke Math. J.61(1990), no. 1, 133–155. [Gro98] M. Gross,Special Lagrangian fibrations. I. topology, Integrable Systems and Algebraic Geometry (Kobe/Kyoto,

1972
[6]

(World Scientific Publishing, River Edge) (1998), 156–

1998
[7]

Gross and B

[GS10] M. Gross and B. Siebert,Mirror symmetry via logarithmic degeneration data, II, J. Algebraic Geom.19(2010), no. 4, 679–780. [GS23] A. Gross and F. Shokrieh,A sheaf-theoretic approach to tropical homology, J. Algebra 635(2023), 577–641. [Gub13] W. Gubler,A guide to tropicalizations, Algebraic and combinatorial aspects of tropical geometry, Contemp. M...

2010
[8]

Itenberg, L

[IKMZ19] I. Itenberg, L. Katzarkov, G. Mikhalkin, and I. Zharkov,Tropical homology, Math. Ann. 374(2019), no. 1-2, 963–1006. [Jel22] P. Jell,Tropical cohomology with integral coefficients for analytic spaces, Facets of Al- gebraic Geometry: A Collection in Honor of William Fulton’s 80th Birthday, London Mathematical Society Lecture Note Series, Cambridge ...

2019
[9]

[JSS19] P. Jell, K. Shaw, and J. Smacka,Superforms, tropical cohomology, and Poincar´ e duality, Adv. Geom.19(2019), no. 1, 101–130. [Kat70] N. M. Katz,The regularity theorem in algebraic geometry, Actes. Congr` es intern. math. (1970), 437–443. [KKMSD73] G. Kempf, F. Knudsen, D. Mumford, and B. Saint-Donat,Toroidal embeddings 1, Lec- ture Notes in Mathem...

2019

Show all 16 references

[10]

[KO68] N. M. Katz and T. Oda,On the differentiation of De Rham cohomology classes with respect to parameters, J. Math. Kyoto Univ.8(1968), no. 2, 199–213. [Law13] T. Lawson,In which I try to get the signs right for once, available at https://www- users.cse.umn.edu/ tlawson/pap...

1968
[11]

Liu,Monodromy map for tropical Dolbeault cohomology, Algebr

[Liu19] Y. Liu,Monodromy map for tropical Dolbeault cohomology, Algebr. Geom.6(2019), no. 4, 384–409. [Mik20] R. Mikami,On tropical cohomology of smooth algebraic varieties, arXiv:2009.04690,

2019
[12]

[Mik21] ,Differential forms and cohomology in tropical and complex geometry, arXiv:2106.11479,
[13]

[Mik24] ,Tropical intersection homology, arXiv:2412.20748,

arXiv
[14]

Mikhalkin and I

[MZ14] G. Mikhalkin and I. Zharkov,Tropical eigenwave and intermediate jacobians, Homo- logical mirror symmetry 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 tropicalizatio...

2014
[15]

Rabinoff,Tropical analytic geometry, Newton polygons, and tropical intersections, Adv.Math.229(2012), no

[Rab12] J. Rabinoff,Tropical analytic geometry, Newton polygons, and tropical intersections, Adv.Math.229(2012), no. 6, 3192–3255. [Sma17] J. Smacka,Differential forms on tropical spaces, Ph.D. Thesis 2017, Available at https:// epub .uni -regensburg .de /36262/,

2012
[16]

Steenbrink,Limits of Hodge structures, Invent

[Ste76] J. Steenbrink,Limits of Hodge structures, Invent. Math.31(1976), 229–257. [Tot14] B. Totaro,Chow groups, Chow cohomology, and linear varieties, Forum Math. Sigma 2 (2014), Paper No. e17,

1976
[17]

Zharkov,Torus fibrations of Calabi-Yau hypersurfaces in toric varieties, Duke Math

[Zha00] I. Zharkov,Torus fibrations of Calabi-Yau hypersurfaces in toric varieties, Duke Math. J.101(2000), no. 2, 237–257. Institute of Mathematics, Academia Sinica, Astronomy-Mathematics Building, No. 1, Sec. 4, Roosevelt Road, Taipei 10617, Taiwan. Email address:ryotamikami...

2000

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.

[1] [1]

Aksnes, O

[AAPS25] E. Aksnes, O. Amini, M. Piquerez, and K. Shaw,Cohomologically tropical varieties, J. Inst. Math. Jussieu24(2025), no. 6, 2543–2572. [AP20] O. Amini and M. Piquerez,Hodge theory for tropical varieties, arXiv:2007.07826,

work page arXiv 2025

[2] [3]

[AP24a] ,Homological smoothness and Deligne resolution for tropical fans, arXiv:2105.01504,

work page arXiv

[3] [4]

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

work page arXiv

[4] [5]

Deligne,Th´ eorie de Hodge II, Publ

[Del72] P. Deligne,Th´ eorie de Hodge II, Publ. Math. IHES40(1972), 5–57. [GNA90] F. Guill´ en and V. Navarro-Aznar,Sur le th´ eor` eme local des cycles invariants, Duke Math. J.61(1990), no. 1, 133–155. [Gro98] M. Gross,Special Lagrangian fibrations. I. topology, Integrable Systems and Algebraic Geometry (Kobe/Kyoto,

1972

[5] [6]

(World Scientific Publishing, River Edge) (1998), 156–

1998

[6] [7]

Gross and B

[GS10] M. Gross and B. Siebert,Mirror symmetry via logarithmic degeneration data, II, J. Algebraic Geom.19(2010), no. 4, 679–780. [GS23] A. Gross and F. Shokrieh,A sheaf-theoretic approach to tropical homology, J. Algebra 635(2023), 577–641. [Gub13] W. Gubler,A guide to tropicalizations, Algebraic and combinatorial aspects of tropical geometry, Contemp. M...

2010

[7] [8]

Itenberg, L

[IKMZ19] I. Itenberg, L. Katzarkov, G. Mikhalkin, and I. Zharkov,Tropical homology, Math. Ann. 374(2019), no. 1-2, 963–1006. [Jel22] P. Jell,Tropical cohomology with integral coefficients for analytic spaces, Facets of Al- gebraic Geometry: A Collection in Honor of William Fulton’s 80th Birthday, London Mathematical Society Lecture Note Series, Cambridge ...

2019

[8] [9]

[JSS19] P. Jell, K. Shaw, and J. Smacka,Superforms, tropical cohomology, and Poincar´ e duality, Adv. Geom.19(2019), no. 1, 101–130. [Kat70] N. M. Katz,The regularity theorem in algebraic geometry, Actes. Congr` es intern. math. (1970), 437–443. [KKMSD73] G. Kempf, F. Knudsen, D. Mumford, and B. Saint-Donat,Toroidal embeddings 1, Lec- ture Notes in Mathem...

2019