Symplectic homology of disc cotangent bundles of domains in Euclidean space (Q462175)

For any bounded domain with smooth boundary \(V\subseteq\mathbb{R}^{n}\), and any \(a<0\) and \(b>0\), the author proves that there exists a natural isomorphism between symplectic homology of the disk cotangent bundle \(D^{*}V\) and relative cohomology of loop spaces on the closure \(\bar{V}\), i.e., \[ SH^{[a,b)}_{*}(D^{*}V) \cong H_{*}\big(\Lambda^{<b}(\bar{V}), \Lambda^{<b}(\bar{V})\backslash \Lambda(V) \big), \] where \[ \Lambda^{<b}( \bar{V})=\{\gamma\in W^{1,2}(S^{1},\mathbb{R}^{n}) \mid \gamma(S^{1})\subseteq \bar{V}, \text{length of }\gamma< b \} \] and \(\Lambda(V)=\{\gamma\in W^{1,2}(S^{1},\mathbb{R}^{n}) \mid \gamma(S^{1})\subseteq V, \}\). Moreover, for any \(0<b^-<b^+\), we have the following commutative diagram \[ \begin{tikzcd} SH^{[a,b^{-})}_{*}(D^{*}V) \ar[r,"{\cong}"] \ar[d] & H_{*}\big(\Lambda^{<b^{-}}(\bar{V}), \Lambda^{<b^{-}}(\bar{V}) \backslash \Lambda(V) \big) \ar[d] \\ SH^{[a,b^{+})}_{*}(D^{*}V) \ar[r,"{\cong}"'] & H_{*}\big(\Lambda^{<b^{+}}(\bar{V}), \Lambda^{<b^{+}}(\bar{V}) \backslash \Lambda(V) \big)\rlap{\,,} \end{tikzcd} \] where the left vertical arrow is a natural map in symplectic homology, and the right vertical arrow is induced by inclusion. Then the above theorem is used to give an application on the Floer-Hofer-Wysocki capacity, i.e., for any bounded domain with smooth boundary \(V\subseteq\mathbb{R}^{n}\), we have \(2r(V)<c_{\mathrm{FHW}}(D^*V)<2(n+1)r(V)\), where \(r(V)=\sup_{x\in V}\mathrm{dist}(x,\partial V)\). The proof of the main theorem consists of two steps: firstly, the author establishes an isomorphism between Floer homology of a quadratic Hamiltonian on \(T^{*}\mathbb{R}^{n}\) and Morse homology of its fiberwise Legendre transform, where the proof is based on techniques from [\textit{A. Abbondandolo} and \textit{M. Schwarz}, Commun. Pure Appl. Math. 59, No. 2, 254--316 (2006; Zbl 1084.53074)] and [\textit{A. Floer} and \textit{H. Hofer}, Math. Z. 215, No. 1, 37--88 (1994; Zbl 0810.58013)]. Then, by taking a limit of Hamiltonians, the proof of the main theorem is reduced to the first step.