The first part of this paper is a generalization of the Feix-Kaledin theorem on the existence of a hyperkahler metric on a neighbourhood of the zero section of the cotangent bundle of a Kahler manifold. We show that the problem of constructing a hyperkahler structure on a neighbourhood of a complex Lagrangian submanifold in a holomorphic symplectic manifold reduces to the existence of certain deformations of holomorphic symplectic structures. The Feix-Kaledin structure is recovered from the twisted cotangent bundle. We then show that every holomorphic symplectic groupoid over a compact holomorphic Poisson surface of Kahler type has a hyperkahler structure on a neighbourhood of its identity section. More generally, we reduce the existence of a hyperkahler structure on a symplectic realization of a holomorphic Poisson manifold of any dimension to the existence of certain deformations of holomorphic Poisson structures adapted from Hitchin's unobstructedness theorem.
We develop the foundation of the complex symplectic geometry of Lagrangian subvarieties in a hyperkahler manifold. We establish a characterization, a Chern number inequality, topological and geometrical properties of Lagrangian submanifolds. We discuss a category of Lagrangian subvarieties and its relationship with the theory of Lagrangian intersection. We also introduce and study extensively a normalized Legendre transformation of Lagrangian subvarieties under a birational transformation of projective hyperkahler manifolds. We give a Plucker type formula for Lagrangian intersections under thi…
Inspired by the work of Leung-Wan, we study the mean curvature flow in hyperkähler manifolds starting from hyper-Lagrangian submanifolds, a class of middle dimensional submanifolds, which contains the class of complex Lagrangian submanifolds. For each hyper-Lagrangian submanifold, we define a new energy concept called the "twistor energy" by means of the associated twistor family (i.e. 2-sphere of complex structures). We will show that the mean curvature flow starting at any hyper-Lagrangian submanifold with sufficiently small twistor energy will exist for all time and converge to a complex La…
In this paper, we firstly prove that every hyper-Lagrangian submanifold $L^{2n} (n > 1)$ in a hyperkähler $4n$-manifold is a complex Lagrangian submanifold. Secondly, we demonstrate an optimal rigidity theorem with the condition on the complex phase map of self-shrinking surfaces in $\mathbb{R}^4$. Last but not least, by using the previous rigidity result, we show that the mean curvature flow from a closed surface with the image of the complex phase map contained in $\mathbb{S}^2\setminus\overline{\mathbb{S}}^{1}_{+}$ in a hyperkähler $4$-manifold does not develop any Type \Rmn{1} singularity.
We prove some basic properties of Donaldson's flow of surfaces in a hyperkahler 4-manifold. When the initial submanifold is symplectic with respect to one Kähler form and Lagrangian with respect to another, we show that certain kinds of singularities cannot form, and we prove a convergence result under a condition related to one considered by M.-T. Wang for the mean curvature flow.
We use symplectic reduction to give a new construction of the core $C$ of a symplectic double groupoid $D$ as the common leaf space of characteristic foliations associated to various coisotropic submanifolds of $D$. In the case of the cotangent double groupoid of a Lie groupoid $G$, the canonical relations arising from this process turn out to be cotangent lifts of structure maps associated to $G$. We also show that under this reduction procedure the double groupoid structure on $D$ descends to a groupoid structure on the leaf space above, recovering the core groupoid structure on $C$ of Brown…
In this survey, we discuss a series of linearization problems--for Poisson structures, Lie algebroids, and Lie groupoids. The last problem involves a conjecture on the structure of proper groupoids. Attempting to prove this by the method of averaging leads to problems concerning almost actions of compact groups and almost invariant submanifolds for compact group actions. The paper ends with a discussion of possible extensions of the convexity theorems for momentum maps of hamiltonian actions of compact groups.
We describe a local model for any Singular Riemannian Foliation in a neighbourhood of a closed saturated submanifold of a regular stratum. Moreover we construct a Lie groupoid which controls the transverse geometry of the linear approximation of the Singular Riemannian Foliation around these submanifolds. We also discuss the closure of this Lie groupoid and its Lie algebroid.
In this paper we study the geometry of manifolds with vector cross product and its complexification. First we develop the theory of instantons and branes and study their deformations. For example they are (i) holomorphic curves and Lagrangian submanifolds in symplectic manifolds and (ii) associative submanifolds and coassociative submanifolds in G_2-manifolds. Second we classify Kahler manifolds with the complex analog of vector cross product, namely they are Calabi-Yau manifolds and hyperkahler manifolds. Furthermore we study instantons, Neumann branes and Dirichlet branes on these manifolds.…
We introduce and study a "desingularization" of a Lie groupoid $G$ along an "$A(G)$-tame" submanifold $L$ of the space of units $M$. An $A(G)$-tame submanifold $L \subset M$ is one that has, by definition, a tubular neighborhood on which $A(G)$ becomes a thick pull-back Lie algebroid. The construction of the desingularization $[[G:L]]$ of $G$ along $L$ is based on a canonical fibered pull-back groupoid structure result for $G$ in a neighborhood of the tame $A(G)$-submanifold $L \subset M$. This local structure result is obtained by integrating a certain groupoid morphism, using results of Moer…
We study the unitary orbit of a normal operator $a\in \mathcal B(\mathcal H)$, regarded as a homogeneous space for the action of unitary groups associated with symmetrically normed ideals of compact operators. We show with an unified treatment that the orbit is a submanifold of the differing ambient spaces if and only if the spectrum of $a$ is finite, and in that case it is a closed submanifold. For arithmetically mean closed ideals, we show that nevertheless the orbit always has a natural manifold structure, modeled by the kernel of a suitable conditional expectation. When the spectrum of $a$…
Cieliebak, Mundet i Riera and Salamon recently formulated a definition of branched submanifold of Euclidean space in connection with their discussion of multivalued sections and the Euler class. This note proposes an intrinsic definition of a weighted branched manifold Z that is obtained from the usual definition of oriented orbifold groupoid by relaxing the properness condition and adding a weighting. We show that if Z is compact, finite dimensional and oriented, then it carries a fundamental class [Z]. Adapting the construction of Liu and Tian, we also show that the fundamental class [X] of …
The generalized Feix--Kaledin construction shows that c-projective $2n$-manifolds with curvature of type $(1,1)$ are precisely the submanifolds of quaternionic $4n$-manifolds which are fixed points set of a special type of quaternionic $S^1$ action $v$. In this paper, we consider this construction in the presence of infinitesimal symmetries of the two geometries. First, we prove that the submaximally symmetric c-projective model with type $(1,1)$ curvature is a submanifold of a submaximally symmetric quaternionic model, and show how this fits into the construction. We give conditions for when …
We study some properties of coisotropic submanifolds of a manifold with respect to a given multivector field. Using this notion, we generalize the results of Weinstein \cite{wein} from Poisson bivector field to Nambu-Poisson tensor or more generally to any multivector field. We also introduce the notion of Nambu-Lie groupoid generalizing the concepts of both Poisson-Lie groupoid and Nambu-Lie group. We show that the infinitesimal version of Nambu-Lie groupoid is the notion of weak Lie-Filippov bialgebroid as introduced in \cite{bas-bas-das-muk}. Next we introduce coisotropic subgroupoids of a …
Following an earlier paper on the differential-geometric structure of the moduli space of special Lagrangian submanifolds in a Calabi-Yau manifold, we follow an analogous approach for compact complex Lagrangian submanifolds of a (Kählerian) complex symplectic manifold. The natural geometric structure on the moduli space is a special Kähler metric, but we offer a different point of view on the local differential geometry of these, based on the structure of a submanifold of $V\times V$ (where $V$ is a symplectic vector space) which is Lagrangian with respect to two constant symplectic forms. As …
We investigate a quantization problem which asks for the construction of an algebra for relative elliptic problems of pseudodifferential type associated to smooth embeddings. Specifically, we study the problem for embeddings in the category of compact manifolds with corners. The construction of a calculus for elliptic problems is achieved using the theory of Fourier integral operators on Lie groupoids. We show that our calculus is closed under composition and furnishes a so-called noncommutative completion of the given embedding. A representation of the algebra is defined and the continuity of…
An explicit surjection from a set of (locally defined) unconstrained holomorphic functions on a certain submanifold of (Sp_1(C) \times C^{4n}) onto the set HK_{p,q} of local isometry classes of real analytic pseudo-hyperkähler metrics of signature (4p,4q) in dimension 4n is constructed. The holomorphic functions, called prepotentials, are analogues of Kähler potentials for Kähler metrics and provide a complete parameterisation of HK_{p,q}. In particular, there exists a bijection between HK_{p,q} and the set of equivalence classes of prepotentials. This affords the explicit construction of pseu…
We prove that the only exact Lagrangian submanifolds in an ALE space are spheres. ALE spaces are the simply connected hyperkahler manifolds which at infinity look like C^2/G for any finite subgroup G of SL(2,C). They can be realized as the plumbing of copies of the cotangent bundle of a 2-sphere according to ADE Dynkin diagrams. The proof relies on symplectic cohomology.
We develop a unifed theory to study geometry of manifolds with different holonomy groups. They are classified by (1) real, complex, quaternion or octonion number they are defined over and (2) being special or not. Specialty is an orientation with respect to the corresponding normed algebra A. For example, special Riemannian A-manifolds are oriented Riemannian, Calabi-Yau, Hyperkahler and G_2-manifolds respectively. For vector bundles over such manifolds, we introduce (special) A-connections. They include holomorphic, Hermitian Yang-Mills, Anti-Self-Dual and Donaldson-Thomas connections. Simila…
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to deduce geometric integrators for continuous nonholonomic systems (reduced or not). The formalism is given in terms of Lie groupoids, specifying a discrete Lagrangian and a constraint submanifold on it. Additionally, it is necessary to fix a vector subbundle of the Lie algebroid associated to the Lie groupoid. We also discuss the existence of nonholonomic evolution operators in terms of the discrete nonholonomic Legendr…
We consider the local deformation problem of coisotropic submanifolds inside Poisson manifolds. To this end the groupoid of coisotropic sections (with respect to some tubular neighbourhood) is introduced. Although the geometric content of this groupoid is evident, it is usually a very intricate object. We provide a description of the groupoid of coisotropic sections in terms of a differential graded Poisson algebra, called the BFV-complex. This description is achived by constructing a groupoid from the BFV-complex and a surjective morphism from this groupoid to the groupoid of coisotropic sect…
As announced in [12], we develop a calculus of Fourier integral G-operators on any Lie groupoid G. For that purpose, we study convolability and invertibility of Lagrangian conic submanifolds of the symplectic groupoid T * G. We also identify those Lagrangian which correspond to equivariant families parametrized by the unit space G (0) of homogeneous canonical relations in (T * Gx \ 0) x (T * G x \ 0). This allows us to select a subclass of Lagrangian distributions on any Lie groupoid G that deserve the name of Fourier integral G-operators (G-FIO). By construction, the class of G-FIO contains t…
The general framework of Legendre transformation is extended to the case of symplectic groupoids, using an appropriate generalization of the notion of generating function (of a Lagrangian submanifold).
Using quaternionic Feix--Kaledin construction we provide a local classification of quaternion-Kähler metrics with a rotating $S^1$-symmetry with the fixed point set submanifold $S$ of maximal possible dimension. For any Kähler manifold $S$ equipped with a line bundle with a unitary connection of curvature proportional to the Kähler form we explicitly construct a holomorphic contact distribution on the twistor space obtained by the quaternionic Feix-Kaledin construction from this data. Conversely, we show that quaternion-Kähler metrics with a rotating $S^1$-symmetry induce on the fixed point se…
We consider the problem of integration of L_\infty-algebroids (differential graded manifolds) to L_\infty-groupoids. We first construct a "big" Kan simplicial manifold (Fréchet or Banach) whose points are solutions of a (generalized) Maurer-Cartan equation. The main analytic trick in our work is an integral transformation sending the solutions of the Maurer-Cartan equation to closed differential forms. Following ideas of Ezra Getzler we then impose a gauge condition which cuts out a finite-dimensional simplicial submanifold. This "smaller" simplicial manifold is (the nerve of) a local Lie k-gr…
In this article we discuss the geometry of moduli spaces of (1) flat bundles over special Lagrangian submanifolds and (2) deformed Hermitian-Yang-Mills bundles over complex submanifolds in Calabi-Yau manifolds. These moduli spaces reflect the geometry of the Calabi-Yau itself like a mirror. Strominger, Yau and Zaslow conjecture that the mirror Calabi-Yau manifold is such a moduli space and they argue that the mirror symmetry duality is a Fourier-Mukai transformation. We review various aspects of the mirror symmetry conjecture and discuss a geometric approach in proving it. The existence of rig…
Let $M$ be the moduli space of complex Lagrangian submanifolds of a hyperKähler manifold $X$, and let $\varpi : \widehat{\mathcal{A}} \rightarrow M$ be the relative Albanese over $M$. We prove that $\widehat{\mathcal{A}}$ has a natural holomorphic symplectic structure. The projection $\varpi$ defines a completely integrable structure on the symplectic manifold $\widehat{\mathcal{A}}$. In particular, the fibers of $\varpi$ are complex Lagrangians with respect to the symplectic form on $\widehat{\mathcal{A}}$. We also prove analogous results for the relative Picard over $M$.
This thesis studies normal forms for Poisson structures around symplectic leaves using several techniques: geometric, formal and analytic ones. One of the main results (Theorem 2) is a normal form theorem in Poisson geometry, which is the Poisson-geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result generalizes Conn's theorem from fixed points to arbitrary symplectic leaves. We present two proofs of this result: a geometric one relying heavily on the theory of Lie algebroids and Lie groupoids (similar to the new p…
