The equivariant cohomology of hypertoric varieties and their real loci (Q2583312): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q208176 |
||
Property / author | |||
Property / author: Tara S. Holm / rank | |||
Revision as of 03:05, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The equivariant cohomology of hypertoric varieties and their real loci |
scientific article |
Statements
The equivariant cohomology of hypertoric varieties and their real loci (English)
0 references
16 January 2006
0 references
The basic idea of the theorem of \textit{M.~Goresky, R.~Kottwitz} and \textit{R.~MacPherson} [Invent. Math. 131, No. 1, 25--83 (1998; Zbl 0897.22009)] can be described as follows. For a compact Hamiltonian \(T\) space \(M\) the inclusion \(M^ T \hookrightarrow M\) induces an injection \(H_ T^ *(M;\mathbb Q)\hookrightarrow H_ T^ *(M^ T;\mathbb Q)\) in equivariant cohomology. Since \(T\) acts trivially on \(M^ T\), when \(M^ T\) consists of isolated points, the ring \(H_ T^ *(M^ T;\mathbb Q)\) is a direct product of polynomial rings \(H_ T^ *(M;\mathbb Q)\cong \prod_{p\in M^ T} H_ T^ *(p;\mathbb Q) \cong \prod_{p\in M^ T}\text{Sym}({\mathfrak t}^ *)\). Hence, in order to compute the equivariant cohomology ring \(H_ T^ *(M;\mathbb Q)\), it suffices to identify its image in \(H_ T^ *(M^ T;\mathbb Q)\). In addition, if the \(T\)-isotropy weights \(\{\alpha_{p,i}\}\) are pairwise linearly independent at each fixed point \(p\), then the image of \(H_ T^ *(M;\mathbb Q)\) in \(H_ T^ *(M^ T;\mathbb Q)\) is the same as that of the one-skeleton of \(M\), which in turn can be described combinatorially in terms of a graph \(\Gamma\) and the \(T\)-isotropy data. Thus, the computation of \(H_ T^ *(M;\mathbb Q)\) is translated into a problem of combinatorics. In this paper, the authors present two main results and demonstrate their use through several explicit computations. In the first result, they generalize the theorem of Goresky, Kottwitz, and MacPherson to the non-compact setting that computes \(T = T^ n\)-equivariant cohomology rings of compact Hamiltonian \(T\) spaces satisfying some conditions. When \(M\) is equipped with an antisymplectic involution \(\sigma\) that anticommutes with the action of \(T\), the authors extend to the non-compact setting the ``mod 2'' versions of these results to the real locus \(Q = M^ \sigma\) of \(M\). These results are applied in detail to the hypertoric varieties of \textit{R.~Bielawski} and \textit{A.~S.~Dancer} [Commun. Anal. Geom. 8, No. 4, 727--760 (2000; Zbl 0992.53034)], using a torus action.
0 references
equivariant cohomology
0 references
Hamiltonian \(T\) space
0 references
symplectic geometry
0 references
symplectic topology
0 references
algebraic geometry
0 references