38
Introduction to Priestley duality 1 / 24

Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Introduction to Priestley duality

1 / 24

Page 2: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Outline

What is a distributive lattice?

Priestley duality for finite distributive lattices

Using the duality: an example

Priestley duality for infinite distributive lattices

2 / 24

Page 3: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Outline

What is a distributive lattice?

Priestley duality for finite distributive lattices

Using the duality: an example

Priestley duality for infinite distributive lattices

3 / 24

Page 4: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Three classes of algebras

1. Groups (∗,−1,e)

Defining equations

(x ∗ y) ∗ z = x ∗ (y ∗ z)

x ∗ e = x

x ∗ x−1 = e

Representation

A collection of permutationsof a set, closed under

I composition (∗),I inverse (−1),I identity (e).

4 / 24

Page 5: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Three classes of algebras

2. Semigroups (∗)

Defining equations

(x ∗ y) ∗ z = x ∗ (y ∗ z)

Representation

A collection of self-mapsof a set, closed under

I composition (∗).

5 / 24

Page 6: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Three classes of algebras

3. Distributive lattices (∨,∧)

Defining equations

(x ∨ y) ∨ z = x ∨ (y ∨ z)(x ∧ y) ∧ z = x ∧ (y ∧ z)

x ∨ y = y ∨ xx ∧ y = y ∧ x

x ∨ x = xx ∧ x = x

x ∨ (x ∧ y) = xx ∧ (x ∨ y) = x

x ∧ (y ∨ z) = (x ∧ y)∨ (x ∧ z)x ∨ (y ∧ z) = (x ∨ y)∧ (x ∨ z)

Representation

A collection of subsets of a set,closed under

I union (∨),I intersection (∧).

6 / 24

Page 7: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Concrete examples of distributive lattices

1. All subsets of a set S:

〈℘(S); ∪,∩〉.

2. Finite and cofinite subsets of N:

〈℘FC(N); ∪,∩〉.

3. Open subsets of a topological space X:

〈O(X); ∪,∩〉.

7 / 24

Page 8: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

More examples of distributive lattices

4. 〈{T ,F}; or ,and〉.

5. 〈N ∪ {0}; lcm,gcd〉.

(Represent a number as its set of prime-power divisors.)

6. Subgroups of a cyclic group G,

〈Sub(G); ∨,∩〉, where H ∨ K := 〈H ∪ K 〉.

8 / 24

Page 9: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Drawing distributive latticesAny distributive lattice 〈L;∨,∧〉 has a natural ordercorresponding to set inclusion: a 6 b ⇐⇒ a ∨ b = b.

1

2

3

∨ max∧ min6 usual

12

64

2 3

1

∨ lcm∧ gcd6 division

{1,2,3}

{1,2} {1,3} {2,3}

{1} {2} {3}

∨ union∧ intersection6 inclusion

9 / 24

Page 10: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Drawing distributive latticesAny distributive lattice 〈L;∨,∧〉 has a natural ordercorresponding to set inclusion: a 6 b ⇐⇒ a ∨ b = b.

1

2

3

∨ max∧ min6 usual

12

64

2 3

1

∨ lcm∧ gcd6 division

{1,2,3}

{1,2} {1,3} {2,3}

{1} {2} {3}

∨ union∧ intersection6 inclusion

9 / 24

Page 11: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Drawing distributive latticesAny distributive lattice 〈L;∨,∧〉 has a natural ordercorresponding to set inclusion: a 6 b ⇐⇒ a ∨ b = b.

1

2

3

∨ max∧ min6 usual

12

64

2 3

1

∨ lcm∧ gcd6 division

{1,2,3}

{1,2} {1,3} {2,3}

{1} {2} {3}

∨ union∧ intersection6 inclusion

9 / 24

Page 12: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

More pictures of distributive lattices

24

Note: Every distributive lattice embeds into 2S, for some set S.

10 / 24

Page 13: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

More pictures of distributive lattices

24

Note: Every distributive lattice embeds into 2S, for some set S.

10 / 24

Page 14: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Outline

What is a distributive lattice?

Priestley duality for finite distributive lattices

Using the duality: an example

Priestley duality for infinite distributive lattices

11 / 24

Page 15: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Representing finite distributive lattices

Original representation

A collection of subsets of a set,closed under union and intersection.

New representation

The collection of all down-sets of an ordered set,under union and intersection.

12 / 24

Page 16: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

More examples

Distributivelattice

Ordered set

13 / 24

Page 17: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Duality for finite distributive latticesThe classes of

finite distributive lattices and finite ordered sets

are dually equivalent.

surjections ←→ embeddings

embeddings ←→ surjections

products ←→ disjoint unions

14 / 24

Page 18: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Duality for finite distributive latticesThe classes of

finite distributive lattices and finite ordered sets

are dually equivalent.

surjections ←→ embeddings

embeddings ←→ surjections

products ←→ disjoint unions

14 / 24

Page 19: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Outline

What is a distributive lattice?

Priestley duality for finite distributive lattices

Using the duality: an example

Priestley duality for infinite distributive lattices

15 / 24

Page 20: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Dilworth’s Theorem for Ordered Sets

Let P be a finite ordered set.The minimum number of chains needed to cover P is equal tothe width of P (i.e. the maximum size of an anti-chain in P).

16 / 24

Page 21: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Dilworth’s Theorem for Ordered Sets

Let P be a finite ordered set.The minimum number of chains needed to cover P is equal tothe width of P (i.e. the maximum size of an anti-chain in P).

16 / 24

Page 22: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Aside: Hall’s Marriage TheoremLet P be an ordered set of height 1.

P

G := Min(P)

B := Max(P)

Assume that |S| 6 |↑S \ S|, for each S ⊆ G.

Then P can be covered by |B| chains(i.e., each girl can be paired with a boy she likes).

Proof.Using Dilworth’s Theorem, we just need to show that P haswidth |B|.

17 / 24

Page 23: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Aside: Hall’s Marriage TheoremLet P be an ordered set of height 1.

P

G := Min(P)

B := Max(P)

Assume that |S| 6 |↑S \ S|, for each S ⊆ G.

Then P can be covered by |B| chains(i.e., each girl can be paired with a boy she likes).

Proof.Using Dilworth’s Theorem, we just need to show that P haswidth |B|.

17 / 24

Page 24: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Dual version of Dilworth’s Theorem

Let L be a finite distributive lattice.The smallest n such that L embeds into a product of n chainsis exactly the width of the join-irreducibles of L.

18 / 24

Page 25: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Outline

What is a distributive lattice?

Priestley duality for finite distributive lattices

Using the duality: an example

Priestley duality for infinite distributive lattices

19 / 24

Page 26: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Infinite distributive lattices

ExampleThe finite-cofinite lattice 〈℘FC(N); ∪,∩〉 cannot be obtained asthe down-sets of an ordered set.

Proof.I The ordered set would have to be an anti-chain.

I The ordered set would have to be infinite.I So there would be at least 2N down-sets.I But ℘FC(N) is countable.

But it can be obtained as the clopen down-sets of a topologicalordered set.

1 2 3 4 5 ∞

20 / 24

Page 27: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Infinite distributive lattices

ExampleThe finite-cofinite lattice 〈℘FC(N); ∪,∩〉 cannot be obtained asthe down-sets of an ordered set.

Proof.I The ordered set would have to be an anti-chain.

I The ordered set would have to be infinite.I So there would be at least 2N down-sets.I But ℘FC(N) is countable.

But it can be obtained as the clopen down-sets of a topologicalordered set.

1 2 3 4 5 ∞

20 / 24

Page 28: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Infinite distributive lattices

ExampleThe finite-cofinite lattice 〈℘FC(N); ∪,∩〉 cannot be obtained asthe down-sets of an ordered set.

Proof.I The ordered set would have to be an anti-chain.I The ordered set would have to be infinite.

I So there would be at least 2N down-sets.I But ℘FC(N) is countable.

But it can be obtained as the clopen down-sets of a topologicalordered set.

1 2 3 4 5 ∞

20 / 24

Page 29: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Infinite distributive lattices

ExampleThe finite-cofinite lattice 〈℘FC(N); ∪,∩〉 cannot be obtained asthe down-sets of an ordered set.

Proof.I The ordered set would have to be an anti-chain.I The ordered set would have to be infinite.I So there would be at least 2N down-sets.

I But ℘FC(N) is countable.

But it can be obtained as the clopen down-sets of a topologicalordered set.

1 2 3 4 5 ∞

20 / 24

Page 30: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Infinite distributive lattices

ExampleThe finite-cofinite lattice 〈℘FC(N); ∪,∩〉 cannot be obtained asthe down-sets of an ordered set.

Proof.I The ordered set would have to be an anti-chain.I The ordered set would have to be infinite.I So there would be at least 2N down-sets.I But ℘FC(N) is countable.

But it can be obtained as the clopen down-sets of a topologicalordered set.

1 2 3 4 5 ∞

20 / 24

Page 31: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Infinite distributive lattices

ExampleThe finite-cofinite lattice 〈℘FC(N); ∪,∩〉 cannot be obtained asthe down-sets of an ordered set.

Proof.I The ordered set would have to be an anti-chain.I The ordered set would have to be infinite.I So there would be at least 2N down-sets.I But ℘FC(N) is countable.

But it can be obtained as the clopen down-sets of a topologicalordered set.

1 2 3 4 5 ∞

20 / 24

Page 32: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

More examples

Distributive lattice:

All finite subsets of N, as well as N itself,〈℘fin(N) ∪ {N}; ∪,∩〉.

Topological ordered set:

1 23

45

21 / 24

Page 33: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

More examples

Distributive lattice:

All finite subsets of N, as well as N itself,

〈N ∪ {0}; lcm,gcd〉.

Topological ordered set:

2

22

23

3

325

21 / 24

Page 34: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Setting up Priestley duality

1. From distributive lattices to topological ordered sets

Let L = 〈L;∨,∧〉 be a distributive lattice.

Define the dual of L by

D(L) := hom(L,2) 6 2∼L,

whereI 2 is the two-element lattice with 0 6 1,I 2∼ is the two-element discrete ordered set with 0 6 1.

NoteThe topological ordered sets obtained in this way are calledPriestley spaces.

22 / 24

Page 35: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Setting up Priestley duality

1. From distributive lattices to topological ordered sets

Let L = 〈L;∨,∧〉 be a distributive lattice.

Define the dual of L by

D(L) := hom(L,2) 6 2∼L,

whereI 2 is the two-element lattice with 0 6 1,I 2∼ is the two-element discrete ordered set with 0 6 1.

NoteThe topological ordered sets obtained in this way are calledPriestley spaces.

22 / 24

Page 36: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Setting up Priestley duality, continued2. From Priestley spaces to distributive lattices

Let X = 〈X ;6,T〉 be a Priestley space.

Define the dual of X by

E(X) := hom(X, 2∼) 6 2X .

3. The duality

Every distributive lattice is encoded by a Priestley space:

ED(L) ∼= L and DE(X) ∼= X,

for each distributive lattice L and Priestley space X.

Indeed, the classes of distributive lattices and Priestley spacesare dually equivalent.

23 / 24

Page 37: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Setting up Priestley duality, continued2. From Priestley spaces to distributive lattices

Let X = 〈X ;6,T〉 be a Priestley space.

Define the dual of X by

E(X) := hom(X, 2∼) 6 2X .

3. The duality

Every distributive lattice is encoded by a Priestley space:

ED(L) ∼= L and DE(X) ∼= X,

for each distributive lattice L and Priestley space X.

Indeed, the classes of distributive lattices and Priestley spacesare dually equivalent.

23 / 24

Page 38: Introduction to Priestley duality - Monash Universityusers.monash.edu/~gfarr/research/slides/Pitkethly-priestley.pdf · Infinite distributive lattices Example The finite-cofinite

Natural dualities in general

1. Distributive lattices ↔ Priestley spaces2 = 〈{0,1};∨,∧〉 2∼ = 〈{0,1};6,T〉

2. Abelian groups ↔ Compact abelian groupsA = 〈S1; ·,−1,1〉 A∼ = 〈S1; ·,−1,1,T〉

3. Boolean algebras ↔ Boolean spacesB = 〈{0,1};∨,∧,¬〉 B∼ = 〈{0,1};T〉

24 / 24