Proper Fredholm submanifolds of Hilbert space (Q1121567): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q115183091, #quickstatements; #temporary_batch_1714639695901 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115183091 / rank | |||
Normal rank |
Latest revision as of 10:53, 2 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proper Fredholm submanifolds of Hilbert space |
scientific article |
Statements
Proper Fredholm submanifolds of Hilbert space (English)
0 references
1989
0 references
Let M be a submanifold of a Hilbert space V, \(\nu\) (M) be its normal bundle and Y be the map from \(\nu\) (M) to V defined by \(Y(v)=x+v\) if \(v\in \nu (M)_ x\). The submanifold M is called proper Fredholm (PF) if the restriction of Y to the unit disk normal bundle is proper. The author develops a rich and interesting theory of PF submanifolds. He proves that every PF submanifold has a natural Fredholm structure and the shape operators are compact. Then he studies the geometry of PF submanifolds with flat normal bundle, especially the focal structure, the curvature distributions, curvature normals and gives a useful example from infinite dimensional Lie theory. He associates to each isoparametric PF submanifold M a marked affine Dynkin diagram and shows that the homology of M can be computed explicitly from its Dynkin diagram, proving that every nondegenerate Euclidean distance function \(f_ a\) on M is a perfect Morse function, that M is taut and that the set of critical points of \(f_ a\) is a W-orbit.
0 references
submanifold of a Hilbert space
0 references
Fredholm structure
0 references
Dynkin diagram
0 references