\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 algebraic geometry}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{noncommutative_geometry}{}\paragraph*{{Noncommutative geometry}}\label{noncommutative_geometry}

[[!include noncommutative geometry - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{relation_to_other_kinds_of_geometry}{Relation to other kinds of geometry}\dotfill \pageref*{relation_to_other_kinds_of_geometry} \linebreak
\noindent\hyperlink{RelationToOrdinaryAlgebraicGeometry}{Relation to ordinary algebraic geometry}\dotfill \pageref*{RelationToOrdinaryAlgebraicGeometry} \linebreak
\noindent\hyperlink{relation_to_noncommutative_geometry_a_la_connes}{Relation to noncommutative geometry a la Connes}\dotfill \pageref*{relation_to_noncommutative_geometry_a_la_connes} \linebreak
\noindent\hyperlink{history}{History}\dotfill \pageref*{history} \linebreak
\noindent\hyperlink{approaches}{Approaches}\dotfill \pageref*{approaches} \linebreak
\noindent\hyperlink{spectrum_of_an_abelian_category}{Spectrum of an abelian category}\dotfill \pageref*{spectrum_of_an_abelian_category} \linebreak
\noindent\hyperlink{sheaves_of_sets_on_a_category}{Sheaves of sets on a $Q$-category}\dotfill \pageref*{sheaves_of_sets_on_a_category} \linebreak
\noindent\hyperlink{derived_noncommutative_geometry}{Derived noncommutative geometry}\dotfill \pageref*{derived_noncommutative_geometry} \linebreak
\noindent\hyperlink{homological_mirror_symmetry}{Homological mirror symmetry}\dotfill \pageref*{homological_mirror_symmetry} \linebreak
\noindent\hyperlink{other_motivations}{Other motivations}\dotfill \pageref*{other_motivations} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


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

\textbf{Noncommutative algebraic geometry} is the study of `spaces' represented or defined in terms of algebras, or categories. Commutative [[algebraic geometry]], restricts attention to spaces whose local description is via \emph{commutative} [[ring]]s and [[algebra]]s, while noncommutative algebraic geometry allows for more general local (or affine) models. The categories are viewed as categories of [[quasicoherent sheaf|quasicoherent modules]] on noncommutative locally affine space, and by affine one can think of many algebraic models, e.g. $A_\infty$-algebras; the algebra and its category of modules are in the two descriptions viewed as representing the same space (Morita equivalence should not change the space). Categories are needed as the global ``algebra of functions'' is usually an incomplete global description while it may be good enough locally. The categories are typically [[abelian category|abelian]], [[triangulated category|triangulated]], [[dg-category|dg-categories]] or [[A-infinity-category|A-infinity-catgories]].

Noncommutative algebraic geometry extends the [[algebraic geometry|algebraic geometric]] methods ([[local ring]]s, intersection theory etc.) to study noncommutative algebras, and conversely, uses noncommutative algebras in the study of commutative [[algebraic variety|algebraic varieties]] ([[Brauer group]]s, noncommutative desingularizations, [[stack]]s etc.). But some features, phenomena and methods do not have commutative analogues.

\hypertarget{relation_to_other_kinds_of_geometry}{}\subsection*{{Relation to other kinds of geometry}}\label{relation_to_other_kinds_of_geometry}

\hypertarget{RelationToOrdinaryAlgebraicGeometry}{}\subsubsection*{{Relation to ordinary algebraic geometry}}\label{RelationToOrdinaryAlgebraicGeometry}

The direct ``naive'' generalization of Grothendieck-style [[algebraic geometry]] via [[sheaves]] on a [[site]] ([[Zariski site]], [[etale site]] etc.) of [[commutative rings]]-[[opposite category|op]] to non-commutative rings does not work, for reasons discussed in some detail in (\hyperlink{Reyes12}{Reyes 12}). This is the reason why non-commutative algebraic geometry is phrased in other terms, mostly in terms of [[monoidal categories]] ``of ([[quasicoherent sheaf|quasicoherent]]) [[abelian sheaves]]'' (``[[2-rings]]''). See at \emph{[[2-algebraic geometry]]} for more.

\hypertarget{relation_to_noncommutative_geometry_a_la_connes}{}\subsubsection*{{Relation to noncommutative geometry a la Connes}}\label{relation_to_noncommutative_geometry_a_la_connes}

Noncommutative algebraic geometry may be considered a subfield of general [[noncommutative geometry]]. Among prominent other subfields, the most influential is the direction lead by [[Alain Connes]]. In Connes' noncommutative geometry the algebras in question are [[operator algebras]] viewed as algebras of continuous, smooth or measurable functions or more general continuous global sections. There it is customary and sufficient to describe a space globally by a single algebra: smooth and continuous context allow for partition of unity so there is no need for sheaves and gluing local descriptions, to define the very spaces.

\hypertarget{history}{}\subsection*{{History}}\label{history}

The subject is older than mainstream [[noncommutative geometry]] and it is very much implicit in Pierre Gabriel's thesis ``Des cat\'e{}gories Ab\'e{}liennes'' (Bull. Soc. Math. France 1962). The Gabriel [[spectrum (geometry)|spectrum]] (consisting of injective indecomposables) amounts to a reconstruction of a [[noetherian scheme|noetherian]] [[quasiseparated scheme|quasiseparated]] [[quasicompact scheme|quasicompact]] [[scheme]] from its category of [[quasicoherent sheaf|quasicoherent]] $\mathcal{O}$-[[module]]s (now generalized to all schemes, as the [[Gabriel-Rosenberg theorem]]). He looked at [[localization]] functors, and corresponding subcategories ([[reflective subcategory|reflective]] and coreflective), and proved some theorems on localization of [[quasicoherent sheaf|quasicoherent sheaves]]. At the same time, [[Alexander Grothendieck|Grothendieck]] taught us that \emph{to study a space it is enough to have a [[category of sheaves]] -- a [[Grothendieck topos]] -- on this would-be space}.

Together with two Auslander-Goldman papers `` \emph{Maximal orders} '' and `` \emph{The Brauer group of a commutative ring} '' -- both in Trans. AMS 1960 -- Gabriel's paper is a precursor of a more articulated development starting with Mike Artin's `` \emph{On Azumaya algebras and finte dimensional representations of rings} '' (J. Alg. 1969). Artin's 1969 paper characterizes [[Azumaya algebra]]s via their identities and paved the way to generalize [[algebraic geometry]] to [[ring]]s satisfying polynomial identities, via their [[representation]]s and invariant theory. Subsequent major contributions were made by Claudio Procesi with his book `` \emph{Rings with polynomial identities} '' (Marcel Dekker 1973) and his paper `` \emph{The invariant theory of $n\times n$ matrices}'' (Adv. Math. 1976) and by Mike Artin and Bill Schelter's `` \emph{A version of Zariski's main theorem for PI rings} '' (Amer. J. Math. 1979). The link with [[representation theory]], using seminal work by Paul Cohn and [[George Bergman]], was clarified by Claus Ringel `` \emph{The simple Artinian spectrum of a finite dimensional algebra} '' (in Dekker Lect. Notes 51, 1979) and culminated in Aidan Schofield's book `` \emph{Representations of rings over skew fields} '' (1985). These developments have been influential for recent work in `[[formal scheme|formal]]' noncommutative geometry, such as [[Maxim Kontsevich]]`s ``\emph{Formal (non)commutative symplectic geometry`` (1993), [[Joachim Cuntz]] and [[Daniel Quillen]]`s ''Algebra extensions and nonsingularity`` (JAMS 1995) and Kontsevich-Rosenberg's ''Noncommutative smooth spaces`` (cf. bibl. and [[quasi-free algebra]]).}

In the 70ties, [[localization]] theory was popular among ring theorists, and, several people tried to generalize [[structure sheaf|structure sheaves]] to noncommutative algebras. Gabriel-like localizations via alternative formalism of ``kernel functors'' (Goldman 1969) led to the books by Jonathan Golan `` \emph{Localization of noncommutative rings} '' (Marcel Dekker 1975) and [[Fred Van Oystaeyen]] `` \emph{Prime spectra in noncommutative algebra} '' (Springer LNM 444, 1975), and making the link with the Artin-Procesi approach, the book

\begin{itemize}%
\item [[Fred Van Oystaeyen]], [[Alain Verschoren]], \emph{Non-commutative algebraic geometry}, Springer LNM 887, 1981.

\end{itemize}
Localizations were viewed as analogues of open sets. However, the [[lattice of torsion theories]] is not [[distributive lattice|distributive]], what presented major difficulties at the time. Around 1995, a major [[descent]] theorem was proved by van Oystaeyen and Willaert and independently in a work of A. Rosenberg in Stockholm (1988). It is sort of generalized [[sheaf]] condition for quasicoherent modules, with respect to [[cover]]s by Gabriel localizations. This fact is now seen almost obvious; namely it is the comonadic descent for a [[comonad]] induced by a conservative family of flat localizationshaving right adjoint, which in the Gabriel localization clearly satisfy the conditions for Beck's [[comonadicity theorem]].

Cohn's universal localizations were used by Paul Cohn in `` \emph{The affine scheme of a general ring} '' (in Springer LNM 753, 1979) and later by Claus Ringel and Aidan Schofield as mentioned before. In England, Goldie's localization theory led to the theory of `cliques' and `clans' of prime ideals (Jategaonkar, Hajarnavis and others) which may in retrospect be viewed as influential to present local description via [[quiver]]s and [[A-infinity-category|A-infinity structures]].

Around 1980, the Leningrad school of [[integrable system]]s (Sklyanin, Fadeev, Takhtajan) created examples of [[quantum groups]], and soon after that were joined by Drinfel'd, Novikov, Jimbo, and independently, Manin and Woronowicz; these in turn give good examples in \textbf{affine noncommutative geometry} (spaces represented by a single nongraded ring), moreover the actions of group-like objects are considered starting the subject of [[equivariant noncommutative algebraic geometry]].

In the early 80ties maximal orders were revisited as noncommutative versions of normal [[variety|varieties]]. In particular their local structure was investigated. Extending prior work by Mark Ramras, Mike Artin succeeded in describing the etale local structure of maximal orders over surfaces. In trying to generalize this to higher dimensions, one was quickly led to impose strong homological properties on the orders (and later, more general algebras). This led to the investigation of homological homogeneous rings (work by Ken Brown and others), Artin-Schelter regular algebras and, finally, Auslander-regular rings.

In this vein, around 1989, the [[noncommutative projective geometry]] was developed by Artin, Zhang and collaborators, where Serre's theorem on $Proj$ of a graded ring is taken as a definition in the noncommutative case: [[quasicoherent sheaf|quasicoherent sheaves]] over a $Proj$ of a graded ring is the category of graded modules modulo the modules of finite length. They assume strong regularity properties on graded rings, limiting to the geometry which is very close to commutative projective geometry. Using [[Ore localization]], [[F. van Oystaeyen]] has defined another version of noncommutative projective geometry, based on his notion of a [[schematic algebra]].

A huge project started, trying to classify Auslander-regular algebras, graded-connected and generated in degree one (that is, noncommutative analogons of projective n-space) for small dimensions n. In dimension 3, the initial work was done by Artin and Schelter, culminating in the influential papers (ATV1), (ATV2) by Mike Artin, John Tate and [[Michel Van den Bergh]] (see bibl.). In this classification a class of algebras re-appeared which were initially discovered by Odeskii and Feigin, the so called Sklyanin algebras. Ring-theoretic investigations of the Sklyanin algebras were done by Tate and Van den Bergh (Noetherianity for all dimensions n) and in dimension 4 a geometric study via `point' and `line' modules was carried out by Thierry Levasseur, Toby Stafford and Paul Smith. Further classifications in dimension 3 (dropping the degree one generator condition) and 4 were done by these people and their students. In the ungraded case, maximal orders with excellent homological properties were recently used in connection with quotient-singularities and their desingularizations as in the noncommutative crepant resolution by Michel Van den Bergh (Abel symposium 2002).

A discussion between Lieven Le Bruyn and Zoran \v{S}koda on an early version of this entry is archived at $n$Forum.

\hypertarget{approaches}{}\subsection*{{Approaches}}\label{approaches}

\hypertarget{spectrum_of_an_abelian_category}{}\subsubsection*{{Spectrum of an abelian category}}\label{spectrum_of_an_abelian_category}

When one is serious about the point of view that every space is represented by some [[abelian category]] and that every [[abelian category]] represents a (noncommutative) space this way, one wants to find the \emph{spectrum} of an abelian category in the way that one forms the [[spectrum (geometry)]] of a [[ring]]. In particular since in the noncommutative case the classical spectra from ring theory (like primitive spectrum and Gabriel's spectrum are usually too small to represent noncommutative spaces)

Motivated by this, [[A. L. Rosenberg]] has developed many spectral constructions extending from the left spectrum of a ring to various spectra of [[abelian category|abelian categories]], [[triangulated category|triangulated categories]] and [[exact category|right exact categories]] (in his sense) and created a categorical version of a notion of (quasicompact relative) [[noncommutative scheme]] $X$ over a base category $C$ (viewed as category of sheaves on $Spec k$). Many other variants of spectra of abelian categories can be constructed; there is a general pattern though, cf. [[spectral cookbook]].

\hypertarget{sheaves_of_sets_on_a_category}{}\subsubsection*{{Sheaves of sets on a $Q$-category}}\label{sheaves_of_sets_on_a_category}

A space in the sense of a Grothendieck school is a sheaf $F$ of sets on the category of affine schemes $Aff$ equipped with some subcanonical Grothendieck topology and which is locally affine, i.e. there is a cover of $F$ (in the sense of induced Grothendieck topology on the category of presheaves) by representables. The noncommutative analogue of $Aff$ is the opposite to the category of noncommutative unital rings $NAff = Ring^{op}$. The problem is that the natural candidates for covers in $NAff$ are not making classes which satisfy the axioms for [[Grothendieck topology]], namely, the crucial stability under pullback fails. However $A$ can be equipped with a structure of a [[Q-category]], and then one can consider the sheaves of sets on a Q-category and define in an analogous way when they are locally affine. Similar approach works for noncommutative stacks.

\hypertarget{derived_noncommutative_geometry}{}\subsubsection*{{Derived noncommutative geometry}}\label{derived_noncommutative_geometry}

[[derived noncommutative geometry|Derived noncommutative geometry]] is a subject related to the commutative [[derived algebraic geometry]] of [[Carlos Simpson|C. Simpson]]`s school. Cyclic and [[Hochschild homology]] play a major role.

This approach \emph{represents} spaces by categories enriched in [[chain complex|cochain complexes]] ([[dg-category]] approach) or [[enriched category|enriched]] in [[spectrum|spectra]]. [[A-infinity category|A-infinity categories]] have some advantages over working with dg-categories.

Notice that such categories are models for [[stable (∞,1)-category|stable (∞,1)-categories]]. Moreover, every [[stable (∞,1)-category]] may automatically be regarded as a stable [[(∞,1)-topos]]. Therefore, the method of thinking of a generalized space in terms of a triangulated category is in line with the way [[topos theory]] and in particular [[higher topos theory]] characterizes generalized spaces by [[topos]]es.

The most nontrivial result seem to be a noncommutative version of the [[degeneration of Hodge-to-de-Rham spectral sequence]], conjectured by Kontsevich and, in one version, \href{http://front.math.ucdavis.edu/0611.5623}{proved} by [[D. Kaledin]].

\hypertarget{homological_mirror_symmetry}{}\paragraph*{{Homological mirror symmetry}}\label{homological_mirror_symmetry}

\href{http://en.wikipedia.org/wiki/Homological_mirror_symmetry}{Homological mirror symmetry} by [[Maxim Kontsevich]] is a source of many \emph{examples} of spaces of [[derived algebraic geometry]], which are represented by [[triangulated category|triangulated categories]] or their [[dg-category|dg-]] or $A_\infty$-[[enhanced triangulated category|enhancements]]; this has been enhanced by the insight in the structure of [[derived category|derived categories]] of [[coherent sheaf|coherent sheaves]] and their deformations like Landau-Ginzburg models, by \href{http://en.wikipedia.org/wiki/Alexander_Beilinson}{Beilinson}(1977/8), Kapranov (1985-), Orlov, Bondal, van den Bergh, Polishchuk, Bridgeland and others.

\hypertarget{other_motivations}{}\subsubsection*{{Other motivations}}\label{other_motivations}

Another big source of examples is deformation quantization and related topics involving usage of $A_\infty$ and $L_\infty$-algebras. Understanding of the role of quivers in noncommutative geometry has also being stimulated by independent and original works of Lieven le Bruyn and [[Arfinn Laudal]]. Laudal was also motivated by deformation theory.

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

[[!include Isbell duality - table]]

$\,$

[[!include noncommutative motives - table]]

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item the entries on the subject include: [[noncommutative scheme]], [[sheaf on a noncommutative space]], [[noncommutative projective geometry]], [[localization]], [[schematic algebra]], [[Q-category]], [[quasicoherent sheaf]], [[spectrum of an abelian category]], [[spectral cookbook]], [[quantum group]], [[noncommutative principal bundle]], [[quantum homogeneous space]], [[equivariant noncommutative geometry]]


\item list of pages with the tag \href{/nlab/list/noncommutative+geometry}{noncommutative geometry}


\item related subjects include: [[noncommutative geometry]], [[Hopf algebra]], [[gebra]], [[bialgebroid]], [[quantization]], [[deformation theory]]


\item M. Artin, J. J. Zhang, \emph{Noncommutative projective schemes}, Adv. Math. \textbf{109} (1994), no. 2, 228--287, \href{http://dx.doi.org/10.1006/aima.1994.1087}{doi}


\item A. Bondal, M. van den Bergh, \emph{Generators and representability of functors in commutative and noncommutative geometry}, Moscow MJ 2003


\item M. Kontsevich, A. Rosenberg, \emph{Noncommutative smooth spaces}, The Gelfand Mathematical Seminars, 1996--1999, 85--108, Birkh\"a{}user 2000; \href{http://arxiv.org/abs/math/9812158}{arXiv:math/9812158}


\item [[M. Kontsevich]], A. Rosenberg, \emph{Noncommutative spaces}, preprint MPI-2004-35 (\href{http://www.mpim-bonn.mpg.de/preblob/2303}{dvi},\href{http://www.mpim-bonn.mpg.de/preblob/2331}{ps}), \emph{Noncommutative spaces and flat descent}, MPI-2004-36 \href{http://www.mpim-bonn.mpg.de/preblob/2304}{dvi},\href{http://www.mpim-bonn.mpg.de/preblob/2332}{ps}, \emph{Noncommutative stacks}, MPI-2004-37 \href{http://www.mpim-bonn.mpg.de/preblob/2305}{dvi},\href{http://www.mpim-bonn.mpg.de/preblob/2333}{ps}


\item [[A. L. Rosenberg]], \emph{Noncommutative schemes}, Compos. Math. \textbf{112} (1998) 93--125, \href{http://www.ams.org/mathscinet-getitem?mr=1622759}{MR99h:14002}, \href{http://dx.doi.org/10.1023/A:1000479824211}{doi}


\item O. A. Laudal, \emph{Noncommutative algebraic geometry}, Rev. Mat. Iberoamericana \textbf{19}, n. 2 (2003), 509--580; (\href{http://projecteuclid.org/euclid.rmi/1063050166}{euclid}).


\item (ATV2) M. Artin, J. Tate, [[M. Van den Bergh]], \emph{Modules over regular algebras of dimension $3$}, Invent. Math. \textbf{106} (1991), no. 2, 335--388, \href{http://www.ams.org/mathscinet-getitem?mr=1128218}{MR93e:16055}, \href{http://dx.doi.org/10.1007/BF01243916}{doi}


\item (ATV1) Michael Artin, John Tate, [[Michel Van den Bergh]], \emph{Some algebras associated to automorphisms of elliptic curves}, The [[Grothendieck Festschrift]], Vol. I, 33--85, Progr. Math. \textbf{86}, Birkh\"a{}user 1990.


\item the n-geometry cafe, \emph{the NAG canon} (\href{http://www.noncommutative.org/index.php/the-nag-canon.html}{blog})


\item [[F. van Oystaeyen]], \emph{Algebraic geometry for associative algebras}, Marcel Dekker 2000. vi+287 pp.


\item S. Mahanta, \emph{On some approaches towards non-commutative algebraic geometry}, \href{http://arxiv.org/abs/math/0501166}{math.QA/0501166}


\item [[L. Katzarkov]], [[Maxim Kontsevich|M. Kontsevich]], T. Pantev, \emph{Hodge theoretic aspects of mirror symmetry}, \href{http://arxiv.org/abs/0806.0107}{arxiv/0806.0107}


\item [[D. Kaledin]], \emph{Tokyo lectures ``Homological methods in non-commutative geometry''}, \href{http://imperium.lenin.ru/~kaledin/tokyo/final.pdf}{pdf}, \href{http://imperium.lenin.ru/~kaledin/tokyo/final.tex}{TeX}


\item [[Zoran Skoda]], \emph{Some equivariant constructions in noncommutative algebraic geometry}, Georgian Mathematical Journal 16 (2009), No. 1, 183--202, \href{http://arxiv.org/abs/0811.4770}{arXiv:0811.4770}; preprint MPIM2009-3.


\item MathOverflow, \href{http://mathoverflow.net/questions/10512/theories-
of-noncommutative-geometry}{Theories of Noncommutative Geometry}


\item Reyes, \emph{Sheaves that fail to represent matrix rings} (\href{http://arxiv.org/abs/1211.4005}{arXiv:1211.4005})



\end{itemize}
Discussion of noncommutative [[formal geometry]] of infinitesimal neighborhood of commutative schemes within noncommutative ambient schemes is in

\begin{itemize}%
\item [[Mikhail Kapranov]], \emph{Noncommutative geometry based on commutator expansions} (\href{http://arxiv.org/abs/math/9802041}{arXiv:9802041})

\end{itemize}
For more on this see at \emph{[[Kapranov's noncommutative geometry]]}. See also the references at \emph{[[derived noncommutative geometry]]}

category: algebraic geometry, noncommutative geometry [[!redirects non-commutative algebraic geometry]]



\end{document}