\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*{overconvergent global analytic geometry}

[[!redirects Overconvergent global analytic geometry]] [[!redirects overconvergent global analytic geometry]]

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

\hypertarget{analytic_geometry}{}\paragraph*{{Analytic geometry}}\label{analytic_geometry}

[[!include analytic geometry -- contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{BasicIdeas}{Basic ideas}\dotfill \pageref*{BasicIdeas} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{ProjectiveLine}{Projective line}\dotfill \pageref*{ProjectiveLine} \linebreak
\noindent\hyperlink{UnitaryGroup}{Unitary group}\dotfill \pageref*{UnitaryGroup} \linebreak
\noindent\hyperlink{arithmetic_principal_unitary_bundles}{Arithmetic principal unitary bundles}\dotfill \pageref*{arithmetic_principal_unitary_bundles} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak
\noindent\hyperlink{reference}{Reference}\dotfill \pageref*{reference} \linebreak


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

Overconvergent [[global analytic geometry]] is a setting for global analytic geometry that allows the definition of strict and non-strict analytic spaces over an arbitrary [[Banach rings]], [[ind-object|ind-]]Banach ring, or more [[ind-object|ind-]][[pseudo-Banach ring]]. It also gives a notion of [[analytic motivic homotopy theory]] and [[derived global analytic geometry]].

\hypertarget{BasicIdeas}{}\subsection*{{Basic ideas}}\label{BasicIdeas}

The basic building blocks for overconvergent global analytic geometry over a given [[Banach ring]] $(R,{\vert\cdot\vert})$ are given by [[polydiscs]] of [[radius]] $1$ (in the strict situation) or arbitrary real radius (in the non-strict situation), and more generally, by strict (or non-strict) rational domains in them. This gives two categories $RatAlg_R^s$ and $RatAlg_R$ of rational domain algebras that actually form \href{geometry+%28for+structured+%28infinity%2C1%29-toposes%29#Pregeometry}{pre-geometries} in the sense of Lurie.

One then defines analytic (resp. derived analytic) algebras as functors (resp. homotopical functors) of functions on the categories of rational domain algebras. The various types of finitely presented analytic algebras define various types of [[geometry (for structured (infinity,1)-toposes)|geometries]] in Lurie's sense. One may then define analytic (resp. derived analytic) stacks as functors (resp. homotopical functors) of points on analytic (resp. derived analytic) algebras.

This gives in particular four categories $An_R^\dagger$, $An_R^{\dagger,s}$, $DAn_R^\dagger$ and $DAn_R^{\dagger,s}$ of strict and non-strict overconvergent derived and non-derived analytic spaces.

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

\hypertarget{ProjectiveLine}{}\subsubsection*{{Projective line}}\label{ProjectiveLine}

One may define the strict [[projective line]] $\mathbb{P}^1_R$ over $R$ by pasting the overconvergent unit disc $D^1=\mathbb{M}(R\{T\}^\dagger)$ with itself along its boundary $U(1)=\mathbb{M}(R\{T,S\}^\dagger/(ST-1))$ by the map $T\mapsto 1/T$. This gives a strict analytic space over $R$. This strict construction of the projective line is particularly interesting when the base Banach ring is the ring $\mathbb{Z}$ of [[integers]] equipped with its usual [[archimedean absolute value]]. This strict structure is intuitively very close to what people call an archimedean compactification, e.g., in [[Arakelov geometry]].

\hypertarget{UnitaryGroup}{}\subsubsection*{{Unitary group}}\label{UnitaryGroup}

One may try to use a similar construction to define higher dimensional global analogs of [[unitary groups]]: one may simply start from the strict [[polydisc]]

\begin{displaymath}
M_n^{\leq 1}
  := \{(a_{ij})\in M_n,\;\max_{i,j}|a_{ij}|\leq 1\}
\end{displaymath}
in the (non-strict analytic) [[affine space]] $M_n=\mathbb{A}^{n^2}$ of [[matrices]]. Since matrix multiplication on $M_n$ does not restrict to a morphism

\begin{displaymath}
M_n^{\leq 1}\times_R M_n^{\leq 1}\to M_n^{\leq 1},
\end{displaymath}
this matrix polydisc is not a monoid. This implies that the naive definition of a global analytic version of $U(n)$, given by

\begin{displaymath}
U(n)
\coloneqq
\{(A,B)\in M_n^{\leq 1},\;A B = B A = I\},
\end{displaymath}
only gives a strict analytic space that is not equipped with an analytic group structure (except if one works in a non-archimedean setting).

One may however associate to $M_n^{\leq 1}$ a [[simplicial object|simplicial]] [[analytic space]] (a kind of [[nerve]]) given by forcing the multiplication to be defined:

\begin{displaymath}
BM_n^{\leq 1}_{[k]}\coloneqq
\{(A_i)\in (M_n^{\leq 1})^{k},\;
\prod_{j\in [s]} A_j\in (M_n^{\leq 1})^{s}\;\forall f:[s]\hookrightarrow [k]\}.
\end{displaymath}
One may then define the $n$-dimensional global unitary [[infinity-groupoid]] $BU(n)$ to be given by the analytic sub-groupoid of $B\GL_n$ defined by

\begin{displaymath}
BU(n)
  \coloneqq 
  B\GL_n\cap BM_n^{\leq 1}
  \,.
\end{displaymath}
Remark now that $BM_n^{\leq 1}$ is a strict simplicial analytic space, because it is a subspace of the strict simplicial space $[k]\mapsto (M_n^{\leq 1})^k$ defined by strict inequalities. One may also see $BU(n)$ as a closed strict simplicial analytic subspace of $BM_n^{\leq 1}\times BM_n^{\leq 1}$ of pairs $(A,B)$ such that $AB=BA=I$.

We may now look at what we get over various standard Banach rings:

\begin{itemize}%
\item Over $(\mathbb{Z},|\cdot|_0)$, the scheme (i.e., strict analytic space over a trivially normed ring) $U(n)$ is isomorphic to $GL_{n,\mathbb{Z}}$.


\item Over $(\mathbb{Q}_p,|\cdot|_p)$, the rigid analytic space $U(n)$ is such that $U(n)(\mathbb{Q}_p)=\GL_n(\mathbb{Z}_p)$.


\item Over $(\mathbb{Z},|\cdot|_\infty)$, the space $U(n)$ is not an analytic group, and $U(n)(\mathbb{Z},|\cdot|_\infty)$ is closer to what people usually denote $\GL_n(\mathbb{F}_{\{\pm 1\}})$, where $\mathbb{F}_{\{\pm 1\}}$ denotes the [[field with one element]] in Durov's sense.


\item Over $\mathbb{C}$, the space $U(n)$ contains the classical unitary group $U(n)(\mathbb{C})$, since one has, for every complex matrix $A=(a_{ij})$, a natural inequality

\begin{displaymath}
\|A\|_{max}:=\max(|a_{ij}|)\leq \|A\|_2,
\end{displaymath}
where $\|A\|_2$ is the operator norm for the hermitian norm on $\mathbb{C}^n$. This thus gives a natural morphism

\begin{displaymath}
BU_{n}(\mathbb{C})\to BU(n)(\mathbb{C})
\end{displaymath}
from the simplicial classifying space of the classical unitary group $U_{n}(\C)$ to the complex points of the simplicial ``classifying space'' $BU(n)$.



\end{itemize}
It is also clearly compact (contained in a product of polydiscs) and contained in the non-strict analytic group $\GL_{n}(\mathbb{C})$. Since $U(n)(\mathbb{C})$ is a maximal compact subgroup, we have that $U(n)$ is indeed the complex unitary group over $\mathbb{C}$.

\hypertarget{arithmetic_principal_unitary_bundles}{}\subsubsection*{{Arithmetic principal unitary bundles}}\label{arithmetic_principal_unitary_bundles}

The good properties of the global analytic unitary group \textbf{may} imply that there is a natural bijection

\begin{displaymath}
\pi_0(BU(n)(\mathbb{Z},|\cdot|_\infty))\cong
K\backslash \GL_n(\mathbb{A})/\GL_n(\mathbb{Q}),
\end{displaymath}
where $K$ is the maximal compact subgroup $O(n,\mathbb{R})\times \GL_n(\hat{\mathbb{Z}})$ of $\GL_n(\mathbb{A})$. It is thus quite a tempting idea to try to formulate the arithmetic [[Langlands program]] in geometric terms (similar to the ones used in the [[geometric Langlands correspondence]] over a function field) using the classifying stack $BU(n)$ of principal $U(n)$-bundles on strict global analytic spaces.

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

[[derived analytic geometry]]

[[global Hodge theory]]

[[global analytic index theory]]

[[generalized global analytic geometry]]

\hypertarget{reference}{}\subsection*{{Reference}}\label{reference}

\begin{itemize}%
\item [[Frédéric Paugam]] \emph{Overconvergent global analytic geometry} (\href{http://arxiv.org/abs/1410.7971}{arXiv:1410.7971})

\end{itemize}


\end{document}