Full download test bank at ebook textbookfull.

com

Geometry and Analysis of Metric

Spaces via Weighted Partitions Jun

CLICK LINK TO DOWLOAD

https://textbookfull.com/product/geometry-
and-analysis-of-metric-spaces-via-weighted-
partitions-jun-kigami/

textbookfull
More products digital (pdf, epub, mobi) instant
download maybe you interests ...

Functional Analysis: An Introduction to Metric Spaces,

Hilbert Spaces, and Banach Algebras: Second Edition
Joseph Muscat

https://textbookfull.com/product/functional-analysis-an-
introduction-to-metric-spaces-hilbert-spaces-and-banach-algebras-
second-edition-joseph-muscat/

A Primer on Hilbert Space: Theory Linear Spaces,

Topological Spaces, Metric Spaces, Normed Spaces, and
Topological Groups 2nd Edition Carlo Alabiso

https://textbookfull.com/product/a-primer-on-hilbert-space-
theory-linear-spaces-topological-spaces-metric-spaces-normed-
spaces-and-topological-groups-2nd-edition-carlo-alabiso/

A Primer on Hilbert Space Theory Linear Spaces

Topological Spaces Metric Spaces Normed Spaces and
Topological Groups 2nd Edition Carlo Alabiso Ittay
Weiss
https://textbookfull.com/product/a-primer-on-hilbert-space-
theory-linear-spaces-topological-spaces-metric-spaces-normed-
spaces-and-topological-groups-2nd-edition-carlo-alabiso-ittay-
weiss/

Geometry and Martingales in Banach Spaces 1st Edition

Wojbor A Woyczynski

https://textbookfull.com/product/geometry-and-martingales-in-
banach-spaces-1st-edition-wojbor-a-woyczynski/
Fundamentals of Signal Processing in Metric Spaces with
Lattice Properties: Algebraic Approach 1st Edition
Andrey Popoff

https://textbookfull.com/product/fundamentals-of-signal-
processing-in-metric-spaces-with-lattice-properties-algebraic-
approach-1st-edition-andrey-popoff/

An Invitation to Alexandrov Geometry CAT 0 Spaces

Stephanie Alexander

https://textbookfull.com/product/an-invitation-to-alexandrov-
geometry-cat-0-spaces-stephanie-alexander/

Spaces An Introduction to Real Analysis Tom Lindstrøm

https://textbookfull.com/product/spaces-an-introduction-to-real-
analysis-tom-lindstrom/

Riemannian Geometry and Geometric Analysis 7th Edition

Jürgen Jost (Auth.)

https://textbookfull.com/product/riemannian-geometry-and-
geometric-analysis-7th-edition-jurgen-jost-auth/

Analysis on Fock spaces and mathematical theory of

quantum fields 1st Edition Asao Arai

https://textbookfull.com/product/analysis-on-fock-spaces-and-
mathematical-theory-of-quantum-fields-1st-edition-asao-arai/
Lecture Notes in Mathematics 2265

Jun Kigami

Geometry
and Analysis
of Metric Spaces
via Weighted
Partitions
Lecture Notes in Mathematics

Volume 2265

Editors-in-Chief
Jean-Michel Morel, CMLA, ENS, Cachan, France
Bernard Teissier, IMJ-PRG, Paris, France

Series Editors
Karin Baur, University of Leeds, Leeds, UK
Michel Brion, UGA, Grenoble, France
Camillo De Lellis, IAS, Princeton, NJ, USA
Alessio Figalli, ETH Zurich, Zurich, Switzerland
Annette Huber, Albert Ludwig University, Freiburg, Germany
Davar Khoshnevisan, The University of Utah, Salt Lake City, UT, USA
Ioannis Kontoyiannis, University of Cambridge, Cambridge, UK
Angela Kunoth, University of Cologne, Cologne, Germany
Ariane Mézard, IMJ-PRG, Paris, France
Mark Podolskij, University of Luxembourg, Esch-sur-Alzette, Luxembourg
Sylvia Serfaty, NYU Courant, New York, NY, USA
Gabriele Vezzosi, UniFI, Florence, Italy
Anna Wienhard, Ruprecht Karl University, Heidelberg, Germany
This series reports on new developments in all areas of mathematics and their
applications - quickly, informally and at a high level. Mathematical texts analysing
new developments in modelling and numerical simulation are welcome. The type of
material considered for publication includes:
1. Research monographs
2. Lectures on a new field or presentations of a new angle in a classical field
3. Summer schools and intensive courses on topics of current research.
Texts which are out of print but still in demand may also be considered if they fall
within these categories. The timeliness of a manuscript is sometimes more important
than its form, which may be preliminary or tentative.

More information about this series at http://www.springer.com/series/304

Jun Kigami

Geometry and Analysis

of Metric Spaces via
Weighted Partitions
Jun Kigami
Graduate School of Informatics
Kyoto University
Kyoto, Japan

ISSN 0075-8434 ISSN 1617-9692 (electronic)

Lecture Notes in Mathematics
ISBN 978-3-030-54153-8 ISBN 978-3-030-54154-5 (eBook)
https://doi.org/10.1007/978-3-030-54154-5

Mathematics Subject Classification: 30F45, 53C23

© The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland
AG 2020
This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether
the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse
of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and
transmission or information storage and retrieval, electronic adaptation, computer software, or by similar
or dissimilar methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
The publisher, the authors, and the editors are safe to assume that the advice and information in this book
are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or
the editors give a warranty, expressed or implied, with respect to the material contained herein or for any
errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional
claims in published maps and institutional affiliations.

This Springer imprint is published by the registered company Springer Nature Switzerland AG.
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Preface

This monograph reflects what I have been pursuing for the last 10 years or more.
The main questions are what is the natural way to comprehend the “structure” of
a space? and how can one develop “analysis” on a space from its “structure”?
These are, of course, vague questions since the meanings of the words “structure”
and “analysis” are not quite clear. The former can be replaced by “geometry” but
this does not make things better. One of the more precise formulations is, for a given
space, what is a natural counterpart of the Euclidean metric on Rn ? Needless to say,
rich analysis on Rn has been developed under the Euclidean metric. A prototype is
a class of self-similar sets, including the Sierpinski gasket and carpet, where there is
a natural notion of partitions associated with trees and on which Brownian motion
has been constructed and studied. This monograph is just a tiny step toward this vast
frontier of geometry and analysis of metric spaces but, hopefully, it is a right one at
least.
The origin of the story is the notion of successive divisions of compact metric
spaces, which appear in many different areas of mathematics such as the construc-
tion of self-similar sets, Markov partitions associated with hyperbolic dynamical
systems, and dyadic cubes associated with a doubling metric space. The common
feature in these is to divide a space into a finite number of subsets, then divide
each subset into finitely many pieces, repeating this process again and again. In
this monograph, we generalize such successive divisions and call them partitions.
Given a partition, we consider the notion of a weight function assigning a “size”
to each piece of the partition. Intuitively, we believe that a partition and a weight
function should provide a “geometry” and an “analysis” on the space of interest. We
pursue this idea in Chaps. 2–4. In Chap. 2, the metrizability of a weight function,
i.e. the existence of a metric “adapted to” a given weight function, is shown to be
equivalent to the Gromov hyperbolicity of the graph associated with the weight
function. In Chap. 3, notions such as bi-Lipschitz equivalence, Ahlfors regularity,
the volume doubling property, and quasisymmetry are shown to be equivalent to
certain properties of weight functions. In particular, we find that quasisymmetry
and the volume doubling property are the same notion in the world of weight
functions. In Chap. 4, a characterization of the Ahlfors regular conformal dimension

v
vi Preface

of a compact metric space is given as the critical index p of p-energies associated

with the partition and the weight function corresponding to the metric.
I express my gratitude to the many colleagues who have given me insights into
these subjects. In particular, I would like to thank Professors M. Bonk and B. Kleiner
for their suggestions on the directions in which to proceed, the anonymous referees
for their valuable comments on the original manuscript, and the Springer editorial
and production teams for their sincere efforts to make this monograph much better
than its original form.
Last but not least, in this crazy moment of our history, I sincerely wish good
health and safety to all, and that I will soon be able to share thoughts face to face
with my friends around the world.

Kyoto, Japan Jun Kigami

August 23, 2020
Contents

1 Introduction and a Showcase . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 1

1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 1
1.2 Summary of the Main Results; the Case of 2-dim. Sphere.. . . . . . . . . . . 8
2 Partitions, Weight Functions and Their Hyperbolicity . . . . . . . . . . . . . . . . . . 17
2.1 Tree with a Reference Point . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 17
2.2 Partition .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 20
2.3 Weight Function and Associated “Visual Pre-metric”.. . . . . . . . . . . . . . . . 28
2.4 Metrics Adapted to Weight Function.. . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 33
2.5 Hyperbolicity of Resolutions and the Existence
of Adapted Metrics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 41
3 Relations of Weight Functions . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 55
3.1 Bi-Lipschitz Equivalence . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 55
3.2 Thickness of Weight Functions .. . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 63
3.3 Volume Doubling Property . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 66
3.4 Example: Subsets of the Square .. . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 75
3.5 Gentleness and Exponentiality . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 85
3.6 Quasisymmetry.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 90
4 Characterization of Ahlfors Regular Conformal Dimension. . . . . . . . . . . . 97
4.1 Construction of Adapted Metric I . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 97
4.2 Construction of Ahlfors Regular Metric I. . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 105
4.3 Basic Framework .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 108
4.4 Construction of Adapted Metric II . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 112
4.5 Construction of Ahlfors Regular Metric II .. . . . . . . .. . . . . . . . . . . . . . . . . . . . 116
4.6 Critical Index of p-Energies and the Ahlfors Regular
Conformal Dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 123
4.7 Relation with p-Spectral Dimensions .. . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 135
4.8 Combinatorial Modulus of Curves . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 142
4.9 Positivity at the Critical Value .. . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 146

vii
viii Contents

A Fact from Measure Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 153

B List of Definitions, Notations and Conditions . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 155
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 161
Chapter 1
Introduction and a Showcase

1.1 Introduction

Successive divisions of a space have played important roles in many areas of

mathematics. One of the simplest examples is the binary division of the unit interval
[0, 1] shown in Fig. 1.1. Let Kφ = [0, 1] and divide Kφ in half as K0 = [0, 12 ]
and K1 = [ 12 , 1]. Next, K0 and K1 are divided in half again and yield Kij for each
(i, j ) ∈ {0, 1}2 . Repeating this procedure, we obtain {Ki1 ...im }i1 ,...,im ∈{0,1} satisfying

Ki1 ...im = Ki1 ...im 0 ∪ Ki1 ...im 1 (1.1.1)

for any m ≥ 0 and i1 . . . im ∈ {0, 1}m . In this example, there are two notable
properties.
The first one is the role of the (infinite) binary tree

Tb = {φ, 0, 1, 00, 01, 10, 11, 000, 001, 010, 011, . . .} = {0, 1}m ,
m≥0

where {0, 1}0 = {φ}. The vertex φ is called the root or the reference point and Tb is
called the tree with the root (or the reference point) φ. Note that the correspondence
i1 . . . im → Ki1 ...im determines a map from the binary tree to the collection of
compact subsets of [0, 1] with the property (1.1.1).
Secondly, note that Ki1 ⊇ Ki1 i2 ⊇ Ki1 i2 i3 ⊇ . . . and

Ki1 ...im is a single point (1.1.2)
m≥1

© The Editor(s) (if applicable) and The Author(s), under exclusive license 1
to Springer Nature Switzerland AG 2020
J. Kigami, Geometry and Analysis of Metric Spaces via Weighted Partitions,
Lecture Notes in Mathematics 2265, https://doi.org/10.1007/978-3-030-54154-5_1
2 1 Introduction and a Showcase

0 Kφ 1 φ

1
K0 2 K1
0 1

1 3
K00 4 K01 K10 4 K11
00 01 10 11

1 3 5 7
8 8 8 8

A partition of [0, 1] The associated tree

Fig. 1.1 A partition of the unit interval [0, 1] and the associated tree

for any infinite sequence

 i1 i2 . . .. (Of course, this is the binary expansion and hence
the single point is m≥1 2imm .) In other words, there is a natural map σ : {0, 1}N →
[0, 1] given by

σ (i1 i2 . . .) = Ki1 ...im .
m≥1

Such successive divisions of a compact metric space, which may not be as

simple as the above example, appear in various areas in mathematics. One of typical
examples is a self-similar set in fractal geometry. A self-similar set is a union of
finite contracted copies of itself. Then each contracted copy is again a union of
contracted copies and so forth. Another example is the Markov partition associated
with a hyperbolic dynamical system. See [1] for details. Also, the division of a
metric measure space having the volume doubling property by dyadic cubes can
be thought of as another example of such divisions of a space. See Christ[14] for
example.
In general, let X be a compact metrizable topological space with no isolated
point. The common properties of the above examples are;
(i) There exists a tree T (i.e. a connected graph without loops) with a root φ.
(ii) For any vertex p of T , there is a corresponding nonempty compact subset of
X denoted by Xp and X = Xφ .
(iii) Every vertex p of T except φ has unique predecessor π(p) ∈ T and

Xq = Xp . (1.1.3)
p∈{p  |π(p  )=q}

(iv) The totality of edges of T is {(π(q), q)|q ∈ T \{φ}}.

1.1 Introduction 3

(v) For any infinite sequence (p0 , p1 , p2 , . . .) of vertices of X satisfying p0 = φ

and π(pi+1 ) = pi for any i ≥ 1,

Xpi is a single point. (1.1.4)
i≥1

See Fig. 1.2 for an illustration of the idea. Note that the properties (1.1.3)
and (1.1.4) correspond to (1.1.1) and (1.1.2) respectively. In this monograph such
{Xp }p∈T is called a partition of X parametrized by the tree T . (We will give the
precise definition in Sect. 2.2.) In addition to the “vertical” edges, which are the
edges of the tree, we provide “horizontal” edges to T to describe the combinatorial
structure reflecting the topology of X as is seen in Fig. 1.2. More precisely, a pair
(p, q) ∈ T × T is a horizontal edge if p and q have the same distance from the root
φ and Xp ∩ Xq = ∅. We call T with horizontal and vertical edges the resolution of
X associated with the partition.
Another key notion is a weight function on the tree T . Note that a metric and
a measure give weights of the subsets of X. More precisely, let d be a metric on
X inducing the original topology of X and let μ be a Radon measure on X where
μ(Xp ) > 0 for any p ∈ T . Define ρd : T → (0, 1] and ρμ : T → (0, 1] by

diam(Xp , d) μ(Xp )
ρd (p) = and ρμ (p) = ,
diam(X, d) μ(X)

.................
...........
..
...............................................................................................................................
.... ............
.........
φ
......... ... .......
.....
. ................................... ...
... .......
.....
. ........ ... .. ...........
.
.. ... ..
. ..
..... ......
..
...
.. ..
. .....
....
.. ... ....
.... ....
.....
....
....
X11 .. ......
.... ......
.....
X21 X22 ..
.
.
.
..
..
....
.....
....
....
....
....
...
... . .. ... .
. ... ...
.... ...... . .
.
.
. .
. ..
..... ... . ... ...
...
...
.... ... .
....... ...
. ...
....
.
.
.
.
.
. ....... ... . ..
.. .
.. ... ...
..
2
........................................... ..
X32
... .. . ...
.. . ........
. .
. . . . ..
..
..
...
...
X12 ....
..
.
..
.........................
...
......
......... ...
...
...
. .
..
.
..
..
. 1 3
... ........................................... .... ...
...
... ........ ......... ...
.... ....... .. ... ...
.... ....
X31
.. ...
....
.... . .....
. ..
. .. ......
X13
. ... ... ...
..... .... ... ... ..... 21 22
......
...... .... ... ..........
....... ..... ...
.. ... ......... 11
......... .... .....
......... . ........
........... .. ...........
.................
.................................. .. .................
......................................................................
12 32
X = Xφ
13 31
A partition of X The associated graphs T
Solid lines are vertical edges.
Dotted lines are horizontal edges.

Fig. 1.2 A partition and the associated graphs (up to the 2nd stage)
4 1 Introduction and a Showcase

where diam(A, d) is the diameter of A with respect to the metric d. Then ρd (resp.
ρμ ) is though of as a natural weight of Xp associated with d (resp. μ). In both cases
where  = d or  = μ, the function ρ : T → (0, ∞) satisfies

ρ (π(p)) ≥ ρ (p) (1.1.5)

for any p ∈ T \{φ} and

lim ρ (pi ) = 0 (1.1.6)

i→∞

if π(pi+1 ) = pi for any i ≥ 1. (To have the second property (1.1.6) in case of
 = μ, we must assume that the measure μ is non-atomic, i.e. μ({x}) = 0 for any
x ∈ X.)
As we have seen above, given a metric or a measure, we have obtained a weight
function ρ satisfying (1.1.5) and (1.1.6). In this monograph, we are interested in the
opposite direction. Namely, given a partition of a compact metrizable topological
space parametrized by a tree T , we define the notion of weight functions as the
collection of functions from T to (0, 1] satisfying the properties (1.1.5) and (1.1.6).
Then our main object of interest is the space of weight functions including those
derived from metrics and measures. Naively we believe that a partition and a weight
function essentially determine a “geometry” and/or an“analysis” of the original set
no matter where the weight function comes. It may come from a metric, a measure
or else. Keeping this intuition in mind, we are going to develop a basic theory of
weight functions in three closely related directions in this monograph.
The first direction is to study when a weight function is naturally associated
with a metric. In brief, our conclusion will be that a power of a weight function is
naturally associated with a metric if and only if the rearrangement of the resolution
T associated the weight function is Gromov hyperbolic. To be more precise, let
{Xw }w∈T be a partition of a compact metrizable topological space X with no
isolated points and let ρ : T → (0, 1] be a weight function. In Sect. 2.3, we
ρ
will define δM (·, ·), which is called the visual pre-metric associated with ρ, in the
ρ
following way: let s be the collection of w’s in T where the size ρ(w) is almost s.
ρ ρ
Define a horizontal edge of s as (w, v) ∈ s with Xw ∩ Xv = ∅. For r ∈ (0, 1),
the rearranged resolution Tρ,r associated with the weight function ρ is defined as
ρ
the vertices ∪m≥0 r m with the vertical edges from the tree structure of T and the
ρ ρ
horizontal edges of r m . Then the visual pre-metric δM (x, y), where M ≥ 1 is a
natural number, for x, y ∈ X is given by the infimum of s where x and y can be
ρ
connected by an M-consecutive horizontal edges in s . We think that a metric d
ρ
is naturally associated with the weight function ρ if and only if d and δM are bi-
Lipschitz equivalent on X × X. More precisely, we are going to use a phrase“d is
adapted to ρ” instead of “d is naturally associated with ρ”. The notion of visual
pre-metric in this monograph is a counterpart of that of visual pre-metric on the
boundary of a Gromov hyperbolic metric space, whose detailed account can be
seen in [12, 27] and [18] for example. Now the main conclusion of the first part
1.1 Introduction 5

is Theorem 2.5.12 saying that the hyperbolicity of the rearranged resolution Tρ,r is
equivalent to the existence of a metric adapted to some power of the weight function.
Moreover, if this is the case, the metric adapted to some power of the weight function
is shown to be a visual metric in Gromov’s sense.
The second direction is to establish relationships of various relations between
weight functions, metrics and measures. For example, Ahlfors regularity and the
volume property are relations between measures and metrics. For α > 0, a measure
μ is α-Ahlfors regular with respect to a metric d if and only if there exist c1 , c2 > 0
such that

c1 r α ≤ μ(Bd (x, r)) ≤ c2 r α ,

where Bd (x, r) = {y|y ∈ X, d(x, y) < r}, for any r ∈ (0, diam(X, d)] and x ∈ X.
See Definition 3.3.3 for the precise definition of the volume doubling property. On
the other hand, bi-Lipschitz and quasisymmetry are equivalence relations between
two metrics. (The precise definitions of bi-Lipschitz equivalence and quasisymmetry
are given in Definitions 3.1.9 and 3.6.1 respectively.) Regarding those relations, we
are going to claim the following relationships

bi-Lipschitz = Ahlfors regularity = being adapted (1.1.7)

and

the volume doubling property = quasisymmetry. (1.1.8)

in the framework of weight functions. To illustrate the first claim more explicitly, let
us introduce the notion of bi-Lipschitz equivalence of weight functions. Two weight
functions ρ1 and ρ2 are said to be bi-Lipschitz equivalent if and only if there exist
c1 , c2 > 0 such that

c1 ρ1 (p) ≤ ρ2 (p) ≤ c2 ρ1 (p)

for any p ∈ T . Now the first statement (1.1.7) can be resolved into three parts as
follows: let ρ1 and ρ2 be two weight functions.
Claim 1: Suppose that ρ1 = ρd1 and ρ2 = ρd2 for metrics d1 and d2 on X. Then
ρ1 and ρ2 are bi-Lipschitz equivalent if and only if d1 and d2 are bi-
Lipschitz equivalent as metrics.
Claim 2: Suppose that ρ1 = ρd and ρ2 = ρμ for a metric d on X and a Radon
measure μ on X. Then (ρ1 )α and ρ2 are bi-Lipschitz equivalent if and
only if μ is α-Ahlfors regular with respect to d.
Claim 3: Suppose that ρ1 = ρd for a metric d on X, then ρ1 and ρ2 are bi-
Lipschitz equivalent if and only if the metric d is adapted to the weight
function ρ2 .
6 1 Introduction and a Showcase

One can find the precise statement in Theorem 1.2.11 in the case of partitions
of S 2 . The second statement (1.1.8) is rationalized in the same manner. See
Theorem 1.2.12 for the exact statement in the case of S 2 for example.
The third direction is a characterization of Ahlfors regular conformal dimension.
The Ahlfors regular conformal dimension, AR conformal dimension for short, of a
metric space (X, d) is defined as

dimAR (X, d) = inf{α|there exist a metric ρ on X and a Borel regular measure μ on

X such that ρ ∼ d and μ is α-Ahlfors regular with respect to ρ},
QS

where “ρ ∼ d” means that the two metrics ρ and d are quasisymmetric to each
QS
other. Note that α is the Hausdorff dimension of (X, d) if there exists a measure
μ which is α-Ahlfors regular with respect to d. In [13], Carrasco Piaggio has
given a characterization of Ahlfors regular conformal dimension in terms of the
critical exponent of p-combinatorial modulus of discrete path families. Given the
results from the previous part, we have obtained the ways to express the notions
of quasisymmetry and Ahlfors regularity in terms of weight functions. So we are
going to translate Carrasco Piaggio’s work into our framework. However, we are
going to use the critical exponent of p-energy instead of p-combinatorial modulus
in our work.1 Despite the difference between p-energy and p-modulus, we will
make essential use of Carrasco Piaggio’s ideas, which have been quietly embedded
in his paper [13]. Furthermore, we are going to define the notion of p-spectral
dimension and present a relation between Ahlfors regular conformal dimension
and p-spectral dimension. In particular, for p = 2, the 2-spectral dimension has
been know to appear in the asymptotic behavior of the Brownian motion and the
eigenvalue counting function of the Laplacian on certain fractals like the Sierpinski
gasket and the Sierpinski carpet. See [4, 5] and [23] for example. For the Sierpinski
carpet, we will show that the 2-spectral dimension gives an upper bound of Ahlfors
regular conformal dimension.
One of the main reasons for recent interest in Ahlfors regular conformal
dimension is its close connection with the Cannon’s conjecture, although we are
not going to pursue such a direction in this monograph.
Conjecture (Cannon) Let G be a Gromov hyperbolic group whose boundary ∂∞ G
is homeomorphic to the two dimensional sphere S 2 . Let d be a visual metric on
∂∞ G. Then (∂∞ G, d) is quasisymmetric to S 2 with the Euclidean metric.
For this conjecture, Bonk and Kleiner have given the following partial answer
in [7].

1 Thisidea of characterizing AR conformal dimension by p-energies was brought to the author by

B. Kleiner in a personal communication. In fact, Keith and Kleiner had obtained a result which is
comparable with that of Carrasco Piaggio [13]. See the discussions after [10, Proposition 1.5].
1.1 Introduction 7

Theorem 1.1.1 (Bonk-Kleiner) Let G be a Gromov hyperbolic group whose

boundary ∂∞ G is homeomorphic to S 2 and let d be a visual metric on ∂∞ G. Assume
that Ahlfors regular conformal dimension is attained, i.e. there exist a metric ρ
on ∂∞ G which is quasisymmetric to d and a Borel regular measure μ which is
dimAR (X, d)-Ahlfors regular with respect to ρ. Then (∂∞ G, d) is quasisymmetric
to S 2 with the Euclidean metric.
So, the last piece to prove Cannon’s conjecture is the attainability of Ahlfors
regular conformal dimension. Besides Canon’s conjecture, the attainability of
Ahlfors regular conformal dimension is an interesting problem by itself and not
solved except for limited classes of spaces like domains in Rn . In particular, it is
still open even in the case of the Sierpinski carpet at this moment.
There have been other works on an analytic characterization of Ahlfors regular
conformal dimension. In [11], Bourdon and Pajot have used the critical exponent
of p -cohomologies p(X, d). In general, p(X, d) ≤ dimAR (X, d) and the equality
holds if Ahlfors regular conformal dimension is attainable with a Loewner metric.
Lidquist has used the critical exponent of weak capacities Qw in [26]. He has shown
that Qw ≤ dimAR (X, d) and the equality has been shown to hold if Ahlfors regular
conformal dimension is attainable. For certain class of self-similar sets, Shimizu has
shown p∗ (G) ≤ dimAR (X, d), where p∗ (G) is the parabolic index of a blow-up G,
which is an infinite graph, of a self-similar set X in [28].
One of the ideas behind this study is to approximate a space by a series of
graphs. Such an idea has already been explored in association with hyperbolic
geometry. For example, in [15] and [11], they have constructed an infinite graph
whose hyperbolic boundary is homeomorphic to given compact metric space. They
have constructed a series of coverings of the space, which is a counterpart of our
partition, and then built a graph from the series. In [13], Carrasco Piaggio has
utilized this series of coverings to study the Ahlfors regular conformal dimension
of the space. His notion of “relative radius” essentially corresponds to our weight
functions. In our framework, the original space is homeomorphic to the analogue
of hyperbolic boundary of the resolution T of X even if it is not hyperbolic in the
sense of Gromov. See Theorem 2.5.5 for details. In other words, the resolution T of
X is a version of hyperbolic filling of the original space X. (See [9] for the notion
of hyperbolic fillings.) In this respect, our study in this monograph may be thought
of as a theory of weighted hyperbolic fillings.
The organization of this monograph is as follows. In Sect. 1.2, we give a summary
of the main results of this monograph in the case of the 2-dimensional sphere as a
showcase of the full theory. In Sect. 2.1, we give basic definitions and notations on
trees. Section 2.2 is devoted to the introduction of partitions and related notions.
In Sect. 2.3, we define the notion of weight function and the associated “visual
pre-metric”. We study our first question mentioned above, namely, when a weight
function is naturally associated with a (power of) metric in Sect. 2.4. In Sect. 2.5,
we are going to relate this question to the hyperbolicity of certain graph, called
a rearrangement above, associated with a weight function. Section 3.1 is devoted
to justifying the statement (1.1.7). In Sects. 3.2, 3.3, 3.5 and 3.6, we will study
8 1 Introduction and a Showcase

the rationalized version of (1.1.8) as a mathematical statement. In particular, in

Sect. 3.3, we introduce the key notion of being “gentle”. In Sect. 3.4, we apply our
general theory to certain class of subsets of the square and obtain concrete (counter)
examples. From Sect. 4.1, we will start arguing a characterization of Ahlfors regular
conformal dimension. From Sect. 4.1–4.5, we discuss how to obtain a pair of a
metric d and a measure μ where μ is α-Ahlfors regular with respect to d for a
given order α. The main result of these sections is Theorem 4.5.1. In Sect. 4.6,
we will give a characterization of the Ahlfors regular conformal dimension as a
critical index p of p-energies. Then we will show the relation of the Ahlfors regular
conformal dimension and p-spectral dimension in Sect. 4.7. Additionally, we will
give another characterization of the Ahlfors regular conformal dimension by p-
modulus of curve families in Sect. 4.8. This recovers the original result by Carrasco
Piaggio [13]. Finally in Sect. B, we present the whereabouts of definitions, notations,
and conditions appearing in this monograph for reader’s sake.

Remark on the Usage of min, max, sup, inf and
Throughout this monograph, if A ⊆ [0, ∞) is empty, then we set

min A = max A = sup A = inf A = 0.

Moreover, if f : A → R and A = ∅, then we set


f (x) = 0.
x∈A

Such situations may happen if our target space (X, d) is not connected.

1.2 Summary of the Main Results; the Case of 2-dim. Sphere

In this section, we summarize our main results in this monograph in the case of a
2-dimensional sphere S 2 (or in other words, the Riemann sphere), which is denoted
by X in what follows. We use ds to denote the standard spherical geodesic metric
on X. Set

U = {A|A ⊆ X, closed, int(A) = ∅, ∂A is homeomorphic to the circle S 1 .}

First we divide X into finite number of subsets X1 , . . . , XN0 belonging to U, i.e.


N0
X= Xi .
i=1
1.2 Summary of the Main Results; the Case of 2-dim. Sphere 9

We assume that Xi ∩ Xj = ∂Xi ∩ ∂Xj if i = j . Next each Xi is divided into

finite number of its subsets Xi1 , Xi2 , . . . , XiNi ∈ U in the same manner as before.
Repeating this process, we obtain Xi1 ...ik for any i1 . . . ik satisfying

Xi1 ...ik = Xi1 ...ik j (1.2.1)
j =1,...,Ni1 ...ik

and if i1 . . .ik = j1 . . .jk , then

Xi1 ...ik ∩ Xj1 ...jk = ∂Xi1 ...ik ∩ ∂Xj1 ...jk . (1.2.2)

Note that (1.2.1) is a counterpart of (1.1.3). Next define

Tk = {i1 . . .ik |ij ∈ {1, . . . , Ni1 ...ij−1 } for any j = 1, . . . , k − 1}

for any k = 0, 1, . . ., where T0 is a one point set {φ}. Let T = ∪k≥0 Tk . Then T is
naturally though of as a (non-directed) tree whose edges are given by the totality of
(i1 . . .ik , i1 . . .ik ik+1 ). We regard the correspondence w ∈ T to Xw ∈ U as a map
from T to U, which is denoted by X . Namely, X (w) = Xw for any w ∈ T . Note
that X (φ) = X. Define

= {i1 i2 . . . |i1 . . . ik ∈ Tk for any k ≥ 0},

which is the “boundary” of the infinite tree T .

Furthermore we assume that for any i1 i2 . . . ∈

Xi1 ...ik
k=1,2,...

is a single point, which is denoted by σ (i1 i2 . . .). Note that σ is a map from to
X. This assumption corresponds to (1.1.4) and hence the map X is a partition of X
parametrized by the tree T , i.e. it satisfies the conditions (i), (ii), (iii), (iv) and (v) in
the introduction. Since X = ∪w∈Tk Xw for any k ≥ 0, this map σ is surjective.
In [8, Chapter 5], the authors have constructed “cell decomposition” associated
with an expanding Thurston map. This “cell decomposition” is, in fact, an example
of a partition formulated above.
Throughout this section, for simplicity, we assume the following conditions (SF)
and (TH), where (SF) is called strong finiteness in Definition 2.2.4 and (TH) ensures
the thickness of every exponential weight function. See Definition 3.1.19 for the
“thickness” of a weight function.
(SF)

#(σ −1 (x)) < +∞, (1.2.3)

where #(A) is the number of elements in a set A.

10 1 Introduction and a Showcase

(TH) There exists m ≥ 1 such that for any w = i1 . . .in ∈ T , there exists v =
i1 . . . in in+1 . . .in+m ∈ T such that Xv ⊆ int(Xw ).
The main purpose of this monograph is to describe metrics and measures of X
from a given weight assigned to each piece Xw of the partition X .
Definition 1.2.1 A map g : T → (0, 1] is called a weight function if and only if it
satisfies the following conditions (G1), (G2) and (G3).
(G1) g(φ) = 1
(G2) g(i1 . . .ik ) ≥ g(i1 . . .ik ik+1 ) for any i1 . . .ik ∈ T and i1 . . .ik ik+1 ∈ T .
(G3)

lim sup g(w) = 0.

k→∞ w∈Tk

Define

G(T ) = {g|g : T → (0, 1] is a weight function.}

Moreover, we define following conditions (SpE) and (SbE), which represent “super-
exponential” and “sub-exponential” respectively:
(SpE) There exists λ ∈ (0, 1) such that

g(i1 . . .ik ik+1 ) ≥ λg(i1 . . .ik )

for any i1 . . .ik ∈ T and i1 . . .ik ik+1 ∈ T .

(SbE) There exist m ∈ N and γ ∈ (0, 1) such that

g(i1 . . .ik ik+1 . . .ik+m ) ≤ γ g(i1 . . .ik )

for any i1 . . .ik ∈ T and i1 . . .ik ik+1 . . .ik+m ∈ T .

Set

Ge (T ) = {g|g : T → (0, 1] is a weight function

satisfying (SpE) and (SbE).}.

Metrics and measures on X naturally have associated weight functions.

Definition 1.2.2 Set

D(X) = {d|d is a metric on X which produces the original topology of X,

and diam(X, d) = 1}
1.2 Summary of the Main Results; the Case of 2-dim. Sphere 11

and

M(X) = {μ|μ is a Borel regular probability measure on X, μ({x}) = 0

for any x ∈ T and μ(O) > 0 for any non-empty open set O ⊆ X}.

For any d ∈ D(X), define gd : T → (0, 1] by gd (w) = diam(Xw , d) and for any
μ ∈ M(X), define gμ : T → (0, 1] by gμ (w) = μ(Xw ) for any w ∈ T .
From Proposition 2.3.5, we have the following fact.
Proposition 1.2.3 If d ∈ D(X) and μ ∈ M(X), then gd and gμ are weight
functions.
So a metric d ∈ D(X) has associated weight function gd . How about the converse
direction, i.e. for a given weight function g, is there a metric d such that g = gd ?
To make this question more rigorous and flexible, we define the notion of “visual
g
pre-metric” δM (·, ·) associated with a weight function g.
Definition 1.2.4 Let g ∈ G(T ). Define
g
s = {i1 . . .ik |i1 . . .ik ∈ T , g(i1 . . .ik−1 ) > s ≥ g(i1 . . .ik )}

for s ∈ (0, 1] and

g g
δM (x, y) = inf{s|there exist w(1), . . . , w(M + 1) ∈ s such that
x ∈ Xw(1) , y ∈ Xw(M+1) and
Xw(j ) ∩ Xw(j +1) = ∅ for any j = 1, . . . , M}

for M ≥ 0, x, y ∈ X. A weight function is called uniformly finite if and only if

g
sup #({v|v ∈ s , Xw ∩ Xv = ∅}) < +∞.
g
s∈(0,1],w∈s

g g g
Although δM (x, y) ≥ 0, δM (x, y) = 0 if and only if x = y and δM (x, y) =
g g
δM (y, x), the quantity δM may not satisfy the triangle inequality in general. The
g
visual pre-metric δM (x, y) is a counterpart of the visual metric defined in [8]. See
Sect. 2.3 for details.
g
If the pre-metric δM (·, ·) is bi-Lipschitz equivalent to a metric d, we consider d
as a metric which is naturally associated with the weight function g.
12 1 Introduction and a Showcase

Definition 1.2.5 Let M ≥ 1

(1) A metric d ∈ D(X) is said to be M-adapted to a weight function g ∈ G(X) if
and only if there exist c1 , c2 > 0 such that
g
c1 d(x, y) ≤ δM (x, y) ≤ c2 d(x, y)

for any x, y ∈ X.
(2) A metric d is said to be M-adapted if and only if it is M-adapted to gd and it is
said to be adapted if it is M-adapted for some M ≥ 1.
(3) Define

DA,e (X) = {d|d ∈ D(X), gd ∈ Ge (T ) and d is adapted},

Me (X) = {μ|μ ∈ M(X), gμ ∈ Ge (T )}.

The value M really matters. See Example 3.4.9 for an example.

The following definition is used to describe an equivalent condition for the
existence of an adapted metric in Theorem 1.2.7.
g,r = m≥0  m , where the
Definition 1.2.6 Let g ∈ G(T ). For r ∈ (0, 1), define T
g
r
symbol  means a disjoint union. Define the horizontal edges Eg,r
h and the vertical
v of T
edges Eg,r g,r as

g
h
Eg,r = {(w, v)|w, v ∈ r m for some m ≥ 0, w = v, Xw ∩ Xv = ∅}

and
g g
v
Eg,r = {(w, v)|w ∈ r m , v ∈ r m+1 for some m ≥ 0, Xw ⊇ Xv }

respectively.
The following theorem is a special case of Theorem 2.5.12.
Theorem 1.2.7 Let g ∈ G(X). There exist M ≥ 1, α > 0 and a metric d ∈ D(X)
such that d is M-adapted to g α if and only if the graph (Tg,r , Eg,r
h ∪E v ) is Gromov
g,r
hyperbolic for some r ∈ (0, 1). Moreover, if this is the case, then X is homeomorphic
to the hyperbolic boundary of (Tg,r , Eg,r
h ∪ E v ) and the adapted metric d is a
g,r
visual metric in the Gromov sense.
Next, we define two equivalent relations ∼ and ∼ on the collection of
BL GE
exponential weight functions. Later, we are going to identify these with known
relations according to the types of weight functions.
1.2 Summary of the Main Results; the Case of 2-dim. Sphere 13

Definition 1.2.8 Let g, h ∈ Ge (T ).

(1) g and h are said to be bi-Lipschitz equivalent if and only if there exist c1 , c2 > 0
such that

c1 g(w) ≤ h(w) ≤ c2 g(w)

for any w ∈ T . We write g ∼ h if g and h are bi-Lipschitz equivalent.

BL
g
(2) h is said to be gentle to g if and only if there exists γ > 0 such that if w, v ∈ s
and Xw ∩ Xv = ∅, then h(w) ≤ γ h(v). We write g ∼ h if h is gentle to g.
GE
Clearly, ∼ is an equivalence relation. On the other hand, the fact that ∼ is an
BL GE
equivalence relation is not quite obvious and going to be shown in Theorem 3.5.2.
Proposition 1.2.9 The relations ∼ and ∼ are equivalent relations in Ge (T ).
BL GE
Moreover, if g ∼ h, then g ∼ h.
BL GE
Some of the properties of a weight function are invariant under the equivalence
relation ∼ as follows.
GE
Proposition 1.2.10
(1) Being uniformly finite is invariant under the equivalence relation ∼ , i.e. if g ∈
GE
Ge (T ) is uniformly finite, h ∈ Ge (T ) and g ∼ h, then h is uniformly finite.
GE
g,r is invariant under the equivalence relation ∼ .
(2) The hyperbolicity of T
GE
The statements (1) and (2) of the above theorem are the special cases of
Theorems 3.5.7 and 3.5.9 respectively.
The next theorem shows that bi-Lipschitz equivalence of weight functions can be
identified with other properties according to the types of involved weight functions.
Theorem 1.2.11
(1) For d, ρ ∈ DA,e (X), gd ∼ gρ if and only if d and g are bi-Lipschitz equivalent
BL
as metrics.
(2) For μ, ν ∈ M(X), gμ ∼ gν if and only if there exist c1 , c2 > 0 such that
BL

c1 μ(A) ≤ ν(A) ≤ c2 μ(A)

for any Borel set A ⊆ X.

(3) For g ∈ Ge (X) and d ∈ DA,e (X), g ∼ gd if and only if d is M-adapted to g for
BL
some M ≥ 1.
14 1 Introduction and a Showcase

(4) For d ∈ DA,e (X), μ ∈ M(X) and α > 0, (gd )α ∼ gμ and gd is uniformly finite
BL
if and only if μ is α-Ahlfors regular with respect to d, i.e. there exist c1 , c2 > 0
such that

c1 r α ≤ μ(Bd (x, r)) ≤ c2 r α

for any r > 0 and x ∈ X.

The statements (1), (2), (3) and (4) of the above theorem follow from Corol-
lary 3.1.10, Theorems 3.1.4, 3.1.14 and 3.1.21 respectively.
The gentle equivalence relation is identified with “quasisymmetry” between two
metrics and with “volume doubling property” between a metric and a measure.
Theorem 1.2.12
(1) Let d ∈ DA,e (X) and let μ ∈ M(X). Then gμ ∈ Ge (T ), gd ∼ gμ and gd is
GE
uniformly finite if and only if μ has the volume doubling property with respect
to d, i.e. there exists C > 0 such that

μ(Bd (x, 2r)) ≤ Cμ(Bd (x, r))

for any r > 0 and x ∈ X.

(2) For d ∈ DA,e (X) and ρ ∈ D(X), d is quasisymmetric to ρ if and only if
ρ ∈ DA,e (X) and gd ∼ gρ .
GE
The statement (1) of the above theorem follows from Proposition 3.3.6 and
Theorem 3.3.9-(2). Note that the condition (TH) implies (TH1) appearing in
Theorem 3.2.3. Consequently every exponential weight function is thick by The-
orem 3.2.3. The statement (2) is immediate from Corollary 3.6.7.
In [8, Section 17], the authors have shown that the visual metric is quasisymmet-
ric to the chordal metric which is bi-Lipschitz equivalent to the standard geodesic
metric dS on S 2 for certain class of expanding Thurston maps. In view of their proof,
they have essentially shown a counterpart of the condition given in Theorem 1.2.12-
(2).
Next we present a characterization of the Ahlfors regular conformal dimension
using the critical index p of p-energies.
g g
Definition 1.2.13 Let g ∈ Ge (T ) and let r ∈ (0, 1). For A ⊆ r m , w ∈ r m ,
M ≥ 1 and n ≥ 0, define
g
S n (A) = {v|v ∈ r m+n , Xv ⊆ ∪u∈A Xu }
1.2 Summary of the Main Results; the Case of 2-dim. Sphere 15

and
g g
M (w) = {v|v ∈ r m , there exists (v(0), v(1), . . . , v(M)) such that
v(0) = w and (v(i), v(i + 1)) ∈ Eg,r
h
for any i = 0, . . . , M − 1}.

g g
The set S n (A) corresponds to the refinement of A in r m+n and the set M (w) is
g
the M-neighborhood of w in r m .
g,r , M ≥ 1
Definition 1.2.14 Let g ∈ Ge (T ) and let r ∈ (0, 1). For p > 0, w ∈ T
and n ≥ 0, define
  
g 
EM,p,w,n = inf |f (u) − f (v)|p 
h ,u,v∈ g
(u,v)∈Eg,r
r m+n

g
f : r m+n → R, f |S n (w) = 1, f |g g
\S n (M (w)) =0 ,
r m+n

g
where the integer m is chosen so that w ∈ r m , and
g g
EM,p = lim inf sup EM,p,w,m .
m→∞
w∈Tg,r

By Theorem 4.6.4, we have the following characterization of the Ahlfors regular

g
conformal dimension of (X, d) in terms of EM,p .
Theorem 1.2.15 Let d ∈ DA,e (X) and set g = gd . Assume that d is uniformly
g
finite and M-adapted. If EM,p = 0, then there exist ρ ∈ DA,e (X) and μ ∈ Me (X)
such that μ is p-Ahlfors regular with respect to ρ and ρ is quasisymmetric to d.
Moreover, the Ahlfors regular conformal dimension of (X, d) is (finite and) given by
g
inf{p|EM,p = 0}.
Chapter 2
Partitions, Weight Functions and Their
Hyperbolicity

2.1 Tree with a Reference Point

In this section, we review basic notions and notations on a tree with a reference
point.
Definition 2.1.1 Let T be a countably infinite set and let A : T × T → {0, 1}
which satisfies A(w, v) = A(v, w) and A(w, w) = 0 for any w, v ∈ T . We call the
pair (T , A) a (non-directed) graph with the vertices T and the adjacent matrix A.
An element (u, v) ∈ T × T is called an edge of (T , A) if and only if A(u, v) = 1.
We will identify the adjacent matrix A with the collection of edges {(u, v)|u, v ∈
T , A(u, v) = 1}.
(1) The set {v|A(w, v) = 1} is called the neighborhood of w in (T , A). (T , A) is
said to be locally finite if the neighborhood of w is a finite set for any w ∈ T .
(2) For w0 , . . . , wn ∈ T , (w0 , w1 , . . . , wn ) is called a path between w0 and wn if
A(wi , wi+1 ) = 1 for any i = 0, 1, . . . n − 1. A path (w0 , w1 , . . . , wn ) is called
simple if and only if wi = wj for any i, j with 0 ≤ i < j ≤ n and |i − j | < n.
(3) (T , A) is called a (non-directed) tree if and only if there exists a unique simple
path between w and v for any w, v ∈ T with w = v. For a tree (T , A), the
unique simple path between two vertices w and v is called the geodesic between
w and v and denoted by wv. We write u ∈ wv if wv = (w0 , w1 , . . . , wn ) and
u = wi for some i.
In this monograph, we always fix a point in a tree as the root of the tree and call
the point the reference point.

© The Editor(s) (if applicable) and The Author(s), under exclusive license 17
to Springer Nature Switzerland AG 2020
J. Kigami, Geometry and Analysis of Metric Spaces via Weighted Partitions,
Lecture Notes in Mathematics 2265, https://doi.org/10.1007/978-3-030-54154-5_2
18 2 Partitions, Weight Functions and Their Hyperbolicity

Definition 2.1.2 Let (T , A) be a tree and let φ ∈ T . The triple (T , A, φ) is called

a tree with a reference point φ.
(1) Define π : T → T by

wn−1 if w = φ and φw = (w0 , w1 , . . . , wn−1 , wn ),

π(w) =
φ if w = φ

and set S(w) = {v|A(w, v) = 1}\{π(w)}.

(2) For w ∈ T , we define |w| = n if and only if φw = (w0 , w1 , . . . , wn ) with
w0 = φ and wn = w. Moreover, we set (T )m = {w|w ∈ T , |w| = m}.
(4) An infinite sequence of vertices (w0 , w1 , . . .) is called an infinite geodesic ray
originated from w0 if and only if (w0 , . . . , wn ) = w0 wn for any n ≥ 0. Two
infinite geodesic rays (w0 , w1 , . . .) and (v0 , v1 , . . .) are equivalent if and only
if there exists k ∈ Z such that wn+k = vn for sufficiently large n. An equivalent
class of infinite geodesic rays is called an end of T . We use to denote the
collection of ends of T .
(5) Define w as the collection of infinite geodesic rays originated from w ∈ T .
For any v ∈ T , vw is defined as the collection of elements of w passing
through v, namely
w
v = {(w, w1 , . . .)|(w, w1 , . . .) ∈ w
, wn = v for some n ≥ 1}.

Remark Strictly, the notations like π and | · | should be written as π (T ,A,φ) and
| · |(T ,A,φ) respectively. In fact, if we will need to specify the tree in question, we are
going to use such explicit notations.
One of the typical examples of a tree is the infinite binary tree. In the next
example, we present a class of trees where #(S(w)) is independent of w ∈ T .
(N)
Example 2.1.3 Let N ≥ 2 be an integer. Let Tm = {1, . . . , N}m for m ≥ 0.
(N)
(We let T0 = {φ}, where φ represents an empty sequence.) We customarily write
(N) (N)
(i1 , . . . , im ) ∈ Tm as i1 . . . im . Set T (N) = ∪m≥0 Tm . Define π : T (N) → T (N)
by π(i1 . . . im im+1 ) = i1 . . . im for m ≥ 0 and π(φ) = φ. Furthermore, define

1 if w = v, and either π(w) = v or π(v) = w,

wv =
A(N)
0 otherwise.

Then (T (N) , A(N) , φ) is a locally finite tree with a reference point φ. In particular,
(T (2) , A(2) , φ) is called the infinite binary tree.
It is easy to see that for any infinite geodesic ray (w0 , w1 , . . .), there exists a
geodesic ray originated from φ that is equivalent to (w0 , w1 , . . .). In fact, adding
the geodesic φw0 to (w0 , w1 , . . .) and removing a loop, one can obtain the infinite
geodesic ray having required property. This fact shows the following proposition.
2.1 Tree with a Reference Point 19

Proposition 2.1.4 There exists a natural bijective map from to φ.

Through this map, we always identify the collection of ends and the collection
of infinite geodesic rays originated from φ, φ .
Hereafter in this monograph, (T , A, φ) is assumed to be a locally finite tree with
a fixed reference point φ ∈ T . If no confusion can occur, we omit φ in the notations.
φ
For example, we use , and v in place of φ and v respectively.
Example 2.1.5 Let N ≥ 2 be an integer. In the case of (T (N) , A(N) , φ) defined
in Example 2.1.3, the collection of the ends is (N) = {1, . . . , N}N =
{i1 i2 i3 . . . , |ij ∈ {1, . . . , N} for any m ∈ N}. With the natural product topology,
(N) is a Cantor set, i.e. perfect and totally disconnected.

Definition 2.1.6 Let (T , A, φ) be a locally finite tree with a reference point φ.

(1) For ω = (w0 , w1 , . . .) ∈ , we define [ω]m by [ω]m = wm for any m ≥ 0.
Moreover, let w ∈ T . If φw = (w0 , w1 , . . . , w|w| ), then for any 0 ≤ m ≤ |w|,
we define [w]m = wm . For w ∈ T , we define

Tw = {v|v ∈ T , w ∈ φv}.

(2) For w, v ∈ T , we define the confluence of w and v, w ∧ v, by

w ∧ v = wmax{i|i=0,...,|w|,[w]i =[v]i }

(3) For ω, τ ∈ , if ω = τ , we define the confluence of ω and τ , ω ∧ τ , by

ω ∧ τ = [ω]max{m|[ω]m =[τ ]m } .

(4) For ω, τ ∈ , we define ρ∗ (ω, τ ) ≥ 0 by

2−|ω∧τ | if ω = τ,
ρ∗ (ω, τ ) =
0 if ω = τ.

It is easy to see that ρ∗ is a metric on and { [ω]m }m≥0 is a fundamental system

of neighborhood of ω ∈ . Moreover, { v }v∈T is a countable base of open sets.
This base of open sets has the following property.
Lemma 2.1.7 Let (T , A, φ) be a locally finite tree with a reference point φ. Let
w, v ∈ T . Then the following three conditions are equivalent to each other.
(1) w ∩ v = ∅
(2) |w ∧ v| = |w| or |w ∧ v| = |v|.
(3) v ⊆ w or w ⊆ v
Proof (2) ⇒ (3): If |w ∧ v| = |w|, then w = w ∧ v and hence w ∈ φv. Therefore
v ⊆ w . Similarly if |w ∧ v| = |v|, then w ⊆ v .
20 2 Partitions, Weight Functions and Their Hyperbolicity

(3) ⇒ (1): This is obvious.

(1) ⇒ (2): If ω ∈ w ∩ v, then there exist m, n ≥ 0 such that w = [ω]m and
v = [ω]m . It follows that

w if m ≤ n,
w∧v =
v if m ≤ n.

Hence we see that |w ∧ v| = |w| or |w ∧ v| = |v|. 


With the help of the above lemma, we may easily verify the following well-
known fact. The proof is standard and left to the readers.
Proposition 2.1.8 If (T , A, φ) is a locally finite tree with a reference point φ. Then
ρ∗ (·, ·) is a metric on and ( , ρ) is compact and totally disconnected. Moreover,
if #(S(w)) ≥ 2 for any w ∈ T , then ( , ρ) is perfect.
By the above proposition, if #(S(w)) ≥ 2 for any w ∈ T , then is
(homeomorphic to) the Cantor set.

2.2 Partition

In this section, we formulate exactly the notion of a partition introduced in Sect. 1.1.
A partition is a map from a tree to the collection of nonempty compact subsets of
a compact metrizable topological space with no isolated point and it is required
to preserve the natural hierarchical structure of the tree. Consequently, a partition
induces a surjective map from the Cantor set, i.e. the collection of ends of the tree,
to the compact metrizable space.
Throughout this section, T = (T , A, φ) is a locally finite tree with a reference
point φ.
Definition 2.2.1 (Partition) Let (X, O) be a compact metrizable topological space
having no isolated point, where O is the collection of open sets, and let C(X, O)
be the collection of nonempty compact subsets of X. If no confusion can occur, we
write C(X) in place of C(X, O).
(1) A map K : T → C(X, O), where we customarily denote K(w) by Kw for
simplicity, is called a partition of X parametrized by (T , A, φ) if and only if
it satisfies the following conditions (P1) and (P2), which correspond to (1.1.3)
and (1.1.4) respectively.
(P1) Kφ = X and for any w ∈ T , #(Kw ) ≥ 2, Kw has no isolated point and

Kw = Kv .
v∈S(w)

(P2) For any ω ∈ , ∩m≥0 K[ω]m is a single point.

2.2 Partition 21

(2) Let K : T → C(X, O) be a partition of X parametrized by (T , A, φ). Define

Ow and Bw for w ∈ T by


Ow = Kw \ Kv ,
v∈(T )|w| \{w}


Bw = Kw ∩ Kv .
v∈(T )|w| \{w}

If Ow = ∅ for any w ∈ T , then the partition K is called minimal.

(3) Let K : T → C(X, O) be a partition of X. Then (w(1), . . . , w(m)) ∈ ∪k≥0 T k
is called a chain of K (or a chain for short if no confusion can occur) if and only
if Kw(i) ∩ Kw(i+1) = ∅ for any i = 1, . . . , m − 1. A chain (w(1), . . . , w(m))
of K is called a chain of K in  ⊆ T if w(i) ∈  for any i = 1, . . . , m.
For subsets A, B ⊆ X, A chain (w(1), . . . , w(m)) of K is called a chain of
K between A and B if and only if A ∩ Kw(1) = ∅ and B ∩ Kw(m) = ∅.
We use CHK (A, B) to denote the collection of chains of K between A and B.
Moreover, we denote the collection of chains of K in  between A and B by
CHK  (A, B).

As is shown in Theorem 2.2.9, a partition can be modified so as to be minimal

by restricting it to a suitable subtree.
The next lemma is an assortment of direct consequences from the definition of
the partition.
Lemma 2.2.2 Let K : T → C(X, O) be a partition of X parametrized by
(T , A, φ).
(1) For any w ∈ T , Ow is an open set. Ov ⊆ Ow for any v ∈ S(w).
(2) Ow ∩ Kv = ∅ if w, v ∈ T and w ∩ v = ∅.
(3) If w ∩ v = ∅, then Kw ∩ Kv = Bw ∩ Bv .
Proof (1) Note that by (P1), X = ∪w∈(T )m Kw . Hence

Ow = Kw \(∪v∈(T )|w| \{w} Kv ) = X\(∪v∈(T )|w| \{w} Kv ).

So Ow is open. The rest of the statement is immediate from the property (P2).
(2) By Lemma 2.1.7, if u = w ∧ v, then |u| < |w| and |u| < |v|. Let w =
[w]|u|+1 and let v  = [v]|u|+1 . Then w , v  ∈ S(u) and w = v  . Since Ow ⊆
Kw \Kv  , it follows that Ow ∩ Kv  = ∅. Using (1), we see Ow ∩ Kv = ∅.
(3) This follows immediately by the definition of Bw . 

The condition (P2) provides a natural map from the ends of the tree to the
space X.
Another random document with
no related content on Scribd:
 — Je ne peux m’empêcher, en effet, reprit Gaspard, de trouver
bien sots les princes de la terre, les puissants du monde, qui
s’imaginent que le peuple ne pense pas, parce qu’il est muet. Le
peuple a l’air de ne point penser, parce qu’il ne sait pas s’exprimer
avec des mots savants, des mots de livres, mais sa pensée s’agite
dans son cœur ; — et quand il la reconnaît dans la parole des
grands hommes, il comprend qu’elle est juste et il sent se délier sa
langue… Or çà, je vois que l’ami Pablo donne des signes
d’impatience. N’oublions pas qu’il a un miracle à nous conter et qu’il
brûle de faire briller son éloquence à nos yeux.
 CHAPITRE X

Pablo raconte un miracle qu’il a lui-même accompli ; et Bernard pense à

Thérèse.

— La vue de mauvais chrétiens hypocrites, dit Pablo, m’a fait

perdre tout respect pour ma religion ; mais, après avoir entendu les
choses neuves et admirables que notre capitaine vient de nous lire,
mes bouffonneries vous paraîtraient fades. J’aime mieux me taire,
car je dois reconnaître que ces belles pensées dont vous parlez
n’auraient pas été écrites, si notre religion ne les avait pas
engendrées.
— Pablo, dit Gaspard, vous pouvez rire et nous égayer. Le rire
est sain et les critiques sont utiles. Quelque facétieux que puisse
être le récit que vous allez faire, il ne nous empêchera pas d’être de
vrais chrétiens à notre façon, c’est-à-dire religieusement amis des
cœurs charitables et justes. Notre religion, quand on la professe
sans hypocrisie, est la plus respectable du monde. Ce n’est pas
avec des simagrées qu’on gagne le ciel, c’est avec de la
bienfaisance…
— Il est vrai que les pharisiens sont les seuls à ne jamais rire, dit
Pablo. Eh bien, donc, voici mon miracle, un miracle, je le répète, que
j’ai fait moi-même, par ma propre volonté, sans être saint ni même
bienheureux… Lorsque je résolus de m’établir ermite, pour vivre
grassement sans rien faire qu’exploiter la crédulité des ignorants, je
pensai d’abord à me loger au sommet des montagnes Maures,
auprès de la chapelle dédiée à Notre-Dame des Anges. Vous savez
qu’elle reçoit fréquentes visites de pèlerins, et je comptais sur eux
pour avoir à ma suffisance de quoi manger et boire.
Malheureusement, un autre fainéant m’avait prévenu ; la place était
prise ; et cet ermite, mon rival, était, comme moi, jeune et fort ; il n’y
avait pas apparence qu’il me devançât en paradis pour me laisser
exercer seul ici-bas sa profession parfois lucrative. Je m’installai
néanmoins dans la plaine, au bas de la colline dont il habitait le haut
plateau, aux abords de Gonfaron, un pays fameux par sa façon de
rire des ânes et des âneries. De là, je surveillais l’ermite dont j’étais
jaloux, et dont la réputation était grande dans le pays. Au moins,
pensais-je, j’apprendrai, en le surveillant avec attention, par quels
moyens il arrive à gagner la faveur populaire. Je sus bientôt que,
depuis l’arrivée de cet ermite, la statue de Notre-Dame-des-Anges
affirmait par un miracle singulier la sainteté du gredin. Cette statue
de bois sculpté versait parfois des larmes, de véritables larmes, sur
la misère ou la douleur des suppliants, — ce qui équivalait à leur
promettre sa pitié et par suite son intercession auprès de son fils. —
« Mon frère, dis-je à l’ermite, comment t’y prends-tu pour obtenir ce
miracle ingénieux ?… Que fais-tu de mal à la sainte Vierge pour la
faire pleurer, pechère ? » Obstinément, il se refusa à répondre, se
contentant de hocher la tête : « Dieu est si grand ! » murmurait-il.
Cependant nous avions quelque amitié l’un pour l’autre ; et tantôt il
descendait me voir dans ma plaine, et tantôt je montais le voir sur sa
colline.
Un soir d’été, assez tard, il me quitta, après quelques pieuses
libations faites en commun, et il se trouva que ce fut par une pluie
torrentielle. « Couchez ici », lui avais-je dit. Pour une raison
quelconque, il n’y consentit point, et partit sur sa bonne mule. (Il
avait une mule, l’heureux coquin !) Or, la pluie battante et bruyante
ne discontinua pas de toute la nuit, accompagnée de tonnerres
ininterrompus. Ne pouvant dormir, j’employai mon insomnie à
chercher un stratagème pour obtenir la révélation du secret de mon
confrère. Et voici ce que j’imaginai. N’ayant point de mule ni même
d’âne, en ce temps-là, je partis à pied, une heure avant le jour, pour
rejoindre là-haut l’homme au miracle.
« — Attends un peu, pensais-je, je vais t’en servir un de ma
façon ! » — Grâce à celui que je lui préparais, je comptais l’étonner à
mon tour, et me faire considérer décidément comme un rival
redoutable…
— Que comptiez-vous faire ?
— Je prétendais tout simplement cheminer à pied, dans la nuit,
— sous la pluie qui tombait en déluge, — et arriver chez mon
confrère sans avoir mouillé un fil de mes vêtements ! C’était vouloir
accomplir un miracle et des plus difficiles ! — Je le fis. J’avais à
marcher une bonne lieue par des sentiers montants et rocailleux,
sous le grand ciel ruisselant et sous des rafales terribles qui
m’envoyaient au visage de véritables trombes d’eau.
« Et mon miracle s’accomplit, vous dis-je, puisque j’arrivai,
comme je l’avais voulu, à Notre-Dame, au seuil de la chapelle, sans
que ma robe eût reçu seulement une gouttelette de l’eau du ciel…
Voilà comment je fis, tel que vous me voyez, un miracle, et point
niable.
— Et le mot de l’énigme ? dit Sanplan, car je conviens qu’il est
impossible à un sacripant tel que toi d’obtenir, de Dieu ou des
Saints, l’ombre de l’ombre d’un pareil prodige !
— Le mot de l’énigme, c’est, dit Pablo, que j’avais voyagé tout
nu.
Un éclat de rire accueillit cette explication incomplète.
— Il faisait nuit, remarqua Sanplan, par bonheur pour les
passantes.
— De passantes, je n’en rencontrai point… La pluie tombait drue
et me lavait du col jusqu’aux pieds.
— Une fois n’est pas coutume, ami Pablo, mais tes sandales
étaient mouillées ?… et tes cheveux aussi ? Et puis, il te fallait
paraître habillé de vêtements bien secs devant ton collègue ?
 — J’avais abrité ma tête sous un large morceau d’écorce, creux,
arraché à une énorme verrue de suve (chêne-liège), une de ces
rusques dont nos liégeurs font des baquets. J’avais mis, au fond de
ce bouclier vaste et profond, ma robe bien pliée, serrée et bien au
sec, et aussi mes sandales. Arrivé au seuil de la chapelle, je jetai ma
rusque au loin… Je m’arrêtai sous l’arcade d’entrée pour enfiler ma
robe ; je mis mes sandales ; et aussitôt, je tirai la corde de la cloche.
L’ermite accourut. Et alors un autre grand miracle se produisit ; je n’y
fus pour rien : juste à ce moment, sous ses yeux, la pluie torrentielle
brusquement cessa.
« — Il m’a été miraculeusement permis, par Notre Dame, lui dis-
je, de te rejoindre sous ce déluge sans être mouillé, afin de te bien
prouver que je suis digne d’apprendre le secret de ton faux
miracle. »
« Il crut au mien et, se jetant à mes pieds : « Hélas ! s’écria-t-il, je
confesse mon imposture ! » Il me montra alors que, par un petit trou
bien caché dans la muraille de la chapelle, derrière la statue de
Notre-Dame, il avait fait entrer les fines extrémités d’une verte tige
de vigne ; chacune de ces extrémités, par de fins pertuis
correspondants, pénétrait dans la tête jusqu’au coin des yeux de la
statue de bois qui, au printemps, pleurait, tout naturellement, de
petites larmes miraculeuses !
— Et vous prîtes la place de ce brave homme ? demanda
sévèrement Sanplan.
— Vous ne me connaissez pas encore ! dit Pablo avec une
certaine tristesse… mais je l’ai mérité ! — Non, je ne pris pas la
place de l’homme ingénu que j’avais trompé. — « Écoute, lui dis-je,
ta simplicité sera respectée. J’aurais voulu croire à ton miracle. Je
regrette d’avoir été déçu ; mais que tu aies pu voir par tes yeux que
le mien du moins est véritable, cela me console… » Alleluia, mes
amis ! Il existe, ô miracle ! des hommes rusés qui sont en même
temps des naïfs ! Il y a des athées qui sont des gobeurs ! il y a des
imposteurs qui ont de la sincérité !… Il y a de faux prophètes qui
croient aux sorciers !… — « Va, dis-je à l’ermite imposteur, va, mon
frère, et ne pèche plus ; et vis en paix. J’aurais honte et remords de
troubler ton innocence prodigieuse !… Par ta candeur parfaite, je te
trouve non seulement digne de respect, mais digne aussi d’exploiter
la sottise des bonnes gens qui croient à ton pouvoir bienfaisant ! Ne
les détrompe donc pas, et que leur erreur consolante soit désormais
la récompense de ton aveu sincère et de ta contrition ! » Ce disant,
je le laissai à genoux, priant Dieu et invoquant mon saint nom, à moi,
pauvre pécheur ! Pour lui, je suis resté un saint, et cela vaut mieux
que bien des gloires plus mal acquises.
— Après celle-là, s’écria Sanplan émerveillé, il faut tirer
l’échelle… Vous avez, frère Pablo, le génie le plus génial qui ait
jamais étonné mon infime génie… et je baiserais le bas de votre
robe… si vous la décrottiez plus souvent.
— Ma foi, conclut Gaspard, l’histoire est édifiante et le conteur
n’est pas trop méchant ;… mais est-ce que notre mélancolique
Bernard ne nous conte rien, à son tour ?
— Excusez-moi, maître, dit Bernard ; ma jeunesse gagne plus à
écouter vos sagesses qu’à entrer avec elles en rivalité d’éloquence.
— J’entends, j’entends, dit Gaspard avec un bon sourire ; tu as
une pensée unique, que je connais bien, bel amoureux, et tu
préfères ne pas t’en distraire… A ton aise ! Tu n’as peut-être pas tort.
— Alors, à toi, Sanplan ! conte-nous une histoire.
— Ceci, dit Sanplan, n’est pas un conte à plaisir inventé ; c’est
bel et bien une aventure à laquelle j’ai pris une part glorieuse, au
temps de ma belle jeunesse.
« … J’étais matelot à bord du Saint-Magloire, un beau brick
marseillais, et nous faisions route pour la Guadeloupe. Nous étions
une centaine de marins, à bord, sous les ordres d’un fameux
capitaine, mes amis ! un homme qui jamais n’eut peur de rien.
« Et voilà que, tout en un coup, nous rencontrâmes un Anglais,
un bateau magnifique, qui s’en allait à la Jamaïque… Comme il
aurait pu tenter les pirates de Tunis ou d’Alger, nous ne voulûmes
pas en laisser l’aubaine à ces païens, et nous l’attaquâmes nous-
mêmes pour la gloire et le profit de la chrétienté. La capture était
bonne. Son chargement — une fortune ! — fut transporté, en un clin
d’œil, sur notre brick, avec tout son équipage et avec tous ses
passagers ; les passagers, c’était une vingtaine de beaux messieurs
d’Angleterre, et une bonne douzaine de belles dames anglaises. Ces
dames étaient des personnes diablement riches, à en juger par le
nombre de coffres, — emplis de falbalas, chapeaux et robes, — dont
elles se firent suivre à notre bord.
« Vingt-cinq de nos matelots furent chargés de conduire en port
sûr le bâtiment anglais, notre capture ; et nous, nous reprîmes notre
route.
« Mais voilà que, le lendemain, survient encore un Anglais, un
brick de guerre, celui-là ! et qui nous donne la chasse !
« Attention ! dit notre capitaine, attention ! les enfants ! nous
allons rire ! » Et il nous ordonna d’ouvrir les coffres de nos belles
captives, d’y prendre leurs atours, robes, mantelets, chapeaux à
plumes, ajustements de toute sorte, — falbalas, soie et dentelles, —
et de nous déguiser en femmes de qualité… Nous avions compris ! il
voulait faire croire au bateau de guerre anglais que nous étions
d’inoffensives demoiselles qui se promenaient en mer, allant d’une
île à l’autre, rendre des visites…
« Tous les passagers furent enfermés dans l’entrepont, tandis
que, sur le pont, nous autres, les matelots en jupons, pouffant de rire
et cachant, sous les ombrelles et les chapeaux à plumes, nos
visages dont quelques-uns étaient admirablement barbus, nous
nous pavanions, en gangassant la poupe ou la croupe, comme font
toutes les dames qui sont vraiment de qualité.
« Donc, le capitaine comptait que, nous prenant pour de chastes
Anglaises, l’Anglais nous laisserait passer… Pas du tout !… Il nous
envoie un coup de canon pour appeler notre attention ; puis, il nous
arraisonne ; — autrement dit, il nous demande qui nous sommes…
« J’empoigne un porte-voix, sur un signe de mon chef, et je crie à
l’ennemi, en anglais de la Canebière :
« Ta maïré a fach ùn pouarc ! » L’Anglais, sans doute, ne
reconnut pas sa langue maternelle, puisqu’il s’apprêta à nous
canonner de nouveau ; et, cette fois, tout de bon.
 « Comme nous n’étions pas taillés pour lui échapper par la fuite,
le capitaine nous cria : « En êtes-vous pour l’abordage ? » — Avec
ensemble, nous répondîmes : « Oui ! oui ! à l’abordage ! » Notre brick
aussitôt vire de bord, court sur l’Anglais, l’aborde de flanc… et nous
voilà, enjuponnés comme nous étions, jetant au diable ombrelles et
chapeaux de femmes pour empoigner pistolets et haches,
retroussant nos cotillons pour sauter sur le pont de l’ennemi ! C’était
magnifique, toutes ces fausses femmes, mentons barbus, crânes
tondus, poussant le cri de guerre et s’agitant dans leur soie et leurs
dentelles déchirées ; on aurait dit des pavillons vivants, de toutes les
couleurs ! L’Anglais perdit du temps à s’étonner, et nous en
profitâmes pour l’étonner davantage par la rapidité de nos
mouvements. Cogne à droite, cogne à gauche ! On bondissait en
avant, en arrière, pour attaquer, pour éviter… saute à bâbord, saute
à tribord… Chassez, croisez !… Ce fut un bal, mes enfants, un bal
enragé : pavane et courante, trin-coquin, roumavagi du diable, une
fête de Turc à More ! zou ! zou ! én éleis ! un branle-bas si inattendu,
si extraordinaire, vu nos habillements, que l’Anglais, avant d’être
revenu de sa surprise, dut se rendre, dès qu’il eut vu l’un de nous —
et c’était moi-même ! — amener bravement son pavillon ! C’était moi-
même, mes enfants, moi, Sanplan, qui avais l’air, enjuponné comme
j’étais, de la déesse des combats maritimes !
« Quand nous arrivâmes à la Pointe-à-Pitre avec notre prise,
comme nous avions, par plaisanterie, gardé nos drôles
d’accoutrements, nous fûmes reçus avec des honneurs doubles,
ceux qu’on doit à des amiraux vainqueurs, — et ceux qu’on doit au
beau sexe. Et cette journée sera fameuse dans l’histoire, sous le
nom de journée des miss [7] . »
[7] Authentique.

Lorsque Sanplan se tut, au milieu des rires :

— Es-tu bien sûr, dit Gaspard, d’avoir été l’un des héros de cette
histoire ?… Je crois qu’elle se passa dans un temps où tu tétais
encore… Mon grand-père me l’a contée bien souvent.
 — Ma foi, répliqua Sanplan, il me semble bien que mes souvenirs
ne me trompent pas et que j’étais de l’aventure… Au surplus, quand
une histoire vous amuse, c’est folie de chercher à gâter votre plaisir
avec des comment, des quand et des pourquoi… Il y aura toujours
assez de critiques…
 CHAPITRE XI

L’oie de frère Anselme.

Quand on eut applaudi Sanplan, au milieu des rires :

— Convenez, dit tout à coup Lecor à Pablo, que vous m’avez
gardé je ne sais quelle antipathie depuis le jour de mon admission
dans la bande. Ce jour-là même, je contai, sur la demande du
capitaine, le Siège de Six-Fours ; et ce récit fut accueilli par un tel
succès de gaîté que vous-même vous en rîtes, mais d’un rire qui
tirait sur le jaune.
Dom Pablo fit une grimace.
— Les passions du monde civilisé, dit-il, visitent les ermites
jusqu’au fond des déserts, et je dois convenir que, malgré mes
sentiments religieux, je vis en vous un rival dangereux pour ma
gloire terrestre ; je tremblai pour la préséance de mon éloquence
sacrée, mais cette impression ne dura pas.
— Je crois, dit Lecor, qu’elle s’effaça le jour de la Fête-Dieu, à
Saint-Maximin. Là, votre triomphe dépassa le mien de cent coudées,
attendu que je n’avais, moi, conté le Siège de Six-Fours qu’à nos
camarades, tandis que, ce jour-là, votre discours s’adressait à tout
un peuple. Vous l’enthousiasmâtes… Il vous le fit bien voir, lorsqu’il
vous hissa sur le dos d’un âne plus fleuri et enrubanné qu’un mât de
Cocagne dressé pour la Sant-Aroï.
 — C’est ce jour-là, dit Pablo, que vous prononçâtes ces paroles
serviables que je n’oublierai jamais : « Ton exorde est bon, soigne ta
péroraison ».
— Et vous la soignâtes, en orateur expérimenté, ô Pablo, lorsqu’il
advint qu’un âne, ayant braillé à tue-tête, pour vous applaudir sans
doute, vous profitâtes de l’incident et braillâtes vous-même en toute
hâte, comme si le braiement eût été votre façon naturelle de vous
exprimer. Vous régalâtes ainsi l’assemblée des Trois-États ; et moi-
même, vous m’enchantâtes.
— Vous êtes, ami Lecor, une bonne pâte.
— Ami Pablo, je m’en flatte.
— Mais, avec tout cela, dit Gaspard, riant, Pablo ne saurait se
vanter d’avoir pris sur toi, Lecor, sa revanche du Siège de Six-
Fours ; car, à bien juger, il dut son succès de Saint-Maximin à l’art de
l’orateur et non à l’art du narrateur ; et ce sont deux genres très
différents. Les récits qu’il nous a faits aujourd’hui ne sont pas, à
proprement parler, des contes, mais plutôt des fragments de
mémoires personnels. Et lorsqu’il a voulu, le soir même de son
arrivée parmi nous, nous amuser par le récit qu’il intitula : la Pluie de
macaronis, il a pu voir que, en bons juges, nos hommes lui firent
froid accueil. Je demande, en conséquence, qu’il nous régale
aujourd’hui d’une histoire digne de faire pendant au Siège de Six-
Fours… Point d’excuse, Pablo ! Qu’on réunisse la bande !
— Et surtout, dit Pablo, que personne n’ait plus la cruauté de
faire allusion à ces misérables macaronis. Je vais vous dire une
vraie histoire de moine, friande à se lécher les doigts. Cette histoire
se rattache à notre conversation de tout à l’heure sur la férocité et
l’absurdité des guerres de religion, car le baron des Adrets en est le
héros. Ce beau sire, dont les bandes avaient failli s’emparer de notre
ville d’Avignon, s’était fait protestant. C’est lui qui força, un jour,
quelques-uns de ses vaincus catholiques à sauter du haut d’une tour
pour s’abîmer contre terre. Cependant, un bon mot suffisait parfois à
désarmer ce bandit, auquel nul de nous ne voudrait ressembler.
 « Combien cet homme fut méchant jusqu’à la férocité, l’histoire
que je vais vous conter le montrera. Elle fait voir aussi comment, de
tout temps, l’esprit gaulois sait se venger des plus atroces violences,
et quelquefois y échapper, grâce à la vertu du rire. Il n’y a pas de
géant qui ne soit tôt ou tard vaincu par la spirituelle malice d’un
nain…

Sanplan prit son sifflet de maître d’équipage ; et, quand, à son

appel, les hommes furent tous réunis, Pablo commença ainsi :
— C’était en un temps, pas très éloigné du nôtre, où de féroces
barons terrorisaient leurs vassaux, et où un rustre ne pouvait pas
prendre au lacet un lapin sauvage sans courir le risque d’être pendu.
« Entre les plus affreux de ces barons-bandits, qui, embusqués
dans leurs châteaux forts, juchés au sommet des collines, étaient
toujours prêts à fondre comme des faucons sur les pauvres
braconniers — le baron des Adrets était le plus cruel. La chasse était
sa seule passion ; ses vengeances les plus atroces s’exerçaient
contre les piégeurs. Prendre un cerf sur ses terres, ou seulement un
lièvre, c’était se livrer soi-même à la mort et préalablement à la
torture ; car jamais un malheureux, condamné à la pendaison par
son bon plaisir, n’eut le bonheur d’une mort simple. Il le faisait
fouetter d’abord, cribler de coups d’aiguille ; brûler au fer rouge ; et il
trouvait, aux cris de douleur des ses victimes, un âcre plaisir de
diable à face humaine.
— Le conte promet, chuchota Sanplan.
— Or, sur les terres du baron, se trouvait un couvent ; et, dans ce
couvent, un religieux qui avait, lui aussi, la passion de la chasse,
exagérée par le vice de gourmandise. C’était le frère Anselme, qui
avait été diable avant de se faire ermite ; et il braconnait à cœur-joie.
S’il parvenait, en hiver, quand, sous la neige, la terre est gelée, à
capturer un daim qui, attiré par une poignée de foin placée au bon
endroit, tombait dans quelque piège savant, — fosse creusée, par
exemple, et recouverte de branchettes et de feuillages, — alors le
monastère s’en régalait, en buvant à la mort subite du farouche
seigneur qu’on vouait de tout cœur à la colère céleste.
« Plusieurs fois, notre malheureux moine avait été pris et
bâtonné.
— Bâtonner un homme d’Église, dit Sanplan, cela ne se faisait
guère, à ce que je me suis laissé conter. Les plus terribles de ces
barons reculaient devant la robe des religieux.
— Vous oubliez que le farouche sire des Adrets s’était converti
au protestantisme. Cependant, il se souvenait d’avoir été catholique ;
et, par dérision, il prenait soin de faire dépouiller d’abord Anselme de
sa robe lorsqu’il le voulait punir. Cette robe respectable, il la faisait
poser devant lui sur un buisson, la saluait comme dévotement,
assurant que oncques il ne porterait la main sur elle ; cela, disait-il,
pour deux raisons : la première, c’est qu’elle était pleine de vermine ;
la seconde, c’est qu’elle était sainte et vénérable. Puis il se tournait
vers le moine tout nu et lui disait : « Maintenant que tu n’es plus
qu’un homme comme un autre, et pour ce que tu as touché au gibier
défendu, je te vais faire châtier au nom de Dieu, comme fut châtié
Adam, notre père à tous, pour avoir touché au fruit défendu. »
« Et, à plusieurs reprises, le frère Anselme avait été fouetté
jusqu’au sang ; mais le bougre frottait ses plaies avec un certain
onguent dont il avait la recette, et reprenait bien vite, au couvent, ses
patenôtres et, dans les bois, ses habitudes de maraudeur.
« Un beau jour, comme l’aimable seigneur allait se mettre à table,
on accourut lui annoncer que le frère Anselme venait d’être capturé,
dans le moment où il ramassait, à l’orée du bois voisin, une couple
de belles perdrix.
« Le baron était déjà assis, plein d’appétit, devant sa large table
chargée de flacons ; et on lui présentait une oie sauvage cuite à
point et dorée à souhait, dont, par avance, il se pourléchait les
babouines…
« — Amenez-moi ce coquin, cria-t-il à ses gens.
« On le lui amena. Deux valets le tenaient entre leurs griffes et le
secouaient rudement par la gorge.
 « — Qu’en faut-il faire, beau seigneur ?
« Déjà ivre à demi pour avoir bu force rasades d’un vin
comparable au vin merveilleux qu’on nomme, en Avignon,
Châteauneuf-des-Papes, ou à celui qui, à Toulon, est célèbre sous le
nom de Lamalgue, le baron était, par hasard, de bonne humeur.
Lorsqu’il était de bonne humeur, il était pire, car alors il se voulait
amuser, et ses amusements étaient d’un fou et dix fois plus cruels
qu’à l’ordinaire.
« Voyant frère Anselme trembler de tous ses membres, il voulut
jouer de lui, comme chat avec souris, avant de lui faire endurer le
dernier supplice.
« En sorte qu’une idée de joyeux dément lui passa par la tête.
« — La dernière fois que je t’ai puni, lui dit-il, je t’ai promis qu’à la
prochaine tu serais enfin pendu — et tout nu, comme de juste, car je
respecte ta robe. Aujourd’hui, je change d’idée. Tu n’y perdras rien ;
au contraire…
« Le baron, jouissant de voir l’anxiété de sa victime, garda le
silence un instant, puis tout à coup : « Je t’invite à souper avec
moi ! »
« Frère Anselme, tremblant, se demandait quel piège pouvait
bien cacher une politesse si peu attendue.
« Le baron répéta :
« — Je t’invite à dîner avec moi ; et, comme cela n’est pas un
supplice, je te laisse, pour l’instant, ta robe, vu que ta peau me serait
encore plus déplaisante à voir que cette robe dégoûtante. Allons,
assieds-toi, coquin !
« Frère Anselme ne savait que penser. Il était payé pour savoir
qu’on doit toujours se méfier des puissants qui s’amusent ; et que,
comme l’a écrit l’empereur Marc-Aurèle, rien, rien n’est plus horrible
que les caresses d’un loup.
« Toutefois, espérant qu’en sa bonne tête de casuiste il trouverait
peut-être un moyen de se tirer d’affaire sans trop de mal, il se
rassura quelque peu, feignit de croire à la clémence du monstre ; et,
par un effort de volonté, cessant de trembler, il se mit à table, et dit :
« — Mon cher seigneur est trop bon. Que la paix du ciel soit
avec lui !
« Un écuyer tranchant, aiguisant un grand coutelas, s’apprêtait à
le plonger dans les chairs, visiblement succulentes, de l’oie.
« Le baron arrêta d’un signe son officier de bouche.
« — Pour aujourd’hui, dit-il à Anselme, mon écuyer tranchant, ce
sera toi. Qui si bien tue gibier courant, doit magnifiquement
découper gibier mort… Qu’on pose devant le moine cette oie si
appétissante qu’elle a l’air de dire « Mange-moi ; » et qu’on lui mette
en main les tranchoirs dont il va jouer en maître ;… mais, avant tout,
pour lui donner bon courage à sa difficile besogne, qu’on emplisse
de vin ma plus large coupe… Bien… Bois-la d’un trait, mon frère, à
ma santé.
« Le moine but, et se sentit tout de suite le cœur plein
d’espérance. Il commençait à croire qu’il était à demi pardonné… Le
dieu qui est dans le vin entra dans son cœur ; un bon sourire parut
sur ses lèvres ; il dit le benedicite d’un air reconnaissant.
« L’affreux baron riait de bon cœur. Le moine regardait l’oie
attentivement, la tournant et retournant ; cherchait à bien reconnaître
les jointures où il comptait introduire sans tâtonner les deux
tranchoirs, qu’il élevait déjà, un dans chaque main :
« — Un moment encore, mon frère, s’écria le baron cruel ; je ne
veux point te prendre en traître. J’oubliais de t’annoncer la punition
qui t’attend. Il est vrai que l’oie une fois découpée par tes mains
adroites, je jure que tu en auras ta part. Mais sache bien qu’ensuite,
on te fera, à toi, exactement tout ce qu’à elle tu auras fait.
« — Qu’entendez-vous par là, mon bon seigneur ?
« — J’entends que si tu lui coupes une aile, on te retranchera un
bras ; si une cuisse, on te retranchera une jambe. Prends garde, te
dis-je, que tout ce que tu feras à cette oie, on te le fera ensuite, et
dans l’ordre que tu auras choisi. C’est pourquoi je te conseille
d’abréger toi-même ton supplice, en commençant par lui couper la
tête.
« Le baron riait en buvant ; et, lâchement, les valets riaient aussi,
sachant que le seigneur, passé maître en cruautés joyeuses, ferait
comme il promettait. Par avance, ils jouissaient du spectacle d’un
moine découpé tout cru comme une oie rôtie.
« Le moine, n’eût été qu’il avait bu, aurait pâli ; mais, soutenu par
la vertu du vin :
« — Je conviens, dit-il, que jamais il ne fallut à un homme, pour
découper une oie, courage pareil à celui que vous me contraignez
d’avoir. Et donc, monseigneur, j’affirme qu’une seconde coupe de
vin, pour me renforcir le cœur, me serait d’un grand secours, et
servirait par là vos louables intentions.
« — Versez-lui une seconde coupe. J’aime la vaillantise ; le
gredin en montre véritablement. Qui bien boit, pisse bien, jarnidieu !
Et qui pisse bien, bien se battra. Allons, maintenant, attaque ton
ennemi, bon moine ! Car cette oie est ta seule et véritable ennemie,
puisqu’elle déterminera ton genre de supplice.
« — Je ne sais, dit Pablo, si, sans avoir bu plus que de raison,
une autre créature, moine ou homme d’armes, eût fait aussi bonne
contenance que frère Anselme en présence d’une oie aussi
dangereuse, quoique morte.
« Il avait posé sur la table un de ses deux tranchoirs ; et, de sa
main libre, il se grattait la tête comme un homme embarrassé ; et, à
parler franc, il y avait de quoi se gratter la tête, même si elle était
pure de toute vermine.
« Il se grattait pour ranimer les esprits animaux qui, sous son
crâne, étaient effrayés par les conséquences fatales du geste qu’il
allait faire. Tout à coup des éclairs riants pétillèrent dans ses yeux : il
venait de concevoir une idée merveilleuse qui lui fut inspirée par le
ciel ou par le diable, — c’est au choix des complexions de chacun…
« Toute sa figure, peu à peu, se mit à rayonner de facétieuse
malice… Il préparait une galégeade héroïque, homérique… Il leva
sur le tyran, puis sur l’assistance, ses yeux pleins de rire, puis les
abaissa sur l’oie redoutable. Sa main gauche se débarrassa, sur la
table, du second tranchoir ; puis, de cette main gauche, il saisit l’oie
et la maintint solidement contre le vaste plat d’argent. Ensuite, avec
ostentation, il tendit et roidit l’index de sa main droite, — lequel index
lentement il enfonça, énergique et rigide, dans le trou que notre oie
avait eu jadis sous la queue ; puis, retirant du trou ce doigt, tout
gluant de bonne graisse, il le promena sur ses lèvres et le pourlécha
d’un air satisfait… »
Lorsqu’avec son chef et toute la bande, Sanplan eut ri
copieusement :
— Je n’ai, sire Pablo, qu’un mot à reprendre dans votre récit ;
vous avez dit : « le trou qu’elle avait eu jadis sous la queue. » Ne
l’avait-elle donc plus, ce trou ? Je croyais qu’il nous accompagnait
fidèlement dans la tombe.
— Messire Sanplan, répliqua Pablo, elle l’avait toujours, mais non
plus sous la queue, — la queue étant de plumes, et l’oie rôtie étant
oie plumée ; mais permettez que je continue :

« Voyant l’audace et l’insolence de ce geste, les valets, par

bonheur, attendirent que le maître eût parlé, pour régler leurs mines
sur la sienne.
« Et Anselme, tenant bien haut son index reluisant, et arrêtant sur
son féroce seigneur un regard ferme, lui dit :
« — En champ clos et devant tout un peuple, ou en lieu
particulier et secret, seigneur baron, je vous défie bien de m’en faire
autant.
« Or, le rire est une puissance de la nature qu’on ne peut toujours
maîtriser, à toute heure et partout. Le baron fut vaincu par cette
puissance qui jadis, aux temps de Jupiter, triomphait parfois de tout
l’Olympe rassemblé : le baron des Adrets éclata de rire. Ses valets
ne résistèrent pas davantage à cette force naturelle qui veut qu’on
rie sans mesure ; et la salle retentit d’une gaieté formidable, qui
secoua, durant un long moment, les ventres et les têtes, comme un
coup de mistral secoue les pignatèous.
« Enfin, le baron, qui étouffait de rire, put reprendre haleine et
parler :
« — Moine insolent, s’écria-t-il, je serai aussi spirituel que toi !
C’est dit. Tu as procès gagné ; car, jarnidieu ! — ta courtoisie l’a
deviné et c’est de cela que je te tiens compte ! — je me garderai
bien de te faire ce que tu as imaginé de faire à notre oie. Manges-en
donc ta part, et bois jusqu’à plus soif. Et j’ordonne, pour comble de
mansuétude, que tes perdrix te soient rendues tout-à-l’heure. Mais
qu’on ne te prenne plus à chasser sur mes terres, — car tu ne
trouverais pas une seconde fois si heureuse parade au coup
nouveau que je te porterais. »

Tous les auditeurs de Pablo riaient à ventre déboutonné ; et

Lecor dut convenir que, dans son genre, l’Oie d’Anselme valait bien
le Siège de Six-Fours.
— Seulement, ajouta-t-il, je la connaissais.
— Vous la connaissiez ? La raison en est, dit Pablo, que les très
bonnes histoires sont rares, et que, par suite, les meilleures sont les
plus souvent répétées.

— Allons, les amis, il se fait tard, déclara Gaspard. S’anén

coucar.
Ainsi firent-ils.
 CHAPITRE XII

La visite extraordinaire de Gaspard au château de Fontblanche ; — et

comment la peur des voleurs jeta dans les bras de Gaspard une jeune et
belle marquise ; et comment l’infortune du vieux marquis fut, à bon droit,
imputée à l’abbé de Chaulieu.

C’est ici que se place une des plus curieuses aventures de

l’aventureux Gaspard.
Il résolut de rendre visite au château de Fontblanche, entre
Aubagne et Gémenos. Ce château était habité par Mme de Garnier
et sa fille.
Gaspard avait entendu dire que ces dames avaient de lui une
opinion peu favorable. On le leur avait représenté comme un bandit
farouche, violent, redoutable. Il résolut de les détromper, persuadé
que, si elles lui rendaient bon témoignage, sa réputation de partisan
généreux et courtois serait définitivement et brillamment fixée.

Ce jour-là, il y avait grande réception et bal chez les dames de

Garnier.
« Gaspard arriva flanqué de deux hommes qu’il posta aux deux
portes du château. Ils étaient armés de tromblons effrayants mais
chargés à poudre seulement, car sa maxime inviolable était : Ne
tuez jamais.
 « Gaspard franchit le vestibule du château, jeta son manteau à
un valet, et on vit apparaître à la porte du salon, au milieu d’une
danse commencée, un beau gentilhomme non invité, qui s’annonça
lui-même en ces termes : « On m’a dit, Mesdames, qu’on vous avait
alarmées avec des histoires effrayantes sur un certain Gaspard de
Besse, terrible bandit ; j’ai voulu vous le présenter. »
« Et comme tous les yeux se tournaient vers la porte et que la
panique commençait à faire blêmir plus d’un front, à la pensée de
voir apparaître une sordide figure de brigand, Gaspard ajouta avec
calme : « Ne cherchez pas ailleurs, Mesdames et Messieurs ! C’est
bien moi qui vous présente et représente Gaspard de Besse. »
« A la stupeur générale succédait immédiatement un sentiment
de curiosité, non dépourvu d’admiration, devant ce beau et doux
jeune homme, suppliant qu’on n’interrompît pas la pavane, qu’il avait
suspendue par son arrivée, et s’excusant (par pure coquetterie) de
ne pas savoir d’autres danses que celles de son village.
« Je crois bien, disait Mme de Garnier à sa fille, de qui un de nos
amis tient ces détails authentiques [8] , je crois bien que plusieurs de
ces demoiselles se seraient vantées volontiers d’avoir dansé avec le
si joli brigand, à la chevelure artistement bouclée.
[8] Ce récit est tiré des Miettes de l’histoire de
Provence, par Stephen d’Arve, vicomte de Catelin ; Aix,
Dragon, éditeur. L’auteur le tenait de M. Louis de Bresc,
président distingué de l’Académie d’Aix. M. de Bresc est
mort en 1910. Il avait entendu, dans sa jeunesse, Mlle de
Garnier, fort âgée, rendre ce témoignage à Gaspard.

« On l’entourait, on le forçait d’accepter des rafraîchissements,

on lui fit raconter quelques drôlatiques histoires d’Anglaises dont il
imitait les premières terreurs et la gracieuseté ensuite. Il disait ne
vouloir faire qu’une concurrence à la douane du gouvernement, en
prélevant un impôt sur l’or et l’argent anglais ou italien entrant en
France. Son domaine, disait-il encore, s’arrêtait à la grande route ; et
il ajoutait qu’il n’avait jamais tué personne, dévalisé de châteaux ou
enfoncé des portes. Nulle parenté avec nos cambrioleurs modernes.