Symplectic algebras

For Kramers (e.g. one-electron) states where the eigenvalue of T2, A = — 1, the metric gAA is antisymmetric, and so relating to symplectic algebras (in relativistic terms to pure torsion rather than to curvature), rather than symmetric as for non-Kramers systems. The joint action of Hermitian conjugation and time reversal (which is not commutative) is summarized with the above results for these individual operations in Table 1. 

The explicit symplectic integrator can be derived in terms of free Lie algebra in which Hamilton equations (5) are written in the form... 

The concept of a symplectic method is easily extended to systems subject to holonomic constraints [22]. For example the RATTLE discretization is found to be a symplectic discretization. Since SHAKE is algebraically equiva lent to RATTLE, it, too, has the long-term stability of a symplectic method. 

Cohomology of Quotients in Symplectic and Algebraic Geometry, Princeton University Press, Princeton, New Jersey 1984. 

A. Fujiki, On primitive symplectic compact Kahler V-manifolds of dimension four, in Classification of Algebraic and Analytic Manifolds , K.Ueno (ed.). Progress in Mathematics, Birkhauser 39 (1983), 71-125. 

F. Kirwan, Cohomology of quotients in symplectic and algebraic geometry . Mathematical Notes, Princeton Univ. Press, 1985. 

Let (A, A) be a principally polarized abelian variety over an algebraically closed field k. If the characteristic of k is not equal to the prime p, then the kernel of multiplication by p on A(k) is a finite group isomorphic to (Z/pZ)29. The polarization A induces a nondegenerate alternating pairing A k)[p] x A( )[p] -+ pp(k). Hence, we can try to classify principally polarized abelian varieties with a symplectic basis for the group of points of order p. However, this no longer works in characteristic p. 

The behavior of the Runge-Kutta-Nystrom Symplectic method of algebraic order four developed by Sanz-Serna and Calvo12 and the behavior of the classical partitioned multistep method is similar. These methods are much more efficient that the embedded Runge-Kutta method of Dormand and Prince 5(4) (see 13). 

In 32 the authors consider the solution of the two-dimensional time-independent Schrodinger equation by partial discretization. The discretized problem is treated as a problem of the numerical solution of system of ordinary differential equations and has been solved numerically by symplectic methods. The problem is then transformed into an algebraic eigenvalue problem involving real, symmetric, large sparse matrices. As numerical illustrations the authors have found the eigenvalues of the two-dimensional harmonic oscillator... 

B. Siebert, I. Smith, G. Tian, Symplectic 4-Manifolds and Algebraic Surfaces. Cetraro, Italy 2003. Editors ... 

In [167] the authors obtained symplectic partitioned Runge-Kutta methods (SPRK) of algebraic order two and three with phase-lag of order five. More specifically they considered systems with separable Hamiltonians of the form... 

It follows from the linear algebra (see above) that in each symplectic space R, there always exists a symplectic basis. There are many such bases and, besides, as the first vector of a symplectic basis one may take any nonzero vector a G R ". 

Here we rely on the information from the algebra presented in 2.1. Thus, in this respect,the Riemannian and symplectic structures are similar. 

Note that the Lie subalgebras H M) and H oc M) depend on the choice of the form u) on M. With a change of their symplectic structure, these subalgebras, in general, will change in the Lie algebra of all functions. 

We shall now deal with the orbits of coadjoint representation. On these orbits, there is a natural symplectic structure and any homogeneous symplectic manifold may be realized in the from of the orbit of the representation Ad in a certain Lie algebra. 

Lemma 3.3.1. The momentum mapping F M G is ( invariant, where the group 0 = exp G acts on G in a coadjoint manner, and on the manifold M it acts as a group of symplectic transformations generated by the Lie algebra G of vector Gelds sgrad f,f G. 

Claim 3.3.1 (see [6]). Let M be a compact symplectic manifold on which a hnite-dimensional Lie algebra G of functions (with respect to the Poisson bracket) is given that effectively acts on M (that is, each nonzero element g gG is represented by a nonzero vector Geld sgrad g on M). Then the algebra G is reductive. 

It follows from Proposition 3.3.1 that the definition of complete noncommutative integrability given above may be formulated in the form close to formula (2). Kamely, a Hamiltonian system on a symplectic manifold M with the Lie algebra G of integrals is completely integrable in the noncommutative sense if... 

A Lie algebra G is called compact if there exists a positive definite scalar product (, ) on G invariant under all inner automorphisms. Let a reductive Lie algebra G be a Lie algebra of functions with respect to the Poisson bracket on a symplectic manifold (A7,o ). The semisimplicity condition for the image of the momentum mapping F M G is automatically fulfilled by virtue of Theorem 3.3.6 for... 

Fomenko has formulated [143] the following general problem how can one algorithmically find a maximal linear commutative algebra of functions on a symplectic manifold and establish how many parameters describe the set of all such algebras Above we have discussed the real version of this problem, now we shall briefly treat the compact version. 

Proposition 3.4.2. In the algebraic category, the complete integrability of the symplectic structure (M, w) implies the meromorpbic integrability, that is, on M there exist n meromorphic integrals in involution, which are independent at the general point. 

Theorem 3.4.3. Let M = 51 1 be an algebraic Beauville manifold. For the symplectic structure on M be Liouville integrable, it is necessary and sufficient that on S there exist a bundle of elliptic curves. Furthermore, if the symplectic structure on is integrable, then there exists an integrating morphism p ... 

C OROLLARY 3.4.2. For the general algebraic K3 surface S, the symplectic structure 51 1 is not Liouville-integrable. 

Mishchenko, A. S., and Fomenko, A. T. Symplectic Lie Group Action, Lecture Notes in Math., v. 763 (1979), 504-539. Springer-Verlag. "Algebraic Topology, Aarhus, 1978, Proceedings,... 

---