\documentclass{article}
\usepackage{amsmath,amssymb,pictex,fullpage}

\allowdisplaybreaks

\def\theequation{\thesection.\arabic{equation}}
\numberwithin{equation}{section}

\makeatletter
\let\over\@@over
\let\atop\@@atop
\let\above\@@above
\let\overwithdelims\@@overwithdelims
\let\atopwithdelims\@@atopwithdelims
\let\abovewithdelims\@@abovewithdelims
\let\frac\undefined
\let\genfrac\undefined
\makeatother

\def\smallskip{\vskip\smallskipamount}
\def\medskip{\vskip\medskipamount}
\def\bigskip{\vskip\bigskipamount}

\let\{=\lbrace
\let\}=\rbrace
\def\[{\mathopen{[\![}}
\def\]{\mathclose{]\!]}}

\def\overtext{\over\textstyle}
\def\lcolon{\mathopen:}
\def\rcolon{\mathclose:}

\long\def\items#1{\begin{itemize}\parsep=0pt\itemsep=0pt#1\end{itemize}}
\long\def\enum#1{\begin{enumerate}\parsep=0pt\itemsep=0pt#1\end{enumerate}}

\def\eq#1{\begin{equation}#1\end{equation}}
\def\Align#1{\begin{align}#1\end{align}}
\def\Aligned#1{\begin{aligned}#1\end{aligned}}
\def\Gather#1{\begin{gather}#1\end{gather}}
\def\Gathered#1{\begin{gathered}#1\end{gathered}}
\def\Multline#1{\begin{multline}#1\end{multline}}
\def\Subeq#1{\begin{subequations}#1\end{subequations}}
\def\Matrix#1{\begin{matrix}#1\end{matrix}}
\def\pMatrix#1{\begin{pmatrix}#1\end{pmatrix}}
\def\Cases#1{\begin{cases}#1\end{cases}}

\def\i{{\rm i}}
\def\quarter{{1\over4}}
\def\d{\partial}
\def\bd{{\bar\d}}
\def\bpsi{{\bar\psi}}
\def\bvarphi{{\bar\varphi}}
\def\Re{\mathop{\rm Re}\nolimits}
\def\Im{\mathop{\rm Im}\nolimits}
\def\sh{\mathop{\rm sh}\nolimits}
\def\ch{\mathop{\rm ch}\nolimits}
\def\tg{\mathop{\rm tg}\nolimits}
\def\ctg{\mathop{\rm ctg}\nolimits}
\def\tr{\mathop{\rm tr}\nolimits}
\def\Tr{\mathop{\rm Tr}\nolimits}
\def\id{\mathop{\rm id}\nolimits}
\def\arctg{\mathop{\rm arctg}\nolimits}
\def\bn{{\boldsymbol n}}
\def\bp{{\boldsymbol p}}
\def\br{{\boldsymbol r}}
\def\bR{{\boldsymbol R}}
\def\bS{{\boldsymbol S}}
\def\bJ{{\boldsymbol J}}
\def\bsigma{{\boldsymbol\sigma}}
\def\Z{{\mathbb Z}}
\def\R{{\mathbb R}}
\def\C{{\mathbb C}}
\def\cF{{\cal F}}
\def\cH{{\cal H}}
\def\cO{{\cal O}}
\def\cP{{\cal P}}
\def\cQ{{\cal Q}}
\def\bz{{\bar z}}
\def\bw{{\bar w}}
\def\bw{{\bar w}}
\def\tphi{{\tilde\phi}}
\def\trho{{\tilde\rho}}
\def\ta{{\tilde a}}
\def\ve{\varepsilon}
\def\vq{{\vec q}}
\def\vx{{\vec x}}
\def\vy{{\vec y}}
\def\vJ{{\vec J}}
\def\va{{\vec a}}
\def\vb{{\vec b}}
\def\eff{{\rm eff}}
\def\const{{\rm \,const\,}}
\def\eF{{\epsilon_F}}
\def\Ech{{E_{\text{ch}}}}
\def\Esp{{E_{\text{sp}}}}
\def\Espel{{E_{\text{sp}}^{\text{el}}}}
\def\Eim{{E_{\text{im}}}}
\def\el{{\text{el}}}
\def\im{{\text{im}}}

\def\lcolon{\mathopen:}
\def\rcolon{\mathclose:}

\def\aux{{\tilde1}}

\makeatletter
\def\section{\@startsection{section}{1}{\z@}%
                                   {-3.5ex \@plus -1ex \@minus -.2ex}%
                                   {2.3ex \@plus.2ex}%
                                   {\normalfont\normalsize\bfseries}}
\def\subsection{\@startsection{subsection}{2}{\z@}%
                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
                                     {1.5ex \@plus .2ex}%
                                     {\normalfont\normalsize\bfseries}}
\makeatother


%%%%%%% For figures: %%%%%%%
\def\ar#1 #2, #3 #4 {\arrow <0.3truecm> [0.1,0.3] from #1 #2 to #3 #4 }
\catcode`!=11
\def\ln#1 #2, #3 #4 {\!start(#1,#2)\!ljoin(#3,#4)}
\catcode`!=12
\def\rl#1 #2, #3 #4 {\putrule from #1 #2 to #3 #4 }
\def\trl#1 #2, #3 #4 {\linethickness .8pt
	\putrule from #1 #2 to #3 #4 \linethickness .4pt}
\def\point#1 #2 {\put{\hbox{\kern -1pt .}} [Bl] at #1 #2 }
\def\bfpoint#1 #2 {%
\put{\hbox{\kern -2pt \raise -2.3pt%
\hbox{$\textstyle\bullet$}}} [Bl] at #1 #2 }
\def\figcap#1#2\par{\medskip{\narrower\eightpoint\noindent
	Fig.~#1. \ignorespaces#2\par}\medskip}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\def\tf{{\tilde f}}
\def\tdt{{\tilde t}}
\def\tX{{\tilde X}}
\def\tY{{\tilde Y}}
\def\tV{{\tilde V}}
\def\bV{{\bar V}}
\def\tbV{{\tilde{\bar V}}}
\def\tR{{\tilde R}}
\def\W#1(#2,#3;#4,#5|#6){\mathop{W#1}\left[\Matrix{#5&#4\\#2&#3}\bigg|
                        \Matrix{#6}\right]}
\def\tW#1(#2,#3;#4,#5|#6){\mathop{\tilde W#1}\left[\Matrix{#5&#4\\#2&#3}\bigg|
                        \Matrix{#6}\right]}
\def\L(#1,#2;#3,#4|#5){\mathop L\left[\Matrix{#4&#3\\#1&#2}\bigg|
                        \Matrix{#5}\right]}
\def\tL(#1,#2;#3,#4|#5){\mathop{\tilde L}\left[\Matrix{#4&#3\\#1&#2}\bigg|
                        \Matrix{#5}\right]}
\def\K(#1,#2;#3,#4|#5){\mathop K\left[\Matrix{#4&#3\\#1&#2}\bigg|
                        \matrix{#5}\right]}



\begin{document}

{\Large
\begin{center}
Lectures on the eight-vertex model\\
and bosonization
\end{center}
\bigskip
}

\begin{center}
Michael Lashkevich,\\
{\it Landau Institute for Theoretical Physics,\\
142432 Chernogolovka of Moscow Region, Russia}
\end{center}
\bigskip

{\abstract
These are introductory lectures on application of the free field
representation (bosonization) techniques to the solid-on-solid (SOS) and
eight-vertex models. We start from the very beginnings, including the
physical background of lattice models and some basic information on
quantum integrability. After definitions of the eight-vertex and SOS
models, we describe their relation known as the vertex--face
correspondence. Then, skipping the Bethe ansatz solution, we turn to the
problem of calculation of correlation functions by means of the free
field representation. We explain, how the vertex--face correspondence
works on the level of vertex operators and bosonization, making it
possible to express the correlation functions of the eight-vertex model
in terms of the free field representation aimed to describe the SOS
model.
}


\input lec01text
\input lec02text
\input lec03text
\input lec04text
\input lec05text

\begin{thebibliography}{99}
\itemsep=0pt\parskip=0pt
\bibitem{Ruelle}
D.~Ruelle, Statistical mechanics. Rigorous results.
World Scientific, 1999
\bibitem{Sinai}
Ya.~G.~Sinai, Theory of phase transitions, Pergamon Press, 1983
\bibitem{Lieb}
E.~H.~Lieb, Phys.\ Rev.\ {\bf162} (1967) 162
\bibitem{Sutherland}
B.~Sutherland, J.~Math.\ Phys.\ {\bf11} (1970) 3183
\bibitem{FanWu}
C.~Fan, F.~Y.~Wu, Phys.\ Rev.\ {\bf B2} (1970) 723
\bibitem{Baxter72}
R.~J.~Baxter, Annals Phys.\ {\bf70} (1972) 193
\bibitem{Baxter}
R.~J.~Baxter, Exactly solved models in statistical mechanics,
Academic Press, 1982
\bibitem{Baxter71}
R.~J.~Baxter, Stud.\ Appl.\ Math.\ (Mass.\ Inst.\ of Technology) {\bf50}
(1971) 51
\bibitem{BaxterII73}
R.~J.~Baxter, Annals Phys.\ {\bf76} (1973) 25--47
\bibitem{BaxterCTM}
R.~J.~Baxter, {\it J.~Stat.\ Phys.}\ {\bf15} (1976) 485;
{\it J.~Stat.\ Phys.}\ {\bf17} (1977) 1
\bibitem{JMbook}
M.~Jimbo, T.~Miwa, {\it Algebraic analysis of solvable lattice models},
CBMS Regional Conference Series in Mathematics {\bf85} AMS (1994)
\bibitem{DFJMN}
B.~Davies, O.~Foda, M.~Jimbo, T.~Miwa, and A.~Nakayashiki,
{\it J.~Phys.}\ {\bf A26} (1993) 2199
\bibitem{ABF}
G.~E.~Andrews, R.~J.~Baxter, and P.~J.~Forrester,
{\it J.\ Stat.\ Phys.}\ {\bf 35} (1984) 193
\bibitem{FF}
B.~L.~Feigin, D.~B.~Fuchs, {\it Funct.\ Anal.\ Appl.}\ {\bf16} (1982) 114;
{\it Funct.\ Anal.\ Appl.}\ {\bf17} (1983) 241
\bibitem{DF}
Vl.~S.~Dotsenko, V.~A.~Fateev, {\it Nucl.\ Phys.}\ B240 (1984) 312;
{\it ibid.}\ {\bf B251} (1985) 691;
{\it Phys.\ Lett.\ B\/}\ {\bf154} (1985) 291
\bibitem{LP96}
S.~Lukyanov, Ya.~Pugai, {\it Nucl.\ Phys.}\ {\bf B473} (1996) 631
[hep-th/9602074]
\bibitem{FIJKMY}
O.~Foda, K.~Iohara, M.~Jimbo, R.~Kedem, T.~Miwa, H.~Yan,
{\it Lett.\ Math.\ Phys.}\ {\bf32} (1994) 259 [hep-th/9403094]
\bibitem{Takebe95}
T.~Takebe, {\it J.~Phys.~A\/} {\bf28} (1995) 6675; corrigendum {\bf29}
(1996) 1563 [q-alg/9504027]
\bibitem{LT}
S.~Lukyanov, V.~Terras, {\it Nucl.\ Phys.} {\bf B654} (2003) 323
[hep-th/0206093]
\end{thebibliography}



\end{document}
