Center (category theory)

Last updated February 24, 2023

In category theory, a branch of mathematics, the center (or Drinfeld center, after Soviet-American mathematician Vladimir Drinfeld) is a variant of the notion of the center of a monoid, group, or ring to a category.

Definition

The center of a monoidal category ${\mathcal {C}}=({\mathcal {C}},\otimes ,I)$ , denoted ${\mathcal {Z(C)}}$ , is the category whose objects are pairs (A,u) consisting of an object A of ${\mathcal {C}}$ and an isomorphism $u_{X}:A\otimes X\rightarrow X\otimes A$ which is natural in $X$ satisfying

u_{X\otimes Y}=(1\otimes u_{Y})(u_{X}\otimes 1)

and

u_{I}=1_{A}

(this is actually a consequence of the first axiom).^[1]

An arrow from (A,u) to (B,v) in ${\mathcal {Z(C)}}$ consists of an arrow $f:A\rightarrow B$ in ${\mathcal {C}}$ such that

v_{X}(f\otimes 1_{X})=(1_{X}\otimes f)u_{X}

.

This definition of the center appears in Joyal & Street (1991). Equivalently, the center may be defined as

{\mathcal {Z}}({\mathcal {C}})=\mathrm {End} _{{\mathcal {C}}\otimes {\mathcal {C}}^{op}}({\mathcal {C}}),

i.e., the endofunctors of C which are compatible with the left and right action of C on itself given by the tensor product.

Braiding

The category ${\mathcal {Z(C)}}$ becomes a braided monoidal category with the tensor product on objects defined as

(A,u)\otimes (B,v)=(A\otimes B,w)

where $w_{X}=(u_{X}\otimes 1)(1\otimes v_{X})$ , and the obvious braiding.

Higher categorical version

The categorical center is particularly useful in the context of higher categories. This is illustrated by the following example: the center of the (abelian) category $\mathrm {Mod} _{R}$ of R-modules, for a commutative ring R, is $\mathrm {Mod} _{R}$ again. The center of a monoidal ∞-category C can be defined, analogously to the above, as

Z({\mathcal {C}}):=\mathrm {End} _{{\mathcal {C}}\otimes {\mathcal {C}}^{op}}({\mathcal {C}})

.

Now, in contrast to the above, the center of the derived category of R-modules (regarded as an ∞-category) is given by the derived category of modules over the cochain complex encoding the Hochschild cohomology, a complex whose degree 0 term is R (as in the abelian situation above), but includes higher terms such as $Hom(R,R)$ (derived Hom).^[2]

The notion of a center in this generality is developed by Lurie (2017 , §5.3.1). Extending the above-mentioned braiding on the center of an ordinary monoidal category, the center of a monoidal ∞-category becomes an $E_{2}$ -monoidal category. More generally, the center of a $E_{k}$ -monoidal category is an algebra object in $E_{k}$ -monoidal categories and therefore, by Dunn additivity, an $E_{k+1}$ -monoidal category.

Examples

Hinich (2007) has shown that the Drinfeld center of the category of sheaves on an orbifold X is the category of sheaves on the inertia orbifold of X. For X being the classifying space of a finite group G, the inertia orbifold is the stack quotient G/G, where G acts on itself by conjugation. For this special case, Hinich's result specializes to the assertion that the center of the category of G-representations (with respect to some ground field k) is equivalent to the category consisting of G-graded k-vector spaces, i.e., objects of the form

\bigoplus _{g\in G}V_{g}

for some k-vector spaces, together with G-equivariant morphisms, where G acts on itself by conjugation.

In the same vein, Ben-Zvi, Francis & Nadler (2010) have shown that Drinfeld center of the derived category of quasi-coherent sheaves on a perfect stack X is the derived category of sheaves on the loop stack of X.

Related notions

Centers of monoid objects

The center of a monoid and the Drinfeld center of a monoidal category are both instances of the following more general concept. Given a monoidal category C and a monoid object A in C, the center of A is defined as

Z(A)=End_{A\otimes A^{op}}(A).

For C being the category of sets (with the usual cartesian product), a monoid object is simply a monoid, and Z(A) is the center of the monoid. Similarly, if C is the category of abelian groups, monoid objects are rings, and the above recovers the center of a ring. Finally, if C is the category of categories, with the product as the monoidal operation, monoid objects in C are monoidal categories, and the above recovers the Drinfeld center.

Categorical trace

The categorical trace of a monoidal category (or monoidal ∞-category) is defined as

Tr(C):=C\otimes _{C\otimes C^{op}}C.

The concept is being widely applied, for example in Zhu (2018).

Related Research Articles

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In mathematics, a monoidal category is a category $equipped with a bifunctor$

In mathematics, certain functors may be derived to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics.

In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in the sense that many of the relationships between left and right modules become simpler when they are expressed in terms of bimodules.

In mathematics, especially in category theory, a closed monoidal category is a category that is both a monoidal category and a closed category in such a way that the structures are compatible.

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid $M$ is a certain abelian group. This abelian group is constructed from $M$ in the most universal way, in the sense that any abelian group containing a homomorphic image of $M$ will also contain a homomorphic image of the Grothendieck group of $M$ . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

In mathematics, a super vector space is a -graded vector space, that is, a vector space over a field $with a given decomposition of subspaces of grade and grade . The study of super vector spaces and their generalizations is sometimes called super linear algebra . These objects find their principal application in theoretical physics where they are used to describe the various algebraic aspects of supersymmetry.$

In mathematics, a *-autonomous category C is a symmetric monoidal closed category equipped with a dualizing object $. The concept is also referred to as Grothendieck—Verdier category in view of its relation to the notion of Verdier duality.$

In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a natural transformation and a morphism that preserve monoidal multiplication and unit, respectively. Mathematicians require these coherence maps to satisfy additional properties depending on how strictly they want to preserve the monoidal structure; each of these properties gives rise to a slightly different definition of monoidal functors

In category theory, a branch of mathematics, a PROP is a symmetric strict monoidal category whose objects are the natural numbers n identified with the finite sets $and whose tensor product is given on objects by the addition on numbers. Because of “symmetric”, for each n, the symmetric group on n letters is given as a subgroup of the automorphism group of n . The name PROP is an abbreviation of "PROduct and Permutation category".$

In algebraic geometry, a Fourier–Mukai transformΦ_K is a functor between derived categories of coherent sheaves D(X) → D(Y) for schemes X and Y, which is, in a sense, an integral transform along a kernel object K ∈ D(X×Y). Most natural functors, including basic ones like pushforwards and pullbacks, are of this type.

In mathematics a Yetter–Drinfeld category is a special type of braided monoidal category. It consists of modules over a Hopf algebra which satisfy some additional axioms.

In mathematics, a Grothendieck category is a certain kind of abelian category, introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962.

In algebra, the Nichols algebra of a braided vector space is a braided Hopf algebra which is denoted by $and named after the mathematician Warren Nichols. It takes the role of quantum Borel part of a pointed Hopf algebra such as a quantum groups and their well known finite-dimensional truncations. Nichols algebras can immediately be used to write down new such quantum groups by using the Radford biproduct.$

Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras, simplicial commutative rings or $-ring spectra$ from algebraic topology, whose higher homotopy groups account for the non-discreteness of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory of singular algebraic varieties and cotangent complexes in deformation theory, among the other applications.

In mathematics, a sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the restriction maps F(U) → F(V) are compatible with the restriction maps O(U) → O(V): the restriction of fs is the restriction of f times that of s for any f in O(U) and s in F(U).

In mathematics, the base change theorems relate the direct image and the inverse image of sheaves. More precisely, they are about the base change map, given by the following natural transformation of sheaves:

In mathematics, compact objects, also referred to as finitely presented objects, or objects of finite presentation, are objects in a category satisfying a certain finiteness condition.

In mathematics, derived noncommutative algebraic geometry, the derived version of noncommutative algebraic geometry, is the geometric study of derived categories and related constructions of triangulated categories using categorical tools. Some basic examples include the bounded derived category of coherent sheaves on a smooth variety, $, called its derived category, or the derived category of perfect complexes on an algebraic variety, denoted . For instance, the derived category of coherent sheaves on a smooth projective variety can be used as an invariant of the underlying variety for many cases. Unfortunately, studying derived categories as geometric objects of themselves does not have a standardized name.$

References

↑ Majid 1991.
↑ Ben-Zvi, Francis & Nadler (2010 , Remark 1.5)

Ben-Zvi, David; Francis, John; Nadler, David (2010), "Integral transforms and Drinfeld centers in derived algebraic geometry", Journal of the American Mathematical Society, 23 (4): 909–966, arXiv: 0805.0157 , doi:10.1090/S0894-0347-10-00669-7, MR 2669705, S2CID 2202294
Hinich, Vladimir (2007), "Drinfeld double for orbifolds", Israel mathematical conference proceedings. Quantum groups. Proceedings of a conference in memory of Joseph Donin, Haifa, Israel, July 5--12, 2004, AMS, pp. 251–265, arXiv: math/0511476 , ISBN 978-0-8218-3713-9, Zbl 1142.18004
Joyal, André; Street, Ross (1991), "Tortile Yang-Baxter operators in tensor categories", Journal of Pure and Applied Algebra , 71 (1): 43–51, doi: 10.1016/0022-4049(91)90039-5 , MR 1107651 .
Lurie, Jacob (2017), Higher Algebra
Majid, Shahn (1991). "Representations, duals and quantum doubles of monoidal categories". Proceedings of the Winter School on Geometry and Physics (Srní, 1990). Rendiconti del Circolo Matematico di Palermo. Serie II. Supplemento. No. 26. pp. 197–206. hdl:10338.dmlcz/701494. MR 1151906.
Zhu, Xinwen (2018). "Geometric Satake, categorical traces, and arithmetic of Shimura varieties". Current Developments in Mathematics. 2016: 145–206. arXiv: 1810.07375 . doi:10.4310/CDM.2016.v2016.n1.a4. ISBN 9781571463586. MR 3837875. OCLC 1038481072. S2CID 119589446.

External links

Drinfeld center at the nLab

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[FOOTNOTEMajid1991-1] Majid 1991.

[2] Ben-Zvi, Francis & Nadler (2010 , Remark 1.5)

[1]

[2]