arxiv: 2604.13874 · v1 · submitted 2026-04-15 · 🧮 math.KT

Recognition: unknown

An Euler Characteristic for Unbounded Chain Complexes

Dan Kucerovsky, Thomas Huettemann

Pith reviewed 2026-05-10 11:44 UTC · model grok-4.3

classification 🧮 math.KT

keywords Euler characteristicunbounded chain complexesGrothendieck groupK-theoryWaldhausen categoryHölder summationhomological invariants

0 comments

The pith

Unbounded chain complexes have a well-defined Euler characteristic from weighted limits of finite truncations, and the resulting Grothendieck group is uncountable.

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

The paper defines an Euler characteristic for unbounded chain complexes by computing the usual alternating sum of ranks on successively longer finite initial segments and then taking the limit of these values with weights that decrease inversely with segment length. This process is equivalent to applying the Hölder summation method to the infinite alternating sequence of homology ranks. The authors equip the collection of such complexes with the structure of a category with cofibrations and weak equivalences so that the new invariant behaves as a homotopy invariant. They then show that the Grothendieck group of this category is uncountable.

Core claim

The Euler characteristic of an unbounded chain complex is the limit, when it exists, of the sequence obtained by taking the ordinary Euler characteristic of each finite truncation and weighting it by the reciprocal of the truncation length before summing. This limit serves as a well-defined invariant in a Waldhausen category of unbounded complexes, and the Grothendieck group of that category is uncountable.

What carries the argument

The inverse-length weighted limit (equivalently, Hölder summation) of the sequence of ordinary Euler characteristics of finite truncations of the complex.

Load-bearing premise

The weighted average limit must exist and give the same value no matter which sequence of finite approximations is chosen for the unbounded complex.

What would settle it

An explicit unbounded chain complex in which two different sequences of truncations produce weighted averages converging to two different numbers would show the invariant is not consistently defined.

read the original abstract

We propose a definition of an Euler characteristic for unbounded chain complexes by taking the (usual) Euler characteristics of successively longer parts of the complex, weighted inversely proportional to the length, and passing to the limit. This amounts to taking the limit of the sequence of ranks of homology modules with alternating signs in the sense of the H\"older summation method. We establish the structure of a category with cofibrations and weak equivalences on unbounded complexes for which the infinite Euler characteristic is defined, and show that its Grothendieck group is unusually large (viz., uncountable).

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

The paper gives a concrete weighted-limit definition of Euler characteristic for unbounded complexes and claims the Grothendieck group is uncountable, but the convergence and choice-independence of the limit are the parts that need checking.

read the letter

The main new piece is the definition that takes the usual Euler characteristics of longer and longer finite truncations, weights them inversely with length, and passes to the limit via Hölder summation on the alternating homology ranks. They equip the unbounded complexes with a category structure of cofibrations and weak equivalences so that this invariant is defined on the objects, then show the associated Grothendieck group has uncountably many classes. That cardinality claim is the structural result that stands out from the usual finite-case story. The construction itself is straightforward and avoids some obvious divergence problems by the specific weighting, which is a reasonable way to make the infinite case tractable. If the limit behaves well, the uncountability would mean the invariant distinguishes far more objects than the classical alternating sum does. The setup follows standard lines for these categories, with no visible circularity in the definition or the group construction. The citation pattern is the usual one for homological algebra and algebraic K-theory. The soft spot is exactly the one the stress-test note flags: whether the limit exists for every complex they admit, stays the same under different truncation sequences (symmetric versus one-sided, for example), and remains invariant under the weak equivalences. The abstract says they establish the category for which the characteristic is defined, but without the actual arguments it is impossible to see how they handle independence or additivity along cofiber sequences. If any of those fail, the Grothendieck group is not well-defined and the uncountability result does not follow. This is aimed at people working in algebraic K-theory or homological algebra who need invariants for unbounded objects. A specialist reader would get value from the explicit construction and the cardinality statement, provided the technical details hold. It is novel enough and formally grounded enough to deserve a serious referee rather than a desk reject, though the referees will have to focus on the limit properties. I would bring it to a reading group as a maybe, to see the proofs, and I would not cite it until those checks are done.

Referee Report

2 major / 2 minor

Summary. The paper proposes a definition of an Euler characteristic for unbounded chain complexes by taking the (usual) Euler characteristics of successively longer parts of the complex, weighted inversely proportional to the length, and passing to the limit. This amounts to Hölder summation of the alternating homology ranks. The authors equip a suitable class of unbounded complexes with the structure of a category with cofibrations and weak equivalences on which this invariant is defined, and prove that the associated Grothendieck group is uncountable.

Significance. If the limit construction is shown to be well-defined, independent of truncation choices, and to satisfy the necessary invariance and additivity properties, the result would yield an invariant capable of distinguishing uncountably many classes in the Grothendieck group. This is a notable extension beyond the standard Euler characteristic (typically defined only for bounded complexes) and could be useful in algebraic K-theory and homological algebra for handling infinite complexes.

major comments (2)

[Definition of the Euler characteristic (via weighted limit / Hölder summation)] The central definition relies on the weighted limit existing for every object admitted to the category and being independent of the concrete truncation sequence chosen (symmetric [-n,n] versus one-sided [0,n] or [-n,0]). This must be verified explicitly before the category axioms can be checked and before the uncountability of the Grothendieck group can be established; otherwise the invariant is not well-defined on the objects.
[Category with cofibrations and weak equivalences] The paper must confirm that the proposed Euler characteristic is invariant under the declared weak equivalences and additive along cofiber sequences. These properties are load-bearing for forming the Grothendieck group; any gap here would prevent the uncountability claim from following from the category structure.

minor comments (2)

[Introduction / Definition] Clarify the precise weighting function (e.g., 1/n or 1/(n+1)) and state the exact sequence of truncations used in the limit with an equation.
[Introduction] Add a brief comparison with other summation methods (Cesàro, Abel, etc.) to motivate the choice of Hölder summation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comments. We agree that explicit verifications of well-definedness are necessary to support the claims, and we will incorporate the requested clarifications in a revised version.

read point-by-point responses

Referee: [Definition of the Euler characteristic (via weighted limit / Hölder summation)] The central definition relies on the weighted limit existing for every object admitted to the category and being independent of the concrete truncation sequence chosen (symmetric [-n,n] versus one-sided [0,n] or [-n,0]). This must be verified explicitly before the category axioms can be checked and before the uncountability of the Grothendieck group can be established; otherwise the invariant is not well-defined on the objects.

Authors: We agree that the existence of the Hölder limit and its independence from the choice of truncation sequence must be established explicitly. The manuscript defines the category to consist precisely of those unbounded complexes for which the limit exists, but the independence between symmetric truncations [-n,n] and one-sided truncations [0,n] (or [-n,0]) is not spelled out in a separate lemma. In the revised manuscript we will add a short section proving that whenever the limit exists for one truncation scheme it exists and coincides for the other, by comparing the partial sums and using the fact that the difference between symmetric and one-sided Euler characteristics is bounded by a term that vanishes under the Hölder weighting. This will make the invariant unambiguously defined on the objects. revision: yes
Referee: [Category with cofibrations and weak equivalences] The paper must confirm that the proposed Euler characteristic is invariant under the declared weak equivalences and additive along cofiber sequences. These properties are load-bearing for forming the Grothendieck group; any gap here would prevent the uncountability claim from following from the category structure.

Authors: We acknowledge that the invariance and additivity properties, while implicit in the construction, require an explicit statement to justify the formation of the Grothendieck group. The usual Euler characteristic on bounded complexes is invariant under quasi-isomorphisms and additive on cofiber sequences; because the Hölder limit is a continuous operation with respect to the weighting, these properties pass to the limit. In the revision we will insert a proposition that records this passage to the limit, together with a short verification that the declared weak equivalences (quasi-isomorphisms on all finite truncations) and cofibrations preserve the existence of the limit. With these additions the uncountability argument, which relies on exhibiting uncountably many complexes with distinct Euler characteristics, will rest on a fully verified categorical structure. revision: yes

Circularity Check

0 steps flagged

No circularity: direct limit definition followed by independent category construction

full rationale

The paper introduces the Euler characteristic explicitly as the limit of weighted finite-truncation Euler characteristics (equivalently Hölder summation of alternating homology ranks) and then verifies that a suitable category with cofibrations and weak equivalences can be equipped with this invariant, yielding an uncountable Grothendieck group. No step equates the output to its inputs by definition, renames a fitted parameter as a prediction, or relies on a self-citation chain to force uniqueness or an ansatz. The derivation remains self-contained: the definition is constructive, the category axioms are checked directly, and the group cardinality follows from the existence of sufficiently many distinct classes under the stated operations.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper introduces a new definition rather than relying on many fitted constants; the main background is standard category theory.

axioms (1)

standard math Standard axioms of abelian categories, chain complexes, and Grothendieck group construction
The category with cofibrations and weak equivalences is built on these background structures.

invented entities (1)

Hölder-summable Euler characteristic for unbounded complexes no independent evidence
purpose: To assign a well-defined numerical invariant to chain complexes that are not bounded
This is the central new object defined by the weighted limit procedure.

pith-pipeline@v0.9.0 · 5381 in / 1269 out tokens · 54209 ms · 2026-05-10T11:44:06.098747+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references

[1]

The Euler characteristic of a category as the sum of a divergent series

Clemens Berger and Tom Leinster. The Euler characteristic of a category as the sum of a divergent series. Homology Homotopy Appl. , 10(1):41--51, 2008

2008
[2]

Classical and modern methods in summability

Johann Boos. Classical and modern methods in summability . Oxford Math. Monogr. New York, NY: Oxford University Press, 2000

2000
[3]

P. Dienes. The Taylor series. An introduction to the theory of functions of a complex variable. New York : Dover Publications Inc . X , 552 p. (1957)., 1957

1957
[4]

Toric varieties with huge Grothendieck group

Joseph Gubeladze. Toric varieties with huge Grothendieck group. Adv. Math. , 186(1):117--124, 2004

2004
[5]

H \"o lder

O. H \"o lder. G renzwerthe von R eihen an der C onvergenzgrenze. Math. Ann. , 20:535--549, 1882
[6]

N. H. Kuiper. The homotopy type of the unitary group of Hilbert space. Topology , 3:19--30, 1965

1965
[7]

J. A. Mingo. K-theory and multipliers of stable \( C ^ *\) -algebras. Trans. Am. Math. Soc. , 299:397--411, 1987

1987
[8]

U ber die \

I. Schur. \"U ber die \"a quivalenz der Ces \`a ro schen und H \"o lder schen Mittelwerte . Math. Ann. , 74:447--458, 1913

1913
[9]

Algebraic K -theory of spaces

Friedhelm Waldhausen. Algebraic K -theory of spaces. Algebraic and geometric topology, Proc . Conf ., New Brunswick / USA 1983, Lect . Notes Math . 1126, 318-419 (1985)., 1985

1983
[10]

\(K\) -theory and \(C^*\) -algebras: a friendly approach

Niels Erik Wegge-Olsen. \(K\) -theory and \(C^*\) -algebras: a friendly approach . Oxford: Oxford University Press, 1993

1993
[11]

Allgemeine Eigenschaften von Limitierungsverfahren

Karl Zeller. Allgemeine Eigenschaften von Limitierungsverfahren . Math. Z. , 53:463--487, 1951

1951