Pith. sign in

REVIEW 2 cited by

Logarithmic motivic homotopy theory

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2303.02729 v3 pith:B7SY6NFR submitted 2023-03-05 math.AG math.KT

classification math.AGmath.KT
keywords homotopymotivicschemestheoryalgebraicapplicationsconstructioncyclic
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and cyclic homology, as well as algebraic $K$-theory of regular schemes. Additionally, we can realize the cyclotomic trace as a morphism between motivic spectra. Among our applications, we provide a generalized framework of oriented cohomology theories that enables us to produce new residue sequences for (topological) Hochschild, periodic, and cyclic homology of classical schemes. We also compute $THH$ and its variants for Grassmannians, and we define a new version of algebraic cobordism. Finally, we give a construction of a log \'etale stable realization functor, as well as a Kato-Nakayama realization functor, which is of independent interest for applications in log geometry.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The motivic fundamental groupoid at tangential basepoints

    math.AG 2025-10 conditional novelty 8.0 of 10

    A general motivic fundamental groupoid at tangential basepoints is constructed over any field, with Betti and de Rham realizations matching the classical fundamental torsor and periods given by regularized iterated integrals.

  2. The logarithmic $h$- and $v$-topologies

    math.AG 2026-08 conditional novelty 6.0 of 10

    The paper defines log h- and v-topologies, identifies log v-covers with universally subtrusive morphisms, and proves lv-descent for log étale cohomology with torsion coefficients.

Pith tools