A general Fredholm theory. I: A splicing-based differential geometry.

*(English)*Zbl 1149.53053The paper under review is the first of a sequel of papers, and to studying the generalized Fredholm theory. The motivation of the series comes from the basic common analytic feature moduli spaces of solutions of elliptic PDEs with serious noncompact phenomena (the bubbling-tree, the neck-shrinking, blowing up and breaking of trajectories). The algebraic structure of the interesting compactifications leads to rich theories, like Floer theory, symplectic field theory and Gromov-Witten theory. The series of papers develops the ambient Banach spaces of the compactified moduli spaces in a systematic way for all these known examples. Potentially, it may lead to a new discovery (there is no example and application given in the first part).

The sc-structure (structure of a scale) on a Banach space is given by a nested sequence with compact imbedding operators from the top stratum and with the dense proper stratum in definition 2.1. A generalized Fredholm operator is an operator preserving the sc-structures with sc-sub-Banach finite dimensional kernel and cokernel. sc-Fredholm operators are preserved under the composition and addition of an sc-Fredholm operator and an s\(c^+\)-operator. In section 2.3, the authors develop the sc-smooth notion with respect to the structure of a scale, and prove the chain rule in theorem 2.16. This allows them to define sc-smooth manifolds, in short sc-manifolds. For both, gauge theory and symplectic theory the tangent splicing space is defined in section 3, and a local \(M\)-polyfold model consists of a pair of open subsets in the splicing core and the sc-smooth splicing in tangent direction.

It is certainly better to see the applications for this notion in symplectic field theory, Gromov-Witten theory and Floer theory (as sc-smooth within splicing world). Therefore the M-polyfold (generalizing manifold, orbifold) is an object with local chart having the sc-smooth splicing and local homeomorphism onto an open subset of the splicing core, the two charts are compatible if the transition maps are sc-smooth, with a maximal atlas.

The first important result on M-polyfolds is that there exists a subordinate sc-smooth partition of unity for M-polyfolds with local models on separable sc-Hilbert spaces. Another important result on the corner structure for \(M\)-polyfolds is given in subsection 3.4. The sub-M-polyfold similar to the submanifold definition is studied in section 3.5, and finite dimensional submanifolds of an M-polyfold will be given in the later work of the authors. Then, the authors continue to define M-polyfold bundles in section 4 as a generalization of the bundle over manifolds. Some new concepts, like fillability and fillers, are given due to the study of the symplectic field theory and contact homology theory. The linearization is sc-Fredholm if and only if the linearization of the filled version is sc-Fredholm (proposition 4.17). The index of the sc-Fredholm operator is not fully exploited in this current paper. The sc-index of the sc-Fredholm operator may be related to sc-characteristic classes.

The sc-structure (structure of a scale) on a Banach space is given by a nested sequence with compact imbedding operators from the top stratum and with the dense proper stratum in definition 2.1. A generalized Fredholm operator is an operator preserving the sc-structures with sc-sub-Banach finite dimensional kernel and cokernel. sc-Fredholm operators are preserved under the composition and addition of an sc-Fredholm operator and an s\(c^+\)-operator. In section 2.3, the authors develop the sc-smooth notion with respect to the structure of a scale, and prove the chain rule in theorem 2.16. This allows them to define sc-smooth manifolds, in short sc-manifolds. For both, gauge theory and symplectic theory the tangent splicing space is defined in section 3, and a local \(M\)-polyfold model consists of a pair of open subsets in the splicing core and the sc-smooth splicing in tangent direction.

It is certainly better to see the applications for this notion in symplectic field theory, Gromov-Witten theory and Floer theory (as sc-smooth within splicing world). Therefore the M-polyfold (generalizing manifold, orbifold) is an object with local chart having the sc-smooth splicing and local homeomorphism onto an open subset of the splicing core, the two charts are compatible if the transition maps are sc-smooth, with a maximal atlas.

The first important result on M-polyfolds is that there exists a subordinate sc-smooth partition of unity for M-polyfolds with local models on separable sc-Hilbert spaces. Another important result on the corner structure for \(M\)-polyfolds is given in subsection 3.4. The sub-M-polyfold similar to the submanifold definition is studied in section 3.5, and finite dimensional submanifolds of an M-polyfold will be given in the later work of the authors. Then, the authors continue to define M-polyfold bundles in section 4 as a generalization of the bundle over manifolds. Some new concepts, like fillability and fillers, are given due to the study of the symplectic field theory and contact homology theory. The linearization is sc-Fredholm if and only if the linearization of the filled version is sc-Fredholm (proposition 4.17). The index of the sc-Fredholm operator is not fully exploited in this current paper. The sc-index of the sc-Fredholm operator may be related to sc-characteristic classes.

Reviewer: Weiping Li (Stillwater)

##### MSC:

53D40 | Symplectic aspects of Floer homology and cohomology |

58B15 | Fredholm structures on infinite-dimensional manifolds |

53D45 | Gromov-Witten invariants, quantum cohomology, Frobenius manifolds |

47A53 | (Semi-) Fredholm operators; index theories |

##### Keywords:

Banach scales; sc-smoothness; M-polyfolds; splicings; splicing cores; fillers; strong bundles
PDF
BibTeX
XML
Cite

\textit{H. Hofer} et al., J. Eur. Math. Soc. (JEMS) 9, No. 4, 841--876 (2007; Zbl 1149.53053)

**OpenURL**

##### References:

[1] | Bourgeois, F., Eliashberg, Y., Hofer, H., Wysocki, K., Zehnder, E.: Compactness results in symplectic field theory. Geom. Topol. 7 , 799-888 (2003) · Zbl 1131.53312 |

[2] | Eliashberg, Y., Givental, A., Hofer, H.: Introduction to symplectic field theory. Geom. Funct. Anal. 2000 , Special Volume, Part II, 560-673 · Zbl 0989.81114 |

[3] | Eliasson, H.: Geometry of manifolds of maps. J. Differential Geom. 1 , 169-194 (1967) · Zbl 0163.43901 |

[4] | Gromov, M.: Pseudoholomorphic curves in symplectic geometry. Invent. Math. 82 , 307-347 (1985) · Zbl 0592.53025 |

[5] | Hofer, H.: A general Fredholm theory and applications. In: Current Developments in Mathe- matics, D. Jerison et al. (eds.), International Press (2006) · Zbl 1185.58001 |

[6] | Hofer, H., Wysocki, K., Zehnder, E.: Fredholm Theory in Polyfolds I: Functional Analytic Methods. Book in preparation · Zbl 1185.58002 |

[7] | Hofer, H., Wysocki, K., Zehnder, E.: Fredholm Theory in Polyfolds II: The Polyfolds of Sym- plectic Field Theory. Book in preparation · Zbl 1185.58002 |

[8] | Hofer, H., Wysocki, K., Zehnder, E.: A general Fredholm theory II: Implicit function theo- rems. Preprint · Zbl 1217.58005 |

[9] | Hofer, H., Wysocki, K., Zehnder, E.: A general Fredholm theory III: Fredholm functors and polyfolds. Paper in preparation · Zbl 1185.58002 |

[10] | Hofer, H., Wysocki, K., Zehnder, E.: A general Fredholm theory IV: Operations. Paper in preparation · Zbl 1185.58002 |

[11] | Hofer, H., Wysocki, K., Zehnder, E.: Applications of polyfold theory I: Gromov-Witten the- ory. Paper in preparation |

[12] | Hofer, H., Wysocki, K., Zehnder, E.: Applications of polyfold theory II: The polyfolds of symplectic field theory. Paper in preparation · Zbl 1210.58004 |

[13] | Jänich, K.: On the classification of O(n)-manifolds. Math. Ann. 176 , 53-76 (1968) · Zbl 0153.53801 |

[14] | Lang, S.: Fundamentals of Differential Geometry. Grad. Texts in Math. 191, Springer (1999) · Zbl 0932.53001 |

[15] | Laures, G.: On cobordism of manifolds with corners. Trans. Amer. Math. Soc. 352 , 5667- 5688 (2000) · Zbl 0954.55008 |

[16] | McDuff, D.: Groupoids, branched manifolds and multisections. J. Symplectic Geom. 4 , 259- 315 (2006) · Zbl 1146.57040 |

[17] | Moerdijk, I.: Orbifolds as groupoids: An introduction. In: Orbifolds in Mathematics and Physics (Madison, WI, 2001), Contemp. Math. 310, Amer. Math. Soc., 205-222 (2002) · Zbl 1041.58009 |

[18] | Moerdijk, I., Mr\check cun, J.: Introduction to Foliations and Lie Groupoids. Cambridge Stud. Adv. Math. 91, Cambridge Univ. Press (2003) · Zbl 1029.58012 |

[19] | Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, North-Holland, Amsterdam (1978) · Zbl 0387.46033 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.