Profinite complexes of curves, their automorphisms and anabelian properties of moduli stacks of curves

Let ${\cal M}_{g,[n]}$, for $2g-2+n>0$, be the D-M moduli stack of smooth curves of genus $g$ labeled by $n$ unordered distinct points. The main result of the paper is that a finite, connected \'etale cover {\cal M}^\l of ${\cal M}_{g,[n]}$, defined over a sub-$p$-adic field $k$, is "almost" anabelian in the sense conjectured by Grothendieck for curves and their moduli spaces. The precise result is the following. Let \pi_1({\cal M}^\l_{\ol{k}}) be the geometric algebraic fundamental group of {\cal M}^\l and let {Out}^*(\pi_1({\cal M}^\l_{\ol{k}})) be the group of its exterior automorphisms which preserve the conjugacy classes of elements corresponding to simple loops around the Deligne-Mumford boundary of {\cal M}^\l (this is the "$\ast$-condition" motivating the "almost" above). Let us denote by {Out}^*_{G_k}(\pi_1({\cal M}^\l_{\ol{k}})) the subgroup consisting of elements which commute with the natural action of the absolute Galois group $G_k$ of $k$. Let us assume, moreover, that the generic point of the D-M stack {\cal M}^\l has a trivial automorphisms group. Then, there is a natural isomorphism: {Aut}_k({\cal M}^\l)\cong{Out}^*_{G_k}(\pi_1({\cal M}^\l_{\ol{k}})). This partially extends to moduli spaces of curves the anabelian properties proved by Mochizuki for hyperbolic curves over sub-$p$-adic fields.Comment: This paper has been withdrawn because of a flaw in the paper "Profinite Teichm\"uller theory" of the first author, on which this paper built o

Divisorial inertia and central elements in braid groups

Given a complex reflection group W, we will show how the generators of the centers of the parabolic subgroups of the pure braid group P(W) can be represented by loops around irreducible divisors of the corresponding minimal De Concini-Procesi model XW. We will also show that a more subtle construction gives representations of the generators of the centers of the parabolic subgroups of the braid group B(W) as loops in the (not smooth) quotient variety XW/W

Optimal stability and instability for near-linear Hamiltonians

In this paper, we will prove a very general result of stability for perturbations of linear integrable Hamiltonian systems, and we will construct an example of instability showing that both our result and our example are optimal. Moreover, in the same spirit as the notion of KAM stable integrable Hamiltonians, we will introduce a notion of effectively stable integrable Hamiltonians, conjecture a characterization of these Hamiltonians and show that our result prove this conjecture in the linear case

On the averaging principle for one-frequency systems. An application to satellite motions

This paper is related to our previous works [1][2] on the error estimate of the averaging technique, for systems with one fast angular variable. In the cited references, a general method (of mixed analytical and numerical type) has been introduced to obtain precise, fully quantitative estimates on the averaging error. Here, this procedure is applied to the motion of a satellite in a polar orbit around an oblate planet, retaining only the J_2 term in the multipole expansion of the gravitational potential. To exemplify the method, the averaging errors are estimated for the data corresponding to two Earth satellites; for a very large number of orbits, computation of our estimators is much less expensive than the direct numerical solution of the equations of motion.Comment: LaTeX, 35 pages, 12 figures. The final version published in Nonlinear Dynamic

On the averaging principle for one-frequency systems. Seminorm estimates for the error

We extend some previous results of our work [1] on the error of the averaging method, in the one-frequency case. The new error estimates apply to any separating family of seminorms on the space of the actions; they generalize our previous estimates in terms of the Euclidean norm. For example, one can use the new approach to get separate error estimates for each action coordinate. An application to rigid body under damping is presented. In a companion paper [2], the same method will be applied to the motion of a satellite around an oblate planet.Comment: LaTeX, 23 pages, 4 figures. The final version published in Nonlinear Dynamic

Normal origamis of Mumford curves

An origami (also known as square-tiled surface) is a Riemann surface covering a torus with at most one branch point. Lifting two generators of the fundamental group of the punctured torus decomposes the surface into finitely many unit squares. By varying the complex structure of the torus one obtains easily accessible examples of Teichm\"uller curves in the moduli space of Riemann surfaces. The p-adic analogues of Riemann surfaces are Mumford curves. A p-adic origami is defined as a covering of Mumford curves with at most one branch point, where the bottom curve has genus one. A classification of all normal non-trivial p-adic origamis is presented and used to calculate some invariants. These can be used to describe p-adic origamis in terms of glueing squares.Comment: 21 pages, to appear in manuscripta mathematica (Springer

An Adiabatic Theorem without a Gap Condition

The basic adiabatic theorems of classical and quantum mechanics are over-viewed and an adiabatic theorem in quantum mechanics without a gap condition is described.Comment: Talk at QMath 7, Prague, 1998. 10 pages, 7 figure

A simple piston problem in one dimension

We study a heavy piston that separates finitely many ideal gas particles moving inside a one-dimensional gas chamber. Using averaging techniques, we prove precise rates of convergence of the actual motions of the piston to its averaged behavior. The convergence is uniform over all initial conditions in a compact set. The results extend earlier work by Sinai and Neishtadt, who determined that the averaged behavior is periodic oscillation. In addition, we investigate the piston system when the particle interactions have been smoothed. The convergence to the averaged behavior again takes place uniformly, both over initial conditions and over the amount of smoothing.Comment: Accepted by Nonlinearity. 27 pages, 2 figure

On the connection between the Nekhoroshev theorem and Arnold Diffusion

The analytical techniques of the Nekhoroshev theorem are used to provide estimates on the coefficient of Arnold diffusion along a particular resonance in the Hamiltonian model of Froeschl\'{e} et al. (2000). A resonant normal form is constructed by a computer program and the size of its remainder $||R_{opt}||$ at the optimal order of normalization is calculated as a function of the small parameter $\epsilon$. We find that the diffusion coefficient scales as $D\propto||R_{opt}||^3$, while the size of the optimal remainder scales as $||R_{opt}|| \propto\exp(1/\epsilon^{0.21})$ in the range $10^{-4}\leq\epsilon \leq 10^{-2}$. A comparison is made with the numerical results of Lega et al. (2003) in the same model.Comment: Accepted in Celestial Mechanics and Dynamical Astronom

Normal Form and Nekhoroshev stability for nearly-integrable Hamiltonian systems with unconditionally slow aperiodic time dependence

The aim of this paper is to extend the results of Giorgilli and Zehnder for aperiodic time dependent systems to a case of general nearly-integrable convex analytic Hamiltonians. The existence of a normal form and then a stability result are shown in the case of a slow aperiodic time dependence that, under some smallness conditions, is independent on the size of the perturbation.Comment: Corrected typo in the title and statement of Lemma 3.