UNIVERSALITY IN THE 2D ISING MODEL AND CONFORMAL INVARIANCE OF FERMIONIC OBSERVABLES DMITRY CHELKAKA,C AND STANISLAV SMIRNOVB,C Abstract. It is widely believed that the celebrated 2D Ising model at criticality has a universal and conformally invariant scaling limit, which is used in deriving many of its properties. However, no mathematical proof has ever been given, and even physics arguments support (a priori weaker) M¨obius invariance. We introduce discrete holomorphic fermions for the 2D Ising model at criticality on a large family of planar graphs. We show that on bounded domains with appropriate boundary conditions, those have universal and conformally invariant scaling limits, thus proving the universality and conformal invariance conjectures. arXiv:0910.2045v2 [math-ph] 16 May 2011 Date: October 26, 2018. 1991 Mathematics Subject Classification. 82B20, 60K35, 30C35, 81T40. Key words and phrases. Ising model, universality, conformal invariance, discrete analytic function, fermion, isoradial graph. A St.Petersburg Department of Steklov Mathematical Institute (PDMI RAS). Fontanka 27, 191023 St.Petersburg, Russia. B Section de Mathematiques,´ Universite´ de Geneve.` 2-4 rue du Lievre,` Case postale 64, 1211 Geneve` 4, Suisse. C Chebyshev Laboratory, Department of Mathematics and Mechanics, Saint- Petersburg State University, 14th Line, 29b, 199178 Saint-Petersburg, Russia. E-mail addresses:
[email protected],
[email protected]. 1 2 Contents 1. Introduction 3 1.1. Universality and conformal invariance in the Ising model 3 1.2. Setup and main results 6 1.3. Organization of the paper 9 2. Critical spin- and FK-Ising models on isoradial graphs. Basic observables (holomorphic fermions) 11 2.1.