Toric schemes correspond to objects like the simplicial complexes studied in algebraic topology. To construct a toric scheme, we need a fan, which consists of (strongly convex rational polyhedral) cones. If a cone is contained in this fan, so are its faces. A strongly convex rational polyhedral cone is, by definition, a cone with an apex at the origin, generated by a finite number of vectors, and satisfies some conditions. Such a cone $\sigma$  provides a finite generates semigroup and this semigroup gives a neotherian (semigroup) algebra $\mathbb{Q}\left[S_{\sigma }\right]$  over $\mathbb{Q}$  . Therefore each cone provides an affine scheme.

Patching these schemes in some way, we get a separated integral scheme over $\mathbb{Q}$  . Call it the toric scheme associated to the given fan.

Luckily, the authors find this method can be used to construct rigid spaces, too.

Taking the $p$  -adic completion of ${\mathbb{Q}}_p\left[S_{\sigma }\right]$  , we get an affinoid algebra and then an affinoid rigid space. Patching all these affinoid rigid spaces, we get a rigid space, and call it the toric rigid space associated to the given fan. We find that its natural reduction is exactly the toric scheme over ${\mathbb{F}}_p$  associated to the same fan.

There are many problems occurring. For example, what is the relation between the toric rigid space that we get and the rigid analytification of the toric scheme defined over ${\mathbb{Q}}_p$  associated to the same fan? In general, they are not the same, but sometimes they are. How can we understand such a phenomenon? We shall point out that the toric rigid spaces that we construct are more natural than the latter.

Professor S. Bosch and B. Le Stum gave several courses on rigid geometry at Peking university. Thanks to their work, we develop our ideas in this paper.

2 Toric affinoid algebras and toric rigid spaces

2.1 Construction of toric rigid spaces

Let $K$  be a field with a complete non Archimedean absolute value and $\overline{K}$  be its algebraic closure. Assume its residue field $k$  is of characteristic $p$  .

Let $N$  be a lattice which is isomorphic to ${\mathbb{Z}}^n$  for some positive integer $n$  and $\sigma$  be a strongly convex rational polyhedral cone in the vector space $N_{\mathbb{R}}=N{\otimes }_{\mathbb{Z}}\mathbb{R}.$  A strongly convex rational polyhedral cone is a cone with an apex at the origin, generated by a finite number of vectors; “rational” means that it is generated by vectors in the lattice $N$  , and “strong” means that it contains no line through the origin.

Write $V$  for $N_{\mathbb{R}}$  , then the dual cone of $\sigma$  is defined as

$$\begin{array}{c}{\sigma }^{\vee }:=\{u\in V^{*}:<u,v>⩾0,\forall v\in \sigma \}.\end{array}$$

(1)

We denote $M=Hom(N,\mathbb{Z})$  as its dual lattice with dual pairing denoted by $<,>$  .

Set

$$\begin{array}{c}{S}_{\sigma }:={\sigma }^{\vee }\cap M,\end{array}$$

(2)

which is a semigroup. As a result, $S_{\sigma }$  is finitely generated.

Given such an $S_{\sigma }$  , we define an affinoid algebra $K\langle S_{\sigma }\rangle$  associated to it. $K\langle S_{\sigma }\rangle$  is just the $p$  -adic completion of the (semigroup) algebra $K\left[S_{\sigma }\right]$  . It's equivalent to say that

$$\begin{array}{c}K\langle S_{\sigma }\rangle :=K{\otimes }_R{lim}_{\leftarrow }R/p^{n}R\left[S_{\sigma }\right].\end{array}$$

(3)

Here, $R$  is the integral ring of $K$  . It is easy to check that it is a finitely generated commutative affinoid algebra. We call it the toric affinoid algebra associated to $\sigma .$  We denote $\left\{{\chi }^u\right|u\in S_{\sigma }\}$  as a basis of the vector space $K\langle S_{\sigma }\rangle$  , and we have $${\chi }^{u_1}\cdot {\chi }^{u_2}={\chi }^{u_1+u_2}.$$  The unit $1$  is just ${\chi }^0$  . Generators $\left\{u_i\right\}$  for the semigroup $S$  determine generators ${\chi }^{u_i}$  for the $K$  -algebra $K\langle S\rangle$  . Denote $X_i$  for ${\chi }^{u_i}$  for simple, then $$K\langle S\rangle =K\langle X_1,X_2,\cdot \cdot \cdot ,X_n\rangle =K\langle {\zeta }_1,{\zeta }_2,\cdot \cdot \cdot ,{\zeta }_n\rangle /I,$$  where $n$  is the number of the generators of $K$  -algebra $K\langle S\rangle$  , each ${\zeta }_i$  is an indeterminate element, and $I$  is an ideal of $K\langle {\zeta }_1,{\zeta }_2,\cdot \cdot \cdot ,{\zeta }_n\rangle$  .

Set

$$\begin{array}{c}{U}_{\sigma }=Sp(K\langle S_{\sigma }\rangle )\end{array}$$

(4)

as the corresponding rigid space.

Now we begin to consider a fan $\Delta$  in $N_{\mathbb{R}}$  and the rigid space defined according to it. A fan $\Delta$  is defined as the collection of “strongly convex rational polyhedral cones” satisfying the following two conditions:

• 1. Every face of a cone in $\Delta$  is a cone in $\Delta$  .
  2. The intersection of two cones in $\Delta$  is a face of each other.

When $\tau$  is a face of $\sigma$  in $\Delta$  , $S_{\sigma }$  is contained in $S_{\tau }$  .We can find a $u\in S_{\sigma }$  such that $\tau =\sigma \cap u^{\perp }$  and $$S_{\tau }=S_{\sigma }+{\mathbb{Z}}_{\ge 0}(-u).$$  Then we have $$K\langle S_{\tau }\rangle =(K\langle S_{\sigma }\rangle {)}_{{\chi }^u}.$$  So we get an open embedding $i_{\sigma }^{\tau }:U_{\tau }\hookrightarrow U_{\sigma }$  . We glue all these $U_{\sigma }$  ( $\sigma \in \Delta$  ) by the following way. If $\sigma ,{\sigma }_1\in \Delta$  and $\sigma \cap {\sigma }_1=\tau$  , we glue $U_{\sigma }$  and $U_{{\sigma }_1}$  by the immersions $i_{\sigma }^{\tau }$  and $i_{{\sigma }_1}^{\tau }$  . We denote the rigid space we get by $R(\Delta )$  . Write $T(\Delta )$  for the corresponding toric scheme in the same sense as in [4] .

Now we come to the following proposition.

Proposition 1. $R(\Delta )$  is a rigid space.

We want to show that all toric rigid spaces are separated. We need the following lemma.

Lemma 1. If $\sigma$  and $\tau$  are two strongly convex polyhedral cones in $N_{\mathbb{R}}$  , we have ${\sigma }^{\vee }+{\tau }^{\vee }=(\sigma \cap \tau {)}^{\vee }$  .

• Proof. First we prove ${\sigma }^{\vee }+{\tau }^{\vee }\subseteq (\sigma \cap \tau {)}^{\vee }$  . If $u\in {\sigma }^{\vee }$  and $v\in {\tau }^{\vee }$  , and $t\in \sigma \cap \tau$  , then $<u,t>+<v,t>\ge 0$  by the definition. So $u+v\in (\sigma \cap \tau {)}^{\vee }.$  Then we prove ${\sigma }^{\vee }+{\tau }^{\vee }\supseteq (\sigma \cap \tau {)}^{\vee }$  . It is equivalent to show that $({\sigma }^{\vee }+{\tau }^{\vee }{)}^{\vee }\subseteq ((\sigma \cap \tau {)}^{\vee }{)}^{\vee }=\sigma \cap \tau$  .
  From ${\sigma }^{\vee }\subseteq {\sigma }^{\vee }+{\tau }^{\vee }$  , we get $\sigma =({\sigma }^{\vee }{)}^{\vee }\supseteq ({\sigma }^{\vee }+{\tau }^{\vee }{)}^{\vee }.$  And from ${\tau }^{\vee }\subseteq {\sigma }^{\vee }+{\tau }^{\vee }$  , we get $\tau =({\tau }^{\vee }{)}^{\vee }\supseteq ({\sigma }^{\vee }+{\tau }^{\vee }{)}^{\vee }.$  Therefore, $\sigma \cap \tau \supseteq ({\sigma }^{\vee }+{\tau }^{\vee }{)}^{\vee }$  .

From the proof of the above lemma, we can find it is also right that

$$\begin{array}{c}({\sigma }^{\vee }+{\tau }^{\vee })\bigcap M=\left(\right(\sigma \cap \tau {)}^{\vee })\bigcap M.\end{array}$$

(5)

Now we have sufficient preparations to prove the following theorem.

Theorem 1. $R(\Delta )$  is separated for a given fan $\Delta$  in $N_{\mathbb{R}}$  .

• Proof. $\{U_{\sigma }:\sigma$  is a cone in $\Delta \}$  is an affinoid covering of $R(\Delta )$  . We have to prove two facts that $U_{\sigma }\cap U_{\tau }$  is affinoid for $\sigma ,\tau$  in $\Delta$  , and that $\mathcal{O}(U_{\sigma }\cap U_{\tau })$  is generated by the canonical image of $\mathcal{O}\left(U_{\sigma }\right)$  and $\mathcal{O}\left(U_{\sigma }\right)$  .
  Because $U_{\sigma }\cap U_{\tau }=U_{\sigma \cap \tau }$  , we have got the first fact.

  As $\mathcal{O}\left(U_{\sigma }\right)=K\langle S_{\sigma }\rangle$  , $\mathcal{O}\left(U_{\tau }\right)=K\langle S_{\tau }\rangle$  and $\mathcal{O}\left(U_{\sigma \cap \tau }\right)=K\langle S_{\sigma \cap \tau }\rangle$  , we only have to prove that $K\langle S_{\sigma }\rangle$  and $K\langle S_{\tau }\rangle$  can generate $K\langle S_{\sigma \cap \tau }\rangle$  . It is obvious that $S_{\sigma \cap \tau }$  is the sum of $S_{\sigma }$  and $S_{\tau }$  due to the relation ( 5 ).

The rigid spaces we get are also integral rigid spaces.

Theorem 2. $R(\Delta )$  is integral for a given fan $\Delta$  in $N_{\mathbb{R}}$  .

• Proof. Since intersect of $U_{\sigma }(\sigma \in \Delta )$  is not empty, we only have to prove that $K\langle S_{\sigma }\rangle$  is integral, which is the next proposition.

Proposition 2. If $\sigma$  is a strongly convex rational polyhedral cone in $N_{\mathbb{R}}$  , $K\langle S_{\sigma }\rangle$  is integral.

• Proof. Choose a basis $u_1,...,u_n$  of $M_{\mathbb{R}}$  , which lie in ${\sigma }^{\vee }\cap M$  . We can define an order of ${\sigma }^{\vee }\cap M$  compatible with the additive operation in ${\sigma }^{\vee }\cap M$  in the following way. Let $u,v\in {\sigma }^{\vee }\cap M$  , and write $u={\sum }_i{a}_i{u}_i,v={\sum }_i{b}_i{u}_i$  , with $a_i,b_i\in \mathbb{Q}$  . We say $u<v$  , if and only if there exists an $i$  , $1\le i\le n$  , such that $a_j=b_j$  for all $1\le j<i$  and $a_i<b_i$  .
  For any nonzero element $f$  in $K\langle S_{\sigma }\rangle$  , write $f={\sum }_u{c}_{f,u}{\chi }^u$  with $c_{f,u}\in K$  . Let $u_f\in {\sigma }^{\vee }\cap M$  be $min\{u\in {\sigma }^{\vee }\cap M;|c_{f,u}|ismaximal\}$  .

  For two nonzero elements $f,g$  in $K\langle S_{\sigma }\rangle$  , it is easy to see that $\left|c_{fg,u}\right|<\left|c_{f,u_f}\right|\left|c_{g,u_g}\right|$  for $u<u_f+u_g$  , that $\left|c_{fg,u}\right|\le \left|c_{f,u_f}\right|\left|c_{g,u_g}\right|$  for $u>u_f+u_g$  , and that $\left|c_{fg,u_f+u_g}\right|=\left|c_{f,u_f}\right|\left|c_{g,u_g}\right|$  . Therefore $fg$  is not zero and $u_{fg}=u_f+u_g$  . We have finished the proof.

We write $pt$  for the fan defined by the origin. Then

$$\begin{array}{c}K\langle S_{pt}\rangle =K\langle X_1,...,X_n,X_1^{-1},...,X_n^{-1}\rangle .\end{array}$$

(6)

$U_{pt}$  is a group rigid space (a torus) and has an action on $R(\Delta )$  . In fact $K\langle S_{pt}\rangle$  is a Hopf affinoid algebra over $K$  . Its comultiplication $m^{*}$  is defined by $m^{*}\left(X_i\right)=X_i\otimes X_i$  , its coinverse $s$  is defined by $s\left(X_i\right)=X_i^{-1}$  , and its counite $\varepsilon$  is defined by $\varepsilon \left(X_i\right)=1$  for $1\le i\le n$  . For any cone $\sigma$  , there is a natural map $K\langle S_{\sigma }\rangle \hookrightarrow K\langle S_{pt}\rangle$  . It's easy to see that $m^{*}(K\langle S_{\sigma }\rangle )\subseteq K\langle S_{\sigma }\rangle \otimes K\langle S_{\sigma }\rangle \subseteq K\langle S_{\sigma }\rangle \otimes K\langle S_{pt}\rangle$  , which defines a natural action of $U_{pt}$  on $U_{\sigma }$  . If $\tau$  is a face of $\sigma$  , the action of $U_{pt}$  on $U_{\tau }$  is the same as the restriction of the action of $U_{pt}$  on $U_{\sigma }$  . Therefore, patching all these actions, we get an action of $U_{pt}$  on $R(\Delta )$  .

We point out that, since there is a natural affine covering over $R(\Delta )$  , we can use it to calculate the Cech cohomology for any given coherent sheaf over $R(\Delta )$  .

We can show that when the support of $\Delta$  is the whole $N_{\mathbb{R}}$  , $R(\Delta )$  is a proper rigid space (see [4] for its proof).

For a given fan $\Delta$  , we can also construct a toric scheme $T(\Delta )$  in the original sense, then its rigid analytification (definition of rigid analytification, see [1] ) $RT(\Delta )$  is also a rigid space, but it is not isomorphic to $R(\Delta )$  in general. For example, for a simple cone $\sigma$  , $RT\left(\sigma \right)$  hasn't a finite affinoid covering, however, $R\left(\sigma \right)$  is an affinoid space. But the authors don't know whether $R(\Delta )$  and $RT(\Delta )$  are isomorphic when the support of $\Delta$  is the whole $N_{\mathbb{R}}$  .

2.2 Examples

In this subsection, we give two examples of toric rigid spaces.

Example 1. The projective rigid spaces ${\mathbb{P}}_n$  over ${\overline{\mathbb{Q}}}_p$  .

1. $n=2$  Assume $N=\mathbb{Z}\times \mathbb{Z}$  with a basis $\{u_1,u_2\}$  . We define three strongly convex rational polyhedral cones ${\sigma }_1$  , ${\sigma }_2$  , ${\sigma }_3$  in $N_{\mathbb{R}}$  in the following way. ${\sigma }_1$  is the cone generated by $u_1$  and $u_2$  , ${\sigma }_2$  is the cone generated by $-u_1-u_2$  and $u_2$  , and ${\sigma }_3$  is the cone generated by $-u_1-u_2$  and $u_1$  . Let $\Delta$  be the fan $$\{{\sigma }_1,{\sigma }_2,{\sigma }_3,{\sigma }_1\cap {\sigma }_2,{\sigma }_1\cap {\sigma }_3,{\sigma }_2\cap {\sigma }_3,{\sigma }_1\cap {\sigma }_2\cap {\sigma }_3\}.$$  Write $X_i$  for ${\chi }^{u_i}$  ( $i=1,2$  ) for simple. Then ${\overline{Q}}_p\langle S_{{\sigma }_1}\rangle ={\overline{Q}}_p\langle X_1,X_2\rangle$  , ${\overline{Q}}_p\langle S_{{\sigma }_2}\rangle ={\overline{Q}}_p\langle X_1^{-1},X_1^{-1}{X}_2\rangle$  , and ${\overline{Q}}_p\langle S_{{\sigma }_3}\rangle ={\overline{Q}}_p\langle X_2^{-1},X_2^{-1}{X}_1\rangle$  . $R(\Delta )$  is the two dimensional projective rigid space ${\mathbb{P}}^2$  over ${\overline{\mathbb{Q}}}_p$  . $U_{{\sigma }_1}$  corresponds to $\left\{\right[x_0,x_1,x_2]\in {\mathbb{P}}_2:|x_1|\le |x_0|,|x_2|\le |x_0\left|\right\}$  , $U_{{\sigma }_2}$  corresponds to $\left\{\right[x_0,x_1,x_2]\in {\mathbb{P}}_2:|x_0|\le |x_1|,|x_2|\le |x_1\left|\right\}$  , and $U_{{\sigma }_2}$  corresponds to $\left\{\right[x_0,x_1,x_2]\in {\mathbb{P}}_2:|x_0|\le |x_2|,|x_1|\le |x_2\left|\right\}$  .

2. $n\ge 3$  It is similar to the case $n=2$  . Assume $N={\mathbb{Z}}^{\oplus n}$  with a basis $\{u_1,u_2,...,u_n\}$  .

There are $n+1$  vectors $v_i(0\le i\le n)$  with $v_i=u_i$  for $1\le i\le n$  and $v_0=-u_1-u_2\cdot \cdot \cdot -u_n$  . For any proper subset $I$  of $\{0,1,...,n\}$  , define

$$\begin{array}{c}{\sigma }_I:=\{\begin{array}{cc}\text{the cone of origin}& \text{if}I\text{is empty},\\ \text{the cone generated by}{v}_i(i\in I)& \text{if}I\text{is not empty}.\end{array}\end{array}$$

(7)

And set $$△:=\left\{{\sigma }_I\right|I\subset \{0,1,...,n\}\}.$$  Then $R(\Delta )$  is the $n$  dimensional projective rigid space ${\mathbb{P}}^n$  .

$R(\Delta )$  and $RT(\Delta )$  are the same this time.

Example 2. Hirzebrunch surfaces.

Let $a$  be a fixed positive integer. Assume $N=\mathbb{Z}\times \mathbb{Z}$  with a basis $\{u_1,u_2\}$  . We define four strongly convex rational polyhedral cones ${\sigma }_1$  , ${\sigma }_2$  , ${\sigma }_3$  , ${\sigma }_4$  in $N_{\mathbb{R}}$  in the following way. ${\sigma }_1$  is the cone generated by $u_1$  and $u_2$  , ${\sigma }_2$  is the cone generated by $u_1$  and $-u_2$  , ${\sigma }_3$  is the cone generated by $-u_1+a{u}_2$  and $-u_2$  , and ${\sigma }_4$  is the cone generated by $-u_1+a{u}_2$  and $u_2$  . The four corresponding affinoid spaces are ${\overline{Q}}_p\langle S_{{\sigma }_1}\rangle ={\overline{Q}}_p\langle X_1,X_2\rangle$  , ${\overline{Q}}_p\langle S_{{\sigma }_2}\rangle ={\overline{Q}}_p\langle X_1,X_2^{-1}\rangle$  , ${\overline{Q}}_p\langle S_{{\sigma }_3}\rangle ={\overline{Q}}_p\langle X_1^{-1},X_1^{-a}{X}_2^{-1}\rangle$  , ${\overline{Q}}_p\langle S_{{\sigma }_4}\rangle ={\overline{Q}}_p\langle X_1^{-1},X_1^a{X}_2\rangle$  . Let $\Delta$  be the fan $$\{{\sigma }_1,{\sigma }_2,{\sigma }_3,{\sigma }_4,{\sigma }_1\cap {\sigma }_2,{\sigma }_1\cap {\sigma }_4,{\sigma }_2\cap {\sigma }_3,{\sigma }_3\cap {\sigma }_4,{\sigma }_1\cap {\sigma }_2\cap {\sigma }_3\cap {\sigma }_4\}.$$  We get a rigid space $R(\Delta )$  and call it a Hirzebrunch surface.

Let $N_1=\mathbb{Z}$  with a basis $\left\{v\right\}$  . Let ${\tau }_1=\{rv:r\ge 0\}$  , ${\tau }_2=\{rv:r\le 0\}$  , and ${\Delta }_1$  be the cone $\{{\tau }_1,{\tau }_2,\{0\left\}\right\}$  . Then $R\left({\Delta }_1\right)$  is just the one dimensional projective space.

The linear map $N_{\mathbb{R}}\to N_{1\mathbb{R}}$  defined by $r{u}_1+s{u}_2\mapsto rv$  induces a map from the fan ${\Delta }_1$  to the fan $\Delta$  , which determines a morphism $R(\Delta )⟶R\left({\Delta }_1\right)$  . This morphism makes $R(\Delta )$  a ${\mathbb{P}}^1$  -bundle over ${\mathbb{P}}^1$  . Especially, when $a=0$  , $R(\Delta )$  is the trivial bundle ${\mathbb{P}}^1\times {\mathbb{P}}^1$  over ${\mathbb{P}}^1$  .

3 Reductions of toric rigid spaces

Reduction theory is very important in rigid geometry. In this section, we will study the reductions of toric rigid spaces. At first, let's recall the reductions of affinoid algebras. For more details of reductions, see [2] .

Assume $K$  is a field with a non-Archimedean valuation. Let $A$  be an affinoid algebra over $K$  . There is a supremum (semi-)norm over $A$  defined in the following way. For any $f\in A$  , define

$$\begin{array}{c}|f{|}_{sup}={sup}_{x\in MaxA}|f\left(x\right)|.\end{array}$$

(8)

Then define the reduction $\tilde{A}$  of $A$  to be $\{f\in A:|f{|}_{sup}\le 1\}/\{f\in A:|f{|}_{sup}<1\}$  .

Reduction of $Sp\left(A\right)$  is just defined to be $Spec\left(\tilde{A}\right)$  .

We have the following lemma.

Lemma 2. Let $\sigma$  is a cone in $N_{\mathbb{R}}$  and $S_{\sigma }$  be as in section 2. For $f\in K\langle S\rangle$  , write $f={\sum }_{u\in \sigma }{a}_u{\chi }^u$  with $a_u\in K$  , $a_u\to 0$  . Then

$$\begin{array}{c}|f{|}_{sup}={max}_{u\in \sigma }|a_u|.\end{array}$$

(9)

• Proof. It's well known that, for any given valuation $|\cdot |$  over an integral affinoid algebra $A$  , $|f{|}_{sup}={lim}_{n\to \infty }|f^n{|}^{\frac{1}{n}},\forall f\in A$  . We use this result to prove our assertion.
  We write $\left|f\right|={max}_{u\in \sigma }\left|a_u\right|$  for $f={\sum }_{u\in \sigma }{a}_u{\chi }^u$  in $K\langle S\rangle$  . It is easy to see that it defines a norm over $K\langle S\rangle$  . From the proof of proposition 2, we can show that $|f{|}^n=|f^n|$  . Therefore, we get $|f{|}_{sup}={max}_{u\in \sigma }|a_u|.$ 

Let $k$  be the residue field of $K$  , then we have the following corollary.

Corollary. The reduction of $K\langle S_{\sigma }\rangle$  is $k\left[S_{\sigma }\right]$  .

For a separated rigid space $X$  , its reduction always depends on a choice of an affinoid covering $\left\{U_i\right\}$  . Open subsets $U_i$  and their intersections are all affinoid, so they have reductions defined as above. Patching them together, we get a reduction of $X$  . It is a scheme over $k$  . We call it the reduction of $X$  according to (the affinoid covering) $\left\{U_i\right\}$  . In general, different affinoid coverings give different reductions.

For a fan $\Delta$  in $N$  , we have defined a toric rigid space $R(\Delta )$  in section 2. There is a natural affinoid covering $Sp(K\langle S_{\sigma })\rangle (\sigma \in \Delta )$  of this rigid space $R(\Delta )$  . Each $Sp(K\langle S_{\sigma }\rangle )$  has a reduction $Spec\left(k\right[S_{\sigma }\left]\right)$  . If $\sigma$  is a face of $\tau$  , the open immersion $Sp(k\langle S_{\sigma }\rangle )\hookrightarrow Sp(k\langle S_{\tau }\rangle )$  induces an open immersion $Spec\left(k\right[S_{\sigma }\left]\right)\hookrightarrow Spec\left(k\right[S_{\tau }\left]\right)$  . Patching all the $Spec\left(S_{\sigma }\right)$  according to these open immersions, we get a reduction of $R(\Delta )$  . It's easy to see that this reduction is exactly the toric scheme $T(\Delta {)}_k$  over $k$  .

For example, we calculate the reduction of the projective rigid space ${\mathbb{P}}_2$  over ${\overline{\mathbb{Q}}}_p$  (example 1 in section 2). It's patched by three spaces: $Spec\left({\overline{\mathbb{F}}}_p\right[X_1,X_2\left]\right)$  , $Spec\left({\overline{\mathbb{F}}}_p\right[X_1^{-1},X_1^{-1}{X}_2\left]\right)$  and $Spec\left({\overline{\mathbb{F}}}_p\right[X_2^{-1},X_2^{-1}{X}_1\left]\right)$  . Let $X_1=T_1/T_0,X_2=T_2/T_0$  , these spaces are corresponding to $\left\{\right[t_0:t_1:t_2]\in {\mathbb{P}}_2|t_0\ne 0\}$  , $\left\{\right[t_0:t_1:t_2]\in {\mathbb{P}}_2|t_1\ne 0\}$  , $\left\{\right[t_0:t_1:t_2]\in {\mathbb{P}}_2|t_2\ne 0\}$  .

They form an affine covering of the two dimensional projective spaces ${\mathbb{P}}_2$  over ${\overline{\mathbb{F}}}_p$  .

References

1. Bosch, S.: Lectures on Formal and Rigid Geometry, work in progress
2. Bosch, S., G $\ddot{u}$  ntzer, U., and Remmert, R.: Non-Archimedean analysis, volume 261 of Grundlehren der Mathematischen Wissenschaften. Springer-Verlag, Berlin, 1984
3. Fresnel, J., Van Der Put, M.: G $\acute{e}$  om $\acute{e}$  trie analytique rigide et applications. Birkh $\ddot{a}$  user, Bosten-Basel-Stuttgart, 1981
4. Fulton,W.: Introduction to toric varietis, Annals of mathematics studies, number 131. Princeton university press, princeton, new Jersey, 1993
5. Hartshorne, R.: Algebraic Geometry, GTM 52. Springer-Verlag, New York Inc, 1977
6. Koblitz, N.: $p$  -adic numbers, $p$  -adic analysis, and zeta-functions, GTM 58. Springer-Verlag, New York Inc, 1977
7. Oda, T.: Geometry of toric varieties. Proc. of the Hyderabad Conf. on Algebraic Groups, 1989 (Ramanan, S., ed.), Manoj Prakashan, Madras, 1991
8. Waterhouse, W.C.: Introduction to Affine Group Schemes, GTM 66. Springer-Verlag, New York Inc, 1979