The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf ·...

196
The Mean Euler Characteristic and Contact Structures Jacqui Espina University of California, Santa Cruz Northern California Symplectic Geometry Seminar May 2, 2011 Jacqui Espina (UCSC) MEC May 2, 2011 1 / 27

Transcript of The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf ·...

Page 1: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic and Contact Structures

Jacqui EspinaUniversity of California, Santa Cruz

Northern California Symplectic Geometry Seminar

May 2, 2011

Jacqui Espina (UCSC) MEC May 2, 2011 1 / 27

Page 2: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

1 Introduction2 Basic notions

The Conley-Zehnder and mean indicesContact homology

3 Asymptotic finitenessAsymptotically finite contact manifoldsAF contact manifolds and the MECAF Contact Manifolds and subcritical surgery

4 A little digressionA little digression: main ingredientsThe unitary indexWeak index-positivityWIP and subcritical contact surgery

5 Homologically non-trivial Reeb orbits6 The Morse-Bott case

Contact Forms of Morse-Bott TypeMEC: Morse-Bott version

7 ExamplesUstilosky spheresCircle bundles

8 ReferencesJacqui Espina (UCSC) MEC May 2, 2011 2 / 27

Page 3: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 4: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)

(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 5: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 6: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+.

The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 7: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.

Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 8: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.

The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 9: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 10: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.

Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 11: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic(M, ξ) closed, cooriented contact manifold

c1(ξ) trivialα contact form for ξ

The mean Euler characteristic via contact homology (van Koert)(Ekland-Hofer, Rademacher, Viterbo)

Suppose that there exists an integer l+ such that dim HCl(M, a) <∞for all l ≥ l+. The positive mean Euler characteristic is set as

χ+(M, ξ) = limN→∞

1

N

N∑l=l+

(−1)l dim HCl(M, ξ) (1)

provided that the limit exists.Similarly, if there exists an integer l− is and integrer such thatdim HCl(M, a) <∞ for all l ≤ l−. The negative mean Eulercharacteristic is set as

χ−(M, ξ) = limN→∞

1

N

N∑l=l−

(−1)l dim HC−l(M, ξ) (2)

provided that the limits exist.The mean Euler characteristic is set asχ(M, ξ) := 1

2 [χ+(M, ξ) + χ−(M, ξ)].

This works for a variety of flavors of contact homology.Can also be restricted to homotopy classes of the closed Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 3 / 27

Page 12: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.

Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 13: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 14: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index

| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 15: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced index

σ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 16: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 17: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 18: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 19: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Mean Euler Characteristic IIIn some cases, the mean Euler characteristic is an elementary invariant thatcan be calculated in terms of the orbits without referring to the differential ∂.Notation

µCZ(·) the Conley-Zehnder index| · | = µCZ(·) + n − 3 the degree or reduced indexσ(·) = (−1)|·|

∆(·) the mean index

Ginzburg-Kerman:

If the Reeb flow has finitely many simple periodic Reeb orbits, then∑± σ(xi )

∆(xi )+

1

2

∑± σ(yi )

∆(yi )= χ±(M, ξ), (3)

where the two different types of good Reeb orbits are distinguished by xi andyi , and

∑+ (respectively,∑−) stands for the sum over all orbits with positive

(respectively, negative) mean index.

Goal

Extend this expression to contact forms with infinitely many simple closedReeb orbits in a useful way.

Jacqui Espina (UCSC) MEC May 2, 2011 4 / 27

Page 20: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 21: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 22: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 23: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 24: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 25: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 26: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 27: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)

(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 28: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The Conley-Zehnder and mean indices

Let Ψ: [0,T ]→ Sp(R2n, ω0) be a path of symplectic maps.

Conley-Zehnder index a Maslov-type index

Defined for Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

Ψ 7−→ µCZ(Ψ) ∈ Z

Mean index

Defined for any symplectic path,

For Ψ that satisfies Ψ(0) = I and det(I −Ψ(T )) 6= 0,

(a) limk→∞µCZ(Ψk )

k = ∆(Ψ)(b) |µCZ(Ψ)−∆(Ψ)| < n.

Jacqui Espina (UCSC) MEC May 2, 2011 5 / 27

Page 29: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0.

We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 30: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 31: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 32: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,

The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 33: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).

For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 34: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:

the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 35: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).

We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 36: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Cylindrical Contact HomologyLet (M2n−1, ξ = ker(α)) be a closed, coorientable, and c1(ξ) = 0. We use thefollowing notation:

J a complex structure on ξ compatible with d α,(J : ξ → ξ | J2 = −Id , d α(J·, J·) = d α(·, ·), d α(·, J·) > 0 )

Rα the Reeb vector field associated to α,ϕt the Reeb flow,γ : [0,T ]→ M a Reeb trajectory.

Contact homology can be thought of as a variant of Morse theory for theaction functional on the loop space of M,

A : C∞(S1,M)→ R, γ 7→∫γα .

We get that γ ∈ crit(A)⇐⇒ γ is a closed Reeb orbit,The period of γ is T = A(γ) when parameterized so thatγ(t) = Rα(γ(t)).For A to be a Morse functional, need a non-degeneracy condition on α:the linearized Poincare return map along each critical point has noeigenvalue equal to 1 (i.e., det(I − dϕt

γ) 6= 0).We can always take a small perturbation of α to get a non-degeneratecontact form.

Jacqui Espina (UCSC) MEC May 2, 2011 6 / 27

Page 37: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 38: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.

For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 39: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 40: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 41: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 42: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .

In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 43: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .

C∗(M, α) =⊕

a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 44: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact chain groups

The Reeb flow preserves ξ and d α and gives rise to a family of symplecticmaps dϕt

γ |ξ : ξγ(0) → ξγ(t) along γ.For a non-degenerate periodic Reeb orbit γ, in a given trivialization Φγ ,the Conley-Zehnder index of γ is set as

µCZ(γ; Φγ) := µCZ(dϕtγ ; Φγ).

Contact chain complex: C∗(M, α) = Q-module freely generated by thegood Reeb orbits graded by | · | := µCZ(γ) + n − 3.

Note

When γ is homologically trivial, take a surface Sγ and a trivialization ΦSon Sγ , µCZ(γ; Φγ) does not depend on Sγ .In the presents of homologically non-trivial Reeb orbits, ambiguity arisesdue to the dependency of |γ| on Φγ .C∗(M, α) =

⊕a Ca∗(M, α), where a are free homotopy classes of Reeb

orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 7 / 27

Page 45: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 46: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).

(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 47: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 48: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 49: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 50: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 51: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).

NoteCylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 52: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 53: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.

Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 54: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.

First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 55: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.

We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 56: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The differential and invariance

The differential ∂ counts pseudo-holomorphic cylinders that convergeto good orbits in the symplectization (R×M, d(et α)) of (M, α).(Here, take J an almost complex structure compatible withω = d(et α) and satifies the following: J( ∂∂t ) = Rα and J(ξ) = ξ.)

Our results do not explicitly use ∂!

If Ccontrk (M, α) = 0 for k = −1, 0, 1, then ∂2 = 0 and

H(C∗(M, α), ∂) is independent of α and J.

(?) From here on, assume α meets this condition.

Cylindrical contact homology: HC∗(M, ξ):=H(C∗(M, α), ∂).Note

Cylindrical contact homology comes with an additional grading givenby free homotopy classes of curves.Differential counts cylinders that can not change the homotopy class ofa Reeb orbit.First consider the class of homologically trivial Reeb orbits.We’ll return to homologically non-trivial Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 8 / 27

Page 57: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.

Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 58: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 59: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 60: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 61: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 62: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 63: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 64: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifoldsHere, assume that all closed Reeb orbits are non-degenerate.Let Pd(α) = {γ : −d ≤ |γ| ≤ d} subset of closed Rα-orbits.Suppose there is a sequence of contact forms {αr} for ξ that satisfies thefollowing:

AF1 For each αr , there is a set of simple good Reeb orbits {γ1(r), . . . , γm(r)},where m is independent of αr ,

AF2 There is an increasing sequence of integers {dr} such that if γ ∈ Pdr (αr ),then γ = γi (r)k for some k,

AF3 The mean indices of each sequence converges: ∆(γ i (r))→ ∆γ i as r →∞,AF4 The sign σ(γ i (r)) is independent of r .

Definition

We call γ i (r) the principal orbits of αr and the limits ∆i the asymptoticmean indices. Set σi := σ(γ i (r)), and call (M, ξ) an asymptotically finitecontact manifold and write (M, ξ) = {(M, αr )}.

Example

The standard contact sphere, C∗(S2n−1, ξ0) is essentially generated by oneReeb orbit when we “stretch” it out in all directions but one.

Jacqui Espina (UCSC) MEC May 2, 2011 9 / 27

Page 65: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifolds and the MEC

Theorem (MEC formula: asymptotically finite version)

Let (M, ξ) = {(M, αr )} be a closed asymptotically finite contact manifold.Assume that for each αr , the contact homology is defined ?. Then the limitsin the mean Euler characteristics are defined and

χ±(M, ξ) =∑± σxi

∆xi

+1

2

∑± σyi∆yi

, (4)

where∑+ (respectively

∑−) stands for the sum over the sequences of orbitswith positive asymptotic mean index (respectively, negative), and we use xiand yi to distinguish the two types of good Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 10 / 27

Page 66: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifolds and the MEC

Theorem (MEC formula: asymptotically finite version)

Let (M, ξ) = {(M, αr )} be a closed asymptotically finite contact manifold.Assume that for each αr , the contact homology is defined ?. Then the limitsin the mean Euler characteristics are defined and

χ±(M, ξ) =∑± σxi

∆xi

+1

2

∑± σyi∆yi

, (4)

where∑+ (respectively

∑−) stands for the sum over the sequences of orbitswith positive asymptotic mean index (respectively, negative), and we use xiand yi to distinguish the two types of good Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 10 / 27

Page 67: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifolds and the MEC

Theorem (MEC formula: asymptotically finite version)

Let (M, ξ) = {(M, αr )} be a closed asymptotically finite contact manifold.

Assume that for each αr , the contact homology is defined ?. Then the limitsin the mean Euler characteristics are defined and

χ±(M, ξ) =∑± σxi

∆xi

+1

2

∑± σyi∆yi

, (4)

where∑+ (respectively

∑−) stands for the sum over the sequences of orbitswith positive asymptotic mean index (respectively, negative), and we use xiand yi to distinguish the two types of good Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 10 / 27

Page 68: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifolds and the MEC

Theorem (MEC formula: asymptotically finite version)

Let (M, ξ) = {(M, αr )} be a closed asymptotically finite contact manifold.Assume that for each αr , the contact homology is defined ?.

Then the limitsin the mean Euler characteristics are defined and

χ±(M, ξ) =∑± σxi

∆xi

+1

2

∑± σyi∆yi

, (4)

where∑+ (respectively

∑−) stands for the sum over the sequences of orbitswith positive asymptotic mean index (respectively, negative), and we use xiand yi to distinguish the two types of good Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 10 / 27

Page 69: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifolds and the MEC

Theorem (MEC formula: asymptotically finite version)

Let (M, ξ) = {(M, αr )} be a closed asymptotically finite contact manifold.Assume that for each αr , the contact homology is defined ?. Then the limitsin the mean Euler characteristics are defined and

χ±(M, ξ) =∑± σxi

∆xi

+1

2

∑± σyi∆yi

, (4)

where∑+ (respectively

∑−) stands for the sum over the sequences of orbitswith positive asymptotic mean index (respectively, negative), and we use xiand yi to distinguish the two types of good Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 10 / 27

Page 70: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Asymptotically finite contact manifolds and the MEC

Theorem (MEC formula: asymptotically finite version)

Let (M, ξ) = {(M, αr )} be a closed asymptotically finite contact manifold.Assume that for each αr , the contact homology is defined ?. Then the limitsin the mean Euler characteristics are defined and

χ±(M, ξ) =∑± σxi

∆xi

+1

2

∑± σyi∆yi

, (4)

where∑+ (respectively

∑−) stands for the sum over the sequences of orbitswith positive asymptotic mean index (respectively, negative), and we use xiand yi to distinguish the two types of good Reeb orbits.

Jacqui Espina (UCSC) MEC May 2, 2011 10 / 27

Page 71: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF contact manifolds and subcritical surgery

Theorem

Let (M, ξ) = {(M, αr )} be a closed AF contact manifold and assume each(M, αr ) is weakly index-positive with respect to a fixed section s ofS1[(Λn-1

C ξ)⊗2]. Denote by (M ′, ξ′) a contact manifold obtained fromperforming a subcritical contact surgery to (M, ξ). If c1(ξ′) = 0 and if sextends over the surgery, then (M ′, ξ′) is asymptotically finite and also weaklyindex-positive with respect to some extension s′ of s.

Basically, asymptotic finiteness is preserved under subcritical handleattachments.Application:

Corollary

The mean Euler characteristic of (M ′, {α′r}) converges and

χ(M ′, ξ′) = χ(M, ξ) + (−1)k1

2,

where k is the index of the subcrirical contact surgery (k < n).

Jacqui Espina (UCSC) MEC May 2, 2011 11 / 27

Page 72: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF contact manifolds and subcritical surgery

Theorem

Let (M, ξ) = {(M, αr )} be a closed AF contact manifold and assume each(M, αr ) is weakly index-positive with respect to a fixed section s ofS1[(Λn-1

C ξ)⊗2].

Denote by (M ′, ξ′) a contact manifold obtained fromperforming a subcritical contact surgery to (M, ξ). If c1(ξ′) = 0 and if sextends over the surgery, then (M ′, ξ′) is asymptotically finite and also weaklyindex-positive with respect to some extension s′ of s.

Basically, asymptotic finiteness is preserved under subcritical handleattachments.Application:

Corollary

The mean Euler characteristic of (M ′, {α′r}) converges and

χ(M ′, ξ′) = χ(M, ξ) + (−1)k1

2,

where k is the index of the subcrirical contact surgery (k < n).

Jacqui Espina (UCSC) MEC May 2, 2011 11 / 27

Page 73: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF contact manifolds and subcritical surgery

Theorem

Let (M, ξ) = {(M, αr )} be a closed AF contact manifold and assume each(M, αr ) is weakly index-positive with respect to a fixed section s ofS1[(Λn-1

C ξ)⊗2]. Denote by (M ′, ξ′) a contact manifold obtained fromperforming a subcritical contact surgery to (M, ξ).

If c1(ξ′) = 0 and if sextends over the surgery, then (M ′, ξ′) is asymptotically finite and also weaklyindex-positive with respect to some extension s′ of s.

Basically, asymptotic finiteness is preserved under subcritical handleattachments.Application:

Corollary

The mean Euler characteristic of (M ′, {α′r}) converges and

χ(M ′, ξ′) = χ(M, ξ) + (−1)k1

2,

where k is the index of the subcrirical contact surgery (k < n).

Jacqui Espina (UCSC) MEC May 2, 2011 11 / 27

Page 74: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF contact manifolds and subcritical surgery

Theorem

Let (M, ξ) = {(M, αr )} be a closed AF contact manifold and assume each(M, αr ) is weakly index-positive with respect to a fixed section s ofS1[(Λn-1

C ξ)⊗2]. Denote by (M ′, ξ′) a contact manifold obtained fromperforming a subcritical contact surgery to (M, ξ). If c1(ξ′) = 0 and if sextends over the surgery, then (M ′, ξ′) is asymptotically finite and also weaklyindex-positive with respect to some extension s′ of s.

Basically, asymptotic finiteness is preserved under subcritical handleattachments.Application:

Corollary

The mean Euler characteristic of (M ′, {α′r}) converges and

χ(M ′, ξ′) = χ(M, ξ) + (−1)k1

2,

where k is the index of the subcrirical contact surgery (k < n).

Jacqui Espina (UCSC) MEC May 2, 2011 11 / 27

Page 75: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF contact manifolds and subcritical surgery

Theorem

Let (M, ξ) = {(M, αr )} be a closed AF contact manifold and assume each(M, αr ) is weakly index-positive with respect to a fixed section s ofS1[(Λn-1

C ξ)⊗2]. Denote by (M ′, ξ′) a contact manifold obtained fromperforming a subcritical contact surgery to (M, ξ). If c1(ξ′) = 0 and if sextends over the surgery, then (M ′, ξ′) is asymptotically finite and also weaklyindex-positive with respect to some extension s′ of s.

Basically, asymptotic finiteness is preserved under subcritical handleattachments.

Application:

Corollary

The mean Euler characteristic of (M ′, {α′r}) converges and

χ(M ′, ξ′) = χ(M, ξ) + (−1)k1

2,

where k is the index of the subcrirical contact surgery (k < n).

Jacqui Espina (UCSC) MEC May 2, 2011 11 / 27

Page 76: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF contact manifolds and subcritical surgery

Theorem

Let (M, ξ) = {(M, αr )} be a closed AF contact manifold and assume each(M, αr ) is weakly index-positive with respect to a fixed section s ofS1[(Λn-1

C ξ)⊗2]. Denote by (M ′, ξ′) a contact manifold obtained fromperforming a subcritical contact surgery to (M, ξ). If c1(ξ′) = 0 and if sextends over the surgery, then (M ′, ξ′) is asymptotically finite and also weaklyindex-positive with respect to some extension s′ of s.

Basically, asymptotic finiteness is preserved under subcritical handleattachments.Application:

Corollary

The mean Euler characteristic of (M ′, {α′r}) converges and

χ(M ′, ξ′) = χ(M, ξ) + (−1)k1

2,

where k is the index of the subcrirical contact surgery (k < n).

Jacqui Espina (UCSC) MEC May 2, 2011 11 / 27

Page 77: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 78: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.

Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 79: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.

We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 80: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 81: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0

⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 82: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 83: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 84: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .

Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 85: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .

Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 86: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Main ingredients

Weak index-positivity is an adaptation of index-positivity defined byUstilovsky.Stable triviality and π1(M) = 0 are required for index-positivity, where asthis version is more flexible.We need an extra structure:

Recall that we’re assuming c1(ξ) = 0 ⇒ Λn-1C ξ = 0.

Fix a non-vanishing section s of S1[(Λn-1C ξ)⊗2].

Define the unitary index of γ with respect to s .Weak index-positivity is defined with respect to s .Weak index-positivity is more likely to survive surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 12 / 27

Page 87: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index

The unitary index is map defined for continuous symplectic paths Ψ(t)over a curve γ(t) in M such that Ψ(0) = I .

This is a vector bundle version of a map considered by Dupont,Guichardet and Wigner, and Barge and Ghys [Du,GW,BG].

Consider this index for dϕtγ |ξ : ξγ(0) → ξγ(t) along a Reeb trajectory

γ : [0,T ]→ M (not necessarily closed).

Requires only c1(ξ) = 0,Fix a section s of S1[(Λn-1

C ξ)⊗2] in (Λn-1C ξ)⊗2.

Denote by µ(x ; s) := µ(dϕtx ; s).

Jacqui Espina (UCSC) MEC May 2, 2011 13 / 27

Page 88: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index

The unitary index is map defined for continuous symplectic paths Ψ(t)over a curve γ(t) in M such that Ψ(0) = I .This is a vector bundle version of a map considered by Dupont,Guichardet and Wigner, and Barge and Ghys [Du,GW,BG].

Consider this index for dϕtγ |ξ : ξγ(0) → ξγ(t) along a Reeb trajectory

γ : [0,T ]→ M (not necessarily closed).

Requires only c1(ξ) = 0,Fix a section s of S1[(Λn-1

C ξ)⊗2] in (Λn-1C ξ)⊗2.

Denote by µ(x ; s) := µ(dϕtx ; s).

Jacqui Espina (UCSC) MEC May 2, 2011 13 / 27

Page 89: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index

The unitary index is map defined for continuous symplectic paths Ψ(t)over a curve γ(t) in M such that Ψ(0) = I .This is a vector bundle version of a map considered by Dupont,Guichardet and Wigner, and Barge and Ghys [Du,GW,BG].

Consider this index for dϕtγ |ξ : ξγ(0) → ξγ(t) along a Reeb trajectory

γ : [0,T ]→ M (not necessarily closed).

Requires only c1(ξ) = 0,Fix a section s of S1[(Λn-1

C ξ)⊗2] in (Λn-1C ξ)⊗2.

Denote by µ(x ; s) := µ(dϕtx ; s).

Jacqui Espina (UCSC) MEC May 2, 2011 13 / 27

Page 90: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index

The unitary index is map defined for continuous symplectic paths Ψ(t)over a curve γ(t) in M such that Ψ(0) = I .This is a vector bundle version of a map considered by Dupont,Guichardet and Wigner, and Barge and Ghys [Du,GW,BG].

Consider this index for dϕtγ |ξ : ξγ(0) → ξγ(t) along a Reeb trajectory

γ : [0,T ]→ M (not necessarily closed).

Requires only c1(ξ) = 0,

Fix a section s of S1[(Λn-1C ξ)⊗2] in (Λn-1

C ξ)⊗2.Denote by µ(x ; s) := µ(dϕt

x ; s).

Jacqui Espina (UCSC) MEC May 2, 2011 13 / 27

Page 91: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index

The unitary index is map defined for continuous symplectic paths Ψ(t)over a curve γ(t) in M such that Ψ(0) = I .This is a vector bundle version of a map considered by Dupont,Guichardet and Wigner, and Barge and Ghys [Du,GW,BG].

Consider this index for dϕtγ |ξ : ξγ(0) → ξγ(t) along a Reeb trajectory

γ : [0,T ]→ M (not necessarily closed).

Requires only c1(ξ) = 0,Fix a section s of S1[(Λn-1

C ξ)⊗2] in (Λn-1C ξ)⊗2.

Denote by µ(x ; s) := µ(dϕtx ; s).

Jacqui Espina (UCSC) MEC May 2, 2011 13 / 27

Page 92: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index

The unitary index is map defined for continuous symplectic paths Ψ(t)over a curve γ(t) in M such that Ψ(0) = I .This is a vector bundle version of a map considered by Dupont,Guichardet and Wigner, and Barge and Ghys [Du,GW,BG].

Consider this index for dϕtγ |ξ : ξγ(0) → ξγ(t) along a Reeb trajectory

γ : [0,T ]→ M (not necessarily closed).

Requires only c1(ξ) = 0,Fix a section s of S1[(Λn-1

C ξ)⊗2] in (Λn-1C ξ)⊗2.

Denote by µ(x ; s) := µ(dϕtx ; s).

Jacqui Espina (UCSC) MEC May 2, 2011 13 / 27

Page 93: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 94: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.

This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 95: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.

However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 96: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′,

|µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 97: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.

Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 98: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).

When π1(M) = 0, all sections of S1[(Λn-1C ξ)⊗2] are homotopic. Then

µ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 99: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.

If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 100: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 101: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The unitary index II

The unitary index is well-defined and continuous.This definition depends on the choice of s.However, for s ∼ s′, |µ(γ; s)− µ(γ; s′)| < const, where the constant thatdepends only on s and s′.Moreover, if γ(0) = γ(T ) and hence VT = V0, then µ(γ; s) = µ(γ; s′).When π1(M) = 0, all sections of S1[(Λn-1

C ξ)⊗2] are homotopic. Thenµ(γ; s) is independent of the section s for any closed orbit γ.If π1(M) 6= 0, we just specify s.

Lemma (µ-Catenation lemma)

For the paths of symplectic maps Ψ1 and Ψ2 over γ1 = γ|[0,T1] andγ2 = γ|[T1,T ], we have

|µ(Ψ1 ∗Ψ2; s)− µ(Ψ1; s)− µ(Ψ2; s)| ≤ b,

where b is a constant that depends on n.

Jacqui Espina (UCSC) MEC May 2, 2011 14 / 27

Page 102: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 103: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ).

We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 104: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α.

(Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 105: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 106: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 107: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 108: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 109: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Weak index-positivity

Definition

A contact form α for (M, ξ) is called weakly index-positive with respectto s (WIP wrt s) if there exists constants κ1 > 0, κ2 such that

µ(γ; s) ≥ κ1A(γ) + κ2,

for any Reeb trajectory γ with action A(γ). We call (M, ξ) weaklyindex-positive if ξ = ker(α), for some weakly index-positive contactform α. (Weak index-negativity can be defined similarly.)

Weak index-positivity depends on the section s of S1[(Λn-1C ξ)⊗2].

If α is weakly index-positive for some s, then it is also weaklyindex-positive for any s′ ∈ [s].

If α is WIP with respect to some s and π1(M) = 0 =⇒ (M, α) isWIP for any s.

If π1(M) 6= 0, we just need to specify the homotopy class [s].

Jacqui Espina (UCSC) MEC May 2, 2011 15 / 27

Page 110: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgery

One can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 111: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 112: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 113: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .

Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 114: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 115: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 116: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.

Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 117: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.

Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 118: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.

k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 119: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 120: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class.

We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 121: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.

S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 122: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

WIP and subcritical contact surgeryOne can perform surgery along an isotropic sphere with trivial conformalsymplectic normal bundle in a given contact manifold such that the resultingmanifold carries again a contact structure.

Weak index-positivity is very likely to survive subcritical surgery:

Suppose (M ′, ξ′) is a contact manifold obtained by performing contactsurgery on (M2n−1, ξ) of index k .Part of the picture, VERY roughly speaking, is

M ′ = (M\int(Sk−1 × D2n−k−1)) ∪Sk−1×S2n−k−1 (Dk × S2n−k−1).

A contact surgery is called subcritical if k < n.Assume c1(ξ) = 0.Except for possibly the case k = 2, the first Chern class does not changeand a given section s automatically extends to the new manifold.k = 2 :

S1M contractible: glueing in a 2-disc can possibly change the first Chern

class. We would need to require c1(ξ′) = 0, and then s uniquely extends upto homotopy.S1M non-contractible: c1(ξ′) = 0 automatically; however the section may fail

to extend.

Jacqui Espina (UCSC) MEC May 2, 2011 16 / 27

Page 123: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 124: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 125: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.

Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 126: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).

Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 127: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 128: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 129: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.

(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 130: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 131: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handleHere, we use the specific contact surgery model constructed in [Yau].

Surgery of index k:

Use f : R2n → R a quadratic function of Morse index k with 0 as the onlycritical point to define α.Use a similar quadractic function h : R2n → R to define the (symplectic)k-handle (Dk × D2n−k) ⊂ (R2n, ω0).Control the shape of H :≈ (Dk × S2n−k−1) ⊂ (Dk × D2n−k) with h.

Yau:

Suppose H is subcritical, i.e., k < n.

(i) There are n − k simple Reeb orbits of αH, all of which are good.(ii) Given m > 0, a deformation of H can be made such that for ∗ < m,

rk(C∗(H, αH)) =

{1, if ∗ = 2n − k − 4 + 2i , for some i ∈ N,0, otherwise.

Jacqui Espina (UCSC) MEC May 2, 2011 17 / 27

Page 132: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle II

γ Reeb trajectory (not necessarily closed),ΦH the standard trivialization of the stabilized contact bundle

CRH ⊕ ξHµCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), if

γ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].

Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 133: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle IIγ Reeb trajectory (not necessarily closed),

ΦH the standard trivialization of the stabilized contact bundleCRH ⊕ ξH

µCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), ifγ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].

Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 134: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle IIγ Reeb trajectory (not necessarily closed),

ΦH the standard trivialization of the stabilized contact bundleCRH ⊕ ξH

µCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), ifγ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].

Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 135: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle IIγ Reeb trajectory (not necessarily closed),

ΦH the standard trivialization of the stabilized contact bundleCRH ⊕ ξH

µCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), ifγ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].

Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 136: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle IIγ Reeb trajectory (not necessarily closed),

ΦH the standard trivialization of the stabilized contact bundleCRH ⊕ ξH

µCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), ifγ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].

Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 137: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle IIγ Reeb trajectory (not necessarily closed),

ΦH the standard trivialization of the stabilized contact bundleCRH ⊕ ξH

µCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), ifγ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].

Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 138: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

The contact boundary of a subcritical symplectic handle IIγ Reeb trajectory (not necessarily closed),

ΦH the standard trivialization of the stabilized contact bundleCRH ⊕ ξH

µCZ(γ; ΦH) the generalized Conley-Zehnder index (Robbin-Salamon index), ifγ is not closed.

Yau:

Given any positive number N, we can thin H enough such that

µCZ(γ; ΦH) > N · T − 2n,

for any Reeb trajectory of αH with action T .

H is also weakly index-positive:

Given any positive number N, we can thin H enough such that

µ(γ; sH) > N · T − a,

where a is independent of γ and sH is a section of S1[(Λn-1C ξH)⊗2] obtained

from ΦH.

Note: Since π1(H) = 0, the handle is weakly index-positive with respect toany section of S1[(Λn-1

C ξH)⊗2].Jacqui Espina (UCSC) MEC May 2, 2011 18 / 27

Page 139: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],

(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 140: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, and

sM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 141: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 142: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 143: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;

if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 144: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 145: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 146: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.

A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 147: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

AF, weak index-positivity and subcritical contact surgerySuppose we have the following:

(M, ξ) is a weakly index-positive with respect to a section sM ofS1[(Λn-1

C ξ)⊗2],(M ′, ξ′) is a contact manifold obtained from M by a subcritical k-surgerywith c1(ξ′) = 0, andsM extends over H.

Then for every integer r , there exists a non-degenerate contact form α′r suchthat the following hold:

(M ′, α′r ) is weakly index-positive with respect to some extension s′ of sM ;if cj and c ′j denote the number of degree j generators of (M, α) and(M ′, α′r ), then for j ≤ r ,

c ′j = cj + bj ,

where

bj =

{1, if j = 2n − k − 4 + 2i , for i even,

0, otherwise.

Hence asymptotic finiteness + weak index-positivity are preserved undersubcritical contact surgery if c1(ξ′) = 0 and if sM extends over H.A given section s is almost always compatible with a given surgery.

Jacqui Espina (UCSC) MEC May 2, 2011 19 / 27

Page 148: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Homologically non-trivial Reeb orbits

Suppose γ is a homologically non-trivial Reeb orbit, then µCZ(γ) dependson the trivialization of ξ along γ and one must keep track of such choices.

It is convenient to consistently assign such trivializations along closedpaths in M of any homotopy class using a fixed section s of S1[(Λn-1

C ξ)⊗2].

Pick a unitary frame F = {e1, · · · , en−1} of ξ|γ withsF := (Λn−1

j=1 ej)⊗2 such that sF ∼ sγ

µCZ(γ; [s])

µCZ(γ; s) Depends only on the homotopy class of F .All such frames are homotopic.Therefore, take µCZ(γ; [s]).

Jacqui Espina (UCSC) MEC May 2, 2011 20 / 27

Page 149: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott Type

Let’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 150: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.

That is, consider contact forms such that the action functional A(γ) =∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 151: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 152: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,

ST the quotient of NT under the circle action induced by the Reeb flow. Werefer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 153: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow.

Werefer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 154: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 155: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).

Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 156: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 157: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 158: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 159: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here,

ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 160: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, OR

apply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 161: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Contact Forms of Morse-Bott TypeLet’s consider the Morse-Bott approach to contact homology by Bourgeois.That is, consider contact forms such that the action functional A(γ) =

∫γ α is

Morse-Bott. In this case, the critical points of A form smooth submanifolds.Notation:

NT a submanifold consisting of Reeb orbits of period T ,ST the quotient of NT under the circle action induced by the Reeb flow. We

refer to these orbit spaces as Reeb orbifolds.

Suppose (M, α) fits within the setting where the Reeb flow is Morse-Bottsuch that H∗(CMB(M, α)) ∼= HCcyl

∗ (M, ξ).Consider the situation:

(MBF) There are finitely many simple orbifolds whose points are closedReeb orbits.

Then:

the mean Euler characteristic formula for asymptotically finite contactmanifolds can be applied here, ORapply the following MEC formula:

Jacqui Espina (UCSC) MEC May 2, 2011 21 / 27

Page 162: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF).

Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 163: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 164: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 165: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 166: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).

Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 167: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ.

(Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 168: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)

The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 169: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Morse-Bott Type and MEC IITheorem

Assume that (M, α) is a contact manifold of Morse-Bott type in the sense ofthe above and satisfies (MBF). Then the MEC is defined and

χ±(M, ξ) =∑

max’l ST

±σ(ST ) e(ST )

∆(ST ),

where∑+ (respectively

∑−) stands for the sum over all maximal orbifolds ST

with positive (respectively negative) mean index.

Set σ(S) := (−1)|S |, where |S | := µRS(S)− 12 dim S + n − 3, and µRS(S)

is the generalized Conley-Zehnder index (Robbin-Salamon).

The mean index of ST is given by ∆(ST ) := limk→∞µRS(SkT )

k = ∆(Ψ).Given an orbifold CW decomposition of a Reeb orbifold S, set

e(S) =∑σ

(−1)dim σ|Stab(σ)|,

where the sum runs over the q-cells σ of S , and |Stab(σ)| is the order ofthe stabilizer subgroup of σ. (Also considered by Adem-Leida-Ruan.)The Morse-Bott version of the MEC formula generalizes the relationestablished by Rademacher in [Ra] for geodesic flows.

Jacqui Espina (UCSC) MEC May 2, 2011 22 / 27

Page 170: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)Reeb flow:

(z0, . . . , zn) 7→ (e4it/pz0, e2itz1, . . . , e

2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 171: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.

Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)Reeb flow:

(z0, . . . , zn) 7→ (e4it/pz0, e2itz1, . . . , e

2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 172: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)Reeb flow:

(z0, . . . , zn) 7→ (e4it/pz0, e2itz1, . . . , e

2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 173: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)

Reeb flow:(z0, . . . , zn) 7→ (e4it/pz0, e

2itz1, . . . , e2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 174: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)Reeb flow:

(z0, . . . , zn) 7→ (e4it/pz0, e2itz1, . . . , e

2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 175: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)Reeb flow:

(z0, . . . , zn) 7→ (e4it/pz0, e2itz1, . . . , e

2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 176: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Example: Ustilosky spheresBrieskorn manifoldΣ(a0, · · · , an) := V (a0, · · · , an)) ∩ S2n+1, where

V (a0, · · · , an) := {(z0, · · · , zn) ∈ Cn+1 : za00 + · · ·+ zan

n = 0},

with aj ≥ 2 ∈ N.

Brieskorn spheres: When n = 2m + 1 and p = ±1 (mod 8),a0 = p, a1 = 2, . . . , an = 2, then Σ(a) is diffeomorphic to S4m+1.Contact form:

αp =i

8

n∑j=0

aj(zjdzj − zjdzj)

Reeb vector field:Rαp = 4i

( z0

a0, · · · zn

an

)Reeb flow:

(z0, . . . , zn) 7→ (e4it/pz0, e2itz1, . . . , e

2itzn).

There are two simple orbifolds of closed Reeb orbits and one contains a p-cover of the other:

1. Sπ(z0 = 0)2. Spπ(z0 6= 0)

Jacqui Espina (UCSC) MEC May 2, 2011 23 / 27

Page 177: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Ustilosky spheres continued

The index of a k-cover of Spπ is given by

µRS(Skpπ) = 2k((n − 2)p + 2).

We find that

∆(Spπ) = 2((n − 2)p + 2), and σ(Spπ) = 1,

One can check that e(Spπ) = (n − 1)p + 1.

By the MEC formula, we get

χ+(M, ξp) =1

2

((n − 1)p + 1)

((n − 2)p + 2)and χ−(M, ξp) = 0.

Jacqui Espina (UCSC) MEC May 2, 2011 24 / 27

Page 178: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Ustilosky spheres continued

The index of a k-cover of Spπ is given by

µRS(Skpπ) = 2k((n − 2)p + 2).

We find that

∆(Spπ) = 2((n − 2)p + 2), and σ(Spπ) = 1,

One can check that e(Spπ) = (n − 1)p + 1.

By the MEC formula, we get

χ+(M, ξp) =1

2

((n − 1)p + 1)

((n − 2)p + 2)and χ−(M, ξp) = 0.

Jacqui Espina (UCSC) MEC May 2, 2011 24 / 27

Page 179: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Ustilosky spheres continued

The index of a k-cover of Spπ is given by

µRS(Skpπ) = 2k((n − 2)p + 2).

We find that

∆(Spπ) = 2((n − 2)p + 2), and σ(Spπ) = 1,

One can check that e(Spπ) = (n − 1)p + 1.

By the MEC formula, we get

χ+(M, ξp) =1

2

((n − 1)p + 1)

((n − 2)p + 2)and χ−(M, ξp) = 0.

Jacqui Espina (UCSC) MEC May 2, 2011 24 / 27

Page 180: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Ustilosky spheres continued

The index of a k-cover of Spπ is given by

µRS(Skpπ) = 2k((n − 2)p + 2).

We find that

∆(Spπ) = 2((n − 2)p + 2), and σ(Spπ) = 1,

One can check that e(Spπ) = (n − 1)p + 1.

By the MEC formula, we get

χ+(M, ξp) =1

2

((n − 1)p + 1)

((n − 2)p + 2)and χ−(M, ξp) = 0.

Jacqui Espina (UCSC) MEC May 2, 2011 24 / 27

Page 181: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundles

Let π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 182: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on M

Assume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 183: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 184: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 185: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.

∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 186: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])

This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 187: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 188: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)

∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 189: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0

Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 190: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundlesLet π : M2n−1 → B be a prequantization circle bundle over a closed symplecticmanifold (B, ω):

π∗ω = dα where α is a connection form (real valued) on MAssume c1(ξ) = 0 and that weak index-positivity holds.

First assume π1(M) = 0.

χ+(M, ξ) =χ(B)

2 〈c1(TB), u〉,

where u ∈ π2(B) is the image of a disk bounded by the fiber in M.∆(B) = 2 〈c1(TB), u〉 (← See also [Bo])This is independent of u.

Note:

The weak index-positivity assumption is satisfied when (B, ω) is positivemonotone. ([ω] = λc1(TB) on π2(M) and λ > 0.)∆(B) > 0 and χ−(M, ξ) = 0Similar for weakly index-negative case (λ < 0 with the roles of χ+ and χ−

interchanged).

Jacqui Espina (UCSC) MEC May 2, 2011 25 / 27

Page 191: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundles continuedNext, suppose π1(M) 6= 0.

Fix a section s of S1[(Λn-1C ξ)⊗2].

For p ∈ B, pick a unitary frame of TpB and lift it to a trivialization alongthe fiber over p.Obtain a section s′ of S1[(Λn-1

C ξ)⊗2] also along the fiber.

∆(B)/2 is the rotation number of s′ with respect to s.

Jacqui Espina (UCSC) MEC May 2, 2011 26 / 27

Page 192: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundles continuedNext, suppose π1(M) 6= 0.

Fix a section s of S1[(Λn-1C ξ)⊗2].

For p ∈ B, pick a unitary frame of TpB and lift it to a trivialization alongthe fiber over p.Obtain a section s′ of S1[(Λn-1

C ξ)⊗2] also along the fiber.

∆(B)/2 is the rotation number of s′ with respect to s.

Jacqui Espina (UCSC) MEC May 2, 2011 26 / 27

Page 193: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundles continuedNext, suppose π1(M) 6= 0.

Fix a section s of S1[(Λn-1C ξ)⊗2].

For p ∈ B, pick a unitary frame of TpB and lift it to a trivialization alongthe fiber over p.

Obtain a section s′ of S1[(Λn-1C ξ)⊗2] also along the fiber.

∆(B)/2 is the rotation number of s′ with respect to s.

Jacqui Espina (UCSC) MEC May 2, 2011 26 / 27

Page 194: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundles continuedNext, suppose π1(M) 6= 0.

Fix a section s of S1[(Λn-1C ξ)⊗2].

For p ∈ B, pick a unitary frame of TpB and lift it to a trivialization alongthe fiber over p.Obtain a section s′ of S1[(Λn-1

C ξ)⊗2] also along the fiber.

∆(B)/2 is the rotation number of s′ with respect to s.

Jacqui Espina (UCSC) MEC May 2, 2011 26 / 27

Page 195: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

Circle bundles continuedNext, suppose π1(M) 6= 0.

Fix a section s of S1[(Λn-1C ξ)⊗2].

For p ∈ B, pick a unitary frame of TpB and lift it to a trivialization alongthe fiber over p.Obtain a section s′ of S1[(Λn-1

C ξ)⊗2] also along the fiber.

∆(B)/2 is the rotation number of s′ with respect to s.

Jacqui Espina (UCSC) MEC May 2, 2011 26 / 27

Page 196: The Mean Euler Characteristic and Contact Structuresmath.stanford.edu/~ionel/sgs/jacqui-2011.pdf · 2011. 5. 21. · The Mean Euler Characteristic (M;˘)closed, cooriented contact

ReferencesA. Adem, J. Leida, Y. Ruan, Orbifolds and Stringy Topology, Cambridge Tractsin Mathematics 171, Cambridge University Press, New York, 2007.F. Bourgeois, A Morse-Bott approach to contact homology. PhD Thesis,Stanford, 2002 UniversityI. Ekeland, H. Hofer, Convex Hamiltonian energy surfaces and their periodictrajectories, Comm. Math. Phys., 113 (1987), 419–469.V.Ginzburg, E. Kerman, Homological Resonances for HamiltonianDiffeomorphisms and Reeb Flows, IMRN, vol. 2009;2010 no.1,53– 68.H.B. Rademacher, On the average indices of closed geodesics, J. DifferentialGeom., 29 (1989), 65–83.J. Robbin and D. Salamon, The Maslov index for paths, Topology 32 (1993),827–844I. Ustilovsky, Infinitely many contact structures on S4m+1, Internat. Math. Res.Notices 1999, no. 14, 781–791.O. van Koert, Open books for contact five-manifolds and applications ofcontact homology, Inaugural-Dissertation zur Erlangung des Doktorgrades derMathematisch-Naturwissenschaftlichen Fakultat der Universitat zu Koln, 2005.C. Viterbo, Equivariant Morse theory for starshaped Hamiltonian systems,Trans. Amer. Math. Soc., 311 (1989), 621–655.M.-L. Yau, Cylindrical contact homology of Stein-fillable conatct manifolds,Geometry & Topology, 8 (2004), 1243–1280.

Jacqui Espina (UCSC) MEC May 2, 2011 27 / 27