Three series of lectures were given at the 34th Probability Summer School in Saint-Flour (July 624, 2004), by the Professors Cerf, Lyons and Slade. We have decided to publish these courses separately. This volume contains the course of Professor Cerf. We cordially thank the author for his performance at the summer school, and for the redaction of these notes. 69 participants have attended this school. 35 of them have given a short lecture. The lists of participants and of short lectures are enclosed at the end of the volume. The Saint-Flour Probability Summer School was founded in 1971. Here are the references of Springer volumes which have been published prior to this one. All numbers refer to theLecture Notes in Mathematics series, except S-50 which refers to volume 50 of the Lecture Notes in Statistics series. 1971: vol 307 1980: vol 929 1990: vol 1527 1997: vol 1717 1973: vol 390 1981: vol 976 1991: vol 1541 1998: vol 1738 1974: vol 480 1982: vol 1097 1992: vol 1581 1999: vol 1781 1975: vol 539 1983: vol 1117 1993: vol 1608 2000: vol 1816 1976: vol 598 1984: vol 1180 1994: vol 1648 2001: vol 1837 & 1851 1977: vol 678 1985/86/87: vol 1362 & S-50 2002: vol 1840 1978: vol 774 1988: vol 1427 1995: vol 1690 2003: vol 1869 1979: vol 876 1989: vol 1464 1996: vol 1665 2004: vol 1878 & 1879 Further details can be found on the summer school web site

Includes supplementary material: sn.pub/extras

Klappentext
This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, starting from a microscopic model. It is intended to be self-contained. Those proofs that can be found only in research papers have been included, whereas results for which the proofs can be found in classical textbooks are only quoted.

Inhalt
Phase coexistence and subadditivity.- Presentation of the models.- Ising model.- Bernoulli percolation.- FK or random cluster model.- Main results.- The Wulff crystal.- Large deviation principles.- Large deviation theory.- Surface large deviation principles.- Volume large deviations.- Fundamental probabilistic estimates.- Coarse graining.- Decoupling.- Surface tension.- Interface estimate.- Basic geometric tools.- Sets of finite perimeter.- Surface energy.- The Wulff theorem.- Final steps of the proofs.- LDP for the cluster shapes.- Enhanced upper bound.- LDP for FK percolation.- LDP for Ising.