On the centralizer of invariant functions on a Hamiltonian G-space (Q582649): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let J: \(M\to {\mathfrak g}^*\) be the moment map of the Hamiltonian action of the Lie group G on the symplectic manifold (M,\(\omega)\). A function f on M is said to be collective if it is a pullback by the moment map of a smooth function \(\Phi\) on \({\mathfrak g}^*\), i.e. \(f=J^*\circ \Phi\). The functions of this type form a Lie subalgebra of the Lie algebra \(C^{\infty}(M)\) (under Poisson bracket \(\{\).\(\}\) induced by the symplectic form \(\omega)\). Another subalgebra of \(C^{\infty}(M)\) is the set of G-invariant functions \(C^{\infty}(M)^ G\) on M. The two algebras are related as follows: First, it is relatively easy to see that the centralizer of the collective functions in \(C^{\infty}(M)\) consists of G-invariant functions. Second, and this is the main result of the paper under review, the converse is also true, namely, the centralizer of the invariant functions is the set of collective functions. The presented proof relies on the assumption that the image of the moment map misses the walls of Weyl chambers in \({\mathfrak g}^*\), as an example shows that if J(M) intersects the walls the second relation may fail to exist. | |||
Property / review text: Let J: \(M\to {\mathfrak g}^*\) be the moment map of the Hamiltonian action of the Lie group G on the symplectic manifold (M,\(\omega)\). A function f on M is said to be collective if it is a pullback by the moment map of a smooth function \(\Phi\) on \({\mathfrak g}^*\), i.e. \(f=J^*\circ \Phi\). The functions of this type form a Lie subalgebra of the Lie algebra \(C^{\infty}(M)\) (under Poisson bracket \(\{\).\(\}\) induced by the symplectic form \(\omega)\). Another subalgebra of \(C^{\infty}(M)\) is the set of G-invariant functions \(C^{\infty}(M)^ G\) on M. The two algebras are related as follows: First, it is relatively easy to see that the centralizer of the collective functions in \(C^{\infty}(M)\) consists of G-invariant functions. Second, and this is the main result of the paper under review, the converse is also true, namely, the centralizer of the invariant functions is the set of collective functions. The presented proof relies on the assumption that the image of the moment map misses the walls of Weyl chambers in \({\mathfrak g}^*\), as an example shows that if J(M) intersects the walls the second relation may fail to exist. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58C25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58K99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57S25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4131297 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
momentum mapping | |||
Property / zbMATH Keywords: momentum mapping / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
collective function | |||
Property / zbMATH Keywords: collective function / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symplectic manifold | |||
Property / zbMATH Keywords: symplectic manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Weyl chambers | |||
Property / zbMATH Keywords: Weyl chambers / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115182439 / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ivaïlo M. Mladenov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.4310/jdg/1214443830 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1525455969 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:45, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the centralizer of invariant functions on a Hamiltonian G-space |
scientific article |
Statements
On the centralizer of invariant functions on a Hamiltonian G-space (English)
0 references
1989
0 references
Let J: \(M\to {\mathfrak g}^*\) be the moment map of the Hamiltonian action of the Lie group G on the symplectic manifold (M,\(\omega)\). A function f on M is said to be collective if it is a pullback by the moment map of a smooth function \(\Phi\) on \({\mathfrak g}^*\), i.e. \(f=J^*\circ \Phi\). The functions of this type form a Lie subalgebra of the Lie algebra \(C^{\infty}(M)\) (under Poisson bracket \(\{\).\(\}\) induced by the symplectic form \(\omega)\). Another subalgebra of \(C^{\infty}(M)\) is the set of G-invariant functions \(C^{\infty}(M)^ G\) on M. The two algebras are related as follows: First, it is relatively easy to see that the centralizer of the collective functions in \(C^{\infty}(M)\) consists of G-invariant functions. Second, and this is the main result of the paper under review, the converse is also true, namely, the centralizer of the invariant functions is the set of collective functions. The presented proof relies on the assumption that the image of the moment map misses the walls of Weyl chambers in \({\mathfrak g}^*\), as an example shows that if J(M) intersects the walls the second relation may fail to exist.
0 references
momentum mapping
0 references
collective function
0 references
symplectic manifold
0 references
Weyl chambers
0 references