Notes on the decomposition theorem for blowups

Hiroshi Iritani

arxiv: 2604.10028 · v2 · submitted 2026-04-11 · 🧮 math.AG · math.SG

Notes on the decomposition theorem for blowups

Hiroshi Iritani This is my paper

Pith reviewed 2026-05-10 16:34 UTC · model grok-4.3

classification 🧮 math.AG math.SG

keywords decomposition theoremquantum cohomologyblowupsarithmetic propertiesHodge theoryrationality questionsalgebraic geometry

0 comments

The pith

Isomorphisms in the decomposition theorem for quantum cohomology of blowups carry arithmetic and Hodge-theoretic properties.

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

The paper examines arithmetic and Hodge-theoretic properties of the isomorphisms that appear when the decomposition theorem is applied to the quantum cohomology of blowups. These properties are presented as the foundation for using the theorem in the study of rationality questions for algebraic varieties. A sympathetic reader would care because rationality is a central open problem in algebraic geometry, and properties that bridge quantum cohomology with arithmetic and Hodge data could supply new invariants or compatibility checks. The discussion centers on how the isomorphisms behave under Galois actions and with respect to Hodge structures. This underpins specific applications to rationality problems.

Core claim

The isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups possess arithmetic and Hodge-theoretic properties, and these properties underpin the application of the theorem to rationality questions.

What carries the argument

The isomorphisms arising in the decomposition theorem for quantum cohomology of blowups, analyzed for their arithmetic compatibility and Hodge-theoretic behavior.

If this is right

The decomposition theorem becomes usable for rationality problems once these properties are verified.
Arithmetic properties ensure the isomorphisms respect actions of Galois groups or number fields.
Hodge-theoretic properties relate the quantum data to classical Hodge filtrations on the cohomology of the blowup.
The theorem gains additional structure that connects quantum cohomology to birational geometry.

Where Pith is reading between the lines

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

Similar arithmetic and Hodge properties might hold for decompositions under other birational operations such as flips or divisorial contractions.
Explicit computation on low-dimensional examples like the blowup of projective space could provide direct checks of the claimed properties.
The link suggests quantum cohomology could serve as a source of new obstructions or invariants in classical rationality problems.

Load-bearing premise

That the isomorphisms in the decomposition theorem actually possess the arithmetic and Hodge-theoretic properties and that these properties are what enable applications to rationality questions.

What would settle it

A specific blowup example in which the isomorphisms fail to satisfy the expected arithmetic or Hodge properties and thereby block a known rationality conclusion.

read the original abstract

We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by Katzarkov-Kontsevich-Pantev-Yu.

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.

Desk Editor's Note private letter to a colleague

These notes spell out arithmetic and Hodge properties of the isomorphisms in the existing decomposition theorem for quantum cohomology of blowups, mainly to back up the KKP Y rationality applications.

read the letter

The core of the paper is a discussion of arithmetic and Hodge-theoretic features of the isomorphisms that appear in the decomposition theorem for the quantum cohomology of blowups. Iritani presents these properties as the technical support needed for the rationality questions pursued by Katzarkov-Kontsevich-Pantev-Yu. That is the main takeaway: the work is supplementary rather than foundational, and it stays close to the prior decomposition result without deriving a new central theorem or framework from scratch. What it does reasonably well is make explicit some integrality or Hodge compatibility statements that were perhaps only implicit before, and it keeps the focus on how those statements could feed into rationality criteria. The author is careful to tie everything back to the existing isomorphisms, which keeps the circularity risk low. The main soft spot is that the piece is framed as notes, so the arguments for the properties are likely sketched or referenced rather than given in full self-contained detail. If the applications to rationality rest on these properties holding in a specific way, a reader will still need to check the cited decomposition theorem and any external verifications. There are no obvious load-bearing gaps in the logic from what is described, but the contribution is incremental. This is the sort of short technical note that people working on quantum cohomology, mirror symmetry, or birational geometry might pull off the shelf for a specific calculation. A specialist reader who already knows the decomposition theorem could get concrete value from the arithmetic and Hodge remarks. It is not a paper that changes the landscape, but the details look worth having in print. I would send it to peer review as a concise note that could save others time when they chase the same rationality applications.

Referee Report

1 major / 1 minor

Summary. The manuscript consists of notes discussing the arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties are presented as underpinning applications to rationality questions by Katzarkov-Kontsevich-Pantev-Yu.

Significance. If the properties hold as described, the notes could offer useful supplementary context for connecting the decomposition theorem to rationality problems in algebraic geometry. A positive aspect is the focus on properties of existing isomorphisms without introducing free parameters, ad-hoc axioms, or new entities. The significance remains modest given the supplementary character of the work, which synthesizes rather than derives new results.

major comments (1)

Abstract: the statement that the properties 'underpin' the applications to rationality questions is presented without full proofs, details, or explicit links showing how the arithmetic and Hodge-theoretic aspects are used in the KKP Y framework. This is load-bearing for the manuscript's stated purpose.

minor comments (1)

The abstract could preview one or two concrete examples of the arithmetic properties (e.g., integrality or Galois invariance) to orient the reader.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and feedback on our notes. We address the single major comment below and will incorporate clarifications in a revised version.

read point-by-point responses

Referee: Abstract: the statement that the properties 'underpin' the applications to rationality questions is presented without full proofs, details, or explicit links showing how the arithmetic and Hodge-theoretic aspects are used in the KKP Y framework. This is load-bearing for the manuscript's stated purpose.

Authors: The manuscript consists of notes focused on the arithmetic and Hodge-theoretic properties of the isomorphisms in the decomposition theorem, rather than a complete derivation of the rationality applications. The abstract statement reflects that these specific properties are the ones invoked in the Katzarkov-Kontsevich-Pantev-Yu framework, with the relevant citations provided in the text. We do not reproduce the full applications or their proofs here, as those appear in the cited works. To address the concern about explicit links, we will revise the abstract for precision and add a short paragraph in the introduction that identifies the precise arithmetic and Hodge-theoretic features utilized in the KKPY approach. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript is explicitly framed as supplementary notes on an existing decomposition theorem for quantum cohomology of blowups. It analyzes arithmetic and Hodge-theoretic properties of isomorphisms that are already present in that theorem and states their relevance to external rationality applications as motivation rather than deriving those isomorphisms or properties from within the paper itself. No new central derivation, ansatz, or prediction is advanced whose logic reduces by construction to fitted inputs or self-citations. The work is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract provides no information on free parameters, axioms, or invented entities; full text would be required to audit them.

pith-pipeline@v0.9.0 · 5308 in / 918 out tokens · 29640 ms · 2026-05-10T16:34:17.011019+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

Milne, Arthur Ogus, and Kuang-yen Shih,Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol

Pierre Deligne, James S. Milne, Arthur Ogus, and Kuang-yen Shih,Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol. 900, Springer-Verlag, Berlin-New York, 1982

work page 1982
[2]

183, Princeton University Press, Princeton, NJ, 2012, Their geometry and arithmetic

Mark Green, Phillip Griffiths, and Matt Kerr,Mumford-Tate groups and domains, Annals of Mathematics Studies, vol. 183, Princeton University Press, Princeton, NJ, 2012, Their geometry and arithmetic

work page 2012
[3]

Thorgal Hinault, Tony Yue Yu, Chi Zhang, and Shaowu Zhang,Decomposition and framing of F-bundles and applications to quantum cohomology,arXiv:2411.02266[math.AG], 2024

work page arXiv 2024
[4]

Hiroshi Iritani,Quantum cohomology of blowups,arXiv:2307.13555[math.AG], 2023

work page arXiv 2023
[5]

Ludmil Katarkov, Maxim Kontsevich, Tony Pantev, and Tony Yue Yu,Birational invariants from Hodge structures and quantum multiplications,arXiv:2508.05105[math.AG], 2025

work page arXiv 2025
[6]

I, English ed., Cambridge Studies in Advanced Mathematics, vol

Claire Voisin,Hodge theory and complex algebraic geometry. I, English ed., Cambridge Studies in Advanced Mathematics, vol. 76, Cambridge University Press, Cambridge, 2007, Translated from the French by Leila Schneps. Email address:iritani@math.kyoto-u.ac.jp Department of Mathematics, Graduate School of Science, Kyoto University, Kitashirakawa-Oiwake-cho, ...

work page 2007

[1] [1]

Milne, Arthur Ogus, and Kuang-yen Shih,Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol

Pierre Deligne, James S. Milne, Arthur Ogus, and Kuang-yen Shih,Hodge cycles, motives, and Shimura varieties, Lecture Notes in Mathematics, vol. 900, Springer-Verlag, Berlin-New York, 1982

work page 1982

[2] [2]

183, Princeton University Press, Princeton, NJ, 2012, Their geometry and arithmetic

Mark Green, Phillip Griffiths, and Matt Kerr,Mumford-Tate groups and domains, Annals of Mathematics Studies, vol. 183, Princeton University Press, Princeton, NJ, 2012, Their geometry and arithmetic

work page 2012

[3] [3]

Thorgal Hinault, Tony Yue Yu, Chi Zhang, and Shaowu Zhang,Decomposition and framing of F-bundles and applications to quantum cohomology,arXiv:2411.02266[math.AG], 2024

work page arXiv 2024

[4] [4]

Hiroshi Iritani,Quantum cohomology of blowups,arXiv:2307.13555[math.AG], 2023

work page arXiv 2023

[5] [5]

Ludmil Katarkov, Maxim Kontsevich, Tony Pantev, and Tony Yue Yu,Birational invariants from Hodge structures and quantum multiplications,arXiv:2508.05105[math.AG], 2025

work page arXiv 2025

[6] [6]

I, English ed., Cambridge Studies in Advanced Mathematics, vol

Claire Voisin,Hodge theory and complex algebraic geometry. I, English ed., Cambridge Studies in Advanced Mathematics, vol. 76, Cambridge University Press, Cambridge, 2007, Translated from the French by Leila Schneps. Email address:iritani@math.kyoto-u.ac.jp Department of Mathematics, Graduate School of Science, Kyoto University, Kitashirakawa-Oiwake-cho, ...

work page 2007