nLab
Q-category

Context

Topos Theory

Idea
Motivation
Definition
Examples
$𝔸$ -Sheaves
Examples
- Formal smoothness and ${Alg}_{k}^{\inf}$ -sheaves
Relation to other concepts
- Relation to cohesive toposes
- Sheafification versus the Gabriel localization $G_{ℱ} = H_{ℱ}^{2}$
References

Idea

A $Q$ -category is nothing but a coreflective subcategory and a $Q^{\circ}$ -category is nothing but a reflective subcategory. Since both of these encode reflective localizations, following Rosenberg the “Q” is for quotient and is to indicate that in this context one is interested in notions similar to, but different from, the standard notion of sheaves:

for $ℂ : = (C \overset{\overset{L}{\leftarrow}}{\underset{R}{↪}} \bar{C})$ a $Q^{\circ}$ -category there is canonically induced a quadruple of adjoint functors between the corresponding presheaf categories

PSh (\bar{A}) \overset{\overset{u_{!}}{\to}}{\overset{}{\overset{\overset{u^{*}}{\leftarrow}}{\overset{\overset{u_{*}}{\to}}{\underset{u^{!}}{\leftarrow}}}}} PSh (A)

and a presheaf $F \in PSh (A)$ is called an $𝔸$ -sheaf if the canonical morphism

u^{*} F \to u^{!} F

is an isomorphism in $PSh (\bar{A})$ . More generally, there are generalizations of this condition where presheaves of sets can be replaced with presheaves with values in other categories, notably in abelian categories.

In a central motivating class of examples $\bar{C}$ is a category of sieves on objects in a small category $C$ that are regarded as being covering but which do not necessarily satisfy the axioms of a Grothendieck topology and not even of a coverage.

Motivation

The Yoneda embedding is continuous but not cocontinuous functor. Hence the Grothendieck topologies are used to define smaller image than the category of presheaves such that for that embedding some covering cones will stay covering cones. In one case the cones correspond to the Grothendieck topology but more general families of diagrams may be involved. The important properties of categories of diagrams for doing the sheaf theory can be expressed in terms of certain adjoint pairs of functors. As one application this generalization of sheaf theory can also rephrase categorically properties like formal smoothness and formal etaleness of functors, and as another puts the sheafification in a framework for which another special case is a construction of the Gabriel-type noncommutative localization.

Definition

An almost quotient category, or a $Q$ -category is

a pair of adjoint functors

$𝔸 : (u^{*} ⊣ u_{*}) : \bar{A} \overset{\overset{u^{*}}{\leftarrow}}{\underset{u_{*}}{\to}} A,$ \mathbb{A} : (u^* \dashv u_*) : \bar A \stackrel{\overset{u^*}{\leftarrow}}{\underset{u_*}{\to}} A \,,

with $u^{*}$ the left adjoint;
such that $u^{*}$ is full and faithful

In other words, $A$ is equipped with an equivalence with a coreflective subcategory of $\bar{A}$ .

Note

In motivating classes of examples $\bar{A}$ and $A$ are toposes and $𝔸$ is a geometric morphism between them. Therefore one generally speaks of $u_{*}$ as the direct image and of $u^{*}$ as the inverse image of the Q-category.
The definition 1 is nothing but the definition of a coreflective subcategory. However the term $Q$ -category is used when the pair is used in a specific meaning useful to constructions in (generalized) sheaf theory (similarly like presheaf of objects in $D$ and contravariant functor to $D$ are synonyms, but a different word refers to a different context and intuition).
One sometimes write the above data as $\bar{A} \overset{\overset{u}{\leftarrow}}{\to} A$ .

Definition

A morphism of Q-categories from $𝔸 : (u^{*} ⊣ u_{*}) : \bar{A} \overset{\overset{u^{*}}{\leftarrow}}{\underset{u_{*}}{\to}} A$ to $𝔹 : (v^{*} ⊣ v_{*}) : \bar{B} \overset{\overset{v^{*}}{\leftarrow}}{\underset{v_{*}}{\to}} B$ is a triple $(Φ, \bar{Φ}, ϕ)$ where $Φ : A \to B$ , $\bar{Φ} : \bar{A} \to \bar{B}$ are functors and $ϕ : Φ u_{*} \Rightarrow v_{*} \bar{Φ}$ is a natural isomorphism of functors. The composition is given by

(Φ, \bar{Φ}, ϕ) \circ (Φ', \bar{Φ}', ϕ') = (Φ' Φ, \bar{Φ} \bar{Φ}, \bar{Φ}' ϕ \circ ϕ' Φ)

A transformation of morphisms of Q-categories is a pair $(α, \bar{α}) : (Φ, \bar{Φ}, ϕ) \to (Ψ, \bar{Psi}, ψ)$ of natural transformations $α : Φ \to Ψ$ and $\bar{α} : \bar{Φ} \to \bar{Ψ}$ such that the diagram

\begin{matrix} Φ u_{*} & \overset{ϕ}{⟶} & v_{*} \bar{Ψ} \\ α u_{*} ↓ & ↓ v_{*} \bar{α} \\ Ψ u_{*} & \overset{ψ}{⟶} & v_{*} \bar{Ψ} \end{matrix}

commutes.

Small Q-categories, morphisms of Q-categories and natural transformations of morphisms form a 2-category of small Q-categories.

Definition

A $Q^{\circ}$ -category is a pair of functors $Q : A \leftrightarrow \bar{A} : I$ , where $Q$ is fully faithful and right adjoint to $I$ . In other words, $A$ is equipped with an equivalence with a reflective subcategory of $\bar{A}$ .

Examples

(Co)Presheaves on a $Q$ -category

The category of presheaves over any $Q$ -category canonically inherits itself the structure of a Q-category.

Proposition

Let $𝔸 = \bar{A} \overset{\overset{L}{\leftarrow}}{\underset{R}{\to}} A$ be a $Q$ -category. Let $C$ be any category.

Then forming copresheaves with values in $C$ yields a Q-category of the form

[𝔸, C] : [\bar{A}, C] \overset{\overset{C^{R} = (-) \circ R}{\leftarrow}}{\underset{C^{L} = (-) \circ L}{\to}} [A, C] .

Proof

The $(C^{R} ⊣ C^{L})$ -unit is $C^{η}$ induced by the original unit $η : 1_{A} \to R L$

C^{η} : {Id}_{C^{A}} \to C^{L} \circ C^{R} = C^{R L}

and the counit $C^{ϵ}$ is induced by the original counit $ϵ : L R \to 1_{\bar{A}}$

C^{ϵ} : C^{R} \circ C^{L} = C^{L R} \to {Id}_{C^{\bar{A}}} .

The only thing is who is adjoint – now $C^{R}$ is the left adjoint.

The triangle identities for $C^{R} ⊣ C^{L}$ can be obtained by expanding. For $R : \bar{A} \to A$ , one has $C^{R} : C^{A} \to C^{\bar{A}}$ is given by $C^{R} : G \mapsto GR$ , and for $L : A \to \bar{A}$ one has $C^{L} : F \mapsto F L$ . Then $C^{η} : {Id}_{C^{A}} \to C^{R} C^{L} = C^{LR}$ has the components $(C^{η})_{G} : ({Id}_{C^{A}}) (G) \Rightarrow C^{R} C^{L} (G)$ given by $G η : G \to G L R$ . Thus for each functor $G \in C^{\bar{A}}$ , the composition

G R \overset{G η R}{⟶} G R L R \overset{G R η}{⟶} G R

is the identity by the triangle identity for $L ⊣ R$ , but this is precisely the $G$ -component of the transformation

C^{R} \overset{C^{R} C^{η}}{⟶} C^{R} C^{L} C^{R} \overset{C^{ϵ} C^{R}}{⟶} C^{R} .

Similarly the $F$ -component of

C^{L} \overset{C^{η} C^{L}}{⟶} C^{L} C^{R} C^{L} \overset{C^{L} C^{ϵ}}{⟶} C^{L},

for a functor $F \in C^{A}$ reads

F L \overset{F L η}{⟶} F L R L \overset{F ϵ L}{⟶} F L

and this composition equals ${Id}_{F L}$ by another triangle identity for $L ⊣ R$ .

It is clear that if $η$ is iso then the composition with $η$ is also iso. Thus we obtain a $Q$ -categories.

In other words, since the left adjoint being a full and faithful functor is equivalent to the unit of the adjunction being an isomorphism, it follows from $L$ being full and faithful that $C^{R}$ is full and faithful.

This appears as (Kontsevich-Rosenberg, 2.7).

Note

Assume in the context of prop. 1 that

$A$ and $\bar{A}$ are small categories;
$C$ has all small limits and colimits (for instance $C$ = Set).

Then there is an adjoint quadruple

(u_{!} ⊣ u^{*} ⊣ u_{*} ⊣ u^{!}) : [\bar{A}, C] \overset{\overset{u_{!} = Lan R}{\to}}{\overset{\overset{u^{*} = C^{R}}{\leftarrow}}{\overset{\overset{u_{*} = C^{L}}{\to}}{\underset{u^{!} = Ran L}{\leftarrow}}}} [A, C],

where $Lan R$ denotes the left Kan extension along $R$ and $Ran L$ the right Kan extension along $L$ .

Proof

By general properties of Kan extensions.

Proposition

Any subcategory $B \subset C^{\bar{A}}$ containing $Im (C^{R})$ determines a Q-subcategory $C^{A} \leftrightarrow B$ .

Domain and codomain fibration

Proposition

For any category $A$ , write $\bar{A} : = A^{I}$ for its arrow category. This comes equipped with the codomain fibration $cod : \bar{A} \to A$ and the domain cofibration $dom : \bar{A} \to A$ . Both have a joint section $ϵ : A \to \bar{A}$ by a full and faithful functor that assigns identity morphisms. These form a triple of adjoint functors

(codom ⊣ ϵ ⊣ dom) : A^{I} \overset{\overset{codom}{\to}}{\overset{\overset{ϵ}{\leftarrow}}{\underset{dom}{\to}}} A .

Taking this apart, we have that

A^{dom} : A^{I} \overset{\overset{ϵ}{\leftarrow}}{\underset{dom}{\to}} A

is a $Q$ -category and

A^{dom} : A^{I} \overset{\overset{cod}{\to}}{\underset{ϵ}{\leftarrow}} A

is a $Q^{o}$ -category.

This appears as (Kontsevich-Rosenberg, 2.5).

Several classes of examples of Q-categories of interest arise as sub-Q-categories of those of this form. For instance the Q-categories of infinitesimal thickenings below.

Note

Passing to copresheaf Q-categories as in prop. 1 we have the Q-category

[A^{I}, Set] \overset{\overset{u^{*} = (-) \circ dom}{\leftarrow}}{\overset{\overset{u_{*} = (-) \circ ϵ}{\to}}{\overset{u^{!} = (-) \circ codom}{\leftarrow}}} [A, Set]

where the extra right adjoint is given by precomposition with the domain evaluation.

Q-category of cones

Let $C$ be a category and $LC$ be the category whose objects are cones $α : x \to d$ over (small) diagrams $d : D \to C$ where $D$ are variable small categories; and the morphisms from $x \overset{α}{\to} d$ to $x' \overset{α'}{\to} d'$ are triples of the form $(f, ρ, \bar{f})$ where $f : x \to x'$ is a morphism in $C$ , $ρ : D \to D'$ is a diagram (= functor), and $\bar{f} : d \circ ρ \to d'$ is a morphism of diagrams (= natural transformation) such that

\begin{matrix} x & \overset{f}{\to} & x' \\ α ⋆ ρ ↓ & ↓ α' \\ d \circ ρ & \overset{\bar{f}}{\to} & d' \end{matrix}

commutes and $α ⋆ ρ$ denotes the horizontal (= Godement) composition of natural transformations.

Then one defines composition of morphisms by the formula

(f_{1}, ρ_{1}, \bar{f_{1}}) \circ (f_{2}, ρ_{2}, \bar{f_{2}}) \overset{def}{=} (f_{1} \circ f_{2}, \bar{f_{1}} ρ_{2} \circ ρ_{1} f_{2}, \bar{f_{1}} \circ \bar{f_{2}}) .

There is a fully faithful functor $Q_{C} : C \to LC$ that to any $x \in C$ assigns the trivial cone ${id}_{x} : x \to x$ and to any morphism the corresponding morphism of trivial cones. Its right adjoint is the morphism $I_{C} : LC \to C$ defined by sending the cone $α : x \to d$ over a diagram $d : D \to C$ its vertex $x$ and to a cone morphism $(f, ρ, \bar{f})$ , the morphism of vertices $f$ . Then $I_{C} \circ Q_{C} = {Id}_{C}$ . The identity transformation can be thus taken as the unit of the adjunction. The counit of the adjunction $ϵ : Q_{C} \circ I_{C} \to {Id}_{LC}$ is constructed as follows: to a cone $α : x \to d$ assign the morphism $(1_{x}, const, α)$ where $const : D \to C$ is the constant diagram which is the unique diagram from $D = dom (d)$ to the final category $1 = {⋆}$ . One can check that these data indeed define an adjoint pair $Q_{C} ⊣ I_{C}$ of functors. $Q_{C} : C \leftrightarrow I_{C} : LC$ is therefore a Q-category, and it is called the Q-category of cones.

If $ℒ \subset Cat$ is a family of small categories, then one considers the full subcategory $L_{ℒ} C$ of cones whose domains are in $ℒ$ ; the rest of the construction restricts to obtain a Q-category $Q_{C}^{ℒ} : C \leftrightarrow L_{ℒ} C : I_{C}^{ℒ}$ .

The most classical case is when $ℒ$ is the (say skeletal) category $Dis$ of small discrete categories (=just identity morphisms), one obtains then the Q-category $Q_{C}^{Dis} : C \leftrightarrow L_{Dis} C$ . A semicosite (or semicositus pl. semicositi) is a Q-category of the form $C \leftrightarrow \bar{C}$ where $\bar{C}$ is a full subcategory of $L_{Dis} C$ and the adjoint pair is obtained by the restriction. A semicosite is a precosite (=Grothendieck precotopology) if

(i) ${id}_{x} \in Ob (\bar{C})$ whenever $x \in Ob (C)$ .

(ii) ${x \overset{ϕ_{i}}{\to} x_{i}}_{i \in I} \in Ob (\bar{C})$ and ${x_{i} \overset{ϕ_{ij}}{\to} x_{ij}}_{j \in J_{i}} \in Ob (\bar{C})$ then ${x \overset{ϕ_{ij} \circ ϕ_{i}}{\to} x_{ij}} \in Ob (\bar{A})$

(iii) ${x \to x_{i}}_{i \in I} \in Ob (\bar{C})$ and $g \in C (x, y)$ , then the family of pushouts ${y \mapsto x_{i} ∐_{x} y}_{i \in I}$ exists and belongs to $Ob (\bar{C})$ .

An example of a cosite is a cosite of closed sets of a topological space.

Sieves

The $Q$ -category of sieves.

The $Q$ -subcategory of the $Q$ -category of (all) sieves corresponding to the subcategory of sieves corresponding to the Grothendieck topology…

(needs explanation)

The Q-category factoring a fully faithful factor

Any fully faithful functor among small categories $F : A \to B$ factors canonically into the composition $A \overset{u^{*}}{\to} \bar{A} ↪ B$ where $\bar{A} \subset B$ is the full subcategory of $B$ whose objects are all $b$ in $Ob B$ such that $a \mapsto B (F (a), b)$ is a representable functor $A^{op} \to Set$ , and $u^{*}$ is the corestriction of $F$ to $\bar{A}$ . This corestriction makes sense: $F$ is fully faithful, hence $B (F (a), F (a)) = B (a, a)$ , i.e. $F (a) \in \bar{A}$ for all $a$ in $Ob A$ . For each $b \in \bar{A}$ , define now $u_{*} (b)$ as the functor representing $B (F (-), b)$ , i.e. by $\bar{A} (u^{*} (a), b) = B (F (a), b) ≅ B (a, u_{*} (b))$ (KR NcSpaces A1.1.1). This relation on objects extends to an adjunction $u^{*} ⊣ u_{*}$ with $u^{*}$ fully faithful.

Quasi-(co)-sites

(…)

Definition

Let $A$ be a category and $𝒯$ a map that assigns to every object a collection of cosieves on that object (subfunctors of $A (x, -)$ ).

Write ${\bar{A}}_{𝒯}$ for the category whose objects are cosieves on $A$ , and whose morphisms are morphisms in $A$ that respect the corresponding cosieves. This yields a Q-category

{\bar{A}}_{𝒯} \overset{\leftarrow}{\to} A .

Call this a quasi-cosite if

for any two cosieves in $𝒯$ their intersection is also in $𝒯$ ;
for any cosive in $𝒯$ any cosieve containing it is also in $𝒯$ .

This is (KontsevichRosenberg, 2.2).

Definition

For any Q-category $𝔸$ , the quasi-cosite associated with $𝔸$ is the Q-category $𝒯 𝔸$ defined by…

The following is supposed to be the standard quasi-cosite for non-commutative geometry.

Definition

Let $k$ be a ring and $A : = {Alg}_{k}$ the category of associative algebras over $k$ . Let $\bar{A} \subset A^{I}$ be the full subcategory of the domain fibration whose objects are the faithfully flat morphisms, i.e. those morphisms $ϕ : R \to T$ in ${Alg}_{k}$ such that the induced

ϕ^{*} : R Mod \to T Mod

is an exact and full and faithful functor. This forms a Q-category.

Write $𝒯 {Alg}_{k}$ for the quasi-cosite associated with this Q-category by def. 7. This is the standard quasi-cosite for noncommutative geometry.

This is (KontsevichRosenberg, A.1.9.2).

Infinitesimal thickenings

Generally, infintiesimal thickenings are characterized by coreflective embeddings:

A characteristic property of an infinitesimally thickened point $D$ is that for any object $X$ without infinitesimal thickening, there are in general nontrivial morphisms $D \to X$ , but there is only a unique morphism $X \to D$ , reflecting the fact that $D$ has only a single global point. Thus if by $i : C \to \bar{C}$ we denote the inclusion of objects $X$ without infinitesimal thickening into the collection of possibly infinitesimally thickened objects, and by $p : \bar{C} \to C$ the projection that contracts away the infinitesimal extension, we have indeed an adjunction

\bar{C} (i (X), D) ≃ C (X, p (D)) ≃ C (X, *) ≃ * .

This general concept is described at infinitesimal neighbourhood site. See also the discussion below at Relation to cohesive toposes.

The following is one realization of this general concept.

Proposition

Let $k$ be a field and $A : = {CAlg}_{k}$ be the category of commutative associative algebras over $k$ .

Let $\bar{A} \subset A^{I}$ be the full subcategory of the codomain fibration Q-category from prop. 5 on those morphisms of commutative algebras which are epimorphisms and whose kernel is nilpotent. Then

{CAlg}_{k}^{\inf} = (ϵ ⊣ dom) : \bar{A} \overset{\overset{ϵ}{\leftarrow}}{\underset{dom}{\to}} A

is a Q-category.

The analogous statement is true with $A = {Alg}_{k}$ the category of all associative algebras, not necessarily commutative.

This appears as (Kontsevich-Rosenberg, 2.6).

Remark

Here we think of an algebra epimorphism $ϕ : B \to B$ with nilpotent kernel as the infinitesimal thickening of $Spec B$ by $Spec \ker ϕ$ to $Spec B$ .

The functor $ϵ$ builds the trivial (empty) infinitesimal thickenings

ϵ B : B \overset{{id}_{B}}{\to} B .

The functor $dom$ remembers the thickened algebra

dom (B \to B) = B .

But notice that we also have the codomain-functor, which is the functor that forgets the thickening

cod (B \to B) = B

and that the adjoint pair $(ϵ ⊣ dom)$ does extend to an adjoint triple

{CAlg}_{k}^{\inf} : \bar{A} \overset{\overset{cod}{\to}}{\overset{\overset{ϵ}{\leftarrow}}{\underset{dom}{\to}}} A .

In the discussion at Infinitesimal cohesion it is the pair $(cod ⊣ ϵ)$ that appears in the axiomatization, or rather its version on the opposite categories

(ϵ^{op} ⊣ {cod}^{op}) : {\bar{A}}^{op} \overset{\overset{ϵ^{op}}{\leftarrow}}{\underset{{cod}^{op}}{\to}} A^{op},

not the other adjoint pair $(ϵ ⊣ dom)$ used here.

This is the reason for the shift in adjoint triples that is mentioned in this remark over at infinitesimal cohesion .

$𝔸$ -Sheaves

We discuss the notion of a $𝔸$ -sheaves on a Q-category $𝔸$ .

Definition

Let $𝔸 = (\bar{A} \overset{\overset{u^{*}}{\leftarrow}}{\underset{u_{*}}{\to}} A)$ be a Q-category. An object $x \in A$ is called an $𝔸$ -sheaf if for all $y \in \bar{A}$ the canonical morphism

\bar{A} (y, u^{*} (x)) \to A (u_{*} (y), x)

is an isomorphism (in Set, hence a bijection).

This morphism is given by

g \mapsto η_{x}^{- 1} \circ u_{*} (g)

where $η_{x} : u_{*} u^{*} (x) \to x$ is the $x$ -component of the $(u^{*} ⊣ u_{*})$ -counit (which is an isomorphism because $u^{*}$ is a full and faithful functor).

This appears as (Kontsevich-Rosenberg, 3.1.1).

Proposition

Let $𝔸$ be a Q-category with an extra right adjoint $u^{!} : A \to \bar{A}$

𝔸 : \bar{A} \overset{\overset{u^{*}}{\leftarrow}}{\overset{\overset{u_{*}}{\to}}{\underset{u^{!}}{\leftarrow}}} A .

Then an object $x \in A$ is an $𝔸$ -sheaf in the sense of def. 9 precisely if the canonical morphism

(u^{*} (x) \to u^{!} (x)) : = u^{*} (X) \overset{}{\to} u^{!} u_{*} u^{*} (x) \overset{≃}{\to} u^{!} (x)

is an isomorphism in $\bar{A}$ . It is a monopresheaf precisely if this is a monomorphism.

This appears as (Kontsevich-Rosenberg, 3.1.3).

For more details on the canonical morphism appearing here see the section Adjoint quadruples at cohesive topos.

Proof

Using the $(u_{*} ⊣ u^{!})$ -adjunction-isomorphism we have that the canonical morphism from def. 9 is isomorphic to

ϕ : \bar{A} (y, u^{*} x) \to A (u_{*} y, x) \overset{≃}{\to} \bar{A} (y, u^{!} y),

for all $y \in \bar{A}$ , where the second map sends every morphism to its adjunct. Using the definition of the first morphism from def. 9 and the expression of adjuncts (as discussed there) by composition with (co)-units, we find that the composite map here sends any morphism

g : y \to u^{*} x

to the composite

\begin{matrix} y \\ ↓ \\ u^{!} u_{*} y & \overset{u^{!} u_{*} g}{\to} & u^{!} u_{*} u^{*} x \\ ↓ \\ u^{!} x \end{matrix} .

Using that adjunction units are natural transformations, we can complete this to a commuting diagram

\begin{matrix} y & \overset{g}{\to} & u^{*} x \\ ↓ & ↓ \\ u^{!} u_{*} y & \overset{u^{!} u_{*} g}{\to} & u^{!} u_{*} u^{*} x \\ ↓ \\ u^{!} x \end{matrix} .

This shows that $ϕ$ acts on any $g$ by postcomposition with the canonical morphism $u^{*} x \to u^{!} x$ . By the Yoneda lemma it follows that $ϕ$ is an isomorphism for all $y$ precisely if $u^{*} x \to u^{!}$ is an isomorphism.

Definition

Let $𝔸 = (u^{*} ⊣ u_{*} ⊣ u^{!}) : \bar{A} \to A$ be a Q-category with an extra right adjoint as in prop. 3.

We say

an object $x \in A$ is $𝔸$ -monopresheaf if $u^{*} x \to u^{!} x$ is a monomorphism in $\bar{A}$ .
an object $x \in A$ is $𝔸$ -epipresheaf if $u^{*} x \to u^{!} x$ is an epimorphism in $\bar{A}$ .

This appears as Kontsevich-Rosenberg, 3.1.2, 3.1.4.

Note

Let $𝔸 : \bar{A} \overset{\overset{u^{*}}{\leftarrow}}{\underset{u_{*}}{\to}} A$ be a Q-category where $A$ is a small category, and let $C$ be a category with all small limits. Then the Q-category of presheaves from prop 1 has an extra right adjoint $u_{C}^{!} : = {Ran}_{u^{*}}$

C^{𝔸} : C^{\bar{A}} \overset{\overset{f^{*} : = C^{u_{*}}}{\leftarrow}}{\overset{\underset{f_{*} : = C^{u^{*}}}{\to}}{\underset{f^{!} : = u_{C}^{!}}{\leftarrow}}} C^{A}

given by the right Kan extension along $u^{*}$ , which exists by the assumption that $C$ has all small limits.

Therefore by prop. 3 a presheaf $F \in C^{A}$ is a $C^{𝔸}$ -sheaf, def. 9, precisely if the canonical morphism

f^{*} F \to f^{!} F

is an isomorphism.

This appears as (Kontsevich-Rosenberg, 3.5).

Examples

Formal smoothness and ${Alg}_{k}^{\inf}$ -sheaves

Let

{CAlg}_{k}^{\inf} : \bar{A} \overset{\overset{i}{\leftarrow}}{\underset{p}{\to}} {CAlg}_{k}

be the Q-category of infinitesimal thickenings from prop. 2. Write

[{CAlg}_{k}^{\inf}, Set] : [\bar{A}, Set] \overset{\overset{u^{*}}{\leftarrow}}{\overset{\overset{u_{*}}{\to}}{\underset{u^{!}}{\leftarrow}}} [{CAlg}_{k}, Set]

be the corresponding Q-category of copresheaves from prop. 1. Notice that $[{CAlg}_{k}, Set]$ is the presheaf topos that contains schemes over $k$ . Recall the notion of formally smooth scheme, formally étale morphism and formally unramified morphism of schemes.

Proposition

An object $X \in [{CAlg}_{k}, Set]$ is

formally étale precisely if it is an ${CAlg}_{k}^{\inf}$ -sheaf in the sense of def. 9, hence precisely if the canonical morphism

$u^{*} F \to u^{!} F$ u^* F \to u^! F

from prop. 3 is an isomorphism;
formally unramified precisely if it is a ${CAlg}_{k}^{\inf}$ monopresheaf, def. 1, hence precisly if $u^{*} F \to u^{!} F$ is a monomorphism;
formally smooth precisely if it is a strict epipresheaf, def. 1, hence precisely if $u^{*} F \to u^{!} F$ is a strict epimorphism.

This appears as (Kontsevich-Rosenberg, 4.1).

This category theoretic reformulation of these three properties therefore admits straightforward generalization of these notions to other contexts. See the section Infinitesimal paths at cohesive (∞,1)-topos.

For instance we have the following direct generalization is of interest in noncommutative geometry.

Definition

Let ${Alg}_{k}$ be the full category of associative algebras over $k$ , not necessarily commutative. Write ${Alk}_{k}^{\inf} : \bar{A} \to {Alg}_{k}$ for the Q-category of infinitesimal thickenings as in def. 2. Notice that $[{Alg}_{k}, Set]$ is the presheaf topos that contains noncommutative schemes.

We then say an object $X \in [{Alg}_{k}, Set]$ is

formally étale precisely if it is an ${Alg}_{k}^{\inf}$ -sheaf in the sense of def. 9, hence precisely if the canonical morphism

$u^{*} F \to u^{!} F$ u^* F \to u^! F

from prop. 3 is an isomorphism;
formally unramified precisely if it is a ${Alg}_{k}^{\inf}$ monopresheaf, hence precisly if $u^{*} F \to u^{!} F$ is a monomorphism;
formally smooth precisely if $u^{*} F \to u^{!} F$ is a strict epimorphism.

This appears as (Kontsevich-Rosenberg, section 4.2).

Proposition

Let $R \in {Alg}_{k}$ and write $Spec R \in [{Alg}_{k}, Set]$ for the corresponding representable functor. We have that

$Spec R$ is an ${Alg}_{k}^{\inf}$ epipresheaf (formally smooth) precisely if $R$ is Quillen-Cuntz quasi-free: the $R \otimes_{k} R^{op}$ -module $Ω_{R ∣ k}^{1}$ , being the kernel of the multiplication morphism

$Ω_{R ∣ k}^{1} : = \ker (R \otimes_{k} R \overset{mult}{\to} R),$ \Omega^1_{R|k} := ker(R \otimes_k R \stackrel{mult}{\to} R) \,,

is a projective in $R \otimes R^{op}$ Mod;
$Spec R$ is an ${Alg}_{k}^{\inf}$ -monopresheaf (formally unramified) precisely if $Ω_{R ∣ k}^{1} = 0$ .

This appears as (Kontsevich-Rosenberg, prop. 4.3).

Relation to other concepts

Relation to cohesive toposes

If a Q-category $𝔸$ has the extra right adjoint of prop. 3 and in addition an extra left adjoint to a total of a quadruple of adjoint functors

𝔸 : \bar{A} \overset{\overset{u_{!}}{\to}}{\overset{\overset{u^{*}}{\leftarrow}}{\overset{\overset{u_{*}}{\to}}{\underset{u^{!}}{\leftarrow}}}} A

then essential axioms characterizing a cohesive topos are satisfied, in particular if for instance $\bar{A}$ and $A$ are presheaf toposes as in 1 (this is considered around Kontsevich-Rosenberg, 3.5.1).

Notably in this case the canonical natural transformation

u^{*} \to u^{!}

from prop. 3 is the one appears in the axioms of a cohesive topos: if this transformation is a monomorphism in a cohesive topos – hence if in the language of Q-categories all objects are monopresheaves – one says that discrete objects are concrete in the cohesive topos.

Moreover, due to the extra left adjoint $u_{!}$ there is a canonical dual morphism

u_{*} \to u_{!} .

In (Lawvere) is the suggestion that it is interesting to consider the full subcategory of $\bar{A}$ on which $u_{*} \to u_{!}$ is an isomorphism. This is dual to the statement of the above section on A-Sheaves which asserts that it is interesting to consider the full subcategory of $A$ on which $u^{*} \to u^{!}$ is an isomorphism.

More concretely, the axioms of Infinitesimal cohesion are an abstraction of the situation of prop. 2. In every cohesive $(∞, 1)$ -topos equipped with an infinitesimal neighbourhood there is an analog of the characterization of formal smoothness from prop. 4. See the section Infinitesimal paths and de Rham spaces.

Sheafification versus the Gabriel localization $G_{ℱ} = H_{ℱ}^{2}$

(…)

References

The term $Q$ -category originally was short for almost quotient category , presumably because of its role in the theory of Gabriel localization. The sheaf formalism in terms of $Q$ -categories has been introduced in the mimeographed notes

Alexander Rosenberg, Q-categories, sheaves and localization, (in Russian) Seminar on supermanifolds 25, Leites ed. Stockholms Universitet 1988 (there is a recent partial English translation)

The formalism has been recently used (and shortly surveyed) in

Maxim Kontsevich, Alexander Rosenberg, Noncommutative spaces, preprint MPI-2004-35 (pdf, ps, dvi)

and also used in the general definition of “noncommutative” stacks in

Maxim Kontsevich, Alexander Rosenberg, Noncommutative stacks, preprint MPI-2004-37 (ps, dvi)

The epipresheaf condition for the Q-category of nilpotent (infinitesimal) thickenings is in the Kontsevich-Rosenberg paper interpreted as formal smoothness what is further studied in

T. Brzeziński, Notes on formal smoothness, in: Modules and Comodules (series Trends in Mathematics). T Brzeziński, JL Gomez Pardo, I Shestakov, PF Smith (eds), Birkhäuser, Basel, 2008, pp. 113-124 (doi, arXiv:0710.5527)

The condition that $u_{*} x \to u_{!} x$ is an isomorpophism , dual to the condition for $𝔸$ -sheaves considered above, has been considered in

Bill Lawvere, Axiomatic cohesion Theory and Applications of Categories, Vol. 19, No. 3, 2007, pp. 41–49. (pdf)

Revised on June 2, 2011 15:55:34 by Zoran Škoda (161.53.130.104)

nLab Q-category

Context

Topos Theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

Motivation

Definition

Definition

Note

Definition

Definition

Examples

(Co)Presheaves on a Q-category

Proposition

Proof

Note

Proof

Proposition

Domain and codomain fibration

Proposition

Note

Q-category of cones

Sieves

The Q-category factoring a fully faithful factor

Quasi-(co)-sites

Definition

Definition

Definition

Infinitesimal thickenings

Proposition

Remark

𝔸-Sheaves

Definition

Proposition

Proof

Definition

Note

Examples

Formal smoothness and Alg k inf-sheaves

Proposition

Definition

Proposition

Relation to other concepts

Relation to cohesive toposes

Sheafification versus the Gabriel localization G ℱ=H ℱ 2

References

nLab
Q-category

(Co)Presheaves on a $Q$ -category

$𝔸$ -Sheaves

Formal smoothness and ${Alg}_{k}^{\inf}$ -sheaves

Sheafification versus the Gabriel localization $G_{ℱ} = H_{ℱ}^{2}$