K-Theory and Homology
We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove…
We establish comparison maps between the classical algebraic $K$-theory of algebras over a field and its analogue $K^c$, an algebraic $K$-theory for coalgebras over a field. The comparison maps are compatible with the Hattori--Stallings…
Recent work has applied scissors congruence $K$-theory to study classical cut-and-paste ($SK$) invariants of manifolds. This paper proves the conjecture that the squares $K$-theory of equivariant $SK$-manifolds arises as the fixed points of…
We prove an equivalence between the real $K$-theory genuine $C_2$-spectra of Calm\`es et al. for Poincar\'e $\infty$-categories and the one of the authors of this work for Waldhausen $\infty$-categories with genuine duality.
We calculate the Witt ring of the real sphere.
The $K_0$-group of the C*-algebra of multipullback quantum complex projective plane is known to be $\mathbb{Z}^3$, with one generator given by the C*-algebra itself, one given by the section module of the noncommutative (dual) tautological…
In this paper, study sums $A=\{a,b\}_2+\{c,d\}_2$ of two symbols in $K_2(F)/2K_2(F)$ when $\operatorname{char}(F)=2$. We first prove a chain lemma that connects $A$ to $B=\{\alpha,\beta\}_2+\{\gamma,\delta\}_2$ by a finite sequence of small…
We present an equivariant generalization of Boutet de Monvel's index theorem for Toeplitz operators on contact manifolds. We prove that the Dirac operator and the Szeg\"o projection determine the same class in equivariant $K$-homology,…
We propose a definition of an Euler characteristic for unbounded chain complexes by taking the (usual) Euler characteristics of successively longer parts of the complex, weighted inversely proportional to the length, and passing to the…
In this paper, we study multiplicative structures on the K-theory of the core $A:=C^*(E)^{U(1)}$ of the C*-algebra $C^*(E)$ of a directed graph $E$. In the first part of the paper, we study embeddings $E\to E\times E$ that induce a…
We define an $S_\bullet$-construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $S_\bullet$-construction to model the K-theory space. The…
In previous work, the author and Chan computed the algebraic $K$-theory of the constant $C_2$-Tambara field with value the field with two elements, using a method which fails at odd primes. Herein we make progress towards the corresponding…
We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I\subset R$ such that $R/I$ is regular, where $R$…
For a finite group $G$, we compute the algebraic $K$-theory of the category of equivariant sheaves on a locally compact Hausdorff $G$-space, generalizing a result of Efimov, and determine the equivariant $E$-theory of the $C^*$-algebra of…
In this paper, we provide an explicit description of the Schubert classes in the equivariant $K$-theory of weighted Grassmann orbifolds. We introduce the `twisted factorial Grothendieck polynomials', a family of symmetric polynomials by…
It is known that the truncated Brown--Peterson spectra can be equipped with a certain nice algebra structure, by the work of J. Hahn and D. Wilson, and these ring spectra can be viewed as rings of integers of local fields in chromatic…
We prove a sharp, quantitative analogue of Helgason's conjecture at the level of distributions: For a semisimple Lie group $G$ of real rank one, Poisson transforms map a Sobolev space on $P\backslash G$ boundedly with closed range to an…
We prove a homotopy invariance result for the first cohomology group of the special unitary group $\mathrm{SU}_3(F[t])$ with coefficients in irreducible representations of $\mathrm{PGL}_2(F)$. The main theorem establishes that this…
A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in…
This paper provides a complete presentation of $K_1(Var)$, the $K_1$ group of varieties, resolving and simplifying a problem left open in \cite{ZakhK1}. Our approach adapts Gillet-Grayson's $G$-Construction to define an un-delooped…