Pith. sign in

REVIEW 2 major objections 3 minor 10 references

A Combinatorial Study of the Fixed Point Index

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read A combinatorial fixed point index defined by evaluating the classical index on interiors supports integration of integer- and real-valued functions without requiring openness, definability, or f-invariance.

desk verdict The integration theory as written does not work—the well-definedness proof relies on a false closure property and the index definition omits a compactness condition—but the underlying idea is natural and likely repairable. read the letter →

arxiv 2505.24530 v1 pith:YYSLTXGO submitted 2025-05-30 math.AT

Jesús A. Álvarez López , Alejandro O. Majadas-Moure , David Mosquera-Lois This is my paper
classification math.AT MSC 55M2054H2503C64
keywords fixedpointindexcombinatorialLefschetznumbercalculuso-minimalstructuresEulerintegrationFubinitheoremsimplicialcomplexestheory
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 introduces a combinatorial fixed point index: for a continuous self-map $f$ of a finite simplicial complex and a subspace $A$ with no fixed points in the boundary layer $A \setminus \mathring{A}$, the index is defined as the classical fixed point index of the interior, $i_c(X,f,A) = i(X,f,\mathring{A})$. This single definition removes the restrictions that earlier Lefschetz-based integration imposed, namely definability, openness, and $f$-invariance of subspaces, and it also removes the need for $f$ to be a homeomorphism. With this index, integer-valued functions can be integrated against fixed point data, the integral is independent of the chosen expression, and product and Fubini-type formulas hold. For maps whose local index has a constant sign, real-valued functions also obtain convergent lower and upper Riemann sums. The reason to care is that fixed point calculus broadens from specially selected invariant definable sets to essentially arbitrary sets that merely avoid fixed points on their boundary.

What carries the argument

The central object is Definition 2.5, the combinatorial fixed point index $i_c(X,f,A):=i(X,f,\mathring{A})$, defined for continuous $f:X\to X$ on a finite simplicial complex and a subspace $A$ with no fixed points in $A\setminus \mathring{A}$. It is the classical index applied to the interior of $A$, and that reduction carries the argument: the four classical index axioms, the product formula, the Fubini-type theorem, and the well-definedness of the integral are all inherited or derived from properties of the classical index, while Theorem 2.9 connects the new invariant to the combinatorial Lefschetz number.

What would settle it

Compute Definition 2.5 on $X=[0,1]$, $f=\operatorname{id}$, $A=(0,1)$: the condition that $f$ has no fixed points in $A\setminus \mathring{A}$ is vacuous because $A\setminus \mathring{A}$ is empty, yet $i([0,1],\operatorname{id},(0,1))$ is not defined since the fixed point set $(0,1)$ is not compact, so the definition as written assigns no value to an admissible triple.

Watch

Extended reading notes

Core claim

The authors claim that Definition 2.5 is a bona fide fixed point index: whenever $f(x)\neq x$ for all $x\in A\setminus \mathring{A}$, setting $i_c(X,f,A):=i(X,f,\mathring{A})$ produces an integer-valued, additive, homotopy-invariant invariant that localizes to the classical index on open sets, normalizes to the Lefschetz number on all of $X$, and satisfies the commutativity axiom for open $A$. They further claim that when $f$ is a homeomorphism and $A$ is definable and $f$-invariant with no boundary fixed points, Theorem 2.9 identifies $i_c$ with the combinatorial Lefschetz number $\Lambda(A,f)_X$, so the new invariant extends the earlier combinatorial calculus. The integration theorem of Section 3 states that for every $f$-integrable integer-valued function $h=\sum_j d_j\,1_{U_j}$ with each $U_j$ boundary-fixed-point-free, the sum $\sum_j d_j\, i_c(X,f,U_j)$ is independent of the representation, and Section 4 extends this to real-valued functions through dyadic Riemann sums for index-strict maps.

Load-bearing premise

The definition assumes that the classical fixed point index $i(X,f,\mathring{A})$ exists, which requires the fixed points of $f$ inside the interior of $A$ to be compact, and this compactness is not guaranteed by the stated hypotheses when $A$ is not closed.

Editorial extensions

If this is right

  • Every $f$-integrable integer-valued function has an integral $\sum_j d_j\, i_c(X,f,U_j)$ that does not depend on the chosen decomposition.
  • For a definable $f$-invariant subspace $A$ with no boundary fixed points, $i_c(X,f,A)$ equals the combinatorial Lefschetz number, so the earlier fixed point theorems and examples are recovered.
  • The index is invariant under homotopies that avoid fixed points on the boundary layer and under definable conjugacies even when the ambient complexes are not homeomorphic.
  • The product formula and the Fubini-type theorem compute fixed point data on products and fiber bundles from the fixed point data of the factors.
  • For index-strict maps, real-valued $f$-integrable functions have convergent lower and upper Riemann sums with respect to the index, and these sums are invariant under coordinate changes.

Reading between the lines

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

  • The authors do not spell it out, but the same additivity that makes the integral well defined means one can pass to arbitrarily fine common refinements of any two representations, so the integral is a purely combinatorial sum once a triangulation is fixed.
  • A testable extension: for index-strict maps with both positive and negative local index contributions, one can check numerically whether the dyadic Riemann sums still converge; if they do, the index-strict hypothesis could be weakened.
  • The Fubini-type theorem is proved for one fiber bundle projection; iterating it over a nested tower of bundles would yield an iterated-integral formula for fixed point data on stratified spaces, a natural next step the paper leaves open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proposes a combinatorial fixed point index ic(X,f,A) := i(X,f,A°) for pairs (X,f,A) in which f has no fixed points on the boundary A\A°. It claims that this index extends the combinatorial Lefschetz number, satisfies a list of axioms, and supports an integration theory for integer-valued and real-valued functions without requiring openness, definability, or f-invariance. The main results are an axiomatic characterization, topological and homotopical invariance statements, a product formula, a Fubini-type theorem for certain fiber bundles, and convergence of lower and upper Riemann sums for real-valued maps.

Significance. The program is attractive: replacing Lefschetz-number integration by a fixed-point-index integration and dropping f-invariance would genuinely broaden the settings in which fixed-point data can be counted and integrated. The paper also makes a useful move by putting the additivity properties at the center and by formulating explicit product and Fubini-type results. However, the central object is not always well defined as stated, and the proof of well-definedness of the integral relies on a false closure property. If these foundations are repaired, the results would be a meaningful contribution to combinatorial fixed-point theory and o-minimal integration.

major comments (2)
  1. [Section 2.3, Definition 2.5] Definition 2.5 defines ic(X,f,A) as i(X,f,˚A) without requiring Fix(f)∩˚A to be compact. In the classical theory of the fixed point index, i(X,f,U) is defined for an open set U only when the relevant part of the fixed point set is compact, and this condition is not implied by the hypothesis that f has no fixed points in A\˚A. For example, take X=[0,1], f=id_X, and A=(0,1). Then A\˚A is empty, so the boundary condition is vacuous, but Fix(f)∩˚A=(0,1) is not compact, and i(X,id,(0,1)) is not defined. Thus Definition 2.5 leaves the main object undefined for many triples that the hypotheses explicitly allow, and the same gap affects every later use of ic, including the Additivity Axiom and the integral in Definition 3.2.
  2. [Section 3, Theorem 3.3] The proof of well-definedness of the integral asserts that the family B={A⊂X : f has no fixed points in A\˚A} is closed under finite intersections and complements. The complement assertion is false. For X=[0,1], f(x)=x/2, and U=(0,1], we have U∈B because U\˚U={1} and f(1)≠1, but U^c={0} is not in B because 0∈{0}\∅ and f(0)=0. Since the atoms L_s in equation (3) are constructed using complements and differences of the W_ζ, they need not belong to B, so the equalities ic(X,f,U_j)=Σ_{s∈N_j} ic(X,f,L_s) that are justified by the Additivity Axiom are not actually justified. This invalidates the proof that the integral in Definition 3.2 is independent of the chosen representation; a different argument or additional hypotheses are needed.
minor comments (3)
  1. [Sections 3.1 and 3.2] Definition 3.1, Definition 3.2, and Theorem 3.3 write sums as Σ_{j=i}^n although the index should start at j=1; this is a typo that should be corrected throughout.
  2. [Throughout] There are several typographical slips, e.g., 'Corrollary 2.6', 'Suposse', 'Lefchetz', and inconsistent notation such as Λ(f_A) versus Λ(f|_A) in Theorem 2.9 and Corollary 2.10.
  3. [Theorem 3.6] In the displayed Fubini-type formula, the inner integral ∫_{p^{-1}(b)} ... is written with b as a free variable; as stated, the formula needs a quantifier or an explicit statement that the inner term is constant in b for the equality to be meaningful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the new index and integration theory are built from the classical fixed point index and the previously published combinatorial Lefschetz number; the serious proof gaps found are correctness defects, not circular reductions.

full rationale

The derivation chain is not circular. Definition 2.5 defines ic(X,f,A) := i(X,f, interior of A) directly from the classical fixed point index [4], and the axioms (CI1)-(CI5) in Theorem 2.8 are verified by reducing to the classical index axioms rather than by assuming the conclusions. Theorem 2.9 proves the bridge between the combinatorial Lefschetz number from [6,7] and the new index by appeal to published fixed-point-index properties and to the published fixed point theorem [6, Theorem 4.1]; none of these citations assumes the result being proved. The integration theory in Section 3 defines the integral as a finite sum of indices over a representation (Definition 3.2), and Theorem 3.3 attempts a direct refinement argument; this is not circular, but the proof is flawed. The paper asserts: 'Note that B is closed under finite intersections and complements, so all the elements in (3) belong to B.' That assertion is false: for X=[0,1], f(x)=x/2, U=(0,1] is admissible while its complement {0} is not. There is also an unstated hypothesis in Definition 2.5: the classical index i(X,f, interior of A) requires the fixed point set in that open set to be compact, which can fail, for example for f=id and A=(0,1) in [0,1]. These are well-definedness and correctness gaps, not cases where a conclusion is equivalent to its inputs. The self-citations [6,7] are to prior published work and do not constitute load-bearing circular content for the new index or the integration theorem; under the rubric they do not raise the circularity score.

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

The paper introduces no free parameters. It depends on standard theorems in o-minimal topology and fixed point theory, on prior results of the same authors for the combinatorial Lefschetz number, and on an unstated compactness assumption that is necessary for the classical index to be defined.

assumptions (5)
  • standard math O-minimal structure and definable triangulation theorem (Theorem 2.1, cited to [10])
    The paper relies on the definable triangulation theorem to reduce definable sets to simplicial complexes. This is a standard external theorem.
  • standard math Existence and axioms of the classical fixed point index from [4, Chapter IV]
    The combinatorial index is defined via the classical index i(X,f,˚A), and its properties are derived from the classical axioms.
  • standard math Topological invariance of the fixed point index ([9, Corollary 7.2])
    Used in the proofs of Theorem 2.9 and Theorem 2.12 to transfer indices between homeomorphic spaces.
  • domain assumption Combinatorial Lefschetz number and its additivity from [6,7]
    The paper's motivation and Theorem 2.9 depend on the authors' previous combinatorial Lefschetz number and its properties, which are published but not machine-checked.
  • ad hoc to paper Compactness of the fixed point set inside interiors so that the classical index is defined
    Definition 2.5 silently assumes Fix(f)∩˚A is compact. This is not stated and fails for maps such as the identity on an open subset.
invented entities (1)
  • Combinatorial fixed point index ic(X,f,A)
    purpose: Extends the classical fixed point index and combinatorial Lefschetz number to non-invariant, non-open subspaces without requiring homeomorphisms
    Defined in Definition 2.5 as i(X,f,˚A); its properties are derived within the paper, with no external empirical handle. A new mathematical object, not a physical entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Combinatorial Study of the Fixed Point Index." pith.science (2026). https://pith.science/paper/YYSLTXGO

@misc{pith2026250524530,
  author       = {Pith},
  title        = {Pith review of: A Combinatorial Study of the Fixed Point Index},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YYSLTXGO}},
  note         = {Machine review of arXiv:2505.24530}
}
read the original abstract

We introduce a theory of integration with respect to the fixed point index, offering a substantial improvement over previous approaches based on the Lefschetz number. This framework eliminates several restrictive assumptions -- such as the need for definability, openness, or f-invariance of subspaces -- thereby allowing broader applicability. We also present a natural combinatorial adaptation of the fixed point index that extends the combinatorial Lefschetz number. This extension yields new topological and homotopical invariance results and facilitates the integration of real-valued functions with respect to fixed points.

Figures

Figures reproduced from arXiv: 2505.24530 by the authors.

Figure 1
Figure 1. Generalized simplicial complex. We will use o-minimal structures that contain the semi-linear sets so that, in this way, the generalised simplicial complexes are definable. Moreover, we have the following triangulation theorem: Theorem 2.1 (Definable triangulation theorem [10]). Let X ⊂ R n be a definable set and let {Xi} m i=1 be a finite family of definable subsets of X. Then there exists a definable triangulation… view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

  1. [1]

    Arkowitz, R

    M. Arkowitz, R. Brown (2004). The Lefschetz-Hopf theorem and axioms for the Lefschetz number , Fixed Point Theory Appl., (1), 1–11

    work page 2004

  2. [2]

    Baryshnikov, R

    Y. Baryshnikov, R. Ghrist (2009). Target enumeration via Euler characteristic integrals, SIAM Journal on Applied Mathematics, (70), 3, 825–844

    work page 2009

  3. [3]

    Baryshnikov, R

    Y. Baryshnikov, R. Ghrist (2010). Euler integration over definable functions , Proc, Natl. Acad. Sci. USA, (107), 21, 9525–9530

    work page 2010

  4. [4]

    R. F. Brown (1971). The Lefschetz Fixed Point Theorem, Scott, Foresman and Company

    work page 1971

  5. [5]

    Curry, R

    J. Curry, R. Ghrist and M. Robinson (2012). Euler calculus with applications to signals and sensing , Proceedings of Symposia in Applied Mathematics, (70), 75–146

    work page 2012

  6. [6]

    A. O. Majadas-Moure, D. Mosquera-Lois (2025). Integration with respect to the Lefschetz number . J. Fixed Point Theory Appl. 27, 51

    work page 2025

  7. [7]

    A. O. Majadas-Moure, D. Mosquera-Lois (2024). Sheaf Theoretic Approach to Lefschetz Calculus. arXiv:2410.13653

    work page Pith review arXiv 2024

  8. [8]

    McCrory, A

    C. McCrory, A. Parusinski (1997). Algebraically constructible functions , Ann. Sci. ´Ecole Norm. Sup., (4), 30, 527–552

    work page 1997

Show all 10 references
  1. [9]

    O’Neill (1953)

    B. O’Neill (1953). Essential sets and fixed points, Amer. J. Math., 75, 497–509

    1953

  2. [10]

    L. P. D. van der Dries (2009). Tame Topology and O-minimal Structures, Cam- bridge University Press. Jes´us A. ´Alvarez L´opez, Departamento de Matem ´aticas, Universi- dade de Santiago de Compostela, SPAIN Email address : jesus.alvarez@usc.es Alejandro O. Majadas-Moure, Depar...

    2009

Pith tools

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