Generalized bornological coarse spaces and coarse motivic spectra

Daniel Heiss

arxiv: 1907.03923 · v1 · pith:LXOXLX3Gnew · submitted 2019-07-09 · 🧮 math.AT · math.CT· math.MG

Generalized bornological coarse spaces and coarse motivic spectra

Daniel Heiss This is my paper

Pith reviewed 2026-05-25 00:19 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.MG

keywords bornological coarse spacesgeneralized bornologiesmotivic coarse spectracoarse homology theoriesinfinity-categoriescoarse geometryalgebraic topology

0 comments

The pith

The inclusion of bornological coarse spaces into their generalization induces an equivalence of motivic coarse spectra.

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

The paper enlarges the category of bornological coarse spaces by dropping the requirement that single-point sets must be bounded. It then copies the construction of motivic coarse spectra into this larger category. The central result is that the natural inclusion functor between the two categories produces an equivalence of these spectra. As a direct consequence the categories of coarse homology theories valued in any stable cocomplete infinity-category become equivalent on the two sides. A reader would care because the result shows that the extra generality does not change the homotopy-theoretic information carried by coarse invariants.

Core claim

The inclusion functor from the category of bornological coarse spaces to the category of generalized bornological coarse spaces induces an equivalence of motivic coarse spectra. In particular, for any stable cocomplete ∞-category C this induces an equivalence between the category of C-valued coarse homology theories on bornological coarse spaces and the category of C-valued coarse homology theories on generalized bornological coarse spaces.

What carries the argument

The motivic coarse spectra construction, imitated directly in the generalized category obtained by omitting the bounded-singleton condition.

If this is right

For every stable cocomplete ∞-category C the categories of C-valued coarse homology theories on the two kinds of spaces are equivalent.
Any coarse homology theory defined on bornological coarse spaces extends canonically to generalized bornological coarse spaces without altering its values on the original objects.
Homotopy-theoretic properties of coarse invariants established in the bornological setting remain valid after the generalization.
The motivic approach to coarse geometry applies verbatim to the larger class of spaces.

Where Pith is reading between the lines

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

The boundedness condition on single points is inessential for the coarse homotopy theory.
The equivalence may allow direct transfer of existing computations to spaces previously excluded by the bounded-singleton rule.
Similar inclusion arguments could be tested in other generalized geometric categories that relax boundedness or properness conditions.

Load-bearing premise

The motivic coarse spectra construction can be performed in the generalized category while preserving the universal properties that make the inclusion induce an equivalence.

What would settle it

An explicit stable cocomplete infinity-category C together with a C-valued coarse homology theory whose value on some generalized bornological coarse space differs from its value on the corresponding bornological space.

read the original abstract

We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of motivic coarse spectra in this new setting and show that the inclusion functor from the category of bornological coarse spaces to its generalization induces an equivalence of motivic coarse spectra. In particular, for any stable co-complete $\infty$-category $C$, it induces an equivalence between the category of $C$-valued coarse homology theories on bornological coarse spaces and the category of $C$-valued coarse homology theories on generalized bornological coarse spaces.

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 shows that dropping the singleton-boundedness condition from bornological coarse spaces still produces an equivalent category of motivic coarse spectra via the inclusion functor.

read the letter

The central result is that the inclusion from ordinary bornological coarse spaces into the version where singletons need not be bounded induces an equivalence of motivic coarse spectra. This immediately gives an equivalence on C-valued coarse homology theories for any stable cocomplete infinity-category C. The authors first verify that the relaxed category remains complete and cocomplete, then copy the existing motivic construction and check that the inclusion preserves the relevant universal properties so the spectra match. That equivalence is the actual new statement; the rest follows the prior template closely. The argument looks direct and avoids circularity because both categories are built explicitly and the functor is the obvious inclusion. No load-bearing steps appear to be left unverified from the abstract and stress-test summary. The main limitation is that the work is a targeted relaxation rather than a broader advance; it will mainly interest people already using coarse motivic spectra who want a slightly larger ambient category without changing the output. A reader working on homology theories in this area would find the equivalence useful for checking whether certain technical restrictions can be dropped. The paper is coherent on its own terms and shows clear engagement with the existing literature on the construction it imitates. It deserves a serious referee to check the details of the imitation and the preservation of the universal properties in the full text.

Referee Report

0 major / 1 minor

Summary. The manuscript generalizes bornological coarse spaces by dropping the requirement that singletons are bounded, producing a complete and cocomplete category. It imitates the motivic coarse spectra construction from the original setting in this generalized category and proves that the inclusion functor induces an equivalence of motivic coarse spectra. Consequently, for any stable cocomplete ∞-category C the categories of C-valued coarse homology theories on the two classes of spaces are equivalent.

Significance. If the result holds, the equivalence demonstrates that the motivic construction is insensitive to the boundedness of singletons, allowing a strictly larger class of spaces while preserving the universal properties of coarse homology theories. The explicit construction of a complete and cocomplete generalization together with the direct transfer of the equivalence for arbitrary stable cocomplete C are concrete strengths.

minor comments (1)

The abstract and introduction would benefit from a brief sentence clarifying whether the generalized category is strictly larger (i.e., contains objects that are not bornological coarse spaces) or merely relaxes an axiom while keeping the same objects.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the result, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper relaxes the bounded-singleton axiom to obtain a generalized category of bornological coarse spaces, directly imitates the motivic coarse spectra construction in the new setting, and proves that the inclusion functor induces an equivalence on the resulting spectra (hence on C-valued homology theories). No step reduces by definition to its own output, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests on a self-citation chain; the argument is a standard categorical transfer of universal properties between explicitly defined categories.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms of complete and cocomplete categories and on the existence of a motivic construction that can be imitated; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption The generalized bornological coarse spaces form a complete and cocomplete category.
Stated directly in the abstract as obtained by omitting the singleton condition.
ad hoc to paper The motivic coarse spectra construction from the original setting can be imitated in the generalized category.
The abstract says the construction is imitated to obtain the equivalence.

pith-pipeline@v0.9.0 · 5626 in / 1304 out tokens · 28400 ms · 2026-05-25T00:19:00.297217+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We generalize the notion of a bornology by omitting the condition that a one-point-subset is bounded and obtain a complete and co-complete generalization of the category of bornological coarse spaces. Then we imitate the construction of motivic coarse spectra in this new setting and show that the inclusion functor ... induces an equivalence of motivic coarse spectra.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the inclusion functor from the category of bornological coarse spaces to its generalization induces an equivalence of motivic coarse spectra

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.