enric ventura - mas.ncl.ac.uknajd2/alagna/talks/alagna-17-12-08.pdf1.some history algorithmic...
TRANSCRIPT
![Page 1: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/1.jpg)
1.Some history Algorithmic results Needed tools The proof
Deciding endo-fixedness
Enric VenturaDepartament de Matemàtica Aplicada III
Universitat Politècnica de Catalunya
Alagna, December 17, 2008
![Page 2: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/2.jpg)
1.Some history Algorithmic results Needed tools The proof
Outline
1 Some history
2 Algorithmic results
3 Needed tools
4 The proof
![Page 3: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/3.jpg)
1.Some history Algorithmic results Needed tools The proof
Outline
1 Some history
2 Algorithmic results
3 Needed tools
4 The proof
![Page 4: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/4.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 5: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/5.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 6: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/6.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 7: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/7.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 8: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/8.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 9: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/9.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 10: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/10.jpg)
1.Some history Algorithmic results Needed tools The proof
Notation
A = {a1, . . . , an} is a finite alphabet (n letters).A±1 = A ∪ A−1 = {a1, a−1
1 , . . . , an, a−1n }.
Fn is the free group on A.Aut (Fn) ⊆ Mono (Fn) ⊆ End (Fn).I let endomorphisms φ : Fn → Fn act on the right, x 7→ xφ.Fix (φ) = {x ∈ Fn | xφ = x} 6 Fn.If S ⊆ End (Fn) thenFix (S) = {x ∈ Fn | xφ = x ∀φ ∈ S} = ∩φ∈SFix (φ) 6 Fn.
![Page 11: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/11.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed subgroups are complicated
φ : F3 → F3a 7→ ab 7→ bac 7→ ca2
Fix φ = 〈a, bab−1, cac−1〉
ϕ : F4 → F4a 7→ dacb 7→ c−1a−1d−1acc 7→ c−1a−1b−1acd 7→ c−1a−1bc
Fix ϕ = 〈w〉, where...
w = c−1a−1bd−1c−1a−1d−1ad−1c−1b−1acdadacdcdbcda−1a−1d−1
a−1d−1c−1a−1d−1c−1b−1d−1c−1d−1c−1daabcdaccdb−1a−1.
![Page 12: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/12.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed subgroups are complicated
φ : F3 → F3a 7→ ab 7→ bac 7→ ca2
Fix φ = 〈a, bab−1, cac−1〉
ϕ : F4 → F4a 7→ dacb 7→ c−1a−1d−1acc 7→ c−1a−1b−1acd 7→ c−1a−1bc
Fix ϕ = 〈w〉, where...
w = c−1a−1bd−1c−1a−1d−1ad−1c−1b−1acdadacdcdbcda−1a−1d−1
a−1d−1c−1a−1d−1c−1b−1d−1c−1d−1c−1daabcdaccdb−1a−1.
![Page 13: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/13.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed subgroups are complicated
φ : F3 → F3a 7→ ab 7→ bac 7→ ca2
Fix φ = 〈a, bab−1, cac−1〉
ϕ : F4 → F4a 7→ dacb 7→ c−1a−1d−1acc 7→ c−1a−1b−1acd 7→ c−1a−1bc
Fix ϕ = 〈w〉, where...
w = c−1a−1bd−1c−1a−1d−1ad−1c−1b−1acdadacdcdbcda−1a−1d−1
a−1d−1c−1a−1d−1c−1b−1d−1c−1d−1c−1daabcdaccdb−1a−1.
![Page 14: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/14.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed subgroups are complicated
φ : F3 → F3a 7→ ab 7→ bac 7→ ca2
Fix φ = 〈a, bab−1, cac−1〉
ϕ : F4 → F4a 7→ dacb 7→ c−1a−1d−1acc 7→ c−1a−1b−1acd 7→ c−1a−1bc
Fix ϕ = 〈w〉, where...
w = c−1a−1bd−1c−1a−1d−1ad−1c−1b−1acdadacdcdbcda−1a−1d−1
a−1d−1c−1a−1d−1c−1b−1d−1c−1d−1c−1daabcdaccdb−1a−1.
![Page 15: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/15.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed subgroups are complicated
φ : F3 → F3a 7→ ab 7→ bac 7→ ca2
Fix φ = 〈a, bab−1, cac−1〉
ϕ : F4 → F4a 7→ dacb 7→ c−1a−1d−1acc 7→ c−1a−1b−1acd 7→ c−1a−1bc
Fix ϕ = 〈w〉, where...
w = c−1a−1bd−1c−1a−1d−1ad−1c−1b−1acdadacdcdbcda−1a−1d−1
a−1d−1c−1a−1d−1c−1b−1d−1c−1d−1c−1daabcdaccdb−1a−1.
![Page 16: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/16.jpg)
1.Some history Algorithmic results Needed tools The proof
What is known about fixed subgroups ?
Theorem (Dyer-Scott, 75)
Let G 6 Aut (Fn) be a finite group of automorphisms of Fn. Then,Fix (G) 6ff Fn; in particular, r(Fix (G)) 6 n.
Conjecture (Scott)
For every φ ∈ Aut (Fn), r(Fix (φ)) 6 n.
Theorem (Gersten, 83 (published 87))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) <∞.
Theorem (Thomas, 88)
Let G 6 Aut (Fn) be an arbitrary group of automorphisms of Fn. Then,r(Fix (G)) <∞.
![Page 17: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/17.jpg)
1.Some history Algorithmic results Needed tools The proof
What is known about fixed subgroups ?
Theorem (Dyer-Scott, 75)
Let G 6 Aut (Fn) be a finite group of automorphisms of Fn. Then,Fix (G) 6ff Fn; in particular, r(Fix (G)) 6 n.
Conjecture (Scott)
For every φ ∈ Aut (Fn), r(Fix (φ)) 6 n.
Theorem (Gersten, 83 (published 87))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) <∞.
Theorem (Thomas, 88)
Let G 6 Aut (Fn) be an arbitrary group of automorphisms of Fn. Then,r(Fix (G)) <∞.
![Page 18: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/18.jpg)
1.Some history Algorithmic results Needed tools The proof
What is known about fixed subgroups ?
Theorem (Dyer-Scott, 75)
Let G 6 Aut (Fn) be a finite group of automorphisms of Fn. Then,Fix (G) 6ff Fn; in particular, r(Fix (G)) 6 n.
Conjecture (Scott)
For every φ ∈ Aut (Fn), r(Fix (φ)) 6 n.
Theorem (Gersten, 83 (published 87))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) <∞.
Theorem (Thomas, 88)
Let G 6 Aut (Fn) be an arbitrary group of automorphisms of Fn. Then,r(Fix (G)) <∞.
![Page 19: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/19.jpg)
1.Some history Algorithmic results Needed tools The proof
What is known about fixed subgroups ?
Theorem (Dyer-Scott, 75)
Let G 6 Aut (Fn) be a finite group of automorphisms of Fn. Then,Fix (G) 6ff Fn; in particular, r(Fix (G)) 6 n.
Conjecture (Scott)
For every φ ∈ Aut (Fn), r(Fix (φ)) 6 n.
Theorem (Gersten, 83 (published 87))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) <∞.
Theorem (Thomas, 88)
Let G 6 Aut (Fn) be an arbitrary group of automorphisms of Fn. Then,r(Fix (G)) <∞.
![Page 20: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/20.jpg)
1.Some history Algorithmic results Needed tools The proof
Train-tracks
Main result in this story:
Theorem (Bestvina-Handel, 88 (published 92))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) 6 n.
introducing the theory of train-tracks for graphs.
After Bestvina-Handel, live continues ...
Theorem (Imrich-Turner, 89)
Let φ ∈ End (Fn). Then r(Fix (φ)) 6 n.
Theorem (Turner, 96)
Let φ ∈ End (Fn). If φ is not bijective then r(Fix (φ)) 6 n − 1.
![Page 21: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/21.jpg)
1.Some history Algorithmic results Needed tools The proof
Train-tracks
Main result in this story:
Theorem (Bestvina-Handel, 88 (published 92))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) 6 n.
introducing the theory of train-tracks for graphs.
After Bestvina-Handel, live continues ...
Theorem (Imrich-Turner, 89)
Let φ ∈ End (Fn). Then r(Fix (φ)) 6 n.
Theorem (Turner, 96)
Let φ ∈ End (Fn). If φ is not bijective then r(Fix (φ)) 6 n − 1.
![Page 22: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/22.jpg)
1.Some history Algorithmic results Needed tools The proof
Train-tracks
Main result in this story:
Theorem (Bestvina-Handel, 88 (published 92))
Let φ ∈ Aut (Fn). Then r(Fix (φ)) 6 n.
introducing the theory of train-tracks for graphs.
After Bestvina-Handel, live continues ...
Theorem (Imrich-Turner, 89)
Let φ ∈ End (Fn). Then r(Fix (φ)) 6 n.
Theorem (Turner, 96)
Let φ ∈ End (Fn). If φ is not bijective then r(Fix (φ)) 6 n − 1.
![Page 23: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/23.jpg)
1.Some history Algorithmic results Needed tools The proof
Inertia
Definition
A subgroup H 6 Fn is called inert if r(H ∩K ) 6 r(K ) for every K 6 Fn.
Theorem (Dicks-V, 96)
Let G ⊆ Mon (Fn) be an arbitrary set of monomorphisms of Fn. Then,Fix (G) is inert; in particular, r(Fix (G)) 6 n.
Theorem (Bergman, 99)
Let G ⊆ End (Fn) be an arbitrary set of endomorphisms of Fn. Then,r(Fix (G)) 6 n.
Conjecture (V.)
Let φ ∈ End (Fn). Then Fix (φ) is inert.
![Page 24: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/24.jpg)
1.Some history Algorithmic results Needed tools The proof
Inertia
Definition
A subgroup H 6 Fn is called inert if r(H ∩K ) 6 r(K ) for every K 6 Fn.
Theorem (Dicks-V, 96)
Let G ⊆ Mon (Fn) be an arbitrary set of monomorphisms of Fn. Then,Fix (G) is inert; in particular, r(Fix (G)) 6 n.
Theorem (Bergman, 99)
Let G ⊆ End (Fn) be an arbitrary set of endomorphisms of Fn. Then,r(Fix (G)) 6 n.
Conjecture (V.)
Let φ ∈ End (Fn). Then Fix (φ) is inert.
![Page 25: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/25.jpg)
1.Some history Algorithmic results Needed tools The proof
Inertia
Definition
A subgroup H 6 Fn is called inert if r(H ∩K ) 6 r(K ) for every K 6 Fn.
Theorem (Dicks-V, 96)
Let G ⊆ Mon (Fn) be an arbitrary set of monomorphisms of Fn. Then,Fix (G) is inert; in particular, r(Fix (G)) 6 n.
Theorem (Bergman, 99)
Let G ⊆ End (Fn) be an arbitrary set of endomorphisms of Fn. Then,r(Fix (G)) 6 n.
Conjecture (V.)
Let φ ∈ End (Fn). Then Fix (φ) is inert.
![Page 26: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/26.jpg)
1.Some history Algorithmic results Needed tools The proof
Inertia
Definition
A subgroup H 6 Fn is called inert if r(H ∩K ) 6 r(K ) for every K 6 Fn.
Theorem (Dicks-V, 96)
Let G ⊆ Mon (Fn) be an arbitrary set of monomorphisms of Fn. Then,Fix (G) is inert; in particular, r(Fix (G)) 6 n.
Theorem (Bergman, 99)
Let G ⊆ End (Fn) be an arbitrary set of endomorphisms of Fn. Then,r(Fix (G)) 6 n.
Conjecture (V.)
Let φ ∈ End (Fn). Then Fix (φ) is inert.
![Page 27: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/27.jpg)
1.Some history Algorithmic results Needed tools The proof
The four families
DefinitionA subgroup H 6 Fn is said to be
1-auto-fixed if H = Fix (φ) for some φ ∈ Aut (Fn),1-endo-fixed if H = Fix (φ) for some φ ∈ End (Fn),auto-fixed if H = Fix (S) for some S ⊆ Aut (Fn),endo-fixed if H = Fix (S) for some S ⊆ End (Fn),
Easy to see that 1-mono-fixed = 1-auto-fixed.
![Page 28: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/28.jpg)
1.Some history Algorithmic results Needed tools The proof
The four families
DefinitionA subgroup H 6 Fn is said to be
1-auto-fixed if H = Fix (φ) for some φ ∈ Aut (Fn),1-endo-fixed if H = Fix (φ) for some φ ∈ End (Fn),auto-fixed if H = Fix (S) for some S ⊆ Aut (Fn),endo-fixed if H = Fix (S) for some S ⊆ End (Fn),
Easy to see that 1-mono-fixed = 1-auto-fixed.
![Page 29: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/29.jpg)
1.Some history Algorithmic results Needed tools The proof
The four families
DefinitionA subgroup H 6 Fn is said to be
1-auto-fixed if H = Fix (φ) for some φ ∈ Aut (Fn),1-endo-fixed if H = Fix (φ) for some φ ∈ End (Fn),auto-fixed if H = Fix (S) for some S ⊆ Aut (Fn),endo-fixed if H = Fix (S) for some S ⊆ End (Fn),
Easy to see that 1-mono-fixed = 1-auto-fixed.
![Page 30: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/30.jpg)
1.Some history Algorithmic results Needed tools The proof
The four families
DefinitionA subgroup H 6 Fn is said to be
1-auto-fixed if H = Fix (φ) for some φ ∈ Aut (Fn),1-endo-fixed if H = Fix (φ) for some φ ∈ End (Fn),auto-fixed if H = Fix (S) for some S ⊆ Aut (Fn),endo-fixed if H = Fix (S) for some S ⊆ End (Fn),
Easy to see that 1-mono-fixed = 1-auto-fixed.
![Page 31: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/31.jpg)
1.Some history Algorithmic results Needed tools The proof
The four families
DefinitionA subgroup H 6 Fn is said to be
1-auto-fixed if H = Fix (φ) for some φ ∈ Aut (Fn),1-endo-fixed if H = Fix (φ) for some φ ∈ End (Fn),auto-fixed if H = Fix (S) for some S ⊆ Aut (Fn),endo-fixed if H = Fix (S) for some S ⊆ End (Fn),
Easy to see that 1-mono-fixed = 1-auto-fixed.
![Page 32: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/32.jpg)
1.Some history Algorithmic results Needed tools The proof
Relations between them
1− auto − fixed ⊆ 1− endo − fixed
∩| ∩|
auto − fixed ⊆ endo − fixed
![Page 33: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/33.jpg)
1.Some history Algorithmic results Needed tools The proof
Relations between them
1− auto − fixed⊆6= 1− endo − fixed
∩| ∩|
auto − fixed⊆6= endo − fixed
Example (Martino-V., 03; Ciobanu-Dicks, 06)
Let F3 = 〈a, b, c〉 and H = 〈b, cacbab−1c−1〉 6 F3. Then,H = Fix (a 7→ 1, b 7→ b, c 7→ cacbab−1c−1), but H is NOT the fixedsubgroup of any set of automorphism of F3.
![Page 34: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/34.jpg)
1.Some history Algorithmic results Needed tools The proof
Relations between them
1− auto − fixed⊆6= 1− endo − fixed
∩| ‖ ? ∩| ‖ ?
auto − fixed⊆6= endo − fixed
Theorem (Martino-V., 00)
Let S ⊆ End (Fn). Then, ∃φ ∈ 〈S〉 such that Fix (S) 6ff Fix (φ).
But... free factors of 1-endo-fixed (1-auto-fixed) subgroups need notbe even endo-fixed (auto-fixed).
![Page 35: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/35.jpg)
1.Some history Algorithmic results Needed tools The proof
Outline
1 Some history
2 Algorithmic results
3 Needed tools
4 The proof
![Page 36: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/36.jpg)
1.Some history Algorithmic results Needed tools The proof
Computing fixed subgroups
Proposition (Turner, 86)
There exists a pseudo-algorithm to compute fix of an endo.
Easy but is not an algorithm...
Theorem (Maslakova, 03)
Fixed subgroups of automorphisms of Fn are computable.
Difficult but it is an algorithm!
Conjecture
Fixed subgroups of endomorphisms of Fn are computable.
![Page 37: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/37.jpg)
1.Some history Algorithmic results Needed tools The proof
Computing fixed subgroups
Proposition (Turner, 86)
There exists a pseudo-algorithm to compute fix of an endo.
Easy but is not an algorithm...
Theorem (Maslakova, 03)
Fixed subgroups of automorphisms of Fn are computable.
Difficult but it is an algorithm!
Conjecture
Fixed subgroups of endomorphisms of Fn are computable.
![Page 38: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/38.jpg)
1.Some history Algorithmic results Needed tools The proof
Computing fixed subgroups
Proposition (Turner, 86)
There exists a pseudo-algorithm to compute fix of an endo.
Easy but is not an algorithm...
Theorem (Maslakova, 03)
Fixed subgroups of automorphisms of Fn are computable.
Difficult but it is an algorithm!
Conjecture
Fixed subgroups of endomorphisms of Fn are computable.
![Page 39: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/39.jpg)
1.Some history Algorithmic results Needed tools The proof
Deciding fixedness
In this talk, I’ll solve the two dual problems:
TheoremGiven H 6fg Fn, one can algorithmically decide whether
i) H is auto-fixed or not,ii) H is endo-fixed or not,
and in the affirmative case, find a finite family, S = {φ1, . . . , φm}, ofautomorphisms (endomorphisms) of Fn such that Fix (S) = H.
Conjecture
Given H 6fg Fn, one can algorithmically decide whetheri) H is 1-auto-fixed or not,ii) H is 1-endo-fixed or not,
and in the affirmative case, find one automorphism (endomorphism)φ of Fn such that Fix (φ) = H.
![Page 40: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/40.jpg)
1.Some history Algorithmic results Needed tools The proof
Deciding fixedness
In this talk, I’ll solve the two dual problems:
TheoremGiven H 6fg Fn, one can algorithmically decide whether
i) H is auto-fixed or not,ii) H is endo-fixed or not,
and in the affirmative case, find a finite family, S = {φ1, . . . , φm}, ofautomorphisms (endomorphisms) of Fn such that Fix (S) = H.
Conjecture
Given H 6fg Fn, one can algorithmically decide whetheri) H is 1-auto-fixed or not,ii) H is 1-endo-fixed or not,
and in the affirmative case, find one automorphism (endomorphism)φ of Fn such that Fix (φ) = H.
![Page 41: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/41.jpg)
1.Some history Algorithmic results Needed tools The proof
Deciding fixedness
In this talk, I’ll solve the two dual problems:
TheoremGiven H 6fg Fn, one can algorithmically decide whether
i) H is auto-fixed or not,ii) H is endo-fixed or not,
and in the affirmative case, find a finite family, S = {φ1, . . . , φm}, ofautomorphisms (endomorphisms) of Fn such that Fix (S) = H.
Conjecture
Given H 6fg Fn, one can algorithmically decide whetheri) H is 1-auto-fixed or not,ii) H is 1-endo-fixed or not,
and in the affirmative case, find one automorphism (endomorphism)φ of Fn such that Fix (φ) = H.
![Page 42: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/42.jpg)
1.Some history Algorithmic results Needed tools The proof
Outline
1 Some history
2 Algorithmic results
3 Needed tools
4 The proof
![Page 43: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/43.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed closures
DefinitionGiven H 6fg Fn, we define the (auto- and endo-) stabilizer of H,respectively, as
AutH(Fn) = {φ ∈ Aut (Fn) | H 6 Fix (φ)} 6 Aut (Fn)
andEndH(Fn) = {φ ∈ End (Fn) | H 6 Fix (φ)} 6 End (Fn)
DefinitionGiven H 6 Fn, we define the auto-closure and endo-closure of H as
a-Cl (H) = Fix (AutH(Fn)) > H
ande-Cl (H) = Fix (EndH(Fn)) > H
![Page 44: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/44.jpg)
1.Some history Algorithmic results Needed tools The proof
Fixed closures
DefinitionGiven H 6fg Fn, we define the (auto- and endo-) stabilizer of H,respectively, as
AutH(Fn) = {φ ∈ Aut (Fn) | H 6 Fix (φ)} 6 Aut (Fn)
andEndH(Fn) = {φ ∈ End (Fn) | H 6 Fix (φ)} 6 End (Fn)
DefinitionGiven H 6 Fn, we define the auto-closure and endo-closure of H as
a-Cl (H) = Fix (AutH(Fn)) > H
ande-Cl (H) = Fix (EndH(Fn)) > H
![Page 45: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/45.jpg)
1.Some history Algorithmic results Needed tools The proof
Main result
Theorem
For every H 6fg Fn, a-Cl (H) and e-Cl (H) are finitely generated andone can algorithmically compute bases for them.
Corollary
Auto-fixedness and endo-fixedness are decidable.
Observe that e-Cl (H) 6 a-Cl (H) but, in general, they are not equal.
![Page 46: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/46.jpg)
1.Some history Algorithmic results Needed tools The proof
Main result
Theorem
For every H 6fg Fn, a-Cl (H) and e-Cl (H) are finitely generated andone can algorithmically compute bases for them.
Corollary
Auto-fixedness and endo-fixedness are decidable.
Observe that e-Cl (H) 6 a-Cl (H) but, in general, they are not equal.
![Page 47: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/47.jpg)
1.Some history Algorithmic results Needed tools The proof
Retracts
DefinitionA subgroup H 6 Fn is a retract if there exists a retraction, i.e. amorphism ρ : Fn → H which restricts to the identity of H.
Free factors are retracts, but there are more.
Observation
If H 6 Fn is a retract then r(H) 6 n (and, r(H) = n ⇔ H = Fn).
Observation (Turner)
It is algorithmically decidable whether a given H 6 Fn is a retract ornot.
![Page 48: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/48.jpg)
1.Some history Algorithmic results Needed tools The proof
Retracts
DefinitionA subgroup H 6 Fn is a retract if there exists a retraction, i.e. amorphism ρ : Fn → H which restricts to the identity of H.
Free factors are retracts, but there are more.
Observation
If H 6 Fn is a retract then r(H) 6 n (and, r(H) = n ⇔ H = Fn).
Observation (Turner)
It is algorithmically decidable whether a given H 6 Fn is a retract ornot.
![Page 49: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/49.jpg)
1.Some history Algorithmic results Needed tools The proof
Retracts
DefinitionA subgroup H 6 Fn is a retract if there exists a retraction, i.e. amorphism ρ : Fn → H which restricts to the identity of H.
Free factors are retracts, but there are more.
Observation
If H 6 Fn is a retract then r(H) 6 n (and, r(H) = n ⇔ H = Fn).
Observation (Turner)
It is algorithmically decidable whether a given H 6 Fn is a retract ornot.
![Page 50: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/50.jpg)
1.Some history Algorithmic results Needed tools The proof
The stable image
Definition
Let φ ∈ End (Fn). The stable image of φ is Fnφ∞ = ∩∞i=1Fnφ
i .
Theorem (Imrich-Turner, 89)
For every endomorphism φ : Fn → Fn,i) Fnφ
∞ is φ-invariant,ii) the restriction φ : Fnφ
∞ → Fnφ∞ is an isomorphism,
iii) Fnφ∞ is a retract.
Example: For φ : F2 → F2, a 7→ a, b 7→ b2, we have F2φ = 〈a, b2〉,F2φ
2 = 〈a, b4〉, F2φ3 = 〈a, b8〉, . . .. So, F2φ
∞ = 〈a〉 6ff F2.
![Page 51: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/51.jpg)
1.Some history Algorithmic results Needed tools The proof
The stable image
Definition
Let φ ∈ End (Fn). The stable image of φ is Fnφ∞ = ∩∞i=1Fnφ
i .
Theorem (Imrich-Turner, 89)
For every endomorphism φ : Fn → Fn,i) Fnφ
∞ is φ-invariant,ii) the restriction φ : Fnφ
∞ → Fnφ∞ is an isomorphism,
iii) Fnφ∞ is a retract.
Example: For φ : F2 → F2, a 7→ a, b 7→ b2, we have F2φ = 〈a, b2〉,F2φ
2 = 〈a, b4〉, F2φ3 = 〈a, b8〉, . . .. So, F2φ
∞ = 〈a〉 6ff F2.
![Page 52: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/52.jpg)
1.Some history Algorithmic results Needed tools The proof
The stable image
Definition
Let φ ∈ End (Fn). The stable image of φ is Fnφ∞ = ∩∞i=1Fnφ
i .
Theorem (Imrich-Turner, 89)
For every endomorphism φ : Fn → Fn,i) Fnφ
∞ is φ-invariant,ii) the restriction φ : Fnφ
∞ → Fnφ∞ is an isomorphism,
iii) Fnφ∞ is a retract.
Example: For φ : F2 → F2, a 7→ a, b 7→ b2, we have F2φ = 〈a, b2〉,F2φ
2 = 〈a, b4〉, F2φ3 = 〈a, b8〉, . . .. So, F2φ
∞ = 〈a〉 6ff F2.
![Page 53: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/53.jpg)
1.Some history Algorithmic results Needed tools The proof
Stallings’ graphs and intersections
Theorem (Stallings, 83)
For any free group Fn = F (A), there is an effectively computablebijection
{f.g. subgroups of Fn} ←→ {finite A-labeled core graphs}
TheoremGiven sets of generators for H, K 6fg Fn, one can algorithmicallycompute a basis for H ∩ K .
![Page 54: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/54.jpg)
1.Some history Algorithmic results Needed tools The proof
Stallings’ graphs and intersections
Theorem (Stallings, 83)
For any free group Fn = F (A), there is an effectively computablebijection
{f.g. subgroups of Fn} ←→ {finite A-labeled core graphs}
TheoremGiven sets of generators for H, K 6fg Fn, one can algorithmicallycompute a basis for H ∩ K .
![Page 55: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/55.jpg)
1.Some history Algorithmic results Needed tools The proof
Algebraic extensions
DefinitionAn extension of subgroups H 6 K 6 Fn is called algebraic, denotedH 6alg K , if H is not contained in any proper free factor of K . Write
AE(H) = {K 6 Fn | H 6alg K}.
Theorem (Takahasi, 51)
If H 6fg Fn then AE(H) is finite and computable (i.e. H has finitelymany algebraic extensions, all of them are finitely generated, andbases are computable from H).
![Page 56: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/56.jpg)
1.Some history Algorithmic results Needed tools The proof
Algebraic extensions
DefinitionAn extension of subgroups H 6 K 6 Fn is called algebraic, denotedH 6alg K , if H is not contained in any proper free factor of K . Write
AE(H) = {K 6 Fn | H 6alg K}.
Theorem (Takahasi, 51)
If H 6fg Fn then AE(H) is finite and computable (i.e. H has finitelymany algebraic extensions, all of them are finitely generated, andbases are computable from H).
![Page 57: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/57.jpg)
1.Some history Algorithmic results Needed tools The proof
Outline
1 Some history
2 Algorithmic results
3 Needed tools
4 The proof
![Page 58: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/58.jpg)
1.Some history Algorithmic results Needed tools The proof
The automorphism case
Theorem (McCool)
Let H 6fg Fn. Then AutH(Fn) is finitely generated (in fact, finitelypresented) and a finite set of generators (and relations) isalgorithmically computable from H.
Theorem
For every H 6fg Fn, a-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. a-Cl (H) = Fix (AutH(Fn))= Fix (〈φ1, . . . , φm〉)= Fix (φ1) ∩ · · · ∩ Fix (φm). �
![Page 59: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/59.jpg)
1.Some history Algorithmic results Needed tools The proof
The automorphism case
Theorem (McCool)
Let H 6fg Fn. Then AutH(Fn) is finitely generated (in fact, finitelypresented) and a finite set of generators (and relations) isalgorithmically computable from H.
Theorem
For every H 6fg Fn, a-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. a-Cl (H) = Fix (AutH(Fn))= Fix (〈φ1, . . . , φm〉)= Fix (φ1) ∩ · · · ∩ Fix (φm). �
![Page 60: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/60.jpg)
1.Some history Algorithmic results Needed tools The proof
The automorphism case
Theorem (McCool)
Let H 6fg Fn. Then AutH(Fn) is finitely generated (in fact, finitelypresented) and a finite set of generators (and relations) isalgorithmically computable from H.
Theorem
For every H 6fg Fn, a-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. a-Cl (H) = Fix (AutH(Fn))= Fix (〈φ1, . . . , φm〉)= Fix (φ1) ∩ · · · ∩ Fix (φm). �
![Page 61: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/61.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 62: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/62.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 63: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/63.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 64: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/64.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 65: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/65.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 66: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/66.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 67: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/67.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Theorem
For every H 6fg Fn, e-Cl (H) is finitely generated and algorithmicallycomputable.
Proof. Given H (in generators),Compute AE(H) = {H1, H2, . . . , Hq}.Select those which are retracts, AE ret(H) = {H1, . . . , Hr}(1 6 r 6 q).Write the generators of H as words on the generators of eachone of these Hi ’s, i = 1, . . . , r .Compute bases for a-Cl H1(H), . . . , a-Cl Hr (H).Compute a basis for a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H).
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
![Page 68: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/68.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
Proof. Let us see that
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take β ∈ End (Fn) with H 6 Fix (β).∃i = 1, . . . , r such that H 6alg Hi 6ff Fβ∞ 6 F .Now, β restricts to an automorphism α : Hi → Hi .And, clearly, Fix (α) = Fix (β) > H.Hence, we have "6”.
![Page 69: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/69.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
Proof. Let us see that
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take β ∈ End (Fn) with H 6 Fix (β).∃i = 1, . . . , r such that H 6alg Hi 6ff Fβ∞ 6 F .Now, β restricts to an automorphism α : Hi → Hi .And, clearly, Fix (α) = Fix (β) > H.Hence, we have "6”.
![Page 70: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/70.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
Proof. Let us see that
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take β ∈ End (Fn) with H 6 Fix (β).∃i = 1, . . . , r such that H 6alg Hi 6ff Fβ∞ 6 F .Now, β restricts to an automorphism α : Hi → Hi .And, clearly, Fix (α) = Fix (β) > H.Hence, we have "6”.
![Page 71: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/71.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
Proof. Let us see that
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take β ∈ End (Fn) with H 6 Fix (β).∃i = 1, . . . , r such that H 6alg Hi 6ff Fβ∞ 6 F .Now, β restricts to an automorphism α : Hi → Hi .And, clearly, Fix (α) = Fix (β) > H.Hence, we have "6”.
![Page 72: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/72.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
Proof. Let us see that
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take β ∈ End (Fn) with H 6 Fix (β).∃i = 1, . . . , r such that H 6alg Hi 6ff Fβ∞ 6 F .Now, β restricts to an automorphism α : Hi → Hi .And, clearly, Fix (α) = Fix (β) > H.Hence, we have "6”.
![Page 73: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/73.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
Claim
a-Cl H1(H) ∩ · · · ∩ a-Cl Hr (H) = e-Cl (H).
Proof. Let us see that
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take β ∈ End (Fn) with H 6 Fix (β).∃i = 1, . . . , r such that H 6alg Hi 6ff Fβ∞ 6 F .Now, β restricts to an automorphism α : Hi → Hi .And, clearly, Fix (α) = Fix (β) > H.Hence, we have "6”.
![Page 74: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/74.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take Hi ∈ AE ret(H), and α ∈ Aut (Hi) with H 6 Fix (α).Let ρ : F → Hi be a retraction, and consider the endomorphism,β : Fn
ρ→ Hiα→ Hi
ι↪→ Fn.
Clearly, H 6 Fix (α) = Fix (β).Hence, we have ">”. �
![Page 75: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/75.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take Hi ∈ AE ret(H), and α ∈ Aut (Hi) with H 6 Fix (α).Let ρ : F → Hi be a retraction, and consider the endomorphism,β : Fn
ρ→ Hiα→ Hi
ι↪→ Fn.
Clearly, H 6 Fix (α) = Fix (β).Hence, we have ">”. �
![Page 76: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/76.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take Hi ∈ AE ret(H), and α ∈ Aut (Hi) with H 6 Fix (α).Let ρ : F → Hi be a retraction, and consider the endomorphism,β : Fn
ρ→ Hiα→ Hi
ι↪→ Fn.
Clearly, H 6 Fix (α) = Fix (β).Hence, we have ">”. �
![Page 77: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/77.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take Hi ∈ AE ret(H), and α ∈ Aut (Hi) with H 6 Fix (α).Let ρ : F → Hi be a retraction, and consider the endomorphism,β : Fn
ρ→ Hiα→ Hi
ι↪→ Fn.
Clearly, H 6 Fix (α) = Fix (β).Hence, we have ">”. �
![Page 78: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/78.jpg)
1.Some history Algorithmic results Needed tools The proof
The endomorphism case
r⋂i=1
⋂α ∈ Aut (Hi )H 6 Fix (α)
Fix (α) =⋂
β ∈ End (Fn)H 6 Fix (β)
Fix (β).
Take Hi ∈ AE ret(H), and α ∈ Aut (Hi) with H 6 Fix (α).Let ρ : F → Hi be a retraction, and consider the endomorphism,β : Fn
ρ→ Hiα→ Hi
ι↪→ Fn.
Clearly, H 6 Fix (α) = Fix (β).Hence, we have ">”. �
![Page 79: Enric Ventura - mas.ncl.ac.uknajd2/alagna/talks/Alagna-17-12-08.pdf1.Some history Algorithmic results Needed tools The proof Outline 1 Some history 2 Algorithmic results 3 Needed tools](https://reader030.vdocuments.us/reader030/viewer/2022040623/5d443c5788c993ea558d93b7/html5/thumbnails/79.jpg)
1.Some history Algorithmic results Needed tools The proof
THANKS