BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Matthew Morrow

Matthew Morrow appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath.KTmath.NTmath.ATmath.AC

Catalog footprint

What is connected

20works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

20 published item(s)

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ł.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access