We show that an equivariantly embedded Hermitian symmetric space in a projective space, which contains neither a projective space nor a hyperquadric as a component, is characterized by their fundamental forms as a local submanifold of the projective space. Using some invariant-theoretic properties of the fundamental forms and Se-ashi's work on linear differential equations of finite type, we reduce the proof to the vanishing of certain Spencer cohomology groups. The vanishing is checked by Kostant's harmonic theory for Lie algebra cohomology.
Let M be a compact irreducible Hermitian symmetric space and write M=G/K, with G the group of holomorphic isometries of M and K the stability group of the point of 0 in M. We determine the maximal dimension of a complex projective space embedded in M as a totally geodesic submanifold.
We define homogeneous principal Higgs and co-Higgs bundles over irreducible Hermitian symmetric spaces of compact type. We provide a classification for each type of object up to isomorphism, which in each case can be interpreted as defining a moduli space.
I show that any complex manifold that resembles a rank two compact Hermitian symmetric space (other than a quadric hypersurface) to order two at a general point must be an open subset of such a space.
Given a singular Schubert variety Z in a compact Hermitian symmetric space it is a longstanding question to determine when Z is homologous to a smooth variety Y. We identify those Schubert varieties for which there exist first-order obstructions to the existence of Y. This extends (independent) work of M. Walters, R. Bryant and J. Hong. Key tools include: (i) a new characterization of Schubert varieties that generalizes the well known description of the smooth Schubert varieties by connected sub-diagrams of a Dynkin diagram; and (ii) an algebraic Laplacian (a la Kostant), which is used to anal…
I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results have a number of applications: First, they prove that many subvarieties in Grassmannians and other Hermitian symmetric spaces cannot be smoothed (i.e., are not homologous to a smooth subvariety). Second, they provide characterizations of holomorphic bundles over compact Kahler mani…
We consider and resolve the gap problem for almost quaternion-Hermitian structures, i.e. we determine the maximal and submaximal symmetry dimensions, both for Lie algebras and Lie groups, in the class of almost quaternion-Hermitian manifolds. We classify all structures with such symmetry dimensions. Geometric properties of the submaximally symmetric spaces are studied, in particular we identify locally conformally quaternion-Kähler structures as well as quaternion-Kähler with torsion.
Hermitian symmetric manifolds are Hermitian manifolds which are homogeneous and such that every point has a symmetry preserving the Hermitian structure. The aim of these notes is to present an introduction to this important class of manifolds, trying to survey the several different perspectives from which Hermitian symmetric manifolds can be studied.
We give a complete characterization of invariant integrable complex structures on principal bundles defined over hermitian symmetric spaces, using the Jordan algebraic approach for the curvature computations. In view of possible generalizations, the general setup of invariant holomorphic principal fibre bundles is described in a systematic way.
We describe the shape of the symplectic Dirac operators on Hermitian symmetric spaces. For this, we consider these operators as families of operators that can be handled more easily than the original ones.
In this paper we address the problem of studying those Kähler manifolds whose first two coefficients of the associated TYZ expansion vanish and we prove that for a locally Hermitian symmetric space this happens only in the flat case. We also prove that there exist nonflat locally Hermitian symmetric spaces where all the odd coefficients vanish.
We introduce the notion of tight homomorphism into a locally compact group with nonvanishing bounded cohomology and study these homomorphisms in detail when the target is a Lie group of Hermitian type. Tight homomorphisms between Lie groups of Hermitian type give rise to tight totally geodesic maps of Hermitian symmetric spaces. We show that tight maps behave in a functorial way with respect to the Shilov boundary and use this to prove a general structure theorem for tight homomorphisms. Furthermore we classify all tight embeddings of the Poincare' disk.
The holomorphic torsion of a compact locally symmetric manifold is expressed as a special value of a zeta function built out of geometric data (closed geodesics) of the manifold.
In this paper, we establish the rigidity result for local holomorphic volume preserving maps from an irreducible Hermitian manifold of compact type into its Cartesian products.
We analyze polar actions on Hermitian and quaternion-Kähler symmetric spaces of compact type. For complex integrable polar actions on Hermitian symmetric spaces of compact type we prove a reduction theorem and several corollaries concerning the geometry of these actions. The results are independent of the classification of polar actions on Hermitian symmetric spaces. In the second part we prove that polar actions on Wolf spaces are quaternion-coisotropic and that isometric actions on these spaces admit an orbit of special type, analogous to the existence of a complex orbit for an isometric act…
Inspired by the work of G. Lu on pseudo symplectic capacities we obtain several results on the Gromov width and the Hofer--Zehnder capacity of Hermitian symmetric spaces of compact type. Our results and proofs extend those obtained by Lu for complex Grassmannians to Hermitian symmetric spaces of compact type. We also compute the Gromov width and the Hofer--Zehnder capacity for Cartan domains and their products.
In this paper we compute the minimal number of Darboux chart needed to cover a Hermitian symmetric space of compact type in terms of the degree of their embeddings in $\mathbb{C} P^N$. The proof is based on the recent work of Y. B. Rudyak and F. Schlenk [18] and on the symplectic geometry tool developed by the first author in collaboration with A. Loi and F. Zuddas [12]. As application we compute this number for a large class of Hermitian symmetric spaces of compact type.
This paper is the third of a series on Hamiltonian stationary Lagrangian surfaces. We present here the most general theory, valid for any Hermitian symmetric target space. Using well-chosen moving frame formalism, we show that the equations are equivalent to an integrable system, generalizing the C^2 subcase analyzed in the first article (arXiv:math.DG/0009202). This system shares many features with the harmonic map equation of surfaces into symmetric spaces, allowing us to develop a theory close to Dorfmeister, Pedit and Wu's, including for instance a Weierstrass-type representation. Notice t…
The subject of investigations are the almost hypercomplex manifolds with Hermitian and anti-Hermitian (Norden) metrics. A linear connection D is introduced such that the structure of these manifolds is parallel with respect to D and its torsion is totally skew-symmetric. The class of the nearly Kaehler manifolds with respect to the first almost complex structure is of special interest. It is proved that D has a D-parallel torsion and is weak if it is not flat. Some curvature properties of these manifolds are studied.
We propose a special deformation of the Sasaki metric on tangent and unit tangent bundle of a Hermitian locally symmetric manifold. Geodesics of this deformed metric have different projections on a base manifold for tangent or unit tangent bundle cases in contrast to usual Sasaki metric. Nevertheless, the projections of geodesics of the unit tangent bundle still preserve the property to have all geodesic curvatures constant.
We study almost Hermitian structures admitting a Hermitian connexion with totally skew-symmetric torsion or equivalently, those almost Hermitian structures with totally skew-symmetric Nijenhuis tensor. We investigate up to what extent the Nijenhuis tensor fails to be parallel with respect to the characteristic connexion. This is naturally described by means of an extension of the notion of Killing form to almost Hermitian geometry. In this context, we also make an essentially self-contained survey of nearly-Kaehler geometry, but from the perspective of non-integrable holonomy systems.
We prove that if the fundamental 4-form of an almost-quaternionic Hermitian manifold (M, Q, g) of dimension at least eight satisfies the conformal-Killing equation, then (M, Q, g) is quaternionic-Kahler.
Schubert varieties are irreducible subvarieties of homogeneous manifold, which are important to understand the geometry of homogeneous manifold G/P and the action of the semisimple Lie group G. Consider the space of effective cycles in G/P with homology class equal to an integral multiple of the homology class of a Schubert variety X_w of type w. We will show that for a smooth Schubert variety X_w in Hermitian symmetric space with trivial exceptions, this cycle space is simple: any irreducible subvariety X with homology class [X]=r[X_w] is again a Schubert variety of type w.
Let $X=G/H$ be a symmetric space for a real simple Lie group $G$, equipped with a $G$-invariant complex structure. Then, $X$ is a pseudo-Hermitian manifold, and in this geometric setting, higher Laplacians $L_m$ are defined for each positive integer $m$, which generalize the ordinary Laplace-Beltrami operator. We show that $L_1,L_3,\ldots, L_{2r-1}$ form a set of algebraically independent generators for the algebra $\mathbb{D}_G(X)$ of $G$-invariant differential operators on $X$, where $r$ denotes the rank of $X$. This confirms a conjecture of Engliš and Peetre, originally stated for the class…
Let $M$ be an irreducible Hermitian symmetric space of compact type, and let $ω$ be its Kähler form. For a triplet $(p_1,p_2,p_3)$ of points in $M$ we study conditions under which a geodesic triangle $\mathcal T(p_1,p_2,p_3)$ with vertices $p_1,p_2,p_3$ can be unambiguously defined. We consider the integral $A(p_1,p_2,p_3)=\int_Σω$, where $Σ$ is a surface filling the triangle $\mathcal T(p_1,p_2,p_3)$ and discuss the dependence of $A(p_1,p_2,p_3)$ on the surface $Σ$. Under mild conditions on the three points, we prove an explicit formula for $A(p_1,p_2,p_3)$ analogous to the known formula for …
We introduce a class of $G$-invariant connections on a homogeneous principal bundle $Q$ over a hermitian symmetric space $M=G/K$. The parameter space carries the structure of normal variety and has a canonical anti-holomorphic involution. The fixed points of the anti-holomorphic involution are precisely the integrable invariant complex structures on $Q.$ This normal variety is closely related to quiver varieties and, more generally, to varieties of commuting matrix tuples modulo simultaneous conjugation.
This paper demonstrates the power of the calculus developed in the two previous parts of the series for all real forms of the almost Hermitian symmetric structures on smooth manifolds, including e.g. conformal Riemannian and almost quaternionic geometries. Exploiting some finite dimensional representation theory of simple Lie algebras, we give explicit formulae for distinguished invariant curved analogues of the standard operators in terms of the linear connections belonging to the structures in question, so in particular we prove their existence. Moreover, we prove that these formulae for k-t…
Let $G/K$ be an irreducible Hermitian symmetric spaces of compact type with the standard homogeneous complex structure. Then the real symplectic manifold $(T^*(G/K),Ω)$ has the natural complex structure $J^-$. We construct all $G$-invariant Kähler structures $(J,Ω)$ on homogeneous domains in $T^*(G/K)$ anticommuting with $J^-$. Each such a hypercomplex structure, together with a suitable metric, defines a hyperkähler structure. As an application, we obtain a new proof of the Harish-Chandra and Moore theorem.
Let $K\backslash G$ be an irreducible Hermitian symmetric space of noncompact type and $Γ\,\subset\, G$ a closed torsionfree discrete subgroup. Let $X$ be a compact Kähler manifold and $ρ\, :\, π_1(X, x_0)\,\longrightarrow\, Γ$ a homomorphism such that the adjoint action of $ρ(π_1(X, x_0))$ on $\text{Lie}(G)$ is completely reducible. A theorem of Corlette associates to $ρ$ a harmonic map $X\, \longrightarrow\, K\backslash G/Γ$. We give a criterion for this harmonic map to be holomorphic. We also give a criterion for it to be anti--holomorphic.
We consider a class of fully nonlinear second order elliptic equations on Hermitian manifolds closely related to the general notion of $\bfG$-plurisubharmonicity of Harvey-Lawson and an equation treated by Székelyhidi-Tosatti-Weinkove in the proof of Gauduchon conjecture. Under fairly general assumptions we derive interior estimates and establish the existence of smooth solutions for the Dirichlet problem as well as for equations on closed manifolds.
In this paper we calculate the Lagrangian Floer homology $HF(L_0, L_1 : {\mathbb Z}_2)$ of a pair of real forms $(L_0,L_1)$ in a monotone Hermitian symmetric space $M$ of compact type in the case where $L_0$ is not necessarily congruent to $L_1$. In particular, we have a generalization of the Arnold-Givental inequality in the case where $M$ is irreducible. As its application, we prove that the totally geodesic Lagrangian sphere in the complex hyperquadric is globally volume minimizing under Hamiltonian deformations.
This is the first part of a series of papers. The whole series aims to develop the tools for the study of all almost Hermitian symmetric structures in a unified way. In particular, methods for the construction of invariant operators, their classification and the study of their properties will be worked out. In this paper we present the invariant differentiation with respect to a Cartan connection and we expand the differentials in the terms of the underlying linear connections belonging to the structures in question. Then we discuss the holonomic and non-holonomic jet extensions and we suggest…
Let $X$ be a $n$ dimensional compact local Hermitian symmetric space of non-compact type and $L=\shO(K_X)\tens\shO(qM)$ be an adjoint line bundle. Let $c>0$ be a constant. Assume the curvature of $M$ is $\ge cω$, where $ω$ is the kähler form of $X$, and $X$'s injectivity radius has a lower bound $τ>\sqrt{2e}$, where $e$ is the Euler number. In this article, we prove that if $q>\frac{2e}{cτ} \cdot (p+1)n$, then $L$ enjoys Property $N_p$. Applying this result to a tower of compact local Hermitian symmetric spaces $\cdots\mapto X_{s+1}\mapto X_s\mapto\cdots\mapto X_0=X$, we prove that $2K_{s}$ ha…
We define a Toledo number for actions of surface groups and complex hyperbolic lattices on infinite dimensional Hermitian symmetric spaces, which allows us to define maximal representations. When the target is not of tube type we show that there cannot be Zariski-dense maximal representations, and whenever the existence of a boundary map can be guaranteed, the representation preserves a finite dimensional totally geodesic subspace on which the action is maximal. In the opposite direction we construct examples of geometrically dense maximal representation in the infinite dimensional Hermitian s…
In this paper we extend DDVV-type inequalities involving the Frobenius norm of commutators from real symmetric and skew-symmetric matrices to Hermitian and skew-Hermitian matrices.
For simple Lie groups, the only homogeneous manifolds $G/K$, where $K$ is maximal compact subgroup,for which the phase of the scalar product of two coherent state vectors is twice the symplectic area of a geodesic triangle are the hermitian symmetric spaces. An explicit calculation of the multiplicative factor on the complex Grassmann manifold and its noncompact dual is presented.It is shown that the multiplicative factor is identical with the two-cocycle considered by A. Guichardet and D. Wigner for simple Lie groups.
There is a known hyperkähler structure on any complexified Hermitian symmetric space $G/K$, whose construction relies on identifying $G/K$ with both a (co)adjoint orbit and the cotangent bundle to the compact Hermitian symmetric space $G_u/K_0$. Via a family of explicit diffeomorphisms, we show that almost all of the complex structures are equivalent to the one on $G/K$; via a family of related diffeomorphisms, we show that almost all of the symplectic structures are equivalent to the one on $T^*\left(G_u/K_0\right)$. We highlight the intermediate Kähler structures, which share a holomorphic a…
