Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2505.10809

Tilting equivalence of finite almost derived algebraic cobordism for perfectoid algebras

Yuki Kato
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we prove tilting equivalence for the finite almost derived algebraic cobordism spectrum $\mathrm{dMGL}^{a,\rm fin}$ of perfectoid algebras. More precisely, if $V$ is an integral perfectoid valuation ring and $A$ is an integral perfectoid $V$-algebra, then the tilting functor induces a weak equivalence \[ \mathrm{dMGL}^{a,\rm fin}(A) \simeq \mathrm{dMGL}^{a,\rm fin}(A^\flat). \] This invariant is a finite syntomic, derived, and non-$\mathbb{A}^1$-local version of algebraic cobordism, designed to retain infinitesimal deformation data over mixed characteristic bases. To prove the result, we first establish the corresponding finite non-unital statement and isolate a form of excisive approximation for pointed $\infty$-categories, including non-presentable ones. In the locally finitely presentable case, this agrees with the framework of Heuts. We also define approximation functors along natural transformations and apply them to the comparison between periodic algebraic cobordism and homotopy $K$-theory, obtaining Bott periodicity and Gabber rigidity.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yuki Kato. 2026-06-18. Tilting equivalence of finite almost derived algebraic cobordism for perfectoid algebras. https://arxiv.org/abs/2505.10809

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗
arXiv2026

Conservative functors to pointed categories

Many results in categorical algebra rely fundamentally on pointedness, yet numerous categories of mathematical interest are not pointed. Building on ideas from the theory of ideally exact categories, recently introduced by G. Janelidze, we investigate the extent to which constructions and results from pointed contexts can be extended to categories admitting suitable forgetful functors to pointed categories. We introduce the notion of a propointed category, described as a category admitting a conservative right-adjoint functor to a pointed lex category, and give an intrinsic characterisation of this notion. We then investigate and characterise the cases in which the target of the given functor is pointed protomodular, homological, or normal, and establish within these settings generalisations of classical results - including the short five lemma, the nine lemma, and Noether's isomorphism theorems - as well as a well-behaved notion of ideal of an object. We also prove that the 2-category of pointed lex categories is 2-reflective in the 2-category of lex categories with an initial object, the reflection being given by the slice over the initial object, which thus provides a universal 'pointification'.

math.CT↗
arXiv2026

A Categorical Generalization of Counterpoint

We extend Mazzola's counterpoint model using category theory, generalizing from the category $\mathbf{Set}$ to an arbitrary topos other than $\mathbf{Set}$. This generalization suggests that counterpoint's essential structure depends on specific categorical conditions rather than classical set-theoretic reasoning. A key contribution is identifying sufficient requirements for a well-behaved counterpoint theory in a topos: some version of Zorn's Lemma (GJZL), and two-valuedness and split supports (NS). Within a topos, we introduce (weak) quasidichotomies alongside the classical notion of dichotomy. These structures capture varying degrees of oppositional structure between consonance and dissonance, with weak quasidichotomies preserving the non-Boolean flexibility essential to musical practice while quasidichotomies represent maximal opposition short of complete partition. We prove a generalized counterpoint theorem giving sufficient conditions for the existence of admitted successors. When the ambient topos turns non-zero successor objects into points, admitted succession can be iterated to form counterpoint paths, which may terminate at consonances with no admitted successor. The framework naturally accommodates counterpoint with sets instead of pure pitches, relaxing the ``yes/no'' character of classical consonance definitions and emphasizing context-dependence. Mazzola's model allows a Kuratowski closure operator induced by a polarity, which defines an internal topology enabling algebraic-topological analysis of counterpoint structure. We conclude by showing this construction generalizes to involutive morphisms. This categorical approach provides foundations for understanding both the historical evolution of contrapuntal practice and cross-cultural divergences in interval organization.

math.CT↗