Extended Hamilton–Jacobi Theory, Symmetries and Integrability by Quadratures

In this paper, we study the extended Hamilton–Jacobi Theory in the context of dynamical systems with symmetries. Given an action of a Lie group G on a manifold M and a G-invariant vector field X on M, we construct complete solutions of the Hamilton–Jacobi equation (HJE) related to X (and a given fibration on M). We do that along each open subset U⊆M, such that πU has a manifold structure and πU:U→πU, the restriction to U of the canonical projection π:M→M/G, is a surjective submersion. If XU is not vertical with respect to πU, we show that such complete solutions solve the reconstruction equations related to XU and G, i.e., the equations that enable us to write the integral curves of XU in terms of those of its projection on πU. On the other hand, if XU is vertical, we show that such complete solutions can be used to construct (around some points of U) the integral curves of XU up to quadratures. To do that, we give, for some elements ξ of the Lie algebra g of G, an explicit expression up to quadratures of the exponential curve expξt, different to that appearing in the literature for matrix Lie groups. In the case of compact and of semisimple Lie groups, we show that such expression of expξt is valid for all ξ inside an open dense subset of g.

Strong submeasures and applications to non-compact dynamical systems

A strong submeasure on a compact metric space X is a sub-linear and bounded operator on the space of continuous functions on X. A strong submeasure is positive if it is non-decreasing. By the Hahn–Banach theorem, a positive strong submeasure is the supremum of a non-empty collection of measures whose masses are uniformly bounded from above. There are many natural examples of continuous maps of the form $f:U\rightarrow X$ , where X is a compact metric space and $U\subset X$ is an open-dense subset, where f cannot extend to a reasonable function on X. We can mention cases such as transcendental maps of $\mathbb {C}$ , meromorphic maps on compact complex varieties, or continuous self-maps $f:U\rightarrow U$ of a dense open subset $U\subset X$ where X is a compact metric space. For the aforementioned mentioned the use of measures is not sufficient to establish the basic properties of ergodic theory, such as the existence of invariant measures or a reasonable definition of measure-theoretic entropy and topological entropy. In this paper we show that strong submeasures can be used to completely resolve the issue and establish these basic properties. In another paper we apply strong submeasures to the intersection of positive closed $(1,1)$ currents on compact Kähler manifolds.

The U ( n ) Gelfand–Zeitlin system as a tropical limit of Ginzburg–Weinstein diffeomorphisms

In this paper, we show that the Ginzburg–Weinstein diffeomorphism of Alekseev & Meinrenken (Alekseev, Meinrenken 2007 J. Differential Geom. 76 , 1–34. (10.4310/jdg/1180135664)) admits a scaling tropical limit on an open dense subset of . The target of the limit map is a product , where is the interior of a cone, T is a torus, and carries an integrable system with natural action-angle coordinates. The pull-back of these coordinates to recovers the Gelfand–Zeitlin integrable system of Guillemin & Sternberg (Guillemin, Sternberg 1983 J. Funct. Anal. 52 , 106–128. (10.1016/0022-1236(83)90092-7)). As a by-product of our proof, we show that the Lagrangian tori of the Flaschka–Ratiu integrable system on the set of upper triangular matrices meet the set of totally positive matrices for sufficiently large action coordinates. This article is part of the theme issue ‘Finite dimensional integrable systems: new trends and methods’.

The Dynamical Mordell–Lang Conjecture for Skew-Linear Self-Maps. Appendix by Michael Wibmer

Let $k$ be an algebraically closed field of characteristic $0$, let $N\in{\mathbb{N}}$, let $g:{\mathbb{P}}^1{\longrightarrow } {\mathbb{P}}^1$ be a nonconstant morphism, and let $A:{\mathbb{A}}^N{\longrightarrow } {\mathbb{A}}^N$ be a linear transformation defined over $k({\mathbb{P}}^1)$, that is, for a Zariski-open dense subset $U\subset{\mathbb{P}}^1$, we have that for $x\in U(k)$, the specialization $A(x)$ is an $N$-by-$N$ matrix with entries in $k$. We let $f:{\mathbb{P}}^1\times{\mathbb{A}}^N{\dashrightarrow } {\mathbb{P}}^1\times{\mathbb{A}}^N$ be the rational endomorphism given by $(x,y)\mapsto (\,g(x), A(x)y)$. We prove that if $g$ induces an automorphism of ${\mathbb{A}}^1\subset{\mathbb{P}}^1$, then each irreducible curve $C\subset{\mathbb{A}}^1\times{\mathbb{A}}^N$ that intersects some orbit $\mathcal{O}_f(z)$ in infinitely many points must be periodic under the action of $f$. Furthermore, in the case $g:{\mathbb{P}}^1{\longrightarrow } {\mathbb{P}}^1$ is an endomorphism of degree greater than $1$, then we prove that each irreducible subvariety $Y\subset{\mathbb{P}}^1\times{\mathbb{A}}^N$ intersecting an orbit $\mathcal{O}_f(z)$ in a Zariski dense set of points must be periodic. Our results provide the desired conclusion in the Dynamical Mordell–Lang Conjecture in a couple new instances. Moreover, our results have interesting consequences toward a conjecture of Rubel and toward a generalized Skolem–Mahler–Lech problem proposed by Wibmer in the context of difference equations. In the appendix it is shown that the results can also be used to construct Picard–Vessiot extensions in the ring of sequences.

NON-COMMUTATIVE REPRESENTATIONS OF FAMILIES OF k2 COMMUTATIVE POLYNOMIALS IN 2k2 COMMUTING VARIABLES

Given a collection [Formula: see text] of k2 commutative polynomials in 2k2 variables, the objective is to find a condensed representation for these polynomials in terms of a single non-commutative (nc) polynomial p(X, Y) in two k × k matrix variables X and Y. In this paper, we develop algorithms that will generically determine whether the given family [Formula: see text] has a nc representation and will produce such a representation if it exists. In particular, we determine an open, dense subset of the space of nc polynomials in two variables that satisfies the following property: if a family [Formula: see text] of polynomials admits a nc representation in this subset, then our algorithms will determine this representation.

REMARKS ON THE STATISTICAL ORIGIN OF THE GEOMETRICAL FORMULATION OF QUANTUM MECHANICS

A quantum system can be entirely described by the Kähler structure of the projective space [Formula: see text] associated to the Hilbert space [Formula: see text] of possible states; this is the so-called geometrical formulation of quantum mechanics. In this paper, we give an explicit link between the geometrical formulation (of finite dimensional quantum systems) and statistics through the natural geometry of the space [Formula: see text] of non-vanishing probabilities [Formula: see text] defined on a finite set En: = {x1, …, xn}. More precisely, we use the Fisher metric gF and the exponential connection ∇(1) (both being natural statistical objects living on [Formula: see text]) to construct, via the Dombrowski splitting theorem, a Kähler structure on [Formula: see text] which has the property that it induces the natural Kähler structure of a suitably chosen open dense subset of ℙ(ℂn). As a direct physical consequence, a significant part of the quantum mechanical formalism (in finite dimension) is encoded in the triple [Formula: see text].

Ergodic optimization of super-continuous functions on shift spaces

Ergodic optimization is the process of finding invariant probability measures that maximize the integral of a given function. It has been conjectured that ‘most’ functions are optimized by measures supported on a periodic orbit, and it has been proved in several separable spaces that an open and dense subset of functions is optimized by measures supported on a periodic orbit. All known positive results have been for separable spaces. We give in this paper the first positive result for a non-separable space, the space of super-continuous functions on the full shift, where the set of functions optimized by periodic orbit measures contains an open dense subset.

On the Geometry of the Moduli Space of Real Binary Octics

The moduli space of smooth real binary octics has five connected components. They para- metrize the real binary octics whose defining equations have 0, … , 4 complex-conjugate pairs of roots respectively. We show that each of these five components has a real hyperbolic structure in the sense that each is isomorphic as a real-analytic manifold to the quotient of an open dense subset of 5- dimensional real hyperbolic space by the action of an arithmetic subgroup of Isom. These subgroups are commensurable to discrete hyperbolic reflection groups, and the Vinberg diagrams of the latter are computed.

On the maximal ionization for the atomic Pauli operator

Within the Born–Oppenheimer approximation Lieb proved that the number of non-relativistic, spin- particles that can be bound to an atom of nuclear charge Z in the presence of an external magnetic field satisfies N max <2 Z +1, provided the magnetic field tends to zero at infinity and the coupling between the magnetic field and the spin is ignored. Assuming that the magnetic field is generic, we prove an upper bound which holds when the spin-field coupling is included; the set of generic magnetic fields contains an open, dense subset of .

Bending Flows for Sums of Rank One Matrices

We study certain symplectic quotients of n-fold products of complex projective m-space by the unitary group acting diagonally. After studying nonemptiness and smoothness of these quotients we construct the action-angle variables, defined on an open dense subset, of an integrable Hamiltonian system. The semiclassical quantization of this system reporduces formulas from the representation theory of the unitary group.