Reduction of generalized complex structures

We study reduction of generalized complex structures. More precisely, we investigate the following question. Let J$J$ be a generalized complex structure on a manifold M$M$, which admits an action of a Lie group G$G$ preserving J$J$. Assume that _M0$M_0$ is a G$G$-invariant smooth submanifold and the G$G$-action on _M0$M_0$ is proper and free so that _MG?_M0/G$M_G?M_0/G$ is a smooth manifold. Under what condition does J$J$ descend to a generalized complex structure on _MG$M_G$? We describe a sufficient condition for the reduction to hold, which includes the Marsden–Weinstein reduction of symplectic manifolds and the reduction of the complex structures in Kähler manifolds as special cases. As an application, we study reduction of generalized Kähler manifolds.     

Force free projective motions of the sphere

Suppose that the sphere Sⁿ$S^n$ has initially a homogeneous distribution of mass and let G$G$ be the Lie group of orientation preserving projective diffeomorphisms of Sⁿ$S^n$. A projective motion of the sphere, that is, a smooth curve in G$G$, is called force free if it is a critical point of the kinetic energy functional. We find explicit examples of force free projective motions of Sⁿ$S^n$ and, more generally, examples of subgroups H$H$ of G$G$ such that a force free motion initially tangent to H$H$ remains in H$H$ for all time (in contrast with the previously studied case for conformal motions, this property does not hold for H=S_On+1$H=S{O}_{n+1}$). The main tool is a Riemannian metric on G$G$, which turns out to be not complete (in particular not invariant, as happens with non-rigid motions), given by the kinetic energy.     

Uniqueness of balanced metrics on holomorphic vector bundles

Let E→M$E\to M$ be a holomorphic vector bundle over a compact Kähler manifold (M,ω)$(M,\omega )$. We prove that if E$E$ admits a ω$\omega$-balanced metric (in X. Wang’s terminology (Wang, 2005 [3])) then it is unique. This result together with Biliotti and Ghigi (2008) [14] implies the existence and uniqueness of ω$\omega$-balanced metrics of certain direct sums of irreducible homogeneous vector bundles over rational homogeneous varieties. We finally apply our result to show the rigidity of ω$\omega$-balanced Kähler maps into Grassmannians.     

On the parallel transport of the Ricci curvatures

Geometrical characterizations are given for the tensor R⋅S$R\cdot S$, where S$S$ is the Ricci tensor   of a (semi-)Riemannian manifold (M,g)$(M,g)$ and R$R$ denotes the curvature operator   acting on S$S$ as a derivation, and of the Ricci Tachibana tensor  _∧g⋅S${\wedge }_g\cdot S$, where the natural metrical operator  _∧g${\wedge }_g$ also acts as a derivation on S$S$. As a combination, the Ricci curvatures   associated with directions on M$M$, of which the isotropy determines that M$M$ is Einstein, are extended to the Ricci curvatures of Deszcz   associated with directions and planes on M$M$, and of which the isotropy determines that M$M$ is Ricci pseudo-symmetric in the sense of Deszcz.     

An introduction to the theory of generalized conics and their applications

A generalized conic is a set of points with the same average distance from the pointset Γ$\Gamma$ in the Euclidean coordinate space. The measuring of the average distance is realized via integration over Γ$\Gamma$ as the set of foci. Using generalized conics we give a process for constructing convex bodies which are invariant under a fixed subgroup G$G$ of the orthogonal group in Rⁿ${\mathbb{R}}^n$. The motivation is to present the existence of non-Euclidean Minkowski functionals with G⊂O(n)$G\subset O\left(n\right)$ in the linear isometry group provided that the closure of G$G$ is not transitive on the unit sphere. As an application, consider Rⁿ${\mathbb{R}}^n$ as the tangent space at a point of a connected Riemannian manifold M$M$ and G$G$ as the holonomy group. If the holonomy group is not transitive on the unit sphere in the tangent space, then the Lévi-Civita connection is (re)metrizable in the sense that there is a smooth collection of non-Euclidean Minkowski functionals on the tangent spaces such that it is invariant under parallel transport with respect to the Lévi-Civita connection (according to Berger’s list of possible Riemannian holonomy groups, all of them are transitive on the unit sphere in the tangent space except in the case where the manifold is a symmetric space of rank≥2). We present the (re)metrizability theorem in a more general context of metrical linear connections with a torsion tensor that is not necessarily vanishing. This allows us to declare eight classes of manifolds equipped with an invariant smooth collection of Minkowski functionals on the tangent spaces. They are called Berwald manifolds in a general sense.     

Singular unitarity in “quantization commutes with reduction”

Let M$M$ be a connected compact quantizable Kähler manifold equipped with a Hamiltonian action of a connected compact Lie group G$G$. Let M//G=?⁻¹(0)/G=_M0$M//G={?}^{-1}\left(0\right)/G=M_0$ be the symplectic quotient at value 0 of the moment map ?$?$. The space _M0$M_0$ may in general not be smooth. It is known that, as vector spaces, there is a natural isomorphism between the quantum Hilbert space over _M0$M_0$ and the G$G$-invariant subspace of the quantum Hilbert space over M$M$. In this paper, without any regularity assumption on the quotient _M0$M_0$, we discuss the relation between the inner products of these two quantum Hilbert spaces under the above natural isomorphism; we establish asymptotic unitarity to leading order in Planck’s constant of a modified map of the above isomorphism under a “metaplectic correction” of the two quantum Hilbert spaces.     

Pre-quantization of the moduli space of flat G-bundles over a surface

For a simply connected, compact, simple Lie group G$G$, the moduli space of flat G$G$-bundles over a closed surface Σ$\Sigma$ is known to be pre-quantizable at integer levels. For non-simply connected G$G$, however, integrality of the level is not sufficient for pre-quantization, and this paper determines the obstruction–namely a certain cohomology class in H³(G²;Z)$H^3(G^2;\mathbb{Z})$–that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G$G$.     

Six-dimensional nearly Kähler manifolds of cohomogeneity one

We consider six-dimensional strict nearly Kähler manifolds acted on by a compact, cohomogeneity one automorphism group G$G$. We classify the compact manifolds of this class up to G$G$-diffeomorphisms. We also prove that the manifold has constant sectional curvature whenever the group G$G$ is simple.     

Minimal hypersurfaces in a nearly Kaehler 6-sphere

In this paper we show that for a compact minimal hypersurface M$M$ of constant scalar curvature in the unit sphere S⁶$S^6$ with the shape operator A$A$ satisfying ‖A‖²>5${\Vert A\Vert }^2>5$, there exists an eigenvalue λ>10$\lambda >10$ of the Laplace operator of the hypersurface M$M$ such that ‖A‖²=λ−5${\Vert A\Vert }^2=\lambda -5$. This gives the next discrete value of ‖A‖²${\Vert A\Vert }^2$ greater than 0 and 5.     

Weak mirror symmetry of complex symplectic Lie algebras

A complex symplectic structure on a Lie algebra h$\mathfrak{h}$ is an integrable complex structure J$J$ with a closed non-degenerate (2,0)$(2,0)$-form. It is determined by J$J$ and the real part Ω$\Omega$ of the (2,0)$(2,0)$-form. Suppose that h$\mathfrak{h}$ is a semi-direct product g?V$\mathfrak{g}?V$, and both g$\mathfrak{g}$ and V$V$ are Lagrangian with respect to Ω$\Omega$ and totally real with respect to J$J$. This note shows that g?V$\mathfrak{g}?V$ is its own weak mirror image in the sense that the associated differential Gerstenhaber algebras controlling the extended deformations of Ω$\Omega$ and J$J$ are isomorphic.     

On leafwise conformal diffeomorphisms

For every diffeomorphism φ:M→N$\phi :M\to N$ between 3-dimensional Riemannian manifolds M$M$ and N$N$, there are locally two 2-dimensional distributions _D±$D_{\pm }$ such that φ$\phi$ is conformal on both of them. We state necessary and sufficient conditions for a distribution to be one of _D±$D_{\pm }$. These are algebraic conditions expressed in terms of the self-adjoint and positive definite operator induced from _φ∗${\phi }_{\ast }$. We investigate the integrability condition of _D+$D_{+}$ and _D−$D_{-}$. We also show that it is possible to choose coordinate systems in which leafwise conformal diffeomorphism is holomorphic on leaves.     

Some remarks on special Kähler geometry

Given a special Kähler manifold M$M$, we give a new, direct proof of the relationship between the quaternionic structure on T^∗M$T^{\ast }M$ and the variation of Hodge structures on T^CM$T^{\mathbb{C}}M$.