Geometric topology

In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. Geometric topology as an area distinct from algebraic topology may be said to have originated in the 1935 classification of lens spaces by Reidemeister torsion, which required distinguishing spaces that are homotopy equivalent but not homeomorphic. This was the origin of simple homotopy theory. The use of the term geometric topology to describe these seems to have originated rather recently. Manifolds differ radically in behavior in high and low dimension. High-dimensional topology refers to manifolds of dimension 5 and above, or in relative terms, embeddings in codimension 3 and above. Low-dimensional topology is concerned with questions in dimensions up to 4, or embeddings in codimension up to 2. Dimension 4 is special, in that in some respects (topologically), dimension 4 is high-dimensional, while in other respects (differentiably), dimension 4 is low-dimensional; this overlap yields phenomena exceptional to dimension 4, such as exotic differentiable structures on R4. Thus the topological classification of 4-manifolds is in principle tractable, and the key questions are: does a topological manifold admit a differentiable structure, and if so, how many? Notably, the smooth case of dimension 4 is the last open case of the generalized Poincaré conjecture; see Gluck twists. The distinction is because surgery theory works in dimension 5 and above (in fact, in many cases, it works topologically in dimension 4, though this is very involved to prove), and thus the behavior of manifolds in dimension 5 and above may be studied using the surgery theory program. In dimension 4 and below (topologically, in dimension 3 and below), surgery theory does not work. Indeed, one approach to discussing low-dimensional manifolds is to ask "what would surgery theory predict to be true, were it to work?" – and then understand low-dimensional phenomena as deviations from this.

From low-rank retractions to dynamical low-rank approximation and back

From low-rank retractions to dynamical low-rank approximation and back