We obtain a theory of stratified Sternberg spaces thereby extending the theory of cotangent bundle reduction for free actions to the singular case where the action on the base manifold consists of only one orbit type. We find that the symplectic reduced spaces are stratified topological fiber bundles over the cotangent bundle of the orbit space. We also obtain a Poisson stratification of the Sternberg space. To construct the singular Poisson Sternberg space we develop an appropriate theory of singular connections for proper group actions on a single orbit type manifold including a theory of holonomy extending the usual Ambrose-Singer theorem for principal bundles.
The trigonometric Ruijsenaars-Schneider model is derived by symplectic reduction of Poisson-Lie symmetric free motion on the group U(n). The commuting flows of the model are effortlessly obtained by reducing canonical free flows on the Heisenberg double of U(n). The free flows are associated with a very simple Lax matrix, which is shown to yield the Ruijsenaars-Schneider Lax matrix upon reduction.
We prove a normal form theorem for principal Hamiltonian actions on Poisson manifolds around the zero locus of the moment map. The local model is the generalization to Poisson geometry of the classical minimal coupling construction from symplectic geometry of Sternberg and Weinstein. Further, we show that the result implies that the quotient Poisson manifold is linearizable, and we show how to extend the normal form to other values of the moment map.
Let M be a differentiable manifold endowed with a foliation F. A Poisson structure P on M is F-coupling if the image of the annihilator of TF by the sharp-morphism defined by P is a normal bundle of the foliation F. This notion extends Sternberg's coupling symplectic form of a particle in a Yang-Mills field. In the present paper we extend Vorobiev's theory of coupling Poisson structures from fiber bundles to foliations and give simpler proofs of Vorobiev's existence and equivalence theorems of coupling Poisson structures on duals of kernels of transitive Lie algebroids over symplectic manifold…
Fix a codimension-1 affine Poisson variety $(X,π_X)$ in $\mathbb{C}^n$ with an isolated singularity at the origin. We characterize possible extensions of $π_X$ to $\mathbb{C}^n$ using the Koszul complex of the Jacobian ideal of $X$. In the particular case of a singular surface, we show that there always exists an extension of $π_X$ to $\mathbb{C}^n$.
This dissertation investigates the problem of locally embedding singular Poisson spaces. Specifically, it seeks to understand when a singular symplectic quotient V/G of a symplectic vector space V by a group G \subseteq Sp_2n(R) is realizable as a Poisson subspace of some Poisson manifold (R^n,{.,.}). The local embedding problem is recast in the language of schemes and reinterpreted as a problem of extending the Poisson bracket to infinitesimal neighborhoods of an embedded singular space. Such extensions of a Poisson bracket near a singular point p of V/G are then related to the cohomology and…
Coadjoint orbits and multiplicity free spaces of compact Lie groups are important examples of symplectic manifolds with Hamiltonian groups actions. Constructing action-angle variables on these spaces is a challenging task. A fundamental result in the field is the Guillemin-Sternberg construction of Gelfand-Zeitlin integrable systems for the groups $K=U(n), SO(n)$. Extending these results to groups of other types is one of the goals of this paper. Partial tropicalizations are Poisson spaces with constant Poisson bracket built using techniques of Poisson-Lie theory and the geometric crystals of …
We study the stability of singular points for smooth Poisson structures as well as general Lie algebroids. We give sufficient conditions for stability lying on the first (not necessarily linear) approximation of the given Poisson structure or Lie algebroid at a singular point. The main tools used here are the classical Lichnerowicz-Poisson cohomology and the deformation cohomology for Lie algebroids recently introduced by Crainic and Moerdijk. We also provide several examples of stable singular points of order $k \geq 1$ for Poisson structures and Lie algebroids. Finally, we apply our results …
The Kaehler quotient of a complex reductive Lie group relative to the conjugation action carries a complex algebraic stratified Kaehler structure which reflects the geometry of the group. For the group SL(n,C), we interpret the resulting singular Poisson-Kaehler geometry of the quotient in terms of complex discriminant varieties and variants thereof.
In this paper, we first study the Poisson reductions of controlled Hamiltonian (CH) system and symmetric CH system by controllability distributions. These reductions are the extension of Poisson reductions by distribution for Poisson manifolds to that for phase spaces of CH systems with external force and control. We give Poisson reducible conditions of CH system by controllability distribution, and prove that the Poisson reducible property for CH systems leaves invariant under the CH-equivalence. Moreover, we study the Poisson reduction of symmetric CH system by G-invariant controllability di…
We prove that the linearization functor from the category of Hamiltonian K-actions with group-valued moment maps in the sense of Lu, to the category of ordinary Hamiltonian K-actions, preserves products up to symplectic isomorphism. As an application, we give a new proof of the Thompson conjecture on singular values of matrix products and extend this result to the case of real matrices. We give a formula for the Liouville volume of these spaces and obtain from it a hyperbolic version of the Duflo isomorphism.
Each Scorza variety and its secant varieties in the ambient projective space are identified, in the realm of singular Poisson-Kaehler geometry, in terms of projectivizations of holomorphic nilpotent orbits in suitable Lie algebras of hermitian type, the holomorphic nilpotent orbits, in turn, being affine varieties. The ambient projective space acquires an exotic Kaehler structure, the closed stratum being the Scorza variety and the closures of the higher strata its secant varieties. In this fashion, the secant varieties become exotic projective varieties. In the rank 3 case, the four regular S…
We show that a Bott-Morse foliation in dimension 3 admits a linear, singular, Poisson structure of rank 2 with Bott-Morse singularities. We provide the Poisson bivectors for each type of singular component, and compute the symplectic forms of the characteristic distribution.
We consider the Poisson reduced space $(T^*Q)/K$ with respect to a cotangent lifted action. It is assumed that $K$ is a compact Lie group which acts by isometries on the Riemannian manifold $Q$ and that the action on $Q$ is of single isotropy type. Realizing $(T^*Q)/K$ as a Weinstein space we determine the induced Poisson structure and its symplectic leaves. We thus extend the Weinstein construction for principal fiber bundles to the case of surjective Riemannian submersions $Q\to Q/K$.
We are interested in analytic singular Poisson structures with a non zero linear part at the singularity. Using recent work of the author about holomorphic normalization of commutative familly of singular vector fields, we obtain results about normalization of holomorphic Poisson structures.
A geometric description of the first Poisson cohomology groups is given in the semilocal context, around (possibly singular) symplectic leaves. This result is based on the splitting theorems for infinitesimal automorphisms of coupling Poisson structures which describe the interaction between the tangential and transversal data of the characteristic distributions. As a consequence, we derive some criteria of vanishing of the first Poisson cohomology groups and apply the general splitting formulas to some particular classes of Poisson structures associated with singular symplectic foliations.
This paper is devoted to semi-classical aspects of symplectic reduction. Consider a compact prequantizable Kahler manifold M with a Hamiltonian torus action. Guillemin and Sternberg introduced an isomorphism between the invariant part of the quantum space associated to M and the quantum space associated to the symplectic quotient of M, provided this quotient is non-singular. We prove that this isomorphism is a Fourier integral operator and that the Toeplitz operators of M descend to Toeplitz operators of the reduced phase space. We also extend these results to the case where the symplectic quo…
We connect Poisson and near-symplectic geometry by showing that there is a singular Poisson structure on a near-symplectic 4-manifold. The Poisson structure $π$ is defined on the tubular neighbourhood of the singular locus $Z_ω$ of the 2-form $ω$, it is of maximal rank 4 and it vanishes on a degeneracy set containing $Z_ω$. We compute its smooth Poisson cohomology, which depends on the modular vector field and it is finite dimensional. We conclude with a discussion on the relation between the Poisson structure $π$ and the overtwisted contact structure associated to a near-symplectic 4-manifold…
We study variuos homological structures associated with Poisson algebra, the canonical differential complex for singular Poisson structure and the analogue of the star operator for such manifolds. Give the interpretation of the classical Koszul differential of exterior forms, as the supercommutator with some second order element. Describe the space of invariant distributions on manifold with singular Poisson structure.
In the presence of classical phase space singularities the standard methods are insufficient to attack the problem of quantization.In certain situations the difficulties can be overcome by means of Kähler quantization on stratified Kähler spaces. Such a space is a stratified symplectic space together with a complex analytic structure which is compatible with the stratified symplectic structure; in particular each stratum is a Kähler manifold in an obvious fashion. Holomorphic quantization on a stratified Kähler space then yields a costratified Hilbert space, a quantum object having the classic…
We generalize various symplectic reduction techniques to the context of the optimal momentum map. Our approach allows the construction of symplectic point and orbit reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a momentum map. We construct an orbit reduction procedure for canonical actions on a Poisson manifold that exhibits an interesting interplay with the von Neumann condition previously introduced by the author in his study of singular dual pairs. This condition ensures that the orbits in the momentum space of the optimal …
In this paper we prove an algebraic criterion which characterizes singular quasi-bi-hamiltonian structures constructed on the lines of a general, simple, new formal procedure proposed by the authors. This procedure shows that for the definition of a quasi-bi-hamiltonian system the requirement of non-singular Poisson tensors, contained in the original definition by Brouzet et al., is not essential. Besides, it is incidentally shown that one method of constructing Poisson tensors available in the literature is a particular case of ours. We present 2 examples.
We study Poisson traces of the structure algebra A of an affine Poisson variety X defined over a field of characteristic p. According to arXiv:0908.3868v4, the dual space HP_0(A) to the space of Poisson traces arises as the space of coinvariants associated to a certain D-module M(X) on X. If X has finitely many symplectic leaves and the ground field has characteristic zero, then M(X) is holonomic, and thus HP_0(A) is finite dimensional. However, in characteristic p, the dimension of HP_0(A) is typically infinite. Our main results are complete computations of HP_0(A) for sufficiently large p wh…
The problem of the nonequivalence of the sets of equilibrium points and energy-Casimir extremal points, which occurs in the noncanonical Hamiltonian formulation of equations describing ideal fluid and plasma dynamics, is addressed in the context of the Euler equation for an incompressible inviscid fluid. The problem is traced to a Casimir deficit, where Casimir elements constitute the center of the Lie-Poisson algebra underlying the Hamiltonian formulation, and this leads to a study of the symplectic operator defining the Poisson bracket. The kernel of the symplectic operator, for this typical…
We associate cotangent models to a neighbourhood of a Liouville torus in symplectic and Poisson manifolds focusing on a special class called $b$-Poisson/$b$-symplectic manifolds. The semilocal equivalence with such models uses the corresponding action-angle coordinate theorems in these settings: the theorem of Liouville-Mineur-Arnold [A74] for symplectic manifolds and an action-angle theorem for regular Liouville tori in Poisson manifolds [LMV11]. Our models comprise regular Liouville tori of Poisson manifolds but also consider the Liouville tori on the singular locus of a $b$-Poisson manifold…
A local normal form theorem for smooth equivariant maps between Fréchet manifolds is established. Moreover, an elliptic version of this theorem is obtained. The proof these normal form results is inspired by the Lyapunov-Schmidt reduction for dynamical systems and by the Kuranishi method for moduli spaces, and uses a slice theorem for Fréchet manifolds as the main technical tool. As a consequence of this equivariant normal form theorem, the abstract moduli space obtained by factorizing a level set of the equivariant map with respect to the group action carries the structure of a Kuranishi spac…
