\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{mathbbol}
\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*{generalized global analytic geometry}

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

\noindent\hyperlink{ideas_and_objectives}{Ideas and objectives}\dotfill \pageref*{ideas_and_objectives} \linebreak
\noindent\hyperlink{seminormed_and_metrized_ring_categories}{Seminormed and metrized ring $\infty$-categories}\dotfill \pageref*{seminormed_and_metrized_ring_categories} \linebreak
\noindent\hyperlink{valuation_rig_categories}{Valuation rig $\infty$-categories}\dotfill \pageref*{valuation_rig_categories} \linebreak
\noindent\hyperlink{classical_approach_the_metrized_spectrum}{Classical approach: the metrized spectrum}\dotfill \pageref*{classical_approach_the_metrized_spectrum} \linebreak
\noindent\hyperlink{functorial_approach_derived_stacks_over_metrized_ringed_categories}{Functorial approach: derived stacks over metrized ringed categories}\dotfill \pageref*{functorial_approach_derived_stacks_over_metrized_ringed_categories} \linebreak
\noindent\hyperlink{adelic_description_of_principal_bundles_on_}{Adelic description of principal $\GL_n$-bundles on $\overline{\mathcal{M}(\mathbb{Z})}$}\dotfill \pageref*{adelic_description_of_principal_bundles_on_} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{ideas_and_objectives}{}\subsection*{{Ideas and objectives}}\label{ideas_and_objectives}

The motivation of generalized global analytic geometry is to define analytic spaces associated to rig categories, and to use their relations with classical [[global analytic geometry|global analytic spaces]] in order to properly define [[Arakelov geometry|Arakelov models]] of [[arithmetic varieties]] in an analytic setting.

Since rig categories are categorical analogs of associative and commutative semi-rings, a proper theory for them can only be given in the setting of $\infty$-categories.

One will thus need to define [[overconvergent global analytic geometry|overconvergent global analytic spaces]] over a given rig $\infty$-category, rational domains in them, and compare the associated $G$-topology with the usual $G$-topology of overconvergent analytic geometry. Generalizing directly Haran's definition of the rig of integers of $(\mathbb{R},|\cdot|_\infty)$, we will then give examples of rig $\infty$-category with a well defined notion of rig $\infty$-category of analytic functions, and use them to define natural Arakelov-type compactifications of strict overconvergent global analytic spaces over $(\mathbb{Z},|\cdot|_\infty)$.

To be able to complete non-additive rig categories, we will have to replace seminorms by rig metrics (metrics on morphism spaces that are compatible with the rig category structure). We will then define a category of rational domain rig categories that will be the building blocks of analytic ring categories and analytic ringed spaces. All these constructions will be compatible with the standard flow on metrics and absolute value given by taking $t$-th power for $t\in \mathbb{R}_+^*$.

\hypertarget{seminormed_and_metrized_ring_categories}{}\subsection*{{Seminormed and metrized ring $\infty$-categories}}\label{seminormed_and_metrized_ring_categories}

A ring $\infty$-category is a model of the Lawvere theory of rings (given by the category with finite products opposite to the category of finitely generated polynomial semirings over the initial ring $\mathbb{Z}$) with values in the category with products of $\infty$-categories. If we give such a rig $\infty$-category

\begin{displaymath}
\mathcal{A}:(T_{Rings},\times)\longrightarrow ({}^\infty Cat,\times),
\end{displaymath}
we may associate to it a classical ring-category $h(\mathcal{A})$. A multiplicative seminorm on $\mathcal{A}$ will be a multiplicative seminorm on $h(\mathcal{A})$ in the sense of the article cited on this page. If $\mathcal{A}$ is a rig category in the classical sense, one may extend it by a kind of nerve construction to a rig $\infty$-category. Indeed, the nerve $N(\mathcal{A})$ of $\mathcal{A}$ gives an $\infty$-category. By sending $\mathbb{A}^n$ to $N(\mathcal{A})^n$, one defines a functor

\begin{displaymath}
N_{\oplus,\otimes}(\mathcal{A}):T_{SRings}\to {}^\infty Cat
\end{displaymath}
given by sending a polynomial map $f=\sum a_\alpha X^\alpha:\mathbb{A}^n\to \mathbb{A}^1$ to the corresponding functor

\begin{displaymath}
N_{\oplus,\otimes}(f):=
(M_1,\dots,M_n)\mapsto \bigoplus_\alpha\oplus_{a_\alpha}(M_1,\dots,M_n)^{\otimes \alpha}.
\end{displaymath}
There is a natural functor from the category of (commutative) rings to the category of ring $\infty$-categories given by sending a ring $A$ to its category $FMod(A)$ of free finitely generated modules, together with their usual direct sum and tensor product. This functor is fully faithful.

Recall that the Berkovich spectrum of $FMod(\mathbb{Z})$ projects on the space of ``Artin'' seminorms, that fulfill a weak triangle inequality of the form

\begin{displaymath}
|a+b|\leq C\,\max(|a|,|b|).
\end{displaymath}
A stable symmetric monoidal $\infty$-category is also a natural example of a ring $\infty$-category, with additive homotopy category (since the direct sum monoidal structure is given by the product, or equivalently coproduct, of the given $\infty$-category).

One may define the Berkovich spectrum of a ring $\infty$-category by setting

\begin{displaymath}
\mathcal{M}(\mathcal{A})=\mathcal{M}(h(\mathcal{A})).
\end{displaymath}
This means that the Berkovich spectrum doesn't really encode the homotopy information. However, it is quite practical to work with rig $\infty$-categories because they have nice categorical properties such as (at least finite) limits and colimits.

We will also work with the notion of a ring metric on a ring category, given by a ring norm on its homotopy category.

\hypertarget{valuation_rig_categories}{}\subsection*{{Valuation rig $\infty$-categories}}\label{valuation_rig_categories}

Given a multiplicative seminorm $|\cdot|$ on a rig $\infty$-category $\mathcal{A}$, one may define the associated generalized valuation ring as the rig $\infty$-category $O_\mathcal{A}$ whose homotopy category is given by

\begin{displaymath}
h(O_\mathcal{A}):=\{f\in h(\mathcal{A}),\;|f|\leq 1\}.
\end{displaymath}
For example, Haran's definition of the ring of integers of $\mathbb{R}$ is given by

\begin{displaymath}
\mathbb{Z}_\eta:=O_{(FMod(\mathbb{R}),\|\cdot\|_2)}.
\end{displaymath}
One may also define an ind-seminormed rig $\infty$-category

\begin{displaymath}
\mathbb{Z}^\dagger_\eta:=\colim_{\rho\to 1}
O_{(FMod(\mathbb{R}),\|\cdot\|^\rho_2)}.
\end{displaymath}
Remark that the $L^2$ norm $\|\cdot\|_2$ on the rig category $FMod(\mathbb{R})$ may be extended to a family of norms on the rig category $FMod(\mathbb{R}\{X\}^\dagger)$, by putting on the free module $(\mathbb{R}\{X\}^\dagger)^n$ the norms given by

\begin{displaymath}
\|(\sum a_{i,1} X^i,\dots,\sum a_{i,n} X^i)\|_{\rho,2}:=
\|(\sum |a_{i,1}|_\infty\rho^i,\dots,\sum |a_{i,n}|_\infty\rho^i)\|_2.
\end{displaymath}
This seminorm is only sub-multiplicative for the tensor product operation. One may then give a construction of the ind-seminormed rig $\infty$-category

\begin{displaymath}
\mathbb{Z}_\eta\{X\}^\dagger:=O_{FMod(\mathbb{R}\{X\}^\dagger)}.
\end{displaymath}
\hypertarget{classical_approach_the_metrized_spectrum}{}\subsection*{{Classical approach: the metrized spectrum}}\label{classical_approach_the_metrized_spectrum}

If $(\mathcal{A},d_{\mathcal{A}})$ is a metrized ring category, we may define its metrized spectrum as the set $X=\mathcal{D}(\mathcal{A},d_{\mathcal{A}})$ of multiplicative metrics such that $d\leq d_\mathcal{A}$. This set has a natural map to the Berkovich spectrum of the associated seminorm $d_\mathcal{A}(0,-)$, but one needs to work with metrics instead of norms to be able to define completions of non-additive ring categories. One may define germs $\mathcal{O}_x$ at a point $x\in X$ as equivalence classes of pairs $(V,(f_n))$ composed of an open neighborhood $V$ of $x$ and a sequence of rational functions without poles $f_n\in \mathcal{K}(V)$ such that $y\mapsto d(f_n(y),f_m(y))$ is bounded on $V$ for every $n,m$ and the limit of $sup_{y\in V}d(f_n(y),f_m(y))$ is zero as $n,m$ tend to $\infty$. We then define analytic functions as maps

\begin{displaymath}
f:U\to \coprod_{x\in U} \Hom_{\mathcal{O}_x}(M,N)
\end{displaymath}
($M$ and $N$ are objects of $\mathcal{A}$, seen as objects of $\mathcal{O}_x$) such that for every point $x\in U$, there is a neighborhood $V$ of $x$ and a sequence of rational function $(f_n)$ such that $y\mapsto d(f_n(y),f(y))$ is bounded on $V$ and its supremum tends to zero. The obtained sheaf $\mathcal{O}_X$ has a map from rational functions $\mathcal{K}_X$ by definition.

Morphisms of analytic spaces will be those induced by morphisms of metrized ring categories.

Remark that the point $d_\infty^\infty$ doesn't even make sense in $\mathcal{D}(\mathbb{Z}_\eta,d_\infty)$, because $d_\infty^t(-1,1)$ tends to infinity. However, the associated norm makes sense. Inspired by this remark, we define the rig category of analytic functions on $\mathcal{M}(\mathcal{A},d_\mathcal{A}(0,-))$ as the direct image along

\begin{displaymath}
\phi:\mathcal{D}(\mathcal{A},d_\mathcal{A})\to \mathcal{M}(\mathcal{A},d_\mathcal{A}(0,-))
\end{displaymath}
of the structural sheaf we just defined on the space of metrics.

\hypertarget{functorial_approach_derived_stacks_over_metrized_ringed_categories}{}\subsection*{{Functorial approach: derived stacks over metrized ringed categories}}\label{functorial_approach_derived_stacks_over_metrized_ringed_categories}

One may define a natural class of ind-metrized ring categories by the following process: first, one defines the category of metrized power series ring categories over $\mathbb{Z}$ in the usual way, using the $L^2$-norm and its real powers. Then one defines power series ring categories over $\mathbb{Z}_\eta$ as valuation ring categories of power series ring categories over $\mathbb{R}$. Then we define rational domain algebras over both types of power series rings, as coequalizers of morphisms such as $fX$ and $g$ with $fX,g\in \mathrm{End}(\mathbb{1})$. This is where we need the metric structure (because the norm will not allow completion) on morphism spaces. This gives a subcategory of ind-metrized ring categories called rational domain algebra categories.

One then gets inspiration from Dubuc's work on synthetic analytic geometry and Lurie's work on general pre-geometries to define general analytic ring categories as arbitrary colimits (in the category of ind-metrized ring categories) of rational domain algebra categories, or maybe, as functors of functions that commute with products and standard pullbacks along rational domain embeddings. One may then define a Grothendieck topology on analytic ring categories and use it to define sheaves (functors of points) that will extend (in a sense to be explained) global analytic spaces (in the sense of the paper cited down this page) to a wider class of spaces.

In this new category $\An^\dagger_{\mathbb{F}_{\{\pm 1\}}}$, we may define, for example

\begin{displaymath}
\overline{\mathcal{M}(\mathbb{Z})}:=
\{|2|\geq 3/2\}\coprod_{\{2\geq |2|\geq 3/2\}}\{2\geq |2|\},
\end{displaymath}
where the left domain is from $\mathcal{M}(\mathbb{Z}_\eta)$ and the two other domains are from $\mathcal{M}(\mathbb{Z})$.

The gives a category $An^{\dagger,s}_\overline{\mathcal{M}(\mathbb{Z})}$ of Arakelov-type varieties.

\hypertarget{adelic_description_of_principal_bundles_on_}{}\subsection*{{Adelic description of principal $\GL_n$-bundles on $\overline{\mathcal{M}(\mathbb{Z})}$}}\label{adelic_description_of_principal_bundles_on_}

The main motivation for compactifying global analytic spaces using the ring categories approach is to get a geometric interpretation of the standard adelic quotient

\begin{displaymath}
\GL_n(\mathbb{Q})\backslash\GL_n(\mathbb{A})/K,
\end{displaymath}
where $K$ is the maximal compact subgroup of the adelic group, as a moduli space of bundles.

An $F$-rig category is a rig category whose objects are all isomorphic to objects of the form $\mathbb{1}^{\oplus n}$ for $n\in \N$, with the convention that $\mathbb{1}^{\oplus 0}:=0$.

Let $\GL_n$ be the functor on rig categories that sends $(\mathcal{A},\oplus,\otimes)$ to

\begin{displaymath}
\GL_n(\mathcal{A}):=\Isom_\mathcal{A}(\mathbb{1}^{\oplus n},\mathbb{1}^{\oplus n}).
\end{displaymath}
A principal $\GL_n$-bundle on a generalized analytic space $X$ is a space $F\to X$ that is isomorphic, locally on $X$, to the space $\GL_n$. One may actually define an $\infty$-stack $B\GL_n$ by sheafifying the nerve of the groupoid $B\GL_n$.

We denote $\Bun_n(\cdot):=\Hom_{St}(\cdot,B\GL_n)$ the $\infty$-stack of $\GL_n$-bundles on generalized analytic spaces.

By construction, we will have

\begin{displaymath}
\pi_0(\Bun_n(\overline{\mathcal{M}(\mathbb{Z})}))\cong \GL_n(\mathbb{Q})\backslash\GL_n(\mathbb{A})/K,
\end{displaymath}
where $K$ is the maximal compact subgroup of the adelic group.

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

[[Frédéric Paugam]] \emph{Analytic spectrum of rig categories} \href{http://www.tac.mta.ca/tac/volumes/29/6/29-06abs.html}{TAC}

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



\end{document}