MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITÀ E DELLA RICERCA

CO.FIN.
GEOMETRIC METHODS IN THE THEORY OF NONLINEAR WAVES
AND THEIR APPLICATIONS.

research program 2006-2008


        Research units:


The roots of the theory of nonlinear dispersive waves date back to the hydrodynamics of the XIX century. It was observed, both experimentally and theoretically, that, under certain circumstances the dissipative effects in nonlinear waves become less relevant than the dispersive ones. In this way a balance between nonlinearity and dispersion gives rise to formation of stable patterns (solitons, cnoidal waves etc.). Driven by applications in plasma physics, these phenomena were studied much widely, both analytically and numerically starting from the middle of the XX century.

The main mathematical output of this development was the discovery of the phenomenon of integrability in the theory of nonlinear evolutionary hamiltonian Partial Differential Equations (PDEs). This was the starting point of the modern theory of integrable systems that uses various analytic and geometric tools such as Riemann - Hilbert boundary values problems, algebraic geometry of Riemann surfaces and theta-functions, the geometry of Frobenius manifolds, the theory of infinite-dimensional Lie algebras, various issues of differential geometry involved in the study of the Hamiltonian and bihamiltonian structures of dynamical systems with finite and infinite number of degrees of freedom.

Geometrical methods in the theory of nonlinear waves, originally initiated in the framework of pure mathematics (e.g., algebro-geometric solutions, infinite dimensional Lie algebras and symmetries etc.) nowadays are considered to be efficient tools in the applied study of nonlinear wave processes.

The aim of the project is to follow exciting perspectives recently opened in this area (such as Frobenius manifolds, Gromov - Witten invariants, quantum canonical transformations, Fourier-Mukai transforms etc.), and to deepen our understanding of the still unsettled connection with hierarchies of Hamiltonian integrable PDEs. The results will be applied to classification of integrable PDEs, to the asymptotic theory of weakly dispersive PDEs, to the theory of random matrices and to the theory of discrete (classical and quantum) dynamical systems.

Parole chiave

Parola chiave (in italiano)  Parola chiave (in inglese) 
1. ONDE NON LINEARI DISPERSIVE  NONLINEAR DISPERSIVE WAVES 
2. PDE HAMILTONIANE E LORO PERTURBAZIONI  HAMILTONIAN PDES AND PERTURBATIONS 
3. GEOMETRIA BIHAMILTONIANA  BIHAMILTONIAN GEOMETRY 
4. MATRICI RANDOM  RANDOM MATRICES 
5. EQUAZIONI DI PAINLEVE'  PAINLEVE'S EQUATIONS 
6. EQUAZIONI DI HAMILTON-JACOBI  HAMILTON-JACOBI EQUATIONS 
7. GRAVITA' SIMPLICIALE E TOPOLOGICA  SIMPLICIAL AND TOPOLOGICAL GRAVITY 
8. SISTEMI INTEGRABILI DISCRETI  DISCRETE INTEGRABLE SYSTEMS 
9. CURVE SPETTRALI  SPECTRAL CURVES 

Scientific Coordinator

DUBROVIN
(Cognome)
 
BORIS ANATOLEVITCH
(Nome)
 
Professore Ordinario
(Qualifica)
 
06/04/1950
(Data di nascita)
 
DBRBRS50D06Z135P
(Codice di identificazione personale)
 
MAT/07 - Fisica matematica
(Settore scientifico-disciplinare)
 
Scuola Internazionale Superiore di Studi Avanzati di TRIESTE
(Università)
 
Classe di FISICA e Classe di MATEMATICA
(Facoltà)
 
Dipartimento di SETTORE DI FISICA MATEMATICA
(Dipartimento)
 
040/3787461
(Prefisso e telefono)
 
040/3787528
(Numero fax)
 
boris@fm.sissa.it
(Indirizzo posta elettronica)
 

Scientific Curriculum

Boris DUBROVIN obtained his master degree (in 1972) and his Ph. D. (in 1976) from the Department of Mechanics and Mathematics of the Moscow State University. Till 1993 he was a full professor at the same University. Starting from the end of 1993 he is a full professor at SISSA where, since 2001, he is head of the Mathematical Physics Sector.
He is the author of 5 books and of some 70 papers published in renowned mathematical and physical journals.

Recent Visiting Positions

1. MSRI (Berkeley) Visiting Research Professorship, January-May 1999 2. Cambridge University, Rothschild fellowship, September - October 2000
3. ETH (Zurich), October 2000 - February 2001
4. IAS (Princeton), September 2001 - April 2002, member
5. Stanford University, January - February 2003

Honors

Prize of the Moscow Mathematical Society, 1976 (jointly with A.Its and I.Krichever).

Main Invited Talks and Lectures

1. International Congress of Mathematical Physicists, Swansea, 1988 (invited 45 minutes talk)
2. 2nd European Congress of Mathematicians, Budapest, 1996 (plenary talk)
3. International Congress of Mathematicians, Berlin, 1998 (invited 45 minutes talk)
4. Plenary speakers of the International Congress of Mathematical Physics, Rio de Janeiro, 2006.

Participation in Editorial Boards

1. Functional Analysis and its Applications.
2. Differential Geometry and its Applications.
3. Journal of High Energy Physics (electronic)
4. Mathematical Physics, Analysis and Geometry
5. Journal of Geometry and Physics


Other Activities

1. Secretary of Moscow Mathematical Society in 1988 - 92.
2. National coordinator of the Cofin1999 and Cofin2001 projects "Geometry of Integrable Systems" (1999-2003) and of the Cofin2004 project "Geometric methods in the theory of nonlinear waves and their applications" (2004-2006).
3. Co-ordinator of the European Science Foundation project Methods of integrable systems, geometry, applied mathematics (2004-2009).
4. Member of the Steering Committee of the Marie Curie FP6 Research Training Network ENIGMA (2005-2008).
5. Member of the Programme Committee of the 4th European Congress of Mathematicians, Stockholm, June 2004.

PhD students
M. Bertola, G. Carlet, V. Dragovic, T. Grava, D. Guzzetti, P. Lorenzoni, M. Mazzocco, A. Stefanov, M. Ugaglia, V. Vereshchagin, A. Zhivkov.

Recent Conferences and Schools Organized

1. The series of Workshops and Schools Algebraic Geometry and Physics; the first two workshops took place in September 96 and October 2000 at Trieste and September 97 at Medina del Campo, the school took place at Luminy. From 2001 onwards, these workshops/schools take place on a yearly basis, and are hosted by different Institutions in Italy and abroad.
2. CIME Summer School Quantum Cohomology, June - July 97, Cetraro, Italy.
3. Workshop Reflection Groups and Their Applications, Trieste, January, 1998.
4. School/Workshop Differential Geometry, Trieste, April 1999.
5. Workshop Whitham Equations and Their Applications in Mathematics and Physics, Trieste, November-December 2000.
6. Workshop Classification Problems in the Theory of Integrable Systems, Trieste, October 2002.
7. Workshop Riemann - Hilbert problems, integrability and asymptotics, Trieste, September 2005.


1.9 Most relevant publications of the Scientific Coordinator

1. DUBROVIN B., LIU SI-QI, ZHANG Y. (2006). On Hamiltonian perturbations of hyperbolic systems of conservation laws. I. Quasi-triviality of bi-Hamiltonian perturbations. COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS. vol. 59 pp. 559-615 ISSN: 0010-3640  
2. DUBROVIN B. (2006). On Hamiltonian perturbations of
hyperbolic systems of conservation laws, II: universality of
critical behaviour. COMMUNICATIONS IN MATHEMATICAL PHYSICS. ISSN: 0010-3616
 
3. DUBROVIN B., M. MAZZOCCO (2006). ON THE REDUCTIONS
AND CLASSICAL SOLUTIONS OF THE SCHLESINGER EQUATIONS. In IRMA LECTURES IN MATHEMATICS AND THEORETICAL PHYSICS Differential equations and quantum groups,
Andrey A. Bolibruch memorial volume
 
4. DUBROVIN B., Y.ZHANG (2004). Virasoro Symmetries of the Extended Toda Hierarchy. COMMUNICATIONS IN MATHEMATICAL PHYSICS. vol. 250 pp. 161-193 ISSN: 0010-3616  
5. DUBROVIN B. (2004). On analytic families of invariant tori for PDEs. ASTERISQUE. vol. 297 pp. 35-65 ISSN: 0303-1179  
6. DUBROVIN B. (2004). On almost duality for Frobenius manifolds. AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS. vol. 212 pp. 75-132 ISSN: 0065-9290  
7. DUBROVIN B., MAZZOCCO M. (2003). Canonical structure and symmetries of the Schlesinger equations. Preprint math.DG/0311261, 90 pagine.  
8. DUBROVIN B., B. A., KRICHEVER, I. M., NOVIKOV, S. P. (2001). Integrable Systems. In V.I. ARNOLD AND S.P.NOVIKOV Dynamical systems, IV, Encyclopaedia Math. Sci., 4. (pp. 177-332). Springer.  
9. DUBROVIN B., MAZZOCCO M (2000). Monodromy of certain Painleve`-VI transcendents and reflection
groups. INVENTIONES MATHEMATICAE. vol. 141 pp. 55-147 ISSN: 0020-9910
 
10. DUBROVIN B. (1999). Painleve' transcendents and topological field theory. In R. CONTE (ED.) The Painleve' property: one century later. (pp. 287-412). BERLIN: Springer-Verlag  
11. DUBROVIN B., ZHANG Y (1999). Frobenius Manifolds and Virasoro Constraints. SELECTA MATHEMATICA. vol. 5 pp. 423-466 ISSN: 1022-1824  
12. DUBROVIN B., ZHANG Y. (1998). Extended affine Weyl groups and Frobenius manifolds. COMPOSITIO MATHEMATICA. vol. 111 pp. 167-219 ISSN: 0010-437X  
13. DUBROVIN B., ZHANG Y. (1998). Bihamiltonian Hierarchies in 2D Topological Field Theory At One-Loop Approximation. COMMUNICATIONS IN MATHEMATICAL PHYSICS. vol. 198 pp. 311-361 ISSN: 0010-3616  
14. DUBROVIN B., R.FLICKINGER AND H.SEGUR (1997). Three-Phase Solutions of the Kadomtsev - Petviashvili Equation. STUDIES IN APPLIED MATHEMATICS. vol. 99 pp. 137-203 ISSN: 0022-2526  
15. DUBROVIN B. (1996). Geometry of 2D Topological Field Theories. In DONAGI R., DUBROVIN B., FRENKEL E., PREVIATO E Integrable Systems and Quantum Groups, Lecture Notes in Mathematics, vol 1620 (pp. 120-348). ISBN: 3-540-60542-8 BERLIN: Springer Verlag  
16. DUBROVIN B., FOKAS, A. S., SANTINI, P. M. (1996). Integrable functional equations and algebraic geometry. DUKE MATHEMATICAL JOURNAL. vol. 76 pp. 645-668 ISSN: 0012-7094  
17. DUBROVIN B. (1993). Geometry and integrability of topological-antitopological fusion. COMMUNICATIONS IN MATHEMATICAL PHYSICS. vol. 152 pp. 539-564 ISSN: 0010-3616  
18. DUBROVIN B., NOVIKOV S P (1989). Hydrodynamics of Weakly Deformed Soliton Lattices. Differential Geometry and Hamiltonian Theory. RUSSIAN MATHEMATICAL SURVEYS. vol. 44 pp. 35-124 ISSN: 0036-0279  
19. DUBROVIN B., B.A., NOVIKOV, S.P. AND FOMENKO, A.T. (1984). Modern Geometry: Methods of Homology
Theory. Nauka, Moscow. English tranlation by Springer Verlag Volume 3.
 
20. DUBROVIN B. (1981). Theta-functions and non-linear equations. USPEKHI MATEMATICHESKIKH NAUK. vol. 36 pp. 11-80 ISSN: 0042-1316 English translation: Russ. math. Surveys, 36, 11-92 (1981).  
21. DUBROVIN B., NOVIKOV S.P., AND FOMENKO A.T.. (1979). Modern Geometry: Methods and Applications. Parts I, II. Nauka, Moscow. English translation by Springer Verlag volumes 1 and 2,second English edition 1992.  

  Research Units

Unità  Responsabile Scientifico  Qualifica  Settore Disc.  Università  Dipart./Istituto  Mesi Uomo 
I  DUBROVIN BORIS ANATOLEVITCH  Professore Ordinario  MAT/07  Scuola Internazionale Superiore di Studi Avanzati di TRIESTE  Dip. SETTORE DI FISICA MATEMATICA  22 
II  BENENTI SERGIO  Professore Ordinario  MAT/07  Università degli Studi di TORINO  Dip. MATEMATICA  22 
III  RAGNISCO ORLANDO  Professore Ordinario  FIS/02  Università degli Studi ROMA TRE  Dip. FISICA  22 
IV  CARFORA MAURO  Professore Ordinario  MAT/07  Università degli Studi di PAVIA  Dip. FISICA NUCLEARE E TEORICA  22 
V  FALQUI GREGORIO  Professore Associato  MAT/07  Università degli Studi di MILANO-BICOCCA  Dip. MATEMATICA E APPLICAZIONI  22 



Aims

Our research aims are mainly focused on the geometry of nonlinear wave equations, considered as Hamiltonian systems with an infinite number of degrees of freedom. Such systems are described by special - viz. integrable - PDEs of evolutionary type, whose prototype is the celebrated Korteweg - de Vries (KdV) equation, and their perturbations.
The study of such equations had a deep impact both in Physics and in Mathematics. Significant examples can be found in different domains, such as singular limits of weakly dispersive waves, analytic models of water waves, physics of optical fibers, strings and topological field theories. The study of the connections between these physical applications and developments of the mathematical tools opened new horizons also in certain branches of pure mathematics, such as the discovery of mirror symmetry, the theory of Gromov - Witten (GW) invariants and its applications to topology of manifolds, combinatorics of graphs and matrix models, monodromy preserving deformations, quantum groups etc.
Within this research area we focus our project on Classification problems, Solution methods, as well as Applications. A brief description of our aims can be given as follows.
1. Classification problems.
The classification of integrable PDEs in one spatial dimension that admit hydrodynamic limit, Virasoro invariance and a tau function has been achieved in previous works [DZ3]. It has been enlarged in [DLZ] to include all the integrable PDEs admitting a bihamiltonian hydrodynamic limit, but the problem of proving the existence of such bihamiltonian structures for an arbitrary choice of the functional parameters remains open. For instance, the Camassa-Holm equation is included in this second class of hierarchies. We aim to connect the family of PDEs classified in [DZ3] and the family classified in [DLZ] via reciprocal transformations, which act nonlinearly also on the independent variables. At a preliminary level, the construction of new examples of "CH-type" hierarchies, as well as the study of their properties, will be needed.
We also plan to consider formal perturbations of diagonal hyperbolic systems possessing a complete family of commuting flows (the so-called semi-hamiltonian systems). The problem of classification of such systems is still open and we plan to use techniques of the theory of separable systems to study them. One of the aim is to frame Whitham equations within particular deformation schemes of associative algebras.

Due to nonlinearity, the weak dispersion expansions of solutions to these PDEs have only finite range of applicability. More complicated Whitham-type oscillatory asymptotics are to be used after passing through the point of gradient catastrophe of the hydrodynamic approximation.
One has to match solutions with different numbers of oscillatory phases in order to obtain global uniform asymptotics. The matching problem demands a more general approach to the classification.
We plan to use techniques and ideas of the theory of Painleve' equations as well as of the theory of isomonodromic deformations to solve this problem.


2. Solution methods.
From the Hamiltonian point of view, one of the main goals is to achieve a good formulation of the Hamilton-Jacobi (HJ) theory for infinite dimensional systems. Developments in the so-called symplectic field theory [EGH] opened new research perspectives in the HJ theory for nonlinear PDEs, and suggested new links between GW invariants and integrable hydrodynamical equations. These new connections will be used for recursive construction of integrable PDEs.

To develop such a theory, we plan to rely on the connection between bihamiltonian geometry and HJ equations, recently discovered in the context of finite dimensional systems. In this direction, we aim to study bilagrangian distributions defined by Lenard chains, and give their interpretation in terms of solutions to the HJ equations.We expect that the ideas and examples from physical theories of dualities of Seiberg-Witten type, as well as ideas coming from algebraic geometry, will be helpful in this respect.

Our results will be also applied to important finite dimensional systems obtained by reductions of soliton equations, as well as to Heisenberg and Gaudin magnets. In particular, models of Gaudin type will be investigated, dealing with the problems of the construction of integrable time-discretizations, following the approach proposed by Bobenko and Suris and the search for new integrable systems related to universal graded contractions of N-site Gaudin models.

The study of the HJ equations by means of 'classical' tools as well as algebro-geometric methods will be pursued within this research topic.
We will focus both on the so-called "separability structures" associated with the sound differential geometric setting of the HJ theory, and on the role played by special Kaehler structures within the theory of algebraically completely integrable systems.

We plan to devise an umbral calculus suited to study solutions of nonlinear equations through a "nonstandard" perturbation scheme. Rather than perturbing solutions to the linearized equations, we will consider perturbations of a nonlinear system in different variables, namely a discrete nonlinear system which is the umbral correspondent to the differential nonlinear equation.

3. Applications
The first aim concerns the use of tools from the geometric theory of Frobenius manifolds andfrom the analytic theory of the RH problem to study the problem of Universality in the critical behaviour of solutions to systems of dispersive conservative PDEs.
One of our tasks is to prove the universality property conjectured in [D5] about the generic solution to a Hamiltonian perturbation of an hyperbolic PDE near the point of gradient catastrophe of the unperturbed equation. This behavior is described by a particular solution of an ODE of fourth order that belongs to the family of Painleve' equations. Numerical investigations of this conjecture will be performed as well. In this framework we plan to rigorously study the small dispersion limit of the KdV equation at the time of gradient catastrophe. We plan to extend the conjecture formulated for the one component case in [D5], to the multi-component case. Double scaling expansions in matrix models suggest that the conjecture formulated in [D5] remains true for the Toda lattice equations.

After the point of gradient catastrophe the solution of the PDE becomes oscillatory. To determine the formal asympototic solution in the neighborhood of a finite-dimensional invariant manifold fibered into Liouville tori it is necessary to develop a nonlinear analogue of the WKB method. A Hamiltonian structure of the PDE induces a symplectic foliation on its invariant submanifolds, equipped with a flat metric on the base of such a foliation. We plan to develop a classification programme of such structures and to apply it to describing normal forms of more general systems of 1+1 evolutionary PDEs not admitting a hydrodynamic limit.
Next we plan to study the asymptotic solution near singular points (the focal points in the linear WKB theory) and the corresponding matching of the asymptotic solutions in the oscillatory and non-oscillatory regimes, and the role played by Painleve' transcendents at the point of gradient catastrophe and beyond.

Finally, a specific subject concerns the relations between the Weil-Petersson measures on the moduli spaces of Riemann surfaces with marked points, Frobenius structures, and the triangulated surfaces used in the simplicial approach to quantum gravity and topological field theory. We will study cellular decompositions of M(g,N) defined by ribbon graphs and their links with dispersionless integrable hierarchies. The connections of PDEs associated with 2D Ricci flow with integrable hierarchies describing the topology of M(g,N) will be clarified


Scientific background

The mathematical modeling of important phenomena arising in physics and biology often leads to nonlinear wave equations. It is quite remarkable that, within a certain range of initial data, many of these universal equations exhibit a regular behavior, typical of integrable systems. Actually, integrable behaviors in evolutionary PDEs were discovered at the end of 1960s as the result of the analysis of the numerical experiments (dating to the beginning of 1950s) by Fermi, Pasta, and Ulam.
The Korteweg - de Vries (KdV) equation, well known in the theory of dispersive waves since the end of XIX century, was the first instance in which the mathematical theory of integrability of PDEs appeared, starting from the celebrated paper by Gardner, Green, Kruskal, and Miura [GGKM].
Numerous integrable systems important in physics and mathematics were discovered later (see, e.g., [CD] and references therein). An approach to the classification of integrable PDEs based on the symmetry analysis has been initiated in the end of 70s by A.Shabat, A.Mikhailov, V.Sokolov [MSS]. This approach proved to be a powerful tool in the classification of low order systems of integrable PDEs. However, significant technical difficulties make it impossible to obtain the classification results for integrable PDEs of higher orders.

The Hamiltonian nature of the KdV equation has been realized in 1971 by Gardner and by Zakharov and Faddeev. A remarkable bihamiltonian property of KdV has been discovered by Magri in 1978 [Mag] on the basis of the Lenard recursion scheme. The existence of a bihamiltonian structure for a PDE gives the possibility to produce an infinite hierarchy of symmetries and conservation laws. A relationship of the bihamiltonian recursion procedure with the geometry of the Nijenhuis torsion was clarified in [GD], [FF]. As it has been realized later, the Virasoro symmetry of integrable PDEs can also be naturally explained on the basis of the bihamiltonian structure [ZM,AvM].

The progress in the theory of algebro-geometric solutions of integrable PDEs and also in the understanding of their relationships to integrable models of statistical mechanics and quantum field theory at the beginning of 80s gave rise to the discovery, due to Hirota and Sato and his group (see e.g. [JM]), of the notion of tau-function. Such a notion proved to be important also in various other mathematical applications of the theory of integrable systems. In particular, the partition function of the Hermitian random matrix model studied in the theories of 2D gravity coincides with a particular tau-function of the Toda lattice hierarchy. The critical behavior of the partition function, suggested in the beginning of 90s [BK, DS, GM] can be described, in the setting of the so-called double scaling limit, in terms of certain particular solutions to the Painleve' equations and their generalizations. Comparison of these results with the Witten's approach to topological gravity led to the remarkable discovery [Ko, Wit] of the role of the tau-function of the Virasoro invariant solution to the KdV hierarchy in the intersection theory of certain cycles on the moduli spaces of punctured Riemann surfaces. Tau-functions of other particular solutions to the KdV more recently proved to be important in the theory of the Weil - Petersson measures on the moduli spaces of Riemann surfaces [MZ].

Further progress in the application of the ideas and results from the theory of matrix models of simplicial quantum gravity and of topological field theory to algebraic geometry and symplectic topology raised new problems in the theory of integrable systems [Wit,D1]. In particular, one of the fundamental questions of the theory of Gromov - Witten (GW) invariants of smooth projective varieties and of compact symplectic manifolds is to understand their relationships with integrable hierarchies. The simplest examples of GW invariants and their descendents of a point is governed, due to Witten - Kontsevich, by the KdV hierarchy; for the projective line these invariants can be described by a tau-function of the Toda lattice hierarchy [OP, DZ4]. For the case of projective spaces the existence of an integrable hierarchy structure hidden behind GW invariants of other projective varieties follows from recent results of Dubrovin and Zhang [DZ1-DZ3] on the classification programme of integrable systems and the topological theorems of Givental [Gi] describing the structure of the higher genus GW invariants.

A classification scheme with respect to an appropriate extension of the group of Miura - Backlund transformations, of a wide class of spatially one-dimensional integrable evolutionary PDEs depending on a small parameter was successfully completed in [DZ3]. It concerns bihamiltonian PDEs that satisfy the following requirements:

i) they admit hydrodynamical limit;

ii) they admit a tau-function formulation

iii) they admit Virasoro symmetries linearly acting onto the tau function.

Due to these requirements, the classification scheme of [DZ3] has a wide but not exhaustive range of applicability. Although it covers a number of fundamental integrable PDEs, like Toda lattice, nonlinear Schroedinger equation, Boussinesq and, more generally, Drinfeld - Sokolov hierarchies associated with simply-laced simple Lie algebras, some physically important classes of integrable PDEs do not satisfy (all) the axioms. The celebrated Camassa - Holm (CH) equation discovered in the theory of shallow water waves [CH] does not possess a tau-function formulation. The physical importance of this equation as well as many remarkable geometric properties of it [ACFHM, KhM] urge to extend the classification scheme of [DZ3] in order to include a wider class of PDEs.

The small parameter appearing in the above evolutionary PDEs in many cases plays the role of small dispersion. The leading order system of the hydrodynamic type can be considered as the small dispersion limit of the original PDE. This suggests to use the techniques and ideas of the theory of Frobenius manifolds in the study of Whitham theory of nonlinear asymptotics for weakly dispersive evolutionary PDEs [Wh,LLV,DN]. These ideas led to the discovery of the variational formulation of the Cauchy problem for Whitham equations and to the proof of existence results for the solutions of the Cauchy problem [D2,GrT]. In general in presence of the oscillatory phases the formal expansion of the PDE in a neighborhood of a finite-dimensional invariant manifold do not admit a hydrodynamic limit. The problem of normal form of these evolutionary systems remains open, and demands a further understanding of the geometry of finite dimensional (bi)hamiltonian manifolds. Invariant tori for the KP equations have been further studied in [D4].
There is a quite small literature analyzing numerically asymptotic integrability and the behavior of solution of the PDEs in the highly oscillatory regime. The important part of setting a numerical code is to choose the best discretization. In this respect Lie group theory has shown to be a powerful tool for numerical methods for solving differential equations [Do],[LW]. The first problem that had to be faced is the mismatch between the continuous character of the Lie groups used and the discrete character of the equations studied. Recently [BCW] it was shown that numerical calculations using symmetry preserving discretization provide a much higher precision than standard schemes. Moreover, the symmetry preserving schemes make it possible to integrate around singularities of solutions. The extension of the umbral calculus technique to the nonlinear case, and the elaboration of a reductive perturbation method for nonlinear partial-difference equations are one of the tasks of the present research project.

Other geometric structures on the moduli space of Riemann surfaces are connected with two-dimensional quantum gravity and topological quantum field theory (TQFT), [Ko,ADJ,ACM]. Conformal field theory (CFT) and TQFT are based on algebraic structures parameterized by the moduli space of genus g Riemann surfaces with N punctures M(g;N). This parameterization is consistent with the operation of sewing any two such surfaces together, provided that we match the complex structure in the overlap and keep track of which puncture is ingoing and which is outgoing. This sewing gives to M(g;N) and its cell decomposition the structure of an operad. In such a setting a CFT leads to a natural algebra, over the cell decomposition of Riemann moduli space, which can be related to the algebra of physical space of states of the theory and to their dynamics. Both such descriptions are associated with the existence of an underlying integrable structure described by hydrodynamic type equations. Most likely, at the root of the connection between the CFT framework, the cellular structure of M(g,N), and the underlying integrability there is the common operadic structure mentioned above. Such a correspondence has provided one of the most successful tool for a rigorous mathematical interpretation of ideas in topological quantum field theory.
Recently, new applications of these ideas have made their impact in several guises also in Ricci flow [CK]. In dimension two, the Ricci flow resembles a (non-linear) heat flow equation on a surface due to the (weakly) parabolic character of the metric deformation in terms of the flow parameter t. Thus, it exhibits a dissipative behavior in t, but, as shown by I. Bakas [Ba], it possesses an underlying infinite dimensional Lie algebras structure which gives rise to a flow admitting a Toda field theoretic interpretation and turns out to be integrable in space. Since the two-dimensional Ricci flow provides an alternative proof of the standard uniformization theorem for surfaces one is led to discuss to what extent the Ricci flow considered as a dynamical system on the Riemann moduli space M(g) is connected to the above mentioned integrable hierarchies. This analysis relies on the study of the trajectories of the flow in regimes where the deformation parameter tends to certain limiting values and diffeomorphism solitons appear. We believe that characterizing this connection could be an important step forward in the study of the relation between the evolutive PDEs describing the two-dimensional Ricci flow and the dynamics of the integrable hierarchies characterizing the geometry of the moduli spaces M(g,N).

On more general grounds, the ``modern theory'' of finite dimensional integrable systems may in a sense be seen as an outgrowth of the theory of nonlinear integrable wave equations, as, e.g., testified by the theory of finite gap potentials in the KdV theory (see, e.g., [NMPZ]). Moreover, the interest in such Hamiltonian systems has also received a strong impact from the recent discovery of duality in certain models of supersymmetric Yang - Mills theory in four dimensions [SW]. The duality gives the possibility to express the effective action of the model in terms of action-angle variables for a suitable algebraically completely integrable system (ACIS). The case of Yang - Mills with certain particular type of matter fields has been shown to correspond to important classes of well known integrable systems, such as the periodic Toda, the Calogero-Moser-Ruijsenaars systems, and more general Hitchin systems. The study of the action-angle variables for Hitchin systems of higher genera has been initiated in [GTN,HK]. Some of the geometrical structures involved have been recently analyzed in the framework of special Kaehler geometry. In particular, it has been proved [DW], that special Kaehler geometry provides a natural bridge between supersymmetric gauge theories and integrable systems. Also the classical methods of analysis of finite-dimensional integrable systems based on the Hamilton - Jacobi theory and on separation of variables have been significantly developed in the last decade. The study of important features of algebraic integrability, initiated by Novikov and Veselov [VN] have been developed more recently (see, e.g., [AHP]). The relevance of these methods for quantum systems and spin models has been clearly pointed out by Sklyanin and his school [S1,KNS]. First steps towards understanding of the relationship between this framework and the geometry of bihamiltonian systems has been done, e.g., in [FP]. In particular, it has been shown how under certain geometrical hypotheses one can naturally associate with a Gelfand-Zakharevich [GZ1,GZ2] system a spectral curve, and thus an ACIS. As it is clearly explained in a fundamental paper by Semenov-Tianshanski [ST], in the realm of integrable finite-dimensional hamiltonian systems, Gaudin models play a distinguished role. The original Gaudin model was introduced in the 70's as a quantum model describing a one-dimensional (su(2)) spin chain with long-range interaction [G1,G2]. Its classical version has been first investigated by Sklyanin at the end of the 80's [S1,S2] by exploiting the Lax representation to find out separation variables in the rational and trigonometric case. In a more abstract language, classical Gaudin models are integrable systems defined on the Lie-Poisson manifold associated with the direct sum of N copies of a simple Lie algebra g. The Hamiltonians of the model are obtained as spectral invariants of a Lax matrix (linear in the coordinates functions on g*) satisfying a linear r-matrix formulation. Though in the present project we will be mainly concerned with classical hamiltonian systems, we have to stress the importance of its quantum version (and of its supersymmetric and q-deformed extensions), as a key model for understanding strongly correlated electron systems.


An intrinsic differential-geometric characterization of separable coordinate systems for natural Hamiltonians has been obtained in terms of Killing vectors and tensors [K,B1]. It is based on the geometrical notion of separable web [B2]. The basic starting point is that the property of separability actually depends only on a set of (local or global) geometrical requirements on the underlying Riemannian manifold. In this way both the search for separable coordinates and their classification should be carried out through the investigation of intrinsic geometric structures of the manifold itself. More recently, another intrinsic criterion of separability has been formulated, based on a suitable geometrical structure encoded in the notion of
"omega-N manifold'' [FP,MFP].
An omega-N manifold is a symplectic manifold endowed with a recursion operator satisfying suitable compatibility conditions. Given a Liouville integrable system described by n mutually commuting Integrals of the Motion H_1,..,H_n, the system is separable (in a suitable set of coordinates intrinsically defined by the tensor N) if and only if the Hamiltonian vector fields associated with such Hamilton functions form a distribution D which is invariant along N. This is equivalent to requiring that the Hamiltonian functions are commuting also with a second Poisson bracket defined by N or, in other words, to requiring that D be a `bilagrangian' distribution.

The Hamilton-Jacobi theory for integrable evolutionary PDEs is currently under construction. The interest in such a theory has been inspired by the progress in the so-called symplectic field theory [EGH]. This theory suggests a new link between GW invariants of symplectic manifolds and integrable hierarchies. The potential of GW invariants can be calculated as the value of the Hamilton-Jacobi generating functional in certain points of the Lagrangian subspace. The integrability of the evolutionary PDE suggests that also the corresponding Hamilton - Jacobi problem can be solved. The problem of implementing, in the infinite dimensional case, the analogues of the finite dimensional techniques mentioned above is still open.

References

[ACFHM] M.S. Alber, R. Camassa, Yu.N. Fedorov, D.D. Holm, J.E. Marsden, The complex geometry of weak piecewise smooth solutions of integrable nonlinear PDEs of shallow water and Dym type, Comm. Math. Phys. 221 (2001) 197-227.
[AHP] M.R.Adams, J.Harnad, E.Previato, Isospectral flows in finite and infinite dimensions, Comm. Math. Phys. 117, 299-308, (1988).
[AvM] M.Adler, P.van Moerbeke, Compatible Poisson Structures and the Virasoro Algebra, Comm. Pure Appl. Math. XLVII (1994) 5-37.
[ADJ] J.Ambjorn, B.Durhuus, T.Jonsson, Quantization of Geometry, Cambridge University Press (1997).
[ACM] J.Ambjorn, M.Carfora, A.Marzuoli, "The geometry of dynamical triangulations". Lecture Notes in Physics 50, Springer (1997).
[Ba] I. Bakas "The algebraic structure of geometric flows in two dimensions", arXiv:hep-th/0507284.
[BCW] A. Bourlioux, C. Cyr-Gagnon and P. Winternitz, Difference schemes with point symmetries and their numerical tests, arXiv:math-ph/0602057.
[B1] S.Benenti, Intrinsic characterization of the variable separation in the Hamilton - Jacobi equation. J. Math. Phys. 38 (1997) 6578-6602.
[B2] S.Benenti, Orthogonal separable dynamical systems, Diff. Geom. and Its Appl. 1 (1993) 163-184.
[BK] E. Brezin and V.A. Kazakov, Exactly solvable field theories of closed strings, Phys. Lett. B236 (1990), 144.
[CD] F.Calogero, A.Degasperis, "Spectral Transforms and Solitons", North Holland (Amsterdam) (1982).
[CK] B. Chow, D. Knopf "The Ricci flow: an introduction" Mathematical Surveys and Monographs, Vol. 110, American Math.Soc. (2004).
[Do]V. A. Dorodnitsyn, Group Properties of Difference Equations, Moscow, Fizmatlit, 2001.
[DS] M. Douglas, S. Shenker, Strings in less than one dimension, Nucl. Phys. B335 (1990), 635.
[D1] B. Dubrovin, Geometry of 2D Topological Field Theories. In: Integrable systems and quantum groups, LNM 1620, M.Francaviglia and S.Greco eds.,Springer (Berlin), (1996) 120-348.
[D2] B. Dubrovin, Functionals of the Peierls-Fröhlich type and the variational principle for the Whitham equations. Solitons, geometry, and topology: on the crossroad, 35--44, Amer. Math. Soc. Transl. Ser. 2, 179, Amer. Math. Soc., Providence, RI, 1997.
[D4] B. Dubrovin, On analytic families of invariant tori for PDEs, Asterisque No. 297 (2004), 35--65.
[DN] B.Dubrovin, S.Novikov, Hydrodynamic of weakly deformed soliton lattices. Differential Geometry and Hamiltonian theory. Russ. Math. Surveys, 44, (1989) 36-124.
[DW] R.Donagi, E.Witten, Supersymmetric Yang-Mills theory and integrable systems. Nucl. Phys. B 460 (1996) 299-334.
[DZ1] B.Dubrovin, Y.Zhang, Bihamiltonian Hierarchies in 2D Topological Field Theory At One-Loop Approximation, Commun. Math. Phys. 198 (1998) 311-361.
[DZ2] B.Dubrovin, Y.Zhang, Frobenius manifolds and Virasoro constraints, Sel. Math., New ser. 5, (1999) 423-466.
[DZ3] B.Dubrovin, Y.Zhang, Normal forms of integrable PDEs and Gromov-Wittien invariants, math/0108160, to appear (2003).
[DZ4] Dubrovin, Boris; Zhang, Youjin Virasoro symmetries of the extended Toda hierarchy. Comm. Math. Phys. 250 (2004), no. 1, 161--193.
[EGH] Y.Eliashberg, A.Givental, H.Hofer, Introduction to Symplectic Field Theory, Geom. Funct. Anal., Special Vol. Part II (2000) 560-673.
[FP] G.Falqui, M.Pedroni, Separation of variables for bihamiltonian systems, Math. Phys., Anal., Geom. 2003. 6, 139-179.
[FF] B.Fuchssteiner, A.Fokas, Symplectic structures, their Baecklund transformations and hereditary symmetries, Physica 4D (1981) 47-66.
[GGKM] C.S.Gardner, J.M.Greene, M.D.Kruskal, R.M.Miura, A method for solving the Korteweg deVries equations, Phys. Rev. Lett. 19, (1967) 1095-1097.
[G1] Gaudin, M.: Diagonalization d’une classe d’hamiltoniens de spin. J. de Physique 37, 1087–1098 (1976)
[G2] M. Gaudin, La Fonction d’Onde de Bethe (Paris: Masson, 1983).
[GTN] K.Gawedzki, P.Tran-Ngoc-Bich, Hitchin Systems at Low Genera, J.Math.Phys. 41 (2000) 4695-4712.
[GD] I.Gelfand, I.Dorfman, Schouten bracket and Hamiltonian operators. Functional Anal. Appl. 14 (1980)223--226.
[GZ1] I.M.Gelfand, I.Zakharevich, On the local geometry of a bihamiltonian structure, In: "The Gelfand mathematical Seminars: 1990-1992", pp. 51-112, Corwin, et. al. eds., Birkhauser, 1993.
[GZ2] I.M.Gelfand, I.Zakharevich, Webs, Lenard schemes, and the local geometry of bihamiltonian Toda and Lax structures Sel. Math., New ser. 6 (2000) 131-183.
[Gi] A.Givental, Gromov-Witten invariants and quantization of quadratic Hamiltonians, Moscow Math. J. 1 (2001) 551-558.
[GrT] T. Grava, Fei-Ran Tian, The generation, propagation and extinction of multiphases in the KdV Zero-Dispersion limit, Comm. Pure Appl. Math. 55 (2002), 1569-1639.
[GM] D.J. Gross and A.A. Migdal, A nonperturbative treatment of two dimensional quantum gravity, Phys. Rev. Lett. 64 (1990), 127.
[HK] J.Hurtubise, M.Kjiri, Separating coordinates for the generalized Hitchin systems and the classical r-matrices. Comm. Math. Phys. 210 (2000) 521-540.
[JM] Non-linear integrable systems: classical theory and quantum theory. Eds. M. Jimbo and T. Miwa, World Scientific (Singapore), 1983.
[K] E.G.Kalnins, Separation of variables on manifolds with constant curvature, Pitman Monographs and Surveys in Pure and Applied Math. 28, Longman (1986).
[KhM] B.Khesin, G.Misiolek, Euler equations on homogeneous spaces and Virasoro orbits. Adv. Math. 176 (2003) 116--144.
[Ko] M.Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function, Commun. Math. Phys. 147 (1992) 1­23.
[KNS] V.Kuznetsov, F.Nijhoff, E.Sklyanin,Separation of variables for the Ruijsenaars system, Commun. Math. Phys. 189 (1997) 855-877.
[LLV] P.Lax, D.Levermore, S.Venakides, The Generation and Propagation of Oscillations in Dispersive Initial Value Problems and Their Limiting Behavior. In: Important Developments in Soliton Theory, Eds. A. S. Fokas, V. E. Zakharov, Springer Verlag (Berlin), (1993), pp. 205-241.
[LW] D. Levi and P. Winternitz, Continuous symmetries of difference equations J. Phys. A39 R1-R63, (2006).
[Mag] F.Magri, A simple model of the integrable Hamiltonian equation. J.Math. Phys. vol. 19, (1978) 1156-1162.
[MFP] F. Magri, G. Falqui, M. Pedroni, The method of Poisson pairs in the theory of nonlinear PDEs. Direct and inverse methods in nonlinear evolution equations, 85--136, Lecture Notes in Phys., 632, Springer, Berlin, 2003.
[MZ] Yu.Manin, P.Zograf, Invertible cohomological field theories and Weil-Petersson volumes, Ann. Inst. Fourier. 50 (2000) 519-535.
[NMPZ] Novikov, S.; Manakov, S. V.; Pitaevskii, L. P.; Zakharov, V. E. Theory of solitons. The inverse scattering method. Translated from the Russian. Contemporary Soviet Mathematics.
[OP] A. Okounkov, R. Pandharipande, Gromov-Witten theory, Hurwitz theory, and completed cycles, Ann. of Math. (2) 163 (2006), no. 2, 517--560.
[SW] N.Seiberg, E.Witten, Monopoles, Duality and Chiral Symmetry Breaking in N=2 Supersymmetric QCD, Nucl.Phys. B431 (1994) 484-550.
[ST] M. A. Semenov-Tian-Shansky, Quantum and classical integrable systems. Integrability of nonlinear systems (Pondicherry, 1996), 314--377, Lecture Notes in Phys., 495, Springer, Berlin, 1997.
[S1] E.Sklyanin, Separation of Variables: New trends. Progr. Theor. Phys. Suppl. 188 (1995), 35.
[S2] E K Sklyanin. Separation of variables in the Gaudin model. J. Soviet. Math.,47:2473–2488, 1989.
[VN] A.Veselov, S.P.Novikov, Poisson brackets and complex tori, Proc. Steklov Math. Inst. 1985, Issue 3, pp 52-65.
[Wh] G.Whitham, Linear and nonlinear waves, J. Wiley & Sons, New York, 1974.
[Wit] E.Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Diff. Geom. 1 (1991) 243-310.
[ZM] J.P.Zubelli, F. Magri, Differential Equations in the Spectral Parameter, Darboux Transformations, and a Hierarchy of Master Symmetries for KdV, Commun. Math. Phys, 141 (1991) 329-351.


Description of the Research Program.


The perturbative approach to the classification problem suggested in [DZ3] proved to be successful in classifying systems of spatially one-dimensional integrable evolutionary PDEs admitting hydrodynamic limit, a tau-function and Virasoro symmetry acting linearly on the tau-function [DZ1-DZ3]. The corresponding moduli space of n-components integrable PDE of this class (up to Miura transformations) can be identified [DZ3] with the moduli space of n-dimensional semi-simple Frobenius manifolds which are parameterized by n(n-1)/2 parameters [D1]. A certain class of quantum canonical transformations acts transitively on the moduli space. In the setting of the Gromov - Witten invariants of projective spaces, they were discovered by A. Givental in [Gi]. The quantum canonical transformations are obtained by quantizing the Riemann-Hilbert problem involved in the description [D1] of the moduli space of n-dimensional Frobenius manifolds.
The bihamiltonian structure of the integrable PDEs constructed in this way can be considered as a deformation of classical W-algebras. Virasoro symmetries of the integrable PDEs play an important role both in their construction as well as in the classification. We plan to study the full symmetry algebra of these PDEs in order to produce deformations of quantum W-algebras introduced by A. Zamolodchikov in his study of symmetries of conformal field theories with higher spin.
The classification scheme of [DZ3] has a wide but not exhaustive range of applicability. For example the celebrated Camassa - Holm (CH) equation discovered in the theory of shallow water waves [CH] does not possess a tau-function and it is not included in the above classification.
The general classification problem of systems of integrable PDEs remains open. The perturbative classification approach implemented in [DZ3] has been enlarged in [DLZ] to include all the integrable PDEs admitting a bihamiltonian hydrodynamic limit. In this framework equivalence classes (up to Miura transformations) of n-components bihamiltonian PDEs depend on n(n+1) arbitrary functions of one variable. The problem of proving the existence of such bihamiltonian structures for an arbitrary choice of the functional parameters. The CH equation is included in this classification programme. We remark that the CH hierarchy is transformed into the KdV negative one (i.e. the hierarchy generated by the second Casimir of the corresponding Poisson bracket), via a Miura type transformation followed by a reciprocal transformation. Then, naturally, another direction of investigation is to connect the family of PDEs classified in [DZ3] and the family classified in [DLZ] via reciprocal transformations, which act nonlinearly also on the independent variables. This research issue will require a preliminary study aimed at finding new integrable hierarchies of CH type, and at studying their properties.

A related direction of development is to consider formal perturbation of diagonal hyperbolic systems possessing a complete family of commuting flows (the so-called semi-hamiltonian systems in Tsarev sense [T]). While in the classification of bihamiltonian hydrodynamic equations is well understood [DN], the problem of classification of semi-hamiltonian systems is still open. A fortiori, so is the classification problem of their perturbations.

An important part of the present project is the study of the asymptotic behavior of the solutions of these PDEs. Let us consider bihamiltonian perturbations of the Riemann equation (with one dependent variable). The formal perturbative solution of the corresponding Cauchy problem with monotone initial data can be expressed in terms of the unperturbed solution [DLZ]. This feature is known as quasi-triviality property that permits to express the perturbed solution as a series that depends rationally on the unperturbed solution and its derivatives. This series becomes meaningless at the point of gradient catastrophe of the unperturbed solution and a double scale expansion is needed. One of our tasks is to prove the universality property conjectured in [D5] about the generic solution to a Hamiltonian perturbation of an hyperbolic PDE near the point of gradient catastrophe of the unperturbed equation. Up to shifts and rescalings this behavior does not depend upon the choice of the initial data nor on the choice of the equation and it is described by a particular solution of an ODE of fourth order that belongs to the family of Painleve' equations. Existence of such a particular solution has been proved recently [CV]. Numerical investigations of this conjecture will be performed as well. In this framework we plan to rigorously study the small dispersion limit of the KdV equation at the time of gradient catastrophe. This limit has been extensively investigated in [GP,LLV, DVZ], but only before or after the time of gradient catastrophe. We plan to extend the conjecture formulated for the one component case in [D5], to the multi-component case. Double scaling expansions in matrix models suggest that the conjecture formulated in [D5] remains true for the two-component Toda lattice equations.

After the gradient catastrophe the solution to the PDE becomes oscillatory [ZK, GP]. To study this regime, we are going to develop a PDE analogue of the Krylov - Bogoliubov - Mitropolskii asymptotic method, or nonlinear WKB method, well known in the theory of nonlinear oscillations [Wh,DN,LLV]. In this respect we plan to study the deformation of the Whitham system as well as the corresponding bihamiltonian structure of hydrodynamic type. This corresponds to determine all orders of the nonlinear WKB formal asymptotic solution of the integrable PDE in the neighborhood of a finite dimensional invariant manifold fibered into Liouville tori. A natural geometric structure induced on such invariant manifolds by a Hamiltonian structure of the PDE consists of a symplectic foliation equipped with a flat metric on the base of such a foliation. We plan to develop a classification programme of such structures and to apply it to describing normal forms of more general systems of 1+1 evolutionary PDEs not admitting a hydrodynamic limit.
Next we plan to study the asymptotic solution near singular points (namely the turning points in the linear WKB theory) and the corresponding matching of the asymptotic solutions in the oscillatory and non-oscillatory regimes. A detailed analysis of the development of the various regimes for a given initial data has been obtained in [GrT]. Preliminary numerical tests suggest that the matching of solutions in the various regimes is described by Painleve' transcendents not only at the point of gradient catastrophe but also after few oscillations are formed [GK].

The geometric and analytic foundations of the averaging methods rely upon the study of behaviour of trajectories of integrable systems in the neighborhood of a finite dimensional invariant manifolds. Since the pioneering works of the 70's and 80's, the study of finite dimensional invariant submanifolds of integrable PDEs has been connected with the theory of algebraic completely integrable systems and the theory of isomonodromic deformations, as well as with the classical counterparts of quantum integrable models.
Various features of the integrable PDE structure, such as the bihamiltonian recursion procedure, the action-angle variables, etc. induce a very rich geometry on suitable finite dimensional invariant submanifolds. We plan to study some of the outstanding questions that are still open in this field, as well as their links with the other main themes of the research project. In particular we plan to use the so called Gel'fand - Zakharevich (see [GZ1,GZ2]) scheme, which suggests the possibility of constructing integrable systems from geometric data. An instance of this situation, connected with non linear wave equations has been described in the case of stationary reductions of the KdV and Boussinesq hierarchies (see. e.g., [FMPZ,FMT]).
We also plan to develop an alternative construction of the families of these PDEs in terms of a suitable class of infinite-dimensional Lie algebras. It is understood that an analogue of the Lax representation will be found for the class of integrable PDEs in question. The Lax operator will be obtained by a suitable quantization of the symbol of the Lax representation constructed in [D1].

The Hamilton-Jacobi theory for integrable evolutionary PDEs is currently under construction. The interest in such a theory has been inspired by progress in the so-called symplectic field theory [EGH]. This theory suggests a new link between GW invariants of symplectic manifolds and integrable hierarchies. The potential of the genus zero GW invariants can be calculated as the value of the Hamilton-Jacobi generating functional in certain points of the Lagrangian subspace. The corresponding Hamiltonian flow is a system of hydrodynamic type in the space of periodic functions which turns out to be integrable.
The research line we will follow in the present project in order to construct an extension of the HJ method to soliton equations is based on the bihamiltonian setup for integrable systems, rather than on the symplectic field theory. To describe it, we will refer to a specific class of bihamiltonian manifolds, called omega-N manifolds. On these (symplectic) manifolds there exists a torsionless recursion operator N which can be used to induce iterative processes, called "generalized Lenard chains", since the chains originally introduced under such a denomination in the theory of integrable PDEs are particular examples of such structures. Indeed, (generalized) Lenard chains are nothing but special distributions of vector fields on phase space. Under suitable completeness hypotheses, such distributions give rise to bilagrangian foliations. In the finite dimensional case, it has been proved (see. e.g. [FP,MFP]) that the generating function of such foliations satisfies a separable HJ equation. In other words, the intimate relation between bihamiltonian geometry and separable HJ equations has, in the finite dimensional setting, been established. The primary goal of this line of research is to prove similar results in the case of the recursion operators involved in the theory of non-linear evolutionary PDEs of solitonic type. It is indeed natural to conjecture that the integrability properties of such PDEs might be reformulated in the language of the intrinsic theory of separable systems, and that the inverse scattering method might be thought of as a particularly clever way of implementation of the techniques for the integration of the classical separable systems.
In this framework we plan to prove that the Whitham equations are equations that describe a particular deformation scheme of associative algebras, called "isotropic deformation". Such kind of deformations have already been preliminarily studied, and an unexpected link between them and the "tau function" (and hence with the Witten, Dijkgraaf, Verlinde, Verlinde associativity conditions) has been detected. We plan to bring to the light the meaning of this deformation process in the framework of these quasi-linear PDEs. We also want to show that the algebraic curves associated with the Whitham equations are a hallmark of particular "separation equations" that ultimately provide the possibility of solving them via the hodograph method.
More in general, we will try to extend the theory of bilagrangian foliations to Whitham equations, and, more in general, transplant what we know about the finite dimensional case to integrable PDEs. We have two main instruments at our disposal: the theory of generalized Lenard sequences and the theory of systems of Gel'fand-Zakharevich type. It is fair to say that both tools are under control in the finite dimensional case, while for the infinite dimensional case further efforts are required to understand their meaning and power.

A parallel step in our research concerning methods of solutions for integrable systems considers finite dimensional reductions of infinite dimensional systems as well as so Heisenberg and Gaudin spin chains. To this problems we will devote an intensive research. Indeed, suitable algebraic procedures performed on N-site Gaudin models associated with a simple Lie algebra g and with "any" (i.e. rational, trigonometric, elliptic) dependence on the spectral parameter, have recently enabled our group to construct a hierarchy of new integrable models, called "extended" Lagrange tops, sharing the linear r-matrix structure proper of the ancestor models [MPR]. A straightforward direct sum procedure yields chains of long-range interacting bodies, with rational, trigonometric and elliptic r-matrices, denoted in the simplest case (g=su(2),rational) Lagrange chains.
There are a couple of issues on this subject deserving special investigation:
1a. The bihamiltonian structure of the constructed systems, that certainly can be inherited from that of the ancestor Gaudin model, but whose explicit reduction is expected to be a nontrivial task.
2a. The problem of integrable time-discretizations. So far, integrable discretizations have been obtained "a' la Sklyanin", through Backlund transformations respectively for the Lagrange top, its first extension and the rational Lagrange chain. An alternative discretization approach, proposed by Moser and Veselov [MV] and developed by other authors [Su] turned out to be an effective tool to construct integrable maps when the basic manifold carries the additional structure of a Lie group. Our starting point is an integrable discretization [BSu] for the Lagrange top (N=2 in our framework), providing a discrete Lax representation of the map (with a "deformed" Lax matrix) and a discrete Lagrangian formulation. In the same spirit we have proposed a discrete map for the whole su(2) hierarchy (i.e., for any N), reducing to those derived in [Bsu] for N=2. An evidence for the existence of a complete set of invariant functions has been obtained with the help of symbolic computation programs, but a lot of questions are yet to be solved.

Still within the theory of spin chains, we will study universal graded contractions of rational N-site Gaudin and new integrable models. In [MPR] it has been shown that applying a prescribed pole coalescence procedure to the Lax matrix of a N-site Gaudin model and a related Inonu-Wigner contraction to its Poisson tensor, one obtains a new Lax matrix satisfying the same linear r-matrix formulation of the ancestor model with respect to the contracted Poisson brackets. The procedure works whatever be the functional dependence of the Gaudin Lax matrix on the spectral parameter: rational, trigonometric or elliptic. The particular Inonu-Wigner contraction considered in [MPR] maps G in a new Lie algebra that turns out to be an extension of g.

More in general, we will use Gaudin systems, as well as other models, as an effective tool to enable us to provide an answer to the following problems:
1b. To better understand and fully describe the reduction process of bihamiltonian structures from a PDE infinite dimensional phase space, to its finite dimensional invariant submanifolds.
2b. To establish a full comparison with Sklyanin's method of the poles of the Baker-Akhiezer function, for those bihamitonian systems admitting a Lax representation with spectral parameter.
A parallel direction, equally important towards a full-fledged comprehension of the theory, will concern the study of the relations of the points outlined above with the classical HJ theory. As it is known, in its historical development, the classical theory of separability is based on methods of Riemannian geometry. The full comprehension of the relations between these Riemannian methods and those based on the recursion operator technique is an interesting subject. It will also be helpful to extend such techniques in the infinite dimensional situation. This problem will be studied, starting from the simplest examples of the HJ theory for KdV and Toda, where applications to the theory of GW invariants are envisaged.

Finally, a third related research direction concerns the theory of algebraically completely integrable systems. Most - if not all - of the finite dimensional reductions of infinite dimensional integrable systems can be solved by means of algebro-geometrical techniques. (see, e.g., [BBEIM]) An important specific issue we plan to consider in the present proposal can be described as follows.
The relation of special Kaehler geometry to integrable models (especially Toda and Calogero-type) has been established within the Seiberg-Witten theory of 4D supersymmetric gauge theory [SW,DW]. In his description of moduli spaces of complex lagrangian submanifolds, Hitchin has provided a new characterization of special Kaehler manifolds as those admitting a bilagrangian local immersion in their cotangent spaces. On the other hand, the notion of ``bilagrangian" distribution is crucial in the intrinsic study of the Hamilton - Jacobi equations.
So, it is natural to explore the relationship between these two points of view and extend the first results available in this direction.
Namely, in connection with the existence of a special Kaehler structure on the base of hypersymplectic integrable systems it is important to find out explicit examples, possibly among classical hamiltonian systems. In this framework we intend to study the question of duality of integrable systems (according to the definition proposed by Fock et al., [FGNR]) by means of suitably defined relative Fourier-Mukai transforms [BBHM]. Also, we want to assess whether the equation of the spectral curve associated with a separable systems defined on a regular bihamiltonian manifold can be derived in a purely geometrical fashion from the separation coordinates (i.e. the so-called Darboux-Nijenhuis coordinates). We expect that the equation of the Poisson surface underlying the associated Jacobian fibration can be derived from the separability conditions as well.

Within applicative study of the the theory of nonlinear waves, we plan to address the problem of the transition from continuos to discrete models, and namely study the problem of umbral calculus and symmetries.
In the construction of symmetries of difference equations the umbral calculus technique is very helpful as it allows to get results which are independent from the discretization scheme used. Up to now no effective application of the umbral calculus to nonlinear equation has been devised. Overcoming such limitation is one of the scopes of the present project.
To be more specific, we plan to extend the umbral-calculus technique from the case of linear equations to that of nonlinear ones by solving the nonlinear equations through a "nonstandard" perturbation scheme. Typically, in the usual perturbation scheme for nonlinear equations one expands the seeked solution in terms of solutions of their linearized version. Here we will instead consider our system as a perturbation to a nonlinear system in different variables, namely a discrete nonlinear system which is the umbral correspondent to the differential nonlinear equation. We plan to apply our results in the study of asymptotic symmetries. Though in physical applications the model equations can be quite complicated, relevant informations are usually carried by a properly defined asymptotic behaviour of the system. In the asymptotic regime the system will be simpler and more symmetries will appear.
We plan to carry out a classification scheme of the asymptotic symmetries of physically interesting equations appearing in the description of nonlinear optical lattices, taking also into account the umbral correspondence with differential equations.

The research concerning Topological Field theory and 2D-Quantum Gravity is prompted by the geometrical analysis of the properties of two-dimensional simplicial quantum gravity briefly recalled in the state of the art above. Particularly important are the connections between the (microcanonical) entropy of the set of distinct dynamical triangulations and the Weil-Petersson measure of the moduli space M(g,N) of N-pointed stable curves. Recently Manin and Zograf have characterized the generating functions for the volume of such moduli spaces as the tau-function of a particular solution to KdV. By exploiting the large N asymptotics of the Weil-Petersson volume, it is then possible to show that the anomalous scaling properties of the counting measure of dynamical triangulations are due to the modular degrees of freedom which parametrizes in M(g;N) the vertices of the triangulations.
Recently, new applications of these ideas have made their impact in several guises also in Ricci flow theory and even in quantum computing. Ricci flow [CK] is an evolutionary system of PDEs of geometric origin defined by deforming a given Riemannian metric in the direction of its Ricci tensor. It arises in a variety of non-linear problems in physics, typically as the renormalization group flow for non-linear sigma-model [Fr], wheras in Riemannian geometry has been introduced by R. Hamilton [Ha] in his attempt to a proof of the Thurston geometrization conjecture. Since the two-dimensional Ricci flow provides an alternative proof of the standard uniformization theorem for surfaces one is led to discuss to what extent the Ricci flow considered as a dynamical system on the Riemann moduli space M(g) is connected to the above mentioned integrable hierarchies. This analysis relies on the study of the trajectories of the flow in regimes where the deformation parameter tends to certain limiting values and diffeomorphism solitons appear.
We believe that characterizing this connection could be an important step forward in the study of the relation between the evolutive PDEs describing the two-dimensional Ricci flow and the dynamics of the integrable hierarchies characterizing the geometry of the moduli spaces M(g,N). The project will address some of the issues of interest in this area, with particular emphasis on the roles of Perelman's shrinker entropy functionals [Per], [Car] and the construction of explicit examples in terms of the Egorof metrics which naturally appear in the study of Gromov-Witten invariants.
Related research topics to be pursued in the present proposal are three-dimensional hyperbolic geometry and two-dimensional singular Euclidean structures, Chern-Simons theory and cellular decomposition of the moduli space M(g,N) and pplications to problems in quantum computing knots invariants. This latter line of research is prompted by the geometrical analysis briefly discussed above and stems from observing that metrically triangulated surfaces can be naturally associated with three-dimensional hyperbolic manifolds triangulated by means of ideal hyperbolic tetrahedra (this being a consequence of the Ahlfors-Bers theorem according to which the 3D hyperbolic structure in a manifold is characterized by the conformal structure on the boundary of the manifold).

Further References:
[BBHM] Bartocci C., Bruzzo U., Hernandez Ruiperez D., Munoz Porras J., Realtively stable bundles over elliptic fibrations, Math. Nachr. 238 (2002), 23-36.
[BSu] A.I. Bobenko, Y. Suris, A discrete time Lagrange top and discrete elastic curves. Amer. Math. Soc. Transl. 201, 39--62 (2000).
[Car] M. Carfora, Fokker-Planck dynamics and entropies for the
renormalized Ricci flow. arXiv:math.DG/0507309 v2.
[CV] T. Claeys, M. Vanlessen, The existence of a real pole-free solution of the fourth order analogue of the Painleve I equation. arXiv:math-ph/0604046.
[DVZ] Deift, P.; Venakides, S.; Zhou, X. New results in small dispersion KdV by an extension of the steepest descent method for Riemann-Hilbert problems. Internat. Math. Res. Notices 1997, no. 6, 286--299.
[D5] B. Dubrovin, On Hamiltonian perturbations of hyperbolic systems of conservation laws, II: universality of critical behaviour, xxx.lanl.gov//math-phys/0510032.
[DLZ] B. Dubrovin, Si-Qi Liu, Y. Zhang (2006). On Hamiltonian perturbations of hyperbolic systems of conservation laws. I. Quasi-triviality of bihamiltonian perturbations. Comm. Pure Appl. Math. vol. 59 pp. 559-615.
[FMT] G. Falqui, F. Magri, G.Tondo. Reduction of bihamiltonian systems and separation of variables: an example from the Boussinesq hierarchy. Theor. Math. Phys., 122, 212-230, (2000).
[Fr] D. H. Friedan, Nonlinear models in 2+epsilon dimensions. Ann. Physics 163 (1985), no. 2, 318--419.
[FGNR] Fock, V., Gorsky, A., Nekrasov, N., Rubtsov, V., Duality in integrable systems and gauge theories. J. High Energy Phys. 2000, no. 7, Paper 28, 40 pp.
[GP] A.G. Gurevich, L.P. Pitaevskii, Non stationary structure of a collisionless shock waves, JEPT Letters, 17:193-195 (1973).
[Ha] R. Hamilton Three-manifolds with positive Ricci curvature. J. Differential Geom. 17 (1982), 255-306.
[MV] J. Moser, A.P. Veselov, Discrete versions of some classical integrable systems and factorization of matrix polynomials. Comm. Math. Phys. 139, 217--243 (1991).
[MSS] A.Mikhailov, A.Shabat, V.Sokolov, The symmetry approach to classification of integrable equations, in "What is
integrability?", V.Zakharov ed., pp. 115-184, Springer-Verlag (Berlin) 1990.
[MPR] F. Musso, M. Petrera, O. Ragnisco, Algebraic extensions of Gaudin models. Jour. Nonlin. Math. Phys. 12, Suppl. 1, 482--498 (2005).
[Per] G. Perelman The entropy formula for the Ricci flow and its geometric applications. math.DG/0211159.
[Su] Y. Suris, The problem of integrable discretization: Hamiltonian approach, Birkhauser Verlag, Basel, 2003.


Role of the Local Research Units.



Testo inglese
Unit I
DUBROVIN Boris Anatolevitch
 
The Trieste Research Unit duties deal with the study of the geometric theory of nonlinear waves and integrable equations.
In particular the following tasks will be tackled:
1. Classification of integrable one-dimensional evolutionary PDEs admitting bihamiltonian hydrodynamic limit.
The classification of integrable PDEs related to the theory of Frobenius manifolds and 2D topological field theory says that, at generic point, the moduli spaces of such integrable PDEs with n dependent variables is determined by n(n-1)/2 parameters. The larger family of equivalence classes of n component integrable PDEs admitting a bihamiltonian hydrodynamic limit depend on n(n+1) arbitrary functions of one variable. The problem of proving the existence of such integrable PDEs for an arbitrary choice of the functional parameters remains open.

2. Study the behavior of solutions to Hamiltonian perturbation of the simplest one-component hyperbolic PDE.
One of our tasks is to prove the universality property conjectured by Dubrovin about the generic solution to the Hamiltonian perturbation of an hyperbolic PDE near the point of gradient catastrophe of the unperturbed equation. Up to shifts and rescalings this behavior does not depend upon the choice of the initial data nor on the choice of the equation and it is described by a particular solution of an ODE of fourth order that belongs to the family of Painleve' equations. Numerical investigations of this conjecture will be performed as well. Next we plan to extend the conjecture formulated for the one component case, to the multi-component case. Double scaling expansion in hermitian matrix models suggest that the conjecture formulated remains true for the Toda lattice (a two-component integrable PDE).
After the point gradient catastrophe the solution to the PDE becomes oscillatory. In the presence of oscillations the formal expansion of the PDE in a neighborhood of a finite-dimensional invariant manifold do not admit a hydrodynamic limit. The problem of normal form of these evolutionary systems remains open, and demands a further understanding of the geometry of finite dimensional (bi)hamiltonian manifolds.In this respect we plan to study the deformation of the Whitham system as well as the corresponding bihamiltonian structure of hydrodynamic type.

3. Further development of the conjectured relation between the theory of Gromov-Witten invariants of smooth projective varieties and the theory of integrable PDEs associated to Frobenius manifold.
The symplectic field theory suggests a new link between Gromov-Witten invariants of symplectic manifolds and integrable hierarchies. The potential of Gromov-Witten invariants can be calculated as the value of the Hamilton-Jacobi generating functional in certain points of the Lagrangian subspace. For this reason the infinite-dimensional analogue of the Hamilton-Jacobi theory for integrable evolutionary PDEs is currently under construction.
 
Unit II
BENENTI Sergio
 
The Torino unit will develop, together with the other units, mathematical methods (of geometric and algebraic type) aimed at the following topics:
1. study of the separability of some important PDE’s of mathematical physics (Hamilton-Jacobi, Schroedinger, Dirac, etc.);
2. study (also by bi-Hamiltonian methods) of integrability of finite-dimensional Hamiltonian systems, related to the reduction of PDE’s for non-linear waves;
3. quantization of separable systems;
4. application to PDE’s of hydrodynamic type.
 
Unit III
RAGNISCO Orlando
 
The research program of Roma TRE unit will be focussed on the following points:

1. Analysis of integrable models arising as finite-dimensional reductions (stationary flows or restricted flows) of integrable nonlinear PDES. In particular, models of Gaudin type will be investigated, dealing mostly with three issues:

1a. Construction of integrable time-discretizations, following the approach proposed by Bobenko and Suris.

1b. Search for novel integrable systems related to universal graded contractions of N-site Gaudin models.

1c. Lax representation and r-matrix structure for integrable systems with su_q(2) coalgebra symmetry.

On the subject of classical and quantum Gaudin models we plan to organize a small interdisciplinary international workshops, where the themes discussed should range form mathematical structures to physical applications (mostly in condensed matter physics).

2. Nonlinear Equations on the lattice: symmetries and perturbative approaches

2a. Umbral calculus and symmetries.

One of the aims of the present project is to apply the so called "Umbral calculus technique" to nonlinear difference equations. We plan to use a sort of perturbative approach , by looking at our system as a perturbation of a discrete system obtained as an "umbral version" of a solvable continuous differential system.


2b. Reductive perturbation theory on the lattice.

We are working to establish a discrete reductive perturbation technique, allowing to extract, as in the continuous case, "simpler", hopefully integrable, nonlinear equations. Unsuccessful attempts have been made in the past for differential-difference equations. More encouraging partial results have been recently obtained in a pure discrete context. Checking the integrability properties of the resulting "limit" equations is a crucial step in this program, and is one of our main purposes.
 
Unit IV
CARFORA Mauro
 
Under the present proposal, the research programme of the Pavia group will focus on the following lines:

1. Geometry of the moduli space M(g,N) of genus g Riemann surfaces with N punctures and its operad structure. Cellular decompositions of M(g,N): Ribbon graphs associated with the singular Euclidean structures (defined by random Regge triangulations), and ribbon graphs induced by the horocyclic parametrization defined by R. Penner. Connections between such two descriptions. Dispersionless integrable hierarchies and the geometry of these cellular decompositions of M(g,N).
2. Evolutive PDEs of geometrical type connected with the two-dimensional Ricci flow, interpretation as a dynamical system on the moduli space M(g,N) and connections with the integrable hierarchies describing the topology of M(g,N).
Three-dimensional hyperbolic geometry and two-dimensional singular Euclidean structures. Chern-Simons theory and cellular decomposition of the moduli space M(g,N).
3. Applications to problems in quantum computing knots invariants. This latter line of research is prompted by the geometrical analysis briefly discussed above and stems from observing that metrically triangulated surfaces can be naturally associated with three-dimensional hyperbolic manifolds triangulated by means of ideal hyperbolic tetrahedra (this being a consequence of the Ahlfors-Bers theorem according to which the 3D hyperbolic structure in a manifold is characterized by the conformal structure on the boundary of the manifold).

As far as the planned timetable is concerned, the program of research under this Project is divided into two phases. In the first year we will be concentrating in assessing the issue of a proper characterization of the connections among the cellular geometry of M(g,N), defined either by singular Euclidean structures or by the Penner construction, three-dimensional hyperbolic geometry, and the integrable hierarchies governing the topology of M(g,N). In the second year, the main effort of the team will be directed in studying the applications of the model in discussing the evolutive PDEs associated with the two-dimensional Ricci flow, and the interaction between the cellular geometry of M(g,N) and problems of quantum computations of knots invariants.


We believe that an important aspect of our research programme is the allocation of funds for a two-years postdoctoral position that will offer the opportunity to young researchers, interested into such a lively and fascinating field, to interact with our team and with the other teams partecipating in the proposal.
 
Unit V
FALQUI Gregorio
 
The Milano Research Unit duties deal with the study of the geometrical features of integrable PDEs, as well as their reductions.
In particular the following tasks will be pursued:

1. To prove that the Whitham equations are equations that describe a particular deformation scheme of associative algebras, called "isotropic deformation". The link between such kind of deformations and the "tau function" (and hence with the Witten, Dijkgraaf, Verlinde, Verlinde associativity conditions) has been already detected. We plan to bring to the light the meaning of this deformation process in the framework of the Whitham equations.

2. To show that the algebraic curves associated with the Whitham equations are a hallmark of particular "separation equations" that ultimately provide the possibility of solving them via the hodograph method. The fulfilment of this research task will be, in our opinion, a remarkable step towards the understanding of the links between the classical techniques of Separation of variables and the method of the Inverse Scattering.

3. To extend the theory of bilagrangian foliations to Whitham equations, and, more in general, transplant what we know about the finite dimensional case to integrable PDEs.
In particular, to understand the meaning and power of the theory of generalized Lenard sequences and the theory of systems of Gel'fand-Zakharevich type in the framework of infinite dimensional Hamiltonain integrable PDEs in 1+1 dimensions.

4. In the framework of the classification theory of integrable Hamitonian PDEs, and, notably, in the case of Camassa-Holm type equations we plan:
4a. To build further examples of such hierarchies and study their solutions (especially traveling waves and finite gap "potentials").
4b. To check whether the extension of the Miura group by the group of reciprocal transformations is enough to include these hierarchies in the Dubrovin-Zhang classification scheme.

5. We also plan to study whether Treves' "vanishing residue" characterization of conserved quantities for KdV (as well as for other notable integrable hierarchies) can be fully understood within the theory of Baecklund transformations.

6. To further extend the bihamiltonian scheme for Separation of Variables, to deepen the comparison between this one and the theory of algebraic integrability and the integrability of "Hamiltonian systems with symmetry", and, possibly, to apply these results to the case of "Quantum" integrable systems.
In particular, we propose to study systems with elliptic spectral parameter and Hitchin systems, as well as to reconsider, under the perspective of the theory of regular bihamiltonian manifolds, Calogero and Gaudin-type systems.