Rational homology of the order complex of zero sets of homogeneous quadratic polynomial systems in \(\mathbb{R}^3\) (Q902066)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rational homology of the order complex of zero sets of homogeneous quadratic polynomial systems in \(\mathbb{R}^3\) |
scientific article |
Statements
Rational homology of the order complex of zero sets of homogeneous quadratic polynomial systems in \(\mathbb{R}^3\) (English)
0 references
7 January 2016
0 references
Let \(W\cong \mathbb{R}^6\) be the space of all real quadratic forms in \(\mathbb{R}^3\), and let \(G_i(W)\) \((i=1,2,\ldots ,5)\) be the Grassmann manifold of \(i\)-dimensional subspaces in \(W\). Note that any collection of points in \(\mathbb{R}\text{P}^2\) defines a vector subspace in \(W\) consisting of all quadratic forms which vanish on all corresponding lines in \(\mathbb{R}^3\). We denote by \(J_i\subset G_{6-i}(W)\) the closure of the union of all points in \(G_{6-i}(W)\) corresponding to such subspaces of codimension \(i\). Recall that the disjoint union \(J_1\bigsqcup J_2\bigsqcup \cdots \bigsqcup J_5\) is a partially ordered set with the order relation defined by the incidence of corresponding subspaces. Consider the join \(J_1*\cdots *J_5\) (i.e. the union of all simplices of dimensions \(\leq 4\) whose vertices correspond to points of different \(J_i\)) and define the ordered complex \(\Psi \subset J_1*\cdots *J_5\) of the partially ordered set as the union of those simplices among them all of whose vertices are incident to one another. Let \(\Psi_p\) be the subspace of \(\Psi\) consisting of those simplices in \(\Psi\) all of whose vertices belong to \(J_1, J_2, \ldots ,J_p\) and we obtain the filtration \[ \Psi_1\subset \Psi_2\subset \cdots \subset \Psi_5=\Psi. \leqno{(*)} \] In this paper the author investigates the rational homology group \(H_*(\Psi; \mathbb{Q})\) by using the spectral sequence \(\{E^r_{t,s}\}\) induced from the above filtration \((*)\). In particular, he studies the stratification of \(\Psi_p\setminus \Psi_{p-1}\) and proves that it is isomorphic to the rational homology of the \(13\) dimensional sphere \(S^{13}\).
0 references
order complex
0 references
quadratic form
0 references
rational homology group
0 references
Borel-Moore homology group
0 references
0 references
0 references