{"entities":{"Q326640":{"pageid":328407,"ns":120,"title":"Item:Q326640","lastrevid":56808582,"modified":"2026-03-23T16:10:23Z","type":"item","id":"Q326640","labels":{"en":{"language":"en","value":"Singular equivariant asymptotics and the momentum map. Residue formulae in equivariant cohomology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6637707"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326640$B6FCFE5A-0F57-42E3-8DCD-1D3D06E0FB92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d253e78e3503bdb1b305698798f80c0ea4eae181","datavalue":{"value":{"text":"Singular equivariant asymptotics and the momentum map. Residue formulae in equivariant cohomology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q326640$EC072EC4-AB40-4946-9BF5-B3483B4910D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf86de7164373fa653987b4336a161f521d0bd13","datavalue":{"value":"1351.53103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$966D4EA6-4D64-4A2C-8935-2FA5213C4726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b80d6ec8887aa753dc4cf8c59b5a88781acc086d","datavalue":{"value":{"entity-type":"item","numeric-id":326639,"id":"Q326639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326640$9133509F-599E-4303-8679-BB072AFB0BD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e3616eb4fa66cd8a907cb98b9b6a1ca82f66944","datavalue":{"value":{"entity-type":"item","numeric-id":283503,"id":"Q283503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326640$979FF9CA-8384-4681-91F4-060F7477C539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3345943144ad3fdbe1546c68ad17e7cf0375253c","datavalue":{"value":{"time":"+2016-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q326640$3482A6AF-F9FB-469A-9188-4F3B5BF65DCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"208c7c7a6627724bbc9e4860ae4e56075f894217","datavalue":{"value":"https://arxiv.org/abs/1310.1687","type":"string"},"datatype":"url"},"type":"statement","id":"Q326640$15B581C2-4D6C-4665-8F9A-363B6E8B5D9E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff218d8a6072e9b189d21d69809bca07a41e5929","datavalue":{"value":{"entity-type":"item","numeric-id":587361,"id":"Q587361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326640$726EEC36-E955-4B46-A82B-59A68D958A5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8da12a4c7ee4ca87162577ddc436795855d255c1","datavalue":{"value":"53D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$D7C481BD-0DE6-46FF-B8EF-33254292E975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f14c3c6281d60db8afa7423b0c7ac8fa70cf0494","datavalue":{"value":"55N91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$3213DECE-6858-4338-B1AE-CB0F2D6BC98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6abd954577d7831c81f47f7f0b7804cf22fa3b5d","datavalue":{"value":"57R91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$39B18D2A-2D94-4085-B4F8-4C59116BD93A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa81b5b6eec46f9d5ec59816bd2a03a2eaf629bc","datavalue":{"value":"6637707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$78933C23-E398-41C4-8CF2-B5BDCB4377F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ccf3aac6b47a2c18df38a1974476d48fb10004","datavalue":{"value":"equivariant cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$9E6D08D7-8A19-4F2A-BF6B-030A5B98AB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffd87ee993a3123f187809e8a9630774bfb365b","datavalue":{"value":"residue formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$FE63D8F9-F8DB-41CF-8246-82F413F20756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b55d720be931291330de5449926b8dd448cfd7b9","datavalue":{"value":"momentum map","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$D4A6C9B4-FA52-4428-B0F1-432762BF42CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521753edc5aaf3d6dbfe803b3c92b4788e5c1c6b","datavalue":{"value":"symplectic quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$CA0F25A0-9A30-497C-9190-CDC48F0672B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986d60e0ddfc9425c735f871ee07733bb87dc30f","datavalue":{"value":"Marsden-Weinstein reduced space","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$88FBD05D-48F5-494C-9110-C417FB7E1A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f1cfba6cb74243772f2c7b46a837a28c28cf058","datavalue":{"value":"stationary phase principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$852B9593-E5EB-4F77-AE41-119BE87D8DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af36e383360e1dd892b57ae4e93379a2bfa64587","datavalue":{"value":"resolution of singularities","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$A4F76A3B-A6A1-44FA-80A6-4C9994B2F50A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326640$C418D6ED-EDB6-4B8B-9B27-E4ADF9D41F81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68ca1a42a734ee245cc23617934415bd8b84b3b2","datavalue":{"value":"W2963636684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$EC724A48-294D-42F7-8283-4D0311266ACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbbcd0b228de7e1c5aa8f536243de286be965569","datavalue":{"value":"10.4310/JSG.2016.V14.N2.A4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326640$5997BBA3-6610-4982-9CAF-4EA2081A91C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e161de187bd3f2db8dc8ed2fdd0454c0ffc4493","datavalue":{"value":"Let \\(\\mathbf{X}\\) be a symplectic manifold, \\(G\\) the Lie group acting on \\(M\\) as Hamiltonian action. Let \\(\\mathbb{J}:\\mathbf{X}\\to \\mathfrak{g}^\\ast\\), where \\(\\mathfrak{g}\\) is the Lie algebra of \\(G\\), be the corresponding momentum map. If \\(\\mathbf{X}\\) is compact and 0 a regular value of \\(\\mathbb{J}\\), then the cohomology of the Marsden-Weinstein reduced space \\(\\mathbf{X}_{\\mathrm{red}}=\\mathbb{J}^{-1}(0)/G\\) was expressed in terms of the equivariant cohomology of \\(\\mathbf{X}\\) via a certain residue formula [\\textit{L. C. Jeffrey} and \\textit{F. C. Kirwan}, Topology 34, No. 2, 291--327 (1995; Zbl 0833.55009)]. The residue formula when 0 is not a regular value is also derived if \\(\\mathbf{X}\\) is a nonsingular projective variety [\\textit{L. C. Jeffrey} et al., Transform. Groups 8, No. 3, 217--259 (2003; Zbl 1080.14537)].NEWLINENEWLINEIn this paper, as an extension of these results, a residue formula in the case \\(\\mathbf{X}=T^\\ast M\\), \\(M\\) a Riemannian manifold and \\(G\\) acts as isometries, is proved via desingularization of \\(\\mathbf{X}_{\\mathrm{red}}\\) at 0 (\\S10, Theorem 7).NEWLINENEWLINEFor this purpose, the equivariant cohomology \\(H_G^\\ast(\\mathbf{X})\\) and cohomology of \\(\\mathbf{X}_{\\mathrm{red}}\\) are related by a Duistermaat-Heckman type integral [\\textit{J. J. Duistermaat} and \\textit{G. J. Heckman}, Invent. Math. 69, 259--268 (1982; Zbl 0503.58015)] NEWLINE\\[NEWLINEX\\to L_\\alpha(X)=\\int_{\\mathbf X}e^{iJX}\\alpha, \\, X\\in\\mathfrak{g}, \\, \\alpha\\in\\Lambda(\\mathbf{X}),NEWLINE\\]NEWLINE where \\(J\\) is the almost complex structure of \\(\\mathbf{X}\\) compatible with the symplectic structure. Applying the localization formula in equivariant cohomology (\\S2, Theorem 1. [\\textit{N. Berline} et al., Heat kernels and Dirac operators. Berlin etc.: Springer-Verlag (1992; Zbl 0744.58001)], Theorem 7.13), it is shown that NEWLINE\\[NEWLINEL_{e^{-i\\omega}\\rho(Y)}=\\sum_{F\\in\\mathcal{F}}u_F(Y).NEWLINE\\]NEWLINE Here, \\(\\mathcal{F}\\) is a connected components of fixed points of a \\(T\\)-action, where \\(T\\) is a fixed maximal torus of \\(G\\) (\\S2, Corollary 2. The explicit form of \\(u_F\\) is given as (5)). Let \\(\\Phi(Y)=\\prod_{\\gamma\\in\\Delta_+}\\gamma(Y)\\), \\(\\Delta_+\\) be the set of positive roots, and set NEWLINE\\[NEWLINE\\mathcal{F}_t(u_F\\Phi^k)=U_F^{\\Phi^k}, NEWLINE\\]NEWLINE where \\(\\mathcal{F}\\) is the (\\(\\mathfrak{g}\\)-)Fourier transform. The residue treated in this paper is defined by NEWLINE\\[NEWLINE\\mathrm{Res}^{\\Lambda,\\zeta}(u_F\\Phi^k)=\\lim_{t\\to 0}U^{\\Phi^k}_F(t\\zeta),NEWLINE\\]NEWLINE (\\S2, Definition 1). Then it is shown that to understand the residue, it is necessary to study the asymptotic behavior of NEWLINE\\[NEWLINEI_\\zeta(\\mu)=\\int_{\\mathfrak g}\\int_{\\mathbf X}e^{i\\psi_\\zeta(\\eta,X)/\\mu}a(\\eta,X)d\\eta d\\mathbf{X}.NEWLINE\\]NEWLINE Here, \\(\\psi_\\zeta(\\eta,X)=\\mathbb{J}(\\eta)(X)-\\zeta(X), \\zeta\\in\\mathfrak{g}^\\ast\\).NEWLINENEWLINEIf the critical set of the phase function is smooth, the asymptotic behavior of \\(I_\\zeta\\) is computed by the stationary phase theorem (\\S3, Theorem A. Proved in Appendix A, cf. [\\textit{M. Combescure} et al., Commun. Math. Phys. 202, No. 2, 463--480 (1999; Zbl 0939.58031)]). To get the asymptotic expansion of \\(I_\\zeta\\), a desingularization of the critical set is performed following [\\textit{K. Kawakubo}, The theory of transformation groups. Oxford etc.: Oxford University Press (1991; Zbl 0744.57001)]. It is also shown that a repeating use of the stationary phase method is allowed. These are the main parts of the paper. After these preparations, NEWLINE\\[NEWLINEI(\\mu)=(2\\pi\\mu)^\\kappa L_0+O(\\mu^{k+1}(\\log\\mu)^{\\Lambda-1})NEWLINE\\]NEWLINE is shown with an explicit form of the leading coefficient \\(L_0\\) (\\S9. Theorem 6. The explicit form of \\(L_0\\) is given as (56)). The author says that Theorem 6 is the main theorem of the paper. NEWLINENEWLINELet \\(\\tilde{\\mathcal{K}}:\\Lambda^{\\ast+\\kappa}(T^\\ast M)\\to\\Lambda^{\\ast-d}(\\mathrm{Reg}\\mathbf{X}_{\\mathrm{red}})\\) be the composition of the maps NEWLINE\\[NEWLINE\\begin{aligned} \\frac{r}{\\mathrm{vol}\\mathcal{O}}:\\lambda^{\\ast+\\kappa}(T^\\ast M)\\to \\Lambda^\\ast(\\mathrm{Reg}\\mathbb{J}^{-1}(0)), \\\\ \\pi_\\ast:\\Lambda^\\ast(\\mathrm{Reg}\\mathbb{J}^{-1}(0))\\to \\Lambda^{\\ast-d}(\\mathrm{Reg}\\mathbf{X}_{\\mathrm{red}}).\\end{aligned}NEWLINE\\]NEWLINE Let \\(\\rho\\in H^\\ast_G(T^\\ast M)\\) be \\(\\rho(X)=\\alpha+D\\nu(X)\\), where \\(\\alpha\\) is a closed basic differential form on \\(T^\\ast M\\) of compact support and \\(\\nu\\) an equivariant differential form of compact support, and the dimension of a principal \\(G\\)-orbit is \\(d=\\dim\\mathfrak{g}\\). Then from Theorem 6, NEWLINE\\[NEWLINE(2\\pi)^d\\int_{\\mathrm{Reg}\\mathbf{X}_{\\mathrm{red}}}\\tilde{\\mathcal{K}}(e^{-i\\bar{\\omega}}\\alpha)=\\frac{|H|}{|W|\\mathrm{vol} T}\\mathrm{Res}\\bigl(\\Phi^2\\sum_{F\\in\\mathcal{F}}u_F\\bigr),NEWLINE\\]NEWLINE is derived (\\S10. Theorem 7). Here, \\(W\\) is the Weyl group and \\(H\\) is the principal isotropy group of the \\(G\\)-action. This is the final result of the paper. The author remarks that the assumption on \\(\\rho\\) is not so restrictive, because if \\(G\\) acts locally freely, then \\(H_G^\\ast(\\mathbf{X})\\cong H^\\ast(\\mathbf{X}/G)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q326640$52D2CF3E-521F-40B8-89C7-A51B7CEDFE23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9107aa7b0558108cc8c6dbf205614d4ad385864","datavalue":{"value":{"entity-type":"item","numeric-id":1907184,"id":"Q1907184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5df7b4c30ed32c9eec6ccc7d309b087a47a485e","datavalue":{"value":{"amount":"+0.8068495392799377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q326640$226F9B92-4A7D-4CE8-B6CF-0B941A479C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8632e1eadce3cf3c529f6f1c9f56f20812ad4f71","datavalue":{"value":{"entity-type":"item","numeric-id":1804901,"id":"Q1804901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335ead21fec2c56c0b5032cc82d4f95cb8a783e2","datavalue":{"value":{"amount":"+0.8065283894538879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q326640$79F04CF4-3305-4D21-A509-5ACB1DA3F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a65b69241ca393af888a6ed81b905d00c6c0b19","datavalue":{"value":{"entity-type":"item","numeric-id":5945787,"id":"Q5945787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38840713a04a20c20b81137827ec013a1d6731ae","datavalue":{"value":{"amount":"+0.8002859950065613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q326640$E8DDC3BB-F388-419A-9E40-7D1C29EC24C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"299addc4d906cb4c0df7909b4be0959e06abb04c","datavalue":{"value":{"entity-type":"item","numeric-id":4864182,"id":"Q4864182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491cb32283bcc720ff8cfc803fb89cfb2b6560ac","datavalue":{"value":{"amount":"+0.7883944511413574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q326640$A930BACC-8D33-487B-BC9D-87AA2313B29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1697695f6d0735df9735268da6e32c2cf92a89d3","datavalue":{"value":{"entity-type":"item","numeric-id":2386779,"id":"Q2386779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491cb32283bcc720ff8cfc803fb89cfb2b6560ac","datavalue":{"value":{"amount":"+0.7883944511413574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q326640$0806F056-9202-4139-A12E-A661A2DF0B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:326640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:326640"}}}}}