\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{spectral cookbook}

\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

Typically spectra of categories involve utilization of some preordering and looking for ``almost final'' objects in that preordering and declaring them points of spectra. For example, one can look at some class of topologizing subcategories and equip that class with a preordering. A deeper inspection shows that an additional functor may be involved.

\hypertarget{historical_motivation}{}\paragraph*{{Historical motivation}}\label{historical_motivation}

While the spectrum of a commutative ring $R$ is obtained just from studying the ideal in a ring, that is $R$-submodules in $R$, the structure of various sets of ideals in a noncommutative ring usually is too small and otherwise inadequate for geometric purposes. One needs to consider not only ideals, but the whole category of (say left) $R$-modules, thus not necessarily submodules of $R$. A similar thing is with the reconstruction of commutative schemes: the whole abelian category of [[quasicoherent sheaves]] of $\mathcal{O}$-modules, not only the quasicoherent $\mathcal{O}$-submodules of $\mathcal{O}$, is needed for the reconstruction.

\hypertarget{the_development_of_spectral_machinery_for_categories}{}\paragraph*{{The development of spectral machinery for categories}}\label{the_development_of_spectral_machinery_for_categories}

[[Pierre Gabriel]] introduced his spectrum of indecomposable injectives to reconstruct Noetherian separated schemes from their categories of qausicoherent sheaves; now it is often called the Gabriel spectrum. Later many other spectra of abelian categories were invented, including the 1980-s [[A. L. Rosenberg]]`s spectrum used for the reconstruction of quasicompact quasiseparated schemes. Around 2000, Rosenberg noticed that the zoo of many spectra has their common feature and that all the spectra can be produced in analogous way. This pattern for producing spectra is introduced as a \textbf{spectral cookbook} in

\begin{itemize}%
\item (RosenbergSpectraNSp) A. L. Rosenberg, \emph{Spectra of noncommutative spaces}, MPIM2003-110 \href{http://www.mpim-bonn.mpg.de/preblob/1946}{ps} \href{http://www.mpim-bonn.mpg.de/preblob/1945}{dvi} (2003)

\end{itemize}
\hypertarget{the_cookbook}{}\subsection*{{The cookbook}}\label{the_cookbook}

\hypertarget{local_categories_and_local_spectrum}{}\paragraph*{{Local categories and local spectrum}}\label{local_categories_and_local_spectrum}

(RosenbergSpectraNSp 1.1) A category $C$ is \textbf{local} if the full subcategory generated by all objects which are not initial, has itself an initial object. In particular, every local category has initial objects.

(RosenbergSpectraNSp 1.2) The \textbf{local spectrum} of an arbitrary small category $C$ is the full subcategory $\mathfrak{Spec}^1(C)\hookrightarrow C$ whose objects are all $x$ in $Ob C$ such that the [[undercategory]] $x\backslash C$ is local.

\hypertarget{support_of_an_object}{}\paragraph*{{Support of an object}}\label{support_of_an_object}

(RosenbergSpectraNSp 1.3) If $x$ is an object in $C$, its support in $C$ is the full subcategory $\mathfrak{Supp}_C(x)\subset C$ whose objects are all objects $y$ in $C$ such that $C(x,y)=\emptyset$.

\hypertarget{}{}\paragraph*{{$\mathfrak{Spec}^0$}}\label{}

(RosenbergSpectraNSp 1.4) $\mathfrak{Spec}^0(C)\subset C$ is the full subcategory of $C$ generated by those objects $x$ in $C$ whose support $\mathfrak{Supp}_C(x)$ has a final object, $\hat{x}$ (in particular the support is nonempty).

(RosenbergSpectraNSp 1.4.4) A choice of a final object $\hat{x}$ for every object $x$ in $\mathfrak{Spec}^0(C)$ extends to a functor $\theta_c : \mathfrak{Spec}^0(C)\to C$.

\hypertarget{when__is_a_preorder}{}\paragraph*{{When $C$ is a preorder}}\label{when__is_a_preorder}

(RosenbergSpectraNSp 1.4.6) Now specialize to the case where $C$ is a [[preorder]] category having finite coproducts (equivalently supremum for every pair of objects). Then the functor $\theta_c : \mathfrak{Spec}^0(C)\to C$ factors through the embedding $\mathfrak{Spec}^1(C)\to C$. Consequently, it corestricts to a functor $\mathfrak{Spec}^0(C)\to \mathfrak{Spec}^1(C)$ which may also be denoted as $\theta_C$.

\hypertarget{relative_spectra}{}\paragraph*{{Relative spectra}}\label{relative_spectra}

(RosenbergSpectraNSp 1.6) Given a functor between small categories $F: C\to D$ the relative spectra $\mathfrak{Spec}^0(C,F), \mathfrak{Spec}^1(C,F)$ are defined as isocomma objects (``2-categorical pullbacks'')

\begin{displaymath}
\itexarray{
\mathfrak{Spec}^0(C,F)&\stackrel{\theta_F}\longrightarrow&C\\
{\pi_F^0}_\mathrlap{}\downarrow&&\downarrow{}_\mathrlap{F}\\
\mathfrak{Spec}^0(C)&\underset{\theta_C}\longrightarrow&D
}
\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,
\itexarray{
\mathfrak{Spec}^1(C,F)&\stackrel{\theta^1_F}\longrightarrow&C\\
{\pi_F^1}_\mathrlap{}\downarrow&&\downarrow{}_\mathrlap{F}\\
\mathfrak{Spec}^1(C)&\underset{\theta^1_C}\longrightarrow&D
}
\end{displaymath}
It appears that, for a fixed target category $D$, the constructions $(C,F)\mapsto \mathfrak{Spec}^0(C,F)$ and $(C,F)\mapsto \mathfrak{Spec}^1(C,F)$ extend to pseudofunctors $Cat/D\to Cat$. If $D$ is a preorder with finite coproducts then every functor $F: C\to D$ induces a canonical functor

\begin{displaymath}
\theta_{C,F} : \mathfrak{Spec}^0(C,F)\longrightarrow \mathfrak{Spec}^1(C,F)
\end{displaymath}
which are the components of a natural transformation of pseudofunctors $Cat/D\to Cat$

\begin{displaymath}
\theta : \mathfrak{Spec}^0\longrightarrow \mathfrak{Spec}^1
\end{displaymath}
\hypertarget{applications_to_spectra_of_abelian_categories}{}\subsection*{{Applications to spectra of Abelian categories}}\label{applications_to_spectra_of_abelian_categories}

\hypertarget{idea_2}{}\paragraph*{{Idea}}\label{idea_2}

Starting with an Abelian category $A$ we proceed in three steps. In the first step we construct some preorder $C_A$ from $A$, or of a functor $F_A: C_A\to D_A$ with a preorder category $D_A$ and then apply the spectral cookbook. The objects of $C_A$ may be some special subcategories of $A$ (e.g. some class of [[topologizing subcategories]]), of multiplicative systems of morphisms, as used in the localization theory and so on. In a third step, one often passes to the equivalence classes of objects in the obtained spectra.

Additionally, one may add construction of some sort of topology or additional ``structure stack'' to obtained spectrum using possibly supplemental knowledge about the input data.

\hypertarget{remark_on_monoidal_case}{}\paragraph*{{Remark on monoidal case}}\label{remark_on_monoidal_case}

Some reconstruction theorems (like the theorems of Balmer and of Garkusha) consider abelian symmetric monoidal categories instead; their spectra are very analogous but the subcategories used to construct the intermediate preorder category are monoidal subcategories as well and various constructions respect the monoidal structure. The pattern is still the same.

category: noncommutative geometry



\end{document}