Classification of (non)-frustrated 2D Ising models in genus 1 on isoradial graphs

TL;DR

This paper classifies 2D Ising models on isoradial graphs with genus 1 spectral curves, extending Baxter's model and identifying new families with algebraic phase transitions, using spectral curve properties and Fock's approach.

Contribution

It provides a complete classification of genus 1 spectral curve Ising models on isoradial graphs, including new families and phase transition analysis.

Findings

Recovered Baxter's Z-invariant Ising model with real couplings

Identified two new families with non-Harnack spectral curves

Proved spectral curve is maximal and exhibits algebraic phase transitions

Abstract

We prove a complete classification of 2D Ising models defined on isoradial graphs, frustrated or not, whose underlying spectral curve has genus 1. As a specific case, we recover Baxter's Z-invariant Ising model, thus extending his class of models to real coupling constants. We identify two additional families of models, both having non-Harnack spectral curves. We show that in all cases the spectral curve is maximal. Moreover, each family undergoes an algebraic phase transition, in the sense that the genus changes from one to zero, explaining the different behaviors observed in the physics literature. In our proof, we use properties of the spectral curve and Fock's approach. This yields a natural framework for a further systematic study of the frustrated Ising model, in particular for proving local formulas. In the course of the proof, we also identify Fock's dimer models corresponding to real algebraic curves of genus 1, and to real dimer models. As an example of application of our main result, we prove a full classification of the frustrated Ising model on the triangular lattice.