Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Cellular $\mathbb{A}^1$-Homology of Smooth Toric Varieties

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read For smooth pure shellable toric varieties, the cellular $\mathbb{A}^1$-chain complex is isomorphic to a sum over mod-2 row sets of critical subcomplexes tensored with Milnor-Witt K-theory, with differential $\eta\partial^{\mathrm{cri}}$.

desk verdict The main theorem is plausible and the concrete computations are valuable, but the proof has a serious gap in Lemma 3.8 (invalid η-cancellation) and an under-proved Proposition 3.4. read the letter →

arxiv 2505.04520 v1 pith:FFIURBX3 submitted 2025-05-07 math.AG math.AT

Haoyang Liu , Keyao Peng This is my paper · ORCID
classification math.AGmath.AT MSC 14M2514F42
keywords cellularA1-homologytoricvarietiesMilnor-WittK-theoryshellablesimplicialcomplexesmoment-anglecomplexmotivicdecompositionChowgroupcubicalcells
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 tries to show that the cellular $\mathbb{A}^1$-homology of a smooth toric variety—the analogue of cellular homology that computes motivic and Chow-Witt invariants—can be reduced to finite combinatorial data. For the main case, a smooth toric variety whose fan is pure and shellable, it claims the entire cellular $\mathbb{A}^1$-chain complex is isomorphic to a sum, over mod-2 row sets of the characteristic map, of critical subcomplexes tensored with Milnor-Witt K-theory, with a differential twisted by the element $\eta$. If true, this turns the motivic computation into ordinary homology of explicit subcomplexes, and it yields a decomposition of the Milnor-Witt motive into shifted $\tilde{\mathbb{Z}}/l\eta$ summands. The paper also claims an additive basis for the Chow group of any smooth toric variety, indexed by facets and their minimal new faces, and gives explicit formulas for toric surfaces.

What carries the argument

The carrying object is the oriented cubical-cell presentation of the cellular $\mathbb{A}^1$-chain complex. Cells of $\mathbb{A}^n$ are products of the two types $\{x_i=1\}$ and $\{x_i\neq 0\}$; gluing them along the moment-angle complex $AZ_K$ and applying the action of the torus kernel $\mathrm{Ker}(\exp(\lambda))$ yields canonical cells, one per orbit. The central identity is the action formula of Proposition 2.23, which expresses the change of orientation under a group section as coefficients in $\mathbb{Z}\eta^r$, $\mathbb{Z}+\mathbb{Z}h$, or $\mathbb{Z}[-1]^r$. For shellable fans, a regular expanding sequence selects critical facets $r(\sigma)=\sigma\cap\omega$, and the complex $C^\lambda_* = \bigoplus_{\omega\in\mathrm{row}\lambda} C^{\mathrm{cri}}_*(K_\omega)\otimes K^{\mathrm{MW}}_*$ with differential $\eta\partial^{\mathrm{cri}}$ is shown in Theorem 3.9 to be isomorphic to the canonical complex and quasi-isomorphic to $C^{\mathrm{cell}}_*(X_\Sigma)$.

What would settle it

Compute the boundary of a canonical cell in a smooth pure shellable fan whose facet is shared by two maximal cones, using the paper's action formula (Proposition 2.23). If the resulting expression contains any non-canonical cell, or if two canonical cells lie in one $\mathrm{Ker}(\exp(\lambda))$-orbit, then Proposition 3.4 fails and the Theorem 3.9 decomposition collapses; this can be checked directly from the fan data alone.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central discovery is Theorem 3.9: for a smooth pure shellable toric variety $X_\Sigma$, written as a fan $\Sigma=(K,\lambda)$, the cellular $\mathbb{A}^1$-chain complex $C^{\mathrm{cell}}_*(X_\Sigma)$ is quasi-isomorphic to $C^\lambda_* = \bigoplus_{\omega\in\mathrm{row}\lambda} C^{\mathrm{cri}}_*(K_\omega)\otimes K^{\mathrm{MW}}_*$, with differential $\eta\partial^{\mathrm{cri}}$. Here $\mathrm{row}\lambda$ is the set of mod-2 row sets of the characteristic map, $K_\omega$ is the subcomplex of the simplicial complex $K$ cut out by $\omega$, $C^{\mathrm{cri}}_*$ is the critical complex generated by facets whose restriction equals themselves, and $\eta$ is the degree $-1$ generator of Milnor-Witt K-theory. This reduces a motivic computation to ordinary homology of simplicial complexes: each summand contributes Milnor-Witt K-theory shifted by the size of the restriction. From it the paper derives the Milnor-Witt motivic decomposition $\tilde{M}(X_\Sigma)\cong\bigoplus_{l\in\mathbb{N}}\bigoplus_{\sigma\in B(l)}\tilde{\mathbb{Z}}/l\eta(|r(\sigma)|)[2|r(\sigma)|]$, and for general smooth toric varieties an additive basis of the Chow group indexed by facets and their minimal new faces. The paper notes that for non-shellable or non-pure fans this decomposition fails, and gives two surface examples.

Load-bearing premise

Everything rests on Proposition 3.4's identification of the cellular chain complex of $X_\Sigma$ with the canonical subcomplex of the moment-angle complex; the paper does not fully prove the orbit-intersection and cellular-structure compatibility on which that identification depends.

Editorial extensions

If this is right

  • For every smooth pure shellable toric variety, cellular $\mathbb{A}^1$-homology is computable from ordinary homology of the subcomplexes $K_\omega$: $H^{\mathrm{cell}}_i(X_\Sigma)=\bigoplus_{l\in\mathbb{N}}\bigoplus_{B(l)_{i-1}}K^{\mathrm{MW}}_i/l\eta\;\oplus\;\bigoplus_{l\in\mathbb{N}_+}\bigoplus_{B(l)_{i-2}}l\eta K^{\mathrm{MW}}_i$.
  • In the derived category of strictly $\mathbb{A}^1$-invariant sheaves, the chain complex splits into shifts of $K^{\mathrm{MW}}/l\eta$, giving the stated Milnor-Witt motivic decomposition; after inverting $\eta$, only the $l\neq 1$ summands remain.
  • In the ordinary motivic category, a pure shellable smooth toric variety is Tate, with $M(X_\Sigma)\cong\bigoplus_{\sigma\in K_{\max}}\mathbb{Z}(|r(\sigma)|)[2|r(\sigma)|]$, so the Chow group has an additive basis indexed by facets and their restrictions.
  • For complete toric surfaces the complex reduces to $K^{\mathrm{MW}}_2\to(K^{\mathrm{MW}}_1)^{\oplus l-3}\oplus\mathbb{Z}$ with differential $(a_\Sigma)\epsilon\eta$, so the parity of the gcd of the self-intersection numbers determines orientable versus non-orientable behavior in the real realization.
  • For fans that are not pure or not shellable, Corollary 3.11 does not hold; the paper's two surface examples show extra summands survive, so any extension to arbitrary fans must be more subtle.

Reading between the lines

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

  • If Theorem 3.9 is correct, the same combinatorial recipe should compute cellular $\mathbb{A}^1$-homology for any smooth toric variety that admits a regular expanding sequence, including non-complete fans; the paper states the pure shellable case, but the local input is the same.
  • The appearance of ordinary homology of the $K_\omega$ suggests a stratum interpretation: cellular $\mathbb{A}^1$-homology is assembled from the ordinary homology of subcomplexes cut out by mod-2 linear functions, in analogy with Borel-style descriptions of torus actions.
  • The Section 4.2 examples indicate that a general decomposition for arbitrary smooth toric varieties would need extra summands indexed by higher Chow groups, not just by critical facets, since the cycle class map to ordinary cohomology fails to be surjective there.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper develops an explicit computation of cellular A1-homology for smooth toric varieties. The authors represent a smooth toric variety XΣ as a quotient of the moment-angle complex AZK, define a subcomplex Ccan∗(AZK) of 'canonical' cells, and prove (Theorem 3.9) that for pure shellable fans the cellular A1-chain complex is quasi-isomorphic to a direct sum of critical complexes Ccri∗(Kω)⊗KMW∗ with differential η∂cri. From this they derive MW-motivic decompositions, a formula for cellular A1-homology in terms of reduced homology of the subcomplexes Kω, an additive basis for Chow groups, and explicit computations for toric surfaces including P2 and Hirzebruch surfaces.

Significance. If the main theorem is correct, this is a valuable contribution: it reduces a motivic computation to ordinary homology of simplicial complexes and Milnor-Witt K-theory, and it yields explicit decompositions that are not available by general motivic methods. The paper has clear strengths: the chain-level strategy is concrete, the worked examples are internally consistent with known Chow groups, and the authors correctly draw on the external foundations of Morel–Sawant and Cai–Choi rather than re-deriving them. The claims are falsifiable and the examples give useful checks. However, two load-bearing proofs are not complete as written, so the current manuscript needs revision.

major comments (2)
  1. [Lemma 3.8] The proof of the chain-map property cancels a positive power of η. From the displayed equality η^{|ω|-i+1}φ_{i-1,ω}(∂^{cri}[r]) = η^{|ω|-i}∂φ_{i,ω}([r]) the authors conclude φ_{i-1,ω}(η∂^{cri}[r]) = ∂φ_{i,ω}([r]) by asserting that 'η has no zero divisors in ηKMW_* ≅ W_*'. This cancellation is not valid in general. In KMW_0, h = 1+⟨−1⟩ ≠ 0 but ηh = 0 by the defining relation η(2+η[−1]) = 0, so multiplication by η has a nonzero kernel. The cited isomorphism with W_* does not imply injectivity of multiplication by η on KMW_{i-1} or on the submodule containing the relevant boundary terms; no degree restriction or exact-sequence argument is supplied. Since the chain map property of φλ is exactly what makes (C^λ_*, η∂^{cri}) compute the cellular A1-chain complex in Theorem 3.9, this gap is load-bearing. The lemma needs a proof that either restricts to degrees where η is injective on the relevant modules or shows that the difference of the two sides lies in an η-torsion-free submodule.
  2. [Proposition 3.4] The proof that pcan is an isomorphism of complexes is too terse. It asserts that a canonical cell e : G^{t_e}_m → AZK meets each Ker exp(λ)-orbit in at most one point and hence p∘e is an embedding, and then concludes that pcan is an isomorphism. This only addresses injectivity at the level of individual embeddings. The proof does not show surjectivity of pcan on chain groups: cells of C^{cell}_*(XΣ) arise from all cells of AZK modulo the Ker exp(λ)-action, not only from canonical cells. It also does not verify compatibility with the differentials, ∂pcan = pcan∂, where the differential on C^{can}_* uses the T-adjusted formula introduced just above the proposition. Since Proposition 3.4 is the bridge from the moment-angle complex to XΣ and Theorem 3.9 composes pcan∘φλ, these missing checks must be supplied.
minor comments (5)
  1. [Section 3.2, proof of Proposition 3.6] The text says 'We now apply Corollary 2.23' but the formula used is the one stated in Corollary 2.24; please correct the cross-reference.
  2. [Section 3.1] The restriction complex ̲C^{can}_*(AZK) is typographically too close to C^{can}_*(AZK); please use a clearly distinct symbol, for example D^{can}_* or ̄C^{can}_*, throughout.
  3. [Section 4.1, Proposition 4.6 display] The diagram for the cellular complex of a complete toric surface is hard to read: the arrows labelled d(a_i) and the direct sum decomposition of the degree-one term are not fully labelled. Please specify the source and target of each summand and draw the differentials as a standard chain-complex diagram.
  4. [Example 4.11] The characteristic function λ is presented as a 'bordermatrix' with vertex labels above the matrix; please typeset it as an ordinary matrix with a separate row or column of labels so that the entries can be read unambiguously.
  5. [Introduction and Section 3.3] The notation KMW_i /sslash lη appears in the Introduction before it is defined; please define /sslash in Section 2 or move the definition earlier.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation is self-contained against external foundations.

full rationale

The paper's central result, Theorem 3.9, is built from explicit chain-complex morphisms phi_omega and phi_lambda, using external inputs: the cellular A1-homology framework of Morel-Sawant [16], the Cox quotient description of toric varieties [7], and the shellability combinatorics of Cai-Choi [3]. None of the load-bearing objects is defined in terms of the theorem's output, and no parameter is fitted to any subset of the data being predicted. The main quasi-isomorphism is proved by a degreewise isomorphism together with a chain-map verification, and Corollaries 3.11, 1.2, 1.3, and 1.4 are applications of that theorem rather than assumptions used to prove it. Proposition 3.4's identification of the canonical subcomplex with the cellular complex of X_Sigma rests on a geometric orbit-intersection claim; that claim is not a restatement of the target decomposition, so it is at most a fragility or correctness concern, not circularity. The cancellation of powers of eta in Lemma 3.8 is a possible algebraic gap, but it is a correctness objection rather than a circularity: the proof does not assume the isomorphism it is trying to establish. There is no self-citation chain and no renaming of a known result as a new prediction; references [3], [7], and [16] are external prior work that the present paper uses as foundations. Therefore the derivation is self-contained against the relevant external benchmarks, and the appropriate circularity score is 0.

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

The central theorem introduces no free parameters: the input is the fan (K,λ) and all numbers in the formulas, such as surface self-intersection coefficients a_i, are combinatorial data, not fitted constants. No new physical or algebro-geometric entities are postulated; the canonical cells and restriction complexes are constructions defined from K, not independent entities with external handles. The main unproved inputs are standard foundations, including cellular A1-homology and purity, plus the domain restriction to pure shellable fans. One internal fact, injectivity of η-multiplication in Lemma 3.8, is stated without proof.

assumptions (5)
  • domain assumption Cox quotient presentation: XΣ ≅ Coker exp(λ) × (AZK/Ker exp(λ)) [7, Theorem 2.1]
    Invoked in §3.1 to identify XΣ with the quotient of the moment-angle complex; this identification underlies the canonical-cell model and Theorem 3.9.
  • domain assumption Non-degeneracy of the fan: for every σ∈K, {λ(v_i)}_{i∈σ} are linearly independent and form a basis of the generated lattice.
    This is the definition of smoothness for the toric fan Σ=(K,λ), assumed throughout Section 3; it is needed for the toric quotient and orientation computations.
  • domain assumption K is pure and shellable with a fixed regular expanding sequence (shelling order on Kmax).
    Theorem 3.9 and Corollary 3.11 are stated only for pure shellable fans; Remark 3.13 and Section 4.2 show the statement fails outside this class.
  • standard math Multiplication by η has no zero divisors in ηKMW_* ≅ W_*.
    Used in Lemma 3.8 to cancel a factor η and conclude that φ is a chain map; stated without proof or citation in the paper.
  • standard math Homotopy purity theorem and A1-connectivity theorem from [17] and [15].
    Foundation of cellular A1-chain complexes in Definition 2.14 and Proposition 2.16; imported from Morel-Voevodsky and Morel.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cellular $\mathbb{A}^1$-Homology of Smooth Toric Varieties." pith.science (2026). https://pith.science/paper/FFIURBX3

@misc{pith2026250504520,
  author       = {Pith},
  title        = {Pith review of: Cellular $\mathbbA^1$-Homology of Smooth Toric Varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FFIURBX3}},
  note         = {Machine review of arXiv:2505.04520}
}
abstract

In this paper, we present the calculations of cellular $\mathbb{A}^1$-homology for smooth toric varieties, along with an explicit description of pure shellable cases. Consequently, we derive the (Milnor-Witt) motivic decomposition for these pure shellable cases. Furthermore, we obtain an additive basis for the Chow groups of general smooth toric varieties.

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. Cellular $\mathbb{A}^1$-Homology from Bruhat Boundary Matrices of Split Semisimple Flag Varieties

    math.AG 2026-07 accept novelty 6.0 of 10

    Cellular A1-homology of split semisimple flag varieties equals reindexed Bruhat boundary matrices times η in Milnor-Witt K-theory, for types A, Bn/Cn/Dn (n≤7), F4, E6, E7.

Reference graph

Works this paper leans on

18 extracted references · 16 canonical work pages · cited by 1 Pith paper

  1. [1]

    Motivic and real ´ etale stable homotopy theory

    Tom Bachmann. Motivic and real ´ etale stable homotopy theory. Compositio Mathematica , 154(5):883–917, 2018

    work page 2018

  2. [2]

    Milnor- Witt motives

    Tom Bachmann, Baptiste Calm` es, Fr´ ed´ eric D´ eglise, Jean Fasel, and Paul Arne Østvær. Milnor- Witt motives. arXiv preprint arXiv:2004.06634 , 2020

    arXiv 2004

  3. [3]

    Integral cohomology groups of real t oric manifolds and small covers

    Li Cai and Suyoung Choi. Integral cohomology groups of real t oric manifolds and small covers. Moscow Mathematical Journal , 21(3):467–492, 2021

    work page 2021

  4. [4]

    Geometric represent ations of finite groups on real toric spaces, 2019

    Soojin Cho, Suyoung Choi, and Shizuo Kaji. Geometric represent ations of finite groups on real toric spaces, 2019

    work page 2019

  5. [5]

    The cohomology rings of real permutohedral varieties, 2024

    Suyoung Choi and Younghan Yoon. The cohomology rings of real permutohedral varieties, 2024

    work page 2024

  6. [6]

    Wonderful models of subsp ace arrangements

    Corrado Concini and Claudio Procesi. Wonderful models of subsp ace arrangements. Selecta Mathematica, 1, 03 1996

    work page 1996

  7. [7]

    The homogeneous coordinate ring of a toric variety

    David A Cox. The homogeneous coordinate ring of a toric variety. Journal of Algebraic Geom- etry, 4(1):17–50, 1995

    work page 1995

  8. [8]

    Springer Science & Business Media, 1996

    G¨ unter Ewald.Combinatorial convexity and algebraic geometry , volume 168. Springer Science & Business Media, 1996

    work page 1996

Show all 18 references
  1. [9]

    The projective bundle theorem for I j-cohomology

    Jean Fasel. The projective bundle theorem for I j-cohomology. Journal of K-Theory , 11(2):413– 464, 2013

    2013

  2. [10]

    On Tate Milnor-Witt Motives, 2023

    Jean Fasel and Nanjun Yang. On Tate Milnor-Witt Motives, 2023

    2023

  3. [11]

    Introduction to toric varieties

    William Fulton. Introduction to toric varieties . Number 131. Princeton university press, 1993

    1993

  4. [12]

    The real cycle class map

    Jens Hornbostel, Matthias Wendt, Heng Xie, and Marcus Zibrow ius. The real cycle class map. Annals of K-Theory , 6(2):239–317, 2021

    2021

  5. [13]

    Polyhedral products in abstract and motivic hom otopy theory

    William Hornslien. Polyhedral products in abstract and motivic hom otopy theory. 2024. 44 HAOYANG LIU, KEYAO PENG

    2024

  6. [14]

    The stable A1 connectivity theorems

    Fabien Morel. The stable A1 connectivity theorems. K-theory, 35:1–68, 06 2005

    2005

  7. [15]

    A1-Algebraic Topology over a Field , volume 2052

    Fabien Morel. A1-Algebraic Topology over a Field , volume 2052. Springer, Heidelberg, 11 2010

    2010

  8. [16]

    Cellular A1-homology and the motivic version of Matsumoto’s theorem

    Fabien Morel and Anand Sawant. Cellular A1-homology and the motivic version of Matsumoto’s theorem. Advances in Mathematics , 434:109346, 2023

    2023

  9. [17]

    A1 homotopy theory of schemes

    Fabien Morel and Vladimir Voevodsky. A1 homotopy theory of schemes. Publications Math´ ematiques de l’Institut des Hautes ´Etudes Scientifiques , 90, 12 1999

    1999

  10. [18]

    The toric variety associated to Weyl chambers , pages 153–161

    Claudio Procesi. The toric variety associated to Weyl chambers , pages 153–161. 01 1990

    1990

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.