Moduli Spaces of Generalized Hyperpolygons

We introduce the notion of generalized hyperpolygon, which arises as a representation, in the sense of Nakajima, of a comet-shaped quiver. We identify these representations with rigid geometric figures, namely pairs of polygons: one in the Lie algebra of a compact group and the other in its complexification. To such data, we associate an explicit meromorphic Higgs bundle on a genus-g Riemann surface, where g is the number of loops in the comet, thereby embedding the Nakajima quiver variety into a Hitchin system on a punctured genus-g Riemann surface (generally with positive codimension). We show that, under certain assumptions on flag types, the space of generalized hyperpolygons admits the structure of a completely integrable Hamiltonian system of Gelfand–Tsetlin type, inherited from the reduction of partial flag varieties. In the case where all flags are complete, we present the Hamiltonians explicitly. We also remark upon the discretization of the Hitchin equations given by hyperpolygons, the construction of triple branes (in the sense of Kapustin–Witten mirror symmetry), and dualities between tame and wild Hitchin systems (in the sense of Painlevé transcendents).

Numerical determination of the singularity order of a system of differential equations

We consider moving singular points of systems of ordinary differential equations. A review of Painlevé’s results on the algebraicity of these points and their relation to the Marchuk problem of determining the position and order of moving singularities by means of finite difference method is carried out. We present an implementation of a numerical method for solving this problem, proposed by N. N. Kalitkin and A. Al’shina (2005) based on the Rosenbrock complex scheme in the Sage computer algebra system, the package CROS for Sage. The main functions of this package are described and numerical examples of usage are presented for each of them. To verify the method, computer experiments are executed (1) with equations possessing the Painlevé property, for which the orders are expected to be integer; (2) dynamic Calogero system. This system, well-known as a nontrivial example of a completely integrable Hamiltonian system, in the present context is interesting due to the fact that coordinates and momenta are algebraic functions of time, and the orders of moving branching points can be calculated explicitly. Numerical experiments revealed that the applicability conditions of the method require additional stipulations related to the elimination of superconvergence points.

Numerical determination of the singularity order of a system of differential equations

We consider moving singular points of systems of ordinary differential equations. A review of Painlevé’s results on the algebraicity of these points and their relation to the Marchuk problem of determining the position and order of moving singularities by means of finite difference method is carried out. We present an implementation of a numerical method for solving this problem, proposed by N. N. Kalitkin and A. Al’shina (2005) based on the Rosenbrock complex scheme in the Sage computer algebra system, the package CROS for Sage. The main functions of this package are described and numerical examples of usage are presented for each of them. To verify the method, computer experiments are executed (1) with equations possessing the Painlevé property, for which the orders are expected to be integer; (2) dynamic Calogero system. This system, well-known as a nontrivial example of a completely integrable Hamiltonian system, in the present context is interesting due to the fact that coordinates and momenta are algebraic functions of time, and the orders of moving branching points can be calculated explicitly. Numerical experiments revealed that the applicability conditions of the method require additional stipulations related to the elimination of superconvergence points.

Numerical determination of the singularity order of a system of differential equations

We consider moving singular points of systems of ordinary differential equations. A review of Painlevé’s results on the algebraicity of these points and their relation to the Marchuk problem of determining the position and order of moving singularities by means of finite difference method is carried out. We present an implementation of a numerical method for solving this problem, proposed by N. N. Kalitkin and A. Al’shina (2005) based on the Rosenbrock complex scheme in the Sage computer algebra system, the package CROS for Sage. The main functions of this package are described and numerical examples of usage are presented for each of them. To verify the method, computer experiments are executed (1) with equations possessing the Painlevé property, for which the orders are expected to be integer; (2) dynamic Calogero system. This system, well-known as a nontrivial example of a completely integrable Hamiltonian system, in the present context is interesting due to the fact that coordinates and momenta are algebraic functions of time, and the orders of moving branching points can be calculated explicitly. Numerical experiments revealed that the applicability conditions of the method require additional stipulations related to the elimination of superconvergence points.

DONAGI–MARKMAN CUBIC FOR THE GENERALIZED HITCHIN SYSTEM

Donagi and Markman (1993) have shown that the infinitesimal period map for an algebraic completely integrable Hamiltonian system (ACIHS) is encoded in a section of the third symmetric power of the cotangent bundle to the base of the system. For the ordinary Hitchin system the cubic is given by a formula of Balduzzi and Pantev. We show that the Balduzzi–Pantev formula holds on maximal rank symplectic leaves of the G-generalized Hitchin system.

COMPLETELY AND PARTIALLY INTEGRABLE HAMILTONIAN SYSTEMS IN THE NONCOMPACT CASE

Action-angle coordinates are shown to exist around an instantly compact invariant submanifold of a time-dependent completely integrable Hamiltonian system. Partially integrable Hamiltonian systems are also considered in the noncompact case; a comparison is made with other possible approaches. Results on symplectically complete foliations contained in the Appendix A can be used to give alternative proofs of some propositions.

Integrable Systems Associated to a Hopf Surface

A Hopf surface is the quotient of the complex surface by an infinite cyclic group of dilations of . In this paper, we study the moduli spaces of stable -bundles on a Hopf surface , from the point of view of symplectic geometry. An important point is that the surface is an elliptic fibration, which implies that a vector bundle on can be considered as a family of vector bundles over an elliptic curve. We define a map that associates to every bundle on a divisor, called the graph of the bundle, which encodes the isomorphism class of the bundle over each elliptic curve. We then prove that the map G is an algebraically completely integrable Hamiltonian system, with respect to a given Poisson structure on . We also give an explicit description of the fibres of the integrable system. This example is interesting for several reasons; in particular, since the Hopf surface is not Kähler, it is an elliptic fibration that does not admit a section.

Isomonodromic deformation of Fuchsian projective connections on elliptic curves

We consider isomonodromic deformations of second-order Fuchsian differential equations on elliptic curves. The isomonodromic deformations are described as a completely integrable Hamiltonian system.