Related papers: The Invariance and the General CCT Theorems

Let $X$ be a smooth projective variety acted on by a reductive group $G$. Let $L$ be a positive $G$-equivariant line bundle over $X$. We use the Witten deformation of the Dolbeault complex of $L$ to show, that the cohomology of the sheaf of…

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…

The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…

We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr…

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…

For a finitely aligned k-graph $\Lambda$ with X a set of vertices in $\Lambda$ we define a universal C*-algebra called $C^*(\Lambda,X)$ generated by partial isometries. We show that $C^*(\Lambda,X)$ is isomorphic to the corner…

We prove that every functor defined on dg categories, which is derived Morita invariant, localizing, and A^1-homotopy invariant, satisfies the fundamental theorem. As an application, we recover in a unified and conceptual way, Weibel and…

Watts's Theorem says that a right exact functor F:Mod R-->Mod S that commutes with direct sums is isomorphic to -\otimes_R B where B is the R-S-bimodule FR. The main result in this paper is the following: if A is a cocomplete abelian…

We relate the variance theory for Cousin complexes -^# developed by Lipman, Nayak and the author to Grothendieck duality for Cousin complexes. Specifically for a Cousin complex F on (Y, \Delta)--with \Delta a codimension function on a…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via…

Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…

In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories…

We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…

Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…

We prove that AF-embeddability is a homotopy invariant in the class of separable exact $C^*$-algebras. This work was inspired by Spielberg's work on homotopy invariance of AF-embeddability and Dadarlat's serial works on AF-embeddability of…

Given a homological epimorphism $\pi:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity…

The universal Vassiliev-Kontsevich invariant is a functor from the category of tangles to a certain graded category of chord diagrams, compatible with the Vassiliev filtration and whose associated graded is an isomorphism. The Vassiliev…

In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules…

To a pair $(A,s)$ consisting of a smooth, cyclic $A_\infty$-algebra $A$ and a splitting $s$ of the Hodge filtration on its Hochschild homology Costello (2005) associates an invariant which conjecturally generalizes the total descendant…