Source author record

Ishan Levy

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

ResearcherUnclaimed source record

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

Catalog footprint

Research overview

4works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$ -theory

We prove for $n\geq c-1$ that the functor taking an animated ring $R$ to its mod $(p^c,v_1^{p^n})$ syntomic cohomology factors through the functor $R \mapsto R/p^{c(n+2)}$ , a phenomenon we term crystallinity for mod $(p^c,v_1^{p^n})$ syntomic cohomology. As an application, we completely and explicitly compute the mod $(p,v_1 ^{p^{n}-1})$ algebraic $K$ -theory of $\mathbb Z/p^{k}$ whenever $k \geq n+2$ and $p>2$ . As a second application, we deduce crystallinity for the mod $p^c$ syntomic complexes associated to smooth $p$ -adic formal schemes, and in particular for the Galois equivariant mod $p^c$ étale cohomologies of their adic generic fibers. Finally, we strengthen known $p$ -adic convergence theorems for the topological Hochschild homology of ring spectra, and as a result relate crystallinity for algebraic $K$ -theory to Lichtenbaum--Quillen theorems.

preprint2025arXiv

Topological Hochschild homology of the image of j

We compute the mod $(p,v_1)$ and mod $(2,η,v_1)$ $\mathrm{THH}$ of many variants of the image-of- $J$ spectrum. In particular, we do this for $j_ζ$ , whose $\mathrm{TC}$ is closely related to the $K$ -theory of the $K(1)$ -local sphere. We find in particular that the failure for $\mathrm{THH}$ to satisfy $\mathbb{Z}_p$ -Galois descent for the extension $j_ζ \to \ell_p$ corresponds to the failure of the $p$ -adic circle to be its own free loop space. For $p>2$ , we also prove the Segal conjecture for $j_ζ$ , and we compute the $K$ -theory of the $K(1)$ -local sphere in degrees $\leq 4p-6$ .

preprint2022arXiv

Adams-type maps are not stable under composition

We give a simple counterexample to the plausible conjecture that Adams-type maps of ring spectra are stable under composition. We then show that over a field, this failure is quite extreme, as any map of $\mathbb{E}_{\infty}$ -algebras is a transfinite composition of Adams-type maps.

preprint2022arXiv

The algebraic K-theory of the K(1)-local sphere via TC

We describe the algebraic K-theory of the $K(1)$ -local sphere and the category of type 2 finite spectra in terms of K-theory of discrete rings and topological cyclic homology. We find an infinite family of 2-torsion classes in the $K_0$ of type 2 spectra at the prime 2, and explain how to construct representatives of these $K_0$ classes.

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.

Ishan Levy

Research overview

Is this your work?

4 publications

Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$ -theory

Topological Hochschild homology of the image of j

Adams-type maps are not stable under composition

The algebraic K-theory of the K(1)-local sphere via TC

See the researcher in context

Building this map preview

Ishan Levy

Research overview

Is this your work?

4 publications

Crystallinity for syntomic cohomology, étale cohomology, and algebraic KKK-theory

Topological Hochschild homology of the image of j

Adams-type maps are not stable under composition

The algebraic K-theory of the K(1)-local sphere via TC

See the researcher in context

Building this map preview

Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$ -theory