After a lot of blank stares, he asked the question again, followed by "c'mon, take a guess. be creative... anyone have any idea? Algebraic topology is so flexible, we can deal with negative dimensional objects very easily." Still a bunch of blank stares. One person then asked if it's the locus of points distance -1 from the origin. Clever, but obviously not right. "Nope, that's the empty set." He continued to ask us the same question... as if by asking us enough times, we'd suddenly go "aha! I can picture it now!" So he finally told us to go home and meditate on it. What a fun class! I'm still meditating, but I still don't have any ideas. Anyone know what he's talking about and want to give a subtle hint?

P.S. Got my colors done--haven't had a chance to take pictures yet.

- Current Mood: amused

## Comments

onhavaonhavamauitianBut, if I'm to guess at the particular craziness... the volume of a n-sphere (so, this would include the "surface area" for the familiar 2-sphere) is

V(n) = r^n (n+1) pi^((n+1)/2) / Gamma(n/2 + 3/2)

which is well defined for all real values of n except negative integers. I'd consider this a clue that the space in question is not compact. So, perhaps he's referring to a n dimensional space of constant negative curvature as a "-n-sphere"? But, nah, he probably means something weirder. But I don't think things like homotopy groups extend naturally to negative n.

Heh -- this is why mathematics can be bad for you. Ask this in your GR class and the prof should give you a dirty look.

mauitianV(-2) = - 1/(pi r^2)

So, err, you're on your own. Good luck with the weirdness.

spoonlessBut I don't think things like homotopy groups extend naturally to negative n.

Actually, negative homotopy groups is exactly the context in which he brought it up. He didn't say how they were defined either, but he assured us that there was a way of defining a &pi_

_{-1}group, etc.So I've mostly been trying to take that as a hint for how they might be defined. Unfortunately, the best I can come up with for making up a natural extension of what I'd want to define &pi_

_{-n}as... is to define it as the group of homotopy classes of continuous injective maps from a space backwards into an n-sphere (since the positive groups are defined as the forwards map). Seems to me this would make sense and give you some non-trivial information about how you can embed the space in other things. However, it doesn't help at all in defining a negative-dimensional sphere since it still uses positive n-spheres. So after coming up with that I threw my hands up.The other idea I keep thinking of, is there must be some way of defining a Cartesian product of degree -n, some way of crossing the unit interval with itself a negative number of times. This would sort of line up with the hint

cocacolaaddictgave (if indeed degree is the word he would have italicized), although even if thatisthe answer, I still have no idea how it would be defined. :) Ah well, if it doesn't come to me soon I'll just have to find out in class on Wednesday.spoonlessas the group of homotopy classes of continuous injective maps

oops, not sure why I wrote injective here, as the non-trivial part would be mapping larger spaces into smaller ones. I doubt this is the way it's defined anyway, though.

(Deleted comment)spoonlessone way of defining it is to formally invert the suspension functor, and then define the negative spheres to be desuspensions of S^0 (which is two points, not one pont, btw).

Aha! This is most likely what he had in mind, as he had talked about suspension maps earlier that day. We haven't discussed them in a category theory context yet, but maybe he's getting to that. Funny thing is, I did briefly think of this... but I thought "nah, there's probably no easy way of defining it" especially since he only talked about going up in dimension and not the other direction (desuspension).

He hasn't used the word spectra yet either, but again... maybe it's coming soon. Perhaps he just wanted to taunt us with this early on before we get far enough that we're not as impressed.

mike_bwanton_adonisonhavawanton_adoniscan you flip a sphere inside out by putting a point force at the center that attracts everything inward, then momentum carries everything back out?

spinemasherFirst of all, we have to recognize that the manner in which we first understand the question is absurd and cannot be answered. That is, if we understand the number of dimensions n to be the number of linearly independent coordinate axises then it's hopeless.

But then that's exactly the mistake. To conceive of a coordinate axis necessitates the existence of a coordinate system in the first place, which means we have a scale by which to measure things (at least locally). Now we know well that not all spaces fall into this definition. So throw it out!

So now what do we mean by "n" dimensions? Well clearly we are talking about some number perhaps an integer perhaps not. Recall that in dynamical theory we run into "fractional dimensions". So really all we want to do is count something and we want to generalize the way in which we count it. Typically, if we count something as being negative we mean a deficit. But more technically we mean the number which is the additive inverse of +1, so that under the binary operation +, we get the additive identity. Now focus on that for a minute together with what in the hell are we counting when we say "n dimensions".

Our next trick is to decide what properties are absolutely vital, that we insist we must keep. Do we keep the Abelian structure of the maps, do we keep isomorphisms (only? none?). In homotopy theory, one aspect of the theory is just how concerned we are with mapping transitivity. Should a triplet of maps with a single common space commute? That's the lift isn't it.

Can we go "backward"? Do the inverse maps exist? In essence we start to realize we are counting something like compositions but not quite because we are also concerned with whole sets of paths and any relevant (preservation of) group structures. Also we should decide what role the base point will play if any.

I hope this was helpful and not just more confusing.