The biflag manifold and the fixed points of a unipotent transformation on the flag manifold (Q1103920): Difference between revisions

Let \(k=(k_ 1,...,k_ d)\) be a d-tuple of nonnegative integers satisfying \(k_ 1\leq...\leq k_ d\leq n\) where n is a positive integer. Let \({\mathcal F}\) denote either the field of real numbers (\({\mathbb{R}})\) or the field of complex numbers (\({\mathbb{C}})\). Then Flag\((k,{\mathcal F}^ n)\) denotes the flag manifold consisting of d-tuples \((s_ 1,...,s_ d)\) where \(s_ i\) is a \(k_ i\) dimensional subspace of \({\mathcal F}^ n\) and \(s_ 1\subseteq...\subseteq s_ d\). Let A be an \(n\times n\) matrix with entries in \({\mathcal F}\). Then Flag\(_ A(k,{\mathcal F}^ n)\) denotes the subvariety of Flag\((k,{\mathcal F}^ n)\) consisting of those flags that are invariant under A. Due to spectral decomposition A is assumed to be a unipotent matrix. If \(p^ i\) is a partition of \(k_ i\), \(i=1,...,d\), then \[ \text{Flag}_ A(k,p,{\mathcal F}^ n) = \{(s_ 1,...,s_ d)\in \text{Flag}_ A(k,{\mathcal F}^ n), \] \[ A| s_ i\text{ has Jordan type \(p^ i,\quad i=1,...,d\)}. \] In the present work the authors investigate the topological structure of Flag\(_ A(k,p,{\mathcal F}^ n).\) They prove that Flag\(_ A(k,p,{\mathcal F}^ n)\) has a compact nonsingular projective variety as a strong deformation retract, which they refer to as a biflag manifold. The authors compute the Betti numbers of the biflag manifold. A partition of the biflag manifold into affine spaces is also considered.