Strongly norm attaining Lipschitz maps

Miguel Martín

(joint work with B. Cascales, R. Chiclana, L.C. García–Lirola, and A. Rueda Zoca)

Mini-Conference on Banach spaces Granada, September 2019

Strongly norm attaining Lipschitz maps

The team. . .

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 2 / 28

Strongly norm attaining Lipschitz maps

Contents

1 Preliminaries2 A compilation of negative and positive results3 Two new examples4 References

B. Cascales, R. Chiclana, L. García-Lirola, M. Martín, A. RuedaOn strongly norm attaining Lipschitz mapsJ. Funct. Anal. (2019)

R. Chiclana, L. García-Lirola, M. Martín, A. RuedaExamples and applications of the density of strongly norm attaining Lipschitz mapsPreprint (2019)

R. Chiclana, M. MartínThe Bishop-Phelps-Bollobás property for Lipschitz mapsNonlinear Analysis (2019)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 3 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Preliminaries

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 4 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Some notation

X, Y real Banach spacesBX closed unit ball

SX unit sphere

X∗ topological dual

L(X,Y ) Banach space of all bounded linear operators from X to Y

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 5 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Main definition and leading problem

Lipschitz functionM , N (complete) metric spaces. A map F : M −→ N is Lipschitz if there exists aconstant k > 0 such that

d(F (p), F (q)) 6 k d(p, q) ∀ p, q ∈M

The least constant so that the above inequality works is called the Lipschitz constant ofF , denoted by L(F ):

L(F ) = sup{d(F (p), F (q))

d(p, q) : p 6= q ∈M}

If N = Y is a normed space, then L(·) is a seminorm in the vector space of allLipschitz maps from M into Y .F attain its Lipschitz number if the supremum defining it is actually a maximum.

Leading problem (Godefroy, 2015)Study the metric spaces M and the Banach spaces Y such that the set of Lipschitzmaps which attain their Lipschitz number is dense in the set of all Lipschitz maps.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 6 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Main definition and leading problem

Lipschitz functionM , N (complete) metric spaces. A map F : M −→ N is Lipschitz if there exists aconstant k > 0 such that

d(F (p), F (q)) 6 k d(p, q) ∀ p, q ∈M

The least constant so that the above inequality works is called the Lipschitz constant ofF , denoted by L(F ):

L(F ) = sup{d(F (p), F (q))

d(p, q) : p 6= q ∈M}

If N = Y is a normed space, then L(·) is a seminorm in the vector space of allLipschitz maps from M into Y .F attain its Lipschitz number if the supremum defining it is actually a maximum.

Leading problem (Godefroy, 2015)Study the metric spaces M and the Banach spaces Y such that the set of Lipschitzmaps which attain their Lipschitz number is dense in the set of all Lipschitz maps.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 6 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Main definition and leading problem

Lipschitz functionM , N (complete) metric spaces. A map F : M −→ N is Lipschitz if there exists aconstant k > 0 such that

d(F (p), F (q)) 6 k d(p, q) ∀ p, q ∈M

The least constant so that the above inequality works is called the Lipschitz constant ofF , denoted by L(F ):

L(F ) = sup{d(F (p), F (q))

d(p, q) : p 6= q ∈M}

If N = Y is a normed space, then L(·) is a seminorm in the vector space of allLipschitz maps from M into Y .

F attain its Lipschitz number if the supremum defining it is actually a maximum.

Leading problem (Godefroy, 2015)Study the metric spaces M and the Banach spaces Y such that the set of Lipschitzmaps which attain their Lipschitz number is dense in the set of all Lipschitz maps.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 6 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Main definition and leading problem

Lipschitz functionM , N (complete) metric spaces. A map F : M −→ N is Lipschitz if there exists aconstant k > 0 such that

d(F (p), F (q)) 6 k d(p, q) ∀ p, q ∈M

The least constant so that the above inequality works is called the Lipschitz constant ofF , denoted by L(F ):

L(F ) = sup{d(F (p), F (q))

d(p, q) : p 6= q ∈M}

If N = Y is a normed space, then L(·) is a seminorm in the vector space of allLipschitz maps from M into Y .F attain its Lipschitz number if the supremum defining it is actually a maximum.

Leading problem (Godefroy, 2015)Study the metric spaces M and the Banach spaces Y such that the set of Lipschitzmaps which attain their Lipschitz number is dense in the set of all Lipschitz maps.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 6 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Main definition and leading problem

Lipschitz functionM , N (complete) metric spaces. A map F : M −→ N is Lipschitz if there exists aconstant k > 0 such that

d(F (p), F (q)) 6 k d(p, q) ∀ p, q ∈M

The least constant so that the above inequality works is called the Lipschitz constant ofF , denoted by L(F ):

L(F ) = sup{d(F (p), F (q))

d(p, q) : p 6= q ∈M}

If N = Y is a normed space, then L(·) is a seminorm in the vector space of allLipschitz maps from M into Y .F attain its Lipschitz number if the supremum defining it is actually a maximum.

Leading problem (Godefroy, 2015)Study the metric spaces M and the Banach spaces Y such that the set of Lipschitzmaps which attain their Lipschitz number is dense in the set of all Lipschitz maps.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 6 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

More definitions

Pointed metric spaceM is pointed if it carries a distinguished element called base point.

Space of Lipschitz mapsM pointed metric space, Y Banach space.Lip0(M,Y ) is the Banach space of all Lipschitz maps from M to Y which are zeroat the base point, endowed with the Lipschitz number as norm.

Strongly norm attaining Lipschitz mapM pointed metric space. F ∈ Lip0(M,Y ) strongly attains its norm,writing F ∈ SNA(M,Y ), if there exist p 6= q ∈M such that

L(F ) = ‖F‖ = ‖F (p)− F (q)‖d(p, q) .

Our objective is thento study when SNA(M,Y ) is norm dense in the Banach space Lip0(M,Y )

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 7 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

More definitions

Pointed metric spaceM is pointed if it carries a distinguished element called base point.

Space of Lipschitz mapsM pointed metric space, Y Banach space.Lip0(M,Y ) is the Banach space of all Lipschitz maps from M to Y which are zeroat the base point, endowed with the Lipschitz number as norm.

Strongly norm attaining Lipschitz mapM pointed metric space. F ∈ Lip0(M,Y ) strongly attains its norm,writing F ∈ SNA(M,Y ), if there exist p 6= q ∈M such that

L(F ) = ‖F‖ = ‖F (p)− F (q)‖d(p, q) .

Our objective is thento study when SNA(M,Y ) is norm dense in the Banach space Lip0(M,Y )

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 7 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

More definitions

Pointed metric spaceM is pointed if it carries a distinguished element called base point.

Space of Lipschitz mapsM pointed metric space, Y Banach space.Lip0(M,Y ) is the Banach space of all Lipschitz maps from M to Y which are zeroat the base point, endowed with the Lipschitz number as norm.

Strongly norm attaining Lipschitz mapM pointed metric space. F ∈ Lip0(M,Y ) strongly attains its norm,writing F ∈ SNA(M,Y ), if there exist p 6= q ∈M such that

L(F ) = ‖F‖ = ‖F (p)− F (q)‖d(p, q) .

Our objective is thento study when SNA(M,Y ) is norm dense in the Banach space Lip0(M,Y )

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 7 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

More definitions

Pointed metric spaceM is pointed if it carries a distinguished element called base point.

Space of Lipschitz mapsM pointed metric space, Y Banach space.Lip0(M,Y ) is the Banach space of all Lipschitz maps from M to Y which are zeroat the base point, endowed with the Lipschitz number as norm.

Strongly norm attaining Lipschitz mapM pointed metric space. F ∈ Lip0(M,Y ) strongly attains its norm,writing F ∈ SNA(M,Y ), if there exist p 6= q ∈M such that

L(F ) = ‖F‖ = ‖F (p)− F (q)‖d(p, q) .

Our objective is thento study when SNA(M,Y ) is norm dense in the Banach space Lip0(M,Y )

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 7 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

More definitions

Pointed metric spaceM is pointed if it carries a distinguished element called base point.

Space of Lipschitz mapsM pointed metric space, Y Banach space.Lip0(M,Y ) is the Banach space of all Lipschitz maps from M to Y which are zeroat the base point, endowed with the Lipschitz number as norm.

Strongly norm attaining Lipschitz mapM pointed metric space. F ∈ Lip0(M,Y ) strongly attains its norm,writing F ∈ SNA(M,Y ), if there exist p 6= q ∈M such that

L(F ) = ‖F‖ = ‖F (p)− F (q)‖d(p, q) .

Our objective is thento study when SNA(M,Y ) is norm dense in the Banach space Lip0(M,Y )

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 7 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Why is so?

The space of Lipschitz functions from [0, 1] to R identifies with L∞[0, 1];If g ∈ L∞[0, 1] represents a Lipschitz function attaining its Lipschitz number,then g is constantly equal to ±‖g‖∞ on an open interval;χA is far away of all these g’s.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Why is so?The space of Lipschitz functions from [0, 1] to R identifies with L∞[0, 1];

If g ∈ L∞[0, 1] represents a Lipschitz function attaining its Lipschitz number,then g is constantly equal to ±‖g‖∞ on an open interval;χA is far away of all these g’s.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Why is so?The space of Lipschitz functions from [0, 1] to R identifies with L∞[0, 1];If g ∈ L∞[0, 1] represents a Lipschitz function attaining its Lipschitz number,then g is constantly equal to ±‖g‖∞ on an open interval;

χA is far away of all these g’s.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Why is so?The space of Lipschitz functions from [0, 1] to R identifies with L∞[0, 1];If g ∈ L∞[0, 1] represents a Lipschitz function attaining its Lipschitz number,then g is constantly equal to ±‖g‖∞ on an open interval;χA is far away of all these g’s.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Example (Godefroy, 2015)M compact, lip0(M) strongly separates M (e.g. M usual Cantor set, M = [0, 1]θ)=⇒ SNA(M,Y ) dense in Lip0(M,Y ) for every finite-dimensional Y .

The proof uses theory of M -ideals and their extremal structure

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

First examples

Finite setsIf M is finite, obviously every Lipschitz map attains its Lipschitz number.F This characterizes finiteness of M .

Example (Kadets–Martín–Soloviova, 2016)M = [0, 1], A ⊆ [0, 1] closed with empty interior and positive Lebesgue measure.Then, the Lipschitz function f : [0, 1] −→ R given by

f(t) =∫ t

0χA(s) ds,

cannot be approximated by Lipschitz functions which attain their Lipschitz number.

Example (Godefroy, 2015)M compact, lip0(M) strongly separates M (e.g. M usual Cantor set, M = [0, 1]θ)=⇒ SNA(M,Y ) dense in Lip0(M,Y ) for every finite-dimensional Y .

The proof uses theory of M -ideals and their extremal structure

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 8 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Some more definitions

Evaluation functional, Lipschitz-free space, moleculeM pointed metric space.

p ∈M , δp ∈ Lip0(M,R)∗ given by δp(f) = f(p) is the evaluation functional at p;F(M) := span{δp : p ∈M} ⊆ Lip0(M,R)∗ is the Lipschitz-free space of M ;δ : M F(M), p 7−→ δp, is an isometric embedding;For p 6= q ∈M , mp,q := δp−δq

d(p,q) ∈ F(M) is a molecule, ‖mp,q‖ = 1;Mol (M) := {mp,q : p, q ∈M, p 6= q}.BF(M) = conv(Mol (M)).

Very important property (Arens-Eells, Kadets, Godefroy-Kalton, Weaver. . . )M pointed metric space.

F(M)∗ ∼= Lip0(M,R);Actually, Y Banach space, F ∈ Lip0(M,Y ),∃ (a unique) F̂ ∈ L(F(M), Y ) such that F = F̂ ◦ δ,and so ‖F̂‖ = ‖F‖.

M Y

F(M)

F

δF̂

F In particular, Lip0(M,Y ) ∼= L(F(M), Y ).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 9 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Some more definitions

Evaluation functional, Lipschitz-free space, moleculeM pointed metric space.

p ∈M , δp ∈ Lip0(M,R)∗ given by δp(f) = f(p) is the evaluation functional at p;F(M) := span{δp : p ∈M} ⊆ Lip0(M,R)∗ is the Lipschitz-free space of M ;δ : M F(M), p 7−→ δp, is an isometric embedding;For p 6= q ∈M , mp,q := δp−δq

d(p,q) ∈ F(M) is a molecule, ‖mp,q‖ = 1;Mol (M) := {mp,q : p, q ∈M, p 6= q}.BF(M) = conv(Mol (M)).

Very important property (Arens-Eells, Kadets, Godefroy-Kalton, Weaver. . . )M pointed metric space.

F(M)∗ ∼= Lip0(M,R);Actually, Y Banach space, F ∈ Lip0(M,Y ),∃ (a unique) F̂ ∈ L(F(M), Y ) such that F = F̂ ◦ δ,and so ‖F̂‖ = ‖F‖.

M Y

F(M)

F

δF̂

F In particular, Lip0(M,Y ) ∼= L(F(M), Y ).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 9 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Some more definitions

Evaluation functional, Lipschitz-free space, moleculeM pointed metric space.

p ∈M , δp ∈ Lip0(M,R)∗ given by δp(f) = f(p) is the evaluation functional at p;F(M) := span{δp : p ∈M} ⊆ Lip0(M,R)∗ is the Lipschitz-free space of M ;δ : M F(M), p 7−→ δp, is an isometric embedding;For p 6= q ∈M , mp,q := δp−δq

d(p,q) ∈ F(M) is a molecule, ‖mp,q‖ = 1;Mol (M) := {mp,q : p, q ∈M, p 6= q}.BF(M) = conv(Mol (M)).

Very important property (Arens-Eells, Kadets, Godefroy-Kalton, Weaver. . . )M pointed metric space.

F(M)∗ ∼= Lip0(M,R);Actually, Y Banach space, F ∈ Lip0(M,Y ),∃ (a unique) F̂ ∈ L(F(M), Y ) such that F = F̂ ◦ δ,and so ‖F̂‖ = ‖F‖.

M Y

F(M)

F

δF̂

F In particular, Lip0(M,Y ) ∼= L(F(M), Y ).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 9 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Two ways of attaining the norm

We have two ways of attaining the normM pointed metric space, Y Banach space, F ∈ Lip0(M,Y ) ∼= L(F(M), Y ).

F̂ ∈ NA(F(M), Y ) if exists ξ ∈ BF(M) such that ‖F‖ = ‖F̂‖ = ‖F̂ (ξ)‖;F ∈ SNA(M,Y ) if exists mp,q ∈ Mol (M) such that

‖F‖ = ‖F̂‖ = ‖F̂ (mp,q)‖ = ‖F (p)− F (q)‖d(p, q) .

Clearly, SNA(M,Y ) ⊆ NA(F(M), Y ).Therefore, if SNA(M,Y ) is dense in Lip0(M,Y ),then NA(F(M), Y ) is dense in L(F(M), Y );But the opposite direction is NOT true:

ExampleNA(F(M),R) = L(F(M),R) for every M by the Bishop–Phelps theorem,But SNA([0, 1],R) 6= Lip0([0, 1],R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 10 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Two ways of attaining the norm

We have two ways of attaining the normM pointed metric space, Y Banach space, F ∈ Lip0(M,Y ) ∼= L(F(M), Y ).

F̂ ∈ NA(F(M), Y ) if exists ξ ∈ BF(M) such that ‖F‖ = ‖F̂‖ = ‖F̂ (ξ)‖;F ∈ SNA(M,Y ) if exists mp,q ∈ Mol (M) such that

‖F‖ = ‖F̂‖ = ‖F̂ (mp,q)‖ = ‖F (p)− F (q)‖d(p, q) .

Clearly, SNA(M,Y ) ⊆ NA(F(M), Y ).Therefore, if SNA(M,Y ) is dense in Lip0(M,Y ),then NA(F(M), Y ) is dense in L(F(M), Y );But the opposite direction is NOT true:

ExampleNA(F(M),R) = L(F(M),R) for every M by the Bishop–Phelps theorem,But SNA([0, 1],R) 6= Lip0([0, 1],R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 10 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Two ways of attaining the norm

We have two ways of attaining the normM pointed metric space, Y Banach space, F ∈ Lip0(M,Y ) ∼= L(F(M), Y ).

F̂ ∈ NA(F(M), Y ) if exists ξ ∈ BF(M) such that ‖F‖ = ‖F̂‖ = ‖F̂ (ξ)‖;F ∈ SNA(M,Y ) if exists mp,q ∈ Mol (M) such that

‖F‖ = ‖F̂‖ = ‖F̂ (mp,q)‖ = ‖F (p)− F (q)‖d(p, q) .

Clearly, SNA(M,Y ) ⊆ NA(F(M), Y ).

Therefore, if SNA(M,Y ) is dense in Lip0(M,Y ),then NA(F(M), Y ) is dense in L(F(M), Y );But the opposite direction is NOT true:

ExampleNA(F(M),R) = L(F(M),R) for every M by the Bishop–Phelps theorem,But SNA([0, 1],R) 6= Lip0([0, 1],R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 10 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Two ways of attaining the norm

We have two ways of attaining the normM pointed metric space, Y Banach space, F ∈ Lip0(M,Y ) ∼= L(F(M), Y ).

F̂ ∈ NA(F(M), Y ) if exists ξ ∈ BF(M) such that ‖F‖ = ‖F̂‖ = ‖F̂ (ξ)‖;F ∈ SNA(M,Y ) if exists mp,q ∈ Mol (M) such that

‖F‖ = ‖F̂‖ = ‖F̂ (mp,q)‖ = ‖F (p)− F (q)‖d(p, q) .

Clearly, SNA(M,Y ) ⊆ NA(F(M), Y ).Therefore, if SNA(M,Y ) is dense in Lip0(M,Y ),then NA(F(M), Y ) is dense in L(F(M), Y );

But the opposite direction is NOT true:

ExampleNA(F(M),R) = L(F(M),R) for every M by the Bishop–Phelps theorem,But SNA([0, 1],R) 6= Lip0([0, 1],R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 10 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Two ways of attaining the norm

We have two ways of attaining the normM pointed metric space, Y Banach space, F ∈ Lip0(M,Y ) ∼= L(F(M), Y ).

F̂ ∈ NA(F(M), Y ) if exists ξ ∈ BF(M) such that ‖F‖ = ‖F̂‖ = ‖F̂ (ξ)‖;F ∈ SNA(M,Y ) if exists mp,q ∈ Mol (M) such that

‖F‖ = ‖F̂‖ = ‖F̂ (mp,q)‖ = ‖F (p)− F (q)‖d(p, q) .

Clearly, SNA(M,Y ) ⊆ NA(F(M), Y ).Therefore, if SNA(M,Y ) is dense in Lip0(M,Y ),then NA(F(M), Y ) is dense in L(F(M), Y );But the opposite direction is NOT true:

ExampleNA(F(M),R) = L(F(M),R) for every M by the Bishop–Phelps theorem,But SNA([0, 1],R) 6= Lip0([0, 1],R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 10 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

Two ways of attaining the norm

We have two ways of attaining the normM pointed metric space, Y Banach space, F ∈ Lip0(M,Y ) ∼= L(F(M), Y ).

F̂ ∈ NA(F(M), Y ) if exists ξ ∈ BF(M) such that ‖F‖ = ‖F̂‖ = ‖F̂ (ξ)‖;F ∈ SNA(M,Y ) if exists mp,q ∈ Mol (M) such that

‖F‖ = ‖F̂‖ = ‖F̂ (mp,q)‖ = ‖F (p)− F (q)‖d(p, q) .

Clearly, SNA(M,Y ) ⊆ NA(F(M), Y ).Therefore, if SNA(M,Y ) is dense in Lip0(M,Y ),then NA(F(M), Y ) is dense in L(F(M), Y );But the opposite direction is NOT true:

ExampleNA(F(M),R) = L(F(M),R) for every M by the Bishop–Phelps theorem,But SNA([0, 1],R) 6= Lip0([0, 1],R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 10 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.

⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.

⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.

⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.

⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.

⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.

⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | Preliminaries

A little of geometry of the unit ball of F(M) (A–C–C–G–GL–M–P–P–R–W)

Preserved extreme pointξ ∈ BF(M), TFAE:

ξ is extreme in BF(M)∗∗ ,ξ is a denting point,ξ = mp,q and for every ε > 0 ∃ δ > 0s.t. d(p, t) + d(t, q)− d(p, q) > δ whend(p, t), d(t, q) > ε.

F M boundedly compact, it is equivalent to:d(p, q) < d(p, t) + d(t, q) ∀t /∈ {p, q}.

Strongly exposed pointξ ∈ BF(M), TFAE:

ξ strongly exposed point,ξ = mp,q and ∃ ρ = ρ(p, q) > 0 suchthat

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ

when t /∈ {p, q}.

Concave metric spaceM is concave if mp,q is a preserved extremepoint for all p 6= q.F Examples: y = x3, SX if X unif. convex. . .

Uniform Gromov rotundityM⊂ Mol (M) is uniformly Gromov rotundif ∃ρ0 > 0 such that

d(p, t) + d(t, q)− d(p, q)min{d(p, t), d(t, q)}

> ρ0

when mp,q ∈M, t /∈ {p, q}.⇐⇒ M is a set of uniformly strongly exposedpoints (same relation ε− δ)

F Mol (M) uniformly Gromov rotund(aka M is uniformly Gromov concave) when:

M = ([0, 1], | · |θ),M finite and concave,1 6 d(p, q) 6 D < 2 ∀p, q ∈M , p 6= q.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 11 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

A compilation of negative and positive results

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 12 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Proof:

M contains an isometric copy of [0, 1];So there is a 1-Lipschitz function u : M −→ [0, 1] which is the identity on[0, 1] (McShane’s extension theorem)Consider the function f : [0, 1] −→ R given in the example which cannotbe approximated by strongly norm attaining functions;Extends it to the whole of M by g := f ◦ u;We get that g /∈ SNA(MR); the metric convexity of M is used again.

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Proof:M contains an isometric copy of [0, 1];So there is a 1-Lipschitz function u : M −→ [0, 1] which is the identity on[0, 1] (McShane’s extension theorem)Consider the function f : [0, 1] −→ R given in the example which cannotbe approximated by strongly norm attaining functions;Extends it to the whole of M by g := f ◦ u;We get that g /∈ SNA(MR); the metric convexity of M is used again.

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results I

First extension of the case of [0, 1] (Kadets–Martín–Soloviova, 2016)If M is metrically convex (or “geodesic”), then SNA(M,R) is not dense in Lip0(M,R).

Definition (length space)Let M be a metric space. M is length if d(p, q) is equal to the infimum of the length ofthe rectifiable curves joining p and q for every pair of points p, q ∈M .

F Equivalently (Avilés, García, Ivankhno, Kadets, Martínez, Prochazka, Rueda, Werner)

M is local (i.e. the Lipschitz constant of every function can be approximated inpairs of arbitrarily closed points);The unit ball of F(M) has no strongly exposed points;Lip0(M,R) (and so F(M)) has the Daugavet property.

TheoremM length metric space =⇒ SNA(M,R) 6= Lip0(M,R)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 13 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results II

A different kind of exampleM “fat” Cantor set in [0, 1], then SNA(M,R) 6= Lip0(M,R) and M is totallydisconnected.

TheoremActually, if M ⊂ R is compact and has positive measure,then SNA(M,R) is NOT dense in Lip0(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 14 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results II

A different kind of exampleM “fat” Cantor set in [0, 1], then SNA(M,R) 6= Lip0(M,R) and M is totallydisconnected.

TheoremActually, if M ⊂ R is compact and has positive measure,then SNA(M,R) is NOT dense in Lip0(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 14 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results II

A different kind of exampleM “fat” Cantor set in [0, 1], then SNA(M,R) 6= Lip0(M,R) and M is totallydisconnected.

Proof:

Define f : M −→ R by

f(t) :=∫ t

0χM (s) ds (t ∈M).

Consider g ∈ SNA(M,R) satisfying that |g(t1)− g(t2)| = ‖g‖(t2 − t1)for some t1 < t2 in M ,then |g(s1)− g(s2)| = ‖g‖(s2 − s1) for all s1, s2 ∈M witht1 < s1 < s2 < t2.Pick s1, s2 ∈M with t1 < s1 < s2 < t2 such that (s1, s2) ∩ M = ∅.Now, f(s1)− f(s2) = 0, while g(s1)− g(s2) = ±‖g‖L.

TheoremActually, if M ⊂ R is compact and has positive measure,then SNA(M,R) is NOT dense in Lip0(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 14 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results II

A different kind of exampleM “fat” Cantor set in [0, 1], then SNA(M,R) 6= Lip0(M,R) and M is totallydisconnected.

Proof:Define f : M −→ R by

f(t) :=∫ t

0χM (s) ds (t ∈M).

Consider g ∈ SNA(M,R) satisfying that |g(t1)− g(t2)| = ‖g‖(t2 − t1)for some t1 < t2 in M ,then |g(s1)− g(s2)| = ‖g‖(s2 − s1) for all s1, s2 ∈M witht1 < s1 < s2 < t2.Pick s1, s2 ∈M with t1 < s1 < s2 < t2 such that (s1, s2) ∩ M = ∅.Now, f(s1)− f(s2) = 0, while g(s1)− g(s2) = ±‖g‖L.

TheoremActually, if M ⊂ R is compact and has positive measure,then SNA(M,R) is NOT dense in Lip0(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 14 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Negative results II

A different kind of exampleM “fat” Cantor set in [0, 1], then SNA(M,R) 6= Lip0(M,R) and M is totallydisconnected.

TheoremActually, if M ⊂ R is compact and has positive measure,then SNA(M,R) is NOT dense in Lip0(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 14 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Possible sufficient conditions

Observation (previously commented)SNA(M,Y ) dense in Lip0(M,Y ) =⇒ NA(F(M), Y ) dense in L(F(M), Y ).

Therefore, it is reasonable to discuss the known sufficient conditions for a Banachspace X to have NA(X,Y ) = L(X,Y ) for every Y :

containing a norming and uniformly strongly exposed set (Lindenstrauss, 1963),RNP (Bourgain, 1977),Property α (Schachermayer, 1983) ,Property quasi-α (Choi–Song, 2008).

Main resultEACH of these properties on F(M) implies SNA(M,Y ) = Lip0(M,Y ) for all Y .

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 15 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Possible sufficient conditions

Observation (previously commented)SNA(M,Y ) dense in Lip0(M,Y ) =⇒ NA(F(M), Y ) dense in L(F(M), Y ).

Therefore, it is reasonable to discuss the known sufficient conditions for a Banachspace X to have NA(X,Y ) = L(X,Y ) for every Y :

containing a norming and uniformly strongly exposed set (Lindenstrauss, 1963),RNP (Bourgain, 1977),Property α (Schachermayer, 1983) ,Property quasi-α (Choi–Song, 2008).

Main resultEACH of these properties on F(M) implies SNA(M,Y ) = Lip0(M,Y ) for all Y .

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 15 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Possible sufficient conditions

Observation (previously commented)SNA(M,Y ) dense in Lip0(M,Y ) =⇒ NA(F(M), Y ) dense in L(F(M), Y ).

Therefore, it is reasonable to discuss the known sufficient conditions for a Banachspace X to have NA(X,Y ) = L(X,Y ) for every Y :

containing a norming and uniformly strongly exposed set (Lindenstrauss, 1963),RNP (Bourgain, 1977),Property α (Schachermayer, 1983) ,Property quasi-α (Choi–Song, 2008).

Main resultEACH of these properties on F(M) implies SNA(M,Y ) = Lip0(M,Y ) for all Y .

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 15 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Possible sufficient conditions

Observation (previously commented)SNA(M,Y ) dense in Lip0(M,Y ) =⇒ NA(F(M), Y ) dense in L(F(M), Y ).

Therefore, it is reasonable to discuss the known sufficient conditions for a Banachspace X to have NA(X,Y ) = L(X,Y ) for every Y :

containing a norming and uniformly strongly exposed set (Lindenstrauss, 1963),RNP (Bourgain, 1977),Property α (Schachermayer, 1983) ,Property quasi-α (Choi–Song, 2008).

Main resultEACH of these properties on F(M) implies SNA(M,Y ) = Lip0(M,Y ) for all Y .

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 15 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Possible sufficient conditions

Observation (previously commented)SNA(M,Y ) dense in Lip0(M,Y ) =⇒ NA(F(M), Y ) dense in L(F(M), Y ).

Therefore, it is reasonable to discuss the known sufficient conditions for a Banachspace X to have NA(X,Y ) = L(X,Y ) for every Y :

containing a norming and uniformly strongly exposed set (Lindenstrauss, 1963),RNP (Bourgain, 1977),Property α (Schachermayer, 1983) ,Property quasi-α (Choi–Song, 2008).

Main resultEACH of these properties on F(M) implies SNA(M,Y ) = Lip0(M,Y ) for all Y .

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 15 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

How to prove the positive results?

Common scheme of all the proofs

Consider the original proof of“(P) on F(M) implies that NA(F(M), Y ) = L(F(M), Y ) for all Y ’s”.

Check, in each case, what is the set of points where the constructed set of normattaining operators actually attain their norm.It happens that, in all the cases, this set is contained in the set of stronglyexposed points or, maybe, in its closure.Strongly exposed points are molecules (Weaver, 1999),and the set of molecules is norm closed (GL-P-P-RZ, 2018).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 16 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

How to prove the positive results?

Common scheme of all the proofs

Consider the original proof of“(P) on F(M) implies that NA(F(M), Y ) = L(F(M), Y ) for all Y ’s”.

Check, in each case, what is the set of points where the constructed set of normattaining operators actually attain their norm.It happens that, in all the cases, this set is contained in the set of stronglyexposed points or, maybe, in its closure.Strongly exposed points are molecules (Weaver, 1999),and the set of molecules is norm closed (GL-P-P-RZ, 2018).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 16 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

How to prove the positive results?

Common scheme of all the proofsConsider the original proof of

“(P) on F(M) implies that NA(F(M), Y ) = L(F(M), Y ) for all Y ’s”.

Check, in each case, what is the set of points where the constructed set of normattaining operators actually attain their norm.It happens that, in all the cases, this set is contained in the set of stronglyexposed points or, maybe, in its closure.Strongly exposed points are molecules (Weaver, 1999),and the set of molecules is norm closed (GL-P-P-RZ, 2018).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 16 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

How to prove the positive results?

Common scheme of all the proofsConsider the original proof of

“(P) on F(M) implies that NA(F(M), Y ) = L(F(M), Y ) for all Y ’s”.Check, in each case, what is the set of points where the constructed set of normattaining operators actually attain their norm.

It happens that, in all the cases, this set is contained in the set of stronglyexposed points or, maybe, in its closure.Strongly exposed points are molecules (Weaver, 1999),and the set of molecules is norm closed (GL-P-P-RZ, 2018).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 16 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

How to prove the positive results?

Common scheme of all the proofsConsider the original proof of

“(P) on F(M) implies that NA(F(M), Y ) = L(F(M), Y ) for all Y ’s”.Check, in each case, what is the set of points where the constructed set of normattaining operators actually attain their norm.It happens that, in all the cases, this set is contained in the set of stronglyexposed points or, maybe, in its closure.

Strongly exposed points are molecules (Weaver, 1999),and the set of molecules is norm closed (GL-P-P-RZ, 2018).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 16 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

How to prove the positive results?

Common scheme of all the proofsConsider the original proof of

“(P) on F(M) implies that NA(F(M), Y ) = L(F(M), Y ) for all Y ’s”.Check, in each case, what is the set of points where the constructed set of normattaining operators actually attain their norm.It happens that, in all the cases, this set is contained in the set of stronglyexposed points or, maybe, in its closure.Strongly exposed points are molecules (Weaver, 1999),and the set of molecules is norm closed (GL-P-P-RZ, 2018).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 16 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .

M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .

M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .

M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .

M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .

M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .

M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .

M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .

M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .

M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .

M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Examples of positive results

F(M) has the RNP when. . .M = (N, dθ) for (N, d) boundedly compact and 0 < θ < 1 (Weaver, 1999 - 2018);M is uniformly discrete (Kalton, 2004);M is countable and boundedly compact (Dalet, 2015);M ⊂ R with Lebesgue measure 0 (Godard, 2010).

F(M) has property α when. . .M finite,M ⊂ R with Lebesgue measure 0,1 6 d(p, q) 6 D < 2 for all p, q ∈M , p 6= q.

Other example for which SNA(M,Y ) is dense. . .M = (N, dθ) for (N, d) arbitrary and 0 < θ < 1.

F In this case, we actually have a “Bishop–Phelps–Bollobás” type result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 17 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Sufficient conditions for the density of SNA(M,Y ) for every Y : relations

Property α

Propertyquasi-α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

finitedimensional

Reflexive

RNP

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 18 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Sufficient conditions for the density of SNA(M,Y ) for every Y : relations

Property α

Propertyquasi-α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

finitedimensional

Reflexive

RNP

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 18 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

The proof consists of a discussion of millions of cases!

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

Observations

The linear span of SNA(M,R) is always norm-dense in Lip0(M,R);F(M) RNP =⇒ Lip0(M,R) = SNA(M,R)− SNA(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

ObservationsThe linear span of SNA(M,R) is always norm-dense in Lip0(M,R);

F(M) RNP =⇒ Lip0(M,R) = SNA(M,R)− SNA(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | A compilation of negative and positive results

Weak density

TheoremM metric space =⇒ SNA(M,R) is weakly sequentially dense in Lip0(M,R).

Previously knownWhen it is norm dense. . . (e.g. F(M) RNP);Kadets–Martín–Soloviova, 2016: when M is length.

The tool{fn} ⊂ Lip0(M,R) bounded with pairwise disjoint supports =⇒ {fn} weakly null.

ObservationsThe linear span of SNA(M,R) is always norm-dense in Lip0(M,R);F(M) RNP =⇒ Lip0(M,R) = SNA(M,R)− SNA(M,R).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 19 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two new examples

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 20 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions

(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions

(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?

(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some questions and an open problem

Some questions(Q1) Does F(M) have the RNP if SNA(M,Y ) = Lip0(M,Y ) ∀Y ?(Q2) Is SNA(M,R) dense in Lip0(M,R) if BF(M) = co

(str-exp

(BF(M)

))?

(Q3) Does SNA(M,R) fail to be dense in Lip0(M,R) if F(M) contains anisomorphic (or even isometric) copy of L1[0, 1]?

Open problem (Godefroy, 2015)Let M be compact and suppose that SNA(M,R) = Lip0(M,R).Does lip0(M) strongly separates M (and, in particular, F(M) has the RNP)?

In dimension one, everything works. . .M ⊂ R compact, then the questions and the open problem have positive answer.

but not alwaysWe will see that the questions and the open problem have negative answer in generalby using compact subsets of R2.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 21 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);

M is Gromov concave (i.e. every molecule is strongly exposed).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

RemarksIt is a (negative) solution to (Q2);F(T) satisfies that the set of strongly exposed points is norming,but strongly exposing functionals are not dense in the dual.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

The proof is based on the following. . .

Lemma (suggested by Nazarov)Let M be [0, 1] endowed with d(t, s) = |eit − eis| =

√2(1− cos(t− s)).

Then, there exists a subset C ⊆ [0, 1] such that the function f ∈ Lip0(M,R) defined by

f(x) :=∫ x

0χC(t) dt ∀x ∈ [0, 1]

does not belong to SNA(M,R).

Now, we play with this function to get the result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

The proof is based on the following. . .

Lemma (suggested by Nazarov)Let M be [0, 1] endowed with d(t, s) = |eit − eis| =

√2(1− cos(t− s)).

Then, there exists a subset C ⊆ [0, 1] such that the function f ∈ Lip0(M,R) defined by

f(x) :=∫ x

0χC(t) dt ∀x ∈ [0, 1]

does not belong to SNA(M,R).

Now, we play with this function to get the result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The first example: the torus

TheoremLet M = T endowed with the distance inherited from the Euclidean plane.

SNA(M,R) is not dense in Lip0(M,R);M is Gromov concave (i.e. every molecule is strongly exposed).

The proof is based on the following. . .

Lemma (suggested by Nazarov)Let M be [0, 1] endowed with d(t, s) = |eit − eis| =

√2(1− cos(t− s)).

Then, there exists a subset C ⊆ [0, 1] such that the function f ∈ Lip0(M,R) defined by

f(x) :=∫ x

0χC(t) dt ∀x ∈ [0, 1]

does not belong to SNA(M,R).

Now, we play with this function to get the result.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 22 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curve

Let M1 = ([0, 1], | · |θ), 0 < θ < 1.F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curve

Let M1 = ([0, 1], | · |θ), 0 < θ < 1.F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .

Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,

even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circle

Let M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).

So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.

However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .

but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Two different curves

Koch curveLet M1 = ([0, 1], | · |θ), 0 < θ < 1.

F(M1) has RNP, soSNA(M1, Y ) = Lip0(M1, Y ) ∀Y .Every molecule is strongly exposed,even more, M1 is uniformly Gromovconcave.

F For θ = log(3)/ log(4), M1 isbi-Lipschitz equivalent to the Koch curve:

Microscopically, an small piece of M1 isequivalent to M1 itself.

The unit circleLet M2 be the upper half of the unit circle:

We know that SNA(M2,R)is not dense in Lip0(M2,R).So, F(M2) has NOT the RNP.However, every molecule is stronglyexposed. . .but NO subset A ⊂ Mol (M2) whichis uniformly Gromov rotund can benorming for Lip0(M2,R).

Microscopically, an small piece of M2 isvery closed to be an interval.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 23 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2.

Moreover:1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2.

Moreover:1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2.

Moreover:1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2.

Moreover:1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);

2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;

3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

• Main idea in the proof of 2 :

It is enough to consider one-step vertical and horizontal molecules (outside [0, 1]×{0}) togenerate all the molecules of M by closed convex hull.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

• Main idea in the proof of 2 :It is enough to consider one-step vertical and horizontal molecules (outside [0, 1]×{0}) togenerate all the molecules of M by closed convex hull.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

• The proof of 3 and of the density in the case of M2 are more complicated.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

The second example: the “rain”

Consider the compact subset of R2 given by

M := ([0, 1]× {0}) ∪⋃∞

n=0

{(k

2n ,1

2n)

: k ∈ {0, . . . , 2n}}

Let Mp be the set M endowed with the distance inheritedfrom (R2, ‖ · ‖p) for p = 1, 2.

TheoremSNA(Mp, Y ) is dense in Lip0(Mp, Y ) for all Y and p = 1, 2. Moreover:

1 F(Mp) fails the RNP (it contains a complemented copy of L1[0, 1]!);2 F(M1) has property α;3 F(M2) does not contain any norming and uniformly strongly exposed set.

RemarkThis gives negative answer to both (Q1) and (Q3), and to Godefroy’s problem.

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 24 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Summarizing the relations

(1): [0, 1]θ, 0 < θ < 1(2): can be easily constructed in `1

(3): the rain M1

F the rain M2 shows that none of thesufficient coditions is necessary

Property α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

RNP

\

(1)

?

\ (2)\

(3)

\ (3)

\(3)\

(2)

\

(1)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 25 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Summarizing the relations

(1): [0, 1]θ, 0 < θ < 1

(2): can be easily constructed in `1

(3): the rain M1

F the rain M2 shows that none of thesufficient coditions is necessary

Property α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

RNP

\

(1)

?

\ (2)\

(3)

\ (3)

\(3)\

(2)

\

(1)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 25 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Summarizing the relations

(1): [0, 1]θ, 0 < θ < 1(2): can be easily constructed in `1

(3): the rain M1

F the rain M2 shows that none of thesufficient coditions is necessary

Property α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

RNP

\

(1)

?

\ (2)

\(3)

\ (3)

\(3)

\

(2)

\

(1)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 25 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Summarizing the relations

(1): [0, 1]θ, 0 < θ < 1(2): can be easily constructed in `1

(3): the rain M1

F the rain M2 shows that none of thesufficient coditions is necessary

Property α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

RNP

\

(1)

?

\ (2)\

(3)

\ (3)

\(3)\

(2)

\

(1)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 25 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Summarizing the relations

(1): [0, 1]θ, 0 < θ < 1(2): can be easily constructed in `1

(3): the rain M1

F the rain M2 shows that none of thesufficient coditions is necessary

Property α

BF(M) = conv(S)S unif. str. exp.

SNA(M,Y )dense for all Y

NA(F(M), Y )dense ∀Y

RNP

\

(1)

?

\ (2)\

(3)

\ (3)

\(3)\

(2)

\

(1)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 25 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some open problems

Two old results

(Bourgain, 1977; Huff, 1980): X has the RNP iff NA(X ′, Y ) = L(X ′, Y ) forevery Y and every renorming X ′ of X.(Schachermayer, 1983): X separable (WCG) =⇒ exists X ′ renorming of X suchthat NA(X ′, Y ) = L(X ′, Y ) for every Y .

Open problem 1M (compact) metric space such that SNA(M ′, Y ) = Lip0(M ′, Y ) for every Yand every M ′ bi-Lipschitz equivalent to M .F Does F(M) have the RNP?

Open problem 2M (compact) metric space.F Does there exists M ′ bi-Lipschitz equivalent to M such that

SNA(M ′, Y ) = Lip0(M ′, Y ) for every Y ?

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 26 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some open problems

Two old results

(Bourgain, 1977; Huff, 1980): X has the RNP iff NA(X ′, Y ) = L(X ′, Y ) forevery Y and every renorming X ′ of X.(Schachermayer, 1983): X separable (WCG) =⇒ exists X ′ renorming of X suchthat NA(X ′, Y ) = L(X ′, Y ) for every Y .

Open problem 1M (compact) metric space such that SNA(M ′, Y ) = Lip0(M ′, Y ) for every Yand every M ′ bi-Lipschitz equivalent to M .F Does F(M) have the RNP?

Open problem 2M (compact) metric space.F Does there exists M ′ bi-Lipschitz equivalent to M such that

SNA(M ′, Y ) = Lip0(M ′, Y ) for every Y ?

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 26 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some open problems

Two old results(Bourgain, 1977; Huff, 1980): X has the RNP iff NA(X ′, Y ) = L(X ′, Y ) forevery Y and every renorming X ′ of X.(Schachermayer, 1983): X separable (WCG) =⇒ exists X ′ renorming of X suchthat NA(X ′, Y ) = L(X ′, Y ) for every Y .

Open problem 1M (compact) metric space such that SNA(M ′, Y ) = Lip0(M ′, Y ) for every Yand every M ′ bi-Lipschitz equivalent to M .F Does F(M) have the RNP?

Open problem 2M (compact) metric space.F Does there exists M ′ bi-Lipschitz equivalent to M such that

SNA(M ′, Y ) = Lip0(M ′, Y ) for every Y ?

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 26 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some open problems

Two old results(Bourgain, 1977; Huff, 1980): X has the RNP iff NA(X ′, Y ) = L(X ′, Y ) forevery Y and every renorming X ′ of X.(Schachermayer, 1983): X separable (WCG) =⇒ exists X ′ renorming of X suchthat NA(X ′, Y ) = L(X ′, Y ) for every Y .

Open problem 1M (compact) metric space such that SNA(M ′, Y ) = Lip0(M ′, Y ) for every Yand every M ′ bi-Lipschitz equivalent to M .F Does F(M) have the RNP?

Open problem 2M (compact) metric space.F Does there exists M ′ bi-Lipschitz equivalent to M such that

SNA(M ′, Y ) = Lip0(M ′, Y ) for every Y ?

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 26 / 28

Strongly norm attaining Lipschitz maps | Two new examples

Some open problems

Two old results(Bourgain, 1977; Huff, 1980): X has the RNP iff NA(X ′, Y ) = L(X ′, Y ) forevery Y and every renorming X ′ of X.(Schachermayer, 1983): X separable (WCG) =⇒ exists X ′ renorming of X suchthat NA(X ′, Y ) = L(X ′, Y ) for every Y .

Open problem 1M (compact) metric space such that SNA(M ′, Y ) = Lip0(M ′, Y ) for every Yand every M ′ bi-Lipschitz equivalent to M .F Does F(M) have the RNP?

Open problem 2M (compact) metric space.F Does there exists M ′ bi-Lipschitz equivalent to M such that

SNA(M ′, Y ) = Lip0(M ′, Y ) for every Y ?

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 26 / 28

Strongly norm attaining Lipschitz maps | References

References

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 27 / 28

Strongly norm attaining Lipschitz maps | References

References

B. Cascales, R. Chiclana, L. García-Lirola, M. Martín, A. RuedaOn strongly norm attaining Lipschitz mapsJ. Funct. Anal. (2019)

R. Chiclana, L. García-Lirola, M. Martín, A. RuedaExamples and applications of the density of strongly norm attaining Lipschitz mapsPreprint (2019)

R. Chiclana, M. MartínThe Bishop-Phelps-Bollobás property for Lipschitz mapsNonlinear Analysis (2019)

G. Choi, Y. S. Choi, M. MartínEmerging notions of norm attainment for Lipschitz maps between Banach spacesPreprint (2019)

G. GodefroyA survey on Lipschitz-free Banach spacesCommentationes Math. (2015)

G. GodefroyOn norm attaining Lipschitz maps between Banach spacesPure and Applied Functional Analysis (2016)

V. Kadets, M. Martín, M. SoloviovaNorm-attaining Lipschitz functionalsBanach J. Math. Anal. (2016)

Cascales, Chiclana, García-Lirola, Martín, Rueda Zoca | Mini-Conference on Banach spaces Granada 2019 | September 2019 28 / 28