A Bosuk-Ulam-kind theorem for simplexes

October 17, 2011

This little note came out of a lunch discussion with NYU grad student Alfredo Hubard earlier this week. I think the problem-solving process was quite amusing hence worth shearing.

Back in kindergarten, we all learned this theorem called ‘at any given time, there are two opposite places on Earth having exactly the same temperature and air pressure’. Yes that’s the Bosuk-Ulam theorem. I remember at some point I came across a much less famous theorem in some kind of discrete/combinatorial geometry, saying:

Theorem: Any map from a n-dimensional simplex to \mathbb{R}^{n-1} must have a pair of intersecting opposite faces.

Note: each k-dimensional face of the n-dimensional simplex has a unique, well-defined (n-1)-k dimensional opposite face, as shown:

Some examples of maps from the 3-simplex to \mathbb{R}^2:

i.e. in general they can be quite a mess. I think it can be proved by Thurston’s simplex straightening argument. (haven’t checked carefully)

To me this is like Bosuk-Ulam except for instead of considering a large amount of antipodal pairs, we consider only finitely many such pairs. Hence a discrete analoge.

However, one should note that although they are of the same nature, neither follows from the other.

So somehow this theorem came up during the lunch and Alfredo mentioned to me that professor Guth wondered whether the theorem can be proved for mappings from the simplex to lower dimensional simplicial complexes (instead of \mathbb{R}^n). i.e.

Question: Given f: \Delta^{n+1} \rightarrow S where \Delta^{n+1} denote the (n+1)-dimensional simplex and S is a n-dimensional simplicical complex. Then must there be a pair of opposite faces with intersecting image?

So we started to throw out random ideas.

First of all, although only boundary faces of the simplex has non-empty opposite faces (hence can possibly be intersecting pair), it is important that f: \Delta^n \rightarrow S is defined on the solid simplex. (i.e. if one just map the boundary, then we may let S be topologically a sphere and make the map a homeomorphism!) So the moral is, we kind of need to ‘claps’ the simplex to a simply connected lower dimensional thing first, then map it to our S, hence S having non-trivial topology won’t be of much help. Looks almost like the \mathbb{R}^n case, doesn’t it?

Perhaps the image on S can be complicated and has non-trivial topology, but this is merely ‘wrapping’ a contractible, n-dimensional thing around. But wrapping around can only cause more overlapping hence making the faces intersecting more, not less.

The above line of thoughts give an immediate proof in the case when S is a surface and n=2: Lift the map to the universal cover and apply the theorem for \mathbb{R}^2. (It’s a little more tricky when the surface is \mathbb{S}^2 but you can work it out~ the map restricted to \partial \Delta must be of even degree) Note this won’t generalize to higher dimensions (even for manifolds) since universal covers are no longer that similar to \mathbb{R}^n.

So what’s the main difference between complexes and manifolds? well, one can have more than two n dimensional faces attached to the same n-1 dimensional face. I decided to first think of whether Bosuk-Ulam is still true if we further assume that the map extends to the solid ball (as seen above, it is true in the surface case).

After trying to generalize that ‘lifting’ proof for a while, we realized the Bosuk-Ulam does not work for simplicial complexes in all dimensions! For very simple reason, i.e. if we map the n-sphere to \mathbb{R}^n by projecting down, the pre-image of the center point is the only pair of antipodal points that’s mapped together. Hence if instead of \mathbb{R}^n we have three n-simplicies attached along a single (n-1)-simplex (think of it as a piece of \mathbb{R}^n with a vertical simplex attached in the middle):

Now we can still project to that piece of \mathbb{R}^n, with the image of antipodal point lying on the middle (n-1) simplex, all we need to do is to separate this pair while not creating new pairs! But this is easy, just ‘drug’ the upper sheet into the third n-simplex a little bit:

(the region outside of the red neibourhood is unchanged) It’s easy to see that no new antipodal pair is moved together.

So now we turned back to the simplex and realized it’s even easier to argue: project in orthogonal direction to a n-face, originally the only intersecting pair of opposite faces was the vertex and that n-face. Now if we lift the vertex int the third sheet, nothing can intersect~

OK~ perhaps not a useful answer but problem solved!

So far I do not know the answer to the following:


1. Is this intersecting faces theorem true for mapping n-simplexes to n-dimensional manifolds?

2. Is the Bosuk-Ulam true if we consider maps from spheres to n-dimensional manifolds which extends to the ball?

The later might be well-known. But so far I can only find a theorem by Conner and Floyd, stating that any map from S^n to a lower dimensional manifold must have a pair of antipodal points mapped together.


One Response to “A Bosuk-Ulam-kind theorem for simplexes”

  1. […] the research side of blogging, Area 777 thought about a Borsuk-Ulam Theorem for simplexes, Gaussianos had a guest post by Carlos Betran […]

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: