Related papers: K-groups of reciprocity functors

Let Z be a smooth projective manifold. In these notes I will prove that the K-group of R-constructible sheaves is isomorphic to the free abelian group with one generator for each open semialgebraic subset $U$ (which I will denote by the…

This paper is a sequel to our previous work, where we proved the ``modularity theorem'' for algebraic Witt vectors over imaginary quadratic fields. This theorem states that, in the case of imaginary quadratic fields $K$, the algebraic Witt…

We suggest the point of view that the Schubert classes of the affine Grassmannian of a simple algebraic group should be considered as Schur-positive symmetric functions. In particular, we give a geometric explanation of the Schur positivity…

Usually the boundary map in K-theory localization only gives the tame symbol at $K_{2}$. It sees the tamely ramified part of the Hilbert symbol, but no wild ramification. Gillet has shown how to prove Weil reciprocity using such boundary…

The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing…

Given a specific collection of curves on an oriented surface with punctures, we associate a power series by counting its intersections with multicurves. This paper presents a reciprocity formula on the power series when multicurves with no…

We prove a universal property for the $(\infty, n)$-category of correspondences, generalizing and providing a new proof for the case $n = 2$ from [GR17]. We also provide conditions under which a functor out of a higher category of…

In this paper we introduce the notion of a categorical Mackey functor. This categorical notion allows us to obtain new Mackey functors by passing to Quillen's $K$-theory of the corresponding abelian categories. In the case of an action by…

The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from)…

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…

We prove that the the kernel of the reciprocity map for a product of curves over a $p$-adic field with split semi-stable reduction is divisible. We also consider the $K_1$ of a product of curves over a number field.

We consider the Krall-Sheffer class of admissible, partial differential operators in the plane. We concentrate on algebraic structures, such as the role of commuting operators and symmetries. For the polynomial eigenfunctions, we give…

We associate to each unital $C^*$-algebra $A$ a geometric object---a diagram of topological spaces representing quotient spaces of the noncommutative space underlying $A$---meant to serve the role of a generalized Gel'fand spectrum. After…

A group equivariant $KK$-theory for rings will be defined and studied in analogy to Kasparov's $KK$-theory for $C^*$-algebras. It is a kind of linearization of the category of rings by allowing addition of homomorphisms, imposing also…

We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of…

We study the analogy between number fields and function fields in one variable over finite fields. The main result is an isomorphism between the Hilbert class fields of class number one and a family of the function fields $\mathbf{F}_q(C)$…

Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.

Symmetric cohomology of groups, defined by M. Staic in [2], is similar to the way one defines the cyclic cohomology for algebras. We show that there is a well-defined restriction, conjugation and transfer map in symmetric cohomology, which…

We define an equivariant $K_0$-theory for \textit{Yetter-Drinfeld} algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a…

We define a multiplicative version of vertex coalgebras and show that various equivariant K-theoretic constructions of Hall algebras (KHAs) also admit a compatible multiplicative vertex coalgebra structure. In particular, this is true of…