Papers

We give a systematic account of the shape theory of $\infty$-topoi, viewing the shape of an $\infty$-topos as its generalized homotopy type. We establish the basic functorial properties of the shape, including preservation of colimits, descent, and homotopy invariance. We then prove that shape preserves cofiltered limits under compactness and perfectness hypotheses and establish Künneth-type formulas for products. Finally, we give conditions under which the shape of an $\infty$-topos determines its cohomology and homology.

We give two related but different methods for constructing rings $R$ of Krull dimension 1 and $K_{-d}(R) \neq 0$. The first works for $d = 2$, and the second works for any $d \geq 2$.

We construct a six-functor formalism for syntomic cohomology of p-adic formal schemes. This, in particular, generalizes Poincaré duality to general smooth morphisms.

Bondarko and Luzgarev constructed the Chow weight structure on the homotopy category of $KGL$-modules; we show that the heart of this weight structure is equivalent to the category of $K_0$-motives introduced by Gillet and Soulé, which is the $K$-theoretic counterpart of the category of relative Chow motives defined by Corti and Hanamura. The proof is achieved via a detailed study on the Borel-Moore theory in $KGL$-modules, as well as explicit formulas for products in algebraic $G$-theory in terms of $\operatorname{Tor}$-operations.

We show that, over any algebraically closed field of any characteristic, the category of finite-dimensional projective modules over the preprojective algebra of generalized Dynkin type $\mathbb{L}_2$ has a pretriangulated category structure which is neither an algebraic nor a topological triangulated category structure.

In this article, the cyclotomic Galois action on topological K-theory adjoined with a primitive $n$th root of unity and the famous $GL_1(\mathbf{Z}/n)$- and $GL_2(\mathbf{Z}/n)$-Galois actions on topological modular forms with $\Gamma_1(n)$- and $\Gamma(n)$-level structures are unified and generalised. This is done by defining a quotient stack in derived algebraic geometry parametrising constant finite abelian subgroups of $\mathbf{P}$-divisible groups, and studying how these quotient stacks and various notions of torsors interact with Galois extensions formed by taking algebraic and categorical invariants. Taking global sections then yields the titular Galois extensions on $K$-geometric fixed points, recovering and refining the well-known examples above and providing new ones. As an application, the $\infty$-category of perfect modules over a variety of $H$-equivariant ring spectra $R$ are decomposed into simple pullbacks of nonequivariant categories, leading to Mayer–Vietoris sequences for localising invariants of $R$. For example, this occurs for equivariant topological K-theory for all $p$-groups as well as any finite nonabelian simple group of order less than 500.

This article shows that the exact completion as a regular category of the homological category of Polish groups and continuous group homomorphisms is the category of groups with a Polish cover and Borel-definable group homomorphisms. We also obtain several equivalent characterizations for the morphisms in the exact completion. An analogous description is deduced for several important subcategories of the category of Polish groups.

One of the most effective approaches to computations in algebraic $K$-theory is trace methods, which compare algebraic $K$-theory with topological Hochschild homology and topological cyclic homology. In recent work, two of the authors, together with Gerhardt, construct an equivariant refinement of topological Hochschild homology ($\mathrm{ETHH}$) which receives a trace map from Merling's genuine equivariant algebraic $K$-theory. In this paper, we perform foundational computations of $\mathrm{ETHH}$ that can serve as input for future computations of $\mathrm{ETHH}$ and equivariant topological cyclic homology. Namely, we compute $\mathrm{ETHH}(H\underline{\mathbb{F}}_p)$ for odd primes, showcasing the complexity of Bökstedt periodicity in this setting. Furthermore, we give computations of $\mathrm{ETHH}$ for the equivariant complex cobordism spectra $MU_G$ and $MU_{\mathbb{R}}$.

We prove that the $\infty$-category of localizing motives in the sense of Blumberg–Gepner–Tabuada is not compactly generated, extending a result of Efimov.

In this article, we study two consequences of abstract six-functor formalisms. Firstly, we show that an abstract six-functor formalism can be extended to specific Ind- and Pro- categories of geometric setups. As an application, we can define the motivic stable homotopy theory for ind-pro-algebraic stacks such as the Hecke stack. Secondly, we also show that Cohomological Purity is functorial using the multisimplicial language developed by Liu-Zheng.

Using an argument of Jacob Lurie, we prove the existence of a E_2-lax monoidal structure on the Tate filtration coming from the standard cell structure on the infinite complex projective space. We then compare it to the filtration induced by the standard t-structure on spectra. In the last part of the paper, we construct a synthetic variant of the cellular Tate filtration and use it to compare Antieau's, Bhatt-Lurie's and Raksit's HKR filtrations on negative cyclic and periodic homology.

This work revisits the key sufficient conditions on a ring $A$ that guarantee the existence of the exact sequence \[ H_3(\mathrm{SM}_2(A), \mathbb{Z})\to H_3(\mathrm{SL}_2(A), \mathbb{Z}) \to \mathcal{RB}(A) \to 0 \] and of the isomorphism \[ H_3(\mathrm{SL}_2(A), \mathrm{SM}_2(A); \mathbb{Z}) \simeq \mathcal{RP}_1(A). \] We show that there are rings which satisfy the relations above but do not satisfy the condition that -1 is an square, for example some rings $\mathbb{Z}[\frac{1}{m}]$ and finite local rings. In addition, we study the special case of non-dyadic local fields with characteristic not 2, obtaining a refined Bloch-Wigner exact sequence when -1 is not an square.

Motivated by the work of Ischebeck on the behaviour of algebraic $K$-theoretic functors under subintegral extensions, we investigate the analogous question in Hermitian $K$-theory. We prove that Grothendieck-Witt groups in degree zero are invariant under subintegral extensions. We also investigate the cancellation problem for quadratic spaces over geometric subrings of polynomial rings and establish a cancellation theorem for quadratic spaces of sufficiently large Witt index.

We prove that both continuous K-theory and analytic K-theory of rigid analytic spaces (à la Kerz–Saito–Tamme) satisfiy descent with respect to the Nisnevich topology. Together with the fact that it is $\mathbb{A}^1$-invariant assuming resolutions of singularities, we deduce that it is representable in the $\mathbb{A}^{1}$-homotopy category of rigid spaces (à la Dahlhausen–Yaylali). We identifiy the representing object with both $\mathbb{Z}\times\mathrm{BGL}$ and the analytification of algebraic K-theory. As a consequence, we get a representability statement for coefficients in light condensed spectra. Moreover, we show Weibel vanishing and that continuous K-theory is $\mathbb{A}^1$-invariant on local Tate pairs (without any regularity assumption).

Using non-$\mathbb{A}^1$-invariant motivic cohomology, we prove motivic refinements of certain known computations of the algebraic $K$-theory of singular rings, such as rings of the form $\mathbb{Z}/p^n$, $\mathbb{Z}[x]/(x^e)$, and $\mathscr{C}(X;\mathbb{C})$ for $X$ a compact Hausdorff space. These refinements are made possible by the use of integral $p$-adic Hodge theory, as a replacement for the standard use of trace methods in $K$-theory.

Let $V$ be a complete discrete valuation ring of mixed characteristic $(0,3)$ in which $3$ is a uniformizer, and put $A=V[[x,y]]/(3+x^2-y^3)$. We construct a nonzero class $a\in K_2(A;\mathbf Z/3)$ whose restriction to the fraction field of $A$ is zero. Thus Gersten injectivity for algebraic $K$-theory with $\mathbf Z/3$-coefficients fails for a two-dimensional ramified regular local ring. We also indicate the expected analogous construction for every odd prime. This counterexample does not contradict the integral Gersten conjecture but it rules out a naive reduction to finite coefficients.

We develop a comprehensive theory of dualizable additive categories. We provide several equivalent characterizations, notably identifying them as separated Grothendieck prestable categories satisfying the $\mathrm{AB4}^*$ and $\mathrm{AB6}$ axioms. We establish a connection to almost mathematics by demonstrating that they arise precisely as the categories of connective almost modules over connective $\mathbb{E}_1$-rings. Furthermore, we prove that dualizable additive categories are generated by flat objects, and that the passage to flat objects yields an equivalence between dualizable additive categories and compactly assembled additive categories. As a primary application within analytic geometry, we characterize the category $\mathrm{Nuc}(R)_{\geq 0}$ of connective nuclear modules (in the sense of Clausen–Scholze) over an adic $\mathbb{E}_\infty$-ring $R$ via a universal property, identifying it as the additive rigidification of the category of connective complete $R$-modules. Finally, we construct the universal finitary stable localizing invariant for dualizable additive categories, the presentable stable category $\mathcal{M}\mathrm{ot}_{\mathrm{pst}}$ of prestable motives, and demonstrate that its unit corepresents nonconnective algebraic $K$-theory. We prove that the motives of small additive categories and those of dualizable additive categories generate the same presentable stable subcategory.

We develop homological Real trace methods, an approach to understanding the continuous mod two Bredon homology of Real topological periodic homology and Real topological negative cyclic homology, generalizing prior work of Bruner and Rognes. We use this new approach to do several computations, including the continuous mod two Bredon homology of the Real topological negative cyclic homology of Real bordism.

Let R be a ring and let Ch(R) be the category of complexes of left R-modules. We consider the C-E (Cartan-Eilenberg) exact structure on Ch(R) and show that it is an efficient exact category. We prove that if R is a left virtually Gorenstein ring, the pair (C-E(GProj),C-E(GInj)) is a C-E-admissible balanced pair. Under suitable additional hypotheses, the converse holds. We also consider the C-E version of Tate cohomology and establish C-E analogues of the Avramov-Martsinkovsky exact sequences and balance results for both Ext and Tor.

Let $G$ be a connected linear real semisimple group with finite centre and discrete series, and let $G_c$ be a fixed compact inner form. We isolate an integral structure behind the discrete-series character identity. There are natural homomorphisms $\mathcal{C}_G:K_0(C_r^*(G))\longrightarrow R(G_c)$ and $\mathcal{J}_G:R(G_c)\longrightarrow K_0(C_r^*(G))$, characterised, respectively, by stable and ordinary elliptic orbital integrals. The first sends a noncompact Dolbeault–Dirac index to its compact counterpart; the second sends an irreducible representation of $G_c$ to the signed sum of the $K$-theory classes in the corresponding discrete-series $L$-packet. We prove $\mathcal{C}_G\mathcal{J}_G=[W_G:W_K]\,\mathrm{id}_{R(G_c)}$. Thus the packet cardinality is the precise integral cost of splitting stable orbital averaging. Writing $S_G=\operatorname{im}\mathcal{J}_G$ and $U_G=\ker\mathcal{C}_G$, we obtain the exact obstruction sequence $0\longrightarrow S_G\oplus U_G\longrightarrow K_0(C_r^*(G))\longrightarrow R(G_c)/[W_G:W_K]R(G_c)\longrightarrow 0$. After inverting the packet cardinality, this yields a canonical stable projector and functorial transfers between the stable $K$-theory lattices of real inner forms. For $\operatorname{SL}(2,\mathbb{R})$ the obstruction is $(\mathbb{Z}/2\mathbb{Z})[z+z^{-1}]$. For the inner forms of type $C_n$, the relevant multiplier is $2^n$ for $\operatorname{Sp}(2n,\mathbb{R})$ and $\binom{n}{p}$ for $\operatorname{Sp}(p,n-p)$.

We give a new proof that algebraic K-theory increases chromatic height by at most one, originally established by Clausen-Mathew-Naumann-Noel. Our argument proceeds by descent from the Lubin-Tate spectrum, for which the required vanishing follows from Hahn-Wilson's Quillen-Lichtenbaum result.

Topological $K$-theory supplies the decisive stable classification principle for gapped free-fermion phases in Euclidean crystals once symmetry and stabilization are fixed. In hyperbolic band theory, by contrast, it is less decisive for the full band problem: generalized momentum sectors vary through moduli spaces, but passing to ordinary $K$-classes collapses their geometric and holomorphic variation. We distinguish kinematical holomorphy, in which complex geometry organizes the sector spaces, from dynamical holomorphy, in which that geometry informs a Hamiltonian or projector, and formulate the resulting loss as an observable-factorization problem. For a compact hyperbolic surface $X$, we prove nonfactorization in three settings: fibrewise $K^0(X)$, occupied-state $K^0(B)$, and operator-algebraic $K$-theory. The affected quantities include spectra and Higgs spectral curves, the Berry holonomy and the quantum metric, the partially filled Hall response, and the Fermi surface and nodal geometries. We also identify the quantized pairings and local charges retained by topology. Up to an explicit area factor, the Kotani–Sunada bottom-band Hessian is the Hodge inner product on $H^1(X;\mathbb R)$. Together with the integral intersection form, it recovers the homology-marked principally polarized Jacobian and hence, by Torelli and uniformization, the underlying complex and hyperbolic surface, though not a full Teichmüller marking. We also separate finite-rank sectors from the thermodynamic bulk. Locally faithful covers reproduce polynomial traces exactly and control continuous spectral observables. In arithmetic congruence towers, analytic observables converge as $O(|G_n|^{-\eta})$ for some $\eta>0$, and $C^s$ observables as $O((\log |G_n|)^{-s})$, while established coherent large-rank limits recover bulk density-of-states moments.