Related papers: Higher K-theory of polynomial categories

We introduce the notion of a homotopy of product systems, and show that the Cuntz-Nica-Pimsner algebras of homotopic product systems over N^k have isomorphic K-theory. As an application, we give a new proof that the K-theory of a 2-graph…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

This paper continues the author's program to investigate the question of when a homotopy of 2-cocycles $\Omega = \{\omega_t\}_{t \in [0,1]}$ on a locally compact Hausdorff groupoid $\mathcal{G}$ induces an isomorphism of the $K$-theory…

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…

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…

We establish a version of Kn\"{o}rrer's Periodicity Theorem in the context of noncommutative invariant theory. Namely, let $A$ be a left noetherian AS-regular algebra, let $f$ be a normal and regular element of $A$ of positive degree, and…

It is shown that the K-theory of every noetherian base scheme of finite Krull dimension is represented by a strict ring object in the setting of motivic stable homotopy theory. The adjective `strict' is used to distinguish between the type…

We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for…

There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result…

We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…

We present a method for computing $\mathbb{A}^1$-homotopy invariants of singularity categories of rings admitting suitable gradings. Using this we describe any such invariant, e.g. homotopy K-theory, for the stable categories of…

Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth of topological information about $A$. However, the homotopy type of $UA$ is out of reach even for $A = M_2(\CC)$. There are two simplifications which have been…

In this paper we study the "holomorphic K-theory" of a projective variety, which is defined in terms of the homotopy type of spaces of holomorphic maps from the variety to Grassmannians and loop groups. This theory was introduced by Lawson,…

Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times…

The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…

Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…

Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the…

We show that algebraizability of the functors $R^1\pi_*\mathcal{K}^M_{2,X}$ and $R^2\pi_*\mathcal{K}^M_{2,X}$ is a stable birational invariant for smooth and proper varieties $\pi:X\rightarrow k$ defined over an algebraic extension $k$ of…