Source author record

Dustin Clausen

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

ResearcherUnclaimed source record

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

Catalog footprint

What is connected

4works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.

preprint2020arXiv

Remarks on $K(1)$-local $K$-theory

We prove two basic structural properties of the algebraic $K$-theory of rings after $K(1)$-localization at an implicit prime $p$. Our first result (also recently obtained by Land--Meier--Tamme by different methods) states that $L_{K(1)} K(R)$ is insensitive to inverting $p$ on $R$; we deduce this from recent advances in prismatic cohomology and $\mathrm{TC}$. Our second result yields a Künneth formula in $K(1)$-local $K$-theory for adding $p$-power roots of unity to $R$.

preprint2017arXiv

Descent in algebraic $K$-theory and a conjecture of Ausoni-Rognes

Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization. We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)\otimes \mathbb{Q}$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes.

preprint2012arXiv

p-adic J-homomorphisms and a product formula

One-point compactification turns real vector spaces into spheres. In homotopy theory, this transformation gets encoded in a map called the "real J-homomorphism". Here we define and investigate p-adic J-homomorphisms, which sort of turn p-adic vector spaces into spheres. Our main theorem is a product formula for these J-homomorphisms, saying what happens when you start with a rational vector space. This formula specializes to Hilbert's version of the quadratic reciprocity law after applying second homotopy groups.