We prove the existence of a local smooth Levi decomposition for smooth Poisson structures and Lie algebroids near a singular point. In the appendix of this paper, we show an abstract Nash-Moser normal form theorem, which generalizes our Levi decomposition result and which may be helpful in the study of other smooth normal form problems.
In this paper we prove the following theorem. Main Theorem. Let n >= 3 and m >= 3n/2 +7. Then there exists no C^m Levi-flat real hypersurface M in P_n. The condition that M is Levi-flat means that when M is locally defined by the vanishing of a C^m real-valued function f, at every point of M the restriction of d d-bar f to the complex tangent space of M is identically zero. The case of the nonexistence of C^\infty Levi-flat real hypersurface in P_2 is motivated by problems in dynamical systems in P_2.
We consider odd Poisson (odd symplectic) structure on supermanifolds induced by an odd symmetric rank $2$ (non-degenerate) contravariant tensor field. We describe the difference between odd Riemannian and odd symplectic structure in terms of the Cartan prolongation of the corresponding Lie algebras, and formulate an analogue of the Levi-Civita theorem for an odd symplectic supermanifold.
In this paper we introduce the notion of a smooth structure on a stratified space, the notion of a Poisson smooth structure and the notion of a weakly symplectic smooth structure on a stratified symplectic space, refining the concept of a stratified symplectic Poisson algebra introduced by Sjamaar and Lerman. We show that these smooth spaces possess several important properties, e.g. the existence of smooth partitions of unity. Furthermore, under mild conditions many properties of a symplectic manifold can be extended to a symplectic stratified space provided with a smooth Poisson structure, e…
Let $X$ be a connected complex manifold of dimension $\geq 3$ and $M$ a smooth compact Levi-flat real hypersurface in $X$. We show that the normal bundle to the Levi foliation does not admit a Hermitian metric with positive curvature along the leaves. This generalizes a result obtained by Brunella.
In this note we introduce the notion of a smooth structure on a conical pseudomanifold $M$ in terms of $C^\infty$-rings of smooth functions on $M$. For a finitely generated smooth structure $C^\infty (M)$ we introduce the notion of the Nash tangent bundle, the Zariski tangent bundle, the tangent bundle of $M$, and the notion of characteristic classes of $M$. We prove the vanishing of a Nash vector field at a singular point for a special class of Euclidean smooth structures on $M$. We introduce the notion of a conical symplectic form on $M$ and show that it is smooth with respect to a Euclidean…
Let $M^{2n+1}$, $n\ge 1$, be a smooth manifold with a pseudo-convex integrable CR structure of hypersurface type. We consider a sequence of CR invariant subsets $ M=\mathcal S_0 \supset \mathcal S_1 \supset \cdots \supset \mathcal S_{n}, $ where $\mathcal S_q$ is the set of points where the Levi-form has nullity $\ge q$. We prove that $\mathcal S_q$'s are locally given as common zero sets of the coefficients $A_j,$ $j=0,1,\ldots, q-1,$ of the characteristic polynomial of the Levi-form. Some sufficient conditions for local existence of complex submanifolds are presented in terms of the coeffici…
We show that every closed oriented smooth 4-manifold admits a complete singular Poisson structure in each homotopy class of maps to the 2-sphere. The rank of this structure is 2 outside a small singularity set, which consists of finitely many circles and isolated points. The Poisson bivector has rank 0 on the singularities, where we give its local form explicitly.
In the present paper, we associate the techniques of the Lewy-Pinchuk reflection principle with the Behnke-Sommer continuity principle. Extending a so-called reflection function to a parameterized congruence of Segre varieties, we are led to studying the envelope of holomorphy of a certain domain covered by a smooth Levi-flat ``hat''. In our main theorem, we show that every C^infty-smooth CR diffeomorphism h: M to M' between two globally minimal real analytic hypersurfaces in C^n (n >1) is real analytic at every point of M if M' is holomorphically nondegenerate. More generally, we establish th…
We deal with smooth real manifolds as well as complex analytic manifolds as well. It is well known that the concept of star product is powerful enough to produce all Poisson structures on real manifolds. According to [BdM] it is not known whether holomorphic star products exist on complex analytic manifolds. The main purpose of this paper is to show that the concept of homology of Koszul-Vinberg algebroids on smooth (resp. complex analytic) manifolds is an effective tool to produce smooth (resp complex analytic) Poisson structures on smooth (resp. complex analytic) manifolds. We also study som…
A novel gravity theory based on Poisson Generalized Geometry is investigated. A gravity theory on a Poisson manifold equipped with a Riemannian metric is constructed from a contravariant version of the Levi-Civita connection, which is based on the Lie algebroid of a Poisson manifold. Then, we show that in Poisson Generalized Geometry the $R$-fluxes are consistently coupled with such a gravity. An $R$-flux appears as a torsion of the corresponding connection in a similar way as an $H$-flux which appears as a torsion of the connection for- mulated in the standard Generalized Geometry. We give an…
Let $Ω$ be a pseudoconvex domain with $C^2$-smooth boundary in $\mathbb CP^n$. We prove that the $\bar\partial-Neumann operator $N$ exists for $(p,q)$-forms on $Ω$. Furthermore, there exists a $t_0>0$ such that the operators $N$, $\bar\partial^*N$, $\bar\partial N$ and the Bergman projection are regular in the Sobolev space $W^t (\barΩ) $ for $t<t_0$. The boundary estimates above have applications in complex geometry. We use the estimates to prove the nonexistence of $C^{2, α}$ real Levi-flat hypersurfaces in $\mathbb CP^n$. We also show that there exist no non-zero $L^2$-holomorphic $(p, 0)$-…
Using the notion of Levi form of a smooth distribution, we discuss the local and the global problem of existence of one horizontal section of a smooth vector bundle endowed with a horizontal distribution. The analysis will lead to the formulation of a "one-leaf" analogue of the classical Frobenius integrability theorem in elementary differential geometry. Several applications of the result will be discussed. First, we will give a characterization of symmetric connections arising as Levi-Civita connections of semi-Riemannian metric tensors. Second, we will prove a general version of the classic…
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…
Consider a smooth manifold with a smooth metric which changes bilinear type from Riemann to Lorentz on a hypersurface $Σ$ with radical tangent to $Σ$. Two natural bilinear symmetric forms appear there, and we use it to analyze the geometry of $Σ$. We show the way in which these forms control the smooth extensibility over $Σ$ of the covariant, sectional and Ricci curvatures of the Levi-Civita connection outside $Σ$.
We classify real Poisson structures on complex toric manifolds of type $(1,1)$ and initiate an investigation of their Poisson cohomology. For smooth toric varieties, such structures are necessarily algebraic and are homogeneous quadratic in each of the distinguished holomorphic coordinate charts determined by the open cones of the associated simplicial fan. As an approximation to the smooth cohomology problem in each ${\mathbb C}^n$ chart, we consider the Poisson differential on the complex of polynomial multi-vector fields. For the algebraic problem, we compute $H^0$ and $H^1$ under the assum…
This paper shows that the time $t$ map of the averaged Euler equations, with Dirichlet, Neumann, and mixed boundary conditions is canonical relative to a Lie-Poisson bracket constructed via a non-smooth reduction for the corresponding diffeomorphism groups. It is also shown that the geodesic spray for Neumann and mixed boundary conditions is smooth, a result already known for Dirichlet boundary conditions.
Let M be a paracompact smooth manifold of dimension n; A a Weil algebra and M^A the Weil bundle associated. We define and describe the notion of \widetilded-Poisson cohomology and of \widetilded^A -Poisson cohomology on M^A.
In this paper, M denotes a smooth manifold of dimension n, A a Weil algebra and M^{A} the associated Weil bundle. When (M,_{M}) is a Poisson manifold with 2-form _{M}, we construct the 2-Poisson form _{M^{A}}^{A}, prolongation on M^{A} of the 2-Poisson form _{M}. We give a necessary and sufficent condition for that M^{A} be an A-Poisson manifold.
We study the variety of Poisson structures and compute Poisson cohomology for two families of Fano threefolds - smooth cubic threefolds and the del Pezzo quintic threefold. Along the way we reobtain by a different method earlier results of Loray, Pereira and Touzet in the special case we are considering.
This paper provides a precise sense in which the time t map for the Euler equations of an ideal fluid in a region in R^n (or a smooth compact n-manifold with boundary) is a Poisson map relative to the Lie-Poisson bracket associated with the group of volume preserving diffeomorphism group. This is interesting and nontrivial because in Eulerian representation, the time t maps need not be C^1 from the Sobolev class H^s to itself (where s > (n/2) + 1). The idea of how this difficulty is overcome is to exploit the fact that one does have smoothness in the Lagrangian representation and then carefull…
We prove that the Riemannian geometry of almost Kähler manifolds can be expressed in terms of the Poisson algebra of smooth functions on the manifold. Subsequently, Kähler-Poisson algebras are introduced, and it is shown that a corresponding purely algebraic theory of geometry and curvature can be developed. As an illustration of the new concepts we give an algebraic proof of the statement that a bound on the (algebraic) Ricci curvature induces a bound on the eigenvalues of the (algebraic) Laplace operator, in analogy with the well-known theorem in Riemannian geometry. As the correspondence be…
This paper (the seventh paper in a series of eight) continues the development of our theory of multivector and extensor calculus on smooth manifolds. Here we deal first with the concepts of ordinary Hodge coderivatives, duality identities, and Hodge coderivative identities. Then, we recall the concept of a Levi-Civita geometric structure and the concepts of Levi-Civita and gauge derivatives. New formulas that are important in the Lagrangian theory of multivector adn extensor fields are obtained. We introduce also he concept of covariant Hodge coderivative. We detail how all these concepts are …