A resolution $Z \to X$ of a Poisson variety $X$ is called {\em Poisson} if every Poisson structure on $X$ lifts to a Poisson structure on $Z$. For symplectic varieties, we prove that Poisson resolutions coincide with symplectic resolutions. It is shown that for a Poisson surface $S$, the natural resolution $S^{[n]} \to S^{(n)}$ is a Poisson resolution. Furthermore, if $Bs|-K_S| = \emptyset$, we prove that this is the unique projective Poisson resolution for $S^{(n)}$.
We examine shifted symplectic and Poisson structures on spaces of framed maps. We prove some results about shifted Poisson structures analogous to those in existing ones about symplectic structures. Then, we consider the space Map(X,D,Y) of maps from X to Y framed along a divisor D. We give conditions under which this space has a shifted symplectic or Poisson structure. Classical examples of symplectic and Poisson structures are provided with this theorem.
We consider symplectic singularities in the sense of A. Beauville as examples of Poisson schemes. Using Poisson methods, we prove that a symplectic singularity admits a finite stratification with smooth symplectic strata. We also prove that in the formal neighborhood of a closed point in some stratum, the singularity is a product of the stratum and a transversal slice. The transversal slice is also a symplectic singularity, and the product decomposition is compatible with natural Poisson structures. Moreover, we prove that the transversal slice admits a $C^*$-action dilating the symplectic for…
We shall prove that the Poisson deformation functor of an affine (singular) symplectic variety is unobstructed. As a corollary, we prove the following result. Theorem: For an affine symplectic variety $X$ with a good $C^*$-action (where its natural Poisson structure is positively weighted), the following are equivalent (1) $X$ has a crepant projective resolution. (2) $X$ has a smoothing by a Poisson deformation.
We show that on a derived Artin N-stack, there is a canonical equivalence between the spaces of n-shifted symplectic structures and non-degenerate n-shifted Poisson structures.
This is a local version of math.AG/0506534. We shall deal with the deformation of a convex symplectic variety $X$ instead of a projective one. The usual deformation does not work well in the convex case. Instead, we regard $X$ as a Poisson scheme and study its Poisson deformation. One of the application is the following: Let $Y$ be an affine symplectic variety, and assume that $Y$ has two $Q$-factorial crepant terminalizations $X$ and $X'$. If $X$ is non-singular, then $X'$ is non-singular, too. Moreover, when $Y$ has a good $C^*$-action, $X$ and $X'$ have the same kind of singularities.
We review recent results and ongoing investigations of the symplectic and Poisson geometry of derived moduli spaces, and describe applications to deformation quantization of such spaces.
A symplectic groupoid $G.:=(G_1 \rightrightarrows G_0)$ determines a Poisson structure on $G_0$. In this case, we call $G.$ a symplectic groupoid of the Poisson manifold $G_0$. However, not every Poisson manifold $M$ has such a symplectic groupoid. This keeps us away from some desirable goals: for example, establishing Morita equivalence in the category of all Poisson manifolds. In this paper, we construct symplectic Weinstein groupoids which provide a solution to the above problem (Theorem \ref{main}). More precisely, we show that a symplectic Weinstein groupoid induces a Poisson structure on…
Our paper develops a theory of Poisson slices and a uniform approach to their partial compactifications. The theory in question is loosely comparable to that of symplectic cross-sections in real symplectic geometry.
We prove that the information geometry's Frobenius manifold is a symplectic manifold having Poisson structures. By proving this statement, a bridge is created between the theories developed by Vinberg, Souriau and Koszul and the Frobenius manifold approach. Until now these approaches seemed disconnected.
For a derived stack obtained as a quotient of a derived affine scheme by a reductive group, we show that shifted symplectic structures can be characterized by the Cartan-de Rham complex. For non-reductive groups, we also show the analogous statement for Getzler's extension of the Cartan-de Rham complex. Dually, we construct a Cartan model for polyvector fields on global quotients by reductive groups, and show that shifted Poisson structures can be characterized by it.
We prove unobstructed deformations for compact Kaehlerian even-dimensional Poisson manifolds whose Poisson tensor degenerates along a divisor with mild singularities. Examples include Hilbert schemes of del Pezzo surfaces.
Symplectic realization is a longstanding problem which can be traced back to Sophus Lie. In this paper, we present an explicit solution to this problem for an arbitrary holomorphic Poisson manifold. More precisely, for any holomorphic Poisson manifold $(X, π)$, we prove that there exists a holomorphic symplectic structure in a neighborhood $Y$ of the zero section of $T^*X$ such that the projection map is a symplectic realization of the given Poisson manifold, and moreover the zero section is a holomorphic Lagrangian submanifold. We describe an explicit construction for such a new holomorphic s…
We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety. In particular, let V be a finite-dimensional complex symplectic vector space and G\subset Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the rational cohomology H^*(X) of any smooth symplectic resolution X \to V/G (multiplicative McKay correspondence). We prove further that if G i…
The degeneracy locus of a generically symplectic Poisson structure on a Fano manifold is always a singular hypersurface. We prove that there exists just one family of generically symplectic Poisson structures in Fano manifold with cyclic Picard group having a reduced simple normal crossing degeneracy locus.
A log symplectic manifold is a complex manifold equipped with a complex symplectic form that has simple poles on a hypersurface. The possible singularities of such a hypersurface are heavily constrained. We introduce the notion of an elliptic point of a log symplectic structure, which is a singular point at which a natural transversality condition involving the modular vector field is satisfied, and we prove a local normal form for such points that involves the simple elliptic surface singularities $\tilde{E}_6,\tilde{E}_7$ and $\tilde{E}_8$. Our main application is to the classification of Po…
We introduce the notion of chiral symplectic cores in a vertex Poisson variety, which can be viewed as analogs of symplectic leaves in Poisson varieties. As an application we show that any quasi-lisse vertex algebra is a quantization of the arc space of its associated variety, in the sense that its reduced singular support coincides with the reduced arc space of its associated variety. We also show that the coordinate ring of the arc space of Slodowy slices is free over its vertex Poisson center, and the latter coincides with the vertex Poisson center of the coordinate ring of the arc space of…
This is a continuation of math.AG/0609741. Let Y be an affine symplectic variety with a C^*-action with positive weights, and let π: X -> Y be its crepant resolution. Then πinduces a natural map PDef(X) -> PDef(Y) of Kuranishi spaces for the Poisson deformations of X and Y. In the Part I, we proved that PDef(X) and PDef(Y) are both non-singular, and this map is a finite surjective map. In this paper (Part II), we prove that it is a Galois covering. Markman already obtained a similar result in the compact case, which was a motivation of this paper. As an application, we shall construct explicit…
We compute the space of Poisson traces on symmetric powers of affine symplectic varieties. In the case of symplectic vector spaces, we also consider the quotient by the diagonal translation action, which includes the quotient singularities C^{2n-2}/S_n associated to the type A Weyl group S_n and its reflection representation C^{n-1}. We also compute the full structure of the natural D-module, previously defined by the authors, whose solution space over algebraic distributions identifies with the space of Poisson traces. As a consequence, we deduce bounds on the numbers of finite-dimensional ir…
We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a canonical D-module on the variety. In the case the variety has finitely many symplectic leaves (such as for symplectic singularities and Hamiltonian reductions of symplectic vector spaces by reductive gr…
We give a construction of completely integrable ($2n$)-dimensional Hamiltonian systems with symplectic brackets of the Lie-Poisson type (linear in coordinates) and with quadratic Hamilton functions. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational ($2n$)-dimensional map. We show that this map is symplectic with respect to a symplectic structure that is a perturbation of the original symplectic structure on $\mathbb R^{2n}$, and possesses $n$ independent integrals of motion, which are perturbations of the original Hamilton functions …
To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e., distributions invariant under Hamiltonian flows. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. As an application, we deduce that noncommutative filtered algebras whose associated graded algebra…
We study polynomial Poisson algebras with some regularity conditions. Linear (Lie-Berezin-Kirillov) structures on dual spaces of semi-simple Lie algebras, quadratic Sklyanin elliptic algebras of \cite{FO1},\cite{FO2} as well as polynomial algebras recently described by Bondal-Dubrovin-Ugaglia (\cite{Bondal},\cite{Ug}) belong to this class. We establish some simple determinantal relations between the brackets and Casimirs in this algebras. These relations imply in particular that for Sklyanin elliptic algebras the sum of Casimir degrees coincides with the dimension of the algebra. We are discus…
