KT-geometry is the geometry of a Hermitian connection whose torsion is a 3-form. HKT-geometry is the geometry of a hyper-Hermitian connection whose torsion is a 3-form. We identify non-trivial conditions for a reduction theory for these types of geometry.
Università degli studi di Torino(都灵大学);Florida International University(佛罗里达国际大学);Instituto Nacional de Matemática Pura e Aplicada (IMPA)(巴西纯粹与应用数学国家研究所)
We present the construction of a large class of homogeneous KT, HKT and QKT manifolds, $G/K$, using an invariant metric on $G$ and the canonical connection. For this a decomposition of the Lie algebra of $G$ is employed, which is most easily described in terms of colourings of Dynkin diagrams of simple Lie algebras. KT structures on homogeneous spaces are associated with different colourings of Dynkin diagrams. The colourings which give rise to HKT structures are found using extended Dynkin diagrams. We also construct homogeneous QKT manifolds from homogeneous HKT manifolds and show that their…
We characterize HKT structure in terms of nondegenrate complex Poisson bivector on hypercomplex manifold. We extend the characterization to the twistor space. After considering the flat case in detail, we show that the twistor space of hyperkaehler manifold admits a holomorphic Poisson structure. We briefly mention the relation to quaternionic and hypercomplex deformations on tori and K3 surfaces
We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex structures are of a special kind, called abelian. We prove that on any 2-step nilpotent Lie group all invariant HKT structures arise from abelian hypercomplex structures. Furthermore, we use a correspondence between abelian hypercomplex structures and subspaces of ${\frak sp}(n)$ to produce continuous families of compact and noncompact of manifolds carrying no…
We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invariant of a locally conformal Kaehler manifold (K,Γ) as the rank of a natural quotient of Γ, and prove its invariance under reduction. This equivariant point of view leads to a proof that locally conformal Kaehler reduction of compact Vaisman manifolds produces Vaisman manifolds and…
A manifold (M,I,J,K) is called hypercomplex if I,J,K are complex structures satisfying quaternionic relations. A quaternionic Hermitian metric is called HKT (hyperkaehler with torsion) if $Idω_I = Jd ω_J=Kdω_K$, where $ω_I,ω_J, ω_K$ are Hermitian forms associated with I, J, K. A Hermitian metric $ω$ on a complex manifold is called balanced if $d^*ω=0$. We show that balanced HKT metrics are precisely the quaternionic Calabi-Yau metrics defined in terms of the quaternionic Monge-Ampere equation. In particular, a balanced HKT-metric is unique in its cohomology class, and it always exists if the q…
We show the $C^0$ estimate for solutions to Hessian quotient equations on hyperKähler with torsion manifolds without any additional assumption on its hypercomplex structure by a clever use of the cone condition directly.
We present a new simple proof of the fact that certain group manifolds as well as certain homogeneous spaces G/H of dimension 4n admit a quaternionic triple of integrable complex structures that are covariantly constant with respect to the same torsionful Bismut connection, i.e. exhibit the HKT geometry. The key observation is that different complex structures are interrelated by automorphisms of the Lie algebra. To construct the quaternion triples, one only needs to construct the proper automorphisms, which is a more simple problem.
The target space of a (4,0) supersymmetric two-dimensional sigma model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy contained in Sp(n)Sp(1) (resp. Sp(n)), QKT (resp. HKT)-spaces. We study the geometry of QKT, HKT manifold and their twistor spaces. We show that the Swann bundle of a QKT manifold admits a HKT structure with special symmetry if and only if the twistor space of the QKT manifold admits an almost hermitian structure with totally skew-symmetric Nijenhuis tensor, thus connecting two structures arising from quantum field theories and supersymm…
A hypercomplex manifold is a manifold equipped with a triple of complex structures $I, J, K$ satisfying the quaternionic relations. We define a quaternionic analogue of plurisubharmonic functions on hypercomplex manifolds, and interpret these functions geometrically as potentials of HKT (hyperkähler with torsion) metrics, and prove a quaternionic analogue of A.D. Aleksandrov and Chern-Levine-Nirenberg theorems.
A hypercomplex manifold $M$ is a manifold equipped with three complex structures satisfying quaternionic relations. Such a manifold admits a canonical torsion-free connection preserving the quaternion action, called Obata connection. A quaternionic Hermitian metric is a Riemannian metric on which is invariant with respect to unitary quaternions. Such a metric is called HKT if it is locally obtained as a Hessian of a function averaged with quaternions. HKT metric is a natural analogue of a Kahler metric on a complex manifold. We push this analogy further, proving a quaternionic analogue of Buch…
We use the procedure of reduction of Courant algebroids to reduce strong KT, hyper KT and generalized Kaehler structures on Courant algebroids. This allows us to recover results from the literature as well as explain from a different angle some of the features observed there in. As an example, we prove that the moduli space of instantons of a bundle over a SKT/HKT/generalized Kähler manifold is endowed with the same type of structure as the original manifold.
In this paper we provide examples of hypercomplex manifolds which do not carry HKT structure. We also prove that the existence of HKT structure is not stable under small deformations. Similarly we provide examples of compact complex manifolds with vanishing first Chern class which do not admit a Hermitian structure with restricted holonomy of its Bismut connection in SU(n). Again we prove that such property is not stable under small deformations.
We introduce integrable complex structures on twistor spaces fibered over complex manifolds. We then show, in particular, that the twistor spaces associated with generalized Kahler, SKT and strong HKT manifolds all naturally admit complex structures. Moreover, in the strong HKT case we construct a metric and three compatible complex structures on the twistor space that have equal torsions.
It is shown that an HKT-space with closed parallel potential 1-form has $D(2,1;-1)$-symmetry. Every locally conformally hyperkähler manifold generates this type of geometry. The HKT-spaces with closed parallel potential 1-form arising in this way are characterized by their symmetries and an inhomogeneous cubic condition on their torsion.
A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety which is calibrated by a form associated with the holomorphic volume form; this notion is a generalization of the usual holomorphic Lagrangian subvarieties known in hyperkaehler geometry. An HKT (hyperkaehler with torsion) metric on a hypercomplex manifold is a metric determined by a local potential, in a similar way to the Kaehler metric. We prove that a ba…
We construct examples of compact hyperkaehler manifolds with torsion (HKT manifolds) which are not homogeneous and not locally conformal hyperkaehler. Consider a total space T of a tangent bundle over a hyperkaehler manifold M. The manifold T is hypercomplex, but it is never hyperkaehler, unless M is flat. We show that T admits an HKT-structure. We also prove that a quotient of T by a $\Z$-action $v \arrow q^n v$ is HKT, for any real number $q\in \R$, $q>1$. This quotient is compact, if M is compact. A more general version of this construction holds for all hyperholomorphic bundles with holono…
Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploi…
A nilmanifold is a quotient of a nilpotent group $G$ by a co-compact discrete subgroup. A complex nilmanifold is one which is equipped with a $G$-invariant complex structure. We prove that a complex nilmanifold has trivial canonical bundle. This is used to study hypercomplex nilmanifolds (nilmanifolds with a triple of $G$-invariant complex structures which satisfy quaternionic relations). We prove that a hypercomplex nilmanifold admits an HKT (hyperkahler with torsion) metric if and only if the underlying hypercomplex structure is abelian. Moreover, any $G$-invariant HKT-metric on a nilmanifol…
We study the quaternionic Calabi-Yau problem in HKT geometry introduced by Alesker and Verbitsky on 8-dimensional 2-step nilmanifolds with an abelian hypercomplex structure. We show that the quaternionic Monge-Ampère equation on these manifolds can always be solved for every data which is invariant by the action of a 3-dimensional torus.
For an almost contact metric manifold $N$, we find conditions for which either the total space of an $S^1$-bundle over $N$ or the Riemannian cone over $N$ admits a strong Kähler with torsion (SKT) structure. In this way we construct new 6-dimensional SKT manifolds. Moreover, we study the geometric structure induced on a hypersurface of an SKT manifold, and use such structures to construct new SKT manifolds via appropriate evolution equations. Hyper-Kähler with torsion (HKT) structures on the total space of an $S^1$-bundle over manifolds with three almost contact structures are also studied.
We study reduction of generalized complex structures. More precisely, we investigate the following question. Let $J$ be a generalized complex structure on a manifold $M$, which admits an action of a Lie group $G$ preserving $J$. Assume that $M_0$ is a $G$-invariant smooth submanifold and the $G$-action on $M_0$ is proper and free so that $M_G:=M_0/G$ is a smooth manifold. Under what condition does $J$ descend to a generalized complex structure on $M_G$? We describe a sufficient condition for the reduction to hold, which includes the Marsden-Weinstein reduction of symplectic manifolds and the r…
In the first part, we define and investigate new classes of almost 3-contact metric manifolds, with two guiding ideas in mind: first, what geometric objects are best suited for capturing the key properties of almost 3-contact metric manifolds, and second, the newly defined classes should admit 'good' metric connections with skew torsion. In particular, we introduce the Reeb commutator function and the Reeb Killing function, we define the new classes of canonical almost 3-contact metric manifolds and of 3-$(α,δ)$-Sasaki manifolds (including as special cases 3-Sasaki manifolds, quaternionic Heis…
The reduction of nonholonomic systems is formulated in terms of Dirac reduction. An optimal reduction method for a class of nonholonomic systems is formulated. Several examples are studied in detail.
University of Sofia, Faculty of Mathematics and Informatics(索非亚大学数学与信息学院);Institute of Mathematics and Informatics, Bulgarian Academy of Sciences(保加利亚科学院数学与信息研究所)
We show that locally every beta-integrable (2,n)-Segre structure can be reduced to a torsion-free S^1*GL(n,R)-structure. This is done by observing that such reductions correspond to sections with holomorphic image of a certain `twistor bundle'. For the homogeneous (2,n)-Segre structure on the oriented 2-plane Grassmannian, the reductions are shown to be in one-to-one correspondence with the smooth quadrics in CP^{n+1} without real points.
In this paper we study the reductions of evolutionary PDEs on the manifold of the stationary points of time--dependent symmetries. In particular we describe how that the finite dimensional Hamiltonian structure of the reduced system is obtained from the Hamiltonian structure of the initial PDE and we construct the time--dependent Hamiltonian function. We also present a very general Lagrangian formulation of the procedure of reduction. As an application we consider the case of the Painlevé equations PI, PII, PIII, PVI and also certain higher order systems appeared in the theory of Frobenius man…
The goal of this article is the study of homogeneous Riemannian structure tensors within the framework of reduction under a group $H$ of isometries. In a first result, $H$ is a normal subgroup of the group of symmetries associated to the reducing tensor $\bar{S}$. The situation when $H$ is any group acting freely is analyzed in a second result. The invariant classes of homogeneous tensors are also investigated when reduction is performed. It turns out that the geometry of the fibres is involved in the preservation of some of them. Some classical examples illustrate the theory. Finally, the red…
We discuss the use of Dirac structures to obtain a better understanding of the geometry of a class of optimal control problems and their reduction by symmetries. In particular we will show how to extend the reduction of Dirac structures recently proposed by Yoshimura and Marsden [Yo09] to describe the reduction of a class of optimal control problems with a Lie group of symmetry. We will prove that, as in the case of reduction of implicit Hamiltonian or Lagrangian systems, the reduction of the variational principle and the reduction of the Dirac structure describing the Pontryagin Maximum Princ…
This article addresses the problem of developing an extension of the Marsden- Weinstein reduction process to symplectic Lie algebroids, and in particular to the case of the symplectic cover of a fiberwise linear Poisson structure, whose reduction process is the analogue to cotangent bundle reduction in the context of Lie algebroids.
The regular reduction of a Dirac manifold acted upon freely and properly by a Lie group is generalized to a nonfree action. For this, several facts about $G$-invariant vector fields and one-forms are shown.
Reduced sh-Lie structures have been studied for the case when a Lie group acts on the fibers of a vector bundle while preserving the base space of the bundle. In this paper we investigate how one obtains a reduced sh-Lie structure using the ideas of symmetry reduction where the action of the Lie group is transversal to the fibers of the bundle. We also show how local functionals are reduced using these ideas.
We consider a family of tight contact structures on the three-dimensional torus and we compute the relative Contact Homology by using the variational theory of critical points at infinity. We will also show some algebraic equivariant homology reductions.
We propose a produre of reduction a locally conformal symplectic structure. This procedure of reduction can be applied to wide class of submanifolds. There are no local obstructions for this procedure. But there are global obstructions. We find a necessary and sufficient condition when this reduction holds in terms of the special kind of de Rham cohomology class (tangent to the characteristic foliation) of the Lee form.
We obtain universal models for several types of locally conformal symplectic manifolds via pullback or reduction. The relation with recent embedding results for locally conformal Kähler manifolds is discussed.
We present a theory of reduction for Courant algebroids as well as Dirac structures, generalized complex, and generalized Kähler structures which interpolates between holomorphic reduction of complex manifolds and symplectic reduction. The enhanced symmetry group of a Courant algebroid leads us to define \emph{extended} actions and a generalized notion of moment map. Key examples of generalized Kähler reduced spaces include new explicit bi-Hermitian metrics on $\CC P^2$.
We first recall some basic definitions and facts about Jacobi manifolds, generalized Lie bialgebroids, generalized Courant algebroids and Dirac structures. We establish an one-one correspondence between reducible Dirac structures of the generalized Lie bialgebroid of a Jacobi manifold $(M,Λ,E)$ for which 1 is an admissible function and Jacobi quotient manifolds of $M$. We study Jacobi reductions from the point of view of Dirac structures theory and we present some examples and applications.
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, but also the typical non-canonical advection terms in (for instance) the Euler equation.
We extend the Falceto-Zambon version of Marsden-Ratiu Poisson reduction to Poisson quasi-Nijenhuis structures with background on manifolds. We define gauge transformations of Poisson quasi-Nijenhuis structures with background, study some of their properties and show that they are compatible with reduction procedure. We use gauge transformations to construct Poisson quasi-Nijenhuis structures with background.
Let $E_G$ be a stable principal $G$--bundle over a compact connected Kaehler manifold, where $G$ is a connected reductive linear algebraic group defined over the complex numbers. Let $H\subset G$ be a complex reductive subgroup which is not necessarily connected, and let $E_H\subset E_G$ be a holomorphic reduction of structure group. We prove that $E_H$ is preserved by the Einstein-Hermitian connection on $E_G$. Using this we show that if $E_H$ is a minimal reductive reduction in the sense that there is no complex reductive proper subgroup of $H$ to which $E_H$ admits a holomorphic reduction o…
We recall the presentation of the generalized, complex structures by classical tensor fields, while noticing that one has a similar presentation and the same integrability conditions for generalized, paracomplex and subtangent structures. This presentation shows that the generalized, complex, paracomplex and subtangent structures belong to the realm of Poisson geometry. Then, we prove geometric reduction theorems of Marsden-Ratiu and Marsden-Weinstein type for the mentioned generalized structures and give the characterization of the submanifolds that inherit an induced structure via the corres…
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 paper, metric reduction in generalized geometry is investigated. We show how the Bismut connections on the quotient manifold are obtained from those on the original manifold. The result facilitates the analysis of generalized K$\ddot{a}$hler reduction, which motivates the concept of metric generalized principal bundles and our approach to construct a family of generalized holomorphic line bundles over $\mathbb{C}P^2$ equipped with some non-trivial generalized K$\ddot{a}$hler structures.
We show that our earlier work in \cite{LT05} extends to the twisted case, that is, we defined a notion of moment map and reduction in both twisted generalized complex geometry and twisted generalized Kähler geometry.
Given a Dirac subbundle and an isotropic subbundle of a Courant algebroid, we provide a canonical method to obtain a new Dirac subbundle. When the original Dirac subbundle is involutive (i.e., a Dirac structure) this construction has interesting applications, for instance to Dirac's theory of constraints and to the Marsden-Ratiu reduction in Poisson geometry.
A generalized Calabi-Yau structure is a geometrical structure on a manifold which generalizes both the concept of the Calabi-Yau structure and that of the symplectic one. In view of a result of Lin and Tolman in generalized complex cases, we introduce in this paper the notion of a generalized moment map for a compact Lie group action on a generalized Calabi-Yau manifold and construct a reduced generalized Calabi-Yau structure on the reduced space. As an application, we show some relationship between generalized moment maps and the Bergman kernels, and prove the Duistermaat-Heckman formula for …
We present a reduction procedure for locally conformally symplectic (LCS) manifolds with an action of a Lie group preserving the conformal structure, with respect to any regular value of the momentum mapping. Under certain conditions, this reduction is compatible with the existence of a locally conformally Kähler structure. As a special consequence, we obtain a compatible contact reduction with respect to any regular value of the contact momentum mapping.
On a cotangent bundle $T\sp*G$ of a Lie group $G$ one can describe the standard Liouville form $θ$ and the symplectic form $d θ$ in terms of the right Maurer Cartan form and the left moment mapping (of the right action of $G$ on itself), and also in terms of the left Maurer-Cartan form and the right moment mapping, and also the Poisson structure can be written in related quantities. This leads to a wide class of exact symplectic stuctures on $T\sp*G$ and to Poisson structures by replacing the canonical momenta of the right or left actions of $G$ on itself by arbitrary ones, followed by reducti…
We study CR geometry in arbitrary codimension, and introduce a process, which we call the Levi-Kahler quotient, for constructing Kahler metrics from CR structures with a transverse torus action. Most of the paper is devoted to the study of Levi-Kahler quotients of toric CR manifolds, and in particular, products of odd dimensional spheres. We obtain explicit descriptions and characterizations of such quotients, and find Levi-Kahler quotients of products of 3-spheres which are extremal in a weighted sense introduced by G. Maschler and the first author.
Stokes-Dirac structures are infinite-dimensional Dirac structures defined in terms of differential forms on a smooth manifold with boundary. These Dirac structures lay down a geometric framework for the formulation of Hamiltonian systems with a nonzero boundary energy flow. Simplicial triangulation of the underlaying manifold leads to the so-called simplicial Dirac structures, discrete analogues of Stokes-Dirac structures, and thus provides a natural framework for deriving finite-dimensional port-Hamiltonian systems that emulate their infinite-dimensional counterparts. The port-Hamiltonian sys…