The transverse index problem for Riemannian foliations

Transcription

1 The transverse index problem for Riemannian foliations John Lott UC-Berkeley lott May 27, 2013

2 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

3 Attribution Joint work with Alexander Gorokhovsky

4 Foliation index theory Let (M, F) be a compact foliated manifold.

5 Foliation index theory Let (M, F) be a compact foliated manifold. There are two types of foliated index theories, 1. Longitudinal index theory, and 2. Transverse index theory.

6 What I won t be talking about Longitudinal index theorem (Connes-Skandalis)

7 What I won t be talking about Longitudinal index theorem (Connes-Skandalis) Suppose that there is a differential operator D on M that is Dirac-type, except that it only differentiates in the leaf directions.

8 What I won t be talking about Longitudinal index theorem (Connes-Skandalis) Suppose that there is a differential operator D on M that is Dirac-type, except that it only differentiates in the leaf directions. We can think D as a family of leaf-wise operators, parametrized by the leaf space of the foliation.

9 What I won t be talking about Longitudinal index theorem (Connes-Skandalis) Suppose that there is a differential operator D on M that is Dirac-type, except that it only differentiates in the leaf directions. We can think D as a family of leaf-wise operators, parametrized by the leaf space of the foliation. One can define its families index in the K-theory of the leaf space of the foliation.

10 What I won t be talking about Longitudinal index theorem (Connes-Skandalis) Suppose that there is a differential operator D on M that is Dirac-type, except that it only differentiates in the leaf directions. We can think D as a family of leaf-wise operators, parametrized by the leaf space of the foliation. One can define its families index in the K-theory of the leaf space of the foliation. More precisely, Index(D) K (C r (M; F)), where C r (M; F) is the reduced C -algebra of the foliation.

11 What I won t be talking about Longitudinal index theorem (Connes-Skandalis) Suppose that there is a differential operator D on M that is Dirac-type, except that it only differentiates in the leaf directions. We can think D as a family of leaf-wise operators, parametrized by the leaf space of the foliation. One can define its families index in the K-theory of the leaf space of the foliation. More precisely, Index(D) K (C r (M; F)), where C r (M; F) is the reduced C -algebra of the foliation. The longitudinal index theorem gives a topological equivalent of Index(D).

12 Transverse index problem Suppose instead that D is a Dirac-type operator, except that it only differentiates in the transverse direction to the foliation, and it s invariant under sliding along leaves.

13 Transverse index problem Suppose instead that D is a Dirac-type operator, except that it only differentiates in the transverse direction to the foliation, and it s invariant under sliding along leaves. Then D is like an operator on the leaf space.

14 Transverse index problem Suppose instead that D is a Dirac-type operator, except that it only differentiates in the transverse direction to the foliation, and it s invariant under sliding along leaves. Then D is like an operator on the leaf space. To make sense of D, we must assume that (M, F) has a transverse Riemannian metric.

15 Transverse index problem Suppose instead that D is a Dirac-type operator, except that it only differentiates in the transverse direction to the foliation, and it s invariant under sliding along leaves. Then D is like an operator on the leaf space. To make sense of D, we must assume that (M, F) has a transverse Riemannian metric. Fact : (El-Kacimi, Glazebrook-Kamber) D is Fredholm.

16 Transverse index problem Suppose instead that D is a Dirac-type operator, except that it only differentiates in the transverse direction to the foliation, and it s invariant under sliding along leaves. Then D is like an operator on the leaf space. To make sense of D, we must assume that (M, F) has a transverse Riemannian metric. Fact : (El-Kacimi, Glazebrook-Kamber) D is Fredholm. Hence Index(D) Z is well-defined.

17 Transverse index problem Suppose instead that D is a Dirac-type operator, except that it only differentiates in the transverse direction to the foliation, and it s invariant under sliding along leaves. Then D is like an operator on the leaf space. To make sense of D, we must assume that (M, F) has a transverse Riemannian metric. Fact : (El-Kacimi, Glazebrook-Kamber) D is Fredholm. Hence Index(D) Z is well-defined. What is it?

18 Transverse index problem Index(D) Z. We want a local formula for it.

19 Transverse index problem Index(D) Z. We want a local formula for it. Prototypical example : the Atiyah-Singer index theorem.

20 Transverse index problem Index(D) Z. We want a local formula for it. Prototypical example : the Atiyah-Singer index theorem. Suppose that M is foliated by points.

21 Transverse index problem Index(D) Z. We want a local formula for it. Prototypical example : the Atiyah-Singer index theorem. Suppose that M is foliated by points. Then D is just a Dirac-type operator on M, and Index(D) = Â(TM) ch(e). M

22 Transverse index problem Index(D) Z. We want a local formula for it. Prototypical example : the Atiyah-Singer index theorem. Suppose that M is foliated by points. Then D is just a Dirac-type operator on M, and Index(D) = Â(TM) ch(e). M In general, we would like a formula for Index(D) in terms of the local geometry of the foliated manifold.

23 Another known case Suppose that the leaves of (M, F) are all compact.

24 Another known case Suppose that the leaves of (M, F) are all compact. Then the leaf space of (M, F) is an orbifold. The operator D becomes an orbifold Dirac-type operator.

25 Another known case Suppose that the leaves of (M, F) are all compact. Then the leaf space of (M, F) is an orbifold. The operator D becomes an orbifold Dirac-type operator. Orbifold index theorem (Kawasaki 1981) : Index(D) = 1 Â(T Σ i ) N i, i Σ i m i

26 Another known case Suppose that the leaves of (M, F) are all compact. Then the leaf space of (M, F) is an orbifold. The operator D becomes an orbifold Dirac-type operator. Orbifold index theorem (Kawasaki 1981) : Index(D) = 1 Â(T Σ i ) N i, i Σ i m i where 1. {Σ i } are the strata of the orbifold, 2. m i is the multiplicity of Σ i and 3. The characteristic class N i is computed from the normal data of Σ i and the auxiliary vector bundle E.

27 Why is this problem interesting?

28 Why is this problem interesting? 1. It has been open for twenty years.

29 Why is this problem interesting? 1. It has been open for twenty years. 2. It leads to questions about analysis on Riemannian groupoids.

30 Why is this problem interesting? 1. It has been open for twenty years. 2. It leads to questions about analysis on Riemannian groupoids. 3. Usual local index theory methods (McKean-Singer technique) don t work.

31 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F.

32 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F. Suppose that the Molino Lie algebra is abelian and the isotropy groups are connected.

33 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F. Suppose that the Molino Lie algebra is abelian and the isotropy groups are connected. Let E be a holonomy-invariant Z 2 -graded normal Clifford module on M.

34 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F. Suppose that the Molino Lie algebra is abelian and the isotropy groups are connected. Let E be a holonomy-invariant Z 2 -graded normal Clifford module on M. Let D be the basic Dirac-type operator acting on holonomy-invariant sections of E.

35 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F. Suppose that the Molino Lie algebra is abelian and the isotropy groups are connected. Let E be a holonomy-invariant Z 2 -graded normal Clifford module on M. Let D be the basic Dirac-type operator acting on holonomy-invariant sections of E. Then Index (D) = Â (TW max ) N E. W max

36 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F. Suppose that the Molino Lie algebra is abelian and the isotropy groups are connected. Let E be a holonomy-invariant Z 2 -graded normal Clifford module on M. Let D be the basic Dirac-type operator acting on holonomy-invariant sections of E. Then Index (D) = Â (TW max ) N E. W max Here W max is the deepest stratum in the space of leaf closures.

37 Main result Theorem Let M be a compact connected manifold equipped with a Riemannian foliation F. Suppose that the Molino Lie algebra is abelian and the isotropy groups are connected. Let E be a holonomy-invariant Z 2 -graded normal Clifford module on M. Let D be the basic Dirac-type operator acting on holonomy-invariant sections of E. Then Index (D) = Â (TW max ) N E. W max Here W max is the deepest stratum in the space of leaf closures. N E is a renormalized characteristic class, which is computed from the normal data of W max, along with E.

38 Corollaries Under the hypotheses of the preceding theorem,

39 Corollaries Under the hypotheses of the preceding theorem, 1. The basic Euler characteristic of (M, F) equals the Euler characteristic of W max.

40 Corollaries Under the hypotheses of the preceding theorem, 1. The basic Euler characteristic of (M, F) equals the Euler characteristic of W max. 2. If F is transversely oriented then the basic signature of (M, F) equals the signature of W max.

41 Corollaries Under the hypotheses of the preceding theorem, 1. The basic Euler characteristic of (M, F) equals the Euler characteristic of W max. 2. If F is transversely oriented then the basic signature of (M, F) equals the signature of W max. 3. If F has a transverse spin structure, D is the basic Dirac operator and the leaves are noncompact then Index (D) = 0.

42 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

43 What is a foliation?

44 What is a foliation? A k-dimensional foliation of a manifold M is a covering of M by foliation charts φ i : U i R k R n k

45 What is a foliation? A k-dimensional foliation of a manifold M is a covering of M by foliation charts φ i : U i R k R n k whose transition maps are of the form φ ij (x, y) = (g ij (x, y), h ij (y)).

46 What is a Riemannian foliation?

47 What is a Riemannian foliation? If (M, F) is a foliation, its normal bundle is NF = TM/T F.

48 What is a Riemannian foliation? If (M, F) is a foliation, its normal bundle is NF = TM/T F. A Riemannian foliation is a foliation (M, F) along with an inner product on NF that locally pulls back, under the submersion U R n k, from a Riemannian metric on R n k.

49 What is a Riemannian foliation? If (M, F) is a foliation, its normal bundle is NF = TM/T F. A Riemannian foliation is a foliation (M, F) along with an inner product on NF that locally pulls back, under the submersion U R n k, from a Riemannian metric on R n k.

50 Complete transversal A complete transversal T is a (possibly disconnected) submanifold, with dim(t ) = codim(f), that is transverse to F and hits every leaf of (M, F). It always exists.

51 Complete transversal A complete transversal T is a (possibly disconnected) submanifold, with dim(t ) = codim(f), that is transverse to F and hits every leaf of (M, F). It always exists. T acquires a Riemannian metric, pulled back from the local diffeomorphisms T U R n k.

52 Holonomy Start at a point p T. Slide along a path in the leaf through p, until you hit a point q T. This gives a germ of a diffeomorphism sending p T to q T, the holonomy element.

53 Holonomy Start at a point p T. Slide along a path in the leaf through p, until you hit a point q T. This gives a germ of a diffeomorphism sending p T to q T, the holonomy element. Basic means holonomy-invariant on T. For example, a Riemannian foliation has a basic Riemannian metric.

54 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

55 Basic operators If (M, F) is a Riemannian foliation, it makes sense to talk about a basic Z 2 -graded Clifford module E on T and a basic Dirac-type operator D, acting on the basic sections of E.

56 Basic operators If (M, F) is a Riemannian foliation, it makes sense to talk about a basic Z 2 -graded Clifford module E on T and a basic Dirac-type operator D, acting on the basic sections of E. Index(D) = dim Ker (D + ) dim Ker (D ).

57 Basic operators If (M, F) is a Riemannian foliation, it makes sense to talk about a basic Z 2 -graded Clifford module E on T and a basic Dirac-type operator D, acting on the basic sections of E. Index(D) = dim Ker (D + ) dim Ker (D ). What is it?

58 One approach Suppose (for simplicity) that T has a basic spin structure. Putting q = codim(f), there is a principal Spin(q)-bundle F Spin(q) M M.

59 One approach Suppose (for simplicity) that T has a basic spin structure. Putting q = codim(f), there is a principal Spin(q)-bundle F Spin(q) M M. There is a lifted foliation F of F Spin(q) M, with dim( F) = dim(f). The closures of its leaves form the fibers of a fiber bundle F Spin(q) M Ŵ, which is Spin(q)-equivariant.

60 One approach Suppose (for simplicity) that T has a basic spin structure. Putting q = codim(f), there is a principal Spin(q)-bundle F Spin(q) M M. There is a lifted foliation F of F Spin(q) M, with dim( F) = dim(f). The closures of its leaves form the fibers of a fiber bundle F Spin(q) M Ŵ, which is Spin(q)-equivariant. F Spin(q) M Ŵ M W

61 One approach Suppose (for simplicity) that T has a basic spin structure. Putting q = codim(f), there is a principal Spin(q)-bundle F Spin(q) M M. There is a lifted foliation F of F Spin(q) M, with dim( F) = dim(f). The closures of its leaves form the fibers of a fiber bundle F Spin(q) M Ŵ, which is Spin(q)-equivariant. F Spin(q) M Ŵ M W One can lift D to an operator on F Spin(q) M,

62 One approach Suppose (for simplicity) that T has a basic spin structure. Putting q = codim(f), there is a principal Spin(q)-bundle F Spin(q) M M. There is a lifted foliation F of F Spin(q) M, with dim( F) = dim(f). The closures of its leaves form the fibers of a fiber bundle F Spin(q) M Ŵ, which is Spin(q)-equivariant. F Spin(q) M Ŵ M W One can lift D to an operator on F Spin(q) M, which then descends to a Spin(q)-transversally elliptic operator D on Ŵ.

63 One approach Index theorem for an operator which is transversally elliptic with respect to a compact Lie group action (Atiyah, Berline-Vergne, Vergne, Paradan,... )

64 One approach Index theorem for an operator which is transversally elliptic with respect to a compact Lie group action (Atiyah, Berline-Vergne, Vergne, Paradan,... ) Does not seem to be explicit enough (so far) to compute Index(D).

65 One approach Index theorem for an operator which is transversally elliptic with respect to a compact Lie group action (Atiyah, Berline-Vergne, Vergne, Paradan,... ) Does not seem to be explicit enough (so far) to compute Index(D). Approach of Brüning-Kamber-Richardson : do equivariant modifications of Ŵ to simplify the isotropy group structure. Keep track of how the index changes under the modifications. Get a semilocal formula for Index(D).

66 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

67 Suspension foliations Suppose that we are given 1. A discrete group Γ,

68 Suspension foliations Suppose that we are given 1. A discrete group Γ, 2. A compact Lie group G,

69 Suspension foliations Suppose that we are given 1. A discrete group Γ, 2. A compact Lie group G, 3. An injective homomorphism Γ G with dense image,

70 Suspension foliations Suppose that we are given 1. A discrete group Γ, 2. A compact Lie group G, 3. An injective homomorphism Γ G with dense image, 4. A closed manifold Y with fundamental group Γ, and

71 Suspension foliations Suppose that we are given 1. A discrete group Γ, 2. A compact Lie group G, 3. An injective homomorphism Γ G with dense image, 4. A closed manifold Y with fundamental group Γ, and 5. A closed Riemannian manifold Z on which G acts isometrically.

72 Suspension foliations Suppose that we are given 1. A discrete group Γ, 2. A compact Lie group G, 3. An injective homomorphism Γ G with dense image, 4. A closed manifold Y with fundamental group Γ, and 5. A closed Riemannian manifold Z on which G acts isometrically. Put M = (Ỹ Z )/Γ, a fiber bundle over Y.

73 Suspension foliations M = (Ỹ Z )/Γ There is a horizontal Riemannian foliation F on M.

74 Suspension foliations M = (Ỹ Z )/Γ There is a horizontal Riemannian foliation F on M. A fiber Z of the fiber bundle is a complete transversal.

75 Suspension foliations M = (Ỹ Z )/Γ There is a horizontal Riemannian foliation F on M. A fiber Z of the fiber bundle is a complete transversal. A transverse Dirac-type operator on (M, F) amounts to a Γ-invariant Dirac-type operator D on Z,

76 Suspension foliations M = (Ỹ Z )/Γ There is a horizontal Riemannian foliation F on M. A fiber Z of the fiber bundle is a complete transversal. A transverse Dirac-type operator on (M, F) amounts to a Γ-invariant Dirac-type operator D on Z, or, equivalently, a G-invariant Dirac-type operator D on Z.

77 Index computation Suppose that G = T k.

78 Index computation Suppose that G = T k. Index (D inv ) = Index(g) dµ T k (g) T k

79 Index computation Suppose that G = T k. Index (D inv ) = Index(g) dµ T k (g) T k = T k ( ) L(g) dµ T k (g) Z g

80 Index computation Suppose that G = T k. Index (D inv ) = Index(g) dµ T k (g) T k ( ) = L(g) dµ T k (g) T k Z g ( ) = L(g, z) dz dµ T k Z T k T k (g)

81 Index computation Suppose that G = T k. Index (D inv ) = Index(g) dµ T k (g) T k ( ) = L(g) dµ T k (g) T k Z g ( ) = L(g, z) dz dµ T k T k (g)? = T k Z T k Z ( ) L(g, z) dµ T k (g) dz T k

82 Index computation Suppose that G = T k. Index (D inv ) = Index(g) dµ T k (g) T k ( ) = L(g) dµ T k (g) T k Z g ( ) = L(g, z) dz dµ T k T k (g)? = T k Z T k Z ( ) L(g, z) dµ T k (g) dz T k Problem : T k L(g, z) dµ T k (g) generally diverges!

83 Index computation Suppose that G = T k. Index (D inv ) = Index(g) dµ T k (g) T k ( ) = L(g) dµ T k (g) T k Z g ( ) = L(g, z) dz dµ T k T k (g)? = T k Z T k Z ( ) L(g, z) dµ T k (g) dz T k Problem : T k L(g, z) dµ T k (g) generally diverges! Get cancellations from various components of Z T k.

84 Divergences T k ( ) ( ) L(g, z) dz dµ Z T k T k (g) =? L(g, z) dµ T Z T k k (g) dz T k

85 Divergences T k ( ) ( ) L(g, z) dz dµ Z T k T k (g) =? L(g, z) dµ T Z T k k (g) dz T k McKean-Singer-type localization, to compute Index (D inv ), doesn t work.

86 Divergences T k ( ) ( ) L(g, z) dz dµ Z T k T k (g) =? L(g, z) dµ T Z T k k (g) dz T k McKean-Singer-type localization, to compute Index (D inv ), doesn t work. In this case, we can subtract off the divergent terms of T k L(g, z) dµ T k (g) by hand. We know that they will cancel out in the end.

87 Divergences T k ( ) ( ) L(g, z) dz dµ Z T k T k (g) =? L(g, z) dµ T Z T k k (g) dz T k McKean-Singer-type localization, to compute Index (D inv ), doesn t work. In this case, we can subtract off the divergent terms of T k L(g, z) dµ T k (g) by hand. We know that they will cancel out in the end. But what to do for more general Riemannian foliations, which may not reduce to compact Lie group actions?

88 A way out A Riemannian foliation may not come from a Lie group action, but there is always a local action by a Lie algebra g.

89 A way out A Riemannian foliation may not come from a Lie group action, but there is always a local action by a Lie algebra g. Idea : prove a Kirillov-type delocalized index formula, in terms of X g.

90 A way out A Riemannian foliation may not come from a Lie group action, but there is always a local action by a Lie algebra g. Idea : prove a Kirillov-type delocalized index formula, in terms of X g. If g is abelian, we can replace the nonexistent integral over G by an averaging over X g.

91 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

92 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F).

93 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G.

94 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F).

95 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F). Source and range maps s, r : G T.

96 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F). Source and range maps s, r : G T. G p = s 1 (p), G p = r 1 (p), G p p = s 1 (p) r 1 (p)

97 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F). Source and range maps s, r : G T. G p = s 1 (p), G p = r 1 (p), G p p = s 1 (p) r 1 (p) Furthermore, G is a Riemannian groupoid,

98 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F). Source and range maps s, r : G T. G p = s 1 (p), G p = r 1 (p), G p p = s 1 (p) r 1 (p) Furthermore, G is a Riemannian groupoid, meaning that T has a Riemannian metric, and

99 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F). Source and range maps s, r : G T. G p = s 1 (p), G p = r 1 (p), G p p = s 1 (p) r 1 (p) Furthermore, G is a Riemannian groupoid, meaning that T has a Riemannian metric, and If g G then dg : T s(g) T T r(g) T is an isometric isomorphism.

100 Groupoid Let T be a complete transversal for the Riemannian foliation (M, F). It is the unit space of an étale groupoid G. The elements of G are the holonomy elements of (M, F). Source and range maps s, r : G T. G p = s 1 (p), G p = r 1 (p), G p p = s 1 (p) r 1 (p) Furthermore, G is a Riemannian groupoid, meaning that T has a Riemannian metric, and If g G then dg : T s(g) T T r(g) T is an isometric isomorphism. The transverse index problem becomes a question about the invariant index of an operator on a Riemannian groupoid.

101 Groupoid closure One can take the closure G of G in the 1-jet topology on T.

102 Groupoid closure One can take the closure G of G in the 1-jet topology on T. It is a Lie groupoid but is generally not étale.

103 Groupoid closure One can take the closure G of G in the 1-jet topology on T. It is a Lie groupoid but is generally not étale. However, it also has a topology in which it becomes an étale groupoid G δ.

104 Groupoid closure One can take the closure G of G in the 1-jet topology on T. It is a Lie groupoid but is generally not étale. However, it also has a topology in which it becomes an étale groupoid G δ. Example : suspension foliation

105 Groupoid closure One can take the closure G of G in the 1-jet topology on T. It is a Lie groupoid but is generally not étale. However, it also has a topology in which it becomes an étale groupoid G δ. Example : suspension foliation G = Z Γ

106 Groupoid closure One can take the closure G of G in the 1-jet topology on T. It is a Lie groupoid but is generally not étale. However, it also has a topology in which it becomes an étale groupoid G δ. Example : suspension foliation G = Z Γ G = Z G

107 Groupoid closure One can take the closure G of G in the 1-jet topology on T. It is a Lie groupoid but is generally not étale. However, it also has a topology in which it becomes an étale groupoid G δ. Example : suspension foliation G = Z Γ G = Z G G δ = Z G δ

108 Molino theory The Lie algebroid of G is a locally constant sheaf of Lie algebras.

109 Molino theory The Lie algebroid of G is a locally constant sheaf of Lie algebras. Its stalk g could be any finite-dimensional Lie algebra.

110 Molino theory The Lie algebroid of G is a locally constant sheaf of Lie algebras. Its stalk g could be any finite-dimensional Lie algebra. Local representation of g by Killing vector fields on T.

111 Molino theory The Lie algebroid of G is a locally constant sheaf of Lie algebras. Its stalk g could be any finite-dimensional Lie algebra. Local representation of g by Killing vector fields on T. Parallel to Cheeger-Fukaya-Gromov theory of Nil-structures in bounded curvature collapse.

112 Molino theory The Lie algebroid of G is a locally constant sheaf of Lie algebras. Its stalk g could be any finite-dimensional Lie algebra. Local representation of g by Killing vector fields on T. Parallel to Cheeger-Fukaya-Gromov theory of Nil-structures in bounded curvature collapse. Local structure of a Riemannian groupoid (Haefliger, Molino).

113 Integrating G is a proper Lie groupoid, so we can integrate over it.

114 Integrating G is a proper Lie groupoid, so we can integrate over it. Let {dµ p } p T be a Haar system for G, with µ p a measure on G p.

115 Integrating G is a proper Lie groupoid, so we can integrate over it. Let {dµ p } p T be a Haar system for G, with µ p a measure on G p. Let φ C c (T ) be a cutoff function so that G p φ2 (s(g)) dµ p (g) = 1.

116 Invariant subspace Let E be a G-equivariant vector bundle on T.

117 Invariant subspace Let E be a G-equivariant vector bundle on T. Define an injection α : L 2 (T ; E) G L 2 (T ; E) by α(ξ) = φξ,

118 Invariant subspace Let E be a G-equivariant vector bundle on T. Define an injection α : L 2 (T ; E) G L 2 (T ; E) by α(ξ) = φξ, and a surjection β : L 2 (T ; E) L 2 (T ; E) G by ( (β(η)) p = η s(g) g 1) φ(s(g)) dµ p (g). G p

119 Invariant subspace Let E be a G-equivariant vector bundle on T. Define an injection α : L 2 (T ; E) G L 2 (T ; E) by α(ξ) = φξ, and a surjection β : L 2 (T ; E) L 2 (T ; E) G by ( (β(η)) p = η s(g) g 1) φ(s(g)) dµ p (g). Then β α = Id G p

120 Invariant subspace Let E be a G-equivariant vector bundle on T. Define an injection α : L 2 (T ; E) G L 2 (T ; E) by α(ξ) = φξ, and a surjection β : L 2 (T ; E) L 2 (T ; E) G by ( (β(η)) p = η s(g) g 1) φ(s(g)) dµ p (g). Then β α = Id β = α G p

121 Invariant subspace Let E be a G-equivariant vector bundle on T. Define an injection α : L 2 (T ; E) G L 2 (T ; E) by α(ξ) = φξ, and a surjection β : L 2 (T ; E) L 2 (T ; E) G by ( (β(η)) p = η s(g) g 1) φ(s(g)) dµ p (g). Then β α = Id β = α G p Hence P = α β is an orthogonal projection on L 2 (T ; E), with image isomorphic to L 2 (T ; E) G. Get inner product on L 2 (T ; E) G.

122 Spectral triple Let D 0 be a G-invariant Dirac-type operator on L 2 (T ; E). (Give it APS boundary conditions).

123 Spectral triple Let D 0 be a G-invariant Dirac-type operator on L 2 (T ; E). (Give it APS boundary conditions). Proposition ( C c (G), L 2 (T ; E), D 0 ) is a spectral triple of dimension q.

124 Spectral triple Let D 0 be a G-invariant Dirac-type operator on L 2 (T ; E). (Give it APS boundary conditions). Proposition ( C c (G), L 2 (T ; E), D 0 ) is a spectral triple of dimension q. Put D inv = β D 0 α, an operator on L 2 (T ; E) G. It is unitarily equivalent to P D 0 P on Im(P).

125 Spectral triple Let D 0 be a G-invariant Dirac-type operator on L 2 (T ; E). (Give it APS boundary conditions). Proposition ( C c (G), L 2 (T ; E), D 0 ) is a spectral triple of dimension q. Put D inv = β D 0 α, an operator on L 2 (T ; E) G. It is unitarily equivalent to P D 0 P on Im(P). One finds D inv = D c(τ), where τ is a certain closed G-invariant 1-form on T.

126 Spectral triple Let D 0 be a G-invariant Dirac-type operator on L 2 (T ; E). (Give it APS boundary conditions). Proposition ( C c (G), L 2 (T ; E), D 0 ) is a spectral triple of dimension q. Put D inv = β D 0 α, an operator on L 2 (T ; E) G. It is unitarily equivalent to P D 0 P on Im(P). One finds D inv = D c(τ), where τ is a certain closed G-invariant 1-form on T. Corollary D inv is Fredholm. In fact, e td2 inv is trace-class for all t > 0.

127 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

128 Setup Let W be the orbit space of G. It is the same as the space of leaf closures.

129 Setup Let W be the orbit space of G. It is the same as the space of leaf closures. A neighborhood of w W is homeomorphic to V w /K w, where V w is a vector space and K w is a compact Lie group, whose Lie algebra lies in g.

130 Setup Let W be the orbit space of G. It is the same as the space of leaf closures. A neighborhood of w W is homeomorphic to V w /K w, where V w is a vector space and K w is a compact Lie group, whose Lie algebra lies in g. Assumptions : 1. The Molino Lie algebra g is an abelian Lie algebra R k,

131 Setup Let W be the orbit space of G. It is the same as the space of leaf closures. A neighborhood of w W is homeomorphic to V w /K w, where V w is a vector space and K w is a compact Lie group, whose Lie algebra lies in g. Assumptions : 1. The Molino Lie algebra g is an abelian Lie algebra R k, 2. The Molino sheaf has trivial holonomy on M, and

132 Setup Let W be the orbit space of G. It is the same as the space of leaf closures. A neighborhood of w W is homeomorphic to V w /K w, where V w is a vector space and K w is a compact Lie group, whose Lie algebra lies in g. Assumptions : 1. The Molino Lie algebra g is an abelian Lie algebra R k, 2. The Molino sheaf has trivial holonomy on M, and 3. For all w W, K w is connected.

133 Setup Let W be the orbit space of G. It is the same as the space of leaf closures. A neighborhood of w W is homeomorphic to V w /K w, where V w is a vector space and K w is a compact Lie group, whose Lie algebra lies in g. Assumptions : 1. The Molino Lie algebra g is an abelian Lie algebra R k, 2. The Molino sheaf has trivial holonomy on M, and 3. For all w W, K w is connected. Note : If M is simply-connected then assumptions (1) and (2) are automatic.

134 Setup Let W be the orbit space of G. It is the same as the space of leaf closures. A neighborhood of w W is homeomorphic to V w /K w, where V w is a vector space and K w is a compact Lie group, whose Lie algebra lies in g. Assumptions : 1. The Molino Lie algebra g is an abelian Lie algebra R k, 2. The Molino sheaf has trivial holonomy on M, and 3. For all w W, K w is connected. Note : If M is simply-connected then assumptions (1) and (2) are automatic. Put W max = {w W : K w T k }.

135 Index theorem Theorem Under the assumptions of the previous slide, let E be a Z 2 -graded basic Clifford module on T. Let D inv be the basic Dirac-type operator on L 2 (T ; E) G. Then Index(D inv ) = Â (TW max ) N E. W max

136 Index theorem Theorem Under the assumptions of the previous slide, let E be a Z 2 -graded basic Clifford module on T. Let D inv be the basic Dirac-type operator on L 2 (T ; E) G. Then Index(D inv ) = Â (TW max ) N E. W max Here N E is a characteristic class on W max, which is computed from the normal data of W max, along with E.

137 The transverse index problem for Riemannian foliations Introduction Riemannian foliations Basic index Compact Lie group actions Riemannian groupoids Index theorem Steps of the proof

138 Step 1 Take open coverings {U α } and {U α} of W, so U α U α,

139 Step 1 Take open coverings {U α } and {U α} of W, so U α U α, U α = B(V α )/K α, with B(V α ) a ball in V α R q and K α = T kα, and

140 Step 1 Take open coverings {U α } and {U α} of W, so U α U α, U α = B(V α )/K α, with B(V α ) a ball in V α R q and K α = T kα, and B(V α ) extends to a closed Riemannian manifold Y α with a T kα -action.

141 Parametrix Choose A subordinate partition of unity {η α } for {U α }, and

142 Parametrix Choose A subordinate partition of unity {η α } for {U α }, and Functions ρ α with support in U α so ρ α supp(ηα) = 1.

143 Parametrix Choose A subordinate partition of unity {η α } for {U α }, and Functions ρ α with support in U α so ρ α supp(ηα) = 1. (Will also denote by η α and ρ α their lifts to T and Y α.)

144 Parametrix Choose A subordinate partition of unity {η α } for {U α }, and Functions ρ α with support in U α so ρ α supp(ηα) = 1. (Will also denote by η α and ρ α their lifts to T and Y α.) Let D α be the Dirac-type operator on Y α. Let D inv,α be its restriction to T kα -invariant sections.

145 Parametrix Choose A subordinate partition of unity {η α } for {U α }, and Functions ρ α with support in U α so ρ α supp(ηα) = 1. (Will also denote by η α and ρ α their lifts to T and Y α.) Let D α be the Dirac-type operator on Y α. Let D inv,α be its restriction to T kα -invariant sections. Put Q inv,α = I e td2 inv,α Dinv,α 2 D inv,α

146 Parametrix Choose A subordinate partition of unity {η α } for {U α }, and Functions ρ α with support in U α so ρ α supp(ηα) = 1. (Will also denote by η α and ρ α their lifts to T and Y α.) Let D α be the Dirac-type operator on Y α. Let D inv,α be its restriction to T kα -invariant sections. Put Q inv,α = I e td2 inv,α D 2 inv,α D inv,α = t 0 e sd2 inv,αd inv,α ds.

147 Parametrix Proposition α ρ αq inv,α η α is a parametrix for D inv.

148 Parametrix Proposition α ρ αq inv,α η α is a parametrix for D inv. Also, for all t > 0, Index(D inv ) = α Tr s ( e td2 inv,αη α ) ( Tr s Qinv,α [D inv,α, η α ] ) α

149 Parametrix Proposition α ρ αq inv,α η α is a parametrix for D inv. Also, for all t > 0, Index(D inv ) = α = α Tr s ( e td2 inv,αη α ) Tr s ( e td2 inv,αη α ) ( Tr s Qinv,α [D inv,α, η α ] ) α ( Tr s ρα (Q inv,α Q inv,β )η β [D inv,α, η α ] ) α,β

150 Step 2 Fix a Haar measure dµ g on g R k. If F C (R k ) is a finite sum of periodic functions, put B(0,R) AV X F = lim F(X) dµ g(x) R B(0,R) 1 dµ. g(x)

151 Step 2 Fix a Haar measure dµ g on g R k. If F C (R k ) is a finite sum of periodic functions, put B(0,R) AV X F = lim F(X) dµ g(x) R B(0,R) 1 dµ. g(x) Given X R k, let X denote the corresponding vector field on Y α.

152 Step 2 Fix a Haar measure dµ g on g R k. If F C (R k ) is a finite sum of periodic functions, put B(0,R) AV X F = lim F(X) dµ g(x) R B(0,R) 1 dµ. g(x) Given X R k, let X denote the corresponding vector field on Y α. Proposition Index(D inv ) = AV X ( α Tr s ( e (td2 α +L X ) η α ) t α 0 Tr s (e (sd2 α+l X ) D α [D α, η α ] ds) ).

153 Step 3 For t > 0 and ɛ C, put D α,t,ɛ = D α + ɛ c(x). 4t

154 Step 3 For t > 0 and ɛ C, put D α,t,ɛ = D α + ɛ c(x). 4t Put F t,ɛ (X) = α Tr s ( e (td2 α,t,ɛ +L X ) η α ) α t 0 ) Tr s (e (sd2 α,t,ɛ +L X ) D α,t,ɛ [D α,t,ɛ, η α ] ds.

155 Step 3 For t > 0 and ɛ C, put D α,t,ɛ = D α + ɛ c(x). 4t Put F t,ɛ (X) = α Tr s ( e (td2 α,t,ɛ +L X ) η α ) From before, α t 0 ) Tr s (e (sd2 α,t,ɛ +L X ) D α,t,ɛ [D α,t,ɛ, η α ] ds. Index (D inv ) = AV X F t,0.

156 Deformations D α,t,ɛ = D α + ɛ c(x). 4t

157 Deformations D α,t,ɛ = D α + ɛ c(x). 4t Proposition F t,0 (X) is independent of t.

158 Deformations D α,t,ɛ = D α + ɛ c(x). 4t Proposition F t,0 (X) is independent of t. Proposition F t,ɛ (X) is independent of ɛ.

159 Deformations D α,t,ɛ = D α + ɛ c(x). 4t Proposition F t,0 (X) is independent of t. Proposition F t,ɛ (X) is independent of ɛ. Proposition F t,2 (X) has a holomorphic extension to X C k.

160 Step 4 Proposition If X R k then lim t 0 F t,1(ix) = α Y α Â(iX, Y α ) ch(ix, E α /S) η α.

161 Step 4 Proposition If X R k then lim t 0 F t,1(ix) = α Y α Â(iX, Y α ) ch(ix, E α /S) η α. Corollary Index (D inv ) = AV X F t,0 = AV X F t.1

162 Step 4 Proposition If X R k then lim t 0 F t,1(ix) = α Y α Â(iX, Y α ) ch(ix, E α /S) η α. Corollary Index (D inv ) = AV X F t,0 = AV X F t.1 = AV X α Y α Â(X, Y α ) ch(x, E α /S) η α.

163 Step 5 Let C T be the elements p T with isotropy group G p p = T k. It passes to W max W.

164 Step 5 Let C T be the elements p T with isotropy group G p p = T k. It passes to W max W. For simplicity, assume that each component of C is spin, with normal spinor bundle S N, and that E = S T W. Descend S N and W to W max. C

165 Step 5 Let C T be the elements p T with isotropy group G p p = T k. It passes to W max W. For simplicity, assume that each component of C is spin, with normal spinor bundle S N, and that E = S T W. Descend S N and W to W max. C Proposition For any Q C k, AV X α AV X Y α Â(X, Y α ) ch(x, E α /S) η α = W max Â(TW max ) ch W(e X+Q ) ch SN (e X+Q ).

166 Step 6 For generic Q C k, define N E,Q Ω (W max ) by N E,Q = AV X ch W (e X+Q ) ch SN (e X+Q ).

167 Step 6 For generic Q C k, define N E,Q Ω (W max ) by N E,Q = AV X ch W (e X+Q ) ch SN (e X+Q ). As long as Im(Q) remains outside certain hyperplanes in R k, what s being averaged is smooth in X.

168 Step 6 For generic Q C k, define N E,Q Ω (W max ) by N E,Q = AV X ch W (e X+Q ) ch SN (e X+Q ). As long as Im(Q) remains outside certain hyperplanes in R k, what s being averaged is smooth in X. N E,Q can be computed using contour integrals.

169 Step 6 For generic Q C k, define N E,Q Ω (W max ) by N E,Q = AV X ch W (e X+Q ) ch SN (e X+Q ). As long as Im(Q) remains outside certain hyperplanes in R k, what s being averaged is smooth in X. N E,Q can be computed using contour integrals. Corollary Index (D inv ) = Â(TW max ) N E,Q W max