Real tree

Last updated

In mathematics, real trees (also called -trees) are a class of metric spaces generalising simplicial trees. They arise naturally in many mathematical contexts, in particular geometric group theory and probability theory. They are also the simplest examples of Gromov hyperbolic spaces.

Contents

Definition and examples

Formal definition

A triangle in a real tree Y property.png
A triangle in a real tree

A metric space is a real tree if it is a geodesic space where every triangle is a tripod. That is, for every three points there exists a point such that the geodesic segments intersect in the segment and also . This definition is equivalent to being a "zero-hyperbolic space" in the sense of Gromov (all triangles are "zero-thin"). Real trees can also be characterised by a topological property. A metric space is a real tree if for any pair of points all topological embeddings of the segment into such that have the same image (which is then a geodesic segment from to ).

Simple examples

Characterizations

Visualisation of the four points condition and the 0-hyperbolicity. In green:
(
x
,
y
)
t
=
(
y
,
z
)
t
{\displaystyle (x,y)_{t}=(y,z)_{t}}
; in blue:
(
x
,
z
)
t
{\displaystyle (x,z)_{t}}
. Four point condition.png
Visualisation of the four points condition and the 0-hyperbolicity. In green:  ; in blue: .

Here are equivalent characterizations of real trees which can be used as definitions:

1) (similar to trees as graphs) A real tree is a geodesic metric space which contains no subset homeomorphic to a circle. [1]

2) A real tree is a connected metric space which has the four points condition [2] (see figure):

For all .

3) A real tree is a connected 0-hyperbolic metric space [3] (see figure). Formally:

For all .

4) (similar to the characterization of Galton-Watson trees by the contour process). Consider a positive excursion of a function. In other words, let be a continuous real-valued function and an interval such that and for .

For , , define a pseudometric and an equivalence relation with:

Then, the quotient space is a real tree. [3] Intuitively, the local minima of the excursion e are the parents of the local maxima. Another visual way to construct the real tree from an excursion is to "put glue" under the curve of e, and "bend" this curve, identifying the glued points (see animation).

HPartant d'une excursion e (en noir), la déformation (en vert) représente le « pliage » de la courbe jusqu'au « collage » des points d'une même classe d'équivalence, l'état final est l'arbre réel associé à e.

Examples

Real trees often appear, in various situations, as limits of more classical metric spaces.

Brownian trees

A Brownian tree [4] is a (non-simplicial) real tree almost surely. Brownian trees arise as limits of various random processes on finite trees. [5]

Ultralimits of metric spaces

Any ultralimit of a sequence of -hyperbolic spaces with is a real tree. In particular, the asymptotic cone of any hyperbolic space is a real tree.

Limit of group actions

Let be a group. For a sequence of based -spaces there is a notion of convergence to a based -space due to M. Bestvina and F. Paulin. When the spaces are hyperbolic and the actions are unbounded the limit (if it exists) is a real tree. [6]

A simple example is obtained by taking where is a compact surface, and the universal cover of with the metric (where is a fixed hyperbolic metric on ).

This is useful to produce actions of hyperbolic groups on real trees. Such actions are analyzed using the so-called Rips machine. A case of particular interest is the study of degeneration of groups acting properly discontinuously on a real hyperbolic space (this predates Rips', Bestvina's and Paulin's work and is due to J. Morgan and P. Shalen [7] ).

Algebraic groups

If is a field with an ultrametric valuation then the Bruhat–Tits building of is a real tree. It is simplicial if and only if the valuations is discrete.

Generalisations

-trees

If is a totally ordered abelian group there is a natural notion of a distance with values in (classical metric spaces correspond to ). There is a notion of -tree [8] which recovers simplicial trees when and real trees when . The structure of finitely presented groups acting freely on -trees was described. [9] In particular, such a group acts freely on some -tree.

Real buildings

The axioms for a building can be generalized to give a definition of a real building. These arise for example as asymptotic cones of higher-rank symmetric spaces or as Bruhat-Tits buildings of higher-rank groups over valued fields.

See also

Related Research Articles

<span class="mw-page-title-main">Riemann curvature tensor</span> Tensor field in Riemannian geometry

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

<span class="mw-page-title-main">Lorentz group</span> Lie group of Lorentz transformations

In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.

In Riemannian geometry, the sectional curvature is one of the ways to describe the curvature of Riemannian manifolds. The sectional curvature Kp) depends on a two-dimensional linear subspace σp of the tangent space at a point p of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σp as a tangent plane at p, obtained from geodesics which start at p in the directions of σp. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In mathematics, the upper half-plane, is the set of points (x, y) in the Cartesian plane with y > 0. The lower half-plane is defined similarly, by requiring that y be negative instead. Each is an example of two-dimensional half-space.

In mathematics, conformal geometry is the study of the set of angle-preserving (conformal) transformations on a space.

In mathematical physics, n-dimensional de Sitter space is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an n-sphere.

In mathematics and physics, n-dimensional anti-de Sitter space (AdSn) is a maximally symmetric Lorentzian manifold with constant negative scalar curvature. Anti-de Sitter space and de Sitter space are named after Willem de Sitter (1872–1934), professor of astronomy at Leiden University and director of the Leiden Observatory. Willem de Sitter and Albert Einstein worked together closely in Leiden in the 1920s on the spacetime structure of the universe.

<span class="mw-page-title-main">Cayley graph</span> Graph defined from a mathematical group

In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group is a graph that encodes the abstract structure of a group. Its definition is suggested by Cayley's theorem, and uses a specified set of generators for the group. It is a central tool in combinatorial and geometric group theory. The structure and symmetry of Cayley graphs makes them particularly good candidates for constructing families of expander graphs.

<span class="mw-page-title-main">Conformal group</span>

In mathematics, the conformal group of an inner product space is the group of transformations from the space to itself that preserve angles. More formally, it is the group of transformations that preserve the conformal geometry of the space.

In mathematics, a Killing vector field, named after Wilhelm Killing, is a vector field on a Riemannian manifold that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object.

In mathematics, a hyperbolic metric space is a metric space satisfying certain metric relations between points. The definition, introduced by Mikhael Gromov, generalizes the metric properties of classical hyperbolic geometry and of trees. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite groups called Gromov-hyperbolic groups.

In mathematics, the Poincaré metric, named after Henri Poincaré, is the metric tensor describing a two-dimensional surface of constant negative curvature. It is the natural metric commonly used in a variety of calculations in hyperbolic geometry or Riemann surfaces.

In mathematics, Hilbert's fourth problem in the 1900 list of Hilbert's problems is a foundational question in geometry. In one statement derived from the original, it was to find — up to an isomorphism — all geometries that have an axiomatic system of the classical geometry, with those axioms of congruence that involve the concept of the angle dropped, and `triangle inequality', regarded as an axiom, added.

In mathematics, the Teichmüller space of a (real) topological surface , is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller.

In general relativity, the metric tensor is the fundamental object of study. It may loosely be thought of as a generalization of the gravitational potential of Newtonian gravitation. The metric captures all the geometric and causal structure of spacetime, being used to define notions such as time, distance, volume, curvature, angle, and separation of the future and the past.

In geometric topology, Busemann functions are used to study the large-scale geometry of geodesics in Hadamard spaces and in particular Hadamard manifolds. They are named after Herbert Busemann, who introduced them; he gave an extensive treatment of the topic in his 1955 book "The geometry of geodesics".

In mathematics, the theta representation is a particular representation of the Heisenberg group of quantum mechanics. It gains its name from the fact that the Jacobi theta function is invariant under the action of a discrete subgroup of the Heisenberg group. The representation was popularized by David Mumford.

In mathematics, a complex geodesic is a generalization of the notion of geodesic to complex spaces.

In mathematics, a space, where is a real number, is a specific type of metric space. Intuitively, triangles in a space are "slimmer" than corresponding "model triangles" in a standard space of constant curvature . In a space, the curvature is bounded from above by . A notable special case is ; complete spaces are known as "Hadamard spaces" after the French mathematician Jacques Hadamard.

In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.

References

  1. Chiswell, Ian (2001). Introduction to [lambda]-trees. Singapore: World Scientific. ISBN   978-981-281-053-3. OCLC   268962256.
  2. Peter Buneman, A Note on the Metric Properties of Trees, Journal of combinatorial theory, B (17), p. 48-50, 1974.
  3. 1 2 Evans, Stevan N. (2005). Probability and Real Trees. École d’Eté de Probabilités de Saint-Flour XXXV.
  4. Aldous, D. (1991), "The continuum random tree I", Annals of Probability , 19: 1–28, doi: 10.1214/aop/1176990534
  5. Aldous, D. (1991), "The continuum random tree III", Annals of Probability , 21: 248–289
  6. Bestvina, Mladen (2002), "-trees in topology, geometry and group theory", Handbook of Geometric Topology, Elsevier, pp. 55–91, ISBN   9780080532851
  7. Shalen, Peter B. (1987), "Dendrology of groups: an introduction", in Gersten, S. M. (ed.), Essays in Group Theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer-Verlag, pp. 265–319, ISBN   978-0-387-96618-2, MR   0919830
  8. Chiswell, Ian (2001), Introduction to Λ-trees, River Edge, NJ: World Scientific Publishing Co. Inc., ISBN   981-02-4386-3, MR   1851337
  9. O. Kharlampovich, A. Myasnikov, D. Serbin, Actions, length functions and non-archimedean words IJAC 23, No. 2, 2013.{{citation}}: CS1 maint: multiple names: authors list (link)