Related papers: The Invariance and the General CCT Theorems

In previous works, we studied intersection homotopy groups associated to a Goresky and MacPherson perversity and a filtered space. They are defined as the homotopy groups of simplicial sets introduced by P. Gajer. We particularized to…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms…

Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…

We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we…

A wide generalization of the classical theorem of A. Grothendieck asserting that for any faithfully flat extension of commutative rings, the corresponding relative Picard group and the Amitsur 1-cohomology group with values in the…

The contributions of this paper are twofold. Within the framework of Grothendieck's fibrational category theory, we present a web of fundamental 2-adjunctions surrounding the formation of the category of all small diagrams in a given…

We show that, for a right exact functor from an abelian category to abelian groups, Yoneda's isomorphism commutes with homology and, hence, with functor derivation. Then we extend this result to semiabelian domains. An interpretation in…

Given an abelian category and a stability condition satisfying appropriate conditions, we define generalized $K$-theoretic invariants and prove that they satisfy wall-crossing formulas. For this, we introduce a new associative algebra…

B\"ohm and \c{S}tefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^\chi_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $\chi$…

We prove the (generalized) coherence conjecture of Pappas and Rapoport. As a corollary, one theorem of Pappas an Rapoport, which describes the geometry of the special fibers of the local models for ramified unitary groups, holds…

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V…

Weibel proved that $p$-inverted K-theory is $\mathbb{A}^1$-invariant on $\mathbb{F}_p$-schemes and K-theory with $\mathbb{Z}/p$-coefficients is $\mathbb{A}^1$-invariant on $\mathbb{Z}[\frac{1}{p}]$-schemes. We extend this result to all…

Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a…

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…

For a natural class of cohomology theories with support (including \'etale or pro-\'etale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit…

Let $k$ be a regular ring, and let $A,B$ be essentially finite type $k$-algebras. For any functor $F:{D}(A)\times\dots\times{D}(A)\to{D}(B)$ between their derived categories, we define its twist…

We synthesize work of U. Koschorke on link maps and work of B. Johnson on the derivatives of the identity functor in homotopy theory. The result can be viewed in two ways: (1) As a generalization of Koschorke's "higher Hopf invariants",…

A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily…

We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…