Topology of complexity one quotients (Q827443)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7291155
Language Label Description Also known as
default for all languages
No label defined
    English
    Topology of complexity one quotients
    scientific article; zbMATH DE number 7291155

      Statements

      Topology of complexity one quotients (English)
      0 references
      0 references
      0 references
      8 January 2021
      0 references
      The paper concerns Hamiltonian actions of an \((n-1)\)-dimensional torus on \(2n\)-dimensional compact connected symplectic manifolds and the goal is the study of the topology of the geometric quotient using technique from symplectic geometry. It is motivated by results in algebraic topology, see [\textit{V. M. Buchstaber} and \textit{S. Terzić}, Sb. Math. 210, No. 4, 508--549 (2019; Zbl 1427.57021); translation from Mat. Sb. 210, No. 4, 41--86 (2019); Mosc. Math. J. 19, No. 3, 397--463 (2019; Zbl 1469.57035)] and [\textit{A. A. Ayzenberg}, Proc. Steklov Inst. Math. 302, 16--32 (2018; Zbl 1431.57034); translation from Tr. Mat. Inst. Steklova 302, 23--40 (2018)]. Let \(T_{\mathrm{eff}}\) be the quotient of \(T\) by the kernel of the action. The complexity is \(\frac{1}{2}\dim M -\dim T_{\mathrm{eff}}\), if it is zero (the action is said to be toric), then it can be shown that \(M/T\) is homeomorphic to a disc. If the complexity is equal to one, then the image of the moment map \(\Delta\) can be decomposed as \(\Delta_{\mathrm{short}}\sqcup \Delta_{\mathrm{tall}}\) where \(\Delta_{\mathrm{short}}\) (resp. \(\Delta_{\mathrm{tall}}\)) is the set of points whose reduced space contains a single orbit (resp. whose reduced space is two-dimensional). The main theorem states that there exists a connected closed oriented surface \(\Sigma\) and a homeomorphism \(M/T \rightarrow (\Delta\times \Sigma)/\sim\), where \(\sim\) is the finest equivalence relation with \((x,\, y) \sim (x,\, y')\) if \(x \in\Delta_{\mathrm{short}}\). Moreover, (i) If \(\Delta_{\mathrm{short}}\) is nonempty, then \(\Sigma\) is a two-sphere; (ii) If \(\Delta_{\mathrm{short}}=\partial\Delta\) then \(M/T\) is homeomorphic to the \((n+1)\)-sphere. Finally, the paper contains two corollaries. The first gives a more precise description of \(M/T\) when further assumptions on fixed points are known, the second gives a classification when \(\dim M=4\). Finally, there is a table showing examples of geometric quotients.
      0 references
      momentum map
      0 references
      torus action
      0 references
      toric topology
      0 references
      Grassmannian
      0 references
      complexity one
      0 references
      Hamiltonian group action
      0 references
      symplectic quotient
      0 references
      geometric quotient
      0 references

      Identifiers