Hyperspaces of Keller compacta and their orbit spaces Sa ul Ju - - PowerPoint PPT Presentation

hyperspaces of keller compacta and their orbit spaces
SMART_READER_LITE
LIVE PREVIEW

Hyperspaces of Keller compacta and their orbit spaces Sa ul Ju - - PowerPoint PPT Presentation

Keller compacta G -spaces Motivation Miscellaneous Result Hyperspaces of Keller compacta and their orbit spaces Sa ul Ju arez-Ord o nez National University of Mexico (UNAM) 28th Summer Conference on Topology and its Applications,


slide-1
SLIDE 1

Keller compacta G-spaces Motivation Miscellaneous Result

Hyperspaces of Keller compacta and their orbit spaces

Sa´ ul Ju´ arez-Ord´

  • ˜

nez

National University of Mexico (UNAM) 28th Summer Conference on Topology and its Applications, North Bay, Canada, July 22nd-26th

slide-2
SLIDE 2

Keller compacta G-spaces Motivation Miscellaneous Result

Joint work with Sergey Antonyan and Natalia Jonard-P´ erez. National University of Mexico (UNAM)

slide-3
SLIDE 3

Keller compacta G-spaces Motivation Miscellaneous Result

Index

  • 1. Keller compacta
  • 2. G-spaces
  • 3. The problem and the result
  • 4. Important notions
  • 5. Sketch of the proof
slide-4
SLIDE 4

Keller compacta G-spaces Motivation Miscellaneous Result

Keller compacta

An infinite-dimensional compact convex subset K of a topological linear space is called a Keller compactum, if it is affinely embeddable in the Hilbert space ℓ2: K ֒ − − → ℓ2 = {(xn) | xn ∈ R,

  • n=1

x2

n < ∞}.

slide-5
SLIDE 5

Keller compacta G-spaces Motivation Miscellaneous Result

Let K and V be convex subsets of linear spaces. A map f : K → V is called affine, if for every x1,...,xn ∈ K and t1,...,tn ∈ [0,1] such that n

i=1 ti = 1

f

n

  • i=1

tixi

  • =

n

  • i=1

tif (xi). x1 x2 x3 x4 xn

slide-6
SLIDE 6

Keller compacta G-spaces Motivation Miscellaneous Result

Let K and V be convex subsets of linear spaces. A map f : K → V is called affine, if for every x1,...,xn ∈ K and t1,...,tn ∈ [0,1] such that n

i=1 ti = 1

f

n

  • i=1

tixi

  • =

n

  • i=1

tif (xi). f x1 x2 x3 x4 xn f (x1) f (xn) f (x4) f (x3) f (x2)

slide-7
SLIDE 7

Keller compacta G-spaces Motivation Miscellaneous Result

Proposition

Every infinite-dimensional metrizable compact convex subset of a locally convex linear space is a Keller compactum.

slide-8
SLIDE 8

Keller compacta G-spaces Motivation Miscellaneous Result

Proposition

Every infinite-dimensional metrizable compact convex subset of a locally convex linear space is a Keller compactum. The Hilbert cube Q =

  • n=1

[−1,1]n ⊂ R∞ is affinely homeomorphic to {x ∈ ℓ2 | |xn| ≤ 1/n} ⊂ ℓ2.

slide-9
SLIDE 9

Keller compacta G-spaces Motivation Miscellaneous Result

Proposition

Every infinite-dimensional metrizable compact convex subset of a locally convex linear space is a Keller compactum. The Hilbert cube Q =

  • n=1

[−1,1]n ⊂ R∞ is affinely homeomorphic to {x ∈ ℓ2 | |xn| ≤ 1/n} ⊂ ℓ2. The space P(X) of probability measures of an infinite compact metric space X endowed with the topology of weak convergence in measures: µn ❀ µ ⇐ ⇒

f dµn ❀ f dµ

∀f ∈ C(X).

slide-10
SLIDE 10

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (O. H. Keller)

Every infinite-dimensional compact convex subset of the Hilbert space ℓ2 is homeomorphic to the Hilbert cube Q.

slide-11
SLIDE 11

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (O. H. Keller)

Every infinite-dimensional compact convex subset of the Hilbert space ℓ2 is homeomorphic to the Hilbert cube Q. However, not all Keller compacta are affinely homeomorphic to each other.

slide-12
SLIDE 12

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (O. H. Keller)

Every infinite-dimensional compact convex subset of the Hilbert space ℓ2 is homeomorphic to the Hilbert cube Q. However, not all Keller compacta are affinely homeomorphic to each other. We consider Keller compacta together with its affine-topological structure.

slide-13
SLIDE 13

Keller compacta G-spaces Motivation Miscellaneous Result

G-spaces

Let G be a topological group. A G-space is a topological space X together with a fixed continuous action of G: G ×X − → X, (g,x) − → gx.

slide-14
SLIDE 14

Keller compacta G-spaces Motivation Miscellaneous Result

G-spaces

Let G be a topological group. A G-space is a topological space X together with a fixed continuous action of G: G ×X − → X, (g,x) − → gx. A map f : X → Y between G-spaces is called equivariant if for every x ∈ X and g ∈ G, f (gx) = gf (x) G ×X

1×f

  • X

f

  • G ×Y

Y

slide-15
SLIDE 15

Keller compacta G-spaces Motivation Miscellaneous Result

Let X be a G-space. A subset A ⊂ X is called invariant if A = {ga | g ∈ G, a ∈ A}.

slide-16
SLIDE 16

Keller compacta G-spaces Motivation Miscellaneous Result

Let X be a G-space. A subset A ⊂ X is called invariant if A = {ga | g ∈ G, a ∈ A}. The orbit of x ∈ X is the smallest invariant subset containing x: Gx = {gx | g ∈ G}. x gx

slide-17
SLIDE 17

Keller compacta G-spaces Motivation Miscellaneous Result

The orbit space of X is the set X/G = {Gx | x ∈ X} endowed with the quotient topology given by the orbit map X − → X/G, x − → Gx.

slide-18
SLIDE 18

Keller compacta G-spaces Motivation Miscellaneous Result

Let (X,d) be a metric space. The hyperspace of X: 2X = {A ⊂ X | ∅ = A compact} endowed with the topology induced by the Hausdorff metric: dH(A,B) = max

  • sup

b∈B

d(b,A),sup

a∈A

d(a,B)

  • ,

A,B ∈ 2X.

slide-19
SLIDE 19

Keller compacta G-spaces Motivation Miscellaneous Result

Let (X,d) be a metric space. The hyperspace of X: 2X = {A ⊂ X | ∅ = A compact} endowed with the topology induced by the Hausdorff metric: dH(A,B) = max

  • sup

b∈B

d(b,A),sup

a∈A

d(a,B)

  • ,

A,B ∈ 2X. Let X be a subset of a topological linear space. The cc-hyperspace of X: cc(X) = {A ∈ 2X | A convex}.

slide-20
SLIDE 20

Keller compacta G-spaces Motivation Miscellaneous Result

If X is a metrizable G-space, then 2X becomes a G-space with the induced action: G ×2X − → 2X, (g,A) − → gA = {ga | a ∈ A}. In case X is a subset of a topological linear space and every g ∈ G preserves convexity, cc(X) is an invariant subspace of 2X under this action. A gA a ga

slide-21
SLIDE 21

Keller compacta G-spaces Motivation Miscellaneous Result

Motivation

Question (J. West, 1976)

Let G be a compact connected Lie group. Is the orbit space 2G/G an AR? If it is, is it homeomorphic to the Hilbert cube Q?

slide-22
SLIDE 22

Keller compacta G-spaces Motivation Miscellaneous Result

Motivation

Question (J. West, 1976)

Let G be a compact connected Lie group. Is the orbit space 2G/G an AR? If it is, is it homeomorphic to the Hilbert cube Q? Toru´ nczyk and West proved that 2S1/S1 ∈ AR not homeomorphic to Q.

slide-23
SLIDE 23

Keller compacta G-spaces Motivation Miscellaneous Result

Motivation

Question (J. West, 1976)

Let G be a compact connected Lie group. Is the orbit space 2G/G an AR? If it is, is it homeomorphic to the Hilbert cube Q? Toru´ nczyk and West proved that 2S1/S1 ∈ AR not homeomorphic to Q. Antonyan proved that 2S1/O(2) ∼ = BM(2), which is an AR but not homeomorphic to Q.

slide-24
SLIDE 24

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (S. Antonyan)

For n ≥ 2, the orbit space 2Bn/O(n) is homeomorphic to the Hilbert cube Q.

slide-25
SLIDE 25

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (S. Antonyan)

For n ≥ 2, the orbit space 2Bn/O(n) is homeomorphic to the Hilbert cube Q.

Theorem (S. Antonyan and N. Jonard-P´ erez)

For n ≥ 2, the orbit space cc(Bn)/O(n) is homeomorphic to cone

BM(n) .

slide-26
SLIDE 26

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (S. Antonyan)

For n ≥ 2, the orbit space 2Bn/O(n) is homeomorphic to the Hilbert cube Q.

Theorem (S. Antonyan and N. Jonard-P´ erez)

For n ≥ 2, the orbit space cc(Bn)/O(n) is homeomorphic to cone

BM(n) .

The Hilbert cube Q is a natural infinite-dimensional analog of Bn. An analog for O(n) is the group O(Q) of affine isometries of Q, which leave the origin fixed.

slide-27
SLIDE 27

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (S. Antonyan)

For n ≥ 2, the orbit space 2Bn/O(n) is homeomorphic to the Hilbert cube Q.

Theorem (S. Antonyan and N. Jonard-P´ erez)

For n ≥ 2, the orbit space cc(Bn)/O(n) is homeomorphic to cone

BM(n) .

The Hilbert cube Q is a natural infinite-dimensional analog of Bn. An analog for O(n) is the group O(Q) of affine isometries of Q, which leave the origin fixed. The purpose of this talk is to show that 2Q/O(Q) ∼ = Q cc(Q)/O(Q) ∼ = Q.

slide-28
SLIDE 28

Keller compacta G-spaces Motivation Miscellaneous Result

Centrally symmetric Keller compacta are infinite-dimensional analogs of Bn.

slide-29
SLIDE 29

Keller compacta G-spaces Motivation Miscellaneous Result

Centrally symmetric Keller compacta are infinite-dimensional analogs of Bn. In analogy to the action of O(n) in Bn, we consider actions of compact groups on centrally symmetric Keller compacta that respect their affine-topological structure.

slide-30
SLIDE 30

Keller compacta G-spaces Motivation Miscellaneous Result

Centrally symmetric Keller compacta are infinite-dimensional analogs of Bn. In analogy to the action of O(n) in Bn, we consider actions of compact groups on centrally symmetric Keller compacta that respect their affine-topological structure. We say that a group G acts affinely on a Keller compactum K if for every g ∈ G, x1,...,xn ∈ K and t1,...,tn ∈ [0,1] such that

n

i=1 ti = 1

g

n

  • i=1

tixi

  • =

n

  • i=1

tigxi.

slide-31
SLIDE 31

Keller compacta G-spaces Motivation Miscellaneous Result

Problem

Given a centrally symmetric Keller compactum K (e.g., the Hilbert cube Q ⊂ R∞), describe the topological structure of the orbit spaces of 2K and cc(K) with respect to the affine action of a compact group G (not necessarily Lie).

slide-32
SLIDE 32

Keller compacta G-spaces Motivation Miscellaneous Result

Problem

Given a centrally symmetric Keller compactum K (e.g., the Hilbert cube Q ⊂ R∞), describe the topological structure of the orbit spaces of 2K and cc(K) with respect to the affine action of a compact group G (not necessarily Lie).

Theorem

Let G be a compact group acting affinely on a centrally symmetric Keller compactum K, then the orbit spaces 2K/G and cc(K)/G are homeomorphic to Q.

slide-33
SLIDE 33

Keller compacta G-spaces Motivation Miscellaneous Result

Let K be a Keller compactum. A point x0 ∈ K is called a center

  • f symmetry, if for every x ∈ K, there is a point y ∈ K such that

x0 = (x +y)/2. If K admits a center of symmetry, then it is called centrally symmetric. x0

slide-34
SLIDE 34

Keller compacta G-spaces Motivation Miscellaneous Result

Let K be a Keller compactum. A point x0 ∈ K is called a center

  • f symmetry, if for every x ∈ K, there is a point y ∈ K such that

x0 = (x +y)/2. If K admits a center of symmetry, then it is called centrally symmetric. x0 x

slide-35
SLIDE 35

Keller compacta G-spaces Motivation Miscellaneous Result

Let K be a Keller compactum. A point x0 ∈ K is called a center

  • f symmetry, if for every x ∈ K, there is a point y ∈ K such that

x0 = (x +y)/2. If K admits a center of symmetry, then it is called centrally symmetric. x0 x y

slide-36
SLIDE 36

Keller compacta G-spaces Motivation Miscellaneous Result

Let K be a Keller compactum. A point x0 ∈ K is called radially internal if for every x ∈ K inft∈R{|t| | x0 +t(x −x0) / ∈ K} > 0.

x0

slide-37
SLIDE 37

Keller compacta G-spaces Motivation Miscellaneous Result

Let K be a Keller compactum. A point x0 ∈ K is called radially internal if for every x ∈ K inft∈R{|t| | x0 +t(x −x0) / ∈ K} > 0.

x0 x

slide-38
SLIDE 38

Keller compacta G-spaces Motivation Miscellaneous Result

Let K be a Keller compactum. A point x0 ∈ K is called radially internal if for every x ∈ K inft∈R{|t| | x0 +t(x −x0) / ∈ K} > 0. ∃ t1 < 0, y = x0 +t1(x −x0) ∈ K,

x0 x y

slide-39
SLIDE 39

Keller compacta G-spaces Motivation Miscellaneous Result

The radial interior of K is the set rint K = {x ∈ K | x is radially internal}. The radial boundary of K is the complement rbd K = K\rint K.

slide-40
SLIDE 40

Keller compacta G-spaces Motivation Miscellaneous Result

The radial interior of K is the set rint K = {x ∈ K | x is radially internal}. The radial boundary of K is the complement rbd K = K\rint K.

Proposition

Let K and V be Keller compacta and h : K → V and affine

  • homeomorphism. Then h(rint K) = rint V .
slide-41
SLIDE 41

Keller compacta G-spaces Motivation Miscellaneous Result

The space of probability measures P([0,1]) of [0,1] is a Keller compactum with rint P([0,1]) = ∅. Since rint Q = {x ∈ Q | sup

n∈N

|xn| < 1} = ∅ P([0,1]) cannot be affinely-homeomorphic to Q.

slide-42
SLIDE 42

Keller compacta G-spaces Motivation Miscellaneous Result

Let (X,d) be a metric G-space. If for every x,y ∈ X and g ∈ G, d(gx,gy) = d(x,y), then we say that d is an invariant metric and that the action of G is isometric.

slide-43
SLIDE 43

Keller compacta G-spaces Motivation Miscellaneous Result

Let (X,d) be a metric G-space. If for every x,y ∈ X and g ∈ G, d(gx,gy) = d(x,y), then we say that d is an invariant metric and that the action of G is isometric. If G is compact, then every metric G-space X admits an invariant metric d. In this situation, d induces a metric in the orbit space X/G: d∗(Gx,Gy) = inf {d(gx,g′y) | g,g′ ∈ G}. x y gx g′y

slide-44
SLIDE 44

Keller compacta G-spaces Motivation Miscellaneous Result

A metrizable G-space X ∈ G-ANR, if for every metrizable G-space Y containing X as a closed invariant subset, there is an invariant neighborhood U of X in Y and a G-retraction r : U → X. If we can always take U = Y , then we say that X ∈ G-AR. X Y

slide-45
SLIDE 45

Keller compacta G-spaces Motivation Miscellaneous Result

A metrizable G-space X ∈ G-ANR, if for every metrizable G-space Y containing X as a closed invariant subset, there is an invariant neighborhood U of X in Y and a G-retraction r : U → X. If we can always take U = Y , then we say that X ∈ G-AR. X Y U

slide-46
SLIDE 46

Keller compacta G-spaces Motivation Miscellaneous Result

A metrizable G-space X ∈ G-ANR, if for every metrizable G-space Y containing X as a closed invariant subset, there is an invariant neighborhood U of X in Y and a G-retraction r : U → X. If we can always take U = Y , then we say that X ∈ G-AR. X Y U r

slide-47
SLIDE 47

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem (S. Antonyan)

Let G be a compact group and X ∈ G-ANR (resp., G-AR). Then the orbit space X/G ∈ ANR (resp., AR).

Theorem (S. Antonyan)

Let G be a compact group and X a completely metrizable locally connected G-space. Then 2X is a G-ANR. If, in addition, X is connected, then 2X is a G-AR.

slide-48
SLIDE 48

Keller compacta G-spaces Motivation Miscellaneous Result

A Q-manifold is a separable metrizable space that is locally homeomorphic to the Hilbert cube Q.

Teorema (H. Toru´ nczyk)

A locally compact ANR X is a Q-manifold if and only if for every ǫ > 0 there exist continuous maps f1,f2 : X → X such that d(f1,1X) < ǫ, d(f2,1X) < ǫ and im(f1)∩im(f2) = ∅.

slide-49
SLIDE 49

Keller compacta G-spaces Motivation Miscellaneous Result

Result

Sketch of the proof: The orbit space cc(K)/G is a compact AR. Let ǫ > 0 and x0 the center of symmetry. We construct equivariant maps f1 : cc(K) → cc(K) and f2 : cc(K) → cc(K) ǫ-close to the identity map 1cc(K) such that im f1 ⊂ rint K and im f2 ∩rbd K = ∅.

slide-50
SLIDE 50

Keller compacta G-spaces Motivation Miscellaneous Result

Indeed, f1(A) = x0 +t(A−x0), A ∈ cc(K), t ∈ (1−ǫ,1) f2(A) = {x ∈ K | d(x,A) ≤ ǫ}, A ∈ cc(K). Then f1 and f2 induce continuous maps

  • f1 : cc(K)/G → cc(K)/G

and

  • f2 : cc(K)/G → cc(K)/G

also satisfying the properties of Toru´ nczyk’s Theorem.

slide-51
SLIDE 51

Keller compacta G-spaces Motivation Miscellaneous Result

Theorem

Let G be a compact group acting affinely on a Keller compactum

  • K. If there is a G-fixed point x0 ∈ rint K, then the orbit spaces

2K/G and cc(K)/G are homeomorphic to the Hilbert cube Q.

slide-52
SLIDE 52

Keller compacta G-spaces Motivation Miscellaneous Result

THE END