Schematic Grothendieck Representation

A spectral Grothendieck representation Rep is said to be schematic if for every triple γ ≤ τ ≤ δ in Top(A), for every A in R^(Ring) we have a commutative diagram in R^:



If Rep is schematic, then, P : Top(A) → R^ is a presheaf with values in R^ over the lattice Top(A)o, for every A in R.

The modality is to restrict attention to Tors(Rep(A)); that is, a lattice in the usual sense; and hence this should be viewed as the commutative shadow of a suitable noncommutative theory.

For obtaining the complete lattice Q(A), a duality is expressed by an order-reversing bijection: (−)−1 : Q(A) → Q((Rep(A))o). (Rep(A))o is not a Grothendieck category. It is additive and has a projective generator; moreover, it is known to be a varietal category (also called triplable) in the sense that it has a projective regular generator P, it is co-complete and has kernel pairs with respect to the functor Hom(P, −), and moreover every equivalence relation in the category is a kernel pair. If a comparison functor is constructed via Hom(P, −) as a functor to the category of sets, it works well for the category of set-valued sheaves over a Grothendieck topology.

Now (−)−1 is defined as an order-reversing bijection between idempotent radicals on Rep(A) and (Rep(A))o, implying we write (Top(A))−1 for the image of Top(A) in Q((Rep( A))o). This is encoded in the exact sequence in Rep(A):

0 → ρ(M) → M → ρ−1(M) → 0

(reversed in (Rep(A))o). By restricting attention to hereditary torsion theories (kernel functors) when defining Tors(−), we introduce an asymmetry that breaks the duality because Top(A)−1 is not in Tors((Rep(A))op). If notationally, TT(G) is the complete lattice of torsion theories (not necessarily hereditary) of the category G; then (TT(G))−1 ≅ TT(Gop). Hence we may view Tors(G)−1 as a complete sublattice of TT(Gop).

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s