Finite covers of a hyperbolic 3-manifold and virtual fibers.
|
|
- Steven Elliott
- 8 years ago
- Views:
Transcription
1 Claire Renard Institut de Mathématiques de Toulouse November 2nd 2011
2 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group π 1 M contains a surface subgroup. Conjectures (1) (Virtually Haken.) There exists a finite cover M M containing an incompressible surface, i.e. an embedded surface T in M such that the map induced by the embedding ι : T M on fundamental groups ι : π 1 T π 1 M is injective. (2) (Virtually positive first Betti number.) There exists a finite cover M M with b 1 (M ) > 0. (3) () For each n N, there exists a finite cover M n M with b 1 (M n) n. (4) (Thurston.) There exists a finite cover M M which fibers over the circle S 1.
3 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group π 1 M contains a surface subgroup. Conjectures (1) (Virtually Haken.) There exists a finite cover M M containing an incompressible surface, i.e. an embedded surface T in M such that the map induced by the embedding ι : T M on fundamental groups ι : π 1 T π 1 M is injective. (2) (Virtually positive first Betti number.) There exists a finite cover M M with b 1 (M ) > 0. (3) () For each n N, there exists a finite cover M n M with b 1 (M n) n. (4) (Thurston.) There exists a finite cover M M which fibers over the circle S 1.
4 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group π 1 M contains a surface subgroup. Conjectures (1) (Virtually Haken.) There exists a finite cover M M containing an incompressible surface, i.e. an embedded surface T in M such that the map induced by the embedding ι : T M on fundamental groups ι : π 1 T π 1 M is injective. (2) (Virtually positive first Betti number.) There exists a finite cover M M with b 1 (M ) > 0. (3) () For each n N, there exists a finite cover M n M with b 1 (M n) n. (4) (Thurston.) There exists a finite cover M M which fibers over the circle S 1.
5 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group π 1 M contains a surface subgroup. Conjectures (1) (Virtually Haken.) There exists a finite cover M M containing an incompressible surface, i.e. an embedded surface T in M such that the map induced by the embedding ι : T M on fundamental groups ι : π 1 T π 1 M is injective. (2) (Virtually positive first Betti number.) There exists a finite cover M M with b 1 (M ) > 0. (3) () For each n N, there exists a finite cover M n M with b 1 (M n) n. (4) (Thurston.) There exists a finite cover M M which fibers over the circle S 1.
6 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group π 1 M contains a surface subgroup. Conjectures (1) (Virtually Haken.) There exists a finite cover M M containing an incompressible surface, i.e. an embedded surface T in M such that the map induced by the embedding ι : T M on fundamental groups ι : π 1 T π 1 M is injective. (2) (Virtually positive first Betti number.) There exists a finite cover M M with b 1 (M ) > 0. (3) () For each n N, there exists a finite cover M n M with b 1 (M n) n. (4) (Thurston.) There exists a finite cover M M which fibers over the circle S 1.
7 Some conjectures. Let M be a hyperbolic 3-manifold, connected, closed and oriented. Theorem (Kahn, Markovic) The fundamental group π 1 M contains a surface subgroup. Conjectures (1) (Virtually Haken.) There exists a finite cover M M containing an incompressible surface, i.e. an embedded surface T in M such that the map induced by the embedding ι : T M on fundamental groups ι : π 1 T π 1 M is injective. (2) (Virtually positive first Betti number.) There exists a finite cover M M with b 1 (M ) > 0. (3) () For each n N, there exists a finite cover M n M with b 1 (M n) n. (4) (Thurston.) There exists a finite cover M M which fibers over the circle S 1.
8 Definition A 3-manifold M is said to be virtually fibered if it admits a finite cover which fibers over the circle. An embedded surface S in M is a virtual fiber if there is a finite cover of M in which the preimage of S is a fiber. T {1/2} T {0} T {1} ϕ M = T I / (x,0) ~ ( ϕx,1) S M Question: Let M M be a finite cover of M. Find conditions for M to contain an embedded surface which is a fiber, or at least a virtual fiber?
9 Definition A 3-manifold M is said to be virtually fibered if it admits a finite cover which fibers over the circle. An embedded surface S in M is a virtual fiber if there is a finite cover of M in which the preimage of S is a fiber. T {1/2} T {0} T {1} ϕ M = T I / (x,0) ~ ( ϕx,1) S M Question: Let M M be a finite cover of M. Find conditions for M to contain an embedded surface which is a fiber, or at least a virtual fiber?
10 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
11 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
12 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
13 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
14 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
15 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
16 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
17 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
18 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
19 Introduction. Theorem (1, main theorem.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k(ɛ, Vol(M)) such that: If M M is a cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g ln g < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M contains an embedded surface T of genus g(t ) g which is a virtual fiber. In particular, M virtually fibers over the circle and M is Haken. Conjecture ( ) The technical assumption (1) is not necessary. Remark If Vol(M) is fixed, lim ɛ 0 k(ɛ, Vol(M)) +. If ɛ is fixed, lim Vol(M) + k(ɛ, Vol(M)) +.
20 Ideas of the proof of the main theorem. Suppose that the ratio g ln g/ ln ln(d/q) is small enough. Proof in two steps.
21 First step: Construct an embedded long and thin product T [0, m] in M, satisfying the following properties. M T [0,m] < K(g) > r T 0 T 1 T 2 T m 1 T m The surface T is orientable and closed, with genus g(t ) g. The number m = m( d, g) is large. q The surfaces T j := T {j} have their diameters uniformly bounded from above by K = K (g). Two surfaces T j and T j+1 are at distance at least r > 0.
22 First step: Construct an embedded long and thin product T [0, m] in M, satisfying the following properties. M T [0,m] < K(g) > r T 0 T 1 T 2 T m 1 T m The surface T is orientable and closed, with genus g(t ) g. The number m = m( d, g) is large. q The surfaces T j := T {j} have their diameters uniformly bounded from above by K = K (g). Two surfaces T j and T j+1 are at distance at least r > 0.
23 Second step: Use this product to construct a virtual fibration of M. P 2 P 1 T T T 1 1 T T Choose D, a Dirichlet fundamental polyhedron for M in H 3. For each surface T j, consider the pattern of fundamental domains P j that is the union of the fundamental domains meeting T j. Find two patterns: 1 disjoint from each other, 2 isometric to the same model pattern P, 3 containing parallel surfaces T 1 and T 1. Cut along T 1 and T 1, glue them together to get a finite fibered cover N of M.
24 Second step: Use this product to construct a virtual fibration of M. P 2 P 1 T T T 1 1 T T Choose D, a Dirichlet fundamental polyhedron for M in H 3. For each surface T j, consider the pattern of fundamental domains P j that is the union of the fundamental domains meeting T j. Find two patterns: 1 disjoint from each other, 2 isometric to the same model pattern P, 3 containing parallel surfaces T 1 and T 1. Cut along T 1 and T 1, glue them together to get a finite fibered cover N of M.
25 Second step: Use this product to construct a virtual fibration of M. P 2 P 1 T T T 1 1 T T Choose D, a Dirichlet fundamental polyhedron for M in H 3. For each surface T j, consider the pattern of fundamental domains P j that is the union of the fundamental domains meeting T j. Find two patterns: 1 disjoint from each other, 2 isometric to the same model pattern P, 3 containing parallel surfaces T 1 and T 1. Cut along T 1 and T 1, glue them together to get a finite fibered cover N of M.
26 Second step: Use this product to construct a virtual fibration of M. P 2 P 1 T T T 1 1 T T Choose D, a Dirichlet fundamental polyhedron for M in H 3. For each surface T j, consider the pattern of fundamental domains P j that is the union of the fundamental domains meeting T j. Find two patterns: 1 disjoint from each other, 2 isometric to the same model pattern P, 3 containing parallel surfaces T 1 and T 1. Cut along T 1 and T 1, glue them together to get a finite fibered cover N of M.
27 Second step: Use this product to construct a virtual fibration of M. P 2 P 1 T T T 1 1 T T Choose D, a Dirichlet fundamental polyhedron for M in H 3. For each surface T j, consider the pattern of fundamental domains P j that is the union of the fundamental domains meeting T j. Find two patterns: 1 disjoint from each other, 2 isometric to the same model pattern P, 3 containing parallel surfaces T 1 and T 1. Cut along T 1 and T 1, glue them together to get a finite fibered cover N of M.
28 P 2 P 1 T T T 1 1 T T ϕ 1 ψ ϕ 2 P T
29 S 1 W F M T 1 T 1 S 1 T 1 N M
30 E E + E+ 1 1 E 2 2 P 2 x 0 γ 0 P 1 x 1 γ 1 x 2 γ 2 x 3 γ 3 x 4 x 5 γ 4 T T T 1 T T ϕ 1 ψ ϕ 2 E E + P T
31 The regular case. Theorem (2, regular case.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k (ɛ, Vol(M)) such that: If M M is a regular cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g 2 < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M is a fiber bundle over the circle, and a fiber can be obtained from a component of F, possibly after some surgeries.
32 The regular case. Theorem (2, regular case.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k (ɛ, Vol(M)) such that: If M M is a regular cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g 2 < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M is a fiber bundle over the circle, and a fiber can be obtained from a component of F, possibly after some surgeries.
33 The regular case. Theorem (2, regular case.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k (ɛ, Vol(M)) such that: If M M is a regular cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g 2 < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M is a fiber bundle over the circle, and a fiber can be obtained from a component of F, possibly after some surgeries.
34 The regular case. Theorem (2, regular case.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k (ɛ, Vol(M)) such that: If M M is a regular cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g 2 < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M is a fiber bundle over the circle, and a fiber can be obtained from a component of F, possibly after some surgeries.
35 The regular case. Theorem (2, regular case.) Fix ɛ Inj(M)/2. There exists an explicit constant k = k (ɛ, Vol(M)) such that: If M M is a regular cover of finite degree d, with an embedded, closed, orientable, pseudo-minimal surface F, which splits M into q compression bodies C 1,..., C q with the following properties: 1 Every simple closed curve embedded in C j of length ɛ is nul-homotopic in C j. 2 k g 2 < ln ln d/q, with g = max j {g(c j )}. Then the finite cover M is a fiber bundle over the circle, and a fiber can be obtained from a component of F, possibly after some surgeries.
36 Application to Heegaard splittings. ϕ F F H1 H2 If F is a surface of genus at least 1, χ (F ) = 2g(F ) 2. Definition The Heegaard characteristic: χ h (M) = 2g(M) 2. The strong Heegaard characteristic: χ sh (M) = max F {χ (F )} where F is a strongly irreducible Heegaard surface for M. Remark If M M is a cover of finite degree d, χ h (M ) dχ h (M).
37 Application to Heegaard splittings. ϕ F F H1 H2 If F is a surface of genus at least 1, χ (F ) = 2g(F ) 2. Definition The Heegaard characteristic: χ h (M) = 2g(M) 2. The strong Heegaard characteristic: χ sh (M) = max F {χ (F )} where F is a strongly irreducible Heegaard surface for M. Remark If M M is a cover of finite degree d, χ h (M ) dχ h (M).
38 Application to Heegaard splittings. ϕ F F H1 H2 If F is a surface of genus at least 1, χ (F ) = 2g(F ) 2. Definition The Heegaard characteristic: χ h (M) = 2g(M) 2. The strong Heegaard characteristic: χ sh (M) = max F {χ (F )} where F is a strongly irreducible Heegaard surface for M. Remark If M M is a cover of finite degree d, χ h (M ) dχ h (M).
39 Heegaard gradient and conjectures of Lackenby. Definition (Lackenby) Heegaard gradient: h (M) = inf i { } χ h (M i ). d i Strong Heegaard gradient: sh (M) = inf i { χ sh (M i ) d i }. Conjecture (Lackenby) (1) The Heegaard gradient of M is zero if and only if M virtually fibers over the circle. (2) The strong Heegaard gradient is always strictly positive.
40 Heegaard gradient and conjectures of Lackenby. Definition (Lackenby) Heegaard gradient: h (M) = inf i { } χ h (M i ). d i Strong Heegaard gradient: sh (M) = inf i { χ sh (M i ) d i }. Conjecture (Lackenby) (1) The Heegaard gradient of M is zero if and only if M virtually fibers over the circle. (2) The strong Heegaard gradient is always strictly positive.
41 The sub-logarithmic version is true. Definition Let η (0, 1). η-sub-logarithmic Heegaard gradient: { } χ h h (M i ) log,η (M) = inf i (ln ln d i ) η. Strong η-sub-logarithmic Heegaard gradient: { } χ sh sh (M i ) log,η (M) = inf i (ln ln d i ) η. Proposition (3, Sub-logarithmic version of Lackenby s conjectures.) Suppose conjecture ( ) is true. Let η (0, 1). (1) The η-sub-logarithmic Heegaard gradient of M is zero if and only if M virtually fibers over the circle. (2) The strong η-sub-logarithmic Heegaard gradient is always strictly positive.
42 The sub-logarithmic version is true. Definition Let η (0, 1). η-sub-logarithmic Heegaard gradient: { } χ h h (M i ) log,η (M) = inf i (ln ln d i ) η. Strong η-sub-logarithmic Heegaard gradient: { } χ sh sh (M i ) log,η (M) = inf i (ln ln d i ) η. Proposition (3, Sub-logarithmic version of Lackenby s conjectures.) Suppose conjecture ( ) is true. Let η (0, 1). (1) The η-sub-logarithmic Heegaard gradient of M is zero if and only if M virtually fibers over the circle. (2) The strong η-sub-logarithmic Heegaard gradient is always strictly positive.
43 The homological viewpoint. Let α H 1 (M, Z) be a non-trivial element. Definition A α -minimizing surface R is an embedded surface with homology class Poincaré-dual to α, and minimizing Thurston s norm: χ (R) = α. Question: Find conditions to ensure that R is the fiber of a fibration over the circle?
44 The homological viewpoint. Let α H 1 (M, Z) be a non-trivial element. Definition A α -minimizing surface R is an embedded surface with homology class Poincaré-dual to α, and minimizing Thurston s norm: χ (R) = α. Question: Find conditions to ensure that R is the fiber of a fibration over the circle?
45 The homological viewpoint. Let α H 1 (M, Z) be a non-trivial element. Definition A α -minimizing surface R is an embedded surface with homology class Poincaré-dual to α, and minimizing Thurston s norm: χ (R) = α. Question: Find conditions to ensure that R is the fiber of a fibration over the circle?
46 Circular decompositions. Definition Let M R be the 3-manifold obtained from M by removing a regular neighborhood of R diffeomorphic to R ( 1, 1). The circular characteristic of α, denoted by χ c (α), is the minimum over all α -minimizing surfaces R of the Heegaard characteristic of the cobordism (M R, R {1}, R { 1}). M M R S 1 S R {1} R R { 1} f 1~( 1) Remark χ c (α) = α + h(α), where h(α) is the minimum over all α -minimizing surfaces R of the minimal number of critical points of index 1 and 2 of a Morse function M R [ 1, 1].
47 Circular decompositions. Definition Let M R be the 3-manifold obtained from M by removing a regular neighborhood of R diffeomorphic to R ( 1, 1). The circular characteristic of α, denoted by χ c (α), is the minimum over all α -minimizing surfaces R of the Heegaard characteristic of the cobordism (M R, R {1}, R { 1}). M M R S 1 S R {1} R R { 1} f 1~( 1) Remark χ c (α) = α + h(α), where h(α) is the minimum over all α -minimizing surfaces R of the minimal number of critical points of index 1 and 2 of a Morse function M R [ 1, 1].
48 Applications to circular decompositions. Theorem (4, Adapted from a result of Lackenby) There exists an explicit constant l = l (ɛ, Vol(M)) such that: Fix α H 1 (M) a non-trivial cohomology class and R a α -minimizing surface. Let M M be a d-sheeted regular cover and α H 1 (M, Z) the Poincaré-dual class associated to a connected component R of the preimage of R in M. If l χ c (α ) 4 d, then the manifold M fibers over the circle and the surface R is a fiber.
49 Question: Find a tower of finite covers... M i+1 M i... M such that lim i + b 1 (M i ) = +? Theorem (5) Suppose that there exists an infinite tower... M i+1 N i+1 M i N i... N 1 M of finite covers of M such that for all i 1, M i N i is regular, with Galois group H i (Z/ 2Z ) r i. If inf i N χ h (M i )[π 1 M : π 1 N i ]/( 2) r i = 0, Then lim i + b 1 (M i ) = +. Corollary (6) Let... M i M i 1... M 1 M be the tower of finite covers corresponding to the lower mod 2 central series. For all i 1, set r i = b 1,F2 (M i 1 ), with M 0 = M, and R i = r 1 + r r i. Suppose that r 1 4. If inf i N χ h (M i )2 R i 1 /( 2) r i = 0, Then lim i + b 1 (M i ) = +.
50 Question: Find a tower of finite covers... M i+1 M i... M such that lim i + b 1 (M i ) = +? Theorem (5) Suppose that there exists an infinite tower... M i+1 N i+1 M i N i... N 1 M of finite covers of M such that for all i 1, M i N i is regular, with Galois group H i (Z/ 2Z ) r i. If inf i N χ h (M i )[π 1 M : π 1 N i ]/( 2) r i = 0, Then lim i + b 1 (M i ) = +. Corollary (6) Let... M i M i 1... M 1 M be the tower of finite covers corresponding to the lower mod 2 central series. For all i 1, set r i = b 1,F2 (M i 1 ), with M 0 = M, and R i = r 1 + r r i. Suppose that r 1 4. If inf i N χ h (M i )2 R i 1 /( 2) r i = 0, Then lim i + b 1 (M i ) = +.
51 Question: Find a tower of finite covers... M i+1 M i... M such that lim i + b 1 (M i ) = +? Theorem (5) Suppose that there exists an infinite tower... M i+1 N i+1 M i N i... N 1 M of finite covers of M such that for all i 1, M i N i is regular, with Galois group H i (Z/ 2Z ) r i. If inf i N χ h (M i )[π 1 M : π 1 N i ]/( 2) r i = 0, Then lim i + b 1 (M i ) = +. Corollary (6) Let... M i M i 1... M 1 M be the tower of finite covers corresponding to the lower mod 2 central series. For all i 1, set r i = b 1,F2 (M i 1 ), with M 0 = M, and R i = r 1 + r r i. Suppose that r 1 4. If inf i N χ h (M i )2 R i 1 /( 2) r i = 0, Then lim i + b 1 (M i ) = +.
52 Question: Find a tower of finite covers... M i+1 M i... M such that lim i + b 1 (M i ) = +? Theorem (5) Suppose that there exists an infinite tower... M i+1 N i+1 M i N i... N 1 M of finite covers of M such that for all i 1, M i N i is regular, with Galois group H i (Z/ 2Z ) r i. If inf i N χ h (M i )[π 1 M : π 1 N i ]/( 2) r i = 0, Then lim i + b 1 (M i ) = +. Corollary (6) Let... M i M i 1... M 1 M be the tower of finite covers corresponding to the lower mod 2 central series. For all i 1, set r i = b 1,F2 (M i 1 ), with M 0 = M, and R i = r 1 + r r i. Suppose that r 1 4. If inf i N χ h (M i )2 R i 1 /( 2) r i = 0, Then lim i + b 1 (M i ) = +.
53 Question: Find a tower of finite covers... M i+1 M i... M such that lim i + b 1 (M i ) = +? Theorem (5) Suppose that there exists an infinite tower... M i+1 N i+1 M i N i... N 1 M of finite covers of M such that for all i 1, M i N i is regular, with Galois group H i (Z/ 2Z ) r i. If inf i N χ h (M i )[π 1 M : π 1 N i ]/( 2) r i = 0, Then lim i + b 1 (M i ) = +. Corollary (6) Let... M i M i 1... M 1 M be the tower of finite covers corresponding to the lower mod 2 central series. For all i 1, set r i = b 1,F2 (M i 1 ), with M 0 = M, and R i = r 1 + r r i. Suppose that r 1 4. If inf i N χ h (M i )2 R i 1 /( 2) r i = 0, Then lim i + b 1 (M i ) = +.
54 Question: Find a tower of finite covers... M i+1 M i... M such that lim i + b 1 (M i ) = +? Theorem (5) Suppose that there exists an infinite tower... M i+1 N i+1 M i N i... N 1 M of finite covers of M such that for all i 1, M i N i is regular, with Galois group H i (Z/ 2Z ) r i. If inf i N χ h (M i )[π 1 M : π 1 N i ]/( 2) r i = 0, Then lim i + b 1 (M i ) = +. Corollary (6) Let... M i M i 1... M 1 M be the tower of finite covers corresponding to the lower mod 2 central series. For all i 1, set r i = b 1,F2 (M i 1 ), with M 0 = M, and R i = r 1 + r r i. Suppose that r 1 4. If inf i N χ h (M i )2 R i 1 /( 2) r i = 0, Then lim i + b 1 (M i ) = +.
55 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
56 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
57 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
58 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
59 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
60 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
61 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
62 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
63 Link with results of Lackenby. Theorem (Lackenby) Let... M i M i 1... M 1 M a tower of finite covers of M such that for all i 1, M i M i 1 is regular, of group isomorphic to (Z/ 2Z ) r i (with the convention that M 0 = M). Set R i = r 1 + r r i. Suppose that one of the following assumptions is satisfied: (a) π 1 M does not have property (τ) with respect to the family {π 1 M i } i N (for example r if lim i + h(m i ) = 0) and inf i+1 i N > 0, or 2 R i r (b) each cover M i M is regular and lim i+1 i + = +. 2 R i Then π 1 M is virtually large. In particular, the first Betti number of M is virtually infinite. Corollary (7) Let... M i M i 1... M 1 M be an infinite tower of finite covers of M as in the previous theorem. Then the first Betti number of M is virtually infinite if neither of the following properties is satisfied. 1 inf i N h(m i ) > 0 and the sequence ( r i+1 ) 2 R i i N admits a bounded subsequence. 2 inf i N h(m i+1 )4 R i ( 2) r i+1 > 0 and inf i N r i+1 2 R i = 0.
64 Thank you for your attention!!!! Merci pour votre attention!!!!
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 informationTOPOLOGY 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 informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by
More informationRIGIDITY 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 informationFiber 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 informationFUNCTIONAL 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 informationLECTURE 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 information1 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 information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationHYPERBOLIC 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 information8.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 information4. 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 informationMetric 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 informationOn the existence of G-equivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationHow To Find Out How To Build An Elliptic Curve Over A Number Field
Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International
More informationThe Tangent Bundle. Jimmie Lawson Department of Mathematics Louisiana State University. Spring, 2006
The Tangent Bundle Jimmie Lawson Department of Mathematics Louisiana State University Spring, 2006 1 The Tangent Bundle on R n The tangent bundle gives a manifold structure to the set of tangent vectors
More informationA NOTE ON TRIVIAL FIBRATIONS
A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.uni-lj.si Abstract We study the conditions
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationHolomorphic 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 informationIdeal 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 informationA NEW CONSTRUCTION OF 6-MANIFOLDS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 8, August 2008, Pages 4409 4424 S 0002-9947(08)04462-0 Article electronically published on March 12, 2008 A NEW CONSTRUCTION OF 6-MANIFOLDS
More informationTHE 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 informationNotes 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 informationRotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve
QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationGEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE
GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric
More informationSMOOTH CASE FOR T or Z
SMOOTH CASE FOR T or Z Preliminaries. Theorem [DDK] Let F be a simply finite connected CW-complex and E 0 (F ) be the connected component of identity of the space of all homotopy equivalences F F. Then
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationSurfaces of minimal complexity in low-dimensional topology
Surfaces of minimal complexity in low-dimensional topology Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften (Dr. rer. nat.) der Fakultät für Mathematik der Universität Regensburg. vorgelegt
More informationSingular 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 informationIntroduction 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 informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationCycles and clique-minors in expanders
Cycles and clique-minors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationTHE MINIMAL GENUS PROBLEM
THE MINIMAL GENUS PROBLEM TERRY LAWSON Abstract. This paper gives a survey of recent work on the problem of finding the minimal genus of an embedded surface which represents a two-dimensional homology
More informationQuasi-static evolution and congested transport
Quasi-static evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed
More information( ) = ( ) = {,,, } β ( ), < 1 ( ) + ( ) = ( ) + ( )
{ } ( ) = ( ) = {,,, } ( ) β ( ), < 1 ( ) + ( ) = ( ) + ( ) max, ( ) [ ( )] + ( ) [ ( )], [ ( )] [ ( )] = =, ( ) = ( ) = 0 ( ) = ( ) ( ) ( ) =, ( ), ( ) =, ( ), ( ). ln ( ) = ln ( ). + 1 ( ) = ( ) Ω[ (
More informationTHE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS. Fernanda S. P. Cardona Peter N.-S. Wong. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 2, 2003, 3 45 THE RELATIVE REIDEMEISTER NUMBERS OF FIBER MAP PAIRS Fernanda S. P. Cardona Peter N.-S. Wong Dedicated
More informationMA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity
MA4001 Engineering Mathematics 1 Lecture 10 Limits and Dr. Sarah Mitchell Autumn 2014 Infinite limits If f(x) grows arbitrarily large as x a we say that f(x) has an infinite limit. Example: f(x) = 1 x
More informationPro-p Groups with Few Normal Subgroups
p. 1/1 Pro-p Groups with Few Normal Subgroups Y. Barnea, N. Gavioli, A. Jaikin-Zapirain, V. Monti, C. M. Scoppola p. 2/1 1. On p-groups of Finite Coclass In this talk p stands for a prime number. For simplicity
More information1. (First passage/hitting times/gambler s ruin problem:) Suppose that X has a discrete state space and let i be a fixed state. Let
Copyright c 2009 by Karl Sigman 1 Stopping Times 1.1 Stopping Times: Definition Given a stochastic process X = {X n : n 0}, a random time τ is a discrete random variable on the same probability space as
More informationSymplectic structures on fiber bundles
Symplectic structures on fiber bundles François Lalonde Université du Québec à Montréal (flalonde@math.uqam.ca) Dusa McDuff State University of New York at Stony Brook (dusa@math.sunysb.edu) Aug 27, 2000,
More informationON 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 informationContinued 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 informationFIXED 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 information1. 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 informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete
More informationMetric 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 informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More information1. 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 information1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain
Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is
More informationON ISOMORPHISMS OF BERS FIBER SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 22, 1997, 255 274 ON ISOMORPHISMS OF BERS FIBER SPACES Chaohui Zhang State University of New York, Mathematics Department, Stony Brook, NY 11794,
More informationINDISTINGUISHABILITY 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 informationGENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY
GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in
More informationSINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces
Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI Enriques-Kodaira classification of Complex Algebraic Surfaces
More informationCOMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationReference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.
5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2
More informationMathematical 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 informationINVARIANT 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 informationSign changes of Hecke eigenvalues of Siegel cusp forms of degree 2
Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree
More information(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.
11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order
More informationInvariant 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 information10.2 Series and Convergence
10.2 Series and Convergence Write sums using sigma notation Find the partial sums of series and determine convergence or divergence of infinite series Find the N th partial sums of geometric series and
More informationSets 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 informationSHINPEI BABA AND SUBHOJOY GUPTA
HOLONOMY MAP FIBERS OF CP 1 -STRUCTURES IN MODULI SPACE SHINPEI BABA AND SUBHOJOY GUPTA Abstract. Let S be a closed oriented surface of genus g 2. Fix an arbitrary non-elementary representation ρ: π 1
More informationGeometrical 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 informationNotes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand
Notes V General Equilibrium: Positive Theory In this lecture we go on considering a general equilibrium model of a private ownership economy. In contrast to the Notes IV, we focus on positive issues such
More informationOnline publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More informationCHAPTER 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 informationKyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto
Kyoto University Kyoto-Math 2013-02 Note on the cohomology of finite cyclic coverings by Yasuhiro Hara and Daisuke Kishimoto April 2013 Department of Mathematics Faculty of Science Kyoto University Kyoto
More informationHow 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 informationarxiv:1112.3556v3 [math.at] 10 May 2012
ON FIBRATIONS WITH FORMAL ELLIPTIC FIBERS MANUEL AMANN AND VITALI KAPOVITCH arxiv:1112.3556v3 [math.at] 10 May 2012 Abstract. We prove that for a fibration of simply-connected spaces of finite type F E
More informationA 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 informationGROUPS ACTING ON A SET
GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for
More informationON 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 informationG = G 0 > G 1 > > G k = {e}
Proposition 49. 1. A group G is nilpotent if and only if G appears as an element of its upper central series. 2. If G is nilpotent, then the upper central series and the lower central series have the same
More informationON THE CLASSIFICATION OF SURFACES OF GENERAL TYPE WITH p g = q = 2. Contents 0. Introduction 1 1. Product-Quotient Surfaces with p g = q = 2 3
ON THE CLASSIFICATION OF SURFACES OF GENERAL TYPE WITH p g = q = 2 MATTEO PENEGINI Contents 0. Introduction. Product-Quotient Surfaces with p g = q = 2 3 2. Surfaces with p g = q = 2 and KS 2 = 6 6 Albanese
More informationLectures 5-6: Taylor Series
Math 1d Instructor: Padraic Bartlett Lectures 5-: Taylor Series Weeks 5- Caltech 213 1 Taylor Polynomials and Series As we saw in week 4, power series are remarkably nice objects to work with. In particular,
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationThe 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 informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationTHE 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 informationA 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 informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationBP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space
BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and
More informationSamuel Omoloye Ajala
49 Kragujevac J. Math. 26 (2004) 49 60. SMOOTH STRUCTURES ON π MANIFOLDS Samuel Omoloye Ajala Department of Mathematics, University of Lagos, Akoka - Yaba, Lagos NIGERIA (Received January 19, 2004) Abstract.
More informationHow To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)
Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness
More informationminimal polyonomial Example
Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We
More informationA RIGOROUS AND COMPLETED STATEMENT ON HELMHOLTZ THEOREM
Progress In Electromagnetics Research, PIER 69, 287 304, 2007 A RIGOROU AND COMPLETED TATEMENT ON HELMHOLTZ THEOREM Y. F. Gui and W. B. Dou tate Key Lab of Millimeter Waves outheast University Nanjing,
More informationNIELSEN METHODS AND GROUPS ACTING ON HYPERBOLIC SPACES
NIELSEN METHODS AND GROUPS ACTING ON HYPERBOLIC SPACES ILYA KAPOVICH AND RICHARD WEIDMANN Abstract. We show that for any n N there eists a constant C(n) such that any n-generated group G which acts by
More informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More information