Symplectic cohomology rings of affine varieties in the topological limit (Q776881)

Let \(X\) be a smooth complex affine variety. Let \(M\) be a smooth projective compactification of \(X\) by a simple normal crossings divisor \({\mathbf{D}}=D_1\cup\cdots \cup D_k\) supporting an ample line bundle. The logarithmic cohomology ring \(H^\ast_{\log}(M,{\mathbf{D}})\) is a ring that encodes much of the combinatorics and algebraic topology of the pair \((M,{\mathbf{D}})\). The authors construct a multiplicative spectral sequence converging to the symplectic cohomology ring \(SH^\ast(X)\) whose first page is isomorphic to \(H^\ast_{\log}(M,{\mathbf{D}})\). A key technical ingredient is a morphism introduced in an earlier work of the authors, [``A log PSS morphism with applications to Lagrangian embeddings'', Preprint, \url{arXiv:1611.06849}]. The authors establish geometric criteria under which the spectral sequence degenerates and the ring structure of \(SH^\ast(X)\) can be computed. These results are then applied to give computations and qualitative results. For example, the authors give a complete topological description of \(SH^\ast(X)\) in the case where \({\mathbf{D}}\) is a union of sufficiently many generic ample divisors whose homology classes span a rank one subspace. They also discuss log Calabi-Yau pairs. Finally, they prove that in many cases symplectic cohomology is finitely generated as a ring.