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>\u2a7e0,\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}\rightu\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{}& \text{if}I\text{is not empty}.\end{array}\end{array}$$ 
(7)

And set
$$\u25b3:=\left\{{\sigma}_{I}\rightI\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 )\u27f6R\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 nonArchimedean 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
$\stackrel{~}{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(\stackrel{~}{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
$\leftf\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

Bosch, S.: Lectures on Formal and Rigid Geometry, work in progress

Bosch, S., G
$\ddot{u}$
ntzer, U., and Remmert, R.: NonArchimedean analysis, volume 261 of Grundlehren der Mathematischen Wissenschaften. SpringerVerlag, Berlin, 1984

Fresnel, J., Van Der Put, M.: G
$\stackrel{\xb4}{e}$
om
$\stackrel{\xb4}{e}$
trie analytique rigide et applications. Birkh
$\ddot{a}$
user, BostenBaselStuttgart, 1981

Fulton,W.: Introduction to toric varietis, Annals of mathematics studies, number 131. Princeton university press, princeton, new Jersey, 1993

Hartshorne, R.: Algebraic Geometry, GTM 52. SpringerVerlag, New York Inc, 1977

Koblitz, N.:
$p$
adic numbers,
$p$
adic analysis, and zetafunctions, GTM 58. SpringerVerlag, New York Inc, 1977

Oda, T.: Geometry of toric varieties. Proc. of the Hyderabad Conf. on Algebraic Groups, 1989 (Ramanan, S., ed.), Manoj Prakashan, Madras, 1991

Waterhouse, W.C.: Introduction to Affine Group Schemes, GTM 66. SpringerVerlag, New York Inc, 1979