Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Minimality in topological groups
Luie Polev
Bar-Ilan University, Israel
May 23, 2013
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
1 Preliminaries
2 π-uniform actions
3 Homeomorphism GroupsHomeomorphisms of the unit intervalHomeomorphisms of the unit circle
4 Semidirect Product
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definitions
Definition (Stephenson and Doıtchinov)
A Hausdorff topological group G is minimal if it does not admit astrictly coarser Hausdorff group topology.
Examples
I Every compact topological group is minimal.
I The subgroup Q/Z of the circle group T is minimal.
I Locally compact abelian groups are minimal if and only if theyare compact (Stephenson, 1971). So for example, the groupsZ (with the discrete topology) and R are not minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definitions
Definition (Stephenson and Doıtchinov)
A Hausdorff topological group G is minimal if it does not admit astrictly coarser Hausdorff group topology.
Examples
I Every compact topological group is minimal.
I The subgroup Q/Z of the circle group T is minimal.
I Locally compact abelian groups are minimal if and only if theyare compact (Stephenson, 1971). So for example, the groupsZ (with the discrete topology) and R are not minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definitions
Definition (Stephenson and Doıtchinov)
A Hausdorff topological group G is minimal if it does not admit astrictly coarser Hausdorff group topology.
Examples
I Every compact topological group is minimal.
I The subgroup Q/Z of the circle group T is minimal.
I Locally compact abelian groups are minimal if and only if theyare compact (Stephenson, 1971). So for example, the groupsZ (with the discrete topology) and R are not minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definitions
Definition (Stephenson and Doıtchinov)
A Hausdorff topological group G is minimal if it does not admit astrictly coarser Hausdorff group topology.
Examples
I Every compact topological group is minimal.
I The subgroup Q/Z of the circle group T is minimal.
I Locally compact abelian groups are minimal if and only if theyare compact (Stephenson, 1971). So for example, the groupsZ (with the discrete topology) and R are not minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definition
Let G be a topological group. A topological group X is called aG -group if G acts continuously on X by group automorphismsπ : G × X → X .
Notation
For a topological group (G , τ) and its subgroup H denote by τ/Hthe usual quotient topology on the coset space.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
A useful lemma that we will use in the sequel:
Merson’s Lemma
Let (G , γ) be a not necessarily Hausdorff topological group and Hbe a not necessarily closed subgroup of G . Assume that γ1 ⊆ γ isa coarser group topology on G such that γ1|H = γ|H andγ1/H = γ/H. Then γ1 = γ.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definition (Megrelishvili, 1985)
Let π : G × X → X be an action of a topological group G on aspace X . A uniformity µ on X (or, the action) is said to beπ-uniform at e ∈ G if
∀ε ∈ µ ∃U ∈ Ne ∃δ ∈ µ (ux , uy) ∈ ε ∀(x , y) ∈ δ ∀u ∈ U.
Motivation
Examples
I Every isometric action on a metric space is π-uniform.
I Every G -group X is π-uniform with respect to left (or right)uniformity on X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definition (Megrelishvili, 1985)
Let π : G × X → X be an action of a topological group G on aspace X . A uniformity µ on X (or, the action) is said to beπ-uniform at e ∈ G if
∀ε ∈ µ ∃U ∈ Ne ∃δ ∈ µ (ux , uy) ∈ ε ∀(x , y) ∈ δ ∀u ∈ U.
Motivation
Examples
I Every isometric action on a metric space is π-uniform.
I Every G -group X is π-uniform with respect to left (or right)uniformity on X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definition (Megrelishvili, 1985)
Let π : G × X → X be an action of a topological group G on aspace X . A uniformity µ on X (or, the action) is said to beπ-uniform at e ∈ G if
∀ε ∈ µ ∃U ∈ Ne ∃δ ∈ µ (ux , uy) ∈ ε ∀(x , y) ∈ δ ∀u ∈ U.
Motivation
Examples
I Every isometric action on a metric space is π-uniform.
I Every G -group X is π-uniform with respect to left (or right)uniformity on X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Definition (Megrelishvili, 1985)
Let π : G × X → X be an action of a topological group G on aspace X . A uniformity µ on X (or, the action) is said to beπ-uniform at e ∈ G if
∀ε ∈ µ ∃U ∈ Ne ∃δ ∈ µ (ux , uy) ∈ ε ∀(x , y) ∈ δ ∀u ∈ U.
Motivation
Examples
I Every isometric action on a metric space is π-uniform.
I Every G -group X is π-uniform with respect to left (or right)uniformity on X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Definition
A compact space K is M-compact if the topological groupHomeo(K ) is minimal.
Question
Which compact spaces are M-compact?
Partial Answers
(van Mill, 2012) The n-dimensional Menger universalcontinuum is not M-compact for n > 0 .
(Gamarnik, 1991) The space [0, 1] is M-compact.
(Gamarnik) The space [0, 1]n for n > 1 is not M-compact.
(Gamarnik) The Cantor cube 2ω is M-compact (note that it isthe 0-dimensional Menger cube).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Definition
A compact space K is M-compact if the topological groupHomeo(K ) is minimal.
Question
Which compact spaces are M-compact?
Partial Answers
(van Mill, 2012) The n-dimensional Menger universalcontinuum is not M-compact for n > 0 .
(Gamarnik, 1991) The space [0, 1] is M-compact.
(Gamarnik) The space [0, 1]n for n > 1 is not M-compact.
(Gamarnik) The Cantor cube 2ω is M-compact (note that it isthe 0-dimensional Menger cube).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Definition
A compact space K is M-compact if the topological groupHomeo(K ) is minimal.
Question
Which compact spaces are M-compact?
Partial Answers
(van Mill, 2012) The n-dimensional Menger universalcontinuum is not M-compact for n > 0 .
(Gamarnik, 1991) The space [0, 1] is M-compact.
(Gamarnik) The space [0, 1]n for n > 1 is not M-compact.
(Gamarnik) The Cantor cube 2ω is M-compact (note that it isthe 0-dimensional Menger cube).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Definition
A compact space K is M-compact if the topological groupHomeo(K ) is minimal.
Question
Which compact spaces are M-compact?
Partial Answers
(van Mill, 2012) The n-dimensional Menger universalcontinuum is not M-compact for n > 0 .
(Gamarnik, 1991) The space [0, 1] is M-compact.
(Gamarnik) The space [0, 1]n for n > 1 is not M-compact.
(Gamarnik) The Cantor cube 2ω is M-compact (note that it isthe 0-dimensional Menger cube).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Definition
A compact space K is M-compact if the topological groupHomeo(K ) is minimal.
Question
Which compact spaces are M-compact?
Partial Answers
(van Mill, 2012) The n-dimensional Menger universalcontinuum is not M-compact for n > 0 .
(Gamarnik, 1991) The space [0, 1] is M-compact.
(Gamarnik) The space [0, 1]n for n > 1 is not M-compact.
(Gamarnik) The Cantor cube 2ω is M-compact (note that it isthe 0-dimensional Menger cube).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Definition
A compact space K is M-compact if the topological groupHomeo(K ) is minimal.
Question
Which compact spaces are M-compact?
Partial Answers
(van Mill, 2012) The n-dimensional Menger universalcontinuum is not M-compact for n > 0 .
(Gamarnik, 1991) The space [0, 1] is M-compact.
(Gamarnik) The space [0, 1]n for n > 1 is not M-compact.
(Gamarnik) The Cantor cube 2ω is M-compact (note that it isthe 0-dimensional Menger cube).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Homeo ([0, 1])
To prove that Homeo ([0, 1]) is minimal, Gamarnik used the notionof π-uniform topology. He first showed that the compact opentopology on Homeo ([0, 1]) is minimal within the class ofπ-uniform topologies, and then proved that it is indeed minimal.
H+
These groups are minimal:
H+([0, 1]) - the subgroup of Homeo ([0, 1]) that consists ofincreasing homeomorphisms of [0, 1].
Let X denote the double arrow space. Then H+(X ) is thesubgroup of Homeo (X ) that consists of increasinghomeomorphisms of X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Homeo ([0, 1])
To prove that Homeo ([0, 1]) is minimal, Gamarnik used the notionof π-uniform topology. He first showed that the compact opentopology on Homeo ([0, 1]) is minimal within the class ofπ-uniform topologies, and then proved that it is indeed minimal.
H+
These groups are minimal:
H+([0, 1]) - the subgroup of Homeo ([0, 1]) that consists ofincreasing homeomorphisms of [0, 1].
Let X denote the double arrow space. Then H+(X ) is thesubgroup of Homeo (X ) that consists of increasinghomeomorphisms of X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Homeo ([0, 1])
To prove that Homeo ([0, 1]) is minimal, Gamarnik used the notionof π-uniform topology. He first showed that the compact opentopology on Homeo ([0, 1]) is minimal within the class ofπ-uniform topologies, and then proved that it is indeed minimal.
H+
These groups are minimal:
H+([0, 1]) - the subgroup of Homeo ([0, 1]) that consists ofincreasing homeomorphisms of [0, 1].
Let X denote the double arrow space. Then H+(X ) is thesubgroup of Homeo (X ) that consists of increasinghomeomorphisms of X .
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Theorem
The group Homeo (S1) is minimal with respect to the compactopen topology.
Proof
Denote by γ the compact open topology on Homeo (S1), andlet γ1 ⊆ γ be a coarser Hausdorff group topology onHomeo (S1).
Let Homeo (S1, a) be the stabilizer subgroup.
Homeo (S1, a) is topologically isomorphic to the minimaltopological group Homeo ([0, 1]), and sinceγ1|Homeo (S1,a) ⊆ γ|Homeo (S1,a) is a Hausdorff group topology,we can conclude that γ1|Homeo (S1,a) = γ|Homeo (S1,a).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Theorem
The group Homeo (S1) is minimal with respect to the compactopen topology.
Proof
Denote by γ the compact open topology on Homeo (S1), andlet γ1 ⊆ γ be a coarser Hausdorff group topology onHomeo (S1).
Let Homeo (S1, a) be the stabilizer subgroup.
Homeo (S1, a) is topologically isomorphic to the minimaltopological group Homeo ([0, 1]), and sinceγ1|Homeo (S1,a) ⊆ γ|Homeo (S1,a) is a Hausdorff group topology,we can conclude that γ1|Homeo (S1,a) = γ|Homeo (S1,a).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Theorem
The group Homeo (S1) is minimal with respect to the compactopen topology.
Proof
Denote by γ the compact open topology on Homeo (S1), andlet γ1 ⊆ γ be a coarser Hausdorff group topology onHomeo (S1).
Let Homeo (S1, a) be the stabilizer subgroup.
Homeo (S1, a) is topologically isomorphic to the minimaltopological group Homeo ([0, 1]), and sinceγ1|Homeo (S1,a) ⊆ γ|Homeo (S1,a) is a Hausdorff group topology,we can conclude that γ1|Homeo (S1,a) = γ|Homeo (S1,a).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Theorem
The group Homeo (S1) is minimal with respect to the compactopen topology.
Proof
Denote by γ the compact open topology on Homeo (S1), andlet γ1 ⊆ γ be a coarser Hausdorff group topology onHomeo (S1).
Let Homeo (S1, a) be the stabilizer subgroup.
Homeo (S1, a) is topologically isomorphic to the minimaltopological group Homeo ([0, 1]), and sinceγ1|Homeo (S1,a) ⊆ γ|Homeo (S1,a) is a Hausdorff group topology,we can conclude that γ1|Homeo (S1,a) = γ|Homeo (S1,a).
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Proof.
The quotient space Homeo (S1)/Homeo (S1, a) ishomeomorphic to S1, and sinceγ1/Homeo (S1, a) ⊆ γ/Homeo (S1, a) we conclude thatγ1/Homeo (S1, a) = γ/Homeo (S1, a).
Merson’s lemma concludes the proof.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Homeomorphisms of the unit intervalHomeomorphisms of the unit circle
Proof.
The quotient space Homeo (S1)/Homeo (S1, a) ishomeomorphic to S1, and sinceγ1/Homeo (S1, a) ⊆ γ/Homeo (S1, a) we conclude thatγ1/Homeo (S1, a) = γ/Homeo (S1, a).
Merson’s lemma concludes the proof.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Semidirect Product
For a G -group X , denote by X hπ G the topological semidirectproduct.
Minimality
X hπ G is not necessarily minimal even if G and X are bothminimal.
Indeed, letting π act trivially, the semidirect product is thedirect product X × G (for example, (Z, τp)× (Z, τp)).
X hπ G can be minimal even if X and G are not minimal. Forexample, the group Rh R+ is minimal (Dierolf andSchwanengel).
(Megrelishvili) For a compact abelian group G , the semidirectproduct G hAut(G ) is minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Semidirect Product
For a G -group X , denote by X hπ G the topological semidirectproduct.
Minimality
X hπ G is not necessarily minimal even if G and X are bothminimal.
Indeed, letting π act trivially, the semidirect product is thedirect product X × G (for example, (Z, τp)× (Z, τp)).
X hπ G can be minimal even if X and G are not minimal. Forexample, the group Rh R+ is minimal (Dierolf andSchwanengel).
(Megrelishvili) For a compact abelian group G , the semidirectproduct G hAut(G ) is minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Semidirect Product
For a G -group X , denote by X hπ G the topological semidirectproduct.
Minimality
X hπ G is not necessarily minimal even if G and X are bothminimal.
Indeed, letting π act trivially, the semidirect product is thedirect product X × G (for example, (Z, τp)× (Z, τp)).
X hπ G can be minimal even if X and G are not minimal. Forexample, the group Rh R+ is minimal (Dierolf andSchwanengel).
(Megrelishvili) For a compact abelian group G , the semidirectproduct G hAut(G ) is minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Semidirect Product
For a G -group X , denote by X hπ G the topological semidirectproduct.
Minimality
X hπ G is not necessarily minimal even if G and X are bothminimal.
Indeed, letting π act trivially, the semidirect product is thedirect product X × G (for example, (Z, τp)× (Z, τp)).
X hπ G can be minimal even if X and G are not minimal. Forexample, the group Rh R+ is minimal (Dierolf andSchwanengel).
(Megrelishvili) For a compact abelian group G , the semidirectproduct G hAut(G ) is minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Semidirect Product
For a G -group X , denote by X hπ G the topological semidirectproduct.
Minimality
X hπ G is not necessarily minimal even if G and X are bothminimal.
Indeed, letting π act trivially, the semidirect product is thedirect product X × G (for example, (Z, τp)× (Z, τp)).
X hπ G can be minimal even if X and G are not minimal. Forexample, the group Rh R+ is minimal (Dierolf andSchwanengel).
(Megrelishvili) For a compact abelian group G , the semidirectproduct G hAut(G ) is minimal.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Main Theorem
Theorem
Let G be a compact topological group. Then G hAut(G ) is aminimal group.
The structure of the proof
Let τ be the given topology on G , and σ the compact-opentopology on Aut(G ). Denote by γ the product topology onG hAut(G ). Assume that γ1 ⊆ γ is a coarser Hausdorffgroup topology on G hAut(G ).
Identifying G with the subgroup G × idG , the idea is to showthat γ1|G = γ|G and γ1/G = γ/G , and conclude the proofusing Merson’s lemma.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Main Theorem
Theorem
Let G be a compact topological group. Then G hAut(G ) is aminimal group.
The structure of the proof
Let τ be the given topology on G , and σ the compact-opentopology on Aut(G ). Denote by γ the product topology onG hAut(G ). Assume that γ1 ⊆ γ is a coarser Hausdorffgroup topology on G hAut(G ).
Identifying G with the subgroup G × idG , the idea is to showthat γ1|G = γ|G and γ1/G = γ/G , and conclude the proofusing Merson’s lemma.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Main Theorem
Theorem
Let G be a compact topological group. Then G hAut(G ) is aminimal group.
The structure of the proof
Let τ be the given topology on G , and σ the compact-opentopology on Aut(G ). Denote by γ the product topology onG hAut(G ). Assume that γ1 ⊆ γ is a coarser Hausdorffgroup topology on G hAut(G ).
Identifying G with the subgroup G × idG , the idea is to showthat γ1|G = γ|G and γ1/G = γ/G , and conclude the proofusing Merson’s lemma.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
The ”crucial” steps
The compact open topology σ on Aut(G ) is minimal withinthe class of α-uniform topologies on Aut(G ).
The action α : (Aut(G ), γ1/G )× (G , γ1|G )→ (G , γ1|G ) iscontinuous at the identity (idG , eG ) and thus it is α-uniform.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
The ”crucial” steps
The compact open topology σ on Aut(G ) is minimal withinthe class of α-uniform topologies on Aut(G ).
The action α : (Aut(G ), γ1/G )× (G , γ1|G )→ (G , γ1|G ) iscontinuous at the identity (idG , eG ) and thus it is α-uniform.
Luie Polev Minimality in topological groups
Preliminariesπ-uniform actions
Homeomorphism GroupsSemidirect Product
Luie Polev Minimality in topological groups
Top Related