Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userBorsuk-Ulam theorems for products of spheres and Stiefel manifolds revisited
227
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(mathbb{Z}/2)^k$-equivariant maps from a product of $k$ spheres to the unit sphere in a real $(mathbb{Z}/2)^k$-representation of the same dimension. Our proof method allows us to derive Borsuk--Ulam theorems for certain equivariant maps from Stiefel manifolds, from the corresponding results about products of spheres, leading to alternative proofs and extensions of some results of Fadell and Husseini.
rate research
Read More
Thickenings of a metric space capture local geometric properties of the space. Here we exhibit applications of lower bounding the topology of thickenings of the circle and more generally the sphere. We explain interconnections with the geometry of circle actions on Euclidean space, the structure of zeros of trigonometric polynomials, and theorems of Borsuk-Ulam type. We use the combinatorial and geometric structure of the convex hull of orbits of circle actions on Euclidean space to give geometric proofs of the homotopy type of metric thickenings of the circle. Homotopical connectivity bounds of thickenings of the sphere allow us to prove that a weighted average of function values of odd maps $S^n to mathbb{R}^{n+2}$ on a small diameter set is zero. We prove an additional generalization of the Borsuk-Ulam theorem for odd maps $S^{2n-1} to mathbb{R}^{2kn+2n-1}$. We prove such results for odd maps from the circle to any Euclidean space with optimal quantitative bounds. This in turn implies that any raked homogeneous trigonometric polynomial has a zero on a subset of the circle of a specific diameter; these results are optimal.
The main result of this note is a parametrized version of the Borsuk-Ulam theorem. We show that for a continuous family of Borsuk-Ulam situations, parameterized by points of a compact manifold W, its solution set also depends continuously on the parameter space W. Continuity here means that the solution set supports a homology class which maps onto the fundamental class of W. When W is a subset of Euclidean space, we also show how to construct such a continuous family starting from a family depending in the same way continuously on the points of the boundary of W. This solves a problem related to a conjecture which is relevant for the construction of equilibrium strategies in repeated two-player games with incomplete information. A new method (of independent interest) used in this context is a canonical symmetric squaring construction in Cech homology with coefficients in Z/2Z.
A Grobner 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.
In this paper we study the boundedness of extension operators associated with spheres in vector spaces over finite fields.In even dimensions, we estimate the number of incidences between spheres and points in the translated set from a subset of spheres. As a result, we improve the Tomas-Stein exponents, our previous results. The analytic approach and the explicit formula for Fourier transform of the characteristic function on spheres play an important role to get good bounds for exponential sums.
For oriented connected closed manifolds of the same dimension, there is a transitive relation: $M$ dominates $N$, or $M ge N$, if there exists a continuous map of non-zero degree from $M$ onto $N$. Section 1 is a reminder on the notion of degree (Brouwer, Hopf), Section 2 shows examples of domination and a first set of obstructions to domination due to Hopf, and Section 3 describes obstructions in terms of Gromovs simplicial volume. In Section 4 we address the particular question of when a given manifold can (or cannot) be dominated by a product. These considerations suggest a notion for groups (fundamental groups), due to D. Kotschick and C. Loh: a group is presentable by a product if it contains two infinite commuting subgroups which generate a subgroup of finite index. The last section shows a small sample of groups which are not presentable by products; examples include appropriate Coxeter groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
