\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*{noncommutative scheme}

\hypertarget{noncommutative_schemes}{}\section*{{Noncommutative schemes}}\label{noncommutative_schemes}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{formal_frameworks}{Formal frameworks}\dotfill \pageref*{formal_frameworks} \linebreak
\noindent\hyperlink{rosenbergs_definition}{Rosenberg's definition}\dotfill \pageref*{rosenbergs_definition} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{nonexamples}{Nonexamples}\dotfill \pageref*{nonexamples} \linebreak
\noindent\hyperlink{literature}{Literature}\dotfill \pageref*{literature} \linebreak


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

One would like to have a proper extension of a notion of [[scheme]] in [[noncommutative algebraic geometry]] which should include also noncommutative spaces represented by noncommutative rings (``noncommutative affine schemes'') and ``noncommutative projective schemes'' represented by graded rings, but \emph{not} including commutative spaces which are not schemes ([[stacks]], [[algebraic space]]s, etc.). To this aim, one notices that schemes are glued from affine schemes in the [[Zariski topology]], i.e. they are a subclass of [[locally affine space]]s where locally pertains to the [[Zariski site]]. At the level of the category $QCoh_X$ of [[quasicoherent sheaf|quasicoherent sheaves]] on a scheme $X$, affine subschemes $Y\subset X$ correspond to especially nice [[localization]] functors $Q^*_Y$: first of all they are affine localizations (i.e. have a [[right adjoint]] which is [[fully faithful functor|fully faithful]] and which has its own right adjoint), second they are exact ([[flat functor|flat]]) and their right adjoint is also flat. Second the localizations pertaining to Zariski topology are of finite type (a fortiori, Zariski topology on an affine scheme is generated by the principal open subsets $D_f$). The fact that a family of affine subschemes covers $X$ is expressed via the property that the family of localizations $Q_Y$ for $Y$ in the cover is a (jointly) conservative family (i.e. a morphism is invertible iff it is invertible in each element of a cover). Using the idea of Grothendieck which says, according to Manin, that \emph{to do a geometry you do not need a space you only need an algebra of functions on this would-be space}, we express all the properties of gluing affine schemes via catgories of quasicoherent sheaves. This is justified by various evidence including Serre's theorem on $Proj$, the observation that important notions in noncommutative geometry are Morita-invariant, and the reconstruction theorems of Gabriel--Rosenberg and, in the monoidal and monoidal triangulated case, by Balmer and by Garkusha, that a scheme $X$ can be reconstructed up to isomorphism from $QCoh_X$.

\hypertarget{formal_frameworks}{}\subsection*{{Formal frameworks}}\label{formal_frameworks}

The above ideas are sometimes loosely expressed by practioners to take an [[abelian category]] as a noncommutative space (Smith calls it a \emph{quasischeme} in that case). Some prefer to have a pair of an abelian category and a distinguished object in it. The work of Kontsevich--Rosenberg on noncommutative smooth spaces notices that the main noncommutative examples (those close to [[free object|free]] algebras, rather than almost commutative quantum, PI and similar examples) like noncommutative projective spaces and noncommutative grassmanians (unlike quantum projective spaces and quantum flag varieties) are \emph{not} locally affine with respect to the covers by biflat affine localizations, but rather locally affine in certain noncommutative smooth topologies (covers by Cohn localizations, which are not biflat, also appear occasionally). For the projective case, F. van Oystaeyen prefers to work with Ore localizations only and defines an interesting class of so-called \textbf{schematic algebras} and axiomatizes a more general property of torsion lattices which can play a role in an extension of quasicoherent sheaf theory to similar situations (``noncommutative topology''). T. Maszczyk prefers to generalize categories of quasicoherent sheaves to monoidal abelian categories and requires that the corresponding direct or inverse image functors respect the monoidal structure in a lax or colax way. That means that the commutative modules are viewed as [[central bimodule]]s. Bimodules can be related to correspondences ([[spans]]), that is in one-sided module point of view they correspond to functors: however Maszczyk argues that this point of view is only partial and that monoidal categories should be put in the fundamentals.

Rosenberg notices that the considerations from the Idea section force one to consider not noncommutative schemes in an absolute sense, but rather noncommutative schemes relative to the ground category $C = QCoh_{Spec k}$. Suppose all categories involved are abelian and functors [[additive functor|additive]] (there is a more subtle variant in the nonabelian case). Then the general nonsense basically forces one to a unique notion of a noncommutative scheme.

\hypertarget{rosenbergs_definition}{}\subsection*{{Rosenberg's definition}}\label{rosenbergs_definition}

(A. Rosenberg, \emph{Noncommutative schemes}, Compos. Math. \textbf{112} (1998) 93--125, \href{http://dx.doi.org/10.1023/A:1000479824211}{doi})

A quasicompact \textbf{relative noncommutative scheme} over a category $C$ is a category $A$ with an [[adjoint functor|adjoint pair]] of functors (direct and inverse image) $g_* : A\to C : q^*$, such that there exists a finite conservative family of affine localizations $\{Q^*_\lambda : A\to A_\lambda\}_{\lambda\in\Lambda}$ whose direct image $Q_{\lambda *}$ and inverse image $Q_\lambda^*$ parts are exact and such that the composition of the direct image functor of each localization $Q_{\lambda*} : A_\lambda\to A$ followed by the direct image functor $g_* : A\to C$ is also affine.

(A pair of adjoint functors, inverse and direct image represent an affine morphism if the direct image is faithtful and it has its own right adjoint, so we have an adjoint triple with middle term, that is the direct image, faithful. For the affine localizations, the direct image is in addition full.)

\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

The word `localization' here is in the sense of Gabriel--Zisman. Notice that if the ground category $C$ has a distinguished object (say the generator in the category of vector spaces over a field) then its direct image functor is a distinguished object in $A$. In general this is not required. The exactness properties required above guarentee that the quasicoherent sheaves can be glued from the restrictions on the covers, and moreover that the derived functors of the direct image like functors can be computed using standard resolutions. If the cover is semiseparated (a notion from Thomason--Trobaugh), that is the localization functors for the cover mutually commute, then the standard resolutions can be replaced by alternating ech resolutions.

See also [[zoranskoda:gluing categories from localizations]].

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

Quantum projective spaces, quantum flag varieties, commutative quasicompact schemes, the $D$-schemes of Beilinson, the almost schemes of Gabber etc.

\hypertarget{nonexamples}{}\subsection*{{Nonexamples}}\label{nonexamples}

Noncommutative projective spaces, noncommutative grassmannians, universal noncommutative flag variety.

\hypertarget{literature}{}\subsection*{{Literature}}\label{literature}

\begin{itemize}%
\item [[Tomasz Maszczyk]], \emph{Noncommutative geometry through monoidal categories}, \href{http://arxiv.org/abs/math.QA/0611806}{math.QA/0611806}


\item A. Rosenberg, \emph{Noncommutative schemes}, Compos. Math. \textbf{112} (1998) 93--125, \href{http://dx.doi.org/10.1023/A:1000479824211}{doi}


\item P. Gabriel, M. Zisman, \emph{Calculus of Fractions and Homotopy Theory}, Springer 1967.


\item S. Paul Smith, \emph{Subspaces of non-commutative spaces}, Trans. Amer. Math. Soc. \textbf{354}(2002), 2131--2171


\item V. A. Lunts, A. L. Rosenberg, \emph{Localization for quantum groups}, Selecta Math. (N.S.) 5 (1999), no. 1, pp. 123--159.


\item Z. \v{S}koda, \emph{Some equivariant constructions in noncommutative geometry}, Georgian Math. J. \textbf{16} (2009) 1; 183--202 (\href{http://front.math.ucdavis.edu/0811.4770}{arXiv:0811.4770})


\item F. van Oystaeyen, L. Willaert, \emph{Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras}, J. Pure Appl. Alg. \textbf{104}(1995), p. 109--122


\item M. Artin, J. Zhang, \emph{Noncommutative projective schemes}, Adv. Math. 109, 228--287 (1994).


\item [[Dmitri Orlov]], \emph{Smooth and proper noncommutative schemes and gluing of DG categories}, \href{http://arxiv.org/abs/1402.7364v1}{arXiv}.



\end{itemize}
category: algebraic geometry, noncommutative geometry [[!redirects noncommutative scheme]] [[!redirects noncommutative schemes]] [[!redirects non-commutative scheme]] [[!redirects non-commutative schemes]]



\end{document}