“Karoubi envelope”的意思、由来-开放百科全书

词条

Karoubi envelope

释义

Automorphisms in the Karoubi envelope
Examples
References

In mathematics the Karoubi envelope (or Cauchy completion or idempotent completion) of a category C is a classification of the idempotents of C, by means of an auxiliary category. Taking the Karoubi envelope of a preadditive category gives a pseudo-abelian category, hence the construction is sometimes called the pseudo-abelian completion. It is named for the French mathematician Max Karoubi.

Given a category C, an idempotent of C is an endomorphism

with

.

An idempotent e: A → A is said to split if there is an object B and morphisms f: A → B,

g : B → A such that e = g f and 1_B = f g.

The Karoubi envelope of C, sometimes written Split(C), is the category whose objects are pairs of the form (A, e) where A is an object of C and is an idempotent of C, and whose morphisms are the triples

where is a morphism of C satisfying (or equivalently ).

Composition in Split(C) is as in C, but the identity morphism

on in Split(C) is , rather than

the identity on .

The category C embeds fully and faithfully in Split(C). In Split(C) every idempotent splits, and Split(C) is the universal category with this property.

The Karoubi envelope of a category C can therefore be considered as the "completion" of C which splits idempotents.

The Karoubi envelope of a category C can equivalently be defined as the full subcategory of (the presheaves over C) of retracts of representable functors. The category of presheaves on C is equivalent to the category of presheaves on Split(C).

Automorphisms in the Karoubi envelope

An automorphism in Split(C) is of the form , with inverse satisfying:

If the first equation is relaxed to just have , then f is a partial automorphism (with inverse g). A (partial) involution in Split(C) is a self-inverse (partial) automorphism.

Examples

If C has products, then given an isomorphism the mapping , composed with the canonical map of symmetry, is a partial involution.
If C is a triangulated category, the Karoubi envelope Split(C) can be endowed with the structure of a triangulated category such that the canonical functor C → Split(C) becomes a triangulated functor.^[1]
The Karoubi envelope is used in the construction of several categories of motives.
The Karoubi envelope construction takes semi-adjunctions to adjunctions.^[2] For this reason the Karoubi envelope is used in the study of models of the untyped lambda calculus. The Karoubi envelope of an extensional lambda model (a monoid, considered as a category) is cartesian closed.^[3]^[4]
The category of projective modules over any ring is the Karoubi envelope of its full subcategory of free modules.
The category of vector bundles over any paracompact space is the Karoubi envelope of its full subcategory of trivial bundles. This is in fact a special case of the previous example by the Serre-Swan theorem and conversely this theorem can be proved by first proving both these facts, the observation that the global sections functor is an equivalence between trivial vector bundles over and projective modules over and then using the universal property of the Karoubi envelope.

References

1. ^{{Harvard citations| last1=Balmer | last2=Schlichting | year=2001 | nb=yes}}
2. ^{{cite journal | author = Susumu Hayashi | title = Adjunction of Semifunctors: Categorical Structures in Non-extensional Lambda Calculus | journal = Theoretical Computer Science | volume = 41 | pages = 95–104 | year = 1985 | doi=10.1016/0304-3975(85)90062-3}}
3. ^{{cite journal | author = C.P.J. Koymans | title = Models of the lambda calculus | journal = Information and Control | volume = 52 | pages = 306–332 | year = 1982 | doi=10.1016/s0019-9958(82)90796-3}}
4. ^{{cite conference | author= DS Scott | authorlink = Dana Scott | title = Relating theories of the lambda calculus | booktitle = To HB Curry: Essays in Combinatory Logic | year = 1980 }}

{{Citation | last1=Balmer | first1=Paul | last2=Schlichting | first2=Marco | title=Idempotent completion of triangulated categories | url=http://www.math.ucla.edu/~balmer/research/Pubfile/IdempCompl.pdf | year=2001 | journal=Journal of Algebra | issn=0021-8693 | volume=236 | issue=2 | pages=819–834 | doi=10.1006/jabr.2000.8529}}

1 : Category theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。