K-Theory and Homology

As a generalization of the classical killing-contractible-complexes lemma, we present algebraic Morse theory via homological perturbation lemma, in a form more general than existing presentations in the literature. Two-sided Anick…

We refine several results of Bhatt-Morrow-Scholze on THH to THR. In particular, we compute THR of perfectoid rings. This will be useful for establishing motivic filtrations on real topological Hochschild and cyclic homology of quasisyntomic…

Given an algebraic torus $T$ over a field $F$, its lattice of characters $\Lambda$ gives rise to a topological torus $\mathfrak{T}(T)=\Lambda_{\mathbb R}/\Lambda$ with a continuous action of the absolute Galois group $G$. We construct a…

This is a survey on the Farrell-Jones Conjecture about the algebraic K- and L-theory of groups rings and its applications to algebra, geometry, group theory, and topology.

We pursue an old conjecture of John Roe about the algebraic K-theory of the algebra of finite propagation, locally trace-class operators, namely that transgressing the algebraic coarse character map on this algebra to a Higson dominated…

In the Morel-Voevodsky motivic stable homotopy category of a quasi-compact quasi-separated scheme S, several candidates exist for a motivic spectrum representing hermitian K-theory. This note shows that the cellular absolute motivic…

There is a general phenomenon in algebra that numerous functors of homological significance admit characterization as derived limits of elementary functors defined over categories of free extensions. We demonstrate that upon restriction to…

We give a more conceptual construction of a comparison algebra morphism from the K-theoretical Hall algebra to a twist of the cohomological Hall algebra associated to a symmetric quiver, and extend the result to quivers with potential.

Inspired by parallel developments in coarse geometry in mathematics and exact macroscopic quantization in physics, we present a family of general trace formulae which are universally quantized and depend only on large-scale geometric…

We study higher chromatic height analogues $eo_h$ of the connective real $K$-theory spectrum $ko$. We show that $eo_h$ is an fp spectrum of type $h$ in the sense of Mahowald--Rezk. We use these to study an Euler characteristic for fp…

We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms…

In [6], the higher-order spectral triple and its relative K-homology were studied. Motivated by the Kastler-Kalau-Walze theorem, we propose an extension of the Einstein-Hilbert action to the framework of higher-order spectral triples. To…

Using a homotopy introduced by de Wilde and Lecomte and homological perturbation theory for $A_\infty$-algebras, we give an explicit proof that the universal enveloping algebra $UL$ of a differential graded Lie algebra $L$ is Koszul, via an…

We construct explicit generators for the higher scissors congruence K-theory of the line. We use this to derive an explicit generating set for the homology of the group of interval exchange transformations. Our proof makes use of an…

We give several examples of finite groups $G$ for which the rank of the tensor product $\mathbb{Z} \otimes_{\mathbb{Z}\mathrm{Aut}(G)}$ Wh$(G)$ is or is not zero. This is motivated by an earlier theorem of the first author, which implies as…

We find lower bounds on the rank of a "real" vector bundle over an involutive space, such that "real" vector bundles of higher rank have a trivial summand and such that a stable isomorphism for such bundles implies ordinary isomorphism. We…

For an arbitrary ring $A$, we study the abelianization of the elementary group $\textrm{E}_2(A)$. In particular, we show that for a commutative ring $A$ there exists an exact sequence \[ K_2(2,A)/C(2,A) \to A/M \to…

We cast Kasparov's equivariant KK-theory in the framework of model categories. We obtain a stable model structure on a certain category of locally multiplicative convex $G$-$C^*$-algebras, which naturally contains the stable…

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence…

The principal result of this note is the existence of a complex topological orientation for Atiyah-Segal $\mathbb{T}$-equivariant K-theory which indexes the projective space of lines in complex (n+1)-space by the Fourier expansion $1 + q +…