1: \begin{filecontents*}{mn3.pstex}
2: %!PS-Adobe-2.0 EPSF-2.0
3: %%Title: mn2.fig
4: %%Creator: fig2dev Version 3.2 Patchlevel 4
5: %%CreationDate: Fri Jul 22 20:17:59 2005
6: %%For: monthubert@localhost (Monthubert Bertrand)
7: %%BoundingBox: 0 0 150 154
8: %%Magnification: 0.6000
9: %%EndComments
10: /$F2psDict 200 dict def
11: $F2psDict begin
12: $F2psDict /mtrx matrix put
13: /col-1 {0 setgray} bind def
14: /col0 {0.000 0.000 0.000 srgb} bind def
15: /col1 {0.000 0.000 1.000 srgb} bind def
16: /col2 {0.000 1.000 0.000 srgb} bind def
17: /col3 {0.000 1.000 1.000 srgb} bind def
18: /col4 {1.000 0.000 0.000 srgb} bind def
19: /col5 {1.000 0.000 1.000 srgb} bind def
20: /col6 {1.000 1.000 0.000 srgb} bind def
21: /col7 {1.000 1.000 1.000 srgb} bind def
22: /col8 {0.000 0.000 0.560 srgb} bind def
23: /col9 {0.000 0.000 0.690 srgb} bind def
24: /col10 {0.000 0.000 0.820 srgb} bind def
25: /col11 {0.530 0.810 1.000 srgb} bind def
26: /col12 {0.000 0.560 0.000 srgb} bind def
27: /col13 {0.000 0.690 0.000 srgb} bind def
28: /col14 {0.000 0.820 0.000 srgb} bind def
29: /col15 {0.000 0.560 0.560 srgb} bind def
30: /col16 {0.000 0.690 0.690 srgb} bind def
31: /col17 {0.000 0.820 0.820 srgb} bind def
32: /col18 {0.560 0.000 0.000 srgb} bind def
33: /col19 {0.690 0.000 0.000 srgb} bind def
34: /col20 {0.820 0.000 0.000 srgb} bind def
35: /col21 {0.560 0.000 0.560 srgb} bind def
36: /col22 {0.690 0.000 0.690 srgb} bind def
37: /col23 {0.820 0.000 0.820 srgb} bind def
38: /col24 {0.500 0.190 0.000 srgb} bind def
39: /col25 {0.630 0.250 0.000 srgb} bind def
40: /col26 {0.750 0.380 0.000 srgb} bind def
41: /col27 {1.000 0.500 0.500 srgb} bind def
42: /col28 {1.000 0.630 0.630 srgb} bind def
43: /col29 {1.000 0.750 0.750 srgb} bind def
44: /col30 {1.000 0.880 0.880 srgb} bind def
45: /col31 {1.000 0.840 0.000 srgb} bind def
46:
47: end
48: save
49: newpath 0 154 moveto 0 0 lineto 150 0 lineto 150 154 lineto closepath clip newpath
50: -75.4 239.7 translate
51: 1 -1 scale
52:
53: /cp {closepath} bind def
54: /ef {eofill} bind def
55: /gr {grestore} bind def
56: /gs {gsave} bind def
57: /sa {save} bind def
58: /rs {restore} bind def
59: /l {lineto} bind def
60: /m {moveto} bind def
61: /rm {rmoveto} bind def
62: /n {newpath} bind def
63: /s {stroke} bind def
64: /sh {show} bind def
65: /slc {setlinecap} bind def
66: /slj {setlinejoin} bind def
67: /slw {setlinewidth} bind def
68: /srgb {setrgbcolor} bind def
69: /rot {rotate} bind def
70: /sc {scale} bind def
71: /sd {setdash} bind def
72: /ff {findfont} bind def
73: /sf {setfont} bind def
74: /scf {scalefont} bind def
75: /sw {stringwidth} bind def
76: /tr {translate} bind def
77: /tnt {dup dup currentrgbcolor
78: 4 -2 roll dup 1 exch sub 3 -1 roll mul add
79: 4 -2 roll dup 1 exch sub 3 -1 roll mul add
80: 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
81: bind def
82: /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
83: 4 -2 roll mul srgb} bind def
84: /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
85: /$F2psEnd {$F2psEnteredState restore end} def
86:
87: $F2psBegin
88: 10 setmiterlimit
89: 0 slj 0 slc
90: 0.03600 0.03600 sc
91: %
92: % Fig objects follow
93: %
94: %
95: % here starts figure with depth 50
96: % Polyline
97: 7.500 slw
98: gs clippath
99: 6015 6030 m 6015 5970 l 5863 5970 l 5983 6000 l 5863 6030 l cp
100: 2430 2385 m 2370 2385 l 2370 2537 l 2400 2417 l 2430 2537 l cp
101: eoclip
102: n 2400 2400 m 2400 6000 l
103: 6000 6000 l gs col0 s gr gr
104:
105: % arrowhead
106: n 2430 2537 m 2400 2417 l 2370 2537 l col0 s
107: % arrowhead
108: n 5863 6030 m 5983 6000 l 5863 5970 l col0 s
109: % Polyline
110: [75 34 15 25 15 34] 0 sd
111: n 3975 6000 m
112: 3975 3600 l gs col0 s gr [] 0 sd
113: % Polyline
114: [60] 0 sd
115: n 4500 6375 m
116: 4200 6000 l gs col0 s gr [] 0 sd
117: % Polyline
118: [75 34 15 25 15 34] 0 sd
119: n 2400 4575 m
120: 4800 4575 l gs col0 s gr [] 0 sd
121: % Polyline
122: 30.000 slw
123: n 2400 3600 m 4800 3600 l 4800 6000 l 2400 6000 l
124: 2400 3600 l cp gs col0 s gr
125: % here ends figure;
126: $F2psEnd
127: rs
128: showpage
129: \end{filecontents*}
130:
131: \begin{filecontents*}{mn3.pstex_t}
132: \begin{picture}(0,0)%
133: \includegraphics{mn3.pstex}%
134: \end{picture}%
135: \setlength{\unitlength}{2368sp}%
136: %
137: \begingroup\makeatletter\ifx\SetFigFont\undefined%
138: \gdef\SetFigFont#1#2#3#4#5{%
139: \reset@font\fontsize{#1}{#2pt}%
140: \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
141: \selectfont}%
142: \fi\endgroup%
143: \begin{picture}(4152,4270)(2095,-5819)
144: \put(2101,-1711){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$t$}%
145: }}}}
146: \put(6001,-5461){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$s$}%
147: }}}}
148: \put(2176,-5386){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$A_U$}%
149: }}}}
150: \put(2251,-3961){\rotatebox{90.0}{\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_1=A_U \times [0,1]$}%
151: }}}}}
152: \put(3826,-3961){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$G(U)$}%
153: }}}}
154: \put(4576,-5761){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_2=A_M \!\! \times_M U \times_M U \times (0,1]$}%
155: }}}}
156: \end{picture}%
157: \end{filecontents*}
158:
159: \begin{filecontents*}{mn5.pstex}
160: %!PS-Adobe-2.0 EPSF-2.0
161: %%Title: mn5.fig
162: %%Creator: fig2dev Version 3.2 Patchlevel 4
163: %%CreationDate: Fri Jul 22 22:11:49 2005
164: %%For: monthubert@localhost (Monthubert Bertrand)
165: %%BoundingBox: 0 0 325 80
166: %%Magnification: 0.6000
167: %%EndComments
168: /$F2psDict 200 dict def
169: $F2psDict begin
170: $F2psDict /mtrx matrix put
171: /col-1 {0 setgray} bind def
172: /col0 {0.000 0.000 0.000 srgb} bind def
173: /col1 {0.000 0.000 1.000 srgb} bind def
174: /col2 {0.000 1.000 0.000 srgb} bind def
175: /col3 {0.000 1.000 1.000 srgb} bind def
176: /col4 {1.000 0.000 0.000 srgb} bind def
177: /col5 {1.000 0.000 1.000 srgb} bind def
178: /col6 {1.000 1.000 0.000 srgb} bind def
179: /col7 {1.000 1.000 1.000 srgb} bind def
180: /col8 {0.000 0.000 0.560 srgb} bind def
181: /col9 {0.000 0.000 0.690 srgb} bind def
182: /col10 {0.000 0.000 0.820 srgb} bind def
183: /col11 {0.530 0.810 1.000 srgb} bind def
184: /col12 {0.000 0.560 0.000 srgb} bind def
185: /col13 {0.000 0.690 0.000 srgb} bind def
186: /col14 {0.000 0.820 0.000 srgb} bind def
187: /col15 {0.000 0.560 0.560 srgb} bind def
188: /col16 {0.000 0.690 0.690 srgb} bind def
189: /col17 {0.000 0.820 0.820 srgb} bind def
190: /col18 {0.560 0.000 0.000 srgb} bind def
191: /col19 {0.690 0.000 0.000 srgb} bind def
192: /col20 {0.820 0.000 0.000 srgb} bind def
193: /col21 {0.560 0.000 0.560 srgb} bind def
194: /col22 {0.690 0.000 0.690 srgb} bind def
195: /col23 {0.820 0.000 0.820 srgb} bind def
196: /col24 {0.500 0.190 0.000 srgb} bind def
197: /col25 {0.630 0.250 0.000 srgb} bind def
198: /col26 {0.750 0.380 0.000 srgb} bind def
199: /col27 {1.000 0.500 0.500 srgb} bind def
200: /col28 {1.000 0.630 0.630 srgb} bind def
201: /col29 {1.000 0.750 0.750 srgb} bind def
202: /col30 {1.000 0.880 0.880 srgb} bind def
203: /col31 {1.000 0.840 0.000 srgb} bind def
204:
205: end
206: save
207: newpath 0 80 moveto 0 0 lineto 325 0 lineto 325 80 lineto closepath clip newpath
208: -64.6 239.7 translate
209: 1 -1 scale
210:
211: /cp {closepath} bind def
212: /ef {eofill} bind def
213: /gr {grestore} bind def
214: /gs {gsave} bind def
215: /sa {save} bind def
216: /rs {restore} bind def
217: /l {lineto} bind def
218: /m {moveto} bind def
219: /rm {rmoveto} bind def
220: /n {newpath} bind def
221: /s {stroke} bind def
222: /sh {show} bind def
223: /slc {setlinecap} bind def
224: /slj {setlinejoin} bind def
225: /slw {setlinewidth} bind def
226: /srgb {setrgbcolor} bind def
227: /rot {rotate} bind def
228: /sc {scale} bind def
229: /sd {setdash} bind def
230: /ff {findfont} bind def
231: /sf {setfont} bind def
232: /scf {scalefont} bind def
233: /sw {stringwidth} bind def
234: /tr {translate} bind def
235: /tnt {dup dup currentrgbcolor
236: 4 -2 roll dup 1 exch sub 3 -1 roll mul add
237: 4 -2 roll dup 1 exch sub 3 -1 roll mul add
238: 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
239: bind def
240: /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
241: 4 -2 roll mul srgb} bind def
242: /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
243: /$F2psEnd {$F2psEnteredState restore end} def
244:
245: $F2psBegin
246: 10 setmiterlimit
247: 0 slj 0 slc
248: 0.03600 0.03600 sc
249: %
250: % Fig objects follow
251: %
252: %
253: % here starts figure with depth 50
254: % Arc
255: 7.500 slw
256: n 1900.1 5616.0 261.7 14.8 -55.6 arcn
257: gs col0 s gr
258:
259: % Arc
260: n 2397.8 5719.0 247.3 97.9 -171.6 arc
261: gs col0 s gr
262:
263: % Arc
264: n 1900.1 5185.0 261.9 -15.0 55.5 arc
265: gs col0 s gr
266:
267: % Arc
268: n 2397.8 5082.0 248.3 -97.8 171.9 arcn
269: gs col0 s gr
270:
271: % Arc
272: n 2784.1 6486.9 261.7 -104.9 -34.4 arc
273: gs col0 s gr
274:
275: % Arc
276: n 2681.1 5989.2 247.4 172.1 81.7 arcn
277: gs col0 s gr
278:
279: % Arc
280: n 3215.9 6486.9 261.7 -75.1 -145.6 arcn
281: gs col0 s gr
282:
283: % Arc
284: n 3318.9 5989.2 247.4 7.9 98.3 arc
285: gs col0 s gr
286:
287: % Arc
288: n 5109.1 6486.9 261.7 -104.9 -34.4 arc
289: gs col0 s gr
290:
291: % Arc
292: n 5006.1 5989.2 247.4 172.1 81.7 arcn
293: gs col0 s gr
294:
295: % Arc
296: n 5540.9 6486.9 261.7 -75.1 -145.6 arcn
297: gs col0 s gr
298:
299: % Arc
300: n 5643.9 5989.2 247.4 7.9 98.3 arc
301: gs col0 s gr
302:
303: % Arc
304: n 4225.1 5616.0 261.7 14.8 -55.6 arcn
305: gs col0 s gr
306:
307: % Arc
308: n 4722.8 5719.0 247.3 97.9 -171.6 arc
309: gs col0 s gr
310:
311: % Arc
312: n 4225.1 5185.0 261.9 -15.0 55.5 arc
313: gs col0 s gr
314:
315: % Arc
316: n 4722.8 5082.0 248.3 -97.8 171.9 arcn
317: gs col0 s gr
318:
319: % Arc
320: n 6625.1 5616.0 261.7 14.8 -55.6 arcn
321: gs col0 s gr
322:
323: % Arc
324: n 7122.8 5719.0 247.3 97.9 -171.6 arc
325: gs col0 s gr
326:
327: % Arc
328: n 6625.1 5185.0 261.9 -15.0 55.5 arc
329: gs col0 s gr
330:
331: % Arc
332: n 7122.8 5082.0 248.3 -97.8 171.9 arcn
333: gs col0 s gr
334:
335: % Polyline
336: gs clippath
337: 6165 6030 m 6165 5970 l 6013 5970 l 6133 6000 l 6013 6030 l cp
338: 4755 4560 m 4695 4560 l 4695 4712 l 4725 4592 l 4755 4712 l cp
339: eoclip
340: n 4725 4575 m 4725 6000 l
341: 6150 6000 l gs col0 s gr gr
342:
343: % arrowhead
344: n 4755 4712 m 4725 4592 l 4695 4712 l col0 s
345: % arrowhead
346: n 6013 6030 m 6133 6000 l 6013 5970 l col0 s
347: % Polyline
348: gs clippath
349: 8565 6030 m 8565 5970 l 8413 5970 l 8533 6000 l 8413 6030 l cp
350: 7155 4560 m 7095 4560 l 7095 4712 l 7125 4592 l 7155 4712 l cp
351: eoclip
352: n 7125 4575 m 7125 6000 l
353: 8550 6000 l gs col0 s gr gr
354:
355: % arrowhead
356: n 7155 4712 m 7125 4592 l 7095 4712 l col0 s
357: % arrowhead
358: n 8413 6030 m 8533 6000 l 8413 5970 l col0 s
359: % Polyline
360: 30.000 slw
361: n 4725 4875 m 4725 6000 l
362: 5850 6000 l gs col0 s gr
363: % Polyline
364: 7.500 slw
365: gs clippath
366: 10665 6030 m 10665 5970 l 10513 5970 l 10633 6000 l 10513 6030 l cp
367: 9255 4560 m 9195 4560 l 9195 4712 l 9225 4592 l 9255 4712 l cp
368: eoclip
369: n 9225 4575 m 9225 6000 l
370: 10650 6000 l gs col0 s gr gr
371:
372: % arrowhead
373: n 9255 4712 m 9225 4592 l 9195 4712 l col0 s
374: % arrowhead
375: n 10513 6030 m 10633 6000 l 10513 5970 l col0 s
376: % Polyline
377: 30.000 slw
378: n 2400 4800 m 3600 4800 l 3600 6000 l 2400 6000 l
379: 2400 4800 l cp gs col0 s gr
380: % Polyline
381: 7.500 slw
382: gs clippath
383: 3840 6030 m 3840 5970 l 3688 5970 l 3808 6000 l 3688 6030 l cp
384: 2430 4560 m 2370 4560 l 2370 4712 l 2400 4592 l 2430 4712 l cp
385: eoclip
386: n 2400 4575 m 2400 6000 l
387: 3825 6000 l gs col0 s gr gr
388:
389: % arrowhead
390: n 2430 4712 m 2400 4592 l 2370 4712 l col0 s
391: % arrowhead
392: n 3688 6030 m 3808 6000 l 3688 5970 l col0 s
393: % Polyline
394: 30.000 slw
395: n 7125 6000 m
396: 7125 4875 l gs col0 s gr
397: % Polyline
398: 7.500 slw
399: [60] 0 sd
400: n 9938 6413 m
401: 9225 6000 l gs col0 s gr [] 0 sd
402: % Polyline
403: 30.000 slw
404: n 9225 6000 m
405: 9300 6000 l gs col0 s gr
406: % here ends figure;
407: $F2psEnd
408: rs
409: showpage
410: \end{filecontents*}
411:
412: \begin{filecontents*}{mn5.pstex_t}
413: \begin{picture}(0,0)%
414: \includegraphics{mn5.pstex}%
415: \end{picture}%
416: \setlength{\unitlength}{2368sp}%
417: %
418: \begingroup\makeatletter\ifx\SetFigFont\undefined%
419: \gdef\SetFigFont#1#2#3#4#5{%
420: \reset@font\fontsize{#1}{#2pt}%
421: \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
422: \selectfont}%
423: \fi\endgroup%
424: \begin{picture}(9027,2215)(1795,-5819)
425: \put(4501,-5386){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$A_U$}%
426: }}}}
427: \put(4801,-3736){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$s$}%
428: }}}}
429: \put(6076,-5011){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$t$}%
430: }}}}
431: \put(6901,-5386){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$A_U$}%
432: }}}}
433: \put(7201,-3736){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$s$}%
434: }}}}
435: \put(8476,-5011){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$t$}%
436: }}}}
437: \put(9301,-3736){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$s$}%
438: }}}}
439: \put(10576,-5011){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$t$}%
440: }}}}
441: \put(2476,-3736){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$s$}%
442: }}}}
443: \put(3751,-5011){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$t$}%
444: }}}}
445: \put(1951,-4561){\rotatebox{90.0}{\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_1$}%
446: }}}}}
447: \put(1951,-5386){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$A_U$}%
448: }}}}
449: \put(5326,-5761){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_2$}%
450: }}}}
451: \put(3001,-5686){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_2$}%
452: }}}}
453: \put(4351,-4561){\rotatebox{90.0}{\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_1$}%
454: }}}}}
455: \put(6676,-4561){\rotatebox{90.0}{\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_1$}%
456: }}}}}
457: \put(9901,-5761){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_{s=0,t=0}$}%
458: }}}}
459: \end{picture}%
460: \end{filecontents*}
461:
462: \begin{filecontents*}{mn6.pstex}
463: %!PS-Adobe-2.0 EPSF-2.0
464: %%Title: mn6.fig
465: %%Creator: fig2dev Version 3.2 Patchlevel 4
466: %%CreationDate: Fri Jul 22 22:45:42 2005
467: %%For: monthubert@localhost (Monthubert Bertrand)
468: %%BoundingBox: 0 0 306 68
469: %%Magnification: 0.6000
470: %%EndComments
471: /$F2psDict 200 dict def
472: $F2psDict begin
473: $F2psDict /mtrx matrix put
474: /col-1 {0 setgray} bind def
475: /col0 {0.000 0.000 0.000 srgb} bind def
476: /col1 {0.000 0.000 1.000 srgb} bind def
477: /col2 {0.000 1.000 0.000 srgb} bind def
478: /col3 {0.000 1.000 1.000 srgb} bind def
479: /col4 {1.000 0.000 0.000 srgb} bind def
480: /col5 {1.000 0.000 1.000 srgb} bind def
481: /col6 {1.000 1.000 0.000 srgb} bind def
482: /col7 {1.000 1.000 1.000 srgb} bind def
483: /col8 {0.000 0.000 0.560 srgb} bind def
484: /col9 {0.000 0.000 0.690 srgb} bind def
485: /col10 {0.000 0.000 0.820 srgb} bind def
486: /col11 {0.530 0.810 1.000 srgb} bind def
487: /col12 {0.000 0.560 0.000 srgb} bind def
488: /col13 {0.000 0.690 0.000 srgb} bind def
489: /col14 {0.000 0.820 0.000 srgb} bind def
490: /col15 {0.000 0.560 0.560 srgb} bind def
491: /col16 {0.000 0.690 0.690 srgb} bind def
492: /col17 {0.000 0.820 0.820 srgb} bind def
493: /col18 {0.560 0.000 0.000 srgb} bind def
494: /col19 {0.690 0.000 0.000 srgb} bind def
495: /col20 {0.820 0.000 0.000 srgb} bind def
496: /col21 {0.560 0.000 0.560 srgb} bind def
497: /col22 {0.690 0.000 0.690 srgb} bind def
498: /col23 {0.820 0.000 0.820 srgb} bind def
499: /col24 {0.500 0.190 0.000 srgb} bind def
500: /col25 {0.630 0.250 0.000 srgb} bind def
501: /col26 {0.750 0.380 0.000 srgb} bind def
502: /col27 {1.000 0.500 0.500 srgb} bind def
503: /col28 {1.000 0.630 0.630 srgb} bind def
504: /col29 {1.000 0.750 0.750 srgb} bind def
505: /col30 {1.000 0.880 0.880 srgb} bind def
506: /col31 {1.000 0.840 0.000 srgb} bind def
507:
508: end
509: save
510: newpath 0 68 moveto 0 0 lineto 306 0 lineto 306 68 lineto closepath clip newpath
511: -32.2 210.0 translate
512: 1 -1 scale
513:
514: /cp {closepath} bind def
515: /ef {eofill} bind def
516: /gr {grestore} bind def
517: /gs {gsave} bind def
518: /sa {save} bind def
519: /rs {restore} bind def
520: /l {lineto} bind def
521: /m {moveto} bind def
522: /rm {rmoveto} bind def
523: /n {newpath} bind def
524: /s {stroke} bind def
525: /sh {show} bind def
526: /slc {setlinecap} bind def
527: /slj {setlinejoin} bind def
528: /slw {setlinewidth} bind def
529: /srgb {setrgbcolor} bind def
530: /rot {rotate} bind def
531: /sc {scale} bind def
532: /sd {setdash} bind def
533: /ff {findfont} bind def
534: /sf {setfont} bind def
535: /scf {scalefont} bind def
536: /sw {stringwidth} bind def
537: /tr {translate} bind def
538: /tnt {dup dup currentrgbcolor
539: 4 -2 roll dup 1 exch sub 3 -1 roll mul add
540: 4 -2 roll dup 1 exch sub 3 -1 roll mul add
541: 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
542: bind def
543: /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
544: 4 -2 roll mul srgb} bind def
545: /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
546: /$F2psEnd {$F2psEnteredState restore end} def
547:
548: $F2psBegin
549: 10 setmiterlimit
550: 0 slj 0 slc
551: 0.03600 0.03600 sc
552: %
553: % Fig objects follow
554: %
555: %
556: % here starts figure with depth 50
557: % Arc
558: 7.500 slw
559: n 925.1 5016.0 261.7 14.8 -55.6 arcn
560: gs col0 s gr
561:
562: % Arc
563: n 1422.8 5119.0 247.3 97.9 -171.6 arc
564: gs col0 s gr
565:
566: % Arc
567: n 925.1 4585.0 261.9 -15.0 55.5 arc
568: gs col0 s gr
569:
570: % Arc
571: n 1422.8 4482.0 248.3 -97.8 171.9 arcn
572: gs col0 s gr
573:
574: % Arc
575: n 7474.9 5016.0 261.7 165.2 -124.4 arc
576: gs col0 s gr
577:
578: % Arc
579: n 6977.2 5119.0 247.3 82.1 -8.4 arcn
580: gs col0 s gr
581:
582: % Arc
583: n 7474.9 4585.0 261.9 -165.0 124.5 arcn
584: gs col0 s gr
585:
586: % Arc
587: n 6977.2 4482.0 248.3 -82.2 8.1 arc
588: gs col0 s gr
589:
590: % Arc
591: n 4135.4 4199.0 343.7 30.0 100.5 arc
592: gs col0 s gr
593:
594: % Arc
595: n 4693.0 4566.0 325.0 -53.1 -143.1 arcn
596: gs col0 s gr
597:
598: % Arc
599: n 3734.6 4602.5 344.6 59.0 -11.0 arcn
600: gs col0 s gr
601:
602: % Arc
603: n 4097.6 5158.2 319.6 142.2 -125.5 arc
604: gs col0 s gr
605:
606: % Arc
607: n 1735.4 4199.0 343.7 30.0 100.5 arc
608: gs col0 s gr
609:
610: % Arc
611: n 2293.0 4566.0 325.0 -53.1 -143.1 arcn
612: gs col0 s gr
613:
614: % Arc
615: n 1334.6 4602.5 344.6 59.0 -11.0 arcn
616: gs col0 s gr
617:
618: % Arc
619: n 1697.6 5158.2 319.6 142.2 -125.5 arc
620: gs col0 s gr
621:
622: % Polyline
623: 30.000 slw
624: n 1425 4275 m 1425 5400 l
625: 2550 5400 l gs col0 s gr
626: % Polyline
627: n 2550 5400 m
628: 2550 4275 l gs col0 s gr
629: % Polyline
630: 7.500 slw
631: gs clippath
632: 7290 5430 m 7290 5370 l 7138 5370 l 7258 5400 l 7138 5430 l cp
633: 5880 3960 m 5820 3960 l 5820 4112 l 5850 3992 l 5880 4112 l cp
634: eoclip
635: n 5850 3975 m 5850 5400 l
636: 7275 5400 l gs col0 s gr gr
637:
638: % arrowhead
639: n 5880 4112 m 5850 3992 l 5820 4112 l col0 s
640: % arrowhead
641: n 7138 5430 m 7258 5400 l 7138 5370 l col0 s
642: % Polyline
643: 30.000 slw
644: n 6975 5400 m
645: 6975 4275 l gs col0 s gr
646: % Polyline
647: n 3825 5400 m
648: 4950 5400 l gs col0 s gr
649: % Polyline
650: n 4950 5400 m
651: 4950 4275 l gs col0 s gr
652: % Polyline
653: n 9150 5325 m
654: 9150 5400 l gs col0 s gr
655: % Polyline
656: 7.500 slw
657: gs clippath
658: 9390 5430 m 9390 5370 l 9238 5370 l 9358 5400 l 9238 5430 l cp
659: 7980 3960 m 7920 3960 l 7920 4112 l 7950 3992 l 7980 4112 l cp
660: eoclip
661: n 7950 3975 m 7950 5400 l
662: 9375 5400 l gs col0 s gr gr
663:
664: % arrowhead
665: n 7980 4112 m 7950 3992 l 7920 4112 l col0 s
666: % arrowhead
667: n 9238 5430 m 9358 5400 l 9238 5370 l col0 s
668: % Polyline
669: [60] 0 sd
670: n 8925 5625 m
671: 9150 5400 l gs col0 s gr [] 0 sd
672: % Polyline
673: gs clippath
674: 5265 5430 m 5265 5370 l 5113 5370 l 5233 5400 l 5113 5430 l cp
675: 3855 3960 m 3795 3960 l 3795 4112 l 3825 3992 l 3855 4112 l cp
676: eoclip
677: n 3825 3975 m 3825 5400 l
678: 5250 5400 l gs col0 s gr gr
679:
680: % arrowhead
681: n 3855 4112 m 3825 3992 l 3795 4112 l col0 s
682: % arrowhead
683: n 5113 5430 m 5233 5400 l 5113 5370 l col0 s
684: % Polyline
685: gs clippath
686: 2865 5430 m 2865 5370 l 2713 5370 l 2833 5400 l 2713 5430 l cp
687: 1455 3960 m 1395 3960 l 1395 4112 l 1425 3992 l 1455 4112 l cp
688: eoclip
689: n 1425 3975 m 1425 5400 l
690: 2850 5400 l gs col0 s gr gr
691:
692: % arrowhead
693: n 1455 4112 m 1425 3992 l 1395 4112 l col0 s
694: % arrowhead
695: n 2713 5430 m 2833 5400 l 2713 5370 l col0 s
696: % here ends figure;
697: $F2psEnd
698: rs
699: showpage
700: \end{filecontents*}
701:
702: \begin{filecontents*}{mn6.pstex_t}
703: \begin{picture}(0,0)%
704: \includegraphics{mn6.pstex}%
705: \end{picture}%
706: \setlength{\unitlength}{2368sp}%
707: %
708: \begingroup\makeatletter\ifx\SetFigFont\undefined%
709: \gdef\SetFigFont#1#2#3#4#5{%
710: \reset@font\fontsize{#1}{#2pt}%
711: \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
712: \selectfont}%
713: \fi\endgroup%
714: \begin{picture}(8493,1870)(895,-4994)
715: \put(1201,-4786){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$A_U$}%
716: }}}}
717: \put(1051,-3961){\rotatebox{90.0}{\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_1$}%
718: }}}}}
719: \put(7576,-3961){\rotatebox{90.0}{\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_{s=1}$}%
720: }}}}}
721: \put(3601,-4786){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$A_U$}%
722: }}}}
723: \put(8926,-4936){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR_{s=1,t=0}$}%
724: }}}}
725: \put(2776,-4486){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$s$}%
726: }}}}
727: \put(1501,-3286){\makebox(0,0)[lb]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$t$}%
728: }}}}
729: \put(4126,-3586){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR''$}%
730: }}}}
731: \put(1726,-3661){\makebox(0,0)[b]{\smash{{\SetFigFont{7}{8.4}{\familydefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\GR''$}%
732: }}}}
733: \end{picture}%
734: \end{filecontents*}
735:
736: \documentclass{amsart}
737: \usepackage{amssymb,amscd, amsmath, amsfonts, enumerate}
738:
739: \usepackage{graphicx}
740: \usepackage{color}
741: \newcommand\blue[1]{\textcolor{blue}{#1}}
742: \newcommand\red[1]{\textcolor{red}{#1}}
743: \newcommand\green[1]{\textcolor{green}{#1}}
744: \newcommand\magenta[1]{\textcolor{magenta}{#1}}
745:
746: \DeclareMathAlphabet{\mathssbx}{OT1}{cmss}{bx}{n}
747:
748:
749: \begin{document}
750:
751: \setcounter{tocdepth}{1}
752:
753:
754:
755: \def\mfd{manifold}
756: \def\mfds{manifolds}
757: \def\iff{if, and only if,\ }
758: \def\g0{G^{(0)}}
759: \def\h0{H^{(0)}}
760: \def\maJ{\mathcal{J}}
761: \def\maK{\mathcal{K}}
762: \def\codim{\mathrm{codim}}
763:
764: \renewcommand{\theenumi}{\alph{enumi}}
765: \renewcommand{\labelenumi}{\rm {({\theenumi})}}
766: \renewcommand{\labelenumii}{(\roman{enumii})}
767: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
768: %
769: % OPERATORS:
770: %
771: \newcommand{\wt}[1]{\widetilde{#1}}
772: \newcommand{\Prod}{\prod}
773: \newcommand{\Cal}{\mathcal}
774: \newcommand\Ran{\operatorname{Im}}
775: \newcommand\abs{\operatorname{abs}}
776: \newcommand\rel{\operatorname{rel}}
777: \newcommand\inv{\operatorname{inv}}
778: \newcommand\topo{\operatorname{top}}
779: \newcommand\opp{\operatorname{op}}
780: \newcommand\mfk{\mathfrak}
781: \newcommand\coker{\operatorname{coker}}
782: \newcommand\hotimes{\hat \otimes}
783: \newcommand\ind{\operatorname{ind}}
784: \newcommand\End{\operatorname{End}}
785: \newcommand\per{\operatorname{per}}
786: \newcommand\pa{\partial}
787: \newcommand\sign{\operatorname{sign}}
788: \newcommand\supp{\operatorname{supp}}
789: \newcommand\cy{\mathcal{C}^\infty}
790: \newcommand\CI{\mathcal{C}^\infty}
791: \newcommand\CO{\mathcal{C}_0}
792: \newcommand\lra{\longrightarrow}
793: \newcommand\vlra{-\!\!\!-\!\!\!-\!\!\!\!\longrightarrow}
794: \newcommand\bS{{}^b\kern-1pt S}
795: \newcommand\bT{{}^b\kern-1pt T}
796: \newcommand\Hom{\operatorname{Hom}}
797: %\newcommand\ker{\operatorname{ker}}
798:
799: \newcommand\alg[1]{\mathfrak{A}(#1)}
800: \newcommand\qalg[1]{\mathfrak{B}(#1)}
801: \newcommand\ralg[1]{\mathfrak{A}_r(#1)}
802: \newcommand\rqalg[2]{\mathfrak{B}_r(#1)}
803: \newcommand\ideal[1]{C^*(#1)}
804: \newcommand\rideal[1]{C^*_r(#1)}
805: \newcommand\qideal[2]{\mathfrak{R}_{#1}(#2)}
806: \newcommand\In{\operatorname{In}}
807:
808:
809: \newcommand\TR{\operatorname{T}}
810: \newcommand\ha{\frac12}
811: \newcommand\cal{\mathcal}
812: \newcommand\END{\operatorname{END}}
813: \newcommand\ENDG{\END_{\GR}(E)}
814: \newcommand\CC{\mathbb C}
815: \newcommand\NN{\mathbb N}
816: \newcommand\RR{\mathbb R}
817: \newcommand\R{\mathbb R}
818: \newcommand\ZZ{\mathbb Z}
819: \newcommand\ci{${\mathcal C}^{\infty}$}
820: %\newcommand\CI{{\mathcal C}^{\infty}}
821: \newcommand\CIc{{\mathcal C}^{\infty}_{\text{c}}}
822: \newcommand\hden{{\Omega^{\lambda}_d}}
823: \newcommand\VD{{\mathcal D}}
824: \newcommand\mhden{{\Omega^{-1/2}_d}}
825: \newcommand\ehden{r^*(E)\otimes {\Omega^{\lambda}_d}}
826:
827: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
828: %%%%% Macros for this manuscript
829:
830:
831: \newcommand{\calg}{$C^*$-algebra}
832: \newcommand{\Cat}{\mathcal C}
833: \newcommand{\Gr}[1]{{\mathcal G}^{(#1)}}
834: \newcommand{\GR}{\mathcal G}
835: \newcommand{\LGR}{\mathcal L}
836: \newcommand{\BB}{\mathbb{B}}
837: \newcommand{\GG}{\mathcal G}
838: \newcommand{\OA}{\mathcal O}
839: \newcommand{\tPS}[1]{\Psi^{#1,0}(\GR)}
840: %\newcommand{\ttPS}[1]{\Psi_{\loc}^{#1}(\GR;E)}
841: %\newcommand{\tttPS}[1]{\Psi_{\loc}^{#1}(\GR)}
842: %% `loc'?
843: \newcommand{\AL}{{\mathcal A}(\GR)}
844: \newcommand{\FAM}{P=(P_x,x \in \Gr0)}
845: \newcommand\symb[2]{{\mathcal S}^{#1}(#2)}
846: \newcommand{\loc}{\operatorname{loc}}
847: \newcommand{\cl}{\operatorname{cl}}
848: \newcommand{\A}{s}
849: \newcommand{\prop}{\operatorname{prop}}
850: \newcommand{\comp}{\operatorname{comp}}
851: \newcommand{\adb}{\operatorname{adb}}
852: \newcommand{\dist}{\operatorname{dist}}
853:
854: \newcommand\tgt[1]{{}^{T}\kern-1pt #1}
855: \newcommand\adi[1]{{}^{ad}\kern-1pt #1}
856: \newcommand{\alp}{r }
857: \newcommand{\bet}{d }
858: \newcommand{\gm}{\Gamma }
859: \newcommand{\lon}{\longrightarrow }
860: \newcommand{\be}{\begin{eqnarray*}}
861: \newcommand{\ee}{\end{eqnarray*}}
862: \newcommand{\GGR}{{\GR}}
863: \newcommand{\cald}{{\cal D}}
864: \newcommand{\calx}{{\cal X}}
865: \def\cinfo{{\mathcal C}^{\infty,0}}
866: \def\ccinfo{{\mathcal C}_c^{\infty,0}}
867: \def\ccinf0{{\mathcal C}_c^{\infty,0}}
868: \newcommand{\II}{\ccinfo(S^*(\GR), \End(E) \otimes {\mathcal P}_m)}
869:
870: \newcommand{\III}{\ccinfo(S^*(\GR), \End(E) \otimes {\mathcal P}_m)}
871:
872: \newcommand{\IIY}{\CIc(S^*(\GR\vert_Y),
873: \End(E\vert_Y) \otimes {\mathcal P}_m)}
874: \newcommand{\mI}{\mathfrak I}
875:
876: \newcommand{\cfg}{Lie groupoid}
877:
878:
879: \def\nin{\noindent}
880: \def\eg{e.g.\ }
881: \def\pt#1#2{{\partial #1\over \partial #2}}
882:
883: \newcommand{\frakg}{{\mathfrak g}}
884:
885: \let\Tilde=\widetilde
886: \let\Bar=\overline
887: \let\Vec=\overrightarrow
888: \let\ceV=\overleftarrow
889: \def\vlra{\hbox{$\,-\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!
890: -\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!\longrightarrow\,$}}
891:
892: \def\vleq{\hbox{$\,=\!\!\!=\!\!\!=\!\!\!=\!\!\!=\!\!\!
893: =\!\!\!=\!\!\!=\!\!\!=\!\!\!=\!\!\!=\!\!\!=\!\!\!=\!\!\!=\,$}}
894:
895: \def\lrah{\hbox{$\,-\!\!\!-\!\!\!
896: -\!\!\!-\!\!\!-\!\!\!-\!\!\!-\!\!\!\longrightarrow\,$}}
897:
898: \def\surj{-\!\!\!-\!\!\!-\!\!\!\gg}
899:
900: \def\inj{>\!\!\!-\!\!\!-\!\!\!-\!\!\!>}
901:
902:
903: \newcommand{\ad}[1]{{\mathcal A}^{\fd}_{#1}}
904: \newcommand{\as}{\wt{a}}
905: \newcommand{\aun}{\mathcal{A}_{\infty}}
906: \newcommand{\aund}{\ad{\infty}}
907: \newcommand{\bo}{{}^{b}\Omega}
908: \newcommand{\bu}{{\mathcal B}_{U}}
909: \newcommand{\bs}{\wt{b}}
910: \newcommand{\ca}{{\mathcal A}}
911: \newcommand{\cae}{\ca_{1}}
912: \newcommand{\can}{\ca_{0}}
913: \newcommand{\caun}{\ca_{\infty}}
914: \newcommand{\cav}{\ca_{\Omega}}
915: \newcommand{\cavs}{\wt{\ca}_{\Omega}}
916: \newcommand{\maC}{\mathcal C}
917: \newcommand{\cb}{{\mathcal B}}
918: \newcommand{\cH}{{\mathcal{H}}}
919: \newcommand{\cj}{{\mathcal J}}
920: \newcommand{\cjt}[1]{\cj_{#1}(\ft)}
921: \newcommand{\cjtk}{\cj_{k}(\ft)}
922: \newcommand{\cjtu}{\cjt{\infty}}
923: \newcommand{\ck}{{\mathcal K}}
924: \newcommand{\ckx}{{\mathcal K}_{x}}
925: \newcommand{\cnb}{\mathcal{C}_{b}}
926: \newcommand{\cun}{\mathcal{C}^{\infty}}
927: \newcommand{\cunb}{\mathcal{C}^{\infty}_{b}}
928: \newcommand{\cunc}{\cun_{c}}
929: \newcommand{\cuncd}{\dot{\mathcal{C}}^{\infty}_{c}}
930: \newcommand{\cv}{\mathcal{V}}
931: \newcommand{\cz}{\CC}
932: \newcommand{\dbar}{d\hspace{-2.8pt}\rule[5.5pt]{3pt}{0.24pt}}
933: \newcommand{\dd}{\Delta_{\fd}}
934: \newcommand{\de}[1]{{\mathcal D}(#1)}
935: \newcommand{\deh}{{\mathcal D}^{\frac{1}{2}}}
936: \newcommand{\dez}{\delta_{12}}
937: \newcommand{\dirint}{\int^{\oplus}}
938: \newcommand{\djx}{D_{j;x}}
939: \newcommand{\djxs}{\wt{D}_{j;x}}
940: \newcommand{\dmy}{D_{m;y}}
941: \newcommand{\djys}{\wt{D}_{j;y}}
942: \newcommand{\dmjx}{\delta_{M_{j,x}}}
943: \newcommand{\dt}{\delta_{T}}
944: \newcommand{\dxs}{\frac{dx'}{x'}}
945: \newcommand{\dxss}{dx''}
946: \newcommand{\elm}{E_{\ell,m}}
947: \newcommand{\fd}{\mathfrak{D}}
948: \newcommand{\fm}{\mathfrak{M}}
949: \newcommand{\fs}{\mathfrak{S}}
950: \newcommand{\ft}{\mathfrak{T}}
951: \newcommand{\gpt}{\mathcal{G}_{\Psi}(T)}
952: \newcommand{\gx}{{\GR_{x}}}
953: \newcommand{\hol}[1]{{\cal O}(#1)}
954: \newcommand{\hft}[1]{{\mathcal H}^{#1}(\ft)}
955: \newcommand{\huft}{\hft{\infty}}
956: \newcommand{\idh}{{\rm id}_{H}}
957: \newcommand{\lch}{\mathcal{L}(\cH)}
958: \newcommand{\lck}{\mathcal{L}(\ck)}
959: \newcommand{\lckx}{\mathcal{L}(\ckx)}
960: \newcommand{\ldch}{\mathcal{L}_{D}(\cH)}
961: \newcommand{\ldgch}{\mathcal{L}^{\GR}_{D}(\cH)}
962: \newcommand{\lh}{\mathcal{L}(H)}
963: \newcommand{\lhx}{\mathcal{L}(H_{x})}
964: \newcommand{\llzrny}{\mathcal{L}(\lzrny)}
965: \newcommand{\lukdh}{{\mathcal L}^{\infty}_{K,d}(H)}
966: \newcommand{\lukh}{{\mathcal L}^{\infty}_{K}(H)}
967: \newcommand{\lzrny}{L^{2}(\rny)}
968: \newcommand{\lzgx}{L^{2}(\gx;\rsed)}
969: \newcommand{\mjx}{M_{j;x}}
970: \newcommand{\mmy}{M_{m;y}}
971: \newcommand{\norm}[1]{\|#1\|}
972: \newcommand{\nz}{\NN}
973: \newcommand{\olt}{\omega_{T}^{\ell}}
974: \newcommand{\olta}[1]{\omega_{#1}^{\ell}}
975: \newcommand{\olrt}{\omega_{T_{1},T_{2}}^{\ell,r}}
976: \newcommand{\ort}{\omega_{T}^{r}}
977: \newcommand{\orta}[1]{\omega_{#1}^{r}}
978: \newcommand{\ot}{\omega_{T}}
979: \newcommand{\otimesh}{\wh{\otimes}}
980: \newcommand{\pege}{\Psi^{1,0}(\GR;\deh)}
981: \newcommand{\pft}[1]{\Psi^{#1}(\ft)}
982: \newcommand{\pmge}{\Psi^{m,0}(\GR;\deh)}
983: \newcommand{\pmunge}{\Psi^{-\infty,0}(\GR)}
984: \newcommand{\pnge}{\Psi^{0,0}(\GR)}
985: \newcommand{\pmungee}{\Psi^{-\infty,0}(\GR)}
986: \newcommand{\pngee}{\Psi^{0,0}(\GR)}
987: \newcommand{\puft}{\pft{\infty}}
988: \newcommand{\re}{R^{(1)}}
989: \newcommand{\rklx}{\RR^{k,\ell}_{x}}
990: \newcommand{\rkx}{\RR^{k}_{x}}
991: \newcommand{\rne}{\RR^{n}_{\eta}}
992: \newcommand{\rny}{\RR^{n}_{y}}
993: \newcommand{\rpq}{\overline{\rz}_{+}}
994: \newcommand{\rsed}{r^{*}\deh}
995: \newcommand{\rz}{\RR}
996: \newcommand{\rj}{R^{(j)}}
997: \newcommand{\sk}{\Sigma_{K}}
998: \newcommand{\spk}[1]{\langle #1 \rangle}
999: \newcommand{\sva}{\sigma_{\Omega}(a;\varphi_{0},\psi_{0})}
1000: \newcommand{\te}{T^{(1)}}
1001: \newcommand{\tz}{T^{(2)}}
1002: \newcommand{\tj}{T^{(j)}}
1003: \newcommand{\wh}[1]{\widehat{#1}}
1004:
1005:
1006: %
1007:
1008: %
1009:
1010: \newcommand\ie{{\em i.e.,\ }}
1011: %
1012: % THEOREM TYPE ENVIRONMENTS:
1013: %
1014: \newtheorem{theorem}{Theorem}
1015: \newtheorem{proposition}{Proposition}
1016: \newtheorem{corollary}{Corollary}
1017: \newtheorem{lemma}{Lemma}
1018: \newtheorem{definition}{Definition}
1019: \newtheorem{notation}{Notations}
1020: \theoremstyle{remark}
1021: \newtheorem{remark}[theorem]{Remark}
1022: \newtheorem{example}[theorem]{Example}
1023: \newtheorem{examples}[theorem]{Examples}
1024:
1025: %
1026:
1027: %_
1028: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1029: %% %
1030: %% MACROS FOR THIS MANUSCRIPT %
1031: %% %
1032: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1033: %
1034: % NEW, FOR THIS MANUSCRIPT
1035: %
1036: % \newcommand{\cb}{{\mathcal B}}
1037: % \newcommand{\ck}{{\mathcal K}}
1038: \def\n#1#2{\| #1 \|_{{#2}}}
1039: \def\g0{\GR^{(0)}}
1040: \def\S{\mathscr{S}}
1041: \def\cred#1{C^*_{\mathrm{r}}(#1)}
1042: \def\rep#1{{\R_+^*}\!^{#1}} %%R Etoile Plus
1043: \def\r+#1{\R_+^{#1}}
1044: \def\cinfo{{\mathcal C}^{\infty,0}}
1045: \def\ccinfo{{\mathcal C}_c^{\infty,0}}
1046: \def\Cc{{\mathcal C}_c}
1047: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1048: %% %
1049: %% MACROS B.M. %
1050: %% %
1051: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1052: \let \mx \mbox
1053: \let \hx \hbox
1054: \let \vx \vbox
1055:
1056: \def\C{\mathbb{C}}%c'est eclaire
1057: \def\E{\mathbb{E}}
1058: \def\A{\mathbb{A}}
1059: \def\B{\mathbb{B}}
1060: \def\D{\mathbb{D}}
1061: \def\F{\mathbb{F}}
1062: \def\H{\mathbb{H}}
1063: \def\N{\mathbb{N}}
1064: \def\P{\mathbb{P}}
1065: \def\Q{\mathbb{Q}}
1066: \def\R{\mathbb{R}}
1067: \def\Z{\mathbb{Z}}
1068: \def\G{\mathbb{G}}
1069: \def\K{\mathbb{K}}
1070: \def\J{\mathbb{J}}
1071: \def\T{\mathbb{T}}
1072:
1073:
1074: \def\diagr#1{\def\normalbaselines{\baselineskip=0pt
1075: \lineskip=10pt\lineskiplimit=1pt} \matrix{#1}}
1076: \def\hfl#1#2{\smash{\mathop{\hx to 12mm{\rightarrowfill}}
1077: \limits^{\scriptstyle#1}_{\scriptstyle#2}}}
1078: \def\vfl#1#2{\llap{$\scriptstyle #1$}\left\downarrow
1079: \vx to 6mm{}\right.\rlap{$\scriptstyle #2$}}
1080: \def\antihfl#1#2{\smash{\mathop{\hx to 12mm{\leftarrowfill}}
1081: \limits^{\scriptstyle#1}_{\scriptstyle#2}}}
1082: \def\antivfl#1#2{\llap{$\scriptstyle #1$}\left\uparrow
1083: \vx to 6mm{}\right.\rlap{$\scriptstyle #2$}}
1084:
1085: \def\build#1_#2^#3{\mathrel{\mathop{\kern 0pt#1}\limits_{#2}^{#3}}}
1086:
1087: \def\limind{\mathop{\oalign{lim\cr\hidewidth$\longrightarrow$\hidewidth\cr}}}
1088: \def\limproj{\mathop{\oalign{lim\cr \hidewidth$\longleftarrow$\hidewidth\cr}}}
1089:
1090:
1091: \def\norme#1{\left\| #1 \right\|}
1092: \def\module#1{\left| #1 \right|}
1093: \def\va#1{\left| #1 \right|}
1094: \def\scal#1{\left\langle #1 \right\rangle}
1095: \def\inv#1{{#1}^{-1}}
1096: \def\invf{f^{-1}}
1097:
1098:
1099: \def\g0{G^{(0)}}
1100: \def\psd{pseudodiff\'erentiel}
1101: \def\dg{\partial G}
1102: \def\dm{\partial M}
1103: \def\dx{\partial X}
1104:
1105: \def\intm{\overset{\:\bullet}{M}}
1106: \def\intx{\overset{\:\bullet}{X}}
1107: \def\intf#1{\overset{\:\bullet}{#1}}
1108: \def\cc#1{C^*(#1)}
1109: \def\kc#1{K_*(C^*(#1))}
1110: \def\rep#1{{\R_+^*}^{#1}}
1111: \def\r+#1{\R_+^{#1}}
1112:
1113: \def\tg{groupo\"\i de tangent}
1114: \def\gr{groupoid}
1115: \def\d{{\rm d}}
1116: \def\e{{\varepsilon}}
1117: \def\cstar{$C^*$-algebra}
1118: \def\rbar{\overline\R}
1119: \def\l{\lambda}
1120: \def\kth{$K$-theory}
1121: %\def\ie{{\it i.e.}}
1122: \def\cinf{$C^\infty$}
1123: \def\M{M}
1124: \def\G{{\bf G}}
1125: \def\E{\mathcal{E}}
1126: \def\In{\hbox{In}}
1127: \def\pd{pseudodifferential}
1128:
1129:
1130:
1131: \def\k{\mathssbx{k}}
1132:
1133:
1134: \def\lb{\hbox{lb}}
1135: \def\rb{\hbox{rb}}
1136:
1137: \def\bsp{$b$-stretched product}
1138: \def\bcalc{$b$-calculus}
1139:
1140: \def\sm{submanifold}
1141: \def\mc{manifold with corners}
1142: \def\mecs{manifolds with embedded faces}
1143: \def\mec{manifold with embedded faces}
1144: \def\mcs{manifolds with corners}
1145:
1146:
1147: \def\D{\hbox{D}}
1148: \def\S{\mathcal S}
1149:
1150: \def\A{\mathcal A}
1151: \def\F{\mathcal F}
1152: \def\HF{\mathcal{HF}}
1153: \def\sym{\mathfrak S}
1154: \def\GG{\mathcal G}
1155: \def\sh{\mathrm{sh}}
1156: \def\ch{\mathrm{ch}}
1157:
1158:
1159:
1160: %\def\c{\cite}
1161: \def\fr{\frac}
1162: \def\ub{\underbar}
1163: %\def\C{\mathbb C}
1164: %\def\R{\mathbb R}
1165: \def\O{\Cal O}
1166: \def\F{\Cal F}
1167: \def\differ{\text{differentiable} }
1168: \def\tPSeudo{\text{pseudodifferential} }
1169: \def\supp{\text{supp} }
1170: \def\inn{{\mathcal R}}
1171: \def\prop{\text{prop}}
1172: \def\frag{\frak{G}}
1173: \def\simd{\tilde{d}}
1174: \def\simf{\tilde{\F}}
1175: \def\simo{\tilde{\O}}
1176: \def\simr{\tilde{r}}
1177: \def\simp{\tilde{p}}
1178: \def\simmu{\tilde{\mu}}
1179: \def\O12{\Omega^\frac{1}{2}}
1180:
1181: %
1182: \def\maG{\mathcal{G}}
1183: \def\maH{\mathcal{H}}
1184: \def\maK{\mathcal{K}}
1185: \def\maI{\mathcal{I}}
1186: \def\maL{\mathcal{L}}
1187: \def\maV{\mathcal{V}}
1188: \newcommand{\Diff}{\operatorname{Diff}}
1189: \newcommand{\Diffb}{\Diff_b(M)}
1190: \newcommand{\DiffVM}{\operatorname{\Diff_{\maV}(M)}}
1191: \newcommand{\PsiVM}{\Psi_\maV^\infty(M)}
1192: \newcommand{\Psib}{\Psi_b^\infty(M)}
1193:
1194:
1195:
1196: \date\today
1197: \author[B. Monthubert]{Bertrand Monthubert}
1198: \address{ Universit\'e Paul
1199: Sabatier (UFR MIG), Laboratoire Emile Picard,
1200: F-31062 Toulouse CEDEX 4}
1201: \email{bertrand.monthubert@math.ups-tlse.fr}
1202:
1203:
1204: \author[V. Nistor]{Victor Nistor} \address{Pennsylvania State
1205: University, Math. Dept., University Park, PA 16802}
1206: \email{nistor@math.psu.edu}
1207:
1208: \thanks{Monthubert was partially supported by a ACI Jeunes
1209: Chercheurs. Manuscripts available from {\bf
1210: http:{\scriptsize//}bertrand.monthubert.net}.
1211: Nistor was partially supported by the NSF Grant DMS
1212: 0200808. Manuscripts available from {\bf
1213: http:{\scriptsize//}www.math.psu.edu{\scriptsize/}nistor{\scriptsize/}}.}
1214:
1215: %\dedicatory\datverp
1216: \begin{abstract}
1217: We define an analytic index and prove a topological index theorem
1218: for a non-compact manifold $M_0$ with poly-cylindrical ends. We
1219: prove that an elliptic operator $P$ on $M_0$ has an invertible
1220: perturbation $P+R$ by a lower order operator \iff its analytic
1221: index vanishes. As an application, we determine the $K$-theory
1222: groups of groupoid $C^*$--algebras of manifolds with corners.
1223: \end{abstract}
1224:
1225:
1226: \title[An index theorem for manifolds with corners]{A topological
1227: index theorem for manifolds with corners}
1228:
1229:
1230: \maketitle \tableofcontents
1231:
1232:
1233: \section*{Introduction}
1234:
1235:
1236: Let $M_0$ be a smooth, {\em compact} manifold and $D$ be an
1237: elliptic differential operator of order $m$ acting between smooth
1238: sections of vector bundles on $M$. Then $D$ is continuous and
1239: Fredholm as a map between suitable Sobolev spaces (\ie $H^s \to
1240: H^{s-m}$). In particular, the kernel and cokernel of $D$ are
1241: finite dimensional. This allows one to define $\ind(D)$, the {\em
1242: Fredholm index} of $D$, by
1243: \begin{equation*}
1244: \ind(D) := \dim \ker(D) - \dim \coker(D) =
1245: \dim \ker(D) - \dim (H^{s-m}/DH^s).
1246: \end{equation*}
1247: The knowledge of the Fredholm index is relevant because it gives
1248: an obstruction to $D$ being invertible. More precisely, we have
1249: the following result whose proof is an easy exercise in Functional
1250: Analysis.
1251:
1252: \begin{theorem}\label{thm.perturb}\
1253: There exists a pseudodifferential operator $R$ of order $< m =
1254: \operatorname{ord}(D)$ on the compact manifold $M_0$ such that $D
1255: + R : H^s \to H^{s-m}$ is an isomorphism \iff $\ind(D) = 0$.
1256: Moreover, if one such $R$ exists, then it can be chosen to be of
1257: order $-\infty$, i.e., regularizing.
1258: \end{theorem}
1259:
1260: If $M_0$ is non-compact, the case of main interest in our paper,
1261: then an elliptic differential operator $D$ on $M_0$ needs not be
1262: Fredholm in general (here, by ``elliptic'' we mean that the
1263: principal symbol is invertible). The Fredholm index of $D$ is
1264: therefore not defined and Theorem \ref{thm.perturb} is meaningless
1265: as it stands. We therefore introduce an extension of the Fredholm
1266: index on manifolds with poly-cylindrical ends. A {\em manifold
1267: with poly-cylindrical ends} is locally diffeomorphic at infinity
1268: with a product of manifolds with cylindrical ends (see Definition
1269: \ref{def.pce}).
1270:
1271: {\em From now on, $M_0$ will denote a manifold with
1272: poly-cylindrical ends, usually non-compact, and $M$ will denote
1273: its given compactification to a manifold with corners.} Two of the
1274: main results of this paper are an extension of the Atiyah--Singer
1275: Index Theorem on the equality of the topological and analytic
1276: index and an extension of Theorem \ref{thm.perturb} to manifolds
1277: with poly-cylindrical ends (with the analytic index replacing the
1278: Fredholm index). Our work is motivated, in part, by recent work of
1279: Leichtnam--Piazza \cite{LP1} and Nistor--Troitsky \cite{NT1},
1280: who have showed that suitable generalizations of Theorem
1281: \ref{thm.perturb} are useful in geometric and topological
1282: applications. Extensions of Theorem \ref{thm.perturb} seem to be
1283: important for the study of boundary value problems on polyhedral
1284: domains \cite{N-prden} using the method of layer potentials. In
1285: the process, we establish several extensions to non-compact
1286: manifolds with poly-cylindrical ends of the classical properties
1287: on the topological index of elliptic operators on compact
1288: manifolds \cite{AS1, carvalho}.
1289:
1290: Let us explain in a little more detail our main results. The
1291: tangent bundle $TM_0$ extends to a bundle $A_M$ on $M$ whose
1292: sections are the vector fields tangent to the faces of $M$ (this
1293: is the ``compressed tangent bundle'' in Melrose's terminology).
1294: Let $D$ be a differential (or pseudodifferential operator) on
1295: $M_0$ compatible with the structure at infinity on $M_0$ (\ie $P
1296: \in \Psi^{\infty}_b(M)$, where $\Psi^{\infty}_b(M)$ denotes the
1297: algebra of pseudodifferential operators on $M_0$ compatible with
1298: the structure at infinity). Then the principal symbol of $D$
1299: extends to a symbol defined on $A_M^*$.
1300:
1301: Assume that $D$ is elliptic, in the sense that its principal
1302: symbol is invertible on $A_M^*$ outside the zero section. Then $D$
1303: is invertible modulo regularizing operators. Let $C^*(M)$ be the
1304: norm closure of the algebra of regularizing operators on $M_0$
1305: compatible with the structure at infinity of $M_0$. The
1306: obstruction of $D$ to be invertible defines a map
1307: \begin{equation}
1308: \ind_a = \ind_a^M : K^0(A_M^*) \to K_0(C^*(M)).
1309: \end{equation}
1310: This extension of the topological index is the {\em analytic
1311: index} map mentioned above. In particular, the principal symbol of
1312: $D$ defines an element $\ind_a(D) \in K_0(C^*(M))$. Theorem
1313: \ref{thm.perturb} then remains true for manifolds with
1314: poly-cylindrical ends if we use the analyitic in place of the
1315: Fredholm index.
1316:
1317: To explain our generalization of the topological index theorem,
1318: consider an embedding $\iota : M \to X$ of manifolds with corners
1319: and let $\iota_{!}$ be the push-forward map in $K$-theory. Then
1320: Theorem \ref{commutativity} states the commutativity of the
1321: diagram
1322: \begin{equation}\label{diag.I}
1323: \begin{CD}
1324: K_0(C^*(M)) @>{\iota_*}>> K_0(C^*(X))\\
1325: @A{\ind_a^M}AA @AA{\ind_a^X}A\\
1326: K^0(A_M^*) @>{\iota_{!}}>> K^0(A_X^*),\\
1327: \end{CD}
1328: \end{equation}
1329:
1330:
1331:
1332: In order to interpret the above diagram as an index theorem in the
1333: usual way, we need to choose $X$ such that $\iota_* : K_0(C^*(M))
1334: \to K_0(C^*(X))$ and $\ind_a^X : K^0(A_X^*) \to K_0(C^*(X))$ be
1335: isomorphisms. This would the provide us with both an
1336: identification of the groups $K_0(C^*(M))$ and of the map
1337: $\ind_a^M$.
1338:
1339: To obtain a manifold $X$ with the above mentioned properties, we
1340: shall proceed as follows. Let us assume $M$ is compact with
1341: embedded faces (recall \cite{MelroseScattering} that this
1342: means that each face of $M$ of maximal dimension has a defining
1343: function). To $M$ we will associate a non-canonical \mec\ $X_M$
1344: and an embedding $i : M \to X_M$ such that
1345: \begin{enumerate}[(i)]
1346: \item\ each open face of $X_M$ is diffeomorphic to a Euclidean
1347: space,
1348: \item\ each face of $M$ is the transverse intersection of $M$ and
1349: of a face of $X_M$,
1350: \item\ $F \to F \cap M$ establishes a bijection between the open
1351: faces of $M$ and those of $X_M$.
1352: \end{enumerate}
1353: We shall say that an embedding $X_M$ with the above properties is a
1354: classifying space for $M$ and prove that $i_K : K_0(C^*(M)) \to
1355: K_0(C^*(X_M))$ is an isomorphism, where $j_K$ is a canonical morphism
1356: associated to any embedding of manifolds with corners $j$ (see Lemma
1357: \ref{lemma.prop.3}).
1358:
1359: Let us now summarize the contents of the paper. In Section
1360: \ref{basic}, we review the definitions of manifolds with corners, of
1361: Lie groupoids, and of Lie algebroids. We also review and extend a
1362: result from \cite{nistorINT} on the integration of Lie algebroids. In
1363: Section \ref{a.index} we recall the definition of the analytic index
1364: using the tangent groupoid and then compare this definition with other
1365: possible definitions of an analytic index. In the process, we
1366: establish several technical results on tangent groupoids. As an
1367: application, in Theorem \ref{thm.perturb.M}, we provide the
1368: generalization of Theorem \ref{thm.perturb} mentioned above. Section
1369: \ref{sec.prop} contains the main properties of the analytic index. In
1370: this section, we also introduce the morphism $j_K$ associated to an
1371: embedding of manifolds with corners $j$ and we provide conditions for
1372: $j_K$ and $\ind_a^M$ to be isomorphisms. The compatibility of the
1373: analytic index and of the shriek maps is established in Section
1374: \ref{commutativity-diagram}. This is then used in the following
1375: section to establish the equality of the analytic and topological
1376: index. In the last section we show that it is indeed possible to find
1377: a space $X_M$ and an embedding $i : M \to X_M$ with the properties
1378: (i)--(iii) above (\ie a classifying space for $M$ exists).
1379:
1380: \thanks{We thank Catarina Carvalho, Sergiu Moroianu, and Georges
1381: Skandalis for useful discussions. The first named author also
1382: wishes to acknowledge the constant support and encouragement of
1383: his former Ph.D. advisor, Georges Skandalis.}
1384:
1385:
1386: \section{Basic definitions}\label{basic}
1387:
1388:
1389: In this section we recall several basic definitions and
1390: constructions, including:\ manifolds with corners, manifolds with
1391: poly-cylindrical ends, groupoids, adapted pseudodifferential
1392: operators, and Lie algebroids. Good references to the special
1393: issues we deal with in this section are \cite{bm1, bm-jfa, LMN1},
1394: and \cite{NWX}. General references to the subject are
1395: \cite{ConnesNCG, Mackenzie, MelroseScattering}, and
1396: \cite{Renault1}.
1397:
1398:
1399: \subsection{Manifolds with corners}
1400: A manifold with corners $M$ is a manifold modeled on $(\R_+)^n$
1401: (which is denoted $\R_+^n$, and must not be understood as a
1402: half-space of $\R^n$ but as a quadrant). This means that any point
1403: $x \in M$ has a neighborhood of the form $\R^{n-k}\times \R_+^k$
1404: (with $x$ mapping to $0 = (0, 0, \ldots, 0)$). We call $k$ the
1405: \textit{depth} of $x$.
1406:
1407: The set of points of depth $k$ is a union of connected components,
1408: each of which is a smooth submanifold in its own, called an
1409: \textit{open face of codimension $k$}. The closure of an open face
1410: (of codimension $k$) is just called a \textit{face} of $M$ (of
1411: codimension $k$). A closed face is not necessarily a
1412: manifold with corners (think of the ``tear-drop domain'' in the
1413: plane). A codimension one face of $M$ is called a
1414: \textit{hyperface} of $M$.
1415:
1416: We shall sometimes require that each hyperface of $M$ be an
1417: embedded submanifold of $M$. If this is the case, we shall call
1418: $M$ a \textit{\mec}, while in Melrose's terminology it is just
1419: called a \textit{\mc}. A manifold $M$ is a \mec\ if each hyperface
1420: has a \textit{defining function}. Recall that a function $\rho : M
1421: \to \R_+$ is a defining function of the hyperface $H \subset M$ if
1422: $\rho$ is smooth, if $\rho(x)=0$ precisely when $x \in H$, and
1423: $\d\rho$ does not vanish on $H$. Such a defining function provides
1424: us, in particular, with a trivialization of $NH = TM/TH$, the
1425: normal bundle of $H$.
1426:
1427: If $X$ and $Y$ are two \mcs, a map $f:X \to Y$ is called a {\em
1428: closed embedding} of \mcs\ if
1429: \begin{enumerate}
1430: \item\ it is differentiable, injective, with closed range;
1431: \item\ $df$ is injective;
1432: \item\ for each open face $F$ of $Y$, $f(X)$ is transverse to $F$
1433: (recall that this means that $df(T_xX) + T_yF = T_yY$, if $y =
1434: f(x) \in F$); and
1435: \item\ each hyperface of $X$ is a connected component of the
1436: inverse image of a hyperface of $Y$.
1437: \end{enumerate}
1438: In particular, $x$ and $f(x)$ will have the same depth.
1439:
1440: A {\em submersion} $f : M \to N$ (between two manifolds with
1441: corners $M$ and $N$) is a differentiable map $f$ such that
1442: \begin{enumerate}
1443: \item\ $df(v)$ is an inward pointing tangent vector of $N$ if, and
1444: only if, $v$ is an inward pointing vector of $M$; and
1445: \item\ $df$ is surjective at all points.
1446: \end{enumerate}
1447:
1448: If $\iota:X \to Y$ is a closed embedding, then there exists a
1449: \textit{tubular neighborhood} $U \subset Y$, which means that
1450: there exists a vector bundle $E$ over $X$, and an open
1451: neighborhood $Z$ of the zero section isomorphic to $U$, such that
1452: the following diagram is commutative:
1453: \begin{equation*}
1454: \begin{CD}
1455: Z @>\simeq>> U\\ @AAA @VVV\\ X @>i>> Y\\
1456: \end{CD}
1457: \end{equation*}
1458:
1459: The existence of such a tubular neighborhood is proved in
1460: \cite{douady-sem-cartan, AIN}. For the benefit of the reader, we
1461: now provide a sketch of the proof formulated in our framework. Let
1462: us denote by $\maV_b(X) \subset \Gamma(TX)$ the subspace of vector
1463: fields {\em tangent} to all faces of $X$. Then $\maV_b(X)$ is a
1464: Lie algebra with respect to the Lie bracket and a
1465: $\CI(X)$--module. Moreover, there exists a vector bundle $A_X \to
1466: X$, uniquely determined up to isomorphism, such that
1467: \begin{equation*}
1468: \maV_b(X) \simeq \Gamma(A_X) \quad \text{as }\;
1469: \CI(X) \text{--modules}.
1470: \end{equation*}
1471: If $Y \subset X$ is a closed, embedded submanifold with
1472: corners, then $\maV_b(Y)$ consists of the restrictions to $Y$ of
1473: the vector fields $V \in \maV_b(M)$ with the property that $V$ is
1474: tangent to $Y$. Fix an arbitrary open face $F$ of $Y$. The
1475: assumption that every hyperface of $Y$ be contained in a hyperface
1476: of $X$ (even a connected component of the intersection of $Y$ with
1477: a hyperface of $X$) implies that there exists an open face $F'$ of
1478: $X$, of the same codimension as $F$, such that $F \subset F'$.
1479: Next, the definition of an embedded submanifold with corners
1480: implies that $Y$ is transverse to $F'$ and hence the natural map
1481: $T_xF'/T_xF \to T_xX/T_xY$ is an isomorphism for any $x \in F$. It
1482: is then possible\footnote{This was done in the general framework
1483: of Lie manifolds in \cite{aln1} and was used in \cite{AIN}.} to
1484: construct a connection whose associated exponential map
1485: $exp:N_X^Y\to Y$ is such that its restrictions to each face is a
1486: map $exp_{|F}:(N_X^Y)_F\to F'$ and is a local diffeomorphism
1487: around the zero section. Using this exponential map, one can
1488: define $E$, $Z$, and $U$ with the required properties.
1489:
1490:
1491: \subsection{Manifolds with poly-cylindrical ends} We shall use the
1492: notation and terminology introduced in the previous subsection.
1493: Let us fix a metric on the bundle $A_M \to M$. This metric
1494: defines, in particular, a Riemannian metric on $M_0$, the interior
1495: of $M$. The following definition is from \cite{MelroseScattering}
1496:
1497:
1498: \begin{definition}\label{def.pce}\
1499: A manifold with poly-cylindrical ends is a smooth Riemannian
1500: manifold $M_0$ that is diffeomorphic with the interior of a
1501: compact manifold with corners $M$ such that the metric on $M_0$ is
1502: the restriction of a metric on $A_M$.
1503: \end{definition}
1504:
1505:
1506: The interior $M_0$ of any compact manifold with corners $M$ is
1507: therefore a manifold with poly-cylindrical ends, for any choice of
1508: a metric on $A_M \to M$. The compact manifold with corners $M$
1509: will be called the {\em compactification of $M_0$}.
1510:
1511: Let us denote the hyperfaces of $M$ by $H_i$, $i = 1, \ldots, N$,
1512: and fix, for any hyperface $H_i$, a defining function $\rho_i$, if
1513: that hyperface has such a function (\ie\ if $H_i$ is an embedded
1514: hyperface). Let $h$ be a smooth metric on a manifold with embedded
1515: faces $M$. Then a typical example of a manifold with
1516: poly-cylindrical ends is provided by $M_0$, the interior of $M$,
1517: with the metric
1518: \begin{equation}\label{eq.ex.pce}
1519: g = h + \sum_{i=1}^N (\rho_i^{-1}d\rho_i)^2.
1520: \end{equation}
1521: For instance, if we take $M = [0, 1]^n$ with defining functions
1522: $x_j$ and $1 - x_j$ and let $h = 0$, then the resulting manifold
1523: with poly-cylindrical ends is isometrically diffeomorphic with
1524: $\R^n$ with the standard (flat) Euclidean metric.
1525:
1526: We shall denote by $\Diffb$ the algebra of differential operators
1527: generated by $\maV_b(M)$ together with multiplications by
1528: functions in $\CI(M)$. A simple but useful result \cite{aln1}
1529: states that all geometric operators (Laplace, Dirac, signature,
1530: ... ) associated to the Riemannian manifold with poly-cylindrical
1531: ends $M_0$ are in $\Diffb$. We shall therefore restrict our study
1532: of differential operators on $M_0$ to differential operators in
1533: $\Diffb$.
1534:
1535: If each face of $M$ has a defining function (\ie {\em $M$ has
1536: embedded faces}), then in \cite{MelrosePiazza, MelroseScattering}
1537: it was constructed an algebra $\Psib$ of pseudodifferential
1538: operators on $M$. One of the main properties of $\Psib$ is that a
1539: differential operator $P$ is in $\Psib$ precisely when $P \in
1540: \Diffb$. This construction was generalized in \cite{bm1} to
1541: arbitrary manifolds with corners. For the purpose of this paper,
1542: it is convenient to introduce the algebra $\Psib$ and related
1543: algebras using Lie groupoids. (In fact, our algebras are slightly
1544: smaller than the ones in \cite{MelrosePiazza, MelroseScattering}.)
1545: An operator $P \in \Psib$ will be called {\em compatible with the
1546: structure at infinity} on $M_0$.
1547:
1548:
1549: \subsection{Differentiable groupoids}
1550: A {\em small category} is a category whose class of
1551: morphisms is a set. The class of objects of a small category is
1552: then a set as well. By definition, a {\em groupoid} is a small
1553: category $\GR$ in which every morphism is invertible. See
1554: \cite{Renault1} for general references on groupoids.
1555:
1556: We shall follow the general notations: the set of objects (or {\em
1557: units}) of a groupoid $\GR$ is denoted by $\GR^{(0)}$, and the set
1558: of morphisms (or {\em arrows}) is denoted, by abuse of notation,
1559: by $\GR$ instead of $\GR^{(1)}.$ A \gr\ is endowed with two maps,
1560: the \textit{domain} $d:\GR \to \GR^{(0)}$ and the \textit{range}
1561: $r:\GR \to \GR^{(0)}$. The multiplication $gh$ of
1562: $g,h\in\GR^{(0)}$ is defined if, and only if, $d(g) = r(h)$. A
1563: groupoid $\GR$ is completely determined by the spaces $\GR^{(0)}$
1564: and $\GR$ and by the structural morphisms: $d$, $r$,
1565: multiplication, inversion, and the inclusion $\GR^{(0)} \to \GR$.
1566:
1567: We shall consider {\em Lie groupoids} $(\GR, M)$, that is,
1568: groupoids endowed with a differential structure such that the set
1569: of arrows, $\GR$, and the set of units, $M$, are smooth manifolds
1570: with corners, all structural maps are differentiable, and $d$ is a
1571: submersion of manifolds with corners. In particular, $d^{-1}(x)$
1572: is a smooth manifold (without corners) for any $x \in M$ and
1573: $\GR^{(0)}$ is an embedded submanifold with corners of $\GR$. (The
1574: terminology ``differentiable groupoid'' was used in \cite{NWX}
1575: instead of ``Lie groupoid,'' because the name ``Lie groupoid'' was
1576: used in the past for differentiable groupoids with additional
1577: structures. This has changed, however, and the terminology ``Lie
1578: groupoid'' better reflects the current use.)
1579:
1580: A Lie groupoid $\maG$ is called {\em $d$-connected} \iff all the
1581: sets $\maG_x := d^{-1}(x)$ are connected (and hence also path
1582: connected). If we are given a Lie groupoid $\maG$, let us define
1583: $\maG_0$ to consist of all the path components of the units in the
1584: fibers $\maG_x$. Then $\maG_0$ is the an open subset of $\maG$
1585: containing the units and is closed under the groupoid operations.
1586: We shall call $\maG_0$ the $d$-connected component of the units in
1587: $\maG$. It is a Lie groupoid on its own, and, as such, it is
1588: $d$-connected.
1589:
1590:
1591:
1592: \begin{examples}Let us include here some examples of Lie groupoids that will
1593: be needed later on.
1594:
1595: \begin{enumerate}[(1)]
1596: \item If $X$ is a smooth manifold, $X \times X$, the {\em pair
1597: groupoid} has units $X$ and is defined by $d(x,y) = y$, $r(x, y) =
1598: y$, and $(x, y) (y, z) = (x, z)$.
1599:
1600: \item Let $\pi : X \to M$ be a fibration with smooth fibers, $M$ a
1601: manifold with cornesr. Recall then that the {\em fiberwise product
1602: groupoid} $\GR := X \times_M X$ also has units $X$ and is defined
1603: as $\GR := \{(x_1, x_2) \in X^2, \pi(x_1) = \pi(x_2)\}$ with units
1604: $X$, $d(x_1, x_2) = x_2$, $r(x_1, x_2) = x_1$, and product $(x_1,
1605: x_2) (x_2, x_3) = (x_1, x_3)$. Thus $\GR$ is a subgroupoid of the
1606: pair groupoid $X \times X$. This example will be needed later on
1607: in the proof of Proposition \ref{prop.diag1}.
1608:
1609: \item If $\GR_j$, $j=1,2$, are Lie groupoids, then $\GR_1 \times
1610: \GR_2$ is also a Lie groupoid.
1611:
1612: \item If $M$ is a manifold with corners, $\GR = M$ is a Lie groupid
1613: with only units.
1614: \end{enumerate}
1615: \end{examples}
1616:
1617:
1618: \subsection{Lie algebroids}
1619: This subsection may be skipped at a first reading. A \textit{Lie
1620: algebroid} $\pi : A \to M$ over a smooth manifold with corners $M$
1621: is a smooth vector bundle $A$ over $M$ for which there is given a
1622: vector bundle map $\varrho : A \to TM$ satisfying:
1623: \begin{enumerate}
1624: \item\ $\Gamma(A)$ is endowed with a Lie algebra structure;
1625: \item\ $[\varrho(X), \varrho(Y)]=\varrho([X,Y])$;
1626: \item\ $[X, fY]=(\varrho(X)f) Y + f[X,Y]$;
1627: \end{enumerate}
1628: for any $\CI$--sections $X$ and $Y$ of $A$ and any $\CI$--function
1629: $f$ on $M$.
1630:
1631: The simplest example of a Lie algebroid is the tangent bundle $TM
1632: \to M$, with the Lie algebra structure on $\Gamma(TM)$ being given
1633: by the Lie bracket. Similarly, the vector bundle $A_M \to M$
1634: introduced above is also a Lie algebroid, the Lie algebra
1635: structure being again given by the Lie bracket.
1636:
1637: If $\GR$ is a Lie groupoid, let us denote by
1638: \begin{equation*}
1639: T_d\GR := \bigcup_{g\in\GR} T_{g} \GR_{d(g)} \quad \text{and }\,
1640: A(\GR) := \bigcup_{x \in \GR^{(0)}} T_{x} \GR_{x} =
1641: T_d\GR\vert_{\GR^{(0)}}
1642: \end{equation*}
1643: the {\em $d$-vertical tangent bundle of $\GR$} and, respectively,
1644: the {\em Lie algebroid of $\GR$}. The sections of $T_d\GR$ are
1645: vector fields tangent to the fibers of $d$, and hence the space of
1646: all these sections, $\Gamma(T_d\GR)$, is closed under the Lie
1647: bracket. Multiplication to the right by $\gamma$ maps $\GR_y$ to
1648: $\GR_x$, where $x$ and $y$ are the domain and the range of $\gamma
1649: \in \GR$. A vector field $X \in \Gamma(T_d\GR)$ will be called
1650: {\rm right invariant} if it is invariant under all these right
1651: multiplications. The space $\Gamma_R(T_d\GR)$ of right invariant
1652: vector fields is also closed under the Lie bracket because a local
1653: diffeomorphism preserves the Lie bracket. Since $A(\GR)$ is the
1654: restriction of the $d$-vertical tangent bundle $T_d\GR$ to the
1655: space of units $M$ and $r$ is a submersion, we have
1656: $\Gamma_R(T_d\GR) \simeq \Gamma(A(\GR))$ and hence the later is a
1657: Lie algebra. It turns out that $A(\GR)$ is, indeed, a Lie
1658: algebroid, where $\varrho:=r_*$, the differential of the map $r$.
1659:
1660: In the following, we shall use the following result from
1661: \cite{nistorINT}, formulated in the way it will be used in this
1662: paper. For any set $S$, we shall denote by $S^c$ its complement
1663: (in a larger set that is understood from the context).
1664:
1665:
1666: \begin{theorem}\label{thm.int}
1667: Let $A \to M$ be a Lie algebroid and anchor map $\varrho : A \to
1668: TM$. Let $N \subset F$ be a closed submanifold (possibly with
1669: corners) of a face $F$ of $M$. Assume that $N$ is invariant, in
1670: the sense that $\varrho(X)$ is tangent to $N$ for any $X \in
1671: \Gamma(A)$. Let $\GR_1$ be a groupoid with units $N$ and Lie
1672: algebroid $A\vert_{N}$. Also, let $\maG_2$ be a groupoid with
1673: units $N^c = M \smallsetminus N$ and Lie algebroid $A\vert_{N^c}$.
1674: Assume that both $\maG_1$ and $\maG_2$ are $d$-connected. Then the
1675: disjoint union $\maG := \maG_1 \cup \maG_2$ has at most one
1676: differentiable structure compatible with the differentiable
1677: structures on $\maG_1$ and $\maG_2$ that makes it a Lie groupoid
1678: with Lie algebroid $A$.
1679: \end{theorem}
1680:
1681: Let us remark that by abstract set theory nonsense, it is enough
1682: to require in the above theorem that $A(\GR_1) \simeq A\vert_{N}$
1683: and $A(\GR_2) \simeq A\vert_{N^c},$ but then we have to make sure
1684: that the isomorphism $A(\maG) \simeq A$ is such that it restricts
1685: to the given isomorphisms on $N$ and $N^c$.
1686:
1687:
1688: The differentiable structure, if there is one, is obtained using
1689: the exponential maps (see \cite{nistorINT} for details). It may
1690: happen, however, that there is no differentiable structure with
1691: the given properties on $\maG$ or that the resulting manifold is
1692: non-Hausdorff. Variants of the above result for stratifications
1693: with finitely many strata can be obtained by induction.
1694:
1695: A corollary of the above result is the following. We use the same
1696: notation as in the previous theorem.
1697:
1698:
1699: \begin{corollary}\label{cor.int}\
1700: Assume $\GR$ has a smooth structure that makes it a Lie groupoid.
1701: Let $\phi: \GR \to \GR$ be an isomorphism of groupoids that
1702: restricts to diffeomorphisms $\GR_1 \to \GR_1$ and $\GR_2 \to
1703: \GR_2$. If the induced map $\phi_*$ map defines a smooth
1704: isomorphism $A(\GR) \simeq A(\GR)$, then $\phi$ is a
1705: diffeomorphism itself.
1706: \end{corollary}
1707:
1708:
1709: \begin{proof}\
1710: Consider on $\GR$ the smooth structure coming from $\phi$ and
1711: denote by $\maG_\phi$ the resulting Lie groupoid. Then $\phi_*$
1712: establishes an isomorphism of $A(\maG_\phi)$ with $A(\maG)$. By
1713: the previous theorem, Theorem \ref{thm.int}, the smooth structure
1714: $\maG_\phi$ and the given smooth structure on $\maG$ are the same.
1715: Thus $\phi$ is differentiable. Similarly, $\phi^{-1}$ is
1716: differentiable.
1717: \end{proof}
1718:
1719:
1720: \section{The analytic index\label{a.index}}
1721:
1722:
1723: We shall need to consider a special class of pseudodifferential
1724: operators on a manifold with poly-cylindrical ends $M_0$ with
1725: compactification $M$, very closely related to the $b$-calculus of
1726: Melrose. For us, it will be convenient to introduce this calculus
1727: using groupoids. For simplicity, {\em we shall assume from
1728: now on that all our manifolds with corners have embedded faces.}
1729:
1730:
1731: \subsection{Pseudodifferential operators on groupoids}
1732: If $\GR$ is a Lie groupoid with units $M$, then there is
1733: associated to it a pseudodifferential calculus (or algebra of
1734: pseudodifferential operators) $\Psi^{\infty}(\GR)$, whose
1735: operators of order $m$ form a linear space denoted
1736: $\Psi^{m}(\GR)$, $m \in \RR$, such that $\Psi^m(\GR)
1737: \Psi^{m'}(\GR) \subset \Psi^{m + m'}(\GR)$. See \cite{bm-fp, NWX}.
1738: We shall need this construction only for Hausdorff groupoids, so
1739: we assume that $\maG$ is Hausdorff from now on. This calculus is
1740: defined as follows:\ $\Psi^{m}(\GR)$, $m \in \Z$ consists of
1741: smooth families of classical, order $m$ pseudodifferential
1742: operators $(P_x)$, $x \in M$, that are right invariant with
1743: respect to multiplication by elements of $\GR$ and are ``uniformly
1744: supported.'' To define what uniformly supported means, let us
1745: observe that the right invariance of the operators $P_x$ implies
1746: that their distribution kernels $K_{P_x}$ descend to a
1747: distribution $k_P \in I^m(\GR, M)$ \cite{NWX, bm-these}. Then the
1748: family $P = (P_x)$ is called {\em uniformly supported} if, by
1749: definition, $k_P$ has compact support in $\GR$. The right
1750: invariance condition means, for $P = (P_x) \in \Psi^\infty(\GR)$,
1751: that right multiplication $\GR_x \ni g' \mapsto g'g \in \GR_y$
1752: maps $P_y$ to $P_x$, whenever $d(g) = y$ and $r(g) = x$.
1753:
1754: We then have the following result \cite{LMN1, bm1, NWX}.
1755:
1756:
1757: \begin{theorem}\label{thm.quant}\ Let $\GR$ be a Lie
1758: groupoid with units $M$ and Lie algebroid $A = A(\GR)$. The space
1759: $\Psi^{\infty}(\GR)$ is an algebra of pseudodifferential operators
1760: so that there exist surjective principal symbol maps
1761: $\sigma_\GR^{(m)}$ with kernel $\Psi^{m-1}(\GR)$,
1762: \begin{equation*}
1763: \sigma_\GR^{(m)} : \Psi^m(\GR) \to
1764: S^m_{cl}(A^*)/S^{m-1}_{cl}(A^*).
1765: \end{equation*}
1766: Also, the algebra $\Psi^{\infty}(\GR)$ acts on $\CI(M)$ such that
1767: $\Psi^{\infty}(\GR)\CIc(M_0) \subset \CIc(M_0)$.
1768: \end{theorem}
1769:
1770:
1771: In order to define the algebra of pseudodifferential operators
1772: $\Psib$ on our manifold \mc\ $M$ (and acting on $\CIc(M_0)$, where
1773: $M_0$ is our manifold with poly-cylindrical ends), we shall first
1774: define a Lie groupoid $\GR$ canonically associated to $M$, and
1775: then consider the associated pseudodifferential calculus
1776: $\Psi^\infty(\GR)$ of $\GR$ (\cite{LN1, bm1, bm-jfa, NWX}).
1777:
1778: Let us denote the hyperfaces of $M$ by $H_i$, $i = 1, \ldots, N$,
1779: as above. Since $M$ has embedded faces, any hyperface $H_i$
1780: has a defining function $\rho_i$, which we shall fix from now on.
1781: To $M$ and $Y = \{\rho_i\}$ we associate the groupoid
1782: \begin{equation}\label{eq.def.GM}
1783: \tilde G(M; Y) := \{(x,y,\lambda_1,\ldots, \lambda_N)
1784: \in M \times M \times \rep{N},\
1785: \rho_i(x) = \lambda_i \rho_i(y),
1786: \text{ for all } i\}.
1787: \end{equation}
1788:
1789:
1790: \begin{definition}\label{def.GM}\
1791: We define $G(M)$ to be the $d$-connected component of $\tilde
1792: G(M)$.
1793: \end{definition}
1794:
1795:
1796: This definition is not canonical, since it depends on the choice
1797: of the defining functions (see \cite{bm-these, bm1} for a canonical
1798: definition). Then $G(M)$ is a Lie groupoid with units $M$. The
1799: operations are the ones induced from the pair groupoid on the
1800: first components and from the group structure on the last
1801: components, as follows:
1802: \begin{equation*}
1803: \begin{gathered}
1804: d(x, y, \lambda_j) = y, \quad r(x, y, \lambda_j) = x, \;
1805: \text{ and }\\ (x, y, \lambda_j)(y, z, \lambda_j')
1806: = (x, z, \lambda_j
1807: \lambda_j').
1808: \end{gathered}
1809: \end{equation*}
1810:
1811:
1812: We can also consider more general systems $Y$ of functions
1813: $\{\rho\}$ with the property that each function has a
1814: non-degenerate set of zeroes that is a {\em disjoint union} of
1815: hyperfaces of $M$. In particular, we have the following lemma.
1816:
1817: \begin{lemma}\label{lemma.open}\
1818: Let $Y = \{\rho_i\}$ and let $Y' = \{\rho_1\rho_2, \rho_3, \ldots
1819: \}$, where the zero sets of $\rho_1$ and $\rho_2$ are disjoint.
1820: Then $\tilde G(M; Y)$ identifies, as a Lie groupoid, with an open
1821: subset of $\tilde G(M; Y')$.
1822: \end{lemma}
1823:
1824:
1825: \begin{proof}\
1826: The identification of $\tilde G(M; Y)$ with an open subset of
1827: $\tilde G(M; Y')$ is provided by $(x, y, \lambda_i) \to (x, y,
1828: \lambda_1 \lambda_2, \lambda_3, \ldots, )$. Let $Z_j$ be the zero
1829: set of $\rho_j$. The difference between $\tilde G(M; Y)$ and
1830: $\tilde G(M; Y')$ is that $d^{-1}(Z_1 \cup Z_2)$ is $\simeq (Z_1
1831: \cup Z_2)^2 \times \RR$ in the larger groupoid, whereas
1832: $d^{-1}(Z_1 \cup Z_2) \cap \tilde G(M; Y) \simeq (Z_1^2 \cup
1833: Z_2^2) \times \RR$.
1834: \end{proof}
1835:
1836:
1837: We shall write $C^*(M) := C^*(G(M))$, for simplicity. This
1838: lemma leads right away to the following corollary.
1839:
1840: \begin{corollary}\label{cor.open}\
1841: Let $\Omega \subset M$ be an open subset. Fix a system of defining
1842: functions $Y$ for $M$, then $\tilde G(\Omega; Y) \subset \tilde
1843: G(M; Y)$ as an open subset. Consequently, $G(\Omega)$ identifies
1844: canonically with an open subset of $G(M)$ and hence we have a
1845: natural inclusion $\cc{\Omega} \subset \cc{M} = \cc{G(M)}$.
1846: \end{corollary}
1847:
1848:
1849: \begin{proof}\
1850: Equation \eqref{eq.def.GM} gives
1851: \begin{multline*}
1852: \tilde G(\Omega; Y) := \{(x,y,\lambda_1,\ldots, \lambda_N)
1853: \in \Omega \times \Omega \times \rep{N}, \
1854: \rho_i(x) = \lambda_i \rho_i(y), \text{ for all } i\} \\
1855: = d^{-1}(\Omega) \cap r^{-1}(\Omega),
1856: \end{multline*}
1857: so $\tilde G(\Omega; Y)$ is indeed an open subset of $\tilde G(M;
1858: Y)$. Passing to the $d$-connected component preserves open
1859: inclusion.
1860: \end{proof}
1861:
1862:
1863: \begin{remark}\ We clearly have $G(\Omega) \subset d^{-1}(\Omega)
1864: \cap r^{-1}(\Omega)$, but we do not have equality unless there
1865: exists a bijection between the faces of $\Omega$ and those of
1866: $M$.
1867: \end{remark}
1868:
1869:
1870: We now introduce the class of pseudodifferential operators we are
1871: interested in.
1872:
1873:
1874: \begin{definition}\label{def.Psib}\ Let $M$ be a manifold
1875: with embedded faces (by our earlier assumption) and $G(M)$ be the
1876: Lie groupoid introduced in Definition \ref{def.GM}, then we let
1877: \begin{equation*}
1878: \Psib := \Psi^\infty(G(M)).
1879: \end{equation*}
1880: \end{definition}
1881:
1882: This algebra is slightly smaller than the one constructed by Melrose
1883: \cite{MelroseScattering}, but for our purposes, it is as good. In
1884: fact, our algebra is the subalgebra of properly supported
1885: pseudodifferential operators in the Melrose's algebra.
1886:
1887: We also have that a differential operator $D$ on $M_0$ is in
1888: $\Psib$ \iff it is in $\Diffb$. We also obtain a principal symbol
1889: map
1890: \begin{equation*}
1891: \sigma_b^{(m)} : \Psi_b^m(M) \to
1892: S^m_{cl}(A_M^*)/S^{m-1}_{cl}(A_M^*)
1893: \end{equation*}
1894: This new definition of the principal symbol recovers the usual
1895: principal symbol in the interior of $M$, but it also provides
1896: additional information at the boundary. Indeed, the {\em usual}
1897: principal symbol of a differential operator $P \in \Diffb$ is
1898: never invertible at the boundary, so this differential operator
1899: can never be elliptic in the usual sense (unless, of course, it is
1900: actually a function). On the other hand, there are many
1901: differential operators $P \in \Diffb$ whose principal symbol is
1902: invertible on $A_M^*$. An example is provided by $x\pa_x$ on the
1903: interval $[0, \infty)$. This operator has $x\xi$ as its usual
1904: principal symbol, where $(x, \xi) \in T^*[0, \infty) = [0, \infty)
1905: \times \RR$, but in the calculus of $\Psib$, it has principal
1906: symbol $\sigma^{(1)}(x \pa_x) = \xi$.
1907:
1908:
1909: \subsection{The adiabatic and tangent groupoids}
1910: For the definition and study of the analytic index, we shall need
1911: the adiabatic and tangent groupoids associated to a differentiable
1912: groupoid $\GR$. We now recall their definition and establish a few
1913: elementary properties.
1914:
1915: Let $\GR$ be a Lie groupoid with space of units $M$. We construct
1916: both the \textit{adiabatic groupoid } $\adi{\GR}$ and the
1917: \textit{tangent groupoid} $\tgt{\GR}$ (\cite{ConnesNCG, bm-fp, Landsman,
1918: LMN1, Ramazan}). The space of units of $\adi{\GR}$ is $M \times
1919: [0,\infty)$ and the tangent groupoid $\tgt{\GR}$ will be defined as
1920: the restriction of $\adi{\GR}$ to $M \times [0,1]$.
1921:
1922: The underlying set of the groupoid $\adi{\GR}$ is the disjoint
1923: union:
1924: \begin{equation*}
1925: \adi{\GR} = A(\GR) \times \{ 0 \}\, \cup\,
1926: \GR \times (0,\infty).
1927: \end{equation*}
1928: We endow $A(\GR) \times \{ 0 \}$ with the structure of commutative
1929: bundle of Lie groups induced by its vector bundle structure. We
1930: endow $\GR \times (0,\infty)$ with the product (or pointwise)
1931: groupoid structure. Then the groupoid operations of $\adi{\GR}$ are
1932: such that $A(\GR) \times \{ 0 \}$ and $\GR \times (0,\infty)$ are
1933: subgroupoids with the induced structure. Now let us endow
1934: $\adi{\GR}$ with a differentiable structure. The differentiable
1935: structure on $\adi{\GR}$ is such that
1936: \begin{equation}\label{eq.smooth.gad}
1937: \Gamma(A(\adi{\GR})) = t \Gamma( A(\GR \times [0, \infty))).
1938: \end{equation}
1939: More precisely, consider the product groupoid $\GR \times [0,
1940: \infty)$ with pointwise operations. Then a section $X \in
1941: \Gamma(A(\GR \times [0, \infty)))$ can be identified with a smooth
1942: function $[0, \infty) \ni t \to X(t) \in \Gamma(A(\GR))$. We thus
1943: require $\Gamma(A(\adi{\GR})) = \{tX(t)\}$, with $X \in
1944: \Gamma(A(\GR \times [0, \infty)))$.
1945:
1946: Specifying the Lie algebroid of $A(\adi{\GR})$ completely
1947: determines its differentiable structure \cite{nistorINT}. For
1948: clarity, let us include also an explicit description of this
1949: differentiable structure. Let us consider an atlas
1950: $(\Omega_\alpha)$, consisting of domains of coordinate charts
1951: $\Omega_\alpha \subset \adi{\GR}$ and diffeomorphisms $\phi_\alpha
1952: : \Omega_\alpha \to U_\alpha$, where $U_\alpha$ is an open subset
1953: of a Euclidean space.
1954:
1955: Let $\Omega = \Omega_\alpha$ be a chart of $\GR$, such that
1956: $\Omega \cap \GR^{(0)} \neq \emptyset$; one can assume without
1957: loss of generality that $\Omega \simeq T \times U$ with respect to
1958: $s$, and $\Omega \simeq T' \times U$ with respect to $r$. Let us
1959: denote by $\phi$ and $\psi$ these diffeomorphisms. Thus, if $x
1960: \in U$, $\GR_x \simeq T$, and $A(\GR)_U \simeq \RR^k \times U$.
1961: Let $(\Theta_x)_{x \in U}$ (respectively\ $(\Theta'_x)_{x \in U}$)
1962: be a smooth family of diffeomorphisms from $\RR^k$ to $T$
1963: (respectively\ $T'$) such that $\iota(x)= \phi(\Theta_x(0),x)$
1964: (respectively $\iota(x)=\psi(\Theta'_x(0),x)$, where $\iota$
1965: denotes the inclusion of $\GR^{(0)}$ into $\GR$).
1966:
1967: Then $\overline{\Omega}=A(\GR)_U \times \{0\} \cup \Omega \times
1968: (0,\infty)$ is an open subset of $\adi{\GR}$, homeomorphic to
1969: $\RR^k\times U \times \RR_+$ with respect to $s$ and to $r$ as
1970: follows:
1971: \begin{equation*}
1972: \begin{array}{lcll}
1973: \overline{\phi}(\xi,u,\alpha)&=& \left\{\begin{array}{l}
1974: (\phi(\Theta_u(\alpha\xi),u),\alpha)\\ (\xi,u,0)
1975: \end{array}\right.
1976: & \begin{array}{l} \mathrm {\ if\ }\alpha\neq 0\\ \mathrm{\ if\
1977: }\alpha = 0
1978: \end{array} \\
1979: \overline{\psi}(\xi,u,\alpha)&=& \left\{\begin{array}{l} \big(
1980: (\phi(\Theta_u(\alpha\xi),u))^{-1},\alpha\big) \\ (\xi,u,0)
1981: \end{array}\right.
1982: & \begin{array}{l} \mathrm {\ if\ }\alpha\neq 0\\
1983: \mathrm{\ if\ }\alpha = 0
1984: \end{array}
1985: \end{array}
1986: \end{equation*}
1987: This defines an atlas of $\adi{\GR}$, endowing it with a \cfg\
1988: structure.
1989:
1990: Recall that a subset $S$ of the units of a groupoid $\maH$ is
1991: called {\em invariant} \iff\ $d^{-1}(S) = r^{-1}(S)$. Then we
1992: shall denote by $\maH_S := d^{-1}(S) = r^{-1}(S)$ and call it {\em
1993: the restriction of $\maH$ to $S$}. Then $\maH_S$ is also a
1994: groupoid precisely because $S$ is invariant. We shall sometimes
1995: write $\maH\vert_S$ instead of $\maH_S$. For instance, $\tgt{\GR}$,
1996: {\em the tangent groupoid} of $\GR$ is defined to be the
1997: restriction of $\adi{\GR}$ to $M \times [0,1]$.
1998:
1999: We have the following simple properties.
2000:
2001:
2002: \begin{lemma}\label{lemma.times.R}\
2003: Let $\maG$ be a Lie groupoid and $\maH = \maG \times \R^n$ be the
2004: product of $\maG$ with the Lie group $\R^n$ with the induced
2005: product structure. Then $\maH_{ad} \simeq \maG_{ad} \times \RR^n$
2006: \end{lemma}
2007:
2008:
2009: \begin{proof}\
2010: Let us denote by $M$ the set of units of $\maG$. We have that
2011: $A(\maH) = A(\maG) \oplus \RR^n$ as vector bundles, where the
2012: right copy of $\RR^n$ stands for the trivial bundle with fiber
2013: $\RR^n$ over $M$. Note that, as a set, $A(\maH) = A(\maG) \times
2014: \RR^n$, so our notation will not lead to any confusion.
2015:
2016: By definition,
2017: \begin{multline*}
2018: \maH_{ad} = A(\maH) \times \{ 0 \}\, \cup\,
2019: \maH \times (0,\infty) = A(\maG) \times \RR^n \times \{ 0 \}\,
2020: \cup\, \maG \times \RR^n \times (0, \infty) = \\
2021: \big[ A(\maG) \times \{ 0 \}\,
2022: \cup\, \maG \times (0, \infty) \big] \times \RR^n =
2023: \maG_{ad} \times \RR^n,
2024: \end{multline*}
2025: So we can identify the underlying sets of $\maH_{ad}$ and
2026: $\maG_{ad} \times \RR^n$. However, this identification is not the
2027: bijection we are looking for, because it does not preserve the
2028: differentiable structure. Instead, we define $\phi : \maH_{ad} \to
2029: \maG_{ad} \times \RR^n$ as follows. Let $g \in \maG_{ad}$ and $\xi
2030: \in \RR^n$, so that $(g, \xi) \in \maH_{ad}$, using the previous
2031: identification. Then $\phi(g, \xi) = (g, \xi)$ if $g \in A(\maH)
2032: \times \{ 0 \}$ and $\phi(g, \xi) = (g, t^{-1}\xi)$ if $(g, \xi)
2033: \in \maG \times \{t\} \times \RR^n$.
2034:
2035: It remains to check that $\phi$ is differentiable with
2036: differentiable inverse. For this, it is enough to check that it
2037: induces an isomorphism at the level of Lie algebroids, because the
2038: smooth structures on both $\maH_{ad}$ and $\maG_{ad} \times \RR^n$
2039: are defined by their Lie algebroids (see Theorem \ref{thm.int} and
2040: Corollary \ref{cor.int}). Indeed, Equation \eqref{eq.smooth.gad}
2041: gives
2042: \begin{multline*}
2043: \Gamma(A(\maH_{ad})) = t \Gamma( A(\maH \times [0, \infty)))
2044: = t \big[ \Gamma( A(\maG \times [0, \infty))) \oplus
2045: \CI(M \times [0, \infty))^n \big] \\
2046: \stackrel{\phi_*}{\longrightarrow} t \big[\Gamma( A(\maG
2047: \times [0, \infty))) \big] \oplus \CI(M \times [0, \infty))^n
2048: = \Gamma(A(\maG_{ad} \times \RR^n))
2049: \end{multline*}
2050: where $\phi_*$ is an isomorphism.
2051: \end{proof}
2052:
2053:
2054: This gives the following corollary.
2055:
2056:
2057: \begin{corollary}\label{cor.prod}\
2058: Let $\maH = \maG \times \RR^n$, as above. We have that
2059: $C^*(\maH_{ad}) \simeq C^*(\maG_{ad}) \otimes \CO(\RR^n)$ and that
2060: $C^*(\maH^{t}) \simeq C^*(\maG^{t}) \otimes \CO(\RR^n)$, the
2061: tensor product being the (complete, maximal) $C^*$--tensor
2062: product.
2063: \end{corollary}
2064:
2065:
2066: \begin{proof}\
2067: This follows right away from Lemma \ref{lemma.times.R} and the
2068: relation
2069: \begin{equation*}
2070: C^*(\maG' \times \RR^n) \simeq C^*(\maG')
2071: \otimes \CO(\RR^n)
2072: \end{equation*}
2073: valid for any locally compact groupoid $\maG'$.
2074: \end{proof}
2075:
2076:
2077: A similar argument using again Theorem \ref{thm.int} and Corollary
2078: \ref{cor.int} yields the following result.
2079:
2080:
2081: \begin{lemma}\label{lemma.ad.res}\
2082: Let $\maG$ with a Lie groupoid with units $M$. Let $N \subset M$
2083: be an invariant subset. Assume that $N \subset F$ is an embedded
2084: submanifold of a face $F$ of $M$. Then the restriction operations
2085: and the formation of adiabatic and tangent groupoids commute, in
2086: the sense that we have
2087: \begin{equation*}
2088: (\maG\vert_N)_{ad} \simeq \maG_{ad}
2089: \vert_{N \times [0, \infty)}
2090: \quad \text{and} \quad (\maG\vert_{N^c})_{ad}
2091: \simeq \maG_{ad} \vert_{N^c \times [0, \infty)}.
2092: \end{equation*}
2093: A similar results holds for the tangent groupoids.
2094: \end{lemma}
2095:
2096:
2097: \begin{proof}\ Again, it follows from the definition that
2098: $(\maG\vert_N)_{ad}$ and $\maG_{ad}\vert_{N \times [0, \infty)}$
2099: have the same underlying set. Moreover, this canonical bijection
2100: is a groupoid isomorphism. From the definition of the Lie
2101: algebroid of the adiabatic groupoid, if follows that this
2102: canonical bijection is also differentiable with differentiable
2103: inverse, because it induces an isomorphism of the spaces of
2104: sections of the corresponding Lie algebroids. See Theorem
2105: \ref{thm.int} and, especially, Corollary \ref{cor.int}.
2106: \end{proof}
2107:
2108:
2109: We then obtain the following corollary.
2110:
2111:
2112: \begin{corollary}\label{cor.ad.res}\ With the notations of the
2113: above lemma we have a short exact sequence
2114: \begin{equation*}
2115: 0 \to C^*(\tgt{\maG\vert_{N^c}}) \to C^*(\tgt{\maG}) \to
2116: C^*(\tgt{\maG\vert_{N}}) \to 0,
2117: \end{equation*}
2118: and a similar exact sequence for the adiabatic groupoid.
2119: \end{corollary}
2120:
2121:
2122: \subsection{The analytic index}
2123: We now give two definitions of the analytic index. The first
2124: definition is based on a generalization of Connes' tangent
2125: groupoid \cite{ConnesNCG}. The second definition is based on the
2126: boundary map of the six-term exact sequence in \kth\ induced by
2127: the symbol map. Both definitions will be needed in what follows.
2128:
2129: For each $t\in [0,1]$, $M \times \{t\}$ is a closed invariant
2130: subset of $M \times [0, \infty)$, and hence we obtain an {\em
2131: evaluation map}
2132: \begin{equation*}
2133: e_t : \cc{\tgt{\GR}} \to \cc{\tgt{\GR}_{M \times \{t\}}}.
2134: \end{equation*}
2135: By abuse of notation, we shall sometimes denote also by $e_t$ the
2136: induced map in \kth.
2137:
2138: Let us also notice that the decomposition
2139: \begin{equation*}
2140: M \times [0,1] = M \times \{0 \} \cup M \times (0,1]
2141: \end{equation*}
2142: into two closed, invariant subspaces gives rise to an exact
2143: sequence
2144: \begin{equation}\label{eq.exact1}
2145: 0 \to \cc{\tgt{\GR}_{M \times (0,1]}} \to \cc{\tgt{\GR}}
2146: \xrightarrow{e_0} C^*(A(\GR)) \to 0,
2147: \end{equation}
2148: This leads to the following six-terms exact sequence
2149: in \kth:
2150: \begin{equation*}
2151: \begin{CD}
2152: K_0( \cc{\tgt{\GR}_{M \times (0,1]}}) @>>> K_0( \cc{\tgt{\GR}})
2153: @>>> K_0(C^*(A(\GR)))\\ @AAA @. @VVV\\
2154: K_1(C^*(A(\GR)) ) @<<< K_1( \cc{\tgt{\GR}}) @<<<
2155: K_1(\cc{\tgt{\GR}_{M \times (0,1]}}).\\
2156: \end{CD}
2157: \end{equation*}
2158:
2159: We have $\tgt{\GR}_{M \times (0,1]}=\GR \times (0,1]$ and hence
2160: $\cc{\tgt{\GR}_{M \times (0,1]}} \simeq \cc{\GR}\otimes \CO((0,1])$.
2161: In particular, $K_*( \cc{\tgt{\GR}_{M \times
2162: (0,1]}})=K_*(\cc{\GR}\otimes \CO((0,1])=0$. Thus the evaluation
2163: map $e_0$ is an isomorphism in \kth.
2164:
2165: The $C^*$-algebra $C^*(A(\GR))$ is commutative and we have
2166: $C^*(A(\GR)) \simeq \CO(A^*(\GR))$. Therefore
2167: $K_*(C^*(A(\GR)))=K^*(A^*(\GR))$. In turn, this isomorphism allows
2168: us to define the \textit{analytic index} $\ind_a$ as the
2169: composition map
2170: \begin{equation}\label{def.an.index1}
2171: \ind_a^\GR = e_1 \circ e_0^{-1} : K^*(A^*(\GR))
2172: \to K_*(\cc{\GR}),
2173: \end{equation}
2174: where $e_1 : \cc{\tgt{\GR}} \to \cc{\tgt{\GR}_{M \times \{1\}}} =
2175: \cc{\GR}$ is defined by the restriction map to $M \times \{1\}$.
2176:
2177:
2178: The definition of the analytic index gives the following.
2179:
2180:
2181: \begin{proposition}\label{prop.comp}\
2182: Let $\GR$ be a Lie groupoid with Lie algebroid $\pi : A(\GR) \to
2183: M$. Also, let $N \subset F \subset M$ be a closed, invariant
2184: subset which is an embedded submanifold of a face $F$ of $M$. Then
2185: the analytic index defines a morphism of the six-term exact
2186: sequences associated to the pair $(A^*(\maG), \pi^{-1}(N))$ and to
2187: the ideal $\cc{\maG_{N^c}} \subset \cc{\maG}$, $N^c := M
2188: \smallsetminus N$
2189: \begin{equation*}
2190: \begin{CD}
2191: K^0(\pi^{-1}(N^c)) @>>> K^0(A^*(\maG))
2192: @>>> K^0(\pi^{-1}(N)) @>>> K^1(\pi^{-1}(N^c))\\
2193: @VVV @VVV @VVV @VVV\\
2194: K^0(\cc{\maG_{N^c}}) @>>> K^0(\cc{\maG})
2195: @>>> K^0(\cc{\maG_{N}}) @>>> K^1(\cc{\maG_{N^c}})\\
2196: \end{CD}
2197: \end{equation*}
2198: \end{proposition}
2199:
2200:
2201: \begin{proof}\
2202: The six-term, periodic long exact sequence in \kth\ associated to
2203: the pair $(A^*(\maG), \pi^{-1}(N))$ is naturally and canonically
2204: isomorphic to the six-term exact sequence in \kth\ associated to
2205: the pair $\CO(A^*_{M \smallsetminus N}) \subset \CO(A^*(\maG))$
2206: consisting of an algebra and an ideal in that algebra. Since $e_0$
2207: and $e_1$ also induce morphisms of pairs (algebra, ideal), the
2208: result follows from Corollary \ref{cor.ad.res}, the naturality of
2209: the six-term exact sequence in \kth, and the definition of the
2210: analytic index \eqref{def.an.indexM}.
2211: \end{proof}
2212:
2213:
2214: For $M$ a smooth manifold with embedded faces, we have
2215: $A(G(M))=A_M$. Recall that $\cc M := C^*(G(M))$. Then the analytic
2216: index becomes the desired map
2217: \begin{equation}\label{def.an.indexM}
2218: \ind_a^M : K^*(A^*_M) \to K_*(\cc{M}).
2219: \end{equation}
2220:
2221:
2222: \begin{remark}\ Assume $M$ has no corners (or boundary).
2223: Then $G(M) = M \times M$ is the product groupoid and hence
2224: $\Psi^\infty(G(M)) = \Psi^\infty(M)$. In particular, $C^*(M) :=
2225: C^*(G(M)) \simeq \maK$, the algebra of compact operators on $M$.
2226: In this case $K_0(C^*(M))=\ZZ$, and $\ind_a$ is precisely the
2227: analytic index as introduced by \cite{AS1}. This construction
2228: holds also for the case when $M$ is not compact, but we have to
2229: use pseudodifferential operators of order zero that are
2230: ``multiplication at infinity,'' as in \cite{carvalho}.
2231: \end{remark}
2232:
2233:
2234: We now turn to the application mentionned in the introduction
2235: to obstructions to finding invertible perturbations by
2236: regularizing operators. Let $\mathfrak A(\GR)$ be the envelopping
2237: $C^*$--algebra of $\Psi^0(\GR)$ and let $S^*\GR \subset A^*(\GR)$
2238: be the subset of vectors of length one. The second method is based
2239: on the exact sequence
2240: \begin{equation}\label{eq.exact2}
2241: 0 \to C^*(\GR) \to \mathfrak A(\GR)
2242: \xrightarrow{\sigma^{(0)}} C(S^*\GR) \to 0.
2243: \end{equation}
2244: The six-term exact sequence in $K$--theory associated to this
2245: exact sequence yields a boundary map
2246: \begin{equation}\label{def.an.index2}
2247: \ind_a^\GR := \pa : K^{*+1}(S^*\GR) \to K_*(\cc \GR).
2248: \end{equation}
2249:
2250: Considering the exact sequence
2251: $$0 \to C_0(A(\GR)) \to C(B(\GR)) \to C(S(\GR))\to 0,$$
2252: where $B(\GR)$ is the ball bundle, we get a map $b:K^{*+1}(S^*\GR)\to
2253: K^*(A^*M)$, and $\ind_a^M\circ b= \ind_a^\GR $.
2254:
2255:
2256:
2257: This second definition of the analytic index has the advantage
2258: that it leads to the following theorem. Let $\Psib$ be as in
2259: Definition \ref{def.Psib} and
2260: \begin{equation*}
2261: \Psi_b^m(M; E_0, E_1) = e_1M_N(\Psi_b^m(M))e_0,
2262: \end{equation*}
2263: where $e_j$ is the orthogonal projection onto the subbundle $E_j
2264: \subset M \times \CC^N$, $j = 1, 2$.
2265:
2266:
2267: \begin{theorem}\label{thm.perturb.M}\
2268: Assume $M$ is a connected manifold with corners such that all its
2269: faces have positive dimension. Let $P \in \Psi_b^m(M; E_0, E_1)$
2270: be an elliptic pseudodifferential operator acting between sections
2271: of two vector bundles $E_0, E_1 \to M$. Then there exists $R \in
2272: \Psi_b^m(M; E_0, E_1)$ such that $P + R$ is invertible if, and
2273: only if, $\ind_a^M(\sigma_P) = 0$, where $\sigma_P$ is the
2274: principal symbol of $P$.
2275: \end{theorem}
2276:
2277:
2278: \begin{proof}\ If $E_0 = E_1$ is the trivial bundle, then the
2279: proof is the same as that of Theorem 4.10 of \cite{NT1}.
2280:
2281: Let us observe as in \cite{Moroianu} that $E_0 \simeq E_1$ because
2282: $TM$ has a non-zero section. By embedding $E_0$ into a trivial
2283: bundle, we can therefore assume that $P \in M_N(\Psi_b^m(M))$. The
2284: index $\ind_a^M (\sigma_P) = \pa [\sigma_P] \in K_0(C^*(M))$ is
2285: therefore defined as in Equation \eqref{def.an.index2}. Moreover,
2286: this definition is independent of the isomorphism $E_0 \simeq E_1$
2287: and of the embedding of $E_0$ into a trivial bundle. This reduces
2288: the proof to the case of a trivial bundle.
2289: \end{proof}
2290:
2291:
2292:
2293: \section{Properties of the analytic
2294: index\label{sec.prop}}
2295:
2296:
2297: We now prove some results on the analytic index whose definition
2298: was recalled in the previous section. In this and the following
2299: sections, we continue to assume that our manifolds with corners
2300: have embedded faces. Recall that $G(M)$ is the Lie groupoid
2301: associated to a manifold with corners $M$ in Definition
2302: \ref{def.GM}.
2303:
2304: Also, recall that we have denoted $A_M := A(G(M))$ and $C^*(M) :=
2305: C^*(G(M))$. In particular, $\Gamma(A_M) = \maV_b$, the space of all
2306: vector fields tangent to the faces of $M$.
2307:
2308:
2309: \subsection{The role of faces}
2310: Let $F \subset M$ be a face of a manifold with embedded faces $M$.
2311: Recall that in our terminology, ``face'' always means ``closed
2312: face.'' Then $F$ is a closed, invariant subset of $M$
2313: (``invariant'' here is with respect to the action of $G(M)$ on its
2314: units).
2315:
2316:
2317: \begin{lemma}\label{lemma.face}\
2318: Let $\pi : A_M \to M$ be the Lie algebroid of $G(M)$. Then, for
2319: any face $F \subset M$ of codimension $k$, we have isomorphisms
2320: \begin{equation*}
2321: \pi^{-1}(F) \simeq A_F \times \RR^k \quad \text{and}
2322: \quad G(M)\vert_{F} \simeq G(F) \times \RR^k.
2323: \end{equation*}
2324: \end{lemma}
2325:
2326:
2327: \begin{proof}\
2328: We have that $\pi^{-1}(F) \simeq A_F \oplus \pi^{-1}(F)/A_F$. The
2329: choice of defining functions for the $k$ hyperfaces containing $F$
2330: then gives an isomorphism $\pi^{-1}(F)/A_F \simeq F \times \RR^k$.
2331: The last part follows from the definitions of $G(M)$ and $G(F)$,
2332: for the latter using the defining functions of $M$ that are
2333: non-zero on $F$.
2334: \end{proof}
2335:
2336:
2337: For the simplicity of the notation, let us denote by $\maG_1 :=
2338: G(M) \vert_{F} \simeq G(F) \times \RR^k$. The analytic indices
2339: defined in Equations \eqref{def.an.index1} and
2340: \eqref{def.an.indexM} for this restriction groupoid are then
2341: identified by the following lemma.
2342:
2343:
2344: \begin{lemma}\label{lemma.a.i.f}\
2345: For any face $F \subset M$ of codimension $k$ we have a
2346: commutative diagram
2347: \begin{equation*}
2348: \begin{CD}
2349: K^{*+k}(A^*(\maG_1)) @>\ind_a^{\maG_1}>>
2350: K_{*+k}(C^*(\maG_1))\\ @AAA @AAA \\
2351: K^*(A^*_F) @>\ind_a^{F}>> \kc {F},\\
2352: \end{CD}
2353: \end{equation*}
2354: where the vertical arrows are the periodicity isomorphisms.
2355: \end{lemma}
2356:
2357:
2358: \begin{proof}\
2359: Recall first that the periodicity isomorphism $K_{*}(\mfk A)
2360: \simeq K_{*+k}(\mfk A \otimes \CO(\RR^k))$ is natural in $\mfk A$,
2361: for any $C^*$-algebra $\mfk A$. The result then follows from this
2362: observation combined with Lemma \ref{lemma.face} above and
2363: Corollary \ref{cor.prod}.
2364: \end{proof}
2365:
2366:
2367: The following proposition is one of the main steps in the proof of
2368: our topological index theorem, \ref{thm.topological}.
2369:
2370:
2371: \begin{proposition}\label{prop.2}\
2372: Let $X$ be a \mec\ such that each open face of $X$ is
2373: diffeomorphic to a Euclidean space. Then the analytic index
2374: \begin{equation*}
2375: \ind_a^X : K^*(A^*_X) \to K_*(\cc{X})
2376: \end{equation*} (defined in
2377: Equation \eqref{def.an.indexM}) is an isomorphism.
2378: \end{proposition}
2379:
2380:
2381: \begin{proof}\
2382: We shall proceed by induction on the number of faces of $X$. Let
2383: $G(X)$ be the groupoid of $X$, as before. Let $F \subset X$ be a
2384: face of minimal dimension. Then $F$ is an invariant subset of $X$.
2385: Denote as above by $\maG_1$ the restriction of $G(X)$ to $F$. In
2386: particular, $F$ will be a smooth manifold {\em without corners}.
2387:
2388: Note that our assumptions imply that $F \simeq \RR^{n-k}$, where
2389: $n$ is the dimension of $M$ and $k$ is the codimension of $F$.
2390: Therefore the analytic index $\ind_a^F$ is an isomorphism. In
2391: particular, our result is valid if $X$ has exactly one face. Lemma
2392: \ref{lemma.a.i.f} then shows that $\ind_a^{\maG_1}$ is an
2393: isomorphism as well.
2394:
2395: We shall complete the proof using Proposition \ref{prop.comp} with
2396: $N = F$ and $X = M$ as follows. Let us consider the six-term,
2397: exact sequence in \kth\ associated to the pair $(A_X^*,
2398: A^*(\maG_1))$, where $A^*(\maG_1) = \pi^{-1}(F)$, with $\pi :
2399: A^*_X \to X$ the canonical projection. Also, let us consider the
2400: six-term, exact sequence in \kth\ associated to the pair $\cc{F^c}
2401: \subset \cc{X}$, $F^c = X \smallsetminus F$. Proposition
2402: \ref{prop.comp} states that the analytic index defines a morphism
2403: of these two exact sequences. The analytic index for the quotient
2404: (\ie\ $\ind_a^{\maG_1}$) has just been proved to be an
2405: isomorphism. The analytic index for $F^c$ is an isomorphism by the
2406: induction hypothesis. The Five Lemma then shows that the remaining
2407: two analytic index morphisms are also isomorphisms. The proof is
2408: now complete.
2409: \end{proof}
2410:
2411:
2412: \begin{remark}
2413: The above proposition can be regarded as a Baum--Connes
2414: isomorphism for manifolds with corners.
2415: \end{remark}
2416:
2417:
2418: Another important step in the proof of our topological index
2419: theorem for manifolds with corners is the proof of the following
2420: proposition. We first need a lemma.
2421:
2422:
2423: \begin{lemma}\label{lemma.prop.3}\
2424: Let $\iota : M \to X$ be an embedding of manifolds with corners.
2425: Then $\iota$ defines a natural morphism
2426: \begin{equation}
2427: \iota_K : \kc{M} \to \kc{X}.
2428: \end{equation}
2429: \end{lemma}
2430:
2431:
2432: \begin{proof}\ The morphism $\iota_K$ will be defined by a
2433: Kasparov $\cc{M}-\cc{X}$ bimodule $\maH$. Let us first identify
2434: $M$ with a closed submanifold with corners of $X$. Let $X'
2435: \subset X$ be a small neighborhood of $M$ in $X'$ such that every
2436: face of $X'$ intersects $M$ and the map $F \to F \cap M$
2437: establishes a bijection between the faces of $X'$ and those of
2438: $M$. For instance, $X'$ could be a tubular neighborhood of $M$ in
2439: $X$. Since $X' \subset X$ is open, there exists a natural
2440: inclusion $\cc{X'} \to \cc{X}$ of $C^*$-algebras, by Corollary
2441: \ref{cor.open}. It is enough then to construct a natural morphism
2442: $\kc{M} \to \kc{X'}$. We can therefore replace $X$ with $X'$ and
2443: assume that there exists a bijection between the faces of $M$ and
2444: those of $X$.
2445:
2446: Let us introduce
2447: \begin{equation*}
2448: \Omega := r^{-1}(M) \subset G(X),
2449: \end{equation*}
2450: that is, $\Omega$ is the set of elements of $G(X)$ whose range is
2451: in $M$. We endow $\Omega$ with the two maps $r : \Omega \to M$ and
2452: $d: \Omega \to X$ induced by the range and domain maps of the \gr\
2453: $G(X)$. These are continuous and open since $G(X)$ is a \cfg. The
2454: groupoid $G(X)$ acts on the right on $\Omega$ by multiplication.
2455: We shall define $\maH$ as a Hilbert module completion of
2456: $\CO(\Omega)$ as in \cite{renault-equiv}.
2457:
2458: We need next to define the action of $\cc{G(M)}$. This action will
2459: be by compact operators (``compact'' here is used in the sense of
2460: Hilbert modules) and will come from an action of $G(M)$ on
2461: $\Omega$. To define this action, we first prove that
2462: \begin{equation}\label{eq.prop.GM}
2463: G(M) = r^{-1}(M) \cap d^{-1}(M).
2464: \end{equation}
2465: Indeed, our assumptions imply that for any hyperface $H$ of $X$
2466: with defining function $\rho = \rho_H$, the function
2467: $\rho\vert_{M}$ is a defining function of $M$. (We are, of course,
2468: using the fact that $M$ and $H$ intersect transversely.) Our
2469: assumptions imply in fact more, they imply that every defining
2470: function of $M$ is obtained in this way. We can therefore
2471: establish a bijection between the defining functions $\rho$ of
2472: (the hyperfaces of) $X$ and the defining functions of (the
2473: hyperfaces of) $M$. Let us use these functions in the definition
2474: of $G(M)$, namely in Equation \eqref{eq.def.GM}. This, together
2475: with the fact that there is a bijection between the open faces of
2476: $M$ and the open faces of $X$, proves then Equation
2477: \eqref{eq.prop.GM}.
2478:
2479: Equation \eqref{eq.prop.GM} then allows us to define the action of
2480: $G(M)$ on $\Omega$ by left composition. Indeed, if $\gamma \in
2481: G(M)$ and $\gamma' \in \Omega$ with $r(\gamma')=d(\gamma)$, then
2482: $r(\gamma\gamma')=r(\gamma) \in M$ so that $\gamma\gamma' \in
2483: \Omega$. Also $G(X)$ acts on $\Omega$ by right composition: if
2484: $\gamma \in G(X)$ and $\gamma' \in \Omega$ with
2485: $d(\gamma')=r(\gamma)$, then $r(\gamma'\gamma)=r(\gamma') \in M$
2486: so that $\gamma'\gamma \in \Omega$.
2487:
2488: Then $\maH$ defines an element in $\Theta \in KK_0(\cc{M},\cc{X})$
2489: (in fact, even an imprimitivity module) and hence the Kasparov
2490: product with $\Theta$ defines the desired morphism $\iota_K :
2491: \kc{M} \to \kc{X}$.
2492: \end{proof}
2493:
2494:
2495: \begin{remark}\label{rem.prop.3}\ Let us spell out explicitly a
2496: conclusion of the above proof. If $M \subset X$ is an open subset
2497: and $\iota$ denotes the inclusion then $\cc{M} \subset \cc{X}$, by
2498: Corollary \ref{cor.open}, and $\iota_K$ is simply the morphism
2499: associated to this inclusion of $C^*$-algebras.
2500: \end{remark}
2501:
2502:
2503: \begin{proposition}\label{prop.3}
2504: Let $\iota: M \to X$ be a closed embedding of manifold with
2505: corners. Assume that, for each open face $F$ of $X$, the
2506: intersection $F \cap M$ is a non-empty open face of $M$ and that
2507: every open face of $M$ is obtained in this way. Then $\iota_K :
2508: \kc{M} \to \kc{X}$ is an isomorphism.
2509: \end{proposition}
2510:
2511:
2512: \begin{proof} Recall from \cite{renault-equiv}
2513: that two locally compact groupoids $G$ and $H$ are equivalent
2514: provided there exists a topological space $\Omega$ and two
2515: continuous, surjective open maps $r : \Omega \to \g0$ and $d :
2516: \Omega \to \h0$ together with a left (respectively right) action
2517: of $G$ (respectively $H$) on $\Omega$ with respect to $r$
2518: (respectively $d$), such that $r$ (respectively $d$) is a
2519: principal fibration of structural \gr\ $H$ (respectively $G$).
2520:
2521: An important theorem of Muhly--Renault--Williams states that if
2522: $G$ and $H$ are equivalent, then $\kc {G} \simeq \kc {H}$
2523: \cite{MRW}. More precisely, $\CO(\Omega)$ has a completion to an
2524: Hilbert module that establishes a strong Morita equivalence
2525: between $\cc{G}$ and $\cc{H}$ (this is the imprimitivity
2526: module defining $\Theta$ in the proof of Lemma
2527: \ref{lemma.prop.3}). This strong Morita equivalence is then known
2528: to imply the stated isomorphism $\kc {G} \simeq \kc {H}$
2529: \cite{Rieffel}.
2530:
2531: To prove our result, it is therefore enough to show that the space
2532: $\Omega := r^{-1}(M)$ (considered also in the proof of Lemma
2533: \ref{lemma.prop.3}) establishes an equivalence between $G(M)$ and
2534: $G(X)$.
2535:
2536: Proving that $r$ is a principal fibration of structural \gr\
2537: $G(X)$ amounts, by definition, to proving that, for any $x$ in
2538: $M$, if $\omega$ and $\omega'$ are in $r^{-1}(x)$ in $\Omega$,
2539: there exists $\gamma \in G(X)$ such that $\omega \gamma =
2540: \omega'$, and that the action of $G(X)$ is free and proper. The
2541: first condition is clear:\ $r(\omega) = r(\omega') = x$ so that
2542: $\gamma = \omega^{-1}\omega' \in G(X)$ exists. Besides, the action
2543: is free. Indeed, if $\omega\gamma=\omega$, then $r(\gamma) =
2544: d(\omega)$ (so they are composable) and $d(\gamma) =
2545: d(\omega\gamma) = d(\omega)$, so that $\gamma$ is a unit. The
2546: action is proper. Indeed, the map
2547: \begin{equation*}
2548: \phi: G(X) * \Omega \to \Omega\times \Omega,
2549: \qquad (\gamma,\omega) \mapsto (\omega\gamma,\omega)
2550: \end{equation*}
2551: (where $ G(X) * \Omega$ is the set of composable arrows) is a
2552: homeomorphism onto its image, which is the fibered product $\Omega
2553: \times_M \Omega$ with respect to $r$.
2554:
2555: Similarly, let us check that $s$ is a principal fibration with
2556: structural \gr\ $G(M)$. Assume that $d(\omega) = d(\omega') \in M$,
2557: then $\omega' = \gamma \omega$, with $\gamma =
2558: \omega' \omega^{-1}$. Let us recall from the proof of Lemma
2559: \ref{lemma.prop.3} that $G(M) = d^{-1}(M) \cap r^{-1}(M)$. Hence
2560: $\gamma \in G(M)$. The proof is now complete.
2561: \end{proof}
2562:
2563:
2564: Let $M$ be a smooth compact manifold (without corners). Then the
2565: inclusion of a point $k : pt \hookrightarrow M$ satisfies the
2566: assumptions of the above Proposition. The imprimitivity module in
2567: this case establishes the isomorphism $C^*(pt) \otimes \maK \simeq
2568: C^*(M)$ and hence also the isomorphisms $K_*(C^*(M)) \simeq
2569: K_*(C^*(pt)) = K_*(\CC) \simeq \ZZ$.
2570:
2571: More generally, let $M$ be a compact manifold with corners
2572: and $\pi : X \to M$ be a smooth fiber bundle. Recall then that
2573: the {\em fiberwise product groupoid} $\GR := X \times_M X$ was
2574: defined in the first section. The Lie algebroid of $\GR$ is
2575: $T_{\pi}X$, the vertical tangent bundle to $\pi : X \to M$. A
2576: simple calculation shows that $C^*(\GR)$ is a continuous field of
2577: $C^*$-algebras over $M$ with fibers compact operators on $L^2$ of
2578: the fibers of $\pi$. Therefore $C^*(\GR)$ is canonically Morita
2579: equivalent to $C(M)$. If $X \to M$ has a cross section (as in the
2580: cases when we shall use this construction in our paper), we can
2581: also obtain this Morita equivalence from the inclusion $M \subset
2582: X \times_M X$ given by this cross-section, which is an equivalence
2583: of groupoids. In any case, we obtain an isomorphism
2584: \begin{equation}\label{theta}
2585: K_*(C^*(\GR)) \simeq K_*(C(M)) = K^*(M),
2586: \quad \GR := X \times_M X,
2587: \end{equation}
2588: which we shall often use to identify these groups. For instance,
2589: the analytic index associated to $\GR = X \times_M X$ becomes a
2590: map $\ind_a^{\GR} : K^*(T^*_{\pi}X) \to K^*(M) = K_*(C(M))$. Then
2591: we have the following well known result, whose proof we sketch for
2592: the benefit of the reader.
2593:
2594:
2595: \begin{proposition}\label{prop.family}
2596: Let $\pi : X \to M$ be a smooth fiber bundle with $X$
2597: compact and $\GR := X \times_M X$ be the fiberwise product
2598: groupoid. Let $[a] \in K^0(T^*_{\pi}X)$ be a $K$-theory class
2599: represented by an endomorphism $a : E \to F$ of vector bundles
2600: over $T^*_{\pi}X$ that are pull-backs of vector bundles on $X$ and
2601: are such that $a$ is an isomorphism outside a compact set. Assume
2602: that $a$ is homogeneous of some positive order and let $P_a$ be a
2603: family of (elliptic) pseudodifferential operators along the fibers
2604: of $\pi$ with principal symbol $a$. Then $\ind_a^{\GR}([a]) \in
2605: K^0(M)$ coincides with the family index of $P_a$.
2606: \end{proposition}
2607:
2608:
2609: \begin{proof}\
2610: Let $B$ be a $C^*$-algebra. We shall denote by $B^+$ the algebra
2611: with an adjoint unit. For any $b \in B$, we shall denote by $p_b
2612: \in M_2(B^+)$ the graph projection associated to $b$, that is
2613: \begin{eqnarray}
2614: \label{eqgraph}
2615: p_b = \left[\begin{array}{cc}1- e^{-B^*B}&\tau(B^*B)B^*\\
2616: \tau(BB^*)B & e^{-BB^*}
2617: \end{array}\right].
2618: \end{eqnarray}
2619: where $\tau$ is a
2620: smooth, even function on $\RR$ satisfying
2621: $\tau(x^2)^2x^2=e^{-x^2}(1-e^{-x^2})$.
2622:
2623:
2624: We can assume that $a$ is polynomial, homogeneous of degree one, given
2625: by the principal symbol of a family $D$ of first order differential
2626: operators. Let $p_a$ be the graph projection associated to $a$, $p_a
2627: \in M_N(\CO(T^*_{\pi}X)^+)$. Then we can extend the family $a$ to the
2628: family $p_{tD} \in M_N(C^*(\tgt{\GR})$. Therefore, the analytic index of
2629: $[a]$ is the class of $p_{D} \in K_0(C^*(\GR))$. We can furthermore
2630: perturb $tD$ with a regularizing family that vanishes in a
2631: neighborhood of $t = 0$ without changing the class of $p_D$. We can
2632: hence assume that $D$ has a kernel of constant dimension
2633: \cite{AS1}. Then it is known that the class of $p_D$ is $[\ker D] -
2634: [\ker D^*]$, that is, the family index of $D$.
2635: \end{proof}
2636:
2637:
2638: We now prove a corollary that will be needed in the proof of
2639: Proposition \ref{prop.diag1}. Let $\pi : U \to X$ be a vector
2640: bundle over a compact manifold with corners. Consider the fibered
2641: product groupoid $\GR : = U \times_X U$ as above. Then $T_\pi^* U
2642: = U \oplus U^*$ as vector bundles over $X$, and hence $i_! :
2643: K^*(X) \to K^*(T_\pi^* U)$ is defined.
2644:
2645:
2646: \begin{corollary}\label{cor.family}\
2647: We have that $\ind_a^\GR \circ i_!$ is the identity map of
2648: $K^*(X)$ (or, more precisely, the inverse of the isomorphism of
2649: Equation \eqref{theta}).
2650: \end{corollary}
2651:
2652:
2653: \begin{proof}\
2654: Both $\ind_a^\GR$ and $i_!$ are $K^*(X)$-linear. The same argument as
2655: in the proof of Proposition \ref{prop.family} (or by compactifying $U$
2656: fiberwise to a sphere bundle and using then Proposition
2657: \ref{prop.family}), we obtain that $\ind_a^\GR \circ i_! (1)$ is the
2658: index of the family of Dirac operators on the fibers of $U$ coupled
2659: with the potential given by Clifford multiplication with the
2660: independent variable. Since the equivariant index of the coupled Dirac
2661: operator is $1$, we obtain that $\ind_a^\GR \circ i_! (1) = 1$ as in
2662: \cite{AS1}. See \cite{hor3} for a simple proof of the facts needed
2663: about the coupled Dirac operator.
2664: \end{proof}
2665:
2666:
2667: \begin{remark}\label{rem.top}\ Let us take $X = pt$, to be reduced
2668: to a point, and let us identify $U$ with $\RR^N$, for some $N$.
2669: Then the above Corollary states, in particular, that $i_! : \ZZ =
2670: K^*(pt) \to K^*(T\RR^n)$ and $\ind_a^{\RR^n} : K^*(T\RR^n) \to \ZZ
2671: = K^*(pt)$ are inverse to each other.
2672: \end{remark}
2673:
2674:
2675: \section{Commutativity of the
2676: diagram\label{commutativity-diagram}}
2677:
2678: In this section we shall prove a part of our topological index theorem,
2679: Theorem \ref{thm.topological}, involving an embedding $\iota : M
2680: \to X$ of our manifold with corners $M$ into another manifold with
2681: corners $X$. This theorem amounts to the fact that the diagram
2682: \eqref{diag.I} is commutative. In order to prove this, we shall
2683: first consider a tubular neighborhood
2684: \begin{equation}\label{eq.def.jk}
2685: M \overset{k}{\hookrightarrow} U \overset{j}{\hookrightarrow} X
2686: \end{equation}
2687: of $M$ in $X$. The diagram (\ref{diag.I}) is then decomposed into
2688: the two diagrams below, and hence the proof of the commutativity
2689: of the diagram (\ref{diag.I}) reduces to the proof of the
2690: commutativity of the two diagrams below, whose morphisms are as
2691: follows:\ the morphisms $k_K$ and $j_K$ are defined by Lemma
2692: \ref{lemma.prop.3}, the morphism $k_!$ is the push-forward
2693: morphism, and $j_*$ is the morphism in \kth\ defined by an open
2694: embedding. Recall that $A_M = A(G(M))$ and $C^*(M) := C^*(G(M))$.
2695:
2696: \begin{equation}\label{diag2}
2697: \begin{CD}
2698: \kc{M} @>{k_K}>> \kc{U} @>{j_K}>>\kc{X}\\
2699: @A{\ind_a^M}AA @A{\ind_a^U}AA @AA{\ind_a^X}A\\ K^*(A^*_M)
2700: @>{k_{!}}>> K^*(A^*_U) @>{j_*}>> K^*(A^*_X)\\
2701: \end{CD}
2702: \end{equation}
2703:
2704:
2705: The commutativity of the left diagram is part of the following
2706: proposition.
2707:
2708:
2709: \begin{proposition}\label{prop.diag1}
2710: Let $\pi : U \to M$ be a vector bundle over a manifold with
2711: corners $M$ and let $k : M \to U$ be the ``zero section''
2712: embedding. Then the following diagram commutes:
2713: \begin{equation}\label{diag3}
2714: \begin{CD}
2715: \kc{M} @>{k_K}>{\simeq}> \kc{U}\\
2716: @A{\ind_a^M}AA @A{\ind_a^U}AA\\
2717: K^*(A^*_M) @>{\simeq}>{k_{!}}> K^*(A^*_U)
2718: \end{CD}
2719: \end{equation}
2720: \end{proposition}
2721:
2722:
2723: \begin{proof}\
2724: We shall prove this result using a double deformation groupoid $\maG$,
2725: which is a Lie groupoid with units $U \times [0,1]^2$. This
2726: groupoid is such that the projection $U \times [0, 1]^2 \to [0,
2727: 1]^2$ extends to a groupoid morphism $\GR \to [0, 1]^2$ the latter
2728: being considered as a space, \ie a groupoid equal to its units. In
2729: other words, if $d$ and $r$ are the domain and range of $\GR$, then
2730: $d(g)$ and $r(g)$ have the same projection in $[0, 1]^2$.
2731:
2732: As a set, $\maG := \GR_1 \sqcup \GR_2 \sqcup
2733: \GR_3$ ($\sqcup$ denotes the disjoint union), where
2734: \begin{equation*}
2735: \begin{gathered}
2736: \maG_1 := A_U \times \{0\}\times [0, 1], \quad
2737: \maG_2 := A_M \times_M U \times_M U \times (0,1]\times
2738: \{0\},\\ \quad \maG_3 := G(U) \times (0,1]\times (0,1].
2739: \end{gathered}
2740: \end{equation*}
2741:
2742:
2743:
2744: \begin{figure}[htbp]
2745: \centering
2746: \input{mn3.pstex_t}
2747: \caption{The groupoid $\GR$}
2748:
2749: \end{figure}
2750:
2751: \begin{lemma}
2752: The groupoid $\GR$ is a \cfg.
2753: \end{lemma}
2754: \begin{proof}
2755: We prove this by applying theorem \ref{thm.int} which states that there exists at most one
2756: differentiable structure on $\GR$ compatible with the groupoid
2757: structure (that is, making it a Lie groupoid). We define a Lie
2758: algebroid structure, and Lie groupoid structures for each of the
2759: subgroupoids $\GR_1, \GR_2, \GR_3$, and last we show how to get a
2760: \cfg\ structure compatible with this data.
2761:
2762: Let us first describe $A(\GR)$, the Lie algebroid of the Lie groupoid
2763: that we want to construct. Recall that the Lie algebroid associated to
2764: $U$, $A_U$, or ``compressed tangent bundle,'' is such that
2765: $\Gamma(A_U)$ consists of the smooth vector fields on $U$ that are
2766: tangent to all faces of $U$. Then $\pi : U \to M$ induces a map $\pi_*
2767: : A_U \to A_M$.
2768:
2769: Let $A_U = A_v \oplus A_h$ be a decomposition of $A_U$ into vertical
2770: and horizontal components, so that $A_v$ is the kernel of $\pi_* : A_U
2771: \to A_M$ and $A_h \simeq \pi^*(A_M)$. Then we obtain the decomposition
2772: \begin{equation*}
2773: \Gamma(U \times [0, 1]^2; A_U) = \Gamma(U \times [0, 1]^2; A_v)
2774: \oplus \Gamma(U \times [0, 1]^2; A_h).
2775: \end{equation*}
2776: Let us regard the above spaces of smooth sections $X$ as families of
2777: sections $X(s, t) \in \Gamma(A_U)$ parameterized by $(s, t) \in [0,
2778: 1]^2$. Then $A(\GR)$, the Lie algebroid of the Lie groupoid that we
2779: want to construct is defined, as a set, by
2780: \begin{equation*}
2781: \Gamma(A(\maG)) = s\Gamma(U \times [0, 1]^2; A_v) \oplus
2782: st\Gamma(U \times [0, 1]^2; A_h).
2783: \end{equation*}
2784: Then we define the Lie bracket to be the pointwise Lie bracket coming
2785: from the Lie bracket on sections of $\Gamma(A_U)$:\ $[X, Y](s, t) =
2786: [X(s, t), Y(s, t)]$.
2787:
2788: Let us now define the Lie groupoid structure of each subgroupoid as follows.
2789: First, $\GR_1$ is a commutative Lie groupoid, with operations
2790: defined by the vector bundle structure on $A_U$. It integrates the
2791: restriction of $A(\maG)$ to $\{s = 0\} = \{0\} \times [0, 1]$. The
2792: groupoid $\GR_2$ is the fibered product of $A_M \to M$ and of the
2793: fiberwise pair groupoid $U \times_M U$ considered in Proposition
2794: \ref{prop.family} (in the case at hand, $X = U$). More precisely,
2795: let $\pi_M : A_M \to M$ be the canonical projection, then
2796: \begin{multline*}
2797: A_M \times_M U \times_M U \times (0,1]\times \{0\} =
2798: \{(\xi, u_1, u_2, s, 0) \in A_M \times U
2799: \times U \times (0,1]\times \{0\}, \\
2800: \pi_M(\xi) = \pi(u_1) = \pi(u_2)\},
2801: \end{multline*}
2802: with the product $(\xi, u_1, u_2, s, 0)(\xi', u_2, u_3, s, 0)
2803: =(\xi + \xi', u_1, u_3, s, 0)$. The factor $(0,1]\times \{0\}$
2804: therefore plays just the role of a space of parameters. The last
2805: groupoid, $\GR_3$ is the product of the groupoid $G(U)$ associated
2806: to the manifold with corners $U$ (Definition \ref{def.GM}) with
2807: the space $(0, 1] \times (0, 1]$, which again plays just the role
2808: of a space of parameters. It integrates the restriction of
2809: $A(\maG)$ to $(0, 1] \times (0, 1]$.
2810:
2811:
2812:
2813: Theorem \ref{thm.int} states that there exists at most one
2814: differentiable structure on $\GR$ compatible with the groupoid
2815: structure (that is, making it a Lie groupoid). The union $\GR_1
2816: \sqcup \GR_3$ has the differentiable structure of the tangent
2817: groupoid of $G(U)$, product with $(0, 1]$. Due to the local
2818: structure of the deformations involved, in order to prove that
2819: $\GR$ does indeed have a smooth structure, it is enough to assume
2820: that $U \to M$ is a trivial bundle, in which case the resulting
2821: $\GR$ is seen to be smooth as follows.
2822:
2823: Let $U = M \times \RR^n$. Then $A_U = A_M \times T\RR^n$ and
2824: $\maG_2 = A_M \times (\RR^n \times \RR^n) \times (0,1] \times
2825: \{0\}$, with $(\RR^n \times \RR^n)$ being the pair groupoid.
2826: Deforming just in the fiberwise direction means, in this case,
2827: that we deform the tangent space to $\RR^n$ to its tangent
2828: groupoid. We then define the topology on $\maG_1 \cup \maG_2$,
2829: which is a groupoid with units $\{0\}\times [0, 1] \cup
2830: (0,1]\times \{0\} \supset [0,1]\times \{0\}$, such that the
2831: restriction to $[0,1]\times \{0\}$ is $A_M \times \tgt{G(\RR^n)}$,
2832: with $\tgt{G(\RR^n)}$ denoting the tangent groupoid of the smooth
2833: manifold $\RR^n$. This is possible since the tangent groupoid of
2834: $\RR^n$ at $t = 0$ is $T\RR^n$ and the restriction of $\GR_1$ at
2835: $t = 0$ is $A_M \times T\RR^n$.
2836:
2837: On the other hand, since $U=M\times \RR^n$, the groupoid $G(U)$ is
2838: just the product of $G(M)$ by the pair groupoid $\RR^n \times \RR^n$.
2839: The union $\GR_2 \sqcup \GR_3$ is $\tgt{G(M)} \times (\RR^n \times \RR^n)
2840: \times (0, 1]$, with the factor $(0, 1]$ corresponding to the variable
2841: $s$.
2842: \end{proof}
2843:
2844: \begin{remark}
2845: It is also possible to use a slightly different
2846: groupoid: consider $\GR'=\tgt{G(M)}\times_{M\times M} \tgt{(U\times
2847: U)}$. This is different from $\GR$ only at the level of $s=0, t>0$,
2848: which
2849: does not matter as we will not use this part of the groupoid. For $s>0, t=0$, one has $A_M \times_{M\times M} (U\times
2850: U)=A_M \times_M (U\times_M U)=A(M,U)$, and for $s>0, t>0$, $ G(M)\times_{M\times M} (U\times
2851: U)=G(U)$.
2852: \end{remark}
2853:
2854:
2855:
2856:
2857:
2858: Let us next denote by $e_{i,j}$ (for $i,j=0,1$) the various $K$-theory morphisms
2859: induced by the restriction maps $\GR \to \GR_{s=i,t=j}$, where, for
2860: instance, $\GR_{s=1,t=0} = A_M \times_M U \times_M U$ is the lower
2861: right corner of the figure above.
2862:
2863:
2864:
2865: \begin{lemma}
2866: The evaluation maps $e_{0, 0}$ and $e_{1, 0}$ are isomorphisms, and:
2867: \begin{itemize}
2868: \item the analytic index of $U$ is $\ind_a^U = e_{1, 1} \circ
2869: e_{0, 0}^{-1}$;
2870: \item the maps
2871: \begin{multline*}
2872: \ind_a^{(1)} := e_{1, 0} \circ e_{0, 0}^{-1} : K^*(A^*_U)
2873: \to K^*(C^*(M, U)) \quad \text{and}\\
2874: \ind_a^{(2)} := e_{1, 1} \circ e_{1, 0}^{-1} :
2875: K^*(C^*(M, U)) \to K^*(C^*(U)).
2876: \end{multline*}
2877: are such that
2878: \begin{equation}\label{eq.16}
2879: \ind_a^U = \ind_a^{(2)} \circ \ind_a^{(1)}.
2880: \end{equation}
2881: \end{itemize}
2882: \end{lemma}
2883:
2884: \begin{proof}
2885: We shall define several successive decompositions (figure \ref{fig:1}).
2886: \begin{figure}[htbp]
2887: \centering
2888: \input{mn5.pstex_t}
2889: \caption{Successive restrictions of $\GR$}
2890: \label{fig:1}
2891: \end{figure}
2892: Let us notice that the above construction of $\GR$ is such that
2893: $\GR' := \GR_1 \cup \GR_2$ is a closed subgroupoid of $\GR$, with
2894: complement $\GR_3=G(U)\times (0,1]\times (0,1]$. This induces an exact
2895: sequence
2896: \begin{equation*}
2897: 0 \to C^*(\GR_3) \to C^*(\GR) \to C^*(\GR_1 \cup \GR_2) \to 0.
2898: \end{equation*}
2899: But $K_*(C^*(\GR_3))=0$, so that $K_*(C^*(\GR))\simeq K_*(C^*(\GR_1
2900: \cup \GR_2))$. Now $\GR_2$ is an open subgroupoid of $\GR_1 \cup
2901: \GR_2$, with vanishing $K$-theory groups. A similar exact sequence
2902: argument then shows that $K_*(C^*(\GR_1\cup \GR_2)) \simeq
2903: K_*(C^*(\GR_1))\simeq K_*(A_U)$. Thus $e_{0, 0} : K_*(C^*(\GR)) \to
2904: K_*(C_0(A_U^*))$ is an isomorphism. Since the restriction of $\GR$ to
2905: the diagonal $s=t$ of $[0, 1]^2$ is the tangent groupoid of $U$, we
2906: obtain that $\ind_a^U = e_{1, 1} \circ e_{0, 0}^{-1}$.
2907:
2908: We aim
2909: at factorizing the index map $\ind_a^U$ in two maps defined
2910: along the lower and right sides of the square. The first map is
2911: \begin{equation*}
2912: \ind_a^{(1)} := e_{1, 0} \circ e_{0, 0}^{-1} : K^*(A^*_U) \to
2913: K_*(C^*(M, U)).
2914: \end{equation*}
2915: For the second map, we shall define other successive
2916: decompositions (figure \ref{fig:2}.)
2917: \begin{figure}[htbp]
2918: \centering
2919: \input{mn6.pstex_t}
2920: \caption{Other successive restrictions of $\GR$}
2921: \label{fig:2}
2922: \end{figure}
2923:
2924: For the second map, we consider the subgroupoid $\GR'':= \GR_{L}$
2925: $L := \{s=1\}\cup \{t=0\}$. Using a short exact sequence argument as
2926: above, we obtain that $\GR''\cup \GR_1$ has the same \kth\ as $\GR$
2927: because its complement in $\GR$ is $G_U\times (0,1) \times (0,1]$.
2928: Then, similarly, $\GR''\cup \GR_1$ turns out to have the same \kth\ as
2929: $\GR''$ since the complement of $\GR''$ in $\GR''\cup \GR_1$ is $T_U
2930: \times (0,1]$.
2931: Furthermore, the decomposition $\GR''=\GR_{s<1,t=0} \cup
2932: \GR_{s=1}$ induces a $K$-isomorphism between $\GR''$ and
2933: $\GR_{s=1}$. Indeed, still considering that $U=M\times \RR^n$, we
2934: showed before that $\GR_{t=0}=A_M \times \tgt{G(\RR^n)}$. But the \kth\ of
2935: $\tgt{G(\RR^n)}_{s<1}$ is isomorphic to that of the adiabatic groupoid,
2936: which is zero since the analytic index for a euclidean space is an
2937: isomorphism.
2938:
2939: The last step is that the evaluation at $t=0$ in the groupoid
2940: $\GR_{s=1}$ is an isomorphism, using the same arguments as before.
2941: In conclusion, $e_{1,0}: \kc{\GR} \to K_*(C^*(M, U))$ is an isomorphism.
2942:
2943:
2944: The map $\ind_a^{(2)} $ is thus well defined, and the equality
2945: $$\ind_a^U = \ind_a^{(2)} \circ \ind_a^{(1)}$$
2946: is straightforward.
2947: \end{proof}
2948:
2949: \begin{remark}
2950: In the proof above we used $\GR''$ since we shall need later to
2951: consider the groupoid $\mathcal{H}=\GR_{\{s=1\}}$. But the proof could
2952: also have been handled considering the groupoid $\GR'$.
2953: \end{remark}
2954:
2955: To end the proof of Proposition \ref{prop.diag1}, let us consider now the commutative diagram, in which the morphism
2956: $\Theta_0$ is the isomorphism of the Equation \eqref{theta} (its
2957: definition will be recalled below as part of a more general
2958: construction)
2959: \begin{equation}
2960: \begin{CD}
2961: K^*(A_M^*) @>=>> K^*(A_M^*) @>{\ind_a^M}>> K_*(C^*(M))\\
2962: @V{k_!}VV @V{\Theta_0}V{\simeq}V @V{k_K}V{\simeq}V\\
2963: K^*(A_U^*) @>{\ind_a^{(1)}}>>
2964: K_*(C^*(M, U)) @>{\ind_a^{(2)}}>> K_*(C^*(U))
2965: \end{CD}
2966: \end{equation}
2967: Equation \eqref{eq.16} shows that it is enough to prove that the
2968: above diagram is commutative.
2969:
2970: Let $X$ be the fiberwise one point compactification of $A_M^*$.
2971: Then $K^*(A_M^*) \subset K^*(X)$, since $X \smallsetminus A_M^*$
2972: is a retract of $X$. The commutativity of the left diagram then
2973: follows from Corollary \ref{cor.family} (after we lift the bundle
2974: $U$ to $X$).
2975:
2976: We need to define the morphism $\Theta_0$. Let us consider the
2977: groupoid $\maH$ defined as the restriction of $\GR$ to $\{1\}
2978: \times [0, 1]$ used also to define the morphism $\ind_a^{(2)}$. It
2979: has units $U \times [0, 1]$. Let $\Omega = r^{-1}(M \times [0,
2980: 1])$, as in the proof of Lemma \ref{lemma.prop.3}. As in the proof
2981: of that lemma, $\Theta$ defines an imprimitivity module between
2982: $\maH$ and $r^{-1}(M) \cap d^{-1}(M) = \tgt{\maG_M}$. This
2983: imprimitivity module induces imprimitivity modules $\Theta_t$ for
2984: $t \in [0, 1]$ (the parameter of the deformation). By the proof of
2985: Proposition \ref{prop.3}, the isomorphism $k_K$ is defined by
2986: $\Theta_1$. The isomorphism defined by $\Theta_0$ was also denoted
2987: by $\Theta_0$. The commutativity of the right rectangle in the
2988: above diagram then follows from the compatibility of the
2989: isomorphisms defined by $\Theta$ with restriction morphisms.
2990: \end{proof}
2991:
2992:
2993: The commutativity of the second square in the Diagram \ref{diag2}
2994: follows from the naturality of the tangent groupoid construction.
2995: Here are the details.
2996:
2997:
2998: \begin{proposition}\label{prop.diag2}\
2999: Let $j : U \to X$ be the inclusion of the open subset $U$. Then
3000: the diagram below commutes:
3001: \begin{equation*}
3002: \begin{CD}
3003: \kc{U} @>{j_K}>>\kc{X}\\
3004: @A{\ind_a^U}AA @AA{\ind_a^X}A\\
3005: K^*(A^*_U) @>{j_*}>\simeq> K^*(A^*_X).
3006: \end{CD}
3007: \end{equation*}
3008: \end{proposition}
3009:
3010:
3011: \begin{proof}
3012: As $U$ is open in $X$, the \gr\ $\tgt{G(U)}$ identifies with the
3013: restriction of $\tgt{G(X)}$ to $U$. This induces a map $\tgt{\cc{G(U)}}
3014: \to \cc{\tgt{G(X)}}$. So we get the following commutative diagram
3015: \begin{equation*}
3016: \begin{CD}
3017: \cc{U} @>>> \cc{X}\\
3018: @A{e_1}AA @AA{e_1}A\\
3019: \cc{\tgt{G(U)}} @>>> \cc{\tgt{G(X)}}\\
3020: @V{e_0}VV @VV{e_0}V\\
3021: \CO(A^*_U) @>>> \CO(A^*_X),
3022: \end{CD}
3023: \end{equation*}
3024: in which the vertical arrows are inclusions. This commutative
3025: diagram, together with Lemma \ref{lemma.prop.3} and Remark
3026: \ref{rem.prop.3}, give the analogue commutative diagram in
3027: $K$-theory
3028: \begin{equation*}
3029: \begin{CD}
3030: \kc{G(U)} @>>> \kc{G(X)}\\
3031: @A{e_1}AA @AA{e_1}A\\
3032: K_*(C^*(\tgt{G(U)})) @>>> K_*(C^*(\tgt{G(X)}))\\
3033: @V{e_0}VV @VV{e_0}V\\
3034: K^*(A^*(G(U))) @>>> K^*(A^*(G(X)))\\
3035: \end{CD}
3036: \end{equation*}
3037: The commutativity of the above diagram proves our result.
3038: \end{proof}
3039:
3040:
3041: We are ready now to prove one of our main results by putting
3042: together what he have proved in the previous two propositions, as
3043: explained in the beginning of this section.
3044:
3045:
3046: \begin{theorem}\label{commutativity}
3047: Let $M \overset{\iota}{\to} X$ be a closed embedding of manifolds with
3048: corners. Then the diagram
3049: \begin{equation}\label{diag4}
3050: \begin{CD}
3051: \kc{M)} @>{\iota_K}>> \kc{X}\\ @AA{\ind_a^M}A
3052: @A{\ind_a^X}AA\\ K^*(A^*_M) @>\iota_{!}>> K^*(A^*_X) \\
3053: \end{CD}
3054: \end{equation}
3055: is commutative.
3056: \end{theorem}
3057:
3058:
3059: \begin{proof}
3060: As $i(M)$ is a closed submanifold of $X$, there exists a tubular
3061: neighborhood $U$ of $i(M)$ in $X$, along with a fibration $\pi: U
3062: \to M$. Let $k : M \to U$ be the embedding of $M$ into $U$ as the
3063: zero section and $j : U \to X$ be the embedding of $U$ as an open
3064: subset of $M$. The result then follows from the commutativity of
3065: the diagrams in Propositions \ref{prop.diag1} and \ref{prop.diag2}
3066: and from $i_! = j_* \circ k_!$ and $i_K = j_K \circ k_K$. (The
3067: diagram of Equation \eqref{diag2} explains this reasoning.)
3068: \end{proof}
3069:
3070:
3071: \section{An Atiyah--Singer type theorem}
3072:
3073:
3074: Motivated by Theorem \ref{commutativity} and by the results of
3075: Section \ref{sec.prop} (see Propositions \ref{prop.2} and
3076: \ref{prop.3}) we introduce the following definition.
3077:
3078:
3079: \begin{definition}\label{def.class}\
3080: A classifying manifold $X_M$ of $M$ is a compact manifold with
3081: corners $X_M$, together with a closed embedding $\iota: M \to X_M$
3082: with the following properties:
3083: \begin{enumerate}[(i)]
3084: \item\ each open face of $X_M$ is diffeomorphic to a Euclidean space,
3085: \item\ $F \to F \cap M$ induces a bijection between the open faces
3086: of $X_M$ and ~$M$.
3087: \end{enumerate}
3088: \end{definition}
3089:
3090:
3091: Note that if $M \subset X_M$ are as in the above definition, then
3092: each face of $M$ is the transverse intersection of $M$ with a face
3093: of $X_M$. As a consequence we obtain the following result, which
3094: generalizes the main theorem of \cite{AS1}.
3095:
3096:
3097: \begin{lemma}\label{lemma.t.i}\
3098: Let $M$ be a \mec, and $\iota : M \hookrightarrow X_M$ be a
3099: classifying space of $M$. Then the maps $\iota_K$ and $\ind_a^X$
3100: of Theorem \ref{commutativity} are isomorphisms.
3101: \end{lemma}
3102:
3103:
3104: \begin{proof}
3105: This was proved in Propositions \ref{prop.2} and \ref{prop.3}.
3106: \end{proof}
3107:
3108:
3109: Let $\iota : M \to X_M$ be a classifying space for $M$. The above
3110: lemma then allows us to define (see the diagram \ref{diag4})
3111: \begin{equation*}
3112: \ind_t^M :=\iota_K^{-1} \circ \ind_a^X \circ \iota_{!} :
3113: K^*(A^*_M) \to \kc{M}.
3114: \end{equation*}
3115:
3116: If $M$ is a smooth compact manifold (so, in particular, $\pa M =
3117: \emptyset$), then $C^*(M) = \maK$, the algebra of compact
3118: operators on $L^2(M)$ and hence $K_0(C^*(M)) = \ZZ$. Any embedding
3119: $\iota : M \hookrightarrow \RR^N$ will then be a classifying space for
3120: $M$. Moreover, as explained in Remark \ref{rem.top}, for $X =
3121: \RR^n$, the map $\iota_K^{-1} \circ \ind_a^X : K^*(TX) \to \ZZ$ is the
3122: inverse of $j_! : K^0(pt) \to K^0(T\RR^N)$ and hence
3123: $\ind_t^{\RR^N} = (j_!)^{-1} \iota_!$, which is the definition of the
3124: topological index from \cite{AS1}. In view of this fact, we shall
3125: also call the map $\ind_t^M$ {\em the topological index}
3126: associated to $M$.
3127:
3128:
3129: \begin{theorem}\label{thm.topological}\ The topological index
3130: map $\ind_t^M$ depends only on $M$, that is, it is independent of
3131: the classifying space $X_M$, and we have
3132: \begin{equation*}
3133: \ind_t^M = \ind_a^M : K^*(A^*_M) \to \kc{M}.
3134: \end{equation*}
3135: \end{theorem}
3136:
3137:
3138: \begin{proof}
3139: This follows right away from Theorem \ref{commutativity}.
3140: \end{proof}
3141:
3142:
3143: If $M$ is a smooth compact manifold (without boundary), this
3144: recovers the Atiyah-Singer index theorem on the equality of the
3145: analytic and topological index \cite{AS1}.
3146:
3147: \begin{remark} Let us also mention that $K_*(C^*(M)) \simeq
3148: K^*(X_M)$ provides us with a way of determining $K_*(C^*(M))$,
3149: which is a non-trivial problem.
3150: \end{remark}
3151:
3152:
3153: \section{Construction of the classifying space
3154: $X_M$\label{construction}}
3155:
3156:
3157: We now show that a classifying manifold $X_M$ of $M$ exists
3158: (Definition \ref{def.class}). The choice of $X_M$ is not
3159: canonical, in general.
3160:
3161: Let $M$ be a compact \mec, and let $(H_i)_{1\leq i \leq r}$ be the
3162: set of hyperfaces of $M$. For each closed hyperface $H_i$, we
3163: shall fix a defining function $\rho_i$ (these could be, for
3164: example, the defining functions used in the definition of $G(M)$,
3165: Definition \ref{def.GM}). Also, let us choose an embedding of
3166: $\phi$ of $M$ into some $\R^N$. The map
3167: \begin{equation*}
3168: \psi = (\phi, \rho_1, \ldots, \rho_r) : M \to
3169: \R^N \times [0, \infty)^r
3170: \end{equation*}
3171: is thus an embedding of manifolds with corners, which, however,
3172: does not induce a bijection of the faces. To fix this problem, we
3173: need to add extra coordinates which will disconnect the faces of
3174: $\R^N\times [0, \infty)^r$ putting them in bijection with the
3175: faces of $M$. If $J \subset \{1, \ldots, r\}$, define
3176: \begin{equation*}
3177: F_J=\cap_{j \in J} H_j.
3178: \end{equation*}
3179: If nonempty, this is a disjoint union of closed faces of
3180: codimension $|J|$, the number of elements of $J$. Assume $F_J$ is
3181: not empty and let $f_J$ be a continuous function on $F_J$ with
3182: values in $\{1, \ldots, n_J\}$ where $n_J$ is the number of
3183: connected components of $F_J$. We chose $f_J$ to take different
3184: values on different connected components of $F_J$. This function
3185: can then be extended, thanks to Tietze's theorem, to a smooth
3186: function still denoted by $f_J : M \to \R$. Let us denote by
3187: $\maJ$ the set of nonempty subsets of $\{1, \ldots, r\}$ for which
3188: $F_J$ is not empty, and $l=|\maJ|$ the number of its elements.
3189: Then we obtain an embedding
3190: \begin{equation*}
3191: \Psi := (\phi, \rho_1, \ldots, \rho_r, f_J)\, :\, M\,
3192: \to\, X_0 := \R^N\times [0, \infty)^r \times \R^l,
3193: \quad J \in \maJ.
3194: \end{equation*}
3195:
3196:
3197: We still need to disconnect the faces of $X_0$ whose inverse image
3198: in $M$ is disconnected. To this end, for any $J \in \maJ$, let
3199: $Y_J \subset \R^N\times [0, \infty)^r \times \R^l$ be the closed
3200: subset defined by
3201: \begin{equation*}
3202: Y_J := \{(z, x_1, \ldots, x_r, y_J),\
3203: y_J-\ha \in \ZZ\, \text{ and }\, x_j = 0\,
3204: \text{ for all }\, j \in J\}.
3205: \end{equation*}
3206: Then $\Psi(M) \cap Y_J = \emptyset$, by the construction of $f_J$.
3207: Let $X_1 := X_0 \smallsetminus \cup_{J \in \maJ} Y_J$. Finally,
3208: remove from $X_1$ all the faces that do not intersect $M$ and call
3209: what is left $X_M$:
3210: \begin{equation}\label{eq.def.XM}
3211: X_M := X_1 \smallsetminus \cup F,
3212: \qquad F \subset X_1 \, \text{ face such that }\,
3213: F \cap M = \emptyset.
3214: \end{equation}
3215:
3216: Naturally this creates many more faces than we have in $M$, so the
3217: last step is to take $X$ to be the complementary in $X_1$ of the
3218: open faces which do not intersect $\Psi(M)$.
3219:
3220:
3221: \begin{proposition}
3222: The manifold $X_M \supset M$ of Equation \eqref{eq.def.XM} is a
3223: classifying space for $M$.
3224: \end{proposition}
3225:
3226:
3227: \begin{proof}\
3228: We need to prove that
3229: \begin{enumerate}
3230: \item each open face of $X_M$ is diffeomorphic to a Euclidean space,
3231: \item $F \to F \cap M$ defines a bijection between the set of open
3232: faces of $M$ and the set of open faces of $X_M$,
3233: \item $M$ is a closed, embedded submanifold of $X_M$.
3234: \end{enumerate}
3235:
3236: The {\em open} faces of $X_0 := \R^N\times [0, \infty)^r \times
3237: \R^l$ are in one-to-one correspondence with the subsets of $\{1,
3238: 2, \ldots, r\}$. More precisely,
3239: \begin{equation*}
3240: G_I = \{(z, x_1, \ldots, x_r, y_J)\in X_0,
3241: \ x_j = 0 \Leftrightarrow j \in I\},
3242: \end{equation*}
3243: $I \subset \{1, 2, \ldots, r\}$, are all the open faces of $X_0$.
3244:
3245: Fix $I \subset \{1, 2, \ldots, r\}$. The open faces $F_1 \subset
3246: X_1$ contained in $G_I$ are the connected components of
3247: \begin{equation*}
3248: G_I \smallsetminus \cup_J Y_J =
3249: G_I \smallsetminus \cup_J (G_I \cap Y_J), \quad
3250: J \in \maJ.
3251: \end{equation*}
3252: Since $G_I \cap Y_J = \emptyset$ for any $J \in \maJ$ that is not
3253: contained in $I$, it is enough to consider only $J \subset I$, $J
3254: \in \maJ$. Fix a face $F_1 \subset X_1$. Then $y_J \in (m_J-1/2,
3255: m_J+1/2)$ on $F_1$, for some $m_J \in \ZZ$. This shows that
3256: \begin{equation*}
3257: F_1 = \{(z, \ldots , y_J) \in G_I,\
3258: m_J-1/2 < y_J < m_J+1/2,\ J \subset I, J \in \maJ \}.
3259: \end{equation*}
3260: In particular, $F_1 \simeq \RR^N \times (0, \infty)^a \times
3261: (-1/2, 1/2)^b \times \RR^{l-b}$, $a=r-|I|$. This verifies
3262: condition (a) above.
3263:
3264: Let $F_1$ be the face fixed above. Then $F_1 \cap M$ is the set of
3265: points $x \in M$ satisfying $\rho_i(x) = 0$, for all $i \in I$, and
3266: $f_J(x) \in (m_J-1/2, m_J+1/2)$, for all $J \subset I$ such that $J
3267: \in \maJ$, therefore
3268: \begin{equation*}
3269: F_1 \cap M = \{ x \in M,\ \rho_i(x) = 0\, \text{ if } i \in I,\
3270: f_I(x) \in (m_I-1/2, m_I+1/2)\},
3271: \end{equation*}
3272: which is either empty or a connected component of $F_J$, by the
3273: construction of $f_J$. In other words, for any open face $F_1 \subset
3274: X_M$, the intersection $F_1 \cap M$ is either empty or an open face of
3275: $M$. This verifies condition (b) above.
3276:
3277: Finally, let us notice that each open face $F$ of $M$ is contained
3278: in exactly one face $F_1$ of $X_M$ and each open face $F_1$ of
3279: $X_1$ is contained in an open face $G_I$ of $X_0$. This shows that
3280: $M$ intersects $F_1$ transversely, because $dx_j$, $j \in J$, are
3281: linearly independent on $F_J := \cap_{j \in J} H_j$. Also, $M$ is
3282: a closed submanifold of $X_M$ because $\phi : M \to \RR^N$ (the
3283: first component of $\Psi$) is an embedding. This verifies
3284: condition (c) above and thus completes the proof.
3285: \end{proof}
3286:
3287: \begin{remark}
3288: In the case $M$ is a smooth manifold, our construction is
3289: such that $X_M$ is a euclidean space.
3290: \end{remark}
3291:
3292: \bibliographystyle{amsplain}
3293:
3294: \bibliography{mn}
3295:
3296: \end{document}
3297: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3298: