REVIEW 2 minor
Algebraic cobordism via spans
T0 review · 0 major / 2 minor · reviewed 2026-05-24 · grok-4.3
Pith's one-line read Algebraic cobordism is defined as an initial oriented functor in span categories of infinity-categories with line bundle data, recovering Thom spectra and yielding perfectoid cobordism with tilting equivalences.
desk verdict This paper defines algebraic cobordism as the initial oriented functor in a span category of infinity-categories with line bundle data, recovers the Thom spectrum model, and extends the setup to perfectoid geometry. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Extended reading notes
Core claim
We define the algebraic cobordism of ∞-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model established by Voevodsky, Gepner, and Snaith.
Load-bearing premise
Assuming that the ∞-category contains Grassmann objects of all ranks, we prove that the projective bundle formula and the corresponding Chern-class and Whitney-sum identities hold for any oriented functor satisfying the splitting principle property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines algebraic cobordism of ∞-categories equipped with universal line bundle data as the initial oriented functor in the associated span category. In the motivic setting this recovers the Thom spectrum model of Voevodsky, Gepner and Snaith. Assuming the ∞-category contains Grassmann objects of all ranks, the projective bundle formula together with the associated Chern-class and Whitney-sum identities are proved for any oriented functor satisfying the splitting principle. The span formalism is then applied to perfectoid geometry: for perfectoid algebras R with tilt R♭ the authors construct perfectoid cobordism, establish tilting equivalences, and compare the arc-local and v-local p-adic theories.
Significance. If the central claims hold, the work supplies a uniform initial-object definition of algebraic cobordism inside a span category that recovers an established Thom-spectrum model and extends the formalism to perfectoid geometry. The conditional proofs of the projective-bundle and Whitney-sum identities under the Grassmann-object and splitting-principle hypotheses are standard in the literature on oriented cohomology theories; the new contribution lies in the span-categorical packaging and the perfectoid application.
minor comments (2)
- The abstract states that the recovery of the Voevodsky–Gepner–Snaith model follows from initiality, but the manuscript should include an explicit reference or short derivation showing how the universal property of the initial oriented functor yields the Thom spectrum identification.
- In the perfectoid section the tilting equivalence between perfectoid cobordism of R and of R♭ is asserted; a brief indication of which functor on the span category induces the equivalence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.
Circularity Check
No significant circularity; definition via initiality is self-contained
full rationale
The central definition states algebraic cobordism as the initial oriented functor in the associated span category constructed from standard ∞-category data with universal line bundle data. This is a direct categorical construction, not a derivation that reduces to its own inputs by equation or fit. Recovery of the Voevodsky–Gepner–Snaith Thom spectrum model is asserted as a comparison in the motivic case, not derived internally from the paper's own fitted quantities. The projective bundle formula, Chern classes, and Whitney sum identities are proved only under explicit hypotheses (Grassmann objects of all ranks plus splitting principle), which are stated assumptions rather than smuggled via self-citation or renaming. No load-bearing self-citation chain, uniqueness theorem imported from the same authors, or ansatz smuggling appears in the abstract or reader's summary. The argument is self-contained against external category-theoretic and motivic benchmarks.
Assumptions & free parameters
assumptions (1)
- standard math Standard axioms of infinity-category theory and the theory of spans
invented entities (1)
-
perfectoid cobordism
Cite this review
Pith. "Pith review of Algebraic cobordism via spans." pith.science (2026). https://pith.science/paper/WZ5HD623
@misc{pith2026220305331,
author = {Pith},
title = {Pith review of: Algebraic cobordism via spans},
year = {2026},
howpublished = {\url{https://pith.science/paper/WZ5HD623}},
note = {Machine review of arXiv:2203.05331}
}
abstract
We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model established by Voevodsky, Gepner, and Snaith. Furthermore, assuming that the $\infty$-category contains Grassmann objects of all ranks, we prove that the projective bundle formula and the corresponding Chern-class and Whitney-sum identities hold for any oriented functor satisfying the splitting principle property. We apply the span formalism to perfectoid geometry. For perfectoid algebras $R$ with tilt $R^\flat$, we construct perfectoid cobordism, prove tilting equivalences, and compare the arc-local and $v$-local $p$-adic theories.
Reviewed May 24, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.