No Arabic abstract
We give the exact expressions of the partial susceptibilities $chi^{(3)}_d$ and $chi^{(4)}_d$ for the diagonal susceptibility of the Ising model in terms of modular forms and Calabi-Yau ODEs, and more specifically, $_3F_2([1/3,2/3,3/2],, [1,1];, z)$ and $_4F_3([1/2,1/2,1/2,1/2],, [1,1,1]; , z)$ hypergeometric functions. By solving the connection problems we analytically compute the behavior at all finite singular points for $chi^{(3)}_d$ and $chi^{(4)}_d$. We also give new results for $chi^{(5)}_d$. We see in particular, the emergence of a remarkable order-six operator, which is such that its symmetric square has a rational solution. These new exact results indicate that the linear differential operators occurring in the $n$-fold integrals of the Ising model are not only Derived from Geometry (globally nilpotent), but actually correspond to Special Geometry (homomorphic to their formal adjoint). This raises the question of seeing if these special geometry Ising-operators, are special ones, reducing, in fact systematically, to (selected, k-balanced, ...) $_{q+1}F_q$ hypergeometric functions, or correspond to the more general solutions of Calabi-Yau equations.
We show that almost all the linear differential operators factors obtained in the analysis of the n-particle contribution of the susceptibility of the Ising model for $, n le 6$, are operators associated with elliptic curves. Beyond the simplest factors which are homomorphic to symmetric powers of the second order operator associated with the complete elliptic integral E, the second and third order differential operators can actually be interpreted as modular forms of the elliptic curve of the Ising model. A last order-four globally nilpotent operator is not reducible to this elliptic curve, modular forms scheme. It is shown to actually correspond to a natural generalization of this elliptic curve, modular forms scheme, with the emergence of a Calabi-Yau equation, corresponding to a selected $_4F_3$ hypergeometric function which can also be seen as a Hadamard product of the complete elliptic integral K, with a remarkably simple algebraic pull-back, the corresponding Calabi-Yau fourth-order differential operator having a symplectic differential Galois group SP(4,C). The associated mirror maps and higher order Schwarzian ODEs has an exact (isogenies) representation of the generators of the renormalization group, extending the modular group SL(2,Z) to a GL(2, Z) symmetry group.
We use the recently derived form factor expansions of the diagonal two-point correlation function of the square Ising model to study the susceptibility for a magnetic field applied only to one diagonal of the lattice, for the isotropic Ising model. We exactly evaluate the one and two particle contributions $chi_{d}^{(1)}$ and $chi_{d}^{(2)}$ of the corresponding susceptibility, and obtain linear differential equations for the three and four particle contributions, as well as the five particle contribution ${chi}^{(5)}_d(t)$, but only modulo a given prime. We use these exact linear differential equations to show that, not only the russian-doll structure, but also the direct sum structure on the linear differential operators for the $ n$-particle contributions $chi_{d}^{(n)}$ are quite directly inherited from the direct sum structure on the form factors $ f^{(n)}$. We show that the $ n^{th}$ particle contributions $chi_{d}^{(n)}$ have their singularities at roots of unity. These singularities become dense on the unit circle $|sinh2E_v/kT sinh 2E_h/kT|=1$ as $ nto infty$.
We present the reduction of the correlation functions of the Ising model on the anisotropic square lattice to complete elliptic integrals of the first, second and third kind, the extension of Kramers-Wannier duality to anisotropic correlation functions, and the linear differential equations for these anisotropic correlations. More precisely, we show that the anisotropic correlation functions are homogeneous polynomials of the complete elliptic integrals of the first, second and third kind. We give the exact dual transformation matching the correlation functions and the dual correlation functions. We show that the linear differential operators annihilating the general two-point correlation functions are factorised in a very simple way, in operators of decreasing orders.
We give examples of infinite order rational transformations that leave linear differential equations covariant. These examples are non-trivial yet simple enough illustrations of exact representations of the renormalization group. We first illustrate covariance properties on order-two linear differential operators associated with identities relating the same $_2F_1$ hypergeometric function with different rational pullbacks. We provide two new and more general results of the previous covariance by rational functions: a new Heun function example and a higher genus $_2F_1$ hypergeometric function example. We then focus on identities relating the same hypergeometric function with two different algebraic pullback transformations: such remarkable identities correspond to modular forms, the algebraic transformations being solution of another differentially algebraic Schwarzian equation that emerged in a paper by Casale. Further, we show that the first differentially algebraic equation can be seen as a subcase of the last Schwarzian differential condition, the restriction corresponding to a factorization condition of some associated order-two linear differential operator. Finally, we also explore generalizations of these results, for instance, to $_3F_2$, hypergeometric functions, and show that one just reduces to the previous $_2F_1$ cases through a Clausen identity. In a $_2F_1$ hypergeometric framework the Schwarzian condition encapsulates all the modular forms and modular equations of the theory of elliptic curves, but these two conditions are actually richer than elliptic curves or $_2F_1$ hypergeometric functions, as can be seen on the Heun and higher genus example. This work is a strong incentive to develop more differentially algebraic symmetry analysis in physics.
We discuss the period geometry and the topological string amplitudes on elliptically fibered Calabi-Yau fourfolds in toric ambient spaces. In particular, we describe a general procedure to fix integral periods. Using some elementary facts from homological mirror symmetry we then obtain Bridgelands involution and its monodromy action on the integral basis for non-singular elliptically fibered fourfolds. The full monodromy group contains a subgroup that acts as PSL(2,Z) on the Kahler modulus of the fiber and we analyze the consequences of this modularity for the genus zero and genus one amplitudes as well as the associated geometric invariants. We find holomorphic anomaly equations for the amplitudes, reflecting precisely the failure of exact PSL(2,Z) invariance that relates them to quasi-modular forms. Finally we use the integral basis of periods to study the horizontal flux superpotential and the leading order Kahler potential for the moduli fields in F-theory compactifications globally on the complex structure moduli space. For a particular example we verify attractor behaviour at the generic conifold given an aligned choice of flux which we expect to be universal. Furthermore we analyze the superpotential at the orbifold points but find no stable vacua.