Counting fixed points of a finitely generated subgroup of Aff [C]

Given a finitely generated subgroup G of the group of affine transformations acting on the complex line C, we are interested in the quotient Fix(G)/G. The purpose of this note is to establish when this quotient is finite and in this case its cardinality. We give an application to the qualitative study of polynomial planar vector fields at a neighborhood of a nilpotent singular point.</p

Splitting fields and general differential Galois theory

An algebraic technique is presented that does not use results of model theory and makes it possible to construct a general Galois theory of arbitrary nonlinear systems of partial differential equations. The algebraic technique is based on the search for prime differential ideals of special form in tensor products of differential rings. The main results demonstrating the work of the technique obtained are the theorem on the constructedness of the differential closure and the general theorem on the Galois correspondence for normal extensions..Comment: 33 pages, this version coincides with the published on

Tannakian duality for Anderson-Drinfeld motives and algebraic independence of Carlitz logarithms

We develop a theory of Tannakian Galois groups for t-motives and relate this to the theory of Frobenius semilinear difference equations. We show that the transcendence degree of the period matrix associated to a given t-motive is equal to the dimension of its Galois group. Using this result we prove that Carlitz logarithms of algebraic functions that are linearly independent over the rational function field are algebraically independent.Comment: 39 page

A Difference Version of Nori's Theorem

We consider (Frobenius) difference equations over (F_q(s,t), phi) where phi fixes t and acts on F_q(s) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group G defined over F_q can be realized as a difference Galois group over F_{q^i}(s,t) for some i in N. The proof uses upper and lower bounds on the Galois group scheme of a Frobenius difference equation that are developed in this paper. The result can be seen as a difference analogue of Nori's Theorem which states that G(F_q) occurs as (finite) Galois group over F_q(s).Comment: 29 page

Properties of generalized univariate hypergeometric functions

Based on Spiridonov's analysis of elliptic generalizations of the Gauss hypergeometric function, we develop a common framework for 7-parameter families of generalized elliptic, hyperbolic and trigonometric univariate hypergeometric functions. In each case we derive the symmetries of the generalized hypergeometric function under the Weyl group of type E_7 (elliptic, hyperbolic) and of type E_6 (trigonometric) using the appropriate versions of the Nassrallah-Rahman beta integral, and we derive contiguous relations using fundamental addition formulas for theta and sine functions. The top level degenerations of the hyperbolic and trigonometric hypergeometric functions are identified with Ruijsenaars' relativistic hypergeometric function and the Askey-Wilson function, respectively. We show that the degeneration process yields various new and known identities for hyperbolic and trigonometric special functions. We also describe an intimate connection between the hyperbolic and trigonometric theory, which yields an expression of the hyperbolic hypergeometric function as an explicit bilinear sum in trigonometric hypergeometric functions.Comment: 46 page

Nonintegrability of the two-body problem in constant curvature spaces

We consider the reduced two-body problem with the Newton and the oscillator potentials on the sphere ${\bf S}^{2}$ and the hyperbolic plane ${\bf H}^{2}$. For both types of interaction we prove the nonexistence of an additional meromorphic integral for the complexified dynamic systems.Comment: 20 pages, typos correcte

Fuchs versus Painlev\'e

We briefly recall the Fuchs-Painlev\'e elliptic representation of Painlev\'e VI. We then show that the polynomiality of the expressions of the correlation functions (and form factors) in terms of the complete elliptic integral of the first and second kind, $K$ and $E$, is a straight consequence of the fact that the differential operators corresponding to the entries of Toeplitz-like determinants, are equivalent to the second order operator $L_E$ which has $E$ as solution (or, for off-diagonal correlations to the direct sum of $L_E$ and $d/dt$). We show that this can be generalized, mutatis mutandis, to the anisotropic Ising model. The singled-out second order linear differential operator $L_E$ being replaced by an isomonodromic system of two third-order linear partial differential operators associated with $\Pi_1$, the Jacobi's form of the complete elliptic integral of the third kind (or equivalently two second order linear partial differential operators associated with Appell functions, where one of these operators can be seen as a deformation of $L_E$). We finally explore the generalizations, to the anisotropic Ising models, of the links we made, in two previous papers, between Painlev\'e non-linear ODE's, Fuchsian linear ODE's and elliptic curves. In particular the elliptic representation of Painlev\'e VI has to be generalized to an ``Appellian'' representation of Garnier systems.Comment: Dedicated to the : Special issue on Symmetries and Integrability of Difference Equations, SIDE VII meeting held in Melbourne during July 200

Ergodicity criteria for non-expanding transformations of 2-adic spheres

In the paper, we obtain necessary and sufficient conditions for ergodicity (with respect to the normalized Haar measure) of discrete dynamical systems $$ on 2-adic spheres $\mathbf S_{2^{-r}}(a)$ of radius $2^{-r}$, $r\ge 1$, centered at some point $a$ from the ultrametric space of 2-adic integers $\mathbb Z_2$. The map $f\colon\mathbb Z_2\to\mathbb Z_2$ is assumed to be non-expanding and measure-preserving; that is, $f$ satisfies a Lipschitz condition with a constant 1 with respect to the 2-adic metric, and $f$ preserves a natural probability measure on $\mathbb Z_2$, the Haar measure $\mu_2$ on $\mathbb Z_2$ which is normalized so that $\mu_2(\mathbb Z_2)=1$