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

\hypertarget{motivation}{}\subsection*{{Motivation}}\label{motivation}

Gabber and Ramero have developed a chapter in abstract algebra and [[algebraic geometry]] which should, in the style of Grothendieck's theory of [[schemes]], capture some of the ideas of

\begin{itemize}%
\item \href{http://en.wikipedia.org/wiki/Gerd_Faltings}{Gerd Faltings}, \emph{Almost \'e{}tale extensions}, Ast\'e{}risque No. 279 (2002), 185--270 (earlier Max Planck Bonn preprint MPIM1998-3 \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=2382}{dvi} \href{http://www.mpim-bonn.mpg.de/preprints/send?bid=1499}{ps}).

\end{itemize}
To this aim they define a notion of almost ring/algebra, almost module, and finally, \textbf{almost scheme}. The framework is akin to many ideas in [[noncommutative algebraic geometry]] and in particular uses localization theory (compare also the generalized algebraic geometry of [[Nikolai Durov]]).

\hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions}

One starts with a ``basic setup'' consisting of a fixed \emph{commutative} unital (``[[base ring|base]]'') ring $V$ containing an ideal $I$ such that $I^2 = I$. Usually one also assumes that $\tilde{I} := I \otimes_V I V$ is a flat $V$-module. A $V$-module $M$ is \textbf{almost zero} if $IM=0$. A morphism $f:M\to N$ of $V$-modules is \textbf{almost isomorphism} if $Ker f$ and $Coker f$ are almost zero, or equivalently if $\tilde{I}\otimes_V f : \tilde{I}\otimes_V M\to \tilde{I}\otimes_V N$ is an isomorphism. Almost isomorphisms form a category of fractions in $V-Mod$. The full subcategory $\Sigma$ of $V-Mod$ of $V$-modules which are almost isomorphic to $0$ is a Serre subcategory of $V-Mod$, hence one can construct the quotient category $V^a-Mod := V-Mod/\Sigma$ with the localization functor $Q^* : V-Mod\to V-Mod/\Sigma$; the image of $V$ in $V-Mod/\Sigma$ is denoted by $V^a$. The usual tensor product on $V-Mod$ induces a tensor product on $V^a-Mod$ making it into an abelian symmetric monoidal category. An \textbf{almost algebra} is a commutative monoid in this tensor category; almost algebras form a category $V^a-Alg$; in the usual way one defines the (categories of) left and right (unital or not) modules over any given almost algebra.

An \textbf{affine almost scheme} is just an object of an opposite category to $V^a-Alg$. A number of Grothendieck topologies are available on the category of affine almost schemes $V^a-Aff$; leading to the notions of locally affine spaces in these topologies; or better in relative version $R^a-Aff = (R^a-Alg)^{op}$ where $R$ is a $V$-algebra. By convention, the default topology is an appropriate version of flat topology, leading to the site $(R^a-Aff)_{fpqc}$. An \textbf{almost $R$-scheme} is by the definition a sheaf of sets on $(R^a-Aff)_{fpqc}$.

More general ``basic setups'' in terms of topoi are also considered in the book.

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

\begin{itemize}%
\item Ofer Gabber, Lorenzo Ramero, \emph{Almost Ring Theory}, Lec. Notes in Math. 1800, Springer 2003.

\end{itemize}
Abstract of the first arXiv release (51 pages \href{http://arxiv.org/abs/math/0002064}{math.0002064})

\begin{quote}%
The categories of almost modules and almost algebras are introduced as a convenient setting for the development of Faltings' method of almost etale extensions. After some preliminaries of general ``almost homological algebra'' we construct the almost version of the cotangent complex and we use it to generalise some results of Faltings on the lifting of almost etale morphisms and almost etale algebras over nilpotent extensions. We also study the ``almost trace'' of an almost flat and almost finitely presented morphism, in particular we show that the almost trace is (almost) perfect if and only if the morphism is almost etale. Finally we study some cases of non-flat descent for almost rings, and establish the invariance of almost etale morphisms under Frobenius.


\end{quote}
Abstract of 6th public release at \href{http://arxiv.org/abs/math/0201175}{arXiv:math/0201175} (about 230 pages)

\begin{quote}%
We develop almost ring theory, which is a domain of mathematics somewhere halfway between ring theory and category theory (whence the difficulty of finding appropriate MSC-class numbers). We apply this theory to valuation theory and to p-adic analytic geometry. You should really have a look at the introductions (each chapter has one).


\end{quote}
In the introduction (6th public release), the authors heuristically place their work in the general field of \emph{abstract algebraic geometry}:

\begin{quote}%
The purpose of the game is to reconstruct in this new framework as much as possible (and useful) of classical linear and commutative algebra. Essentially, this is the same as the ideology informing Deligne's paper [[Catégories Tannakiennes]], which sets out to develop algebraic geometry in the context of abstract tannakian categories. We could also claim an even earlier ancestry, in that some of the leading motifs resonating throughout our text, can be traced as far back as Gabriel's memoir [[Des catégories abéliennes]].

In evoking Deligne's and Gabriel's works, we have unveiled another source of motivation whose influence has steadily grown throughout the long gestation of our paper. Namely, we have come to view almost ring theory as a contribution to that expanding body of research of still uncertain range and shifting boundaries, that we could call ``abstract algebraic geometry''. We would like to encompass under this label several heterogeneous developments: notably, it should include various versions of non-commutative geometry that have been proposed in the last twenty years, but also the relative schemes of M.HAKIM, \emph{Topos annel\'e{}s et sch\'e{}mas relatifs}, Springer Ergebnisse Math. Grenz. 64 (1972), as well as Deligne's ideas for algebraic geometry over symmetric monoidal categories.

The common thread loosely unifying these works is the realization that ``geometric spaces'' do not necessarily consist of set-theoretical points, and - perhaps more importantly -functions on such ``spaces'' do not necessarily form (sheaves of) commutative rings. Much effort has been devoted to extending the reach of geometric intuition to non-commutative algebras; alternatively, one can retain commutativity, but allow ``structure sheaves'' which take values in tensor categories other than the category of rings. As a case in point, to any given almost ring $A$ one can attach its spectrum $Spec A$, which is just $A$ viewed as an object of the opposite of the category $V^a-Alg$. $Spec A$ has even a natural flat topology, which allows to define more general almost schemes by gluing (i.e. taking colimits of) diagrams of affine spectra; all this is explained in section 5.7, where we also introduce quasi-projective almost schemes and investigate some basic properties of the smooth locus of a quasi-projective almost scheme. By way of illustration, these generalities are applied in section 5.8 in order to solve a deformation problem for torsors over affine almost group schemes; let us stress that the problem in question is stated purely in terms of affine objects (i.e. almost rings and ``almost Hopf algebras''), but the solution requires the introduction of certain auxiliary almost schemes that are not affine.


\end{quote}
[[!redirects almost schemes]]



\end{document}