1: \begin{definition}[Components $X_F$, $X_L$]

2: \label{defXFXL}

3: Define $k$-schemes% (cf. Definitions \ref{defres}, \ref{defred}) 

4: \begin{enumerate}

5: \item

6: $X_L\colon\{\overline{f|_L}=0\}\subset\G_{m,k}$ for each $v$-edge $L$ of $\Delta$,

7: \item

8: $X_F\colon\{\overline{f|_F}=0\}\subset\G_{m,k}^2$ for each $v$-face $F$ of $\Delta$,

9: \item

10: $\bar X_F$ = completion of $X_F$ with respect to its Newton polygon (\ref{rmkbaker}b); 

11: it is a geometrically connected scheme, proper over $k$ (\ref{rmkbaker}d).

12: \end{enumerate}

13: The vertices and edges of the Newton polygon of $\overline{f_F}$ 

14: correspond to those of~$F$ (cf. example above), and 

15: so there is a bijection from Baker's Theorem,% \ref{thmbaker}

16: \begin{equation}

17: \label{xfpts}

18:   \bar X_F(\bar k)\setminus X_F(\bar k) \quad \longleftrightarrow \quad

19:   \coprod_{L\subset\partial F} X_L(\bar k).

20: \end{equation}

21: %

22: %As in Remark \ref{bakergen}, 

23: %the miss

24: %

25: %The vertices and edges of  correspond to 

26: %those of $F$, as it is the same polygon restricted to a sublattice. 

27: %

28: %If $\overline{f_F}$ satisfies the conditions of Baker's theorem \ref{thmbaker},

29: %the points of $\bar X_F\setminus X_F$ are thus in a natural bijection with 

30: %$\coprod_{L\subset\partial F} X_L(\bar k)$.

31: %%the union taken over the edges of $F$. 

32: \end{definition}