The Grassmannian of indefinite subspaces
Abstract
The homogeneous space Om,n(ℝ)/(Op,q(ℝ) × Om−p,n−q(ℝ)) is an object that has received scant attention, with just two brief mentions in existing literature, and christened the indefinite Grassmannian in one of them. In this article, we develop some of its basic properties, building it from ground up. We will see that, aside from its homogeneous space description, the indefinite Grassmannian may be characterized in several other ways: set-theoretically, it is the manifold of indefinite (p+q)-dimensional subspaces in (m +n)-dimensional space; it is an adjoint orbit of a Lie group; a semialgebraic smooth manifold of matrices; a base space of a principal bundle whose total space is the indefinite Stiefel manifold, a natural corresponding notion. It may also be naturally equipped with various structures, turning the indefinite Grassmannian into a pseudo-Riemannian manifold; a Einstein manifold; a symplectic manifold; and a pseudo-Kähler manifold (last two only over ℂ). As a centerpiece of this article, we establish two attributes of the indefinite Grassmannian in relation to the standard Grassmannian: (i) any Grassmannian has a Whitney stratification whose highest dimensional strata are indefinite Grassmannians; (ii) the indefinite Grassmannian is a strong deformation retract of a product of two Grassmannians, thereby allowing us to completely ascertain the topology of the former. We will also determine some of the indefinite Grassmannian's features that are within reach --- both geometric (Riemann, Ricci, sectional, and scalar curvatures; second fundamental form) and topological (cohomology ring, homotopy groups, characteristic classes).
Related
- The Conformal Grassmannian: A Symplectic Bi-Grassmannian for CFT4 Correlators
- The odd biisotropic symplectic Grassmannian S2Gr(3,7)
- The anisotropic Weyl law and Grassmannian equidistribution
- On explicit formulas for Grassmannian polylogarithms and Gelfand-MacPherson forms
- Existence and multiplicity of solutions for a class of new nonlocal problem with indefinite potential
BibTeX
@misc{wang2026grassmannian,
title = {{The Grassmannian of indefinite subspaces}},
author = {Rongbiao Thomas Wang and Hongquan Yang and Lek-Heng Lim},
howpublished = {arXiv},
year = {2026},
month = aug,
doi = {10.48550/arxiv.2608.30249},
eprint = {2608.30249},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.30249},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The Grassmannian of indefinite subspaces
AU - Rongbiao Thomas Wang
AU - Hongquan Yang
AU - Lek-Heng Lim
PY - 2026
DA - 2026/08/31
PB - arXiv
DO - 10.48550/arxiv.2608.30249
UR - https://arxiv.org/abs/2608.30249
AB - The homogeneous space O_m,n(ℝ)/(O_p,q(ℝ) × O_m−p,n−q(ℝ)) is an object that has received scant attention, with just two brief mentions in existing literature, and christened the indefinite Grassmannian in one of them. In this article, we develop some of its basic properties, building it from ground up. We will see that, aside from its homogeneous space description, the indefinite Grassmannian may be characterized in several other ways: set-theoretically, it is the manifold of indefinite (p+q)-dimensional subspaces in (m +n)-dimensional space; it is an adjoint orbit of a Lie group; a semialgebraic smooth manifold of matrices; a base space of a principal bundle whose total space is the indefinite Stiefel manifold, a natural corresponding notion. It may also be naturally equipped with various structures, turning the indefinite Grassmannian into a pseudo-Riemannian manifold; a Einstein manifold; a symplectic manifold; and a pseudo-Kähler manifold (last two only over ℂ). As a centerpiece of this article, we establish two attributes of the indefinite Grassmannian in relation to the standard Grassmannian: (i) any Grassmannian has a Whitney stratification whose highest dimensional strata are indefinite Grassmannians; (ii) the indefinite Grassmannian is a strong deformation retract of a product of two Grassmannians, thereby allowing us to completely ascertain the topology of the former. We will also determine some of the indefinite Grassmannian's features that are within reach --- both geometric (Riemann, Ricci, sectional, and scalar curvatures; second fundamental form) and topological (cohomology ring, homotopy groups, characteristic classes).
ER -