Advanced Search

Query:

Fill in the form and click »Search«...

Format:

Display: entries per page entries

Zbl 1167.82005
Bostan, A.; Boukraa, S.; Hassani, S.; Maillard, J-M; Weil, J-A; Zenine, N.
Globally nilpotent differential operators and the square Ising model. (English)
[J] J. Phys. A, Math. Theor. 42, No. 12, Article ID 125206, 50 p. (2009). ISSN 1751-8113; ISSN 1751-8121/e

Various multiple integrals with one parameter are recalled. Examples are the $n$-particle contribution of the magnetic susceptibility of the isotropic square Ising model, lattice form factors and two-point correlation functions, or examples from enumerative combinatorics. The univariate analytic functions defined by these integrals are holonomic and even $G$-functions: they satisfy Fuchsian linear differential equations with polynomial coefficients and have some arithmetic growth property on the coefficients of a solution series. These differential operators are selected Fuchsian linear differential operators, and their remarkable properties have a deep geometrical origin: they are globally nilpotent, or, sometimes, even have zero $p$-curvature. In some examples from enumerative combinatorics, quantities are not naturally expressed as $n$-fold integrals of an algebraic integrand. The discovery of the global nilpotence of the corresponding minimal order Fuchsian linear differential operator has to be seen as a strong indication that they can be expressed as $n$-fold integrals of an algebraic integrand. Other quantities, like the $n$-particle contributions to the magnetic susceptibility of the square Ising model are defined as such $n$-fold integrals. The integrand of the algebraic function can be chosen continuous and single valued on the torus of integration: they are a family of periods. In this last case, the purpose of the paper is not to give another proof of global nilpotence, but to understand, how these differential factors 'succeed' to be globally nilpotent. Throughout all the examples displayed in the paper the (minimal order) linear differential operators of quite large order (for instance order 23, 33, 50) actually factorize into products, or direct sums and products, of linear differential operators of smaller orders (up to four). Focusing on the factorized parts of all these operators, it is found that the global nilpotence of the factors corresponds to a set of selected structures of algebraic geometry: elliptic curves, modular curves, curves of genius five, six, ..., and even a remarkable weight-1 modular form emerging in the three-particle contribution of the magnetic susceptibility of the square Ising model. Noticeably, this associated weight-1 modular form is also seen in the factors of the differential operators for another $n$-fold integral of the Ising class, for the staircase polygons counting and in Apery's study of $\xi(3)$. $G$-functions naturally occur as solutions of globally nilpotent operators. In the case where we do not have $G$-functions, but Hamburger functions (one irregular singularity at 0 or infinity) that correspond to the confluence of singularities in the scaling limit, the $p$-curvature is also found to verify new structures associated with simple deformations of the nilpotent property. \par The following systematic study of $n$-fold integrals of algebraic expressions, encountered in theoretical physics, is proposed: first generate large series expansions of these $n$-fold integrals to find out the linear differential operators that annihilate these series, then get the minimal order differential operators, then factorize and LCLM-factorize, as much as possible, these minimal order differential operators, then examine the irreducible factors to see if they are not equivalent to symmetric powers of smaller order operators, then calculate the corresponding $p$-curvatures of all these smaller order irreducible operators to see, if they have zero curvature, or if they are globally nilpotent, and, finally, examine all these smaller order irreducible operators to find out, if they correspond to hypergeometric functions up to a rational pullback.
[Christina Papenfuss (Berlin)]

MSC 2000:: *82B20 Lattice systems
34M55 Painlevé and other special equations
47E05 Ordinary differential operators
81Qxx General mathematical topics and methods in quantum theory
32G34 Moduli and deformations for ODE
34Lxx Ordinary differential operators
34Mxx Differential equations in the complex domain
14Kxx Abelian varieties and schemes

Keywords: Ising model; Fuchsian differential equation; $G$-functions; nilpotent

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Advanced Search

Zentralblatt MATH Berlin [Germany]