Search arXiv⌕ Search

arXiv · 1709.10492

Orthogonal shadows and index of Grassmann manifolds

Abstract

In this paper we study the $\Z/2$ action on real Grassmann manifolds $G_{n}(\R^{2n})$ and $\widetilde{G}_{n}(\R^{2n})$ given by taking (appropriately oriented) orthogonal complement. We completely evaluate the related $\Z/2$ Fadell--Husseini index utilizing a novel computation of the Stiefel--Whitney classes of the wreath product of a vector bundle. These results are used to establish the following geometric result about the orthogonal shadows of a convex body: For $n=2^a (2 b+1)$, $k=2^{a+1}-1$, $C$ a convex body in $\R^{2n}$, and $k$ real valued functions $α_1,\ldots,α_k$ continuous on convex bodies in $\R^{2n}$ with respect to the Hausdorff metric, there exists a subspace $V\subseteq\R^{2n}$ such that projections of $C$ to $V$ and its orthogonal complement $V^{\perp}$ have the same value with respect to each function $α_i$, which is $α_i (p_V(C))=α_i (p_{V^\perp} (C))$ for all $1\leq i\leq k$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Djordje Baralić, Pavle V. M. Blagojević, Roman Karasev, Aleksandar Vučić. 2018-06-14. Orthogonal shadows and index of Grassmann manifolds. https://doi.org/10.1515/forum-2018-0058

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On The Rational Realization of Even-dimensional Spheres and Products of Eilenberg--MacLane Spaces as Classifying Spaces

In this paper, we study the rational realization problem for the classifying space $B\mathrm{aut}_1(X)$. We prove that if $S^{2n}$ is realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for a simply-connected space $X$, then $X$ is $π$-infinite and has vanishing rational Gottlieb elements above degree $2n-1$. In particular, even-dimensional spheres cannot be realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for any simply-connected $π$-finite space $X$. We also prove that, for all $n\geq 2$ and $s,t\geq 1$, the product of Eilenberg--MacLane spaces $K(\mathbb{Q}^s,n)\times K(\mathbb{Q}^t,n+1)$ cannot be realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for any simply-connected $π$-finite space $X$. Moreover, we prove that if $r\geq 2$, $n\geq 3$ and $K(\mathbb{Q}^r,n)$ is realized as $B\mathrm{aut}_1(X)_{\mathbb{Q}}$ for a simply-connected $π$-finite space $X$, then $X$ has the rational homotopy type of $K(\mathbb{Q}^r,n-1)$. The proofs are based on two structural results for Gottlieb elements in the derivation Lie algebra of a Sullivan minimal model, which provide a uniform method for these realization problems.

math.AT↗

A complete classification of the rational realization of gap-two products of Eilenberg--MacLane spaces as classifying spaces

In this paper, we study the rational realization of the gap-two product $K(\mathbb{Q},n)\times K(\mathbb{Q},n+2)$ as the classifying space $B\mathrm{aut}_1(X)$ for a simply-connected $π$-finite space $X$ with rational homology of finite type. We prove that $K(\mathbb{Q},n)\times K(\mathbb{Q},n+2)$ can be realized as $B\mathrm{aut}_1(X)$ up to rational homotopy equivalence if and only if $n=3,4$ or $4m+2$ for $m\geq 1$. Moreover, we determine all their minimal Sullivan models up to isomorphism. The rational homotopy type of such $X$ is unique for $n=3$ or $4m+2$ for $m\geq 1$; there exist infinitely many rational homotopy types of such $X$ for $n=4$.

math.AT↗