On the geometry of prequantization spaces

Given a Poisson (or more generally Dirac) manifold P$P$, there are two approaches to its geometric quantization: one involves a circle bundle Q$Q$ over P$P$ endowed with a Jacobi (or Jacobi–Dirac) structure; the other one involves a circle bundle with a (pre)contact groupoid structure over the (pre)symplectic groupoid of P$P$. We study the relation between these two prequantization spaces. We show that the circle bundle over the (pre)symplectic groupoid of P$P$ is obtained from the Lie groupoid of Q$Q$ via an S¹$S^1$ reduction that preserves both the Lie groupoid and the geometric structures.     

Resolutions of non-regular Ricci-flat Kähler cones

We present explicit constructions of complete Ricci-flat Kähler metrics that are asymptotic to cones over non-regular Sasaki–Einstein manifolds. The metrics are constructed from a complete Kähler–Einstein manifold (V,_gV)$(V,g_V)$ of positive Ricci curvature and admit a Hamiltonian two-form of order two. We obtain Ricci-flat Kähler metrics on the total spaces of (i) holomorphic C²/_Zp${\mathbb{C}}^2/{\mathbb{Z}}_p$ orbifold fibrations over V$V$, (ii) holomorphic orbifold fibrations over weighted projective spaces WCP¹${\mathbb{W}\mathbb{C}\mathbb{P}}^1$, with generic fibres being the canonical complex cone over V$V$, and (iii) the canonical orbifold line bundle over a family of Fano orbifolds. As special cases, we also obtain smooth complete Ricci-flat Kähler metrics on the total spaces of (a) rank two holomorphic vector bundles over V$V$, and (b) the canonical line bundle over a family of geometrically ruled Fano manifolds with base V$V$. When V=CP¹$V={\mathbb{C}\mathbb{P}}^1$ our results give Ricci-flat Kähler orbifold metrics on various toric partial resolutions of the cone over the Sasaki–Einstein manifolds Y^p,q$Y^{p,q}$.     

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.     

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.     

Induction for weak symplectic Banach manifolds

The symplectic induction procedure is extended to the case of weak symplectic Banach manifolds. Using this procedure, one constructs hierarchies of integrable Hamiltonian systems related to the Banach Lie–Poisson spaces of k$k$-diagonal trace class operators.     

HyperKähler and quaternionic Kähler manifolds with S -symmetries

We study relations between quaternionic Riemannian manifolds admitting different types of symmetries. We show that any hyperKähler manifold admitting hyperKähler potential and triholomorphic action of S¹$S^1$ can be constructed from another hyperKähler manifold (of lower dimension) with an action of S¹$S^1$ that fixes one complex structure and rotates the other two and vice versa. We also study the corresponding quaternionic Kähler manifolds equipped with a quaternionic Kähler action of the circle. In particular we show that any positive quaternionic Kähler manifolds with S¹$S^1$-symmetry admits a Kähler metric on an open everywhere dense subset.     

Bertrand curves in the three-dimensional sphere

A curve α$\alpha$ immersed in the three-dimensional sphere S³${\mathbb{S}}^3$ is said to be a Bertrand curve if there exists another curve β$\beta$ and a one-to-one correspondence between α$\alpha$ and β$\beta$ such that both curves have common principal normal geodesics at corresponding points. The curves α$\alpha$ and β$\beta$ are said to be a pair of Bertrand curves in S³${\mathbb{S}}^3$. One of our main results is a sort of theorem for Bertrand curves in S³${\mathbb{S}}^3$ which formally agrees with the classical one: “Bertrand curves in S³${\mathbb{S}}^3$ correspond to curves for which there exist two constants λ≠0$\lambda \ne 0$ and μ$\mu$ such that λκ+μτ=1$\lambda \kappa +\mu \tau =1$”, where κ$\kappa$ and τ$\tau$ stand for the curvature and torsion of the curve; in particular, general helices in the 3-sphere introduced by M. Barros are Bertrand curves. As an easy application of the main theorem, we characterize helices in S³${\mathbb{S}}^3$ as the only twisted curves in S³${\mathbb{S}}^3$ having infinite Bertrand conjugate curves. We also find several relationships between Bertrand curves in S³${\mathbb{S}}^3$ and (1,3)-Bertrand curves in R⁴${\mathbb{R}}^4$.     

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.     

Remarks on Higgs mechanism for gravitons

We construct two kinds of model exhibiting Higgs mechanism for gravitons in potentials of scalar fields. One class of the model is based on a potential which is a generic function of the induced internal metric HAB$H^{AB}$, and the other involves a potential which is a generic function of the usual metric tensor g_μν$g_{\mu \nu }$ and the induced curved metric Y_μν$Y_{\mu \nu }$. In the both models, we derive conditions on the scalar potential in such a way that gravitons acquire mass in a flat Minkowski space–time without non-unitary propagating modes in the process of spontaneous symmetry breaking of diffeomorphisms through the condensation of scalar fields. We solve the conditions and find a general solution for the potential. As an interesting specific solution, we present a simple potential for which the Higgs mechanism for gravitons holds in any value of cosmological constant.     

On m-accretive Schrödinger-type operators with singular potentials on Riemannian manifolds

We consider a Schrödinger-type differential expression _HV=∇^∗∇+V$H_V={\nabla }^{\ast }\nabla +V$, where ∇$\nabla$ is a Hermitian connection on a Hermitian vector bundle E$E$ over a complete Riemannian manifold (M,g)$(M,g)$ with metric g$g$ and positive smooth measure dμ$d\mu$, and V$V$ is a locally integrable section of the bundle of endomorphisms of E$E$. We give a sufficient condition for m$m$-accretivity of a realization of _HV$H_V$ in L²(E)$L^2\left(E\right)$.     

Killing initial data on totally umbilical & compact hypersurfaces

In this note, we give a geometric characterization of the compact and totally umbilical hypersurfaces that carry non-trivial locally static Killing Initial Data (KID). More precisely, such compact hypersurfaces (Mⁿ,g,cg)$(M^n,g,cg)$ endowed with a Riemannian metric g$g$ and a second fundamental form cg$cg$ (where c∈C^∞(M)$c\in C^{\infty }\left(M\right)$ a priori) have constant mean curvature and are isometric to one of the following manifolds:

(i)

Sⁿ${\mathbb{S}}^n$ the standard sphere,     

Dworkin’s argument revisited: Point processes,dynamics, diffraction,and correlations

The setting is an ergodic dynamical system (X,μ)$(X,\mu )$ whose points are themselves uniformly discrete point sets Λ$\Lambda$ in some space R^d${\mathbb{R}}^d$ and whose group action is that of translation of these point sets by the vectors of R^d${\mathbb{R}}^d$. Steven Dworkin’s argument relates the diffraction of the typical point sets comprising X$X$ to the dynamical spectrum of X$X$. In this paper we look more deeply at this relationship, particularly in the context of point processes.