Pith. sign in

REVIEW 2 major objections 5 minor 12 references

A Chern-character isomorphism between shift and differential operator quotients exists exactly when a Todd class does, the paper proves.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-01 00:34 UTC pith:XPY5KLSV

load-bearing objection The main HRR criterion is sound, but Theorem 3.19 is overbroad and, as stated, false: it needs the differential-equivalence hypothesis f∼g. the 2 major comments →

arxiv 2607.26176 v1 pith:XPY5KLSV submitted 2026-07-28 math.AG math.ACmath.COmath.KT

A Riemann-Roch theorem for Frobenius quotients

Matthew Dupraz , Andreas Gross , Leonid Monin This is my paper
classification math.AG math.ACmath.COmath.KT MSC 14C4005E1413H1019L1014M2514M2752B20
keywords Frobenius ringChern characterTodd classRiemann-Roch theoremlambda-ringmatroidstoric varietiesEhrhart fans
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves a combinatorial analogue of the Hirzebruch–Riemann–Roch theorem: for a lattice, a polynomial f, and a homogeneous polynomial g, the assignment T^u ↦ exp(∂_u) gives an isomorphism between the discrete Frobenius quotient QK_f and the continuous Frobenius quotient QA_g if and only if there is an invertible Todd class td ∈ QA_g^× with td·g = f. This condition, called differential equivalence, makes the pair (K_f, A_g) a Riemann-Roch pair. Whenever it holds, K_f automatically carries Chern classes, a λ-ring structure, determinants, a dualizing morphism and dualizing class (Serre duality), and a filtration whose associated graded ring is QA_g. The construction is functorial and yields a Grothendieck-Riemann-Roch-style commutative diagram, and it specializes to new results for matroids, linear families of polytopes, toric bundles, and Ehrhart fans.

Core claim

The central discovery is that the exponential map between shift and differential operators is the correct Chern character in this abstract setting: because exp(∂_u)h = T^u h for polynomials, the shift T^u and the differential operator exp(∂_u) act identically on polynomial functions. The map ch : QK_f → QA_g sending T^u to exp(∂_u) is an isomorphism precisely when f and g are differentially equivalent, i.e. when there exists an invertible td ∈ QA_g^× with f = td·g; this is equivalent to the equality of annihilators and to the formula χ_f(ξ) = deg_g(td·ch(ξ)) for all ξ. In that situation, K_f is not just a Frobenius ring but a full λ-ring with total Chern classes, determinant, Todd operator,

What carries the argument

The machinery is the pair of Frobenius quotients built from operator algebras: K_f = Sh(Λ)/Ann_{Sh}(f) (shift operators modulo the annihilator of f) and A_g = Diff(Λ)/Ann_{Diff}(g) (differential operators with constant coefficients modulo the annihilator of the homogeneous polynomial g). The bridge is the Chern character ch(T^u) = exp(∂_u), whose correctness rests on the Taylor-identity exp(∂_u)h = T^u h. The Todd class td ∈ QA_g^× is the invertible operator that converts g into f, and its existence is equivalent (Theorem 2.21/3.9) to the descent of ch to an isomorphism. For pairs not generated by line elements, a splitting-principle embedding into a standard graded pair (K_h, A_h) with h ho

Load-bearing premise

The central claim requires that f and g be differentially equivalent; if that equivalence (equality of annihilators) fails, the Chern character is merely a formal map between operator algebras and none of the K-ring structures constructed in Sections 3.4–3.7 are guaranteed to be well-defined.

What would settle it

Compute, for Λ=Z, f(x)=x^2+x+1 and g(x)=x^2, the finite-dimensional quotients QK_f and QA_g. If the map T^u↦exp(∂_u) is a well-defined isomorphism even though no invertible td satisfies f=td·g, Theorem 3.9 is false. The Artinian ring QA_g is small enough to check by hand; the same check can be done on any Ehrhart fan where Ehr_Σ and Vol_Σ are not known to be differentially equivalent.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If f∼g, then K_f is a λ-ring with Chern classes and a determinant, so every numerical K-ring that admits a Riemann-Roch pair has the same formal properties as K_rings of smooth complete varieties.
  • The dualizing class ω and the Serre-duality identity hold combinatorially; when a cotangent class Ω exists, ω = det(Ω), giving a direct analogue of the canonical bundle.
  • The associated graded ring of the rank filtration on K_f is canonically isomorphic over Q to A_g, so the Chow ring is recovered from K_f by a purely ring-theoretic construction.
  • Lattice homomorphisms satisfying a projection-formula condition induce pushforwards and pullbacks that make the diagram with td·ch commute, a combinatorial Grothendieck–Riemann–Roch theorem.
  • For matroids, the Snapper polynomial equals T^{u_E}·Poch↑(Vol_M), an efficient formula; the same framework yields Chern character and λ-ring structures for rings of conditions of horospherical spaces.

Where Pith is reading between the lines

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

  • Because the Todd-class condition is checkable in a finite-dimensional Artinian ring, the theorem offers a computational test for when two Frobenius quotients are isomorphic; applying it to Ehrhart fans suggests balancing conditions for the skeleta may be necessary for exceptional isomorphisms beyond dimension 2.
  • The construction suggests that the Chern character and Todd class are not geometric but algebraic: any pair (pairing, multiplication) on a finite-dimensional commutative algebra can be studied through its Frobenius quotient, so the Riemann-Roch formalism may extend to other dualities such as Poincaré duality in triangulated categories.
  • A natural extension is to replace exp(∂_u) by other power series p(∂_u); the paper characterizes exceptional isomorphisms via Pochhammer transforms, but for p not of the form 1+... the integrality of the resulting isomorphism is left open in general, and one could test whether the truncated Chern character of higher degree gives integral isomorphisms for any smooth toric variety.

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

2 major / 5 minor

Summary. The paper introduces two families of Frobenius quotients: discrete quotients K_f of shift operators annihilating a function f, and continuous quotients A_g of differential operators annihilating a homogeneous polynomial g. In the standard graded case Λ=Σ=Γ, it studies when the natural Chern character T^u ↦ exp(∂_u) descends to an isomorphism QK_f ≅ QA_g. The main criterion (Theorem 1.1/3.9) is that this happens exactly when there is an invertible Todd class td ∈ QA_g^× with f = td·g, equivalently f∼g. For such Riemann-Roch pairs the paper develops Chern classes, Todd operators, determinants, λ-ring structures, Serre duality, Grothendieck-Riemann-Roch functoriality, and an associated-graded isomorphism QgrK_f ≅ QA_g. It also introduces exceptional isomorphisms, applies the framework to matroids, toric variety bundles, Ehrhart fans, and McMullen's polytope algebra, and proves several concrete formulas.

Significance. The main equivalence is an internal, parameter-free criterion and is proved by a clean argument using Macaulay inverse systems and the non-degeneracy of the Frobenius pairings. If the stated structural results are valid for Riemann-Roch pairs, the paper provides a genuinely useful combinatorial model for numerical K-rings and Chow rings, with explicit applications to Snapper polynomials of matroids, toric bundles, and fans. I found no sign of circular fitting: the Todd class is not chosen to force the theorem, and the dictionary with algebraic geometry is used as motivation rather than as an input. However, two load-bearing overgeneralizations—Theorem 3.19 and Theorem 5.6—need correction before the paper can be accepted.

major comments (2)
  1. [§3.4, Theorem 3.19] The theorem is stated for arbitrary f and homogeneous g, but the proof begins 'Since K_f=K_g, we may assume w.l.o.g. that f=g' and then uses f homogeneous. By Corollary 3.11, K_f=K_g is equivalent to differential equivalence f∼g, which is not a hypothesis of the theorem. Without it the statement is false. Example: Λ=Z², f=y², g=x². Then A_g ≅ Q[∂_x]/(∂_x³) with ∂_y=0, and in K_f one has [T^{e_x}]=1 because T^{e_x}f=f. For a(t)=1+t, the asserted map would give 1+[∂_x]=ψ([T^{e_x}])=ψ(1)=1 in A_g, contradiction because [∂_x]≠0. Thus Theorem 3.19 as stated is false. The fix is to add f∼g (or K_f≅K_g) to the hypotheses and prove descent using f=td·g with td invertible. This is load-bearing: Definitions 3.20(1)-(2), 3.22(1)-(2), Corollary 3.21, and Theorem 3.24 all derive from Theorem 3.19 and are therefore only justified for Riemann-Roch pairs. The same 'w.l.o.g. f=g' appears in Lemma 3.34 an
  2. [§5.3, Theorem 5.6] The statement assumes that the restriction of O(D_h) to every fiber Z_Σ is nef, but the proof uses 'Since this restriction is ample' and invokes Demazure vanishing. Nefness is not ampleness on a toric variety, and the passage from nef to the claimed vanishing of all higher direct images is not supplied. This matters because Theorem 5.6 is the basis of Corollary 5.7 and Theorem 5.8 for the numerical K-ring of toric variety bundles. Please either strengthen the hypothesis to ample (and adjust Corollary 5.7 to work on an ample subcone, using polynomiality to extend) or give a proof of the needed vanishing for nef restrictions, e.g. by citing a nef vanishing theorem for complete toric varieties if one exists.
minor comments (5)
  1. [§3.4] If Theorem 3.19 is restricted to f∼g, the text should state this explicitly and point to Corollary 3.11 for the 'w.l.o.g. f=g' reduction. The definitions of the total Chern class, Todd operator, determinant, and λ-operator should also explicitly appear under the Riemann-Roch pair hypothesis, matching Theorem 1.2.
  2. [§3.2, proof of Theorem 3.9] The proof cites 'Theorem 3.7 and Theorem 3.8' but these are Lemmas 3.7 and 3.8. Please correct the cross-references.
  3. [§3.9, Example 3.42] The notation 'Snap_P ∼ Poch↓(Vol_P)' is informal; since differential equivalence is defined for pairs, the sentence would be clearer as 'Snap_P is not differentially equivalent to Poch↓(Vol_P)' or as a displayed negation of the relation defined in Definition 3.12.
  4. [§5.3, Corollary 5.7] The polynomiality argument is only sketched. After fixing the nef/ample issue in Theorem 5.6, please spell out why the left- and right-hand sides agree on a full-rank subsemigroup, rather than merely on all convex polytopes (which may not all satisfy the nef condition).
  5. [Throughout] Some references to preprints ([MS26], [KM21], [HKM24], [CMN26]) are used for substantial dictionary results. It would help readers if each such result were identified with the specific theorem number in those preprints.

Circularity Check

0 steps flagged

No circular reduction: Theorem 1.1 is an internal equivalence proved from Frobenius duality; the flagged issue in Theorem 3.19 is a missing hypothesis, not a circularity.

full rationale

The central claim (Theorem 1.1 / Theorem 3.9) is not circular. It is proved from Theorem 2.21: if the Chern character descends to an isomorphism, the Euler-characteristic functional is represented by an invertible Todd class, and conversely an invertible Todd class forces the annihilator ideals to coincide. Neither the Todd class nor any other parameter is fitted to data; geometric HRR is used only as motivation and as an external benchmark. The only suspicious passage is Theorem 3.19, whose proof says: 'Since K_f=K_g, we may assume w.l.o.g. that f=g, and so that f is homogeneous.' As printed, the theorem does not assume f∼g, so this sentence imports exactly the differential-equivalence hypothesis. Without that hypothesis the statement is false (e.g. f=y^2, g=x^2 on Z^2, where (T^{e_x}-1) annihilates f but exp(∂_x)-1 is non-zero in A_g). This is a genuine correctness gap in the unconditional statement, but it is not a circularity: the theorem is subsequently used only for Riemann-Roch pairs, where f∼g is the standing hypothesis. The Chern-class/Todd/determinant/λ constructions therefore do not assume their own conclusions; they are conditional on the RR-pair hypothesis stated in Theorem 1.2. Self-citations [MS26], [KM21], [HKM24], and [CMN26] appear, but they are not load-bearing for the main equivalence. The Frobenius-quotient representation theorems are proved in the text (Theorems 2.8, 2.17), and the cited geometric degree formulas in Sections 5.2–5.3 concern applications and are externally checkable algebraic geometry rather than unverified premises of the central derivation. Thus there is no significant circularity; the paper's main theorem has independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

No numerical parameters are fitted to data. The central constructions are definitions, and the proofs do not rely on unproved new entities. External inputs are classical theorems and prior Frobenius-quotient results ([MS26], [Kav11], [KM21], [LLPP24]).

axioms (4)
  • domain assumption A_g is finite-dimensional and zero-dimensional for a polynomial g, so the Frobenius pairing is perfect and Hom_Q(QA_g,Q) ≅ QA_g.
    Used in Theorem 2.21 ('since QA_g is a finite-dimensional vector space, the Frobenius pairing is perfect'). This is a standard inverse-system fact but is not proved in the text.
  • domain assumption All finitely generated commutative Frobenius rings arise as discrete Frobenius quotients K_f, and all finitely generated Frobenius rings generated by nilpotent elements arise as continuous quotients A_g.
    The discrete case is proved in Theorem 2.8; the continuous case is stated in Theorem 2.17 and relies on Macaulay inverse systems ([IK99], [Kav11], [KM21]).
  • domain assumption Classical geometric facts used in examples: Hirzebruch-Riemann-Roch, Borel-Weil-Bott, Demazure vanishing, Ehrhart reciprocity, Leray-Hirsch for toric variety bundles.
    These are external benchmarks used to identify K_f and A_g with geometric rings and to compute examples in Sections 3.1, 5.1, and 5.3.
  • domain assumption The exceptional isomorphism K(M) ≅ A(M) for matroids and the associated Todd class of [LLPP24] hold.
    Used in Corollary 1.5 and Section 3.9 to derive the matroid Snapper polynomial formula; the paper cites [LLPP24, Theorem 1.2].

pith-pipeline@v1.3.0-alltime-deepseek · 40474 in / 16417 out tokens · 148215 ms · 2026-08-01T00:34:17.031278+00:00 · methodology

0 comments
read the original abstract

We construct two families of commutative Frobenius rings: discrete and continuous Frobenius quotients $K_f$, resp. $A_g$, which are defined as the quotients of shift, resp. differential operator algebras by the annihilator of a polynomial. These constructions model the numerical $K$-rings and Chow rings of smooth complete varieties. We show that there is a naturally defined isomorphism $\mathbb{Q} K_f \cong \mathbb{Q} A_g$ playing the role of the Chern character, precisely when the polynomials satisfy a combinatorial analogue of the Hirzebruch-Riemann-Roch theorem, which states that there exists an invertible element $\mathrm{td} \in \mathbb{Q} A_g^\times$, called the Todd class, such that $f = \mathrm{td} \cdot g$. In this case we show that $K_f$ carries all the structure needed to make it a suitable model for $K$-rings of complete smooth varieties: $K_f$ is a $\lambda$-ring, has well-defined Chern classes, determinants, and satisfies a combinatorial analogue of Serre duality. We further show that the construction is functorial and obtain a combinatorial analogue of the Grothendieck-Riemann-Roch theorem. Lastly, we investigate the existence of larger families of isomorphisms between Frobenius quotients defined by the action of a power series on a generating set, such as the truncated Chern character which yields an integral isomorphism $K_f \cong A_g$. We provide numerous examples and applications: we give a new formula for computing Snapper polynomials of matroids, show that the dualizing class of $K_f$ coincides with dualizing classes of matroids and linear families of polytopes, realize $K$-rings of toric variety bundles as Frobenius quotients, and study $K$-rings of Ehrhart fans as well as exceptional isomorphisms in this setting.

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

12 extracted references · 2 canonical work pages

  1. [1]

    Hodge theory for combinatorial geome- tries

    [AHK18] Karim Adiprasito, June Huh, and Eric Katz. “Hodge theory for combinatorial geome- tries”. In:Ann. Math. (2)188.2 (2018), pp. 381–452.doi:10.4007/annals.2018. 188.2.1. [BEST23] Andrew Berget, Christopher Eur, Hunter Spink, and Dennis Tseng. “Tautological classes of matroids”. In:Invent. math.233 (2023), pp. 951–1039.doi:10 . 1007 / s00222-023-01194...

    work page doi:10.4007/annals.2018 2018

  2. [4]

    Chow theory of toric variety bundles

    arXiv:2606.22650 [math.AG]. [CMN26] Francesca Carocci, Leonid Monin, and Navid Nabijou. “Chow theory of toric variety bundles”. In:International Mathematics Research Notices2026.1 (2026), rnaf369.doi: 10.1093/imrn/rnaf369. [CN26] F. Carocci and N. Nabijou. “Tropical expansions and toric variety bundles”. In: manuscripta math.177.3 (2026).doi:10.1007/s0022...

    Pith/arXiv arXiv 2026

  3. [6]

    481–514.doi:10.2969/aspm/00610481

    Mathematical Society of Japan, 1985, pp. 481–514.doi:10.2969/aspm/00610481. [Eis95] David Eisenbud.Commutative algebra, with a view toward algebraic geometry. Vol

    arXiv 1985

  4. [13]

    Tropical fans and normal complexes: putting the “volume

    arXiv:2606.07142 [math.AG]. [NR23] Anastasia Nathanson and Dustin Ross. “Tropical fans and normal complexes: putting the “volume” back in “volume polynomials””. In:Adv. Math.420 (2023). 108981.doi: 10.1016/j.aim.2023.108981. [PK93] A. V. Pukhlikov and A. G. Khovanskij. “Finitely additive measures of virtual poly- topes”. In:St. Petersbg. Math. J.4.2 (1993...

    Pith/arXiv arXiv 2023

  5. [131]

    Chow Rings of Toric Varieties Defined by Atomic Lattices

    Princeton University Press, 1993.isbn: 978-0-691-03332-7. [FY04] Eva Maria Feichtner and Sergey Yuzvinsky. “Chow Rings of Toric Varieties Defined by Atomic Lattices”. In:Inventiones Mathematicae155.3 (Mar. 2004), pp. 515–536. doi:10.1007/s00222-003-0327-2. [Gib18] Julia Gibson.Rings of Conditions of Rank 1 Spherical Varieties. Master’s Thesis, McMaster Un...

    work page doi:10.1007/s00222-003-0327-2 1993

  6. [277]

    Intersection theory on spherical varieties

    Grundlehren Der Mathematischen Wissenschaften. Springer New York, 1985.doi:10.1007/978- 1- 4757-1858-4. [FMSS95] William Fulton, Robert MacPherson, F. Sottile, and Bernd Sturmfels. “Intersection theory on spherical varieties”. English. In:J. Algebr. Geom.4.1 (1995), pp. 181–193. issn: 1056-3911. [FS97] William Fulton and Bernd Sturmfels. “Intersection The...

    doi:10.1007/978- 1985

  7. [308]

    Springer Berlin Heidelberg, 1973.doi:10

    Lecture Notes in Mathematics. Springer Berlin Heidelberg, 1973.doi:10. 1007/BFb0069217. [KV18] Kiumars Kaveh and Elise Villella.On a notion of anticanonical class for families of convex polytopes. Feb

    1973

  8. [1721]

    Note on cohomology rings of spherical varieties and volume polynomial

    Lecture Notes in Mathematics. Springer Berlin Heidelberg, 1999.doi:10.1007/BFb0093426. [Kav11] K. Kaveh. “Note on cohomology rings of spherical varieties and volume polynomial”. In:J. Lie Theory21.2 (2011), pp. 263–283.issn: 0949-5932. [KKE21] B. Ya. Kazarnovskii, A. G. Khovanskii, and A. I. Esterov. “Newton polytopes and tropical geometry”. In:Russian Ma...

    doi:10.1007/bfb0093426 1999

  9. [2018]

    Cones, crystals, and patterns

    arXiv:1802.06674 [math.AG]. [Lit98] P. Littelmann. “Cones, crystals, and patterns”. In:Transformation groups3.2 (1998), pp. 145–179.doi:10.1007/BF01236431. [LLPP24] Matt Larson, Shiyue Li, Sam Payne, and Nicholas Proudfoot. “K-rings of wonderful varieties and matroids”. In:Advances in Mathematics441 (2024).doi:10.1016/j. aim.2024.109554. [Mac16] F. S. Mac...

    Pith/arXiv arXiv 1998

  10. [2021]

    [Knu73] Donald Knutson.λ-Rings and the Representation Theory of the Symmetric Group

    arXiv:2106.15562 [math.AC]. [Knu73] Donald Knutson.λ-Rings and the Representation Theory of the Symmetric Group. Vol

    Pith/arXiv arXiv

  11. [2025]

    [Che26a] Ronnie Cheng.On the Tangent Bundle and the Divisor Theory of a General Matroid

    arXiv:2503.22636 [math.CO]. [Che26a] Ronnie Cheng.On the Tangent Bundle and the Divisor Theory of a General Matroid. Mar

    Pith/arXiv arXiv

  12. [2026]

    [Che26b] Ronnie Cheng.Tangent classes for matroid building sets

    arXiv:2510.06609 [math.AG]. [Che26b] Ronnie Cheng.Tangent classes for matroid building sets

    arXiv