Search

We give a description of the mod 2 cohomology algebra of the oriented Grassmann manifold $\widetilde G_{2^t,4}$ as the quotient of a polynomial algebra by a certain ideal. In the process we find a Gr\"obner basis for that ideal, which we then use to exhibit an additive basis for $H^*(\widetilde G_{2^t,4};\mathbb Z_2)$.

We study the $\mathbb Z_2$-zero-divisor cup-length, denoted by $\operatorname{zcl}_{\mathbb Z_2}(\widetilde G_{n,3})$, of the Grassmann manifolds $\widetilde G_{n,3}$ of oriented $3$-dimensional vector subspaces in $\mathbb R^n$. Some lower and upper bounds for this invariant are obtained for all integers $n\ge6$. For infinitely many of them the exact value of $\operatorname{zcl}_{\mathbb Z_2}(\widetilde G_{n,3})$ is computed, and in the rest of the cases these bounds differ by 1. We thus establish lower bounds for the topological complexity of Grassmannians $\widetilde G_{n,3}$.

For $n\in\{2^t-3,2^t-2,2^t-1\}$ ($t\ge3$) we study the cohomology algebra $H^*(\widetilde G_{n,3};\mathbb Z_2)$ of the Grassmann manifold $\widetilde G_{n,3}$ of oriented $3$-dimensional subspaces of $\mathbb R^n$. A complete description of $H^*(\widetilde G_{n,3};\mathbb Z_2)$ is given in the cases $n=2^t-3$ and $n=2^t-2$, while in the case $n=2^t-1$ we obtain a description complete up to a coefficient from $\mathbb Z_2$., Comment: 15 pages

For $n$ a power of two, we give a complete description of the cohomology algebra $H^*(\widetilde G_{n,3};\mathbb Z_2)$ of the Grassmann manifold $\widetilde G_{n,3}$ of oriented $3$-planes in $\mathbb R^n$. We do this by finding a reduced Gr\"obner basis for an ideal closely related to this cohomology algebra. Using this Gr\"obner basis we also present an additive basis for $H^*(\widetilde G_{n,3};\mathbb Z_2)$.

The aim of this paper is to prove a conjecture made by T. Fukaya in 2008. This conjecture concerns the exact value of the $\mathbb Z_2$-cup-length of the Grassmann manifold $\widetilde G_{n,3}$ of oriented $3$-planes in $\mathbb R^n$. Along the way, we calculate the heights of the Stiefel--Whitney classes of the canonical vector bundle over $\widetilde G_{n,3}$.

A Gr\"obner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds., Comment: This is a preprint from 2011. It is already cited in arXiv:1305.0420 [math.AT] as well as in some other already published papers, so we have decided to make it available

Grassmann manifolds $G_{k,n}$ are among the central objects in geometry and topology. The Borel picture of the mod 2 cohomology of $G_{k,n}$ is given as a polynomial algebra modulo a certain ideal $I_{k,n}$. The purpose of this paper is to understand this cohomology via Gr\"obner bases. Reduced Gr\"obner bases for the ideals $I_{k,n}$ are determined. An application of these bases is given by proving an immersion theorem for Grassmann manifolds $G_{5,n}$, which establishes new immersions for an infinite family of these manifolds.

Following Ghomi and Tabachnikov we study topological obstructions to totally skew embeddings of a smooth manifold M in Euclidean spaces. This problem is naturally related to the question of estimating the geometric dimension of the stable normal bundle of the configuration space F_2(M) of ordered pairs of distinct points in M. We demonstrate that in a number of interesting cases the lower bounds obtained by this method are quite accurate and very close to the best known general upper bound. We also provide some evidence for the conjecture that each n-dimensional, compact smooth manifold M^n (n>1), admits a totally skew embedding in the Euclidean space of dimension N = 4n-2alpha(n)+1 where alpha(n)=number of non-zero digits in the binary representation of n. This is a revised version of the paper (accepted for publication in A.M.S. Transactions).