Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf ·...

39
Strictly convex norms and topology Richard Smith 1 (with José Orihuela and Stanimir Troyanski 2 ) 1 University College Dublin, Ireland 2 University of Murcia, Spain New York Topology Conference, Summer 2011 J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 1 / 11

Transcript of Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf ·...

Page 1: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Strictly convex norms and topology

Richard Smith1 (with José Orihuela and Stanimir Troyanski2)

1University College Dublin, Ireland

2University of Murcia, Spain

New York Topology Conference, Summer 2011

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 1 / 11

Page 2: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Strictly convex norms

Strictly convex norms

Definition (Clarkson, 1936)A norm ∥ ⋅ ∥ is called strictly convex if x = y whenever∥x∥ = ∥y∥ = 1

2 ∥x + y∥.

Natural norms are usually not strictly convex, but often a space can begiven an equivalent strictly convex norm.

We concentrate on strictly convex dual norms on dual spaces.

Theorem (Šmulyan, 1940)If ∥ ⋅ ∥ is a strictly convex dual norm on X ∗ then the predual ∥ ⋅ ∥ on X isGâteaux smooth.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 2 / 11

Page 3: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Strictly convex norms

Strictly convex norms

Definition (Clarkson, 1936)A norm ∥ ⋅ ∥ is called strictly convex if x = y whenever∥x∥ = ∥y∥ = 1

2 ∥x + y∥.

Natural norms are usually not strictly convex, but often a space can begiven an equivalent strictly convex norm.

We concentrate on strictly convex dual norms on dual spaces.

Theorem (Šmulyan, 1940)If ∥ ⋅ ∥ is a strictly convex dual norm on X ∗ then the predual ∥ ⋅ ∥ on X isGâteaux smooth.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 2 / 11

Page 4: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Strictly convex norms

Strictly convex norms

Definition (Clarkson, 1936)A norm ∥ ⋅ ∥ is called strictly convex if x = y whenever∥x∥ = ∥y∥ = 1

2 ∥x + y∥.

Natural norms are usually not strictly convex, but often a space can begiven an equivalent strictly convex norm.

We concentrate on strictly convex dual norms on dual spaces.

Theorem (Šmulyan, 1940)If ∥ ⋅ ∥ is a strictly convex dual norm on X ∗ then the predual ∥ ⋅ ∥ on X isGâteaux smooth.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 2 / 11

Page 5: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Strictly convex norms

Strictly convex norms

Definition (Clarkson, 1936)A norm ∥ ⋅ ∥ is called strictly convex if x = y whenever∥x∥ = ∥y∥ = 1

2 ∥x + y∥.

Natural norms are usually not strictly convex, but often a space can begiven an equivalent strictly convex norm.

We concentrate on strictly convex dual norms on dual spaces.

Theorem (Šmulyan, 1940)If ∥ ⋅ ∥ is a strictly convex dual norm on X ∗ then the predual ∥ ⋅ ∥ on X isGâteaux smooth.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 2 / 11

Page 6: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Characterizing strict convexity

Characterizing strict convexity

QuestionGiven a (dual) Banach space, does it admit a strictly convex (dual)norm?

Yes if e.g. X is separable, reflexive (more generally weakly compactlygenerated) or if X = L1(�).

No if e.g. X = ℓ c∞(Γ), Γ uncountable.

Figures such as Day, Lindenstrauss, Mercourakis, Talagrand andHaydon have considered aspects of this question.

But no general characterization, in terms of linear topological structure,has emerged.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 3 / 11

Page 7: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Characterizing strict convexity

Characterizing strict convexity

QuestionGiven a (dual) Banach space, does it admit a strictly convex (dual)norm?

Yes if e.g. X is separable, reflexive (more generally weakly compactlygenerated) or if X = L1(�).

No if e.g. X = ℓ c∞(Γ), Γ uncountable.

Figures such as Day, Lindenstrauss, Mercourakis, Talagrand andHaydon have considered aspects of this question.

But no general characterization, in terms of linear topological structure,has emerged.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 3 / 11

Page 8: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Characterizing strict convexity

Characterizing strict convexity

QuestionGiven a (dual) Banach space, does it admit a strictly convex (dual)norm?

Yes if e.g. X is separable, reflexive (more generally weakly compactlygenerated) or if X = L1(�).

No if e.g. X = ℓ c∞(Γ), Γ uncountable.

Figures such as Day, Lindenstrauss, Mercourakis, Talagrand andHaydon have considered aspects of this question.

But no general characterization, in terms of linear topological structure,has emerged.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 3 / 11

Page 9: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Characterizing strict convexity

Characterizing strict convexity

QuestionGiven a (dual) Banach space, does it admit a strictly convex (dual)norm?

Yes if e.g. X is separable, reflexive (more generally weakly compactlygenerated) or if X = L1(�).

No if e.g. X = ℓ c∞(Γ), Γ uncountable.

Figures such as Day, Lindenstrauss, Mercourakis, Talagrand andHaydon have considered aspects of this question.

But no general characterization, in terms of linear topological structure,has emerged.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 3 / 11

Page 10: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Background Characterizing strict convexity

Characterizing strict convexity

QuestionGiven a (dual) Banach space, does it admit a strictly convex (dual)norm?

Yes if e.g. X is separable, reflexive (more generally weakly compactlygenerated) or if X = L1(�).

No if e.g. X = ℓ c∞(Γ), Γ uncountable.

Figures such as Day, Lindenstrauss, Mercourakis, Talagrand andHaydon have considered aspects of this question.

But no general characterization, in terms of linear topological structure,has emerged.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 3 / 11

Page 11: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

DefinitionA topological space X has (∗) if there are families Un, n ∈ ℕ, of opensets, such that for any x , y ∈ X , there is n ∈ ℕ satisfying

1 {x , y} ∩∪

Un is non-empty2 {x , y} ∩ U is at most a singleton for all U ∈ Un.

Example

X = ℝ, Un = {open intervals of length n−1}.

Spaces having G�-diagonals have (∗).There are many compact non-metrizable spaces having (∗).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 4 / 11

Page 12: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

DefinitionA topological space X has (∗) if there are families Un, n ∈ ℕ, of opensets, such that for any x , y ∈ X , there is n ∈ ℕ satisfying

1 {x , y} ∩∪

Un is non-empty2 {x , y} ∩ U is at most a singleton for all U ∈ Un.

Example

X = ℝ, Un = {open intervals of length n−1}.

Spaces having G�-diagonals have (∗).There are many compact non-metrizable spaces having (∗).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 4 / 11

Page 13: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

DefinitionA topological space X has (∗) if there are families Un, n ∈ ℕ, of opensets, such that for any x , y ∈ X , there is n ∈ ℕ satisfying

1 {x , y} ∩∪

Un is non-empty2 {x , y} ∩ U is at most a singleton for all U ∈ Un.

Example

X = ℝ, Un = {open intervals of length n−1}.

Spaces having G�-diagonals have (∗).There are many compact non-metrizable spaces having (∗).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 4 / 11

Page 14: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

DefinitionA topological space X has (∗) if there are families Un, n ∈ ℕ, of opensets, such that for any x , y ∈ X , there is n ∈ ℕ satisfying

1 {x , y} ∩∪

Un is non-empty2 {x , y} ∩ U is at most a singleton for all U ∈ Un.

Example

X = ℝ, Un = {open intervals of length n−1}.

Spaces having G�-diagonals have (∗).There are many compact non-metrizable spaces having (∗).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 4 / 11

Page 15: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

DefinitionA topological space X has (∗) if there are families Un, n ∈ ℕ, of opensets, such that for any x , y ∈ X , there is n ∈ ℕ satisfying

1 {x , y} ∩∪

Un is non-empty2 {x , y} ∩ U is at most a singleton for all U ∈ Un.

Example

X = ℝ, Un = {open intervals of length n−1}.

Spaces having G�-diagonals have (∗).There are many compact non-metrizable spaces having (∗).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 4 / 11

Page 16: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

PropositionIf a dual Banach space X ∗ admits a strictly convex dual norm, then(BX∗ ,w∗) has (∗).

TheoremThe space X ∗ admits a strictly convex dual norm if and only if(BX∗ ,w∗) has (∗) with slices.

QuestionTo what extent can we do without the geometry, i.e. without slices?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 5 / 11

Page 17: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

PropositionIf a dual Banach space X ∗ admits a strictly convex dual norm, then(BX∗ ,w∗) has (∗).

TheoremThe space X ∗ admits a strictly convex dual norm if and only if(BX∗ ,w∗) has (∗) with slices.

QuestionTo what extent can we do without the geometry, i.e. without slices?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 5 / 11

Page 18: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) Definition and motivation for (*)

Definition and motivation for (∗)

PropositionIf a dual Banach space X ∗ admits a strictly convex dual norm, then(BX∗ ,w∗) has (∗).

TheoremThe space X ∗ admits a strictly convex dual norm if and only if(BX∗ ,w∗) has (∗) with slices.

QuestionTo what extent can we do without the geometry, i.e. without slices?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 5 / 11

Page 19: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Consequences of (∗)

We study C(K ) spaces because they form a universal class:X ↪→ C(BX∗ ,w∗).

TheoremIf K is compact and scattered then C(K )∗ admits a strictly convex dualnorm if and only if K has (∗).

TheoremIf X has (∗) then X is fragmentable.Countably compact spaces having (∗) are compact (generalizesChaber). In particular, !1 does not have (∗).If L is locally compact and has (∗) then L ∪ {∞} is countably tight.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 6 / 11

Page 20: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Consequences of (∗)

We study C(K ) spaces because they form a universal class:X ↪→ C(BX∗ ,w∗).

TheoremIf K is compact and scattered then C(K )∗ admits a strictly convex dualnorm if and only if K has (∗).

TheoremIf X has (∗) then X is fragmentable.Countably compact spaces having (∗) are compact (generalizesChaber). In particular, !1 does not have (∗).If L is locally compact and has (∗) then L ∪ {∞} is countably tight.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 6 / 11

Page 21: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Consequences of (∗)

We study C(K ) spaces because they form a universal class:X ↪→ C(BX∗ ,w∗).

TheoremIf K is compact and scattered then C(K )∗ admits a strictly convex dualnorm if and only if K has (∗).

TheoremIf X has (∗) then X is fragmentable.Countably compact spaces having (∗) are compact (generalizesChaber). In particular, !1 does not have (∗).If L is locally compact and has (∗) then L ∪ {∞} is countably tight.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 6 / 11

Page 22: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Consequences of (∗)

We study C(K ) spaces because they form a universal class:X ↪→ C(BX∗ ,w∗).

TheoremIf K is compact and scattered then C(K )∗ admits a strictly convex dualnorm if and only if K has (∗).

TheoremIf X has (∗) then X is fragmentable.Countably compact spaces having (∗) are compact (generalizesChaber). In particular, !1 does not have (∗).If L is locally compact and has (∗) then L ∪ {∞} is countably tight.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 6 / 11

Page 23: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Consequences of (∗)

We study C(K ) spaces because they form a universal class:X ↪→ C(BX∗ ,w∗).

TheoremIf K is compact and scattered then C(K )∗ admits a strictly convex dualnorm if and only if K has (∗).

TheoremIf X has (∗) then X is fragmentable.Countably compact spaces having (∗) are compact (generalizesChaber). In particular, !1 does not have (∗).If L is locally compact and has (∗) then L ∪ {∞} is countably tight.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 6 / 11

Page 24: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

Definition (Gruenhage, 1987)A topological space X , card(X ) ≤ c, is Gruenhage if there are opensets Un, n ∈ ℕ, such that if x , y ∈ X then {x , y} ∩ Un is a singleton forsome n.

Metrizable, �-discrete and descriptive compact spaces areGruenhage. The tree �ℚ is Gruenhage but not descriptive.

All Gruenhage spaces have (∗).

Theorem (Smith, 2009)If K is Gruenhage compact then C(K )∗ admits a strictly convex dualnorm.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 7 / 11

Page 25: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

Definition (Gruenhage, 1987)A topological space X , card(X ) ≤ c, is Gruenhage if there are opensets Un, n ∈ ℕ, such that if x , y ∈ X then {x , y} ∩ Un is a singleton forsome n.

Metrizable, �-discrete and descriptive compact spaces areGruenhage. The tree �ℚ is Gruenhage but not descriptive.

All Gruenhage spaces have (∗).

Theorem (Smith, 2009)If K is Gruenhage compact then C(K )∗ admits a strictly convex dualnorm.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 7 / 11

Page 26: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

Definition (Gruenhage, 1987)A topological space X , card(X ) ≤ c, is Gruenhage if there are opensets Un, n ∈ ℕ, such that if x , y ∈ X then {x , y} ∩ Un is a singleton forsome n.

Metrizable, �-discrete and descriptive compact spaces areGruenhage. The tree �ℚ is Gruenhage but not descriptive.

All Gruenhage spaces have (∗).

Theorem (Smith, 2009)If K is Gruenhage compact then C(K )∗ admits a strictly convex dualnorm.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 7 / 11

Page 27: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

Definition (Gruenhage, 1987)A topological space X , card(X ) ≤ c, is Gruenhage if there are opensets Un, n ∈ ℕ, such that if x , y ∈ X then {x , y} ∩ Un is a singleton forsome n.

Metrizable, �-discrete and descriptive compact spaces areGruenhage. The tree �ℚ is Gruenhage but not descriptive.

All Gruenhage spaces have (∗).

Theorem (Smith, 2009)If K is Gruenhage compact then C(K )∗ admits a strictly convex dualnorm.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 7 / 11

Page 28: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ExamplesKunen’s compact S-space K is Gruenhage. In particular, C(K)∗

admits a strictly convex dual norm.Ostaszewski’s space O is scattered but does not have (∗), thusC(O)∗ does not admit a strictly convex dual norm.Using CH or b = ℵ1, there exist compact non-Gruenhage spaceshaving (∗), and with cardinality ℵ1.

Proposition(MA) If L, card(L) < c, is locally compact, locally countable and has (∗)then L is �-discrete (and thus Gruenhage).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 8 / 11

Page 29: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ExamplesKunen’s compact S-space K is Gruenhage. In particular, C(K)∗

admits a strictly convex dual norm.Ostaszewski’s space O is scattered but does not have (∗), thusC(O)∗ does not admit a strictly convex dual norm.Using CH or b = ℵ1, there exist compact non-Gruenhage spaceshaving (∗), and with cardinality ℵ1.

Proposition(MA) If L, card(L) < c, is locally compact, locally countable and has (∗)then L is �-discrete (and thus Gruenhage).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 8 / 11

Page 30: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ExamplesKunen’s compact S-space K is Gruenhage. In particular, C(K)∗

admits a strictly convex dual norm.Ostaszewski’s space O is scattered but does not have (∗), thusC(O)∗ does not admit a strictly convex dual norm.Using CH or b = ℵ1, there exist compact non-Gruenhage spaceshaving (∗), and with cardinality ℵ1.

Proposition(MA) If L, card(L) < c, is locally compact, locally countable and has (∗)then L is �-discrete (and thus Gruenhage).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 8 / 11

Page 31: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ExamplesKunen’s compact S-space K is Gruenhage. In particular, C(K)∗

admits a strictly convex dual norm.Ostaszewski’s space O is scattered but does not have (∗), thusC(O)∗ does not admit a strictly convex dual norm.Using CH or b = ℵ1, there exist compact non-Gruenhage spaceshaving (∗), and with cardinality ℵ1.

Proposition(MA) If L, card(L) < c, is locally compact, locally countable and has (∗)then L is �-discrete (and thus Gruenhage).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 8 / 11

Page 32: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ZFC ExampleThere exists a locally compact non-Gruenhage space D having aG�-diagonal.

D is a ‘duplicate’ Λ× {−1,1}, where Λ is Kurepa’s tree of injectivefunctions

t : � −→ ℕ

with ordinal domain and co-infinite range.

A Baire category argument can be used to show that D isnon-Gruenhage.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 9 / 11

Page 33: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ZFC ExampleThere exists a locally compact non-Gruenhage space D having aG�-diagonal.

D is a ‘duplicate’ Λ× {−1,1}, where Λ is Kurepa’s tree of injectivefunctions

t : � −→ ℕ

with ordinal domain and co-infinite range.

A Baire category argument can be used to show that D isnon-Gruenhage.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 9 / 11

Page 34: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Property (*) (*) in context

Examples of spaces having (∗)

ZFC ExampleThere exists a locally compact non-Gruenhage space D having aG�-diagonal.

D is a ‘duplicate’ Λ× {−1,1}, where Λ is Kurepa’s tree of injectivefunctions

t : � −→ ℕ

with ordinal domain and co-infinite range.

A Baire category argument can be used to show that D isnon-Gruenhage.

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 9 / 11

Page 35: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Final remarks Problems

Problems

ProblemsIf K has (∗) then does C(K )∗ admit a strictly convex dual norm?In particular, what if K = L ∪ {∞}, where L has a G�-diagonal?If (BX∗ ,w∗) has (∗), does X ∗ admit a strictly convex dual norm?What if X is also Asplund?Is (∗) preserved by continuous images of compact spaces, ormore generally proper maps?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 10 / 11

Page 36: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Final remarks Problems

Problems

ProblemsIf K has (∗) then does C(K )∗ admit a strictly convex dual norm?In particular, what if K = L ∪ {∞}, where L has a G�-diagonal?If (BX∗ ,w∗) has (∗), does X ∗ admit a strictly convex dual norm?What if X is also Asplund?Is (∗) preserved by continuous images of compact spaces, ormore generally proper maps?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 10 / 11

Page 37: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Final remarks Problems

Problems

ProblemsIf K has (∗) then does C(K )∗ admit a strictly convex dual norm?In particular, what if K = L ∪ {∞}, where L has a G�-diagonal?If (BX∗ ,w∗) has (∗), does X ∗ admit a strictly convex dual norm?What if X is also Asplund?Is (∗) preserved by continuous images of compact spaces, ormore generally proper maps?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 10 / 11

Page 38: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Final remarks Problems

Problems

ProblemsIf K has (∗) then does C(K )∗ admit a strictly convex dual norm?In particular, what if K = L ∪ {∞}, where L has a G�-diagonal?If (BX∗ ,w∗) has (∗), does X ∗ admit a strictly convex dual norm?What if X is also Asplund?Is (∗) preserved by continuous images of compact spaces, ormore generally proper maps?

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 10 / 11

Page 39: Strictly convex norms and topology - UCD School of ...rsmith/pdfs/talks/new york july 2011.pdf · Strictly convex norms and topology Richard Smith1 (with José Orihuela and Stanimir

Final remarks References

References

J. Orihuela, R. J. Smith and S. Troyanski, Strictly convex normsand topology, Proc. London Math. Soc (forthcoming).R. J. Smith, Strictly convex norms, G�-diagonals andnon-Gruenhage spaces, Proc. Amer. Math. Soc. (forthcoming).

J. Orihuela, R. J. Smith, S. Troyanski Strictly convex norms and topology July 2011 11 / 11