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.     

Holomorphic Cartan geometries and Calabi–Yau manifolds

Let M$M$ be a connected complex projective manifold such that _c1(T^(1,0)M)=0$c_1\left(T^{(1,0)}M\right)=0$. If M$M$ admits a holomorphic Cartan geometry, then we show that M$M$ is holomorphically covered by an abelian variety.     

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.     

Rigidity of noncompact complete Bach-flat manifolds

Let (M,g)$(M,g)$ be a noncompact complete Bach-flat manifold with positive Yamabe constant. We prove that (M,g)$(M,g)$ is flat if (M,g)$(M,g)$ has zero scalar curvature and sufficiently small _L2$L_2$ bound of curvature tensor. When (M,g)$(M,g)$ has nonconstant scalar curvature, we prove that (M,g)$(M,g)$ is conformal to the flat space if (M,g)$(M,g)$ has sufficiently small _L2$L_2$ bound of curvature tensor and _L4/3$L_{4/3}$ bound of scalar curvature.     

Is space-time symmetry a suitable generalization of parity-time symmetry?

We discuss space-time symmetric Hamiltonian operators of the form H=H₀+igH^′$H=H_0+ig{H}^{\prime }$, where H₀$H_0$ is Hermitian and g$g$ real. H₀$H_0$ is invariant under the unitary operations of a point group G$G$ while H^′$H^{\prime }$ is invariant under transformation by elements of a subgroup G^′$G^{\prime }$ of G$G$. If G$G$ exhibits irreducible representations of dimension greater than unity, then it is possible that H$H$ has complex eigenvalues for sufficiently small nonzero values of g$g$. In the particular case that H$H$ is parity-time symmetric then it appears to exhibit real eigenvalues for all 0<g<g_c$0<g<g_c$, where g_c$g_c$ is the exceptional point closest to the origin. Point-group symmetry and perturbation theory enable one to predict whether H$H$ may exhibit real or complex eigenvalues for g>0$g>0$. We illustrate the main theoretical results and conclusions of this paper by means of two- and three-dimensional Hamiltonians exhibiting a variety of different point-group symmetries.     

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.     

Three PT-symmetric Hamiltonians with completely different spectra

We discuss three Hamiltonians, each with a central-field part H₀$H_0$ and a PT-symmetric perturbation igz$igz$. When H₀$H_0$ is the isotropic Harmonic oscillator the spectrum is real for all g$g$ because H$H$ is isospectral to H₀+g²/2$H_0+g^2/2$. When H₀$H_0$ is the Hydrogen atom then infinitely many eigenvalues are complex for all g$g$. If the potential in H₀$H_0$ is linear in the radial variable r$r$ then the spectrum of H$H$ exhibits real eigenvalues for 0<g<g_c$0<g<g_c$ and a PT phase transition at g_c$g_c$.     

On the integrability of symplectic Monge–Ampère equations

Let u$u$ be a function of n$n$ independent variables x¹,…,xⁿ$x^1,\dots ,x^n$, and let U=(_uij)$U=\left(u_{ij}\right)$ be the Hessian matrix of u$u$. The symplectic Monge–Ampère equation is defined as a linear relation among all possible minors of U$U$. Particular examples include the equation detU=1$detU=1$ governing improper affine spheres and the so-called heavenly equation, _u13u24−_u23u14=1$u_{13}{u}_{24}-u_{23}{u}_{14}=1$, describing self-dual Ricci-flat 4$4$-manifolds. In this paper we classify integrable symplectic Monge–Ampère equations in four dimensions (for n=3$n=3$ the integrability of such equations is known to be equivalent to their linearisability). This problem can be reformulated geometrically as the classification of ‘maximally singular’ hyperplane sections of the Plücker embedding of the Lagrangian Grassmannian. We formulate a conjecture that any integrable equation of the form F(_uij)=0$F\left(u_{ij}\right)=0$ in more than three dimensions is necessarily of the symplectic Monge–Ampère type.     

Non-Abelian fusion rules from an Abelian system

We demonstrate the emergence of non-Abelian fusion rules for excitations of a two dimensional lattice model built out of Abelian degrees of freedom. It can be considered as an extension of the usual toric code model on a two dimensional lattice augmented with matter fields. It consists of the usual C(Z_p)$\mathbb{C}\left({\mathbb{Z}}_p\right)$ gauge degrees of freedom living on the links together with matter degrees of freedom living on the vertices. The matter part is described by a n$n$ dimensional vector space which we call H_n$H_n$. The Z_p${\mathbb{Z}}_p$ gauge particles act on the vertex particles and thus H_n$H_n$ can be thought of as a C(Z_p)$\mathbb{C}\left({\mathbb{Z}}_p\right)$ module. An exactly solvable model is built with operators acting in this Hilbert space. The vertex excitations for this model are studied and shown to obey non-Abelian fusion rules. We will show this for specific values of n$n$ and p$p$, though we believe this feature holds for all n>p$n>p$. We will see that non-Abelian anyons of the quantum double of C(S₃)$\mathbb{C}\left(S_3\right)$ are obtained as part of the vertex excitations of the model with n=6$n=6$ and p=3$p=3$. Ising anyons are obtained in the model with n=4$n=4$ and p=2$p=2$. The n=3$n=3$ and p=2$p=2$ case is also worked out as this is the simplest model exhibiting non-Abelian fusion rules. Another common feature shared by these models is that the ground states have a higher symmetry than Z_p${\mathbb{Z}}_p$. This makes them possible candidates for realizing quantum computation.     

A separation property for magnetic Schrödinger operators on Riemannian manifolds

We consider a Schrödinger differential expression L=_ΔA+q$L={\Delta }_A+q$ on a complete Riemannian manifold (M,g)$(M,g)$ with metric g$g$, where _ΔA${\Delta }_A$ is the magnetic Laplacian on M$M$ and q≥0$q\ge 0$ is a locally square integrable function on M$M$. In the terminology of W.N. Everitt and M. Giertz, the differential expression L$L$ is said to be separated in L²(M)$L^2\left(M\right)$ if for all u∈L²(M)$u\in L^2\left(M\right)$ such that Lu∈L²(M)$Lu\in L^2\left(M\right)$, we have qu∈L²(M)$qu\in L^2\left(M\right)$. We give sufficient conditions for L$L$ to be separated in L²(M)$L^2\left(M\right)$.     

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$.     

The first Chevalley–Eilenberg Cohomology group of the Lie algebra on the transverse bundle of a decreasing family of foliations

In [L. Lebtahi, Lie algebra on the transverse bundle of a decreasing family of foliations, J. Geom. Phys. 60 (2010), 122–133], we defined the transverse bundle V^k$V^k$ to a decreasing family of k$k$ foliations _Fi$F_i$ on a manifold M$M$. We have shown that there exists a (1,1)$(1,1)$ tensor J$J$ of V^k$V^k$ such that J^k≠0$J^k\ne 0$, J^k+1=0$J^{k+1}=0$ and we defined by _LJ(V^k)$L_J\left(V^k\right)$ the Lie Algebra of vector fields X$X$ on V^k$V^k$ such that, for each vector field Y$Y$ on V^k$V^k$, [X,JY]=J[X,Y]$[X,JY]=J[X,Y]$.     

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.     

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.