Showing 1–10 of 10 results for author: Iwasa, R

Atiyah duality for motivic spectra

Authors: Toni Annala, Marc Hoyois, Ryomei Iwasa

Abstract: We prove that Atiyah duality holds in the $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra over arbitrary derived schemes: every smooth projective scheme is dualizable with dual given by the Thom spectrum of its negative tangent bundle. The Gysin maps recently constructed by L. Tang are a key ingredient in the proof. We then present several applications. First, we study… ▽ More We prove that Atiyah duality holds in the $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra over arbitrary derived schemes: every smooth projective scheme is dualizable with dual given by the Thom spectrum of its negative tangent bundle. The Gysin maps recently constructed by L. Tang are a key ingredient in the proof. We then present several applications. First, we study $\mathbb A^1$-colocalization, which transforms any module over the $\mathbb A^1$-invariant sphere into an $\mathbb A^1$-invariant motivic spectrum without changing its values on smooth projective schemes. This can be applied to all known $p$-adic cohomology theories and gives a new elementary approach to "logarithmic" or "tame" cohomology theories; it recovers for instance the logarithmic crystalline cohomology of strict normal crossings compactifications over perfect fields and shows that the latter is independent of the choice of compactification. Second, we prove a motivic Landweber exact functor theorem, associating a motivic spectrum to any graded formal group law classified by a flat map to the moduli stack of formal groups. Using this theorem, we compute the ring of $\mathbb P^1$-stable cohomology operations on the algebraic K-theory of qcqs derived schemes, and we prove that rational motivic cohomology is an idempotent motivic spectrum. △ Less

Submitted 3 March, 2024; originally announced March 2024.

Comments: 47 pages. Comments welcome!

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Authors: Toni Annala, Marc Hoyois, Ryomei Iwasa

Abstract: We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove… ▽ More We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\infty$-category satisfies $\mathbb P^1$-homotopy invariance and weighted $\mathbb A^1$-homotopy invariance, which we use in place of $\mathbb A^1$-homotopy invariance to obtain analogues of several key results from $\mathbb A^1$-homotopy theory. These allow us in particular to define a universal oriented motivic $\mathbb E_\infty$-ring spectrum $\mathrm{MGL}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$ can be recovered from its $\mathrm{MGL}$-cohomology via a Conner-Floyd isomorphism \[\mathrm{MGL}^{**}(X)\otimes_{\mathrm L}\mathbb Z[β^{\pm 1}]\simeq \mathrm K^{**}(X),\] where $\mathrm L$ is the Lazard ring and $\mathrm K^{p,q}(X)=\mathrm K_{2q-p}(X)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{MGL}$. △ Less

Submitted 14 February, 2024; v1 submitted 3 March, 2023; originally announced March 2023.

Comments: 34 pages. Final version, to appear in JAMS

Motivic spectra and universality of $K$-theory

Authors: Toni Annala, Ryomei Iwasa

Abstract: We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped with an action of the Picard stack and satisfies projective bundle formula. We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped with an action of the Picard stack and satisfies projective bundle formula. △ Less

Submitted 17 April, 2025; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: v3: 47 pages, small corrections and edits, the numbering has not been changed from v2

Report number: CPH-GEOTOP-DNRF151

Cohomology of the moduli stack of algebraic vector bundles

Authors: Toni Annala, Ryomei Iwasa

Abstract: Let $\mathscr{V}\mathrm{ect}_n$ be the moduli stack of vector bundles of rank $n$ on schemes. We prove that, if $E$ is a Zariski sheaf of ring spectra which is equipped with finite quasi-smooth transfers and satisfies the projective bundle formula, then $E^*(\mathscr{V}\mathrm{ect}_{n,S})$ is freely generated by Chern classes $c_1,\dotsc,c_n$ over $E^*(S)$ for any scheme $S$. Examples include all… ▽ More Let $\mathscr{V}\mathrm{ect}_n$ be the moduli stack of vector bundles of rank $n$ on schemes. We prove that, if $E$ is a Zariski sheaf of ring spectra which is equipped with finite quasi-smooth transfers and satisfies the projective bundle formula, then $E^*(\mathscr{V}\mathrm{ect}_{n,S})$ is freely generated by Chern classes $c_1,\dotsc,c_n$ over $E^*(S)$ for any scheme $S$. Examples include all multiplicative localizing invariants. △ Less

Submitted 3 March, 2023; v1 submitted 19 April, 2021; originally announced April 2021.

Comments: 17 pages. Final version + footnotes

Report number: CPH-GEOTOP-DNRF151

Journal ref: Adv. Math. 409 (2022)

Milnor excision for motivic spectra

Authors: Elden Elmanto, Marc Hoyois, Ryomei Iwasa, Shane Kelly

Abstract: We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is equivalent to a pair of motivic spectra over $B$ and $A/I$ that are identified over $B/IB$. Consequently, any cohomology theory represented by a motivic spectrum satisf… ▽ More We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is equivalent to a pair of motivic spectra over $B$ and $A/I$ that are identified over $B/IB$. Consequently, any cohomology theory represented by a motivic spectrum satisfies Milnor excision. We also prove Milnor excision for Ayoub's étale motives over schemes of finite virtual cohomological dimension. △ Less

Submitted 5 August, 2021; v1 submitted 25 April, 2020; originally announced April 2020.

Comments: 11 pages. Final version, to appear in J. reine angew. Math

Report number: CPH-GEOTOP-DNRF151

Cdh descent, cdarc descent, and Milnor excision

Authors: Elden Elmanto, Marc Hoyois, Ryomei Iwasa, Shane Kelly

Abstract: We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes. As an application, we show that if E is a motivic spectrum over a field k w… ▽ More We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes. As an application, we show that if E is a motivic spectrum over a field k which is n-torsion for some n invertible in k, then the cohomology theory on k-schemes defined by E satisfies Milnor excision. △ Less

Submitted 15 September, 2020; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 28 pages. v3: final version, to appear in Mathematische Annalen; v2: new title and minor corrections

Report number: CPH-GEOTOP-DNRF151

Isomorphisms up to bounded torsion between relative $K_0$-groups and Chow groups with modulus

Authors: Ryomei Iwasa, Wataru Kai

Abstract: In this note, we establish isomorphisms up to bounded torsion between relative $K_0$-groups and Chow groups with modulus as defined by Binda-Saito. In this note, we establish isomorphisms up to bounded torsion between relative $K_0$-groups and Chow groups with modulus as defined by Binda-Saito. △ Less

Submitted 12 November, 2018; originally announced November 2018.

Comments: 15pages

Relative $K_0$ and relative cycle class map

Authors: Ryomei Iwasa

Abstract: We study relative $K_0$ of exact categories and triangulated categories. As an application, we construct a cycle class map from Chow groups with modulus to relative $K_0$. We study relative $K_0$ of exact categories and triangulated categories. As an application, we construct a cycle class map from Chow groups with modulus to relative $K_0$. △ Less

Submitted 15 August, 2018; v1 submitted 27 June, 2017; originally announced June 2017.

Comments: 20 pages, final version, to appear in Journal of Pure and Applied Algebra

Chern classes with modulus

Authors: Ryomei Iwasa, Wataru Kai

Abstract: In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda-Saito. An application to relative motivic cohomology of henselian dvr is given. In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda-Saito. An application to relative motivic cohomology of henselian dvr is given. △ Less

Submitted 14 November, 2019; v1 submitted 23 November, 2016; originally announced November 2016.

Comments: Compatible numbering (sections, theorems, equations) with the published version. The content unchanged. 36 pages

MSC Class: 19D10; 14C35

Journal ref: Nagoya Math. J., 236 (2019), 84-133

Homology pro stability for Tor-unital pro rings

Authors: Ryomei Iwasa

Abstract: Let $\{A_m\}$ be a pro system of associative commutative, not necessarily unital, rings. Assume that the pro systems $\{\mathrm{Tor}^{\mathbb{Z}\ltimes A_m}_i(\mathbb{Z},\mathbb{Z})\}_m$ vanish for all $i>0$. Then we prove that the sequence \[ \{H_l(\mathrm{GL}_n(A_m))\}_m \to \{H_l(\mathrm{GL}_{n+1}(A_m))\}_m \to \{H_l(\mathrm{GL}_{n+2}(A_m)\}_m \to \cdots \] stabilizes up to pro isomorphisms f… ▽ More Let $\{A_m\}$ be a pro system of associative commutative, not necessarily unital, rings. Assume that the pro systems $\{\mathrm{Tor}^{\mathbb{Z}\ltimes A_m}_i(\mathbb{Z},\mathbb{Z})\}_m$ vanish for all $i>0$. Then we prove that the sequence \[ \{H_l(\mathrm{GL}_n(A_m))\}_m \to \{H_l(\mathrm{GL}_{n+1}(A_m))\}_m \to \{H_l(\mathrm{GL}_{n+2}(A_m)\}_m \to \cdots \] stabilizes up to pro isomorphisms for $n$ large enough than $l$ and the stable range of $A_m$'s. △ Less

Submitted 15 October, 2017; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: v2: simplified the exposition, removed Appendix A, which had contained unclear points, 28pages