ScalingStacks

6.1 Properties of compactifications [03UR]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context Β· Original author HTML

6.1 Properties of compactifications

Assume that we are given a non-compact manifold Bs​mB^{sm} with a 𝐙{\bf Z}-affine structure. We would like to β€œcompactify” it, i.e. to find a compact Hausdorff topological space BB such that Bs​mβŠ‚BB^{sm}\subset B is an open dense subset. We do not require an extension of the 𝐙{\bf Z}-affine structure to BB. The question is: what kind of properties one should expect from such a compactification? We cannot give a complete list of such properties at the moment. Instead, we formulate two of them and illustrate the notion of compactification in PL case. Similarity between examples in Sections 3.2 and 4.2 suggests that the class of singularities which appear in integrable systems should be more or less the same as the class of singularities appearing in non-archimedean geometry.

Let x∈Bs​i​n​g:=Bβˆ–Bs​mx\in B^{sing}:=B\setminus B^{sm} be a singular point of some compactification of Bs​mB^{sm}. Then we require the following
Finiteness property. There is a fundamental system of neighborhoods UβŠ‚BU\subset B of xx such that the number of connected components of U∩Bs​mU\cap B^{sm} is finite.

Let U∩Bs​m=βŠ”1≀i≀NUiU\cap B^{sm}=\sqcup_{1\leq i\leq N}U_{i} be the disjoint union of the connected components. Let us pick a point xi∈Uix_{i}\in U_{i} and consider a continuous path Ξ³:[0,1]β†’B\gamma:[0,1]\to B such that γ⁑(0)=xi,γ⁑(1)=x,γ⁑([0,1))βŠ‚Ui\gamma(0)=x_{i},\gamma(1)=x,\gamma([0,1))\subset U_{i}. Using the affine structure we can canonically lift this path to a path Ξ³β€²:[0,1)β†’Txi​B\gamma^{\prime}:[0,1)\to T_{x_{i}}B. We assume that the lifted path Ξ³β€²\gamma^{\prime} extends to time t=1t=1 and is analytic at t=1t=1 (it is a technical assumption, helping to avoid some pathologies). Then we require the following
Independence property. Path Ξ³\gamma with the properties as above exists, and point γ′​(1)∈Txi​B\gamma^{\prime}(1)\in T_{x_{i}}B does not depend on the choice of Ξ³\gamma.

Independence property implies the existence of a fixed vector for the monodromy representation restricted to Ο€1​(U∩Bs​m,xi)\pi_{1}(U\cap B^{sm},x_{i}) (this implies the Fixed Point property from Section 3.1).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.