Anosov diffeomorphism

Anosov diffeomorphism

In mathematics, more particularly in the fields of dynamical systems and geometric topology, an Anosov map on a manifold "M" is a certain type of mapping, from "M" to itself, with rather clearly marked local directions of 'expansion' and 'contraction'.

Anosov diffeomorphisms were introduced by D. V. Anosov, who proved that their behaviour was in an appropriate sense "generic" (when they exist at all).

Overview

Three closely related definitions must be distinguished:

* If a differentiable map "f" on "M" has a hyperbolic structure on the tangent bundle, then it is called an Anosov map. Examples include the Bernoulli map, and Arnold's cat map.

* If the map is a diffeomorphism, then it is called an Anosov diffeomorphism.

* If a flow on a manifold splits the tangent bundle into three invariant subbundles, with one subbundle that is exponentially contracting, and one that is exponentially expanding, and a third, non-expanding, non-contracting one-dimensional sub-bundle, then the flow is called an Anosov flow.

Anosov proved that Anosov diffeomorphisms are structurally stable and form an open subset of mappings (flows) with the "C"1 topology.

Not every manifold admits an Anosov diffeomorphism; for example, there are no such diffeomorphisms on the sphere . The simplest examples of compact manifolds admitting them are the tori: they admit the so-called linear Anosov diffeomorphisms, which are isomorphisms having no eigenvalue of modulus 1. It was proved that any other Anosov diffeomorphism on a torus is topologically conjugate to one of this kind.

The problem of classifying manifolds that admit Anosov diffeomorphisms turned out to be very difficult, and still as of 2005 has no answer. The only known examples are infranil manifolds, and it is conjectured that they are the only ones.

Another famous problem is to determine whether or not the nonwandering set of an Anosov diffeomorphism must be the whole manifold. This is known to be true for linear Anosov diffeomorphisms (and hence for any Anosov diffeomorphism in a torus). As of December 2007, it is believed to be proved for all Anosov diffeomorphisms (Xia 2007).

Anosov flow on (tangent bundles of) Riemann surfaces

As an example, this section develops the case of the Anosov flow on the tangent bundle of a Riemann surface of negative curvature. This flow can be understood in terms of the flow on the tangent bundle of the Poincare half-plane model of hyperbolic geometry. Riemann surfaces of negative curvature may be defined as Fuchsian models, that is, as the quotients of the upper half-plane and a Fuchsian group. For the following, let "H" be the upper half-plane; let Γ be a Fuchsian group; let "M"="H"Γ be a Riemann surface of negative curvature, and let "T"1"M" be the tangent bundle of unit-length vectors on the manifold "M", and let "T"1"H" be the tangent bundle of unit-length vectors on "H". Note that a bundle of unit-length vectors on a surface is a complex line bundle.

Lie vector fields

One starts by noting that "T"1"H" is isomorphic to the Lie group PSL(2,R). This group is the group of orientation-preserving isometries of the upper half-plane. The Lie algebra of PSL(2,R) is sl(2,R), and is represented by the matrices

:J=left(egin{matrix} 1/2 &0\ 0&-1/2\ end{matrix} ight) quad quadX=left(egin{matrix}0&1\ 0&0\ end{matrix} ight) quad quadY=left(egin{matrix}0&0\ 1&0\ end{matrix} ight)

which have the algebra

: [J,X] =X quadquad [J,Y] = -Y quadquad [X,Y] = 2J

The exponential maps

:g_t = exp(tJ)=left(egin{matrix}e^{t/2}&0\ 0&e^{-t/2}\ end{matrix} ight) quadquad

h^*_t = exp(tX)=left(egin{matrix}1&t\ 0&1\ end{matrix} ight) quadquad

h_t = exp(tY)=left(egin{matrix}1&0\ t&1\ end{matrix} ight)

define right-invariant flows on the manifold of "T"1"H"=PSL(2,R), and likewise on "T"1"M". Defining "P"="T"1"H" and "Q"="T"1"M", these flows define vector fields on "P" and "Q", whose vectors lie in "TP" and "TQ". These are just the standard, ordinary Lie vector fields on the manifold of a Lie group, and the presentation above is a standard exposition of a Lie vector field.

Anosov flow

The connection to the Anosov flow comes from the realization that g_t is the geodesic flow on "P" and "Q". Lie vector fields being (by definition) left invariant under the action of a group element, one has that these fields are left invariant under the specific elements g_t of the geodesic flow. In other words, the spaces "TP" and "TQ" are split into three one-dimensional spaces, or subbundles, each of which are invariant under the geodesic flow. The final step is to notice that vector fields in one subbundle expand (and expand exponentially), those in another are unchanged, and those in a third shrink (and do so exponentially).

More precisely, the tangent bundle "TQ" may be written as the direct sum

:TQ = E^+ oplus E^0 oplus E^-

or, at a point g cdot e = q in Q, the direct sum

:T_qQ = E_q^+ oplus E_q^0 oplus E_q^-

corresponding to the Lie algebra generators "Y", "J" and "X", respectively, carried, by the left action of group element "g", from the origin "e" to the point "q". That is, one has E_e^+=Y, E_e^0=J and E_e^-=X. These spaces are each subbundles, and are preserved (are invariant) under the action of the geodesic flow; that is, under the action of group elements g=g_t.

To compare the lengths of vectors in T_qQ at different points "q", one needs a metric. Any inner product at T_eP=sl(2,mathbb{R}) extends to a left-invariant Riemannian metric on "P", and thus to a Riemannian metric on "Q". The length of a vector v in E^+_q expands exponentially as exp(t) under the action of g_t. The length of a vector v in E^-_q shrinks exponentially as exp(-t) under the action of g_t. Vectors in E^0_q are unchanged. This may be seen by examining how the group elements commute. The geodesic flow is invariant,

:g_sg_t=g_tg_s=g_{s+t} ,

but the other two shrink and expand:

:g_sh^*_t = h^*_{texp(-s)}g_sand :g_sh_t = h_{texp(s)}g_s ,

where we recall that a tangent vector in E^+_q is given by the derivative, with respect to "t", of the curve h_t, the setting "t"=0.

Geometric interpretation of the Anosov flow

When acting on the point "z"="i" of the upper half-plane, g_t corresponds to a geodesic on the upper half plane, passing through the point "z"="i". The action is the standard Möbius transform action of SL(2,R) on the upper half-plane, so that

:g_t cdot i = left( egin{matrix} exp(t/2) & 0 \ 0 & exp(-t/2) end{matrix} ight) cdot i = iexp(t)

A general geodesic is given by

:left( egin{matrix} a & b \ c & d end{matrix} ight) cdot iexp(t) = frac{aiexp(t)+b}{ciexp(t)+d}

with "a", "b", "c" and "d" real, with "ad-bc=1". The curves h^*_t and h_t are called horocycles. Horocycles correspond to the motion of the normal vectors of a horosphere on the upper half-plane.

References

Further reading

*
* D. V. Anosov, "Geodesic flows on closed Riemannian manifolds with negative curvature", (1967) Proc. Steklov Inst. Mathematics. 90.
* Anthony Manning, "Dynamics of geodesic and horocycle flows on surfaces of constant negative curvature", (1991), appearing as Chapter 3 in "Ergodic Theory, Symbolic Dynamics and Hyperbolic Spaces", Tim Bedford, Michael Keane and Caroline Series, Eds. Oxford University Press, Oxford (1991). ISBN 0-19-853390-X "(Provides an expository introduction to the Anosov flow on SL(2,R).)"
* abstract from International Conference on Topology and its Applications 2007 at Kyoto


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Diffeomorphism — In mathematics, a diffeomorphism is an isomorphism in the category of smooth manifolds. It is an invertible function that maps one differentiable manifold to another, such that both the function and its inverse are smooth. The image of a… …   Wikipedia

  • Pseudo-Anosov map — In mathematics, specifically in topology, a pseudo Anosov map is a type of a diffeomorphism or homeomorphism of a surface. It is a generalization of a linear Anosov diffeomorphism of the torus. Its definition relies on the notion of a measured… …   Wikipedia

  • Dmitri Anosov — Dmitri Victorovich Anosov Born November 30, 1936(1936 11 30) Moscow, Soviet Union Nationality …   Wikipedia

  • Axiom A — In mathematics, Smale s axiom A defines a class of dynamical systems which have been extensively studied and whose dynamics is relatively well understood. A prominent example is the Smale horseshoe map. The term axiom A originates with Stephen… …   Wikipedia

  • Chaos theory — This article is about chaos theory in Mathematics. For other uses of Chaos theory, see Chaos Theory (disambiguation). For other uses of Chaos, see Chaos (disambiguation). A plot of the Lorenz attractor for values r = 28, σ = 10, b = 8/3 …   Wikipedia

  • Hyperbolic set — In mathematics, a subset of a manifold is said to have hyperbolic structure with rspect to a map f , when its tangent bundle may be split into two invariant subbundles, one of which is contracting, and the other expanding with respect to f .… …   Wikipedia

  • List of Russian mathematicians — Andrey Kolmogorov, a preeminent 20th century mathematician. This list of Russian mathematicians includes the famous mathematicians from the Russian Empire, the Soviet Union and the Russian Federation. This list is incomplete; you can help by …   Wikipedia

  • List of Russian people — The Millennium of Russia monument in Veliky Novgorod, featuring the statues and reliefs of the most celebrated people in the first 1000 years of Russian history …   Wikipedia

  • Solvmanifold — In mathematics, a solvmanifold is a homogeneous space of a connected solvable Lie group. It may also be characterized as a quotient of a connected solvable Lie group by a closed subgroup. (Some authors also require that the Lie group be simply… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”