We define the notion of a moment map and reduction in both generalized complex geometry and generalized Kähler geometry. As an application, we give very simple explicit constructions of bi-Hermitian structures on $\C¶^n$, Hirzebruch surfaces, the blow up of $\CP^2$ at arbitrarily many points, and other toric varieties, as well as complex Grassmannians.
We introduce a class of almost homogeneous varieties contained in the class of spherical varieties and containing horospherical varieties as well as complete symmetric varieties. We develop K{ä}hler geometry on these varieties, with applications to canonical metrics in mind, as a generalization of the Guillemin-Abreu-Donaldson geometry of toric varieties. Namely we associate convex functions with hermitian metrics on line bundles, and express the curvature form in terms of this function, as well as the corresponding Monge-Amp{è}re volume form and scalar curvature. We then provide an expression…
We briefly review the hierarchy for the hyper-Kähler equations and define a notion of symmetry for solutions of this hierarchy. A four-dimensional hyper-Kähler metric admits a hidden symmetry if it embeds into a hierarchy with a symmetry. It is shown that a hyper-Kähler metric admits a hidden symmetry if it admits a certain Killing spinor. We show that if the hidden symmetry is tri-holomorphic, then this is equivalent to requiring symmetry along a higher time and the hidden symmetry determines a `twistor group' action as introduced by Bielawski \cite{B00}. This leads to a construction for the …
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.
This is a sequel of \cite{Wang}, which provides a general formalism for this paper. We mainly investigate thoroughly a subclass of toric generalized K$\ddot{a}$hler manifolds of symplectic type introduced by Boulanger in \cite{Bou}. We find torus actions on such manifolds are all \emph{strong Hamiltonian} in the sense of \cite{Wang}. For each such a manifold, we prove that besides the ordinary two complex structures $J_\pm$ associated to the biHermitian description, there is a \emph{third} canonical complex structure $J_0$ underlying the geometry, which makes the manifold toric K$\ddot{a}$hler…
Let Z be the real part of a K{ä}hler Hamiltonian manifold M. The O'Shea-Sjamaar's Theorem tells us that the moment polytope Delta(Z) corresponds to the anti-invariant part of the Kirwan polytope Delta(M). The purpose of the present paper is to explain how to parameterize the equations of the facets of Delta(Z) in terms of real Ressayre's pairs of Z.
We consider the theory of \emph{twisted symmetries} of differential equations, in particular $λ$ and $μ$-symmetries, and discuss their geometrical content. We focus on their interpretation in terms of gauge transformations on the one hand, and of coverings on the other one.
One considers a special class of PDEs systems and one determines the associated symmetry group. Particulary, for the Blair system, one finds the symmetry group. A solutions of the Blair system gives a conformally flat contact metric structure and also it defines a "force-free" model of solar physics. By using the symmetry groups theory, one shows that the known solutions are group-invariant solutions and one gives new solutions.
Steklov Mathematical Institute of Russian Academy of Sciences(俄罗斯科学院斯特克洛夫数学研究所);Institute for Theoretical and Mathematical Physics, Lomonosov Moscow State University(莫斯科国立大学理论与数学物理研究所);HSE University(高等经济学院);Beijing Institute of Mathematical Sciences and Applications (BIMSA)(北京国际数学研究中心)
We address several problems concerning the geometry of the space of Hermitian operators on a finite-dimensional Hilbert space, in particular the geometry of the space of density states and canonical group actions on it. For quantum composite systems we discuss and give examples of measures of entanglement.
This work presents a geometrical formulation of the Clairin theory of conditional symmetries for higher-order systems of partial differential equations (PDEs). We devise methods for obtaining Lie algebras of conditional symmetries from known conditional symmetries, and unnecessary previous assumptions of the theory are removed. As a consequence, new insights into other types of conditional symmetries arise. We then apply the so-called PDE Lie systems to the derivation and analysis of Lie algebras of conditional symmetries. In particular, we develop a method for obtaining solutions of a higher-…
We present a definition of null G-structures on Lorentzian manifolds and investigate their geometric properties. This definition includes the Robinson structure on 4-dimensional black holes as well as the null structures that appear in all supersymmetric solutions of supergravity theories. We also identify the induced geometry on some null hypersurfaces and that on the orbit spaces of null geodesic congruences in such Lorentzian manifolds. We give the algebra of diffeomorphisms that preserves a null G-structure and demonstrate that in some cases it interpolates between the BMS algebra of an as…
Some natural hidden symmetries in the Verma modules over the Virasoro algebra are constructed in terms of geometric quantization. Their differential geometric meaning is established and their expression via $q_R$-conformal symmetries in the Verma modules over the Lie algebra $sl(2,C)$ is found. The analysis and the unraveling of the algebraic structure of these families of hidden symmetries are performed.
We study dg-manifolds which are R[2]-bundles over R[1]-bundles over manifolds, we calculate its symmetries, its derived symmetries and we introduce the concept of T-dual dg-manifolds. Within this framework we construct the T-duality map as a degree -1 map between the cohomologies of the T-dual dg-manifolds and we show an explicit isomorphism between the differential graded algebra of the symmetries of the T-dual dg-manifolds. We furthermore show how the algebraic structure underlying B_n generalized geometry could be recovered as derived dg-Leibniz algebra of the fixed points of the T-dual aut…
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 …
A closed 3-form $H \in Ω^3_0(M)$ defines an extension of $Γ(TM)$ by $Ω^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group and moment map in the category of (twisted) generalized complex manifold. The Hamiltonian reduction in the category of generalized complex geometry is then constructed. The definitions and constructions are natural extensions of the corresponding ones in the symplectic geometry. We describe cutting in generalized complex geometry to show that it's a general phenomenon in …
A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal dimension equal to 10. Explicit formulas for the Lie prolongation of vector fields to jets spaces are derived.
The moduli space of the Calabi-Yau three-folds, which play a role as superstring ground states, exhibits the same {\em special geometry} that is known from nonlinear sigma models in $N=2$ supergravity theories. We discuss the symmetry structure of special real, complex and quaternionic spaces. Maps between these spaces are implemented via dimensional reduction. We analyze the emergence of {\em extra} and {\em hidden} symmetries. This analysis is then applied to homogeneous special spaces and the implications for the classification of homogeneous quaternionic spaces are discussed.
We show that symmetries and gauge symmetries of a large class of 2-dimensional sigma models are described by a new type of a current algebra. The currents are labeled by pairs of a vector field and a 1-form on the target space of the sigma model. We compute the current-current commutator and analyse the anomaly cancellation condition, which can be interpreted geometrically in terms of Dirac structures, previously studied in the mathematical literature. Generalized complex structures correspond to decompositions of the current algebra into pairs of anomaly free subalgebras. Sigma models that we…
This paper opens the series of articles supplemental to the series (hep-th/9405050,q-alg/9610026,q-alg/9611003,q-alg/9611019,funct-an/9611003), which also lies in lines of general ideology exposed in the review (mp_arc/96-477). The main purpose of the activity, which has its origin and motivation presumably in the author's applied researches on the interactively controlled systems (i.e.the controlled systems, in which the control is coupled with unknown or uncompletely known feedbacks), is to explicate the essentially infinite-dimensional aspects of the hidden symmetries, which appear in the r…
A geometric interpretation of approximate ($HS$-projective or $TC$-projective) representations of the Witt algebra $w^C$ by $q_R$-conformal symmetries in the Verma modules $V_h$ over the Lie algebra $sl(2,C)$ is established and some their characteristics are calculated. It is shown that the generators of representations coincide with the Nomizu operators of holomorphic $w^C$-invariant hermitean connections in the deformed holomorphic tangent bundles $T_h(M_1)$ over the infinite-dimensional Kähler manifold $M_1=\Diff_+(S^1)/PSL(2,R)$, whereas the deviations $A_{XY}$ of the approximate represent…
The aim of this work is to develop a systematic manner to close overdetermined systems arising from conformal Killing tensors (CKT). The research performs this action for 1-tensor and 2-tensors. This research makes it possible to develop a new general method for any rank of CKT. This method can also be applied to other types of Killing equations, as well as to overdetermined systems constrained by some other conditions. The major methodological apparatus of the research is a decomposition of the section bundles where the covariant derivatives of the CKT land via generalized gradients. This dec…
We investigate (local) automorphisms of parabolic geometries that generalize geodesic symmetries. We show that many types of parabolic geometries admit at most one generalized geodesic symmetry at a point with non-zero harmonic curvature. Moreover, we show that if there is exactly one symmetry at each point, then the parabolic geometry is a generalization of an affine (locally) symmetric space.
We investigate the geometry and topology of a standard moduli space of stable bundles on a Riemann surface, and use a generalization of the Verlinde formula to derive results on intersection pairings.
In this paper we describe the geometry of distributions by their symmetries, and present a simplified proof of the Frobenius theorem and some related corollaries. Then, we study the geometry of solutions of $F-$Gordon equation; A PDE which appears in differential geometry and relativistic field theory.
In the complex setting, let $F(x,y,y')=0$ be an analytic or algebraic differential equation with $y'$-degree $d$. We deal with the qualitative study of such equations through the geometry of the planar $d$-web generated by the generic family of integral curves. Infinitesimal symmetries of these configurations are discussed by using meromorphic connections methods "à la Cartan-Spencer".
The relations between the infinite dimensional geometry of $q_R$-conformal symmetries at $q_R\to\infty$, Berezin quantization of the Lobachevskii plane and Karasev-Maslov asymptotic quantization are explicated. Some aspects of the ``approximate'' representation theory are discussed.
This paper combines two classical theories, namely metric projective differential geometry and superintegrability. We study superintegrable systems on 2-dimensional geometries that share the same geodesics, viewed as unparametrized curves. We give a definition of projective equivalence of such systems, which may be considered the projective analog of (conformal) Stäckel equivalence (coupling constant metamorphosis). Then, we discuss the transformation behavior for projectively equivalent superintegrable systems and find that the potential on a projectively equivalent geometry can be reconstruc…
We develop two new tools for use in Alexandrov geometry: a theory of ramified orientable double covers and a particularly useful version of the Slice Theorem for actions of compact Lie groups. These tools are applied to the classification of compact, positively curved Alexandrov spaces with maximal symmetry rank.
We show that the superconformal symmetries of the (1,1) sigma model decompose into a set of more refined symmetries when the target space admits projectors $P_{\pm}$, and the orthogonal complements $Q_{\pm}$, covariantly constant with respect to the two natural torsionful connections $\nabla^{(\pm)}$ that arise in the sigma model. Surprisingly the new symmetries still close to form copies of the superconformal algebra, even when the projectors are not integrable, so one is able to define a superconformal theory not associated with a particular geometry, but rather with non-integrable projector…