Pith. sign in

REVIEW 7 minor 9 references

Schanuel Integration and Euler Characteristic of Semi-algebraic Sets

T0 review · 0 major / 7 minor · reviewed 2026-07-09 · glm-5.2

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

Pith's one-line read Iterated 1-D integration recovers Euler characteristic of semi-algebraic sets

desk verdict Solid extension of Schanuel integration to semi-algebraic sets; the core argument is correct and well-presented. read the letter →

arxiv 2607.07180 v1 pith:XODOPV5M submitted 2026-07-08 math.AG math.CO

Yuxuan Xiao This is my paper · ORCID
classification math.AGmath.CO
keywords characteristiceulerschanuelsemi-algebraicintegrationsetsclassicalalgebraic
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 Euler characteristic of a semi-algebraic set can be computed by a purely recursive one-dimensional integration procedure applied to its indicator function. The paper extends Schanuel integration — previously defined only for finite unions of convex sets — to all semi-algebraic sets, and proves that the result does not depend on which coordinate directions or ordered basis one integrates along. The key mechanism is a one-dimensional Schanuel integral that assigns the value 1 to a single point and −1 to an open interval; iterating this along successive coordinate projections builds up an invariant that the paper shows coincides with the classical Euler characteristic defined via Borel–Moore homology or cylindrical algebraic decomposition. The proof of basis independence reduces to showing that swapping the order of two adjacent integrations leaves the result unchanged, which is verified cell-by-cell using the structure of cylindrical algebraic decompositions refined so that root functions are constant or strictly monotone on each one-dimensional cell. Once well-definedness is established, standard properties of the Euler characteristic — additivity, inclusion–exclusion, product formula, and invariance under semi-algebraic isomorphisms — follow from short combinatorial arguments within the integration framework.

What carries the argument

Schanuel integral (a one-dimensional integration rule assigning 1 to a point and −1 to an open interval, iterated along coordinate directions); cylindrical algebraic decomposition (a recursive partition of semi-algebraic sets into cells homeomorphic to open cubes, adapted to a finite family of polynomials); permutation reduction (basis independence reduces to invariance under adjacent transpositions of coordinate order); implicit function theorem applied to root functions of polynomials to control monotonicity on cells.

What would settle it

If there existed a semi-algebraic set and two ordered bases for which the iterated Schanuel integral of its indicator function gave different values, the entire construction would fail to define a well-defined invariant. Concretely, a counterexample would be a two-dimensional semi-algebraic cell where integrating first in x then y gives a different result from integrating first in y then x.

Watch

Extended reading notes

Core claim

The indicator function of any semi-algebraic set can be assigned a well-defined integer by iterated one-dimensional Schanuel integration along an arbitrary ordered basis, and this integer equals the classical Euler characteristic. The load-bearing step is proving that swapping two adjacent integration directions does not change the result, which is reduced to a two-dimensional cell-by-cell check using cylindrical algebraic decompositions adapted to polynomial sets closed under partial derivatives. The construction assigns (−1)^k to each open k-dimensional cell and is finitely additive, matching the standard cell-counting and Borel–Moore definitions.

Load-bearing premise

The proof that swapping two adjacent integration directions does not change the answer relies on refining a cylindrical algebraic decomposition so that all root functions of the defining polynomials are either constant or strictly monotone on each one-dimensional cell. This requires the polynomial family to be closed under partial derivatives, which is standard, but the argument depends on the cell structure being sufficiently well-behaved under projection.

Editorial extensions

If this is right

  • The recursive fiberwise integration viewpoint gives a purely geometric, homology-free construction of the Euler characteristic for semi-algebraic sets, accessible with only basic real analysis and the implicit function theorem.
  • Invariance under semi-algebraic isomorphisms becomes a direct consequence of basis independence rather than a deep theorem, since the graph of an isomorphism can be integrated in either coordinate block order.
  • The product formula χ(A×B) = χ(A)χ(B) and inclusion–exclusion follow immediately from linearity and additivity of the Schanuel integral, giving unified short proofs of standard properties.
  • The framework may extend to other o-minimal or tame categories where cylindrical decomposition is available, potentially providing an elementary Euler characteristic construction beyond the semi-algebraic setting.
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

0 major / 7 minor

Summary. This paper extends the Schanuel integration framework—originally developed by Chen for finite unions of convex sets—to arbitrary semi-algebraic sets. The author proves that the Schanuel integral of the indicator function of a semi-algebraic set is independent of the choice of ordered linear basis (Theorem 4.4), thereby defining a well-defined 'Schanuel–Euler characteristic.' The paper further shows that this invariant coincides with the classical Euler characteristic defined via Borel–Moore homology and cylindrical algebraic decomposition (CAD), and provides streamlined proofs of standard properties such as invariance under semi-algebraic isomorphisms, additivity, and the product formula.

Significance. The paper provides an elementary, recursive, and geometrically transparent construction of the Euler characteristic for semi-algebraic sets, avoiding direct reliance on homological machinery or global cell-counting as a definition. The approach is self-contained and the proofs are concise. The reduction of basis independence to a two-dimensional commutativity check (via permutation reduction and CAD) is a clean and instructive argument. The coincidence with the Borel–Moore Euler characteristic is derived rather than assumed. This is a modest but solid contribution to tame geometry and real algebraic geometry, offering a useful alternative viewpoint.

minor comments (7)
  1. Definition 2.2 and the surrounding text use the ordered basis (e_n, ..., e_1), while Definition 2.4 and Theorem 4.4 use (v_n, ..., v_1) and (v_1, ..., v_n) respectively. The author should verify consistency of indexing conventions throughout; for instance, Proposition 4.1 uses (v_1, ..., v_n) while Theorem 4.4 uses (v_n, ..., v_1).
  2. In the proof of Theorem 4.4, the reduction to the two-dimensional case states that integrating out coordinates x_n, ..., x_{i+2} produces a finite Z-linear combination of indicator functions of semi-algebraic sets. A brief justification (e.g., a reference to the inductive structure from Proposition 4.1) would make this step more transparent to the reader.
  3. Remark 1 is described as 'the key ingredient' but is stated somewhat informally. Promoting it to a lemma or proposition with a precise statement would strengthen the presentation.
  4. The phrase 'one of the basic property' in the sentence preceding Proposition 2.3 should read 'one of the basic properties.'
  5. In the third case of the proof of Theorem 4.4 (graph cell over an open interval), the subcase where ξ is constant: the text states the horizontal fiber is the open interval C, but the Schanuel integral of 1_C is stated as -1. This is correct since C is an open interval, but a brief parenthetical would aid readability.
  6. The abstract and introduction mention 'simplified proofs of several classical properties.' While the proofs in Section 5 are indeed short, the author could briefly comment on which specific proofs are typically more involved in the standard approach, to highlight the advantage more concretely.
  7. Reference [1] is cited as 1993; the author should verify this matches the intended publication of Chen's work on Schanuel integration for convex sets.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity identified

full rationale

The paper constructs the Schanuel-Euler characteristic from first principles (Definitions 2.1-2.5) and proves basis independence (Theorem 4.4) via a direct 2D commutativity argument using standard CAD theory. The coincidence with the classical Euler characteristic (Corollary 5.2) is derived by showing both satisfy the same cell-counting formula, not by definition. The only external citation that is load-bearing for the proof structure is Proposition 4.3 (permutation reduction), attributed to Chen [1], which is a standard combinatorial reduction and not a self-citation by the present author. All other results (Proposition 5.1, 5.4, 5.6) follow from the established well-definedness without circular dependency. The derivation chain is self-contained against external mathematical benchmarks (standard CAD theory, Borel-Moore homology).

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

The paper introduces no new physical entities or free parameters. It uses standard mathematical tools (CAD, Borel-Moore homology) and defines a new integration framework (Schanuel integration) based on prior work. The axioms are standard mathematical results or domain assumptions from the cited literature.

assumptions (3)
  • standard math Cylindrical Algebraic Decomposition (CAD) theorem
    Theorem 3.1. Standard result in real algebraic geometry used to partition semi-algebraic sets into well-behaved cells.
  • domain assumption Permutation reduction for basis independence
    Proposition 4.3, cited from Chen [1]. Reduces the proof of basis independence to invariance under permutations of a fixed basis.
  • standard math Properties of Borel-Moore homology
    Used in the introduction and Section 5 to define the classical Euler characteristic and establish additivity over locally closed sets.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Schanuel Integration and Euler Characteristic of Semi-algebraic Sets." pith.science (2026). https://pith.science/paper/XODOPV5M

@misc{pith2026260707180,
  author       = {Pith},
  title        = {Pith review of: Schanuel Integration and Euler Characteristic of Semi-algebraic Sets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XODOPV5M}},
  note         = {Machine review of arXiv:2607.07180}
}
read the original abstract

We extend the Schanuel integration framework, originally introduced for finite unions of convex sets, to arbitrary semi-algebraic sets. We prove that the resulting Schanuel integral of indicator functions is independent of the choice of ordered linear bases and therefore defines a well-defined Euler characteristic in the semi-algebraic category. We further show that this Schanuel--Euler characteristic coincides with the classical Euler characteristic defined via Borel--Moore homology and cylindrical algebraic decomposition. The recursive fiberwise structure of Schanuel integration provides an elementary and geometric interpretation of Euler characteristic and yields simplified proofs of several classical properties, including invariance under semi-algebraic isomorphisms.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    An introduction to semialgebraic geometry , author=

    work page

  2. [2]

    Discrete & computational geometry , volume=

    On the Euler characteristic of finite unions of convex sets , author=. Discrete & computational geometry , volume=. 1993 , publisher=

    work page 1993

  3. [3]

    1998 , publisher=

    Tame topology and o-minimal structures , author=. 1998 , publisher=

    work page 1998

  4. [4]

    , author=

    Eulers Charakteristik und kombinatorische Geometrie. , author=. 1955 , publisher=

    work page 1955

  5. [5]

    Eulersche charakteristik, projektionen und querma

    Groemer, Helmut , journal=. Eulersche charakteristik, projektionen und querma. 1972 , publisher=

    work page 1972

  6. [6]

    Category Theory: Proceedings of the International Conference held in Como, Italy, July 22--28, 1990 , pages=

    Negative sets have Euler characteristic and dimension , author=. Category Theory: Proceedings of the International Conference held in Como, Italy, July 22--28, 1990 , pages=. 2006 , organization=

    work page 1990

  7. [7]

    Categories in Continuum Physics: Lectures given at a Workshop held at SUNY, Buffalo 1982 , pages=

    What is the length of a potato? An introduction to geometric measure theory , author=. Categories in Continuum Physics: Lectures given at a Workshop held at SUNY, Buffalo 1982 , pages=. 2006 , organization=

    work page 1982

  8. [8]

    2013 , publisher=

    Real algebraic geometry , author=. 2013 , publisher=

    work page 2013

Show all 9 references
  1. [9]

    Notes de cours , pages=

    Real algebraic sets , author=. Notes de cours , pages=

Pith tools

Reviewed July 9, 2026 · model on record in the stance chip above.