Polyfolds: a first and second look (Q502137): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / review text | |||
The goal of this paper is to give an exposition of the general polyfold theory, developed by Hofer, Wysocki and Zehnder since 2004, accessible to a reader familiar with the general ideas of elliptic differential equations, compactification of moduli, and Banach spaces. The applications include Gromov-Witten theory, Floer homology, symplectic field theory, and the point is to develop an abstract nonlinear Fredholm theory that uniformly resolves the issues of compactness, convergence to singular curves, and transversality. The end result is a theory with an abstract perturbation scheme coupled with the implicit function theorem, which removes the need for most of the ad hoc analytic constructions that currently fill the literature. The polyfold theory is expected to interpret any compactified moduli space as the zero set of a ``scale smooth'' Fredholm section \(\sigma\) in a ``polyfold bundle''. Once the compactness of \(\sigma^{-1}(0)\) is established the theory provides arbitrarily small perturbations \(p\) such that \(\sigma+p\) is transverse to the zero section, the zero set of the perturbed section is a compact finite dimensional manifold (or orbifold when discrete automorphisms are present) with boundary/corners, and the zero sets of different perturbations are cobordant. The paper is split into two parts. The first, ``philosophical'', part presents the key ideas informally, using the gradient flow trajectories of the finite dimensional Morse theory as toy examples. The second, ``technical'', part streamlines formal definitions and key theorems to get to the abstract transversality result quickly. For proofs the reader is mostly referred to the original sources. There are two main issues that are addressed by the polyfold construction. First, the reparametrization action of automorphisms on infinite dimensional spaces of maps is not differentiable in any familiar Banach topology. In applications this forces one to look for equivariant transverse perturbations before taking the reparametrization quotient, which can only be found under severe restrictions on allowed maps, like injectivity. The polyfold theory instead uses a notion of differentiability in a Banach scale, which imparts the scale smooth structure to the space of re\-para\-metri\-zation-equivalence classes of maps, and interprets the Cauchy-Riemann operator as a smooth section over this space. Second, the compactification of the moduli usually requires maps over singular domains, which precludes a description of the compactified moduli as a subset of a single Banach manifold of maps. The polyfold theory introduces the notion of sc-retract (formalizing the pregluing construction), which allows one to build ambient spaces with neighborhoods of singular maps containing both singular and regular maps. Thus, part of the gluing construction is formalized by a Fredholm condition on the Cauchy-Riemann operator at singular maps, and the other parts are replaced by an implicit function theorem for Fredholm sections over sc-retracts. | |||
Property / review text: The goal of this paper is to give an exposition of the general polyfold theory, developed by Hofer, Wysocki and Zehnder since 2004, accessible to a reader familiar with the general ideas of elliptic differential equations, compactification of moduli, and Banach spaces. The applications include Gromov-Witten theory, Floer homology, symplectic field theory, and the point is to develop an abstract nonlinear Fredholm theory that uniformly resolves the issues of compactness, convergence to singular curves, and transversality. The end result is a theory with an abstract perturbation scheme coupled with the implicit function theorem, which removes the need for most of the ad hoc analytic constructions that currently fill the literature. The polyfold theory is expected to interpret any compactified moduli space as the zero set of a ``scale smooth'' Fredholm section \(\sigma\) in a ``polyfold bundle''. Once the compactness of \(\sigma^{-1}(0)\) is established the theory provides arbitrarily small perturbations \(p\) such that \(\sigma+p\) is transverse to the zero section, the zero set of the perturbed section is a compact finite dimensional manifold (or orbifold when discrete automorphisms are present) with boundary/corners, and the zero sets of different perturbations are cobordant. The paper is split into two parts. The first, ``philosophical'', part presents the key ideas informally, using the gradient flow trajectories of the finite dimensional Morse theory as toy examples. The second, ``technical'', part streamlines formal definitions and key theorems to get to the abstract transversality result quickly. For proofs the reader is mostly referred to the original sources. There are two main issues that are addressed by the polyfold construction. First, the reparametrization action of automorphisms on infinite dimensional spaces of maps is not differentiable in any familiar Banach topology. In applications this forces one to look for equivariant transverse perturbations before taking the reparametrization quotient, which can only be found under severe restrictions on allowed maps, like injectivity. The polyfold theory instead uses a notion of differentiability in a Banach scale, which imparts the scale smooth structure to the space of re\-para\-metri\-zation-equivalence classes of maps, and interprets the Cauchy-Riemann operator as a smooth section over this space. Second, the compactification of the moduli usually requires maps over singular domains, which precludes a description of the compactified moduli as a subset of a single Banach manifold of maps. The polyfold theory introduces the notion of sc-retract (formalizing the pregluing construction), which allows one to build ambient spaces with neighborhoods of singular maps containing both singular and regular maps. Thus, part of the gluing construction is formalized by a Fredholm condition on the Cauchy-Riemann operator at singular maps, and the other parts are replaced by an implicit function theorem for Fredholm sections over sc-retracts. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sergiy Koshkin / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58D27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58C15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58B15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6669850 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compactification of moduli | |||
Property / zbMATH Keywords: compactification of moduli / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gromov-Witten theory | |||
Property / zbMATH Keywords: Gromov-Witten theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Floer homology | |||
Property / zbMATH Keywords: Floer homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symplectic field theory | |||
Property / zbMATH Keywords: symplectic field theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nonlinear Fredholm theory | |||
Property / zbMATH Keywords: nonlinear Fredholm theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abstract perturbation scheme | |||
Property / zbMATH Keywords: abstract perturbation scheme / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reparametrization action | |||
Property / zbMATH Keywords: reparametrization action / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Banach scale | |||
Property / zbMATH Keywords: Banach scale / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sc-retract | |||
Property / zbMATH Keywords: sc-retract / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1210.6670 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3103360370 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:28, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polyfolds: a first and second look |
scientific article |
Statements
Polyfolds: a first and second look (English)
0 references
30 December 2016
0 references
The goal of this paper is to give an exposition of the general polyfold theory, developed by Hofer, Wysocki and Zehnder since 2004, accessible to a reader familiar with the general ideas of elliptic differential equations, compactification of moduli, and Banach spaces. The applications include Gromov-Witten theory, Floer homology, symplectic field theory, and the point is to develop an abstract nonlinear Fredholm theory that uniformly resolves the issues of compactness, convergence to singular curves, and transversality. The end result is a theory with an abstract perturbation scheme coupled with the implicit function theorem, which removes the need for most of the ad hoc analytic constructions that currently fill the literature. The polyfold theory is expected to interpret any compactified moduli space as the zero set of a ``scale smooth'' Fredholm section \(\sigma\) in a ``polyfold bundle''. Once the compactness of \(\sigma^{-1}(0)\) is established the theory provides arbitrarily small perturbations \(p\) such that \(\sigma+p\) is transverse to the zero section, the zero set of the perturbed section is a compact finite dimensional manifold (or orbifold when discrete automorphisms are present) with boundary/corners, and the zero sets of different perturbations are cobordant. The paper is split into two parts. The first, ``philosophical'', part presents the key ideas informally, using the gradient flow trajectories of the finite dimensional Morse theory as toy examples. The second, ``technical'', part streamlines formal definitions and key theorems to get to the abstract transversality result quickly. For proofs the reader is mostly referred to the original sources. There are two main issues that are addressed by the polyfold construction. First, the reparametrization action of automorphisms on infinite dimensional spaces of maps is not differentiable in any familiar Banach topology. In applications this forces one to look for equivariant transverse perturbations before taking the reparametrization quotient, which can only be found under severe restrictions on allowed maps, like injectivity. The polyfold theory instead uses a notion of differentiability in a Banach scale, which imparts the scale smooth structure to the space of re\-para\-metri\-zation-equivalence classes of maps, and interprets the Cauchy-Riemann operator as a smooth section over this space. Second, the compactification of the moduli usually requires maps over singular domains, which precludes a description of the compactified moduli as a subset of a single Banach manifold of maps. The polyfold theory introduces the notion of sc-retract (formalizing the pregluing construction), which allows one to build ambient spaces with neighborhoods of singular maps containing both singular and regular maps. Thus, part of the gluing construction is formalized by a Fredholm condition on the Cauchy-Riemann operator at singular maps, and the other parts are replaced by an implicit function theorem for Fredholm sections over sc-retracts.
0 references
compactification of moduli
0 references
Gromov-Witten theory
0 references
Floer homology
0 references
symplectic field theory
0 references
nonlinear Fredholm theory
0 references
abstract perturbation scheme
0 references
reparametrization action
0 references
Banach scale
0 references
sc-retract
0 references