Collapsing 3-manifolds

Size: px
Start display at page:

Download "Collapsing 3-manifolds"

Transcription

1 Collapsing 3-manifolds L. Bessières, G. Besson, M. Boileau, S. Maillot, J. Porti 4th William Rowan Hamilton Geometry and Topology Workshop HMI, TCD August 29, 2008 Collapsing 3-manifolds p.1/15

2 Main Theorem (Perelman) (Mn, 3 g n ) n seq. of closed, irreducible and orientable 3-mflds s.t. π 1 (Mn) 3 1 g n volume collapses g n has local curvature bounds (LCB) Then Mn 3 is a graph manifold for n large. Graph: union of Seifert fibered Collapsing 3-manifolds p.2/15

3 Main Theorem (Perelman) (M 3 n, g n ) n seq. of closed, irreducible and orientable 3-mflds s.t. π 1 (M 3 n) 1 g n volume collapses g n has local curvature bounds (LCB) Graph: union of Seifert fibered Then M 3 n is a graph manifold for n large. Those metrics appear at the end of Perelman s Ricci flow Shioya-Yamaguchi: Alexandrov spaces (without π 1 1 nor LCB) Collapsing 3-manifolds p.2/15

4 Main Theorem (Perelman) (M 3 n, g n ) n seq. of closed, irreducible and orientable 3-mflds s.t. π 1 (M 3 n) 1 g n volume collapses g n has local curvature bounds (LCB) Graph: union of Seifert fibered Then M 3 n is a graph manifold for n large. Those metrics appear at the end of Perelman s Ricci flow Shioya-Yamaguchi: Alexandrov spaces (without π 1 1 nor LCB) Kleiner-Lott and Morgan-Tian (without π 1 1) Collapsing 3-manifolds p.2/15

5 Main Theorem (Perelman) (M 3 n, g n ) n seq. of closed, irreducible and orientable 3-mflds s.t. π 1 (M 3 n) 1 g n volume collapses g n has local curvature bounds (LCB) Graph: union of Seifert fibered Then M 3 n is a graph manifold for n large. Those metrics appear at the end of Perelman s Ricci flow Shioya-Yamaguchi: Alexandrov spaces (without π 1 1 nor LCB) Kleiner-Lott and Morgan-Tian (without π 1 1) BBBMP: Proof relies on Thurston s geometrization for Haken mnflds. This doesn t prove Poincaré, but required for hyperbolization. Part of a larger project. Collapsing 3-manifolds p.2/15

6 Volume collapse (M 3 n, g n ) n volume collapses: ε n 0 s.t. for all x M 3 n there exists 0 < ρ n (x) < 1 satisfying: sec 1 ρ n (x) 2 on B(x, ρ n(x)) and vol(b(x, ρ n (x))) ρ n (x) 3 ε n Collapsing 3-manifolds p.3/15

7 Volume collapse (M 3 n, g n ) n volume collapses: ε n 0 s.t. for all x M 3 n there exists 0 < ρ n (x) < 1 satisfying: sec 1 ρ n (x) 2 on B(x, ρ n(x)) and vol(b(x, ρ n (x))) ρ n (x) 3 ε n Scale invariant inequalities: Normalize by an homotethy to have ρ n (x) = 1, get: sec 1 and vol(b(x, 1)) ε n. When sec C, a bound on the volume is equivalent to a bound on the injectivity radius Collapsing 3-manifolds p.3/15

8 Volume collapse (M 3 n, g n ) n volume collapses: ε n 0 s.t. for all x M 3 n there exists 0 < ρ n (x) < 1 satisfying: sec 1 ρ n (x) 2 on B(x, ρ n(x)) and vol(b(x, ρ n (x))) ρ n (x) 3 ε n Scale invariant inequalities: Normalize by an homotethy to have ρ n (x) = 1, get: sec 1 and vol(b(x, 1)) ε n. When sec C, a bound on the volume is equivalent to a bound on the injectivity radius ρ n (x)= collapsing scale Collapsing 3-manifolds p.3/15

9 Local curvature bounds Dfn. A sequence (Mn, 3 g n ) has local curvature bounds if: δ > 0 r = r(δ) > 0, K 0 = K 0 (δ) and K 1 = K 1 (δ) such that: If 0 < r < r(δ), vol(b(x,r)) r > δ and sec 1 3 r on B(x, r), then 2 Rm(x) < K 0 r 2 and Rm(x) < K 1 r 3 The constants r(δ), K 0 (δ) and K 1 (δ) are independent of n. Collapsing 3-manifolds p.4/15

10 Local curvature bounds Dfn. A sequence (Mn, 3 g n ) has local curvature bounds if: δ > 0 r = r(δ) > 0, K 0 = K 0 (δ) and K 1 = K 1 (δ) such that: If 0 < r < r(δ), vol(b(x,r)) r > δ and sec 1 3 r on B(x, r), then 2 Rm(x) < K 0 r 2 and Rm(x) < K 1 r 3 The constants r(δ), K 0 (δ) and K 1 (δ) are independent of n. Scale invariant inequalities. When r 0, vol(b(x,r)) r 4π and r 2 Thus such an r always exist, but r ρ n (x) = collapsing scale r x ρ n (x) Collapsing 3-manifolds p.4/15

11 Scheme of the proof (M 3 n, g n ) irr, π vol. collapses + Loc.Curv.Bds M 3 n graph Collapsing 3-manifolds p.5/15

12 Scheme of the proof (M 3 n, g n ) irr, π vol. collapses + Loc.Curv.Bds M 3 n graph 1 Find local models: metric balls B(x, ν x ) that are Volume collapsed: sec 1 ν and vol(b(x,ν x)) x 2 ν < ε x 3 n 0 Homeomorphic to B 3, S 1 D 2, S 2 I, T 2 I or K 2 I. Collapsing 3-manifolds p.5/15

13 Scheme of the proof (M 3 n, g n ) irr, π vol. collapses + Loc.Curv.Bds M 3 n graph 1 Find local models: metric balls B(x, ν x ) that are Volume collapsed: sec 1 ν and vol(b(x,ν x)) x 2 ν < ε x 3 n 0 Homeomorphic to B 3, S 1 D 2, S 2 I, T 2 I or K 2 I. 2 For one of the local models V = B(x, ν x ) the image of π 1 (V) π(m 3 n) is nontrivial. Hence M 3 n \ V is Haken, and geometric, by Thurston. Collapsing 3-manifolds p.5/15

14 Scheme of the proof (M 3 n, g n ) irr, π vol. collapses + Loc.Curv.Bds M 3 n graph 1 Find local models: metric balls B(x, ν x ) that are Volume collapsed: sec 1 ν and vol(b(x,ν x)) x 2 ν < ε x 3 n 0 Homeomorphic to B 3, S 1 D 2, S 2 I, T 2 I or K 2 I. 2 For one of the local models V = B(x, ν x ) the image of π 1 (V) π(m 3 n) is nontrivial. Hence M 3 n \ V is Haken, and geometric, by Thurston. 3 Construct a covering of dim 2 of M 3 n \ V by local models B(x, ν x ). (dim 2 means that every point belongs to at most three open sets). and dim 0 on (M 3 n \ V). Hence the simplicial volume M 3 n \ V = 0. Collapsing 3-manifolds p.5/15

15 Scheme of the proof 1 Find local models: metric balls B(x, ν x ) that are Volume collapsed: sec 1 ν and vol(b(x,ν x)) x 2 ν < ε x 3 n 0 Homeomorphic to B 3, S 1 D 2, S 2 I, T 2 I or K 2 I. 2 For one of the local models V = B(x, ν x ) the image of π 1 (V) π(m 3 n) is nontrivial. Hence M 3 n \ V is Haken, and geometric, by Thurston. 3 Construct a covering of dim 2 of M 3 n \ V by local models B(x, ν x ). (dim 2 means that every point belongs to at most three open sets). and dim 0 on (M 3 n \ V). Hence the simplicial volume M 3 n \ V = 0. Thus M 3 n \ V is graph, and so is M 3 n. Collapsing 3-manifolds p.5/15

16 Local models Lemma D > 0 n 0 = n 0 (D) such that for n > n 0 : either (M 3 n, g n ) is 1 D -close to X3 compact with sec 0 or x M 3 n ν x > 0 with: B(x, ν x ) 1 D -close to N ν x (S) X 3, X 3 noncompact with sec 0 and soul S, diam(s) ν x D vol(b(x,ν x)) ν 3 x < 1 D and sec B(x,ν x ) 1 ν 2 x Collapsing 3-manifolds p.6/15

17 Local models Lemma D > 0 n 0 = n 0 (D) such that for n > n 0 : either (M 3 n, g n ) is 1 D -close to X3 compact with sec 0 or x M 3 n ν x > 0 with: B(x, ν x ) 1 D -close to N ν x (S) X 3, X 3 noncompact with sec 0 and soul S, diam(s) ν x D vol(b(x,ν x)) ν 3 x < 1 D and sec B(x,ν x ) 1 ν 2 x Cheeger-Gromoll: X 3 = normal bundle of its soul S =, S 1, S 2, T 2, K 2. Hence B(x, ν x ) = B 3, S 1 D 2, S 2 I, T 2 I, K 2 I. S x ν x Collapsing 3-manifolds p.6/15

18 Local models Lemma D > 0 n 0 = n 0 (D) such that for n > n 0 : either (M 3 n, g n ) is 1 D -close to X3 compact with sec 0 or x M 3 n ν x > 0 with: B(x, ν x ) 1 D -close to N ν x (S) X 3, X 3 noncompact with sec 0 and soul S, diam(s) ν x D vol(b(x,ν x)) ν 3 x < 1 D and sec B(x,ν x ) 1 ν 2 x Proof by contradiction. Assume there is D 0 and x n M 3 n a seq. of counterexamples Set λ n = inf{r vol(b(x,r) r 3 1 D 0 } Claim: Up to subsequence 1 λ n B(x n, ρ n (x n )) X 3 Riemannian with sec 0 Collapsing 3-manifolds p.6/15

19 Blow up x n M 3 n seq. of counterexamples. Let λ n = inf{r vol(b(x,r) r 3 1 D 0 }. Claim: 1 λ n B(x n, ρ n (x n )) X 3 Riemannian with sec 0. Collapsing 3-manifolds p.7/15

20 Blow up x n M 3 n seq. of counterexamples. Let λ n = inf{r vol(b(x,r) r 3 1 D 0 }. Claim: 1 λ n B(x n, ρ n (x n )) X 3 Riemannian with sec 0. Proof By continuity, vol(b(x n,λ n )) λ = 1 vol(b(x,r)) 3 n D 0. (lim r 0 r = 4π 3 3 ). We knew sec 1 ρ n (x n ) on B(x 2 n, ρ n (x n )) and vol(b(x n,ρ n (x n ))) ρ n (x n ) ε 3 n. Since ε n 0 ρ n(x n ) λ n Collapsing 3-manifolds p.7/15

21 Blow up x n M 3 n seq. of counterexamples. Let λ n = inf{r vol(b(x,r) r 3 1 D 0 }. Claim: 1 λ n B(x n, ρ n (x n )) X 3 Riemannian with sec 0. Proof By continuity, vol(b(x n,λ n )) λ = 1 vol(b(x,r)) 3 n D 0. (lim r 0 r = 4π 3 3 ). We knew sec 1 ρ n (x n ) on B(x 2 n, ρ n (x n )) and vol(b(x n,ρ n (x n ))) ρ n (x n ) ε 3 n. Since ε n 0 ρ n(x n ) λ n Hence 1 λ n B(x n, ρ n (x n )) has curvature λ2 n ρ n (x n ) 0 2 and HG-converges to a complete metric space X 3 Collapsing 3-manifolds p.7/15

22 Blow up x n M 3 n seq. of counterexamples. Let λ n = inf{r vol(b(x,r) r 3 1 D 0 }. Claim: 1 λ n B(x n, ρ n (x n )) X 3 Riemannian with sec 0. Proof By continuity, vol(b(x n,λ n )) λ = 1 vol(b(x,r)) 3 n D 0. (lim r 0 r = 4π 3 3 ). We knew sec 1 ρ n (x n ) on B(x 2 n, ρ n (x n )) and vol(b(x n,ρ n (x n ))) ρ n (x n ) ε 3 n. Since ε n 0 ρ n(x n ) λ n Hence 1 λ n B(x n, ρ n (x n )) has curvature λ2 n ρ n (x n ) 0 2 and HG-converges to a complete metric space X 3 Local Curvature Bounds: (LCB apply by the choice of λ n ) Rm, Rm < C unif. on balls of bounded radius in 1 λ n B(x n, ρ n (x n )) X 3 is Riemannian and the convergence is C Collapsing 3-manifolds p.7/15

23 Back to local models We have shown: Lemma D > 0 n 0 = n 0 (D) such that for n > n 0 : either (M 3 n, g n ) is 1 D -close X3 compact with sec 0 or x M 3 n ν x > 0 with: B(x, ν x ) 1 D -close to N ν x (S) X 3, X 3 noncompact with sec 0 and soul S, diam(s) ν x D vol(b(x,ν x)) ν 3 x < 1 D and sec B(x,ν x ) 1 ν 2 x B(x, ν x ) = B 3, S 1 D 2, S 2 I, T 2 I, K 2 I. Collapsing 3-manifolds p.8/15

24 Back to local models Lemma D > 0 n 0 = n 0 (D) such that for n > n 0 : either (M 3 n, g n ) is 1 D -close X3 compact with sec 0 or x M 3 n ν x > 0 with: B(x, ν x ) 1 D -close to N ν x (S) X 3, X 3 noncompact with sec 0 and soul S, diam(s) ν x D vol(b(x,ν x)) ν 3 x < 1 D and sec B(x,ν x ) 1 ν 2 x B(x, ν x ) = B 3, S 1 D 2, S 2 I, T 2 I, K 2 I. Compact mfls with curv 0 are understood (geometric) We assume only non compact models B(x, ν x ) occur: S x ν x Collapsing 3-manifolds p.8/15

25 A local model has nontrivial π 1 M 3 n covered by local models B(x, ν x ) 1 D N ν x (S) X 3 noncompact, Claim If D suff. large, then there exists a local model V = B(x, ν x ) s.t. Im(π 1 (V) π 1 (M 3 n)) {1} With the claim M 3 n \ V is Haken. Collapsing 3-manifolds p.9/15

26 A local model has nontrivial π 1 M 3 n covered by local models B(x, ν x ) 1 D N ν x (S) X 3 noncompact, Claim If D suff. large, then there exists a local model V = B(x, ν x ) s.t. Im(π 1 (V) π 1 (M 3 n)) {1} With the claim M 3 n \ V is Haken. Proof By contradiction. Assume Im(π 1 (B(x, ν x )) π 1 (M 3 n)) = {1}, x M 3 n. Find a covering of M 3 n by B(x, ν x ) and shrink it to have dim 2. Theorem (Gómez-Larrañaga, González-Acuña) N 3 irr., or., closed, π 1 (N 3 ) 1. Then N 3 doesn t admit a covering {U i } i I of dim 2 such that Im(π 1 (U i ) π 1 (N 3 )) = {1} i I. Collapsing 3-manifolds p.9/15

27 Construction of the covering DEF: triv(x) = sup r π 1 (B(x, r)) π 1 (M 3 n) is trivial and B(x, r) B(x, r ) with sec B(x,r ) 1 (r ) 2 and vol(b(x,r )) (r ) 3 1 D triv(x) ν x (We assume π 1 (B(x, ν x )) π 1 (M 3 n) trivial) Collapsing 3-manifolds p.10/15

28 Construction of the covering DEF: triv(x) = sup r π 1 (B(x, r)) π 1 (M 3 n) is trivial and B(x, r) B(x, r ) with sec B(x,r ) 1 (r ) 2 and vol(b(x,r )) (r ) 3 1 D triv(x) ν x (We assume π 1 (B(x, ν x )) π 1 (M 3 n) trivial) r(x) = min{1, 1 11 triv(x)} B(x, r(x)) B(y, r(y)) 3 4 r(x) r(y) 4 3. y r y x triv(y) triv(x) r x B(x, r(x)) B(y, r(y)) triv(x) triv(y) Collapsing 3-manifolds p.10/15

29 Construction of the covering DEF: triv(x) = sup r π 1 (B(x, r)) π 1 (M 3 n) is trivial and B(x, r) B(x, r ) with sec B(x,r ) 1 (r ) 2 and vol(b(x,r )) (r ) 3 1 D triv(x) ν x (We assume π 1 (B(x, ν x )) π 1 (M 3 n) trivial) r(x) = min{1, 1 11 triv(x)} B(x, r(x)) B(y, r(y)) 3 4 r(x) r(y) 4 3. Chose B(x 1, 1 4 r 1), B(x 2, 1 4 r 2),... pairwise disjoint and maximal. By maximality B(x 1, 2 3 r 1),...,B(x q, 2 3 r q) cover M 3 n. 1 4 r(y) y 1 4 r i x i d(y, x i ) 1 4 r(y) r i 2 3 r i Collapsing 3-manifolds p.10/15

30 Construction of the covering DEF: triv(x) = sup r π 1 (B(x, r)) π 1 (M 3 n) is trivial and B(x, r) B(x, r ) with sec B(x,r ) 1 (r ) 2 and vol(b(x,r )) (r ) 3 1 D triv(x) ν x (We assume π 1 (B(x, ν x )) π 1 (M 3 n) trivial) r(x) = min{1, 1 11 triv(x)} B(x, r(x)) B(y, r(y)) 3 4 r(x) r(y) 4 3. Chose B(x 1, 1 4 r 1), B(x 2, 1 4 r 2),... pairwise disjoint and maximal. By maximality B(x 1, 2 3 r 1),...,B(x q, 2 3 r q) cover M 3 n. 1 4 r(y) 1 4 r i y x i d(y, x i ) 1 4 r(y) r i 2 3 r i Want to shrink this covering to have dim 2 (for D large enough). Collapsing 3-manifolds p.10/15

31 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K Collapsing 3-manifolds p.11/15

32 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K Collapsing 3-manifolds p.11/15

33 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K Collapsing 3-manifolds p.11/15

34 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K Collapsing 3-manifolds p.11/15

35 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K f = 1 P φi (φ 1,...,φ q ) : M 3 n K characteristic map where φ i : B(x i, r i ) [0, 1] test function φ i B(xi, 2 3 r i) = 1, φ i B(xi,r i ) = 0, φ i 4 r i 1 φ i r i r i B(x i,r i ) Collapsing 3-manifolds p.11/15

36 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K f = 1 P φi (φ 1,...,φ q ) : M 3 n K characteristic map where φ i : B(x i, r i ) [0, 1] test function φ i B(xi, 2 3 r i) = 1, φ i B(xi,r i ) = 0, φ i 4 r i f C r i on B(x i, r i ) for uniform C, because M 3 n = B(x, 2 3 r i) Collapsing 3-manifolds p.11/15

37 Schrinking the covering to dim 2 {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K f = 1 P φi (φ 1,...,φ q ) : M 3 n K characteristic map where φ i : B(x i, r i ) [0, 1] test function φ i B(xi, 2 3 r i) = 1, φ i B(xi,r i ) = 0, φ i 4 r i f C r i on B(x i, r i ) for uniform C, because Mn 3 = B(x, 2 3 r i) Strategy: Retract f to f (2) : Mn 3 K (2) and take V i = (f (2) ) 1 (open star of the i-th vertex of K (2) ). Collapsing 3-manifolds p.11/15

38 Retract f to the 2-skeletton {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K f : M 3 n K characteristic map f C r i on B(x i, r i ) Want to retract f to f (2) : M 3 n K (2) Collapsing 3-manifolds p.12/15

39 Retract f to the 2-skeletton {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K f : M 3 n K characteristic map f C r i on B(x i, r i ) Want to retract f to f (2) : M 3 n K (2) Assume we have f : M 3 n K (3) (dim(m 3 n) = 3). Claim: For D large enough, f does not fill any 3 simplex 3 Compose with radial projection 3 \ { } 3, to get f (2) :M 3 n K (2). Collapsing 3-manifolds p.12/15

40 Retract f to the 2-skeletton {B(x 1, r 1 ),...,B(x q, r q )} covering of M 3 n with nerve K f : M 3 n K characteristic map f C r i on B(x i, r i ) Want to retract f to f (2) : M 3 n K (2) Assume we have f : M 3 n K (3) (dim(m 3 n) = 3). Claim: For D large enough, f does not fill any 3 simplex 3 vol(im(f) 3 )) vol(f(b(x i, r i ))) f 3 vol(b(x i, r i )) ( ) 3 C ri 3 D C3 D <vol( 3 ) r i Compose with radial projection 3 \ { } 3, to get f (2) :M 3 n K (2). Collapsing 3-manifolds p.12/15

41 A Haken manifold M 3 n \ V V = B(x, ν x ) such that im(π 1 (V) π 1 (B(x, ν x ))) {1} V = S 1 D 2, T 2 I or K I. (and V = B 3, S 2 I) Hence M 3 n \ V is a Haken manifold with = T 2 or T 2 T 2. Want to show that the simplicial volume of M 3 n \ V vanishes. Collapsing 3-manifolds p.13/15

42 Simplicial volume (Gromov s norm) Def The simplicial volume of an orientable compact manifold N n is { N n = inf λσ [ } λ σ σ] = [N n, N n ] H n (N n, N n ;R) Collapsing 3-manifolds p.14/15

43 Simplicial volume (Gromov s norm) Def The simplicial volume of an orientable compact manifold N n is { N n = inf λσ [ } λ σ σ] = [N n, N n ] H n (N n, N n ;R) f : (M n, M n ) (N n, N n ) then M n deg(f) N n S n = 0 N 3 = 0 if N 3 Seifert fibered N 3 = v 3 vol(n 3 ) if N 3 hyperbolic (Gromov-Thurston). Collapsing 3-manifolds p.14/15

44 Simplicial volume (Gromov s norm) Def The simplicial volume of an orientable compact manifold N n is { N n = inf λσ [ } λ σ σ] = [N n, N n ] H n (N n, N n ;R) f : (M n, M n ) (N n, N n ) then M n deg(f) N n S n = 0 N 3 = 0 if N 3 Seifert fibered N 3 = v 3 vol(n 3 ) if N 3 hyperbolic (Gromov-Thurston). If N 3 has a geometric decomposition with hyperbolic pieces N 3 1,..., N 3 k and some Seifert pieces then N3 = v 3 vol(n 3 i ), v (Gromov-Soma) Corollary: If N 3 has a geometric decomposition and N 3 = 0 then all pieces are Seifert fibered. Collapsing 3-manifolds p.14/15

45 Covering of M 3 n \ V V = B(x, ν x ) such that im(π 1 (V) π 1 (B(x, ν x ))) {1} V = S 1 D 2, T 2 I or K I. (and V = B 3, S 2 I) Hence M 3 n \ V is a Haken manifold with = T 2 or T 2 T 2. Collapsing 3-manifolds p.15/15

46 Covering of M 3 n \ V V = B(x, ν x ) such that im(π 1 (V) π 1 (B(x, ν x ))) {1} V = S 1 D 2, T 2 I or K I. (and V = B 3, S 2 I) Hence M 3 n \ V is a Haken manifold with = T 2 or T 2 T 2. As before, find a covering U 1,...,U q of M 3 n \ V such that: dim of the covering is 2 (and dim 0 on (M 3 n \ V)) im(π 1 (U i ) π 1 (M 3 n \ V)) is virtually abelian. Collapsing 3-manifolds p.15/15

47 Covering of M 3 n \ V V = B(x, ν x ) such that im(π 1 (V) π 1 (B(x, ν x ))) {1} V = S 1 D 2, T 2 I or K I. (and V = B 3, S 2 I) Hence M 3 n \ V is a Haken manifold with = T 2 or T 2 T 2. As before, find a covering U 1,...,U q of M 3 n \ V such that: dim of the covering is 2 (and dim 0 on (M 3 n \ V)) im(π 1 (U i ) π 1 (M 3 n \ V)) is virtually abelian. Theorem (Gromov) If N 3 has a covering {U i } of dim 2 (dim 0 at N 3 ) and im(π 1 U i π 1 N 3 ) virtualy abelian, then N 3 = 0 Thus M 3 n \ V is graph, and so is M 3 n. Collapsing 3-manifolds p.15/15

Finite covers of a hyperbolic 3-manifold and virtual fibers.

Finite covers of a hyperbolic 3-manifold and virtual fibers. Claire Renard Institut de Mathématiques de Toulouse November 2nd 2011 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group

More information

An algorithmic classification of open surfaces

An algorithmic classification of open surfaces An algorithmic classification of open surfaces Sylvain Maillot January 8, 2013 Abstract We propose a formulation for the homeomorphism problem for open n-dimensional manifolds and use the Kerekjarto classification

More information

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

Metric Spaces Joseph Muscat 2003 (Last revised May 2009) 1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of

More information

Surface bundles over S 1, the Thurston norm, and the Whitehead link

Surface bundles over S 1, the Thurston norm, and the Whitehead link Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

Nonzero degree tangential maps between dual symmetric spaces

Nonzero degree tangential maps between dual symmetric spaces ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Notes on metric spaces

Notes on metric spaces Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

4. Expanding dynamical systems

4. Expanding dynamical systems 4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

9 More on differentiation

9 More on differentiation Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

Mathematical Methods of Engineering Analysis

Mathematical Methods of Engineering Analysis Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................

More information

The Ideal Class Group

The Ideal Class Group Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned

More information

Metric Spaces. Chapter 1

Metric Spaces. Chapter 1 Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

More information

RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis

RANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied

More information

ON FIBER DIAMETERS OF CONTINUOUS MAPS

ON FIBER DIAMETERS OF CONTINUOUS MAPS ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there

More information

An introduction to Hamilton and Perelman s work on the conjectures of Poincaré and Thurston

An introduction to Hamilton and Perelman s work on the conjectures of Poincaré and Thurston An introduction to Hamilton and Perelman s work on the conjectures of Poincaré and Thurston Notes of the Talks given by Alexander Borisenko in Valencia, May-August 2004 written by Alexander Borisenko Geometry

More information

CHAPTER 1 BASIC TOPOLOGY

CHAPTER 1 BASIC TOPOLOGY CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is

More information

THE THURSTON METRIC ON HYPERBOLIC DOMAINS AND BOUNDARIES OF CONVEX HULLS

THE THURSTON METRIC ON HYPERBOLIC DOMAINS AND BOUNDARIES OF CONVEX HULLS THE THURSTON METRIC ON HYPERBOLIC DOMAINS AND BOUNDARIES OF CONVEX HULLS MARTIN BRIDGEMAN AND RICHARD D. CANARY Abstract. We show that the nearest point retraction is a uniform quasi-isometry from the

More information

How To Know The Limit Set Of A Fuchsian Group On A Boundary Of A Hyperbolic Plane

How To Know The Limit Set Of A Fuchsian Group On A Boundary Of A Hyperbolic Plane Reading material on the limit set of a Fuchsian group Recommended texts Many books on hyperbolic geometry and Kleinian and Fuchsian groups contain material about limit sets. The presentation given here

More information

Fiber sums of genus 2 Lefschetz fibrations

Fiber sums of genus 2 Lefschetz fibrations Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity

More information

Holomorphic motion of fiber Julia sets

Holomorphic motion of fiber Julia sets ACADEMIC REPORTS Fac. Eng. Tokyo Polytech. Univ. Vol. 37 No.1 (2014) 7 Shizuo Nakane We consider Axiom A polynomial skew products on C 2 of degree d 2. The stable manifold of a hyperbolic fiber Julia set

More information

2.3 Convex Constrained Optimization Problems

2.3 Convex Constrained Optimization Problems 42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

More information

8.1 Examples, definitions, and basic properties

8.1 Examples, definitions, and basic properties 8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply

More information

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity

More information

Random graphs with a given degree sequence

Random graphs with a given degree sequence Sourav Chatterjee (NYU) Persi Diaconis (Stanford) Allan Sly (Microsoft) Let G be an undirected simple graph on n vertices. Let d 1,..., d n be the degrees of the vertices of G arranged in descending order.

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied

More information

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

More information

Advanced Microeconomics

Advanced Microeconomics Advanced Microeconomics Ordinal preference theory Harald Wiese University of Leipzig Harald Wiese (University of Leipzig) Advanced Microeconomics 1 / 68 Part A. Basic decision and preference theory 1 Decisions

More information

1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1

1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between

More information

LECTURE NOTES ON GENERALIZED HEEGAARD SPLITTINGS

LECTURE NOTES ON GENERALIZED HEEGAARD SPLITTINGS LECTURE NOTES ON GENERALIZED HEEGAARD SPLITTINGS TOSHIO SAITO, MARTIN SCHARLEMANN AND JENNIFER SCHULTENS 1. Introduction These notes grew out of a lecture series given at RIMS in the summer of 2001. The

More information

PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2

PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 PSEUDOARCS, PSEUDOCIRCLES, LAKES OF WADA AND GENERIC MAPS ON S 2 Abstract. We prove a Bruckner-Garg type theorem for the fiber structure of a generic map from a continuum X into the unit interval I. We

More information

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry

More information

Dimension Theory for Ordinary Differential Equations

Dimension Theory for Ordinary Differential Equations Vladimir A. Boichenko, Gennadij A. Leonov, Volker Reitmann Dimension Theory for Ordinary Differential Equations Teubner Contents Singular values, exterior calculus and Lozinskii-norms 15 1 Singular values

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

More information

SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

More information

Augusto Teixeira (IMPA)

Augusto Teixeira (IMPA) Augusto Teixeira (IMPA) partially joint with Elisabetta Candellero (Warwick) Augusto Teixeira (IMPA) Percolation and isoperimetry SPA - Oxfort, 2015 1 / 19 Percolation Physical phenomenon: Fluid through

More information

Shape Optimization Problems over Classes of Convex Domains

Shape Optimization Problems over Classes of Convex Domains Shape Optimization Problems over Classes of Convex Domains Giuseppe BUTTAZZO Dipartimento di Matematica Via Buonarroti, 2 56127 PISA ITALY e-mail: buttazzo@sab.sns.it Paolo GUASONI Scuola Normale Superiore

More information

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 6, November 1973 ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BY YUM-TONG SIU 2 Communicated

More information

Mathematical Physics, Lecture 9

Mathematical Physics, Lecture 9 Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential

More information

Generic measures for geodesic flows on nonpositively curved manifolds

Generic measures for geodesic flows on nonpositively curved manifolds Generic measures for geodesic flows on nonpositively curved manifolds Yves Coudène, Barbara Schapira 6th November 2014 Laboratoire de mathématiques, UBO, 6 avenue le Gorgeu, 29238 Brest, France LAMFA,

More information

Connectivity and cuts

Connectivity and cuts Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every

More information

LECTURE NOTES IN MEASURE THEORY. Christer Borell Matematik Chalmers och Göteborgs universitet 412 96 Göteborg (Version: January 12)

LECTURE NOTES IN MEASURE THEORY. Christer Borell Matematik Chalmers och Göteborgs universitet 412 96 Göteborg (Version: January 12) 1 LECTURE NOTES IN MEASURE THEORY Christer Borell Matematik Chalmers och Göteborgs universitet 412 96 Göteborg (Version: January 12) 2 PREFACE These are lecture notes on integration theory for a eight-week

More information

Topological Data Analysis Applications to Computer Vision

Topological Data Analysis Applications to Computer Vision Topological Data Analysis Applications to Computer Vision Vitaliy Kurlin, http://kurlin.org Microsoft Research Cambridge and Durham University, UK Topological Data Analysis quantifies topological structures

More information

1 Norms and Vector Spaces

1 Norms and Vector Spaces 008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)

More information

HYPERBOLIC GROUPS WHICH FIBER IN INFINITELY MANY WAYS

HYPERBOLIC GROUPS WHICH FIBER IN INFINITELY MANY WAYS HYPERBOLIC GROUPS WHICH FIBER IN INFINITELY MANY WAYS TARALEE MECHAM, ANTARA MUKHERJEE Abstract. We construct examples of CAT (0, free-by-cyclic, hyperbolic groups which fiber in infinitely many ways over

More information

and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space

and s n (x) f(x) for all x and s.t. s n is measurable if f is. REAL ANALYSIS Measures. A (positive) measure on a measurable space RAL ANALYSIS A survey of MA 641-643, UAB 1999-2000 M. Griesemer Throughout these notes m denotes Lebesgue measure. 1. Abstract Integration σ-algebras. A σ-algebra in X is a non-empty collection of subsets

More information

Math 104: Introduction to Analysis

Math 104: Introduction to Analysis Math 104: Introduction to Analysis Evan Chen UC Berkeley Notes for the course MATH 104, instructed by Charles Pugh. 1 1 August 29, 2013 Hard: #22 in Chapter 1. Consider a pile of sand principle. You wish

More information

A domain of spacetime intervals in general relativity

A domain of spacetime intervals in general relativity A domain of spacetime intervals in general relativity Keye Martin Department of Mathematics Tulane University New Orleans, LA 70118 United States of America martin@math.tulane.edu Prakash Panangaden School

More information

Geometrisation of 3-manifolds. Laurent Bessières, Gérard Besson, Michel Boileau, Sylvain Maillot, Joan Porti

Geometrisation of 3-manifolds. Laurent Bessières, Gérard Besson, Michel Boileau, Sylvain Maillot, Joan Porti Geometrisation of 3-manifolds Laurent Bessières, Gérard Besson, Michel Boileau, Sylvain Maillot, Joan Porti June 23, 2009 2 The authors wish to thank the Agence Nationale de la Recherche for its support

More information

Geometry and Topology from Point Cloud Data

Geometry and Topology from Point Cloud Data Geometry and Topology from Point Cloud Data Tamal K. Dey Department of Computer Science and Engineering The Ohio State University Dey (2011) Geometry and Topology from Point Cloud Data WALCOM 11 1 / 51

More information

Fixed Point Theorems For Set-Valued Maps

Fixed Point Theorems For Set-Valued Maps Fixed Point Theorems For Set-Valued Maps Bachelor s thesis in functional analysis Institute for Analysis and Scientific Computing Vienna University of Technology Andreas Widder, July 2009. Preface In this

More information

Introduction to Graph Theory

Introduction to Graph Theory Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate

More information

Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC. Lee Mosher

Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC. Lee Mosher Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC Lee Mosher Let S be a compact surface, possibly with the extra structure of an orientation or a finite set of distinguished

More information

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let H and J be as in the above lemma. The result of the lemma shows that the integral Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;

More information

Singular fibers of stable maps and signatures of 4 manifolds

Singular fibers of stable maps and signatures of 4 manifolds 359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a

More information

A Short Proof that Compact 2-Manifolds Can Be Triangulated

A Short Proof that Compact 2-Manifolds Can Be Triangulated Inventiones math. 5, 160--162 (1968) A Short Proof that Compact 2-Manifolds Can Be Triangulated P. H. DOYLE and D. A. MORAN* (East Lansing, Michigan) The result mentioned in the title of this paper was

More information

x a x 2 (1 + x 2 ) n.

x a x 2 (1 + x 2 ) n. Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number

More information

ZORN S LEMMA AND SOME APPLICATIONS

ZORN S LEMMA AND SOME APPLICATIONS ZORN S LEMMA AND SOME APPLICATIONS KEITH CONRAD 1. Introduction Zorn s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will

More information

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups

Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.

More information

Università degli Studi di Roma La Sapienza. Dottorato di Ricerca in Matematica XII ciclo

Università degli Studi di Roma La Sapienza. Dottorato di Ricerca in Matematica XII ciclo Università degli Studi di Roma La Sapienza Dottorato di Ricerca in Matematica XII ciclo tesi Cellular Automata and Finitely Generated Groups di Francesca Fiorenzi Dipartimento di Matematica Università

More information

BOUNDED COHOMOLOGY CHARACTERIZES HYPERBOLIC GROUPS

BOUNDED COHOMOLOGY CHARACTERIZES HYPERBOLIC GROUPS BOUNDED COHOMOLOGY CHARACTERIZES HYPERBOLIC GROUPS by IGOR MINEYEV (University of South Alabama, Department of Mathematics & Statistics, ILB 35, Mobile, AL 36688, USA) [Received June 00] Abstract A finitely

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

16.3 Fredholm Operators

16.3 Fredholm Operators Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces

Geometrical Characterization of RN-operators between Locally Convex Vector Spaces Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

1. Let X and Y be normed spaces and let T B(X, Y ).

1. Let X and Y be normed spaces and let T B(X, Y ). Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: NVP, Frist. 2005-03-14 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok

More information

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites

More information

FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

More information

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS

TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable

More information

INTRODUCTION TO DESCRIPTIVE SET THEORY

INTRODUCTION TO DESCRIPTIVE SET THEORY INTRODUCTION TO DESCRIPTIVE SET THEORY ANUSH TSERUNYAN Mathematicians in the early 20 th century discovered that the Axiom of Choice implied the existence of pathological subsets of the real line lacking

More information

Continuity of the Perron Root

Continuity of the Perron Root Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North

More information

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

Math 181 Handout 16. Rich Schwartz. March 9, 2010

Math 181 Handout 16. Rich Schwartz. March 9, 2010 Math 8 Handout 6 Rich Schwartz March 9, 200 The purpose of this handout is to describe continued fractions and their connection to hyperbolic geometry. The Gauss Map Given any x (0, ) we define γ(x) =

More information

TD(0) Leads to Better Policies than Approximate Value Iteration

TD(0) Leads to Better Policies than Approximate Value Iteration TD(0) Leads to Better Policies than Approximate Value Iteration Benjamin Van Roy Management Science and Engineering and Electrical Engineering Stanford University Stanford, CA 94305 bvr@stanford.edu Abstract

More information

THE BANACH CONTRACTION PRINCIPLE. Contents

THE BANACH CONTRACTION PRINCIPLE. Contents THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,

More information

ISOPERIMETRIC INEQUALITIES FOR THE HANDLEBODY GROUPS

ISOPERIMETRIC INEQUALITIES FOR THE HANDLEBODY GROUPS ISOPERIMETRIC INEQUALITIES FOR THE HANDLEBODY GROUPS URSULA HAMENSTÄDT AND SEBASTIAN HENSEL Abstract. We show that the mapping class group of a handlebody V of genus at least 2 has a Dehn function of at

More information

SLIM UNICORNS AND UNIFORM HYPERBOLICITY FOR ARC GRAPHS AND CURVE GRAPHS

SLIM UNICORNS AND UNIFORM HYPERBOLICITY FOR ARC GRAPHS AND CURVE GRAPHS SLIM UNICORNS AND UNIFORM HYPERBOLICITY FOR ARC GRAPHS AND CURVE GRAPHS SEBASTIAN HENSEL, PIOTR PRZYTYCKI, AND RICHARD C. H. WEBB Abstract. We describe unicorn paths in the arc graph and show that they

More information

Non-Arbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results

Non-Arbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results Proceedings of Symposia in Applied Mathematics Volume 00, 1997 Non-Arbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results Freddy Delbaen and Walter Schachermayer Abstract. The

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

More information

Classification and Structure of Periodic Fatou Components

Classification and Structure of Periodic Fatou Components Classification and Structure of Periodic Fatou Components Senior Honors Thesis in Mathematics, Harvard College By Benjamin Dozier Adviser: Sarah Koch 3/19/2012 Abstract For a given rational map f : Ĉ Ĉ,

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

DECOMPOSING SL 2 (R)

DECOMPOSING SL 2 (R) DECOMPOSING SL 2 R KEITH CONRAD Introduction The group SL 2 R is not easy to visualize: it naturally lies in M 2 R, which is 4- dimensional the entries of a variable 2 2 real matrix are 4 free parameters

More information

Gambling Systems and Multiplication-Invariant Measures

Gambling Systems and Multiplication-Invariant Measures Gambling Systems and Multiplication-Invariant Measures by Jeffrey S. Rosenthal* and Peter O. Schwartz** (May 28, 997.. Introduction. This short paper describes a surprising connection between two previously

More information

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

More information

8. Matchings and Factors

8. Matchings and Factors 8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,

More information

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS

INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the left-invariant metrics with nonnegative

More information

On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

More information

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure

More information