Log motivic exceptional direct image functors
In this paper, we construct the motivic exceptional direct image functors for fs log schemes. This construction is a part of the motivic six-functor formalism for fs log schemes.
math.AG↗
arXiv subjects
Doosung Park
Publications and source records attributed to Doosung Park.
Motivic six-functor formalism for log schemes
We establish the motivic six-functor formalism for fs log schemes. In particular, we prove the exact base change property, projection formula, and Poincaré duality. We also define Borel-Moore motivic homology, G-theory, and Chow homology of fs log schemes and the category of Chow motives over fs log schemes.
math.AG↗
Six-functor formalism for Kummer étale cohomology of log schemes
We establish a Grothendieck six-functor formalism for Kummer étale cohomology including Poincaré duality for every separated vertical exact log smooth morphism of noetherian fs log schemes $f\colon X\rightarrow S$ when the coefficient ring $Λ$ is killed by an integer invertible on $S$. This is done via log étale rigidity \[\mathrm{D}_{\mathrm{l\acute{e}t}}(S,Λ)\simeq \mathrm{DA}_{\mathrm{l\acute{e}t}}(S,Λ).\] To achieve this, we also prove that Kummer étale cohomology satisfies $\mathbb{A}^1$-invariance, invariance under virtual isomorphisms, log cdh-descent, and invariance under verticalization.
math.AG↗
The logarithmic $h$- and $v$-topologies
We introduce the $h$- and $v$-topologies in the context of logarithmic geometry and discuss their applications to log étale cohomology, log differential forms, and log motives.
math.AG↗
$\mathbb{A}^1$-homotopy theory of log schemes
We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the localization property. As a consequence, we obtain the Grothendieck six functors formalism for strict morphisms of fs log schemes. We extend $\mathbb{A}^1$-invariant cohomology theories of schemes to fs log schemes. In particular, we define motivic cohomology, homotopy $K$-theory, and algebraic cobordism of fs log schemes. For any fs log scheme log smooth over a scheme, we express cohomology of its boundary in terms of cohomology of schemes.
math.AG↗
Log motivic Gysin isomorphisms
In this article, we construct the Gysin isomorphisms in the axiomatic motivic setting for fs log schemes. We formulate the purity transformations for log smooth morphisms. We show that the purity transformations are isomorphisms for certain specific non-strict morphisms of fs log schemes.
math.AG↗
Syntomic cohomology and real topological cyclic homology
We define the motivic filtrations on real topological Hochschild homology and its companions. In particular, we prove that real topological cyclic homology admits a natural complete filtration whose graded pieces are equivariant suspensions of syntomic cohomology. As an application, assuming a real refinement of the Dundas--Goodwillie--McCarthy theorem, we compute the the $RO(\mathbb{Z}/2)$-graded homotopy groups of $\mathrm{KR}(\mathbb{F}_p[x]/x^e;\mathbb{Z}_p)$, and we compute the equivariant slices of $Σ^2 τ_{\geq 1}\mathrm{KR}(\mathbb{Z}/p^n;\mathbb{Z}_p)$.
math.KT↗
On the $p$-adic deformation problem for the $K$-theory of semistable schemes
We establish a semistable generalization of the Beilinson-Bloch-Esnault-Kerz fiber square, relating the algebraic K-theory of a semistable scheme to its logarithmic topological cyclic homology. We prove that the obstruction to lifting K-theory classes is governed by the Hyodo-Kato Chern character. This answers the $p$-adic deformation problem for continuous K-theory in the semistable case, extending the work of Antieau-Mathew-Morrow-Nikolaus. As an application, we provide a purely K-theoretic proof of Yamashita's semistable $p$-adic Lefschetz $(1,1)$-theorem.
math.AG↗
Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems
We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify their cofibers. We also prove a smooth blow-up formula and we compute prismatic and syntomic cohomology of Grassmannians. In the second part of the paper, we develop a descent technique inspired by the work of Nizioł~ on log $K$-theory. Using the resulting \emph{saturated descent}, we prove de Rham and crystalline comparison theorems for log prismatic cohomology, and the existence of Gysin maps for $A_{\inf}$-cohomology.
math.AG↗
Construction of logarithmic cohomology theories II: On Chow groups
The purpose of this second part of the series is to show a technical result on Chow groups of toric varieties. This is a crucial ingredient for the first part.
math.AG↗
Poincaré duality in logarithmic motivic homotopy theory
By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincaré duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log compactification is independent of the choice.
math.AG↗
Log syntomic cohomology of truncated polynomials and coordinate axes
We study the logarithmic syntomic cohomology of fine and saturated log schemes and its realization in the logarithmic motivic stable homotopy category $\mathrm{logSH}(\mathrm{pt}_\mathbb{N})$ of a log point. We prove that logarithmic prismatic and syntomic cohomology satisfy saturated descent under the sole assumption that the log structure is free, and that the presheaves $\mathrm{logTHH}$, $\mathrm{logTC}$, $\widehat{\mathbfΔ}$, and $\mathbb{Z}_p^\mathrm{syn}(i)$ are representable and $\square$-invariant in $\mathrm{logSH}_{\mathrm{k\acute{e}t}}^{\mathrm{eff}}(\mathrm{pt}_\mathrm{N})$. As an application, we compute $\mathbb{Z}_p^\mathrm{syn}(i)$ for the projective log coordinate axes $D$ in $\mathbb{P}^2$, obtaining \[ \mathbb{Z}_p^\mathrm{syn}(i)(D) \simeq \mathbb{Z}_p^\mathrm{syn}(i)(k,\mathbb{N})\oplus \mathbb{Z}_p^\mathrm{syn}(i-1)(k,\mathbb{N})[-2] \] Moreover, we determine logarithmic topological cyclic homology for truncated polynomial and semistable examples, directly from the syntomic calculations.
math.AG↗
Logarithmic TC via the Infinite Root Stack and the Beilinson Fiber Square
We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and Nygaard-complete log prismatic cohomology. As applications, we show that the Nygaard-completion of the site-theoretic log prismatic cohomology coincides with the definition arising from log ${\rm TC}$, and we establish a log version of the ${\rm TC}$-variant of the Beilinson fiber square of Antieau--Mathew--Morrow--Nikolaus.
math.AG↗
Real Topological Hochschild Homology of Perfectoid Rings
We refine several results of Bhatt-Morrow-Scholze on THH to THR. In particular, we compute THR of perfectoid rings. This will be useful for establishing motivic filtrations on real topological Hochschild and cyclic homology of quasisyntomic rings. We also establish a real refinement of the Hochschild-Kostant-Rosenberg theorem.
math.KT↗
Logarithmic motivic homotopy theory
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 étale stable realization functor, as well as a Kato-Nakayama realization functor, which is of independent interest for applications in log geometry.
math.AG↗
Motivic real topological Hochschild spectrum
We define real topological Hochschild homology of separated log schemes with involutions. We show that real topological Hochschild homology is $(\mathbb{P}^n,\mathbb{P}^{n-1})$-invariant, which leads to the definition of the motivic real topological Hochschild spectrum living in a certain $\mathbb{Z}/2$-equivariant logarithmic motivic category. We explore properties of real topological Hochschild homology that can be deduced from the logarithmic motivic homotopy theory. We also define the motivic real topological cyclic spectrum.
math.KT↗
Construction of logarithmic cohomology theories I
We propose a method for constructing cohomology theories of logarithmic schemes with strict normal crossing boundaries by employing techniques from logarithmic motivic homotopy theory over $\mathbb{F}_1$. This method recovers the K-theory of the open complement of a strict normal crossing divisor from the K-theory of schemes as well as logarithmic topological Hochschild homology from the topological Hochschild homology of schemes. In our applications, we establish that the K-theory of non-regular schemes is representable in the logarithmic motivic homotopy category, and we introduce the logarithmic cyclotomic trace for the regular log regular case.
math.AG↗
On the logarithmic slice filtration
We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In the case of perfect fields admitting resolution of singularities, we show that the slice filtration realizes the BMS filtration on the $p$-completed topological cyclic homology. Furthermore, the motivic trace map is compatible with the slice and BMS filtrations, yielding a natural morphism from the motivic slice spectral sequence to the BMS spectral sequence. Finally, we consider the Kummer étale hypersheafification of logarithmic $K$-theory and show that its very effective slices compute Lichtenbaum étale motivic cohomology.
math.AG↗