Related papers: Hyperdescent and \'etale K-theory
In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with…
We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the…
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…
We introduce the notion of (strong) subexponential growth for \'etale groupoids and study its basic properties. In particular, we show that the K-groups of the associated groupoid $L^p$-operator algebras are independent of $p \in…
In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on…
This article is the first of two where we investigate to what extent homotopy invariant, excisive and matrix stable homology theories help one distinguish between the Leavitt path algebras $L(E)$ and $L(F)$ of graphs $E$ and $F$ over a…
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.
Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…
We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…
It has long been known that a key ingredient for a sheaf representation of a universal algebra A consists in a distributive lattice of commuting congruences on A. The sheaf representations of universal algebras (over stably compact spaces)…
This paper provides a full controlled version of algebraic $K$-theory. This includes a rich array of assembly maps; the controlled assembly isomorphism theorem identifying the controlled group with homology; and the stability theorem…
We develop a comparison, base-change, and descent framework for the algebraic $K$-theory of non-commutative $n$-ary $\Gamma$-semirings. Working in the Quillen-exact (and Waldhausen) setting of bi-finite, slot-sensitive $\Gamma$-modules and…
We generalize several comparison results between algebraic, semi-topological and topological K-theories to the equivariant case with respect to a finite group.
We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce…
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…
We study a category of semiinfinite sheaves on the affine flag variety of a connected reductive algebraic group, with coefficients in a field of arbitrary characteristic, generalizing some results of Gaitsgory and showing that this category…
Let $K[HK_{\Theta}]$ denote the Hecke-Kiselman algebra of a finite oriented graph $\Theta$ over an algebraically closed field $K$. All irreducible representations, and the corresponding maximal ideals of $K[HK_{\Theta}]$, are characterized…
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…
In this thesis, we give a definition of topological K-theory of Kontsevich's noncommutative spaces (ie dg-categories) defined over the complex. The main motivation comes from noncommutative Hodge structures in the sense of…