\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*{descent in noncommutative algebraic geometry}

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

\hypertarget{locality_and_descent}{}\paragraph*{{Locality and descent}}\label{locality_and_descent}

[[!include descent and locality - contents]]

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

\noindent\hyperlink{gluing_of_quasicoherent_sheaves_via_localizations}{Gluing of quasicoherent sheaves via localizations}\dotfill \pageref*{gluing_of_quasicoherent_sheaves_via_localizations} \linebreak
\noindent\hyperlink{flat_descent_for_modules_over_rings}{Flat descent for modules over rings}\dotfill \pageref*{flat_descent_for_modules_over_rings} \linebreak
\noindent\hyperlink{comonadic_descent_and_noncommutative_schemes}{(Co)monadic descent and noncommutative schemes}\dotfill \pageref*{comonadic_descent_and_noncommutative_schemes} \linebreak
\noindent\hyperlink{galois_descent}{Galois descent}\dotfill \pageref*{galois_descent} \linebreak
\noindent\hyperlink{nonflat_descent}{Nonflat descent}\dotfill \pageref*{nonflat_descent} \linebreak
\noindent\hyperlink{gluing_for_sheaves_of_sets_on_}{Gluing for sheaves of sets on $NAff$}\dotfill \pageref*{gluing_for_sheaves_of_sets_on_} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak


\hypertarget{gluing_of_quasicoherent_sheaves_via_localizations}{}\subsection*{{Gluing of quasicoherent sheaves via localizations}}\label{gluing_of_quasicoherent_sheaves_via_localizations}

The [[quasicoherent sheaves]] have natural analogues in some formalisms of [[noncommutative algebraic geometry]]. The Zariski open sets generalize to some nice class of flat localizations, and then one can consider faithfully flat descent. However the analogues of a cover and sheaf condition are more subtle.

Let $A$ be an [[abelian category]] and $\{B_\lambda\}_{\lambda\in\Lambda}$ a finite family of abelian categories; and $Q^*_\lambda : A\to B_\lambda$ exact localization functors having fully faithful right adjoints $Q_{\lambda *}:B_\lambda\to A$. We say that the family ${Q_{\lambda *}}_{\lambda\in\Lambda}$ is conservative if a morphism in $A$ is invertible iff $Q_{\lambda *}(f)$ is invertible for each $\lambda$.

There is a standard way to construct a [[comonad]] $G$ on the product category $\prod_\lambda B_\lambda$. Under the conditions of a comonadic version of Barr's monadicity theorem one can reconstruct $A$ as the category equivalent to the category of $G$-comodules.

For Gabriel localizations of categories of modules over rings, such a gluing theorem, called ``globalization theorem'' is in A. Rosenberg's 1988 Stockholm book and obtained independently in Willaert-van Oystaeyen 1995 article, in both cases proved by nontrivial localization theory. Applying [[comonad|comonadicity]] theorems is much more straightforward.

On the other hand the family of all cocovers (conservative families) by flat localizations and the family of all nice localizations do not have as good properties as the families of open sets and covers in topology. For example, the intersection operation on open sets is commutative, while the consecutive application of two localization functors depends on the order among the two in general. For example, the [[Ore localization]] of a ring $R$ on a left Ore subset $S\subset S^{-1}R$ is a ring; but the localization of that localized ring $S^{-1}R$ by applying the localization functor for another Ore subset $T\subset R$ is $T^{-1}R\otimes_R S^{-1} R$ which is not necessarily a ring in a natural way. In fact it has a canonical structure of a ring exactly in the case when the two Ore localization functors commute as functors on the original category of left modules over $R$. The considerations of this compatibility of localization functors has been studied in the language of torsion theories by Verschoeren and van Oystaeyen in 1970s. In fact, this situation is akin to semiseparatedness condition on schemes introduced by Thomason-Trobaugh: a scheme is semiseparated if it has an affine cover where the intersection of any two affines is again affine. Every separated scheme is semiseparated. Examples of [[noncommutative scheme|noncommutative schemes]] are rarely semiseparated in the sense of cocovers by flat localizations: for example most quantum flag varieties are not semiseparated.

Another problem is that the family of all cocovers by flat localizations (even for the categories of modules) is typically not a Grothendieck cotopology: in the dual language of topologies the stability axiom fails, even if one modifies the notion of the pullback form categorical product to the dual of the operation of meet for torsion theories. In terms of torsion theories, this stems from the fact that the lattice of torsion theories is not a distributive lattice.

\begin{itemize}%
\item Z. \v{S}koda, \emph{Noncommutative localization in noncommutative geometry}, London Math. Society Lecture Note Series 330 (\href{http://www.maths.ed.ac.uk/~aar/books/nlat.pdf}{pdf}), ed. A. Ranicki; pp. 220--313, \href{http://arxiv.org/abs/math.QA/0403276}{math.QA/0403276}.

\end{itemize}
\hypertarget{flat_descent_for_modules_over_rings}{}\subsection*{{Flat descent for modules over rings}}\label{flat_descent_for_modules_over_rings}

For the purposes of the descent for modules over rings, comonads can be replaced by [[corings]]. Alternatively the descent data can be represented by connections for the Amitsur complex. Symmetries are important in that analysis.

\begin{itemize}%
\item P. Nuss, \emph{Noncommutative descent and non-abelian cohomology}, $K$-Theory \textbf{12} (1997), no. 1, 23--74.


\item T. Brzeziski, R. Wisbauer, \emph{Corings and comodules}, London Math. Soc. Lec. Note Series 309, Cambridge 2003.


\item C. Menini, D. tefan, \emph{Descent theory and Amitsur cohomology of triples}, J. Algebra \textbf{266} (2003), no. 1, 261--304.



\end{itemize}
\hypertarget{comonadic_descent_and_noncommutative_schemes}{}\subsection*{{(Co)monadic descent and noncommutative schemes}}\label{comonadic_descent_and_noncommutative_schemes}

The monadicity and comonadicity properties are at heart of the definition of a relative [[noncommutative scheme]]

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

\end{itemize}
\hypertarget{galois_descent}{}\subsection*{{Galois descent}}\label{galois_descent}

In noncommutative case, the faithfully flat descent along torsor (equivalence of the $G$-equivariant quasicoherent sheaves on the $G$-scheme $X$ and the quasicoherent sheaves on $X/G$) is well understood when the group is replaced by (the opposite) to a [[Hopf algebra]] and when the base and total [[noncommutative scheme]]s are affine. This is the case of [[Hopf-Galois extension|Hopf-Galois descent]] and generalizations for entwinings. One can combine this vertical descent with the horizontal descent on localizations, provided the localizations are compatible with the coactions of the Hopf algebra.

Coring language is also very natural in generalizing the Galois theory to noncommutative rings.

\hypertarget{nonflat_descent}{}\subsection*{{Nonflat descent}}\label{nonflat_descent}

Unlike the descent for the categories of quasicoherent sheaves, where apart from semiseparatedness, the descent problem has a natural solution (say in comonadic language) the descent for affine schemes fails. In that case, Grothendieck essentially used the symmetry in commutative case. Another problem is that localizations are hard to find, especially very noncommutative rings (roughly those of infinite Gelfand-Kirillov dimensions) do not have nice covers by flat localizations. Cohn localizations sometimes work but they are not flat; therefore the descent has to be replaced by some sort of nonflat descent, for example the descent at the [[derived algebraic geometry|derived]] level. That kind of analogues are not really noncommutative schemes as they are not locally affine in Zariski-like (=faithfully flat by localizations) topology.

\hypertarget{gluing_for_sheaves_of_sets_on_}{}\subsection*{{Gluing for sheaves of sets on $NAff$}}\label{gluing_for_sheaves_of_sets_on_}

Yet another question is how to generalize the functor of points approach to [[schemes]] and locally affine spaces in some Grothendieck topology on $Aff$ (or $Aff/S$) to the noncommutative setup. Rosenberg for that reason introduced considerations of sheaves on/in [[Q-categories]] which can be used to define noncommutative algebraic spaces of various kinds in functor of points approach. In some cases, like noncommutative smooth topology (Kontsevich-Rosenberg) usual Grothendieck topologies on $NAff$ suffice.

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

\begin{itemize}%
\item [[descent]]: [[cover]], [[monadic descent]], [[Sweedler coring]], [[higher monadic descent]], [[Eilenberg-Moore category]], [[Hopf-Galois extension]]
\item [[localization]]
\item [[sheaf]], [[(2,1)-sheaf]], [[2-sheaf]] [[(∞,1)-sheaf]]

\end{itemize}
[[!redirects gluing in noncommutative algebraic geometry]] [[!redirects descent in noncommutative geometry]]



\end{document}