Source author record

Matthew Morrow

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.KT math.NT math.AT math.AC

Catalog footprint

Research overview

20works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The K-theory of perfectoid rings

We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the p-adic K-theory of the p-adic generic fibre in high degrees. In the case of smooth algebras over perfectoid valuation rings of mixed characteristic the latter isomorphism holds in all degrees and generalises a result of Nizioł.

preprint2021arXiv

Milnor $K$ -theory of $p$ -adic rings

We study the mod $p^r$ Milnor $K$ -groups of $p$ -adically complete and $p$ -henselian rings, establishing in particular a Nesterenko-Suslin style description in terms of the Milnor range of syntomic cohomology. In the case of smooth schemes over complete discrete valuation rings we prove the mod $p^r$ Gersten conjecture for Milnor $K$ -theory locally in the Nisnevich topology. In characteristic $p$ we show that the Bloch-Kato-Gabber theorem remains true for valuation rings, and for regular formal schemes in a pro sense.

preprint2020arXiv

K-theory and topological cyclic homology of henselian pairs

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$ -theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$ . This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$ ) and McCarthy's theorem on relative $K$ -theory (when $I$ is nilpotent). We deduce that the cyclotomic trace is an equivalence in large degrees between $p$ -adic $K$ -theory and topological cyclic homology for a large class of $p$ -adic rings. In addition, we show that $K$ -theory with finite coefficients satisfies continuity for complete noetherian rings which are $F$ -finite modulo $p$ . Our main new ingredient is a basic finiteness property of $\mathrm{TC}$ with finite coefficients.

preprint2016arXiv

A historical overview of pro cdh descent in algebraic $K$ -theory and its relation to rigid analytic varieties

This note was prepared after the workshop on cdh descent and algebraic $K$ -theory in Hara-mura, Japan (1 - 5 Sept. 2016), to complement the author's talk on the history and applications of pro cdh descent. In the final section pro cdh descent is used to define $K$ -groups of rigid analytic varieties. This note was revised and released in light of Kerz, Strunk, and Tamme establishing pro cdh descent in general (arXiv:1611.08466).

preprint2016arXiv

Analogues of Gersten's conjecture for singular schemes

We formulate analogues, for Noetherian local $\mathbb Q$ -algebras which are not necessarily regular, of the injectivity part of Gersten's conjecture in algebraic $K$ -theory, and prove them in various cases. Our results suggest that the algebraic $K$ -theory of such a ring should be detected by combining the algebraic $K$ -theory of both its regular locus and the infinitesimal thickenings of its singular locus.

preprint2016arXiv

Notes on the A_inf-cohomology of Integral p-adic Hodge theory

We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.

preprint2015arXiv

$K$ -theory and logarithmic Hodge-Witt sheaves of formal schemes in characteristic $p$

We describe the mod $p^r$ pro $K$ -groups $\{K_n(A/I^s)/p^r\}_s$ of a regular local $\mathbb F_p$ -algebra $A$ modulo powers of a suitable ideal $I$ , in terms of logarithmic Hodge-Witt groups, by proving pro analogues of the theorems of Geisser-Levine and Bloch-Kato-Gabber. This is achieved by combining the pro Hochschild-Kostant-Rosenberg theorem in topological cyclic homology with the development of the theory of de Rham-Witt complexes and logarithmic Hodge-Witt sheaves on formal schemes in characteristic $p$ . Applications include the following: the infinitesimal part of the weak Lefschetz conjecture for Chow groups; a $p$ -adic version of Kato-Saito's conjecture that their Zariski and Nisnevich higher dimensional class groups are isomorphic; continuity results in $K$ -theory; and criteria, in terms of integral or torsion étale-motivic cycle classes, for algebraic cycles on formal schemes to admit infinitesimal deformations. Moreover, in the case $n=1$ , we compare the étale cohomology of $W_rΩ^1_\text{log}$ and the fppf cohomology of $\mathbfμ_{p^r}$ on a formal scheme, and thus present equivalent conditions for line bundles to deform in terms of their classes in either of these cohomologies.

preprint2015arXiv

A Variational Tate Conjecture in crystalline cohomology

Given a smooth, proper family of varieties in characteristic $p>0$ , and a cycle $z$ on a fibre of the family, we formulate a Variational Tate Conjecture characterising, in terms of the crystalline cycle class of $z$ , whether $z$ extends cohomologically to the entire family. This is a characteristic $p$ analogue of Grothendieck's Variational Hodge Conjecture. We prove the conjecture for divisors, and an infinitesimal variant of the conjecture for cycles of higher codimension. This can be used to reduce the $\ell$ -adic Tate conjecture for divisors over finite fields to the case of surfaces.

preprint2015arXiv

Integral $p$ -adic Hodge theory - announcement

Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$ , we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$ -adic étale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and étale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.

preprint2015arXiv

Pro unitality and pro excision in algebraic K-theory and cyclic homology

We study pro excision in algebraic K-theory, following Suslin--Wodzicki, Cuntz--Quillen, Cortiñas, and Geisser--Hesselholt, as well as Artin--Rees and continuity properties of André--Quillen, Hochschild, and cyclic homology. Our key tool is to first establish the equivalence of various pro Tor vanishing conditions which appear in the literature. Using this we prove that all ideals of commutative, Noetherian rings are pro unital in a certain sense, and show that such ideals satisfy pro excision in $K$ -theory as well as in cyclic and topological cyclic homology. In addition, our techniques yield a strong form of the pro Hochschild--Kostant--Rosenberg theorem, an extension to general base rings of the Cuntz--Quillen excision theorem in periodic cyclic homology, and a generalisation of the Fe\uıgin--Tsygan theorem.

preprint2015arXiv

Zero cycles on singular varieties and their desingularisations

We use pro cdh-descent of $K$ -theory to study the relationship between the zero cycles on a singular variety $X$ and those on its desingularisation $X'$ . We prove many cases of a conjecture of S. Bloch and V. Srinivas, and relate the Chow groups of $X$ to the Kerz--Saito Chow group with modulus of $X'$ relative to its exceptional fibre.

preprint2014arXiv

A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem

Following ideas of Bloch, Esnault, and Kerz, the deformational part of Grothendieck's variational Hodge conjecture is established for proper, smooth schemes over $K[[t]]$ , where $K$ is an algebraic extension of the rational numbers. The main tool is a pro Hochschild-Kostant-Rosenberg theorem for Hochschild homology.

preprint2014arXiv

Finite generation and continuity of topological Hochschild and cyclic homology

The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our results. This mild hypothesis is satisfied in all cases of interest in finite and mixed characteristic algebraic geometry. We prove firstly that the topological Hochschild homology groups, and the homotopy groups of the fixed point spectra $TR^r$ , are finitely generated modules. We use this to establish the continuity of these homology theories for any given ideal. A consequence of such continuity results is the pro Hochschild-Kostant-Rosenberg theorem for topological Hochschild and cyclic homology. Finally, we show more generally that the aforementioned finite generation and continuity properties remain true for any proper scheme over such a ring.

preprint2013arXiv

K-theory of one-dimensional rings via pro-excision

This paper studies "pro-excision" for the K-theory of one-dimensional (usually semi-local) rings and its various applications. In particular, we prove Geller's conjecture for equal characteristic rings over a perfect field of finite characteristic, give the first results towards Geller's conjecture in mixed characteristic, and we establish various finiteness results for the K-groups of singularities (covering both orders in number fields and singular curves over finite fields).

preprint2012arXiv

A singular analogue of Gersten's conjecture and applications to K-theoretic adeles

The first part of this paper introduces an analogue, for one-dimensional, singular, complete local rings, of Gersten's injectivity conjecture for discrete valuation rings. Our main theorem is the verification of this conjecture when the ring is reduced and contains Q, using methods from cyclic/Hochschild homology and Artin-Rees type results due to A. Krishna. The second part of the paper describes the relationship between adele type resolutions of K-theory on a one-dimensional scheme and more classical questions in K-theory such as localisation and descent. In particular, we construct a new resolution of sheafified K-theory, conditionally upon the conjecture.

preprint2012arXiv

An introduction to higher dimensional local fields and adeles

These notes are an introduction to higher dimensional local fields and higher dimensional adeles. As well as the foundational theory, we summarise the theory of topologies on higher dimensional local fields and higher dimensional local class field theory.

preprint2012arXiv

K2 of localisations of local rings

We show that K2 of "sufficiently regular" localisations of local rings (e.g. inverting a sequence of regular parameters) can be described by the Steinberg presentation. The proof is inductive on the number of irreducible elements being inverted, successively using a generalisation of a co-Cartesian square first exploited by Dennis and Stein.

preprint2011arXiv

An explicit approach to residues on and dualizing sheaves of arithmetic surfaces

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for surfaces over a perfect field. In an appendix, explicit local ramification theory is used to recover the fact that in the case of a local complete intersection the dualizing and canonical sheaves coincide.

preprint2011arXiv

Grothendieck's trace map for arithmetic surfaces via residues and higher adeles

We establish the reciprocity law along a vertical curve for residues of differential forms on arithmetic surfaces, and describe Grothendieck's trace map of the surface as a sum of residues. Points at infinity are then incorporated into the theory and the reciprocity law is extended to all curves on the surface. Applications to adelic duality for the arithmetic surface are discussed.

preprint2010arXiv

Fubini's theorem and non-linear change of variables over a two-dimensional local field

We consider non-linear changes of variables and Fubini's theorem for certain integrals over a two-dimensional local field. An interesting example is presented in which imperfectness of a finite characteristic local field causes Fubini's theorem to unexpectedly fail. The relationship to ramification theory is discussed.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Matthew Morrow

Research overview

Is this your work?

20 publications

The K-theory of perfectoid rings

Milnor $K$ -theory of $p$ -adic rings

K-theory and topological cyclic homology of henselian pairs

A historical overview of pro cdh descent in algebraic $K$ -theory and its relation to rigid analytic varieties

Analogues of Gersten's conjecture for singular schemes

Notes on the A_inf-cohomology of Integral p-adic Hodge theory

$K$ -theory and logarithmic Hodge-Witt sheaves of formal schemes in characteristic $p$

A Variational Tate Conjecture in crystalline cohomology

Integral $p$ -adic Hodge theory - announcement

Pro unitality and pro excision in algebraic K-theory and cyclic homology

Zero cycles on singular varieties and their desingularisations

A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem

Finite generation and continuity of topological Hochschild and cyclic homology

K-theory of one-dimensional rings via pro-excision

A singular analogue of Gersten's conjecture and applications to K-theoretic adeles

An introduction to higher dimensional local fields and adeles

K2 of localisations of local rings

An explicit approach to residues on and dualizing sheaves of arithmetic surfaces

Grothendieck's trace map for arithmetic surfaces via residues and higher adeles

Fubini's theorem and non-linear change of variables over a two-dimensional local field

See the researcher in context

Building this map preview

Matthew Morrow

Research overview

Is this your work?

20 publications

The K-theory of perfectoid rings

Milnor KKK-theory of ppp-adic rings

K-theory and topological cyclic homology of henselian pairs

A historical overview of pro cdh descent in algebraic KKK-theory and its relation to rigid analytic varieties

Analogues of Gersten's conjecture for singular schemes

Notes on the A_inf-cohomology of Integral p-adic Hodge theory

KKK-theory and logarithmic Hodge-Witt sheaves of formal schemes in characteristic ppp

A Variational Tate Conjecture in crystalline cohomology

Integral ppp-adic Hodge theory - announcement

Pro unitality and pro excision in algebraic K-theory and cyclic homology

Zero cycles on singular varieties and their desingularisations

A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem

Finite generation and continuity of topological Hochschild and cyclic homology

K-theory of one-dimensional rings via pro-excision

A singular analogue of Gersten's conjecture and applications to K-theoretic adeles

An introduction to higher dimensional local fields and adeles

K2 of localisations of local rings

An explicit approach to residues on and dualizing sheaves of arithmetic surfaces

Grothendieck's trace map for arithmetic surfaces via residues and higher adeles

Fubini's theorem and non-linear change of variables over a two-dimensional local field

See the researcher in context

Building this map preview

Milnor $K$ -theory of $p$ -adic rings

A historical overview of pro cdh descent in algebraic $K$ -theory and its relation to rigid analytic varieties

$K$ -theory and logarithmic Hodge-Witt sheaves of formal schemes in characteristic $p$

Integral $p$ -adic Hodge theory - announcement