Related papers: Smooth functions on algebraic K-theory
The purpose of this paper is to present a mathematical theory of the half-twisted $(0,2)$ gauged linear sigma model and its correlation functions that agrees with and extends results from physics. The theory is associated to a smooth…
When the index bundle of a longitudinal Dirac type operator is transversely smooth, we define its Chern character in Haefliger cohomology and relate it to the Chern character of the $K-$theory index. This result gives a concrete connection…
We study the operational bivariant theory associated to the covariant theory of Grothendieck groups of coherent sheaves, and prove that it has many geometric properties analogous to those of operational Chow theory. This operational…
A version of smooth K-theory is constructed, which is adapted to the total Chern class instead of the Chern character (contrarily to previous theories). Some total Chern class morphism from this K-theory to Cheeger-Simons differential…
For a smooth quasi-projective scheme $X$ over a field $k$ with an action of a reductive group, we establish a spectral sequence connecting the equivariant and the ordinary higher Chow groups of $X$. For $X$ smooth and projective, we show…
We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…
In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…
In this paper, we study K-theory of spectral schemes by using locally free sheaves. Let us regard the K-theory as a functor K on affine spectral schemes. Then, we prove that the group completion $\Omega B^{\mathcal{G}}(B^{\mathcal{G}}GL)$…
We prove in this paper that the periodic cyclic homology of the quantized algebras of functions on coadjoint orbits of connected and simply connected Lie group, are isomorphic to the periodic cyclic homology of the quantized algebras of…
We consider a smooth groupoid of the form \Sigma\rtimes\Gamma where \Sigma is a Riemann surface and \Gamma a discrete pseudogroup acting on \Sigma by local conformal diffeomorphisms. After defining a K-cycle on the crossed product…
Let S be a Dedekind scheme with field of functions K. We show that if X_K is a smooth connected proper curve of positive genus over K, then it admits a N\'eron model over S, i.e., a smooth separated model of finite type satisfying the usual…
We extend the theorem of Hausel and the author from arXiv:2212.11836 that relates equivariant cohomology rings and algebras of functions on zero schemes. This paper combines three separate results. We prove that for a reductive group G…
In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the…
We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…
Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.
Let $K$ be a finite field of characteristic $p$. We study a certain class of functions $K\rightarrow K$ that agree with an $\mathbb{F}_p$-affine function $K\rightarrow K$ on each coset of a given additive subgroup $W$ of $K$ - we call them…
We consider the rigid monoidal category of character sheaves on a smooth commutative group scheme $G$ over a finite field $k$ and expand the scope of the function-sheaf dictionary from connected commutative algebraic groups to this setting.…
By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising…