Harmonic morphisms from the compact semisimple Lie groups and their non-compact duals

In this paper we prove the local existence of complex-valued harmonic morphisms from any compact semisimple Lie group and their non-compact duals. These include all Riemannian symmetric spaces of types II and IV. We produce a variety of concrete harmonic morphisms from the classical compact simple Lie groups SO(n), SU(n), Sp(n) and globally defined solutions on their non-compact duals SO(n,C)/SO(n), SLn(C)/SU(n) and Sp(n,C)/Sp(n).     

Harmonic morphisms from the classical non-compact semisimple Lie groups

We construct the first known complex-valued harmonic morphisms from the non-compact Lie groups SLn(R), SU^∗(2n) and Sp(n,R) equipped with their standard Riemannian metrics. We then introduce the notion of a bi-eigenfamily and employ this to construct the first known solutions on the non-compact Riemannian SO^∗(2n), SO(p,q), SU(p,q) and Sp(p,q). Applying a duality principle we then show how to manufacture the first known complex-valued harmonic morphisms from the compact Lie groups SO(n), SU(n) and Sp(n) equipped with semi-Riemannian metrics.     

Classification of generalized normal homogeneous Riemannian manifolds of positive Euler characteristic

The authors give a short survey of previous results on generalized normal homogeneous (δ-homogeneous, in other terms) Riemannian manifolds, forming a new proper subclass of geodesic orbit spaces with nonnegative sectional curvature, which properly includes the class of all normal homogeneous Riemannian manifolds. As a continuation and an application of these results, they prove that the family of all compact simply connected indecomposable generalized normal homogeneous Riemannian manifolds with positive Euler characteristic, which are not normal homogeneous, consists exactly of all generalized flag manifolds Sp(l)/U(1)⋅Sp(l−1)=CP2l−1, l?2, supplied with invariant Riemannian metrics of positive sectional curvature with the pinching constants (the ratio of the minimal sectional curvature to the maximal one) in the open interval (1/16,1/4). This implies very unusual geometric properties of the adjoint representation of Sp(l), l?2. Some unsolved questions are suggested.     

Classification of pinched positive scalar curvature manifolds

Let (Mn,g), n?3, be a smooth closed Riemannian manifold with positive scalar curvature Rg. There exists a positive constant C=C(M,g) defined by mean curvature of Euclidean isometric immersions, which is a geometric invariant, such that Rg?n(n−1)C. In this paper we prove that Rg=n(n−1)C if and only if (Mn,g) is isometric to the Euclidean sphere Sn(C) with constant sectional curvature C. Also, there exists a Riemannian metric g on Mn such that the scalar curvature satisfies the pinched condition

     

Equivariant Pieri Rule for the homology of the affine Grassmannian

An explicit rule is given for the product of the degree two class with an arbitrary Schubert class in the torus-equivariant homology of the affine Grassmannian. In addition a Pieri rule (the Schubert expansion of the product of a special Schubert class with an arbitrary one) is established for the equivariant homology of the affine Grassmannians of SL _n and a similar formula is conjectured for Sp _2n and SO _2n+1. For SL _n the formula is explicit and positive. By a theorem of Peterson these compute certain products of Schubert classes in the torus-equivariant quantum cohomology of flag varieties. The SL _n Pieri rule is used in our recent definition of k-double Schur functions and affine double Schur functions.     

Classification of invariant valuations on the quaternionic plane

We describe the orbit space of the action of the group Sp(2)Sp(1)$\mathrm{Sp}(2)\mathrm{Sp}(1)$ on the real Grassmann manifolds _Grk(H²)${\mathrm{Gr}}_k({\mathbb{H}}^2)$ in terms of certain quaternionic matrices of Moore rank not larger than 2. We then give a complete classification of valuations on the quaternionic plane H²${\mathbb{H}}^2$ which are invariant under the action of the group Sp(2)Sp(1)$\mathrm{Sp}(2)\mathrm{Sp}(1)$.     

Generation of classical groups over finite fields

Let U_n(V) and Sp_n(V) denote the unitary group and the symplectic group of the n dimensional vector space V over a finite field of characteristic not 2, respectively. Assume that the hyperbolic rank of U_n(V) is at least one. Then U_n(V) is generated by 4 elements and Sp_n(V) by 3 elements. Further, U_2m+1(V) is generated by 3 elements and Sp_4m(V) by 2 elements.     

A certain Dirichlet series of Rankin-Selberg type associated with the Ikeda lifting

We consider a certain Dirichlet series of Rankin-Selberg type associated with two Siegel cusp forms of the same integral weight with respect to Spn(Z). In particular, we give an explicit formula for the Dirichlet series associated with the Ikeda lifting of cuspidal Hecke eigenforms with respect to SL₂(Z). We also comment on a contribution to the Ikeda's conjecture on the period of the lifting.     

Relative radial mass and rigidity of some warped product manifolds

We give a Riccati type formula adapted for two metrics having the same geodesics rays starting from a fixed point or orthogonal to a special fixed hypersurface. We assume that one of these metrics is a warped product if the dimension n is greater than or equal to 3. This formula has non-trivial geometric consequences such as a positive mass type theorem and other rigidity results. We also apply our result to some standard models.     

Pappus type theorems for motions along a submanifold

We study the volumes volume(D) of a domain D and volume(C) of a hypersurface C obtained by a motion along a submanifold P of a space form Mⁿ_λ. We show: (a) volume(D) depends only on the second fundamental form of P, whereas volume(C) depends on all the ith fundamental forms of P, (b) when the domain that we move D₀ has its q-centre of mass on P, volume(D) does not depend on the mean curvature of P, (c) when D₀ is q-symmetric, volume(D) depends only on the intrinsic curvature tensor of P; and (d) if the image of P by the ln of the motion (in a sense which is well-defined) is not contained in a hyperplane of the Lie algebra of SO(n−q−d), and C is closed, then volume(C) does not depend on the ith fundamental forms of P for i>2 if and only if the hypersurface that we move is a revolution hypersurface (of the geodesic (n−q)-plane orthogonal to P) around a d-dimensional geodesic plane.     

A first eigenvalue estimate for embedded hypersurfaces

Suppose that M is a compact orientable hypersurface embedded in a compact n-dimensional orientable Riemannian manifold N. Suppose that the Ricci curvature of N is bounded below by a positive constant k. We show that 2λ₁>k−(n−1)maxM|H| where λ₁ is the first eigenvalue of the Laplacian of M and H is the mean curvature of M.     

Positive Quaternion Kähler Manifolds with fourth Betti number equal to one

Positive Quaternion Kähler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. In this article we are mainly concerned with Positive Quaternion Kähler Manifolds M satisfying b₄(M)=1. Generalising a result of Galicki and Salamon we prove that M4n in this case is homothetic to a quaternionic projective space if 2≠n?6.     

Equivariant cohomology of real flag manifolds

Let P=G/K be a semisimple non-compact Riemannian symmetric space, where G=I₀(P) and K=Gp is the stabilizer of p∈P. Let X be an orbit of the (isotropy) representation of K on Tp(P) (X is called a real flag manifold). Let K₀⊂K be the stabilizer of a maximal flat, totally geodesic submanifold of P which contains p. We show that if all the simple root multiplicities of G/K are at least 2 then K₀ is connected and the action of K₀ on X is equivariantly formal. In the case when the multiplicities are equal and at least 2, we will give a purely geometric proof of a formula of Hsiang, Palais and Terng concerning H^∗(X). In particular, this gives a conceptually new proof of Borel's formula for the cohomology ring of an adjoint orbit of a compact Lie group.     

An extension of Jellett's theorem

The aim of this work is to show that a star-shaped hypersurface of constant mean curvature into the Euclidean sphere Sn+1 must be a geodesic sphere. This result extends the one obtained by Jellett in 1853 for such type of surfaces in the Euclidean space R³. In order to do that we will compute a useful formula for the Laplacian of a new support function defined over a hypersurface M of a Riemannian manifold .     

Bases for some reciprocity algebras II

We construct bases for the stable branching algebras for the symmetric pairs (GL_n,O_n), (O_n+m,O_n×O_m) and (Sp_2n,GL_n).     

On the Buchstaber Subring in MS p

A formula is given to calculate the last n number of symplectic characteristic classes of the tensor product of the vector Spin(3)- and Sp(n)-bundles through its first 2n number of characteristic classes and through characteristic classes of Sp(n)-bundle. An application of this formula is given in symplectic cobordisms and in rings of symplectic cobordisms of generalized quaternion groups.     

Volume growth of some uniformly contractible Riemannian manifolds

It is shown that if a uniformly contractible Riemannian n-manifold (M,g) is K-quasi-isometric to an n-dimensional normed space\((V^{n},\|\cdot\|)\), (K ≥  1), then\(\liminf_{R\rightarrow \infty}\frac{{Vol}_g( {Ball}_{R})}{R^{n}\omega_{n}}\geq\frac{1}{K^{2n}}\) where ω _n is the volume of the unit Euclidean ball. In particular, if M is uniformly contractible and\(d_{GH}((M,d_g), (V^n,\|\cdot\|)) < \infty \), then M has at least Euclidean volume growth. This corollary covers an earlier result by Burago and Ivanov. Our results are motivated by a volume growth theorem contained in Gromov’s book [Gromov in Progress in Mathematics, vol. 152, Birkhäuser, Boston, 1999, p. 256], we give a detailed proof of this theorem. Using the same argument, we also derive a generalization of the theorem which is pointed out by Gromov.     

The Sharp Lower Bound of the First Eigenvalue of the Sub-Laplacian on a Quaternionic Contact Manifold

The main technical result of the paper is a Bochner type formula for the sub-Laplacian on a quaternionic contact manifold. With the help of this formula we establish a version of Lichnerowicz’s theorem giving a lower bound of the eigenvalues of the sub-Laplacian under a lower bound on the Sp(n)Sp(1) components of the qc-Ricci curvature. It is shown that in the case of a 3-Sasakian manifold the lower bound is reached iff the quaternionic contact manifold is a round 3-Sasakian sphere. Another goal of the paper is to establish a priori estimates for square integrals of horizontal derivatives of smooth compactly supported functions. As an application, we prove a sharp inequality bounding the horizontal Hessian of a function by its sub-Laplacian on the quaternionic Heisenberg group.     

Suspending the Cartan Embedding of {{\mathbb H}P^n} Through Spindles and Generators of Homotopy Groups

We provide an equivariant suspension of the Cartan embedding of the symmetric space ${S^{4n+3} \to \mathbb {H}P^n \hookrightarrow Sp(n+1)}$ ; this construction furnishes geometric generators of the homotopy group of ?? _4n+6 Sp(n?+?1). We study the topology and geometry of the image of this generator; in particular we show that it is a spindle, minimal with respect to the biinvariant metric from Sp(n?+?1). This spindle also admits a different metric of positive curvature away from the cone singular point.