Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper, we study the more complicated setup where we have two pushforwards (an ‘additive’ and a ‘multiplicative’ one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(\infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $\infty$-categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading ‘monoid-like’ structures to ‘ring-like’ ones. For example, symmetric monoidal $\infty$-categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$-sets, extend the norms for finite étale maps in motivic spectra to a functor from certain bispans in schemes, and make $\mathrm {Perf}(X)$ for $X$ a spectral Deligne–Mumford stack a functor of bispans using a multiplicative pushforward for finite étale maps in addition to the usual pullback and pushforward maps. Combining this with the polynomial functoriality of $K$-theory constructed by Barwick, Glasman, Mathew, and Nikolaus, we obtain norms on algebraic $K$-theory spectra.

We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\operatorname K$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a Verdier quotient closely following work of Waldhausen. We also include a new proof of the additivity theorem of $\operatorname K$-theory, strongly inspired by Ranicki's algebraic Thom construction, a short proof of the universality theorem of Blumberg, Gepner and Tabuada, and a second proof of the cofinality theorem which is based on the universal property of $\operatorname K$-theory.

We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.

The algebraic K-theory of Lawvere theories is a conceptual device to elucidate the stable homology of the symmetry groups of algebraic structures such as the permutation groups and the automorphism groups of free groups. In this paper, we fully address the question of how Morita equivalence classes of Lawvere theories interact with algebraic K-theory. On the one hand, we show that the higher algebraic K-theory is invariant under passage to matrix theories. On the other hand, we show that the higher algebraic K-theory is not fully Morita invariant because of the behavior of idempotents in non-additive contexts: We compute the K-theory of all Lawvere theories Morita equivalent to the theory of Boolean algebras.

Loday’sassembly maps approximate the K-theory of group rings by the K-theory of the coefficient ring and the corresponding homology of the group. We present a generalisation that places both ingredients on the same footing. Building on Elmendorf–Mandell’s multiplicativity results and our earlier work, we show that the K-theory of Lawvere theories is lax monoidal. This result makes it possible to present our theory in a user-friendly way without using higher-categorical language. It also allows us to extend the idea to new contexts and set up a nonabelian interpolation scheme, raising novel questions. Numerous examples illustrate the scope of our extension.

We introduce coarse flow spaces for relatively hyperbolic groups and use them to verify a regularity condition for the action of relatively hyperbolic groups on their boundaries. As an application the Farrell–Jones conjecture for relatively hyperbolic groups can be reduced to the peripheral subgroups (up to index-2 overgroups in the $L$-theory case).

According to Kazhdan-Lusztig and Ginzburg, the Hecke algebra of an affine Weyl group is identified with the equivariant K-group of Steinberg’s triple variety. The K-group is equipped with a filtration indexed by closed G-stable subvarieties of the nilpotent variety, where G is the corresponding reductive algebraic group over ℂ. In this paper we will show in the case of type A that the filtration is compatible with the Kazhdan-Lusztig basis of the Hecke algebra.

For a closed topological $n$-manifold $X$, the surgery exact sequence contains the set of manifold structures and the set of tangential structures of $X$. In the case of a compact topological $n$-manifold with boundary $(X$, $\partial X)$, the classical surgery theory usually considers two different types of structures. The first one concerns structures whose restrictions are fixed on the boundary. The second one uses two similar structures on the manifold pair. In his classical book, Wall mentioned the possibility of introducing a mixed type of structure on a manifold with boundary. Following this suggestion, we introduce mixed structures on a topological manifold with boundary, and describe their properties. Then we obtain connections between these structures and the classical ones, and prove that they fit in some surgery exact sequences. The relationships can be described by using certain braids of exact sequences. Finally, we discuss explicitly several geometric examples.

Localization and dévissage theorems are proved for the hermitian $K$-theory of rings that are analogous to well-known theorems in algebraic $K$-theory. The proofs rely on, among other things, a study of derived categories, a generalization of a theorem of Pedersen and Weibel to the hermitian setting, and a cofinality result for triangular Witt groups. Applications include a proof of a conjecture of Karoubi and algebraic Bott periodicity.

It is known that the $K$-groups that appear in the calculation of the $K$-theory of a large class of groups can be computed from the $K$-theory of their virtually infinite cyclic subgroups. On the other hand, Nil-groups appear to be the obstacle in calculations involving the $K$-theory of the latter. The main difficulty in the calculation of Nil-groups is that they are infinitely generated when they do not vanish. We develop methods for computing the exponent of $\text{N}{{\text{K}}_{0}}$-groups that appear in the calculation of the ${{K}_{0}}$-groups of virtually infinite cyclic groups.

In [Con2] Connes introduced cyclic cohomology HC*(A) for an associative algebra A. When A is a complex algebra he constructed a Chern character for p-summable Fredholm modules over A taking values in HC*(A). As a very special case, when X is a closed C∞-manifold and A = C∞ (X), this construction recovers the usual Chern character, which is a rational isomorphism from the K-homology K0(X) to , the even dimensional deRham homology of X.

Let k be an algebraically closed field, and let l be a prime number not equal to char(k). Let X be a locally fibrant simplicial sheaf on the big étale site for k, and let Y be a k scheme which is cohomologically proper. Then there is a Künneth-type isomorphism

which is induced by an external cup-product pairing. Reductive algebraic groups G over k are cohomologically proper, by a result of Friedlander and Parshall. The resulting Hopf algebra structure on may be used together with the Lang isomorphism to give a new proof of the theorem of Friedlander-Mislin which avoids characteristic 0 theory. A vanishing criterion is established for the Friedlander-Quillen conjecture.

We calculate the topological K-theory of the cotangent sphere bundle of ℝPn and show the manner in which it is detected by the eta invariant.