Equivalence of domains arising from duality of orbits on flag manifolds

S. Gindikin and the author defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of non-holomorphic type by computing many examples. In this paper, we first prove this conjecture for the open -orbit on an ``arbitrary' flag manifold generalizing the result of Barchini. This conjecture for closed was solved by J. A. Wolf and R. Zierau for Hermitian cases and by G. Fels and A. Huckleberry for non-Hermitian cases. We also deduce an alternative proof of this result for non-Hermitian cases.

     

Equivalence of domains arising from duality of orbits on flag manifolds II

S. Gindikin and the author defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in the works of J. A. Wolf, R. Zierau, G. Fels, A. Huckleberry and the author. It was also proved for open by the author. In this paper, we prove the conjecture for all the other orbits when is of non-Hermitian type.

     

Equivalence of domains arising from duality of orbits on flag manifolds III

In Gindikin and Matsuki 2003, we defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in Wolf and Zierau 2000 and 2003, Fels and Huckleberry 2005, and Matsuki 2006 and for open in Matsuki 2006. It was proved for the other orbits in Matsuki 2006, when is of non-Hermitian type. In this paper, we prove the conjecture for an arbitrary non-closed -orbit when is of Hermitian type. Thus the conjecture is completely solved affirmatively.

     

An explicit retraction of symplectic flag manifolds onto complex flag manifolds

We construct an explicit deformation retraction of the manifold of symplectic flags onto the manifold of complex flags. The main tool is the polar decomposition of symplectic matrices. We also give a new definition of symplectic Stiefel manifold and prove that it has the same homotopy type as the complex Stiefel manifold.     

Optimization on flag manifolds

A flag is a sequence of nested subspaces. Flags are ubiquitous in numerical analysis, arising in finite elements, multigrid, spectral, and pseudospectral methods for numerical pde; they arise in the form of Krylov subspaces in matrix computations, and as multiresolution analysis in wavelets constructions. They are common in statistics too—principal component, canonical correlation, and correspondence analyses may all be viewed as methods for extracting flags from a data set. The main goal of this article is to develop the tools needed for optimizing over a set of flags, which is a smooth manifold called the flag manifold, and it contains the Grassmannian as the simplest special case. We will derive closed-form analytic expressions for various differential geometric objects required for Riemannian optimization algorithms on the flag manifold; introducing various systems of extrinsic coordinates that allow us to parameterize points, metrics, tangent spaces, geodesics, distances, parallel transports, gradients, Hessians in terms of matrices and matrix operations; and thereby permitting us to formulate steepest descent, conjugate gradient, and Newton algorithms on the flag manifold using only standard numerical linear algebra.

     

Odd symplectic flag manifolds

We define the odd symplectic Grassmannians and flag manifolds, which are smooth projective varieties equipped with an action of the odd symplectic group, analogous to the usual symplectic Grassmannians and flag manifolds. Contrary to the latter, which are the flag manifolds of the symplectic group, the varieties we introduce are not homogeneous. We argue nevertheless that in many respects the odd symplectic Grassmannians and flag manifolds behave like homogeneous varieties; in support of this claim, we compute the automorphism group of the odd symplectic Grassmannians and we prove a Borel-Weil-type theorem for the odd symplectic group.     

A Pieri-type formula for isotropic flag manifolds

We give the formula for multiplying a Schubert class on an odd orthogonal or symplectic flag manifold by a special Schubert class pulled back from the Grassmannian of maximal isotropic subspaces. This is also the formula for multiplying a type (respectively, type ) Schubert polynomial by the Schur -polynomial (respectively, the Schur -polynomial ). Geometric constructions and intermediate results allow us to ultimately deduce this formula from formulas for the classical flag manifold. These intermediate results are concerned with the Bruhat order of the infinite Coxeter group , identities of the structure constants for the Schubert basis of cohomology, and intersections of Schubert varieties. We show that most of these identities follow from the Pieri-type formula, and our analysis leads to a new partial order on the Coxeter group and formulas for many of these structure constants.

     

Quantum cohomology of flag manifolds

We study two aspects of quantum Schubert calculus: a presentation of the (small) quantum cohomology ring of partial flag manifolds and a quantum Giambelli formula. Our proof gives a relationship between universal Schubert polynomials as defined by Fulton and quantum Schubert polynomials, as defined by Fomin, Gelfand, and Postnikov, and later extended by Ciocan-Fontanine. Intersection theory on hyperquot schemes is an essential element of the proof.     

Twisted signatures of flag manifolds

A product formula for some twisted signatures of flag manifolds is proved. The result is used to compute twisted signatures of some flag manifolds from those of Grassmannians, and by that to deduce some upper bounds of the stable span.      

Intersection formulae in flag manifolds

Summary Two sets of generators of the cohomology ring of a complex (incomplete) flag manifold are obtained in terms of Ehresmann classes. Intersection formulae of the bases elements with any Ehresmann class are then given, thus determining the ring structure of the cohomology ring.     

Lagrange transformations and duality for corner and flag singularities

Singularities on a space with a fixed collection of subspaces are studied. Homological objects for the singularities are constructed. A Lagrange transformation of the singularities is defined. It is shown that on the set of the isolated singularities, the Lagrange, transformation is an involution realizing the duality of corresponding homological objects. Supported by grant No. 6836-2-96 of the Israel Science Ministry.     

Finiteness of orbit structure for real flag manifolds

Let G be a reductive real Lie group, an involutive automorphism of G, and L=G the fixed point set of . It is shown that G has only finitely many L-conjugacy classes of parabolic subgroups, so if P is a parabolic subgroup of G then there are only finitely many L-orbits on the real flag manifold G/P. This is done by showing that G has only finitely many L-conjugacy classes of -stable Cartan subgroups. These results extend known facts for the case where G is a complex group and L is a real form of G.Research partially supported by NSF Grant GP-16651.     

Nonholonomic Riemann and Weyl tensors for flag manifolds

On any manifold, any nondegenerate symmetric 2-form (metric) and any nondegenerate skew-symmetric differential form ω can be reduced to a canonical form at any point but not in any neighborhood: the corresponding obstructions are the Riemannian tensor and dω. The obstructions to flatness (to reducibility to a canonical form) are well known for any G-structure, not only for Riemannian or almost symplectic structures. For a manifold with a nonholonomic structure (nonintegrable distribution), the general notions of flatness and obstructions to it, although of huge interest (e.g., in supergravity) were not known until recently, although particular cases have been known for more than a century (e.g., any contact structure is nonholonomically “flat”: it can always be reduced locally to a canonical form). We give a general definition of the nonholonomic analogues of the Riemann tensor and its conformally invariant analogue, the Weyl tensor, in terms of Lie algebra cohomology and quote Premet’s theorems describing these cohomologies. Using Premet’s theorems and the SuperLie package, we calculate the tensors for flag manifolds associated with each maximal parabolic subalgebra of each simple Lie algebra (and in several more cases) and also compute the obstructions to flatness of the G(2)-structure and its nonholonomic superanalogue. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 153, No. 2, pp. 186–219, November, 2007.     

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.     

On Harder-Narasimhan strata in flag manifolds

This paper deals with a question of Fontaine and Rapoport which was posed in [1]. They asked for the determination of the index set of the Harder-Narasimhan vectors of the filtered isocrystals with fixed Newton- and Hodge vector. The aim of this paper is to give an answer to their question.     

The topology of indefinite flag manifolds

Summary In this paper, we will use some techniques in Morse Theory in order to compute the Betti numbers of an indefinite flag manifold. The problem is reduced to compute it for the definite flag manifolds.