Integration of Geodesic Flows on Homogeneous Spaces: The Case of a Wild Lie Group

We obtain necessary and sufficient conditions for the integrability in quadratures of geodesic flows on homogeneous spaces M with invariant and central metrics. The proposed integration algorithm consists in using a special canonical transformation in the space T ^* M based on constructing the canonical coordinates on the orbits of the coadjoint representation and on the simplectic sheets of the Poisson algebra of invariant functions. This algorithm is applicable to integrating geodesic flows on homogeneous spaces of a wild Lie group.     

The set of smooth metrics in the torus without continuous invariant graphs is open and dense in the <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> topology

We show that the set of C metrics in the two dimensional torus with no continuous invariant graphs of the geodesic flow is open and dense in the C ¹ topology. The generic nonexistence of invariant graphs with rational rotation numbers was known in the C topology for metrics, and in general the generic nonexistence in the C topology of invariant graphs with Liouville rotation numbers is known for twist maps and Hamiltonian flows in the torus. The main idea of the proof is that small C ¹ bumps are enough to prevent the existence of invariant graphs.Partially supported by CNPq, FAPERJ, TWAS     

A GKM description of the equivariant cohomology ring of a homogeneous space

Let T be a torus of dimension n > 1 and M a compact T-manifold. M is a GKM manifold if the set of zero dimensional orbits in the orbit space M/T is zero dimensional and the set of one dimensional orbits in M/T is one dimensional. For such a manifold these sets of orbits have the structure of a labelled graph and it is known that a lot of topological information about M is encoded in this graph. In this paper we prove that every compact homogeneous space M of non-zero Euler characteristic is of GKM type and show that the graph associated with M encodes geometric information about M as well as topological information. For example, from this graph one can detect whether M admits an invariant complex structure or an invariant almost complex structure.     

Three results on the regularity of the curves that are invariant by an exact symplectic twist map

A theorem due to G. D. Birkhoff states that every essential curve which is invariant under a symplectic twist map of the annulus is the graph of a Lipschitz map. We prove: if the graph of a Lipschitz map h:T→R is invariant under a symplectic twist map, then h is a little bit more regular than simply Lipschitz (Theorem 1); we deduce that there exists a Lipschitz map h:T→R whose graph is invariant under no symplectic twist map (Corollary 2). Assuming that the dynamic of a twist map restricted to a Lipschitz graph is bi-Lipschitz conjugate to a rotation, we obtain that the graph is even C ¹ (Theorem 3). Then we consider the case of the C ⁰ integrable symplectic twist maps and we prove that for such a map, there exists a dense G _δ subset of the set of its invariant curves such that every curve of this G _δ subset is C ¹ (Theorem 4).     

Whitney smooth families of invariant tori within the reversible context 2 of KAM theory

We prove a general theorem on the persistence of Whitney C ^∞-smooth families of invariant tori in the reversible context 2 of KAM theory. This context refers to the situation where dim FixG < (codim T)/2, where FixG is the fixed point manifold of the reversing involution G and T is the invariant torus in question. Our result is obtained as a corollary of the theorem by H. W.Broer, M.-C.Ciocci, H.Hanßmann, and A.Vanderbauwhede (2009) concerning quasi-periodic stability of invariant tori with singular “normal” matrices in reversible systems.     

Classification of compact lorentzian 2-orbifolds with noncompact full isometry groups

Among closed Lorentzian surfaces, only flat tori can admit noncompact full isometry groups. Moreover, for every n ≥ 3 the standard n-dimensional flat torus equipped with canonical metric has a noncompact full isometry Lie group. We show that this fails for n = 2 and classify the flat Lorentzian metrics on the torus with a noncompact full isometry Lie group. We also prove that every two-dimensional Lorentzian orbifold is very good. This implies the existence of a unique smooth compact 2-orbifold, called the pillow, admitting Lorentzian metrics with a noncompact full isometry group. We classify the metrics of this type and make some examples.     

Conservation and bifurcation of an invariant torus of a vector field

We consider small perturbations with respect to a small parameter ε≥0 of a smooth vector field in ℝ^n+m possessing an invariant torusT ^m. The flow on the torusT ^m is assumed to be quasiperiodic withm basic frequencies satisfying certain conditions of Diophantine type; the matrix Ω of the variational equation with respect to the invariant torus is assumed to be constant. We investigate the existence problem for invariant tori of different dimensions for the case in which Ω is a nonsingular matrix that can have purely imaginary eigenvalues. Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 34–44, January, 1997. Translated by S. K. Lando     

When is a ring of torus invariants a polynomial ring?

Let ρ:T→GL(V) be a finite dimensional rational representation of a torus over an algebraically closed fieldk. We give necessary and sufficient conditions on the arrangement of the weights ofV within the character lattice ofT for the ring of invariants,k[V] ^T , to have a homogeneous system of parameters consisting of monomials (Theorem 4.1). Using this we give two simple constructive criteria each of which gives necessary and sufficient conditions fork[V] ^T to be a polynomial ring (Theorem 5.8 and Theorem 5.10). Research supported in part by NSERC Grant OGP 137522     

On the Uniqueness of Hofer��s Geometry

We study the class of pseudo-norms on the space of smooth functions on a closed symplectic manifold, which are invariant under the action of the group of Hamiltonian diffeomorphisms. Our main result shows that any such pseudo-norm that is continuous with respect to the C ^∞-topology, is dominated from above by the L _∞-norm. As a corollary, we obtain that any bi-invariant Finsler pseudo-metric on the group of Hamiltonian diffeomorphisms that is generated by an invariant pseudonorm that satisfies the aforementioned continuity assumption, is either identically zero or equivalent to Hofer’s metric.     

Unique ergodicity of flows on the torus and the rotation number

We prove in this paper that any flow on the 2- torus with no singular points and periodic orbits which is generated by a vector fieldV=(P, Q) satisfyingV∈C ¹ orV∈C ⁰ andP≠0 is uniquely ergodic. Then we give an expression of the rotation number by using an invariant measure of a flow.     

Mise en position optimale de tores par rapport à un flot d'Anosov

Let Φ′ be an Anosov flow on a (non atoroidal) 3-manifoldM. We say that an incompressible torusT embedded inM admits an optimal position with respect to Φ′ if it is isotopic to a torus transverse to Φ′ outside a finite number of periodic orbits contained inT (there's an additional condition we dont's mention here). The first remark is that such an optimal position is quasi unique, i.e., we prove that if two tori in optimal position are homotopics inM, then they are homotopics along the flow. Then we give some sufficient condition for a torus admiting an optimal position. Eventually, we show that if a finite collection of disjoint tori is such that each torus admits an optimal position, then these optimal positions can be chosen disjoints one from each other.      

CONTINUITY OF THE ONE-SIDED BEST UNIFORM APPROXIMATION OPERATOR

Abstract

The purpose of this paper is to relate the continuity and selection properties of the one-sided best uniform approximation operator to similar properties of the metric projection. Let M be a closed subspace of C(T) which contains constants. Then the one-sided best uniform approximation operator is Hausdorff continuous (resp. Lipschitz continuous) on C(T) if and only if the metric projection P_M is Haudorff continuous (resp. Lipschitz continuous) on C(T). Also, the metric projection P_M admits a continuous (resp. Lipschitz continuous) selection if and only if the one-sided best uniform approximation operator admits a continuous (resp. Lipschitz continuous) selection.     

Extrinsic diameter of immersed flat tori in <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

Enomoto, Weiner and the first author showed the rigidity of the Clifford torus amongst the class of embedded flat tori in S ³. In the proof of that result, an estimate of extrinsic diameter of flat tori plays a crucial role. It is reasonable to expect that the same rigidity holds in the class of immersed flat tori in S ³. In this paper, we give a new method for characterizing immersed flat tori in S ³ with extrinsic diameter π, which is a somewhat similar technique to the proof of the 6-vertex theorem for certain closed plane curves given by the second author. As an application, we show that the Clifford torus is rigid in the class of immersed flat tori whose mean curvature functions do not change sign. Recently, the global behaviour of flat surfaces in H ³ and R ³ regarded as wave fronts has been studied. We also give here a formulation of flat tori in S ³ as wave fronts. As an application, we shall exhibit a flat torus as a wave front whose extrinsic diameter is less than π.     

Invariant Metrizability and Projective Metrizability on Lie Groups and Homogeneous Spaces

In this paper, we study the invariant metrizability and projective metrizability problems for the special case of the geodesic spray associated to the canonical connection of a Lie group. We prove that such canonical spray is projectively Finsler metrizable if and only if it is Riemann metrizable. This result means that this structure is rigid in the sense that considering left invariant metrics, the potentially much larger class of projective Finsler metrizable canonical sprays, corresponding to Lie groups, coincides with the class of Riemann metrizable canonical sprays. Generalisation of these results for geodesic orbit spaces are given.

     

Geometric groups. I

We define a geometry on a group to be an abelian semigroup of symmetric open sets with certain properties. Examples include well-known structures such as invariant Riemannian metrics on Lie groups, hyperbolic groups, and valuations on fields. In this paper we are mostly concerned with geometries where the semigroup is isomorphic to the positive reals, which for Lie groups come from invariant Finsler metrics. We explore various aspects of these geometric groups, including a theory of covering groups for arcwise connected groups, algebraic expressions for invariant metrics and inner metrics, construction of geometries with curvature bounded below, and finding geometrically significant curves in path homotopy classes.

     

Geodesic symmetries of homogeneous Kähler Manifolds

D'Atri and Nickerson [6], [7] have given necessary conditions for the geodesic symmetries of a Riemannian manifold to preserve the volume element. We use their results to show that ifG is a compact simple Lie group,T is a maximal torus ofG, andG/T is not symmetric, then anyG-invariant Kähler metric onG/T does not have volume-preserving geodesic symmetries. From the Kähler/de Rham decomposition of a compact homogeneous Kähler manifold [8], our result extends to the invariant Kähler metrics on a quotient of a compact connected Lie group by a maximal torus. In proving these results we compute directly the Ricci tensor of anyG-invariant Kähler metric onG/T forG compact connected andT a maximal torus ofG. The result is an explicit formula giving the value of the Ricci tensor elements in terms of the root structure of the Lie algebra ofG.     

Biasymptotic solutions of perturbed integrable Hamiltonian systems

We prove that small perturbations of a real analytic integrable Hamiltonian system ind degrees of freedom generically have biasymptotic orbits which are obtained as intersections of the stable and unstable manifolds of invariant hyperbolic tori of dimensiond–1. Hence, these solutions will be forward and backward asymptotic to such a torus and not to a periodic solution. The generic condition, which is open and dense, is given by an explicit condition on the averaged perturbation.     

Projective spherically symmetric Finsler metrics with constant flag curvature in R n

We investigate projective spherically symmetric Finsler metrics with constant flag curvature in R ⁿ and give the complete classification theorems. Furthermore, a new class of Finsler metrics with two parameters on n-dimensional disk is found to have constant negative flag curvature.     

A set of global bounded solutions for a Volterra system of retarded equations on \Bbb R3+ {\Bbb R}^3_+

It is proved the existence of a compact set , invariant under the flow of a Volterra system of retarded equations on , with lag r > 0; is homeomorphic to a solid tri-dimensional cylinder. The boundary of is the union of a closed bi-dimensional cylinder with two open disks (the two basis of the cylinder ). is the union of a continuous one-parameter family of r-periodic orbits of the retarded Volterra system and any r-periodic orbit of the retarded system is contained in . The flow, restricted to , of the system of retarded equations, is the flow of a C ¹-vector-field.     

Coverings of 3-manifolds by open balls and two open solid tori

Hempel and McMillan showed that a closed 3-manifold that can be covered by three open balls is a connected sum of S³- and S²-bundles over S¹. In this paper we obtain a classification of all closed 3-manifolds that can be covered by two open balls and one open solid torus or by one open ball and two open solid tori.