对于一个紧的、连通的、单连通的李群G，环群LG是由H^1-Sobolev映射S^1-->G组成的无限维Hilbert李群。LG及其齐性空间的几何与表示论有关，并已被广泛研究。基环空间Omega（G）是$LG$的齐性空间的一个例子，并且具有自然的哈密顿量T x S^1作用，其中T是G的极大环面。我们研究了这个动作的矩映射亩，特别是证明了它的定期水平集连接。该结果是Atiyah定理的无限维模拟，该定理指出紧致辛流形上汉密尔顿环面作用的矩映射的原像是连通的。在有限维的情况下，这个连通性的结果被用来证明的矩映射的图像为一个紧凑的哈密顿T-空间是凸的。因此，我们的定理也可以被看作是一个同伴的结果阿蒂亚和普雷斯利定理，其中规定，图像μ（Ω（G））是凸的。我们还证明了对于能量泛函E，即S^1旋转作用量的矩映射，每个非空原像是连通的。
英文摘要：
For a compact, connected, simply-connected Lie group G, the loop group LG is the infinite-dimensional Hilbert Lie group consisting of H^1-Sobolev maps S^1-->G. The geometry of LG and its homogeneous spaces is related to representation theory and has been extensively studied. The space of based loops Omega(G) is an example of a homogeneous space of $LG$ and has a natural Hamiltonian T x S^1 action, where T is the maximal torus of G. We study the moment map mu for this action, and in particular prove that its regular level sets are connected. This result is as an infinite-dimensional analogue of a theorem of Atiyah that states that the preimage of a moment map for a Hamiltonian torus action on a compact symplectic manifold is connected. In the finite-dimensional case, this connectivity result is used to prove that the image of the moment map for a compact Hamiltonian T-space is convex. Thus our theorem can also be viewed as a companion result to a theorem of Atiyah and Pressley, which states that the image mu(Omega(G)) is convex. We also show that for the energy functional E, which is the moment map for the S^1 rotation action, each non-empty preimage is connected.
The convexity and Morse-theoretic properties of moment maps in symplectic geometry typically fail for presymplectic manifolds. We find a condition on presymplectic moment maps that prevents these failures. Our result applies for instance to Prato's quasifolds and to Hamiltonian actions on contact manifolds and cosymplectic manifolds.
We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable.
In this paper we show that the classical results on the existence and uniqueness of moment maps in symplectic geometry generalize directly to weak homotopy moment maps in multisym- plectic geometry. In particular, we show that their existence and uniqueness is governed by a Lie algebra cohomology complex which reduces to the Chevalley-Eilenberg complex in the symplectic setup
The Ricci form is a moment map for the action of the group of exact volume preserving diffeomorphisms on the space of almost complex structures. This observation yields a new approach to the Weil-Petersson symplectic form on the Teichmuller space of isotopy classes of complex structures with real first Chern class zero and nonempty Kahler cone.
Unimodality of the Betti numbers for Hamiltonian circle actions with index-increasing moment maps
Tolman在2005年“Moment maps in Various Geometry”会议上提出的单峰猜想指出，如果（M，w）是一个2n维光滑紧致辛流形，具有一个Hamilton圈作用，且仅有孤立不动点，则贝蒂数序列是单峰的.最近，作者和M.金证明了单峰持有八维情况下使用等变上同调理论。本文将\cite{CK}中的思想推广到任意维的情形。在任意维数下证明了该猜想，并假设一个矩映射是指数递增的。"
We introduce the notion of a weak (homotopy) moment map associated to a Lie group action on a multisymplectic manifold. We show that the existence/uniqueness theory governing these maps is a direct generalization from symplectic geometry. We use weak moment maps to extend Noether's theorem from Hamiltonian mechanics by exhibiting a correspondence between multisymplectic conserved quantities and continuous symmetries on a multi-Hamiltonian system. We find that a weak moment map interacts with this correspondence in a way analogous to the moment map in symplectic geometry. We define a multisympl…
Consider a closed non-degenerate 3-form $ω$ with an infinitesimal action of a Lie algebra $\mathfrak{g}$. Motivated by the fact that the observables associated to $ω$ form a Lie 2-algebra, we introduce homotopy moment maps defined on a Lie 2-algebra rather than just on the Lie algebra $\mathfrak{g}$. We formulate existence criteria and provide a construction for such homotopy moment maps, by characterizing them in terms of cohomology.
We study the moment maps of a smooth projective toric variety. In particular, we characterize when the moment map coming from the quotient construction is equal to a weighted Fubini-Study moment map. This leads to an investigation into polytopes with strict linear precision, and in the process we use results from and find remarkable connections between Symplectic Geometry, Geometric Modeling, Algebraic Statistics, and Algebraic Geometry.
In this note, we give a necessary and sufficient condition for the properness of moment maps for representations of quivers. We show that the moment map for the representations of a quiver is proper if and only if the quiver is acyclic, that is, it does not contain any oriented cycle.
We define an equivariant index of Spin$^c$-Dirac operators on possibly noncompact manifolds, acted on by compact, connected Lie groups. The main result in this paper is that the index decomposes into irreducible representations according to the quantisation commutes with reduction principle.
In the present paper, we introduce the notion of pseudo-heaviness of closed subsets of closed symplectic manifolds and prove the existence of pseudo-heavy fibers of moment maps. In particular, we generalize Entov and Polterovich's theorem, which ensures the existence of non-displaceable fibers, and provide a partial answer to a problem posed by them, which asks the existence of heavy fibers. Moreover, we apply our results to prove that some generalized coupled angular momenta have more than two non-displaceable fibers.
The celebrated result by Biane-Bougerol-O'Connell relates Duistermaat-Heckman (DH) measures for coadjoint orbits of a compact Lie group $G$ with the multi-dimensional Pitman transform of the Wiener process on its Cartan subalgebra. The DH theory admits several non-trivial generalizations. In this paper, we consider the case of $G=SU(2)$, and we give an interpretation of DH measures for $SU(2) \cong S^3$ valued moment maps in terms of an interesting stochastic process on the unit disc, and an interpretation of the DH measures for Poisson $\mathbb{H}^3$ valued moment maps (in the sense of Lu) in…
Multisymplectic geometry admits an operation that has no counterpart in symplectic geometry, namely, taking the product of two multisymplectic manifolds endowed with the wedge product of the multisymplectic forms. We show that there is an L-infinity-embedding of the L-infinity-algebra of observables of the individual factors into the observables of the product, and that homotopy moment maps for the individual factors induce a homotopy moment map for the product. As a by-product, we associate to every multisymplectic form a curved L-infinity-algebra, whose curvature is the multisymplectic form …
