A possible generalization of the homotopy groups. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T10:46:13Z http://mathoverflow.net/feeds/question/37792 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/37792/a-possible-generalization-of-the-homotopy-groups A possible generalization of the homotopy groups. Daniel Miller 2010-09-05T13:33:45Z 2013-02-16T11:37:22Z <p>The homotopy groups $\pi_{n}(X)$ arise from considering equivalence classes of based maps from the $n$-sphere $S^{n}$ to the space $X$. As is well known, these maps can be composed, giving arise to a group operation. The resulting group contains a great deal of information about the given space. My question is: is there any extra information about a space that can be discovered by considering equivalence classes of based maps from the $n$-tori $T^{n}=S^{1}\times S^{1}\times \cdots \times S^{1}$. In the case of $T^{2}$, it would seem that since any path $S^{1}\to X$ can be "thickened" to create a path $T^{2}\to X$ if $X$ is three-dimensional, the group arising from based paths $T^{2}\to X$ would contain $\pi_{1}(X)$. Perhaps more generally, can useful information be gained by examining equivalence classes of based maps from some arbitrary space $Y$ to a given space $X$.</p> http://mathoverflow.net/questions/37792/a-possible-generalization-of-the-homotopy-groups/37793#37793 Answer by Charles Rezk for A possible generalization of the homotopy groups. Charles Rezk 2010-09-05T14:26:49Z 2010-09-05T14:26:49Z <p>There's always information to be got. But in this case:</p> <ul> <li><p>Based homotopy classes of maps $T^2\to X$ don't form a group! To define a natural function <code>$\mu\colon [T,X]_*\times [T,X]_*\to [T,X]_*$</code>, you need a map $c\colon T\to T\vee T$ (where $\vee$ is one point union). And if you want $\mu$ to be unital, associative, etc., you'll want $c$ to be counital, coassociative, etc. For $T=T^n$ with $n\geq2$, there is no $c$ that is counital. (The usual way to see this is to think about the cohomology $H^*T$ with its cup-product structure.)</p></li> <li><p>The inclusion $S^1\vee S^1\to T^2$ gives a map $$r\colon [T^2,X]_* \to [S^1\vee S^1,X]_*\approx \pi_1X\times \pi_1X.$$ The <em>image</em> of this map will be pairs $(a,b)$ of elements in $\pi_1X$ which commute: $ab=ba$. It won't usually be injective; so there might be something interesting to think about the in preimages $r^{-1}(a,b)$.</p></li> </ul> http://mathoverflow.net/questions/37792/a-possible-generalization-of-the-homotopy-groups/37824#37824 Answer by Daniel Moskovich for A possible generalization of the homotopy groups. Daniel Moskovich 2010-09-05T20:20:41Z 2010-09-05T22:42:36Z <p>Your problem is that $T^n$ is not in general a co-<a href="http://eom.springer.de/m/m064900.htm" rel="nofollow">Moore space</a>. Therefore <a href="http://books.google.com/books?id=XxbW1jzB1qwC&amp;pg=PA460&amp;lpg=PA460&amp;dq=Eckmann-Hilton+duality&amp;source=bl&amp;ots=OePoDequhs&amp;sig=H5URNjMpXwHtvPsUV6Jd9xRU8rQ&amp;hl=en&amp;ei=IOuDTOW2IKeynAeck4jeAQ&amp;sa=X&amp;oi=book_result&amp;ct=result&amp;resnum=10&amp;ved=0CD8Q6AEwCQ#v=onepage&amp;q=Eckmann-Hilton%20duality&amp;f=false" rel="nofollow">Eckmann-Hilton duality</a> breaks down, as the dual spaces no longer form a <a href="http://en.wikipedia.org/wiki/Spectrum_(homotopy_theory)" rel="nofollow">spectrum</a>, and there would be no (co)homology theory dual to such a "homotopy theory". Thus, a theory of homotopy classes of pointed maps from $T^n$ to $X$ would be much less interesting than a theory of homotopy classes of pointed maps from $S^n$ to $X$.<br><br> On the other hand, the study of homotopy classes of pointed maps from a co-Moore space other than $S^n$ to $X$ does lead to useful theories of homotopy with coefficients. I believe these classify $X$ up to homotopy equivalence.</p> http://mathoverflow.net/questions/37792/a-possible-generalization-of-the-homotopy-groups/37960#37960 Answer by Mark Grant for A possible generalization of the homotopy groups. Mark Grant 2010-09-07T09:03:22Z 2010-09-07T12:25:48Z <p>Back in the 1940's, Ralph Fox defined something called the <em>torus homotopy group</em>. For a based space $(Y,y_0)$ and natural number $r$, the $r$-dimensional torus homotopy group $\tau_r(Y,y_0)$ is just the fundamental group of the mapping space ${\rm map}(T^{r-1},Y)$, based at the constant map (where $T^{r-1}$ is of course a torus). </p> <p>The group $\tau_r(Y,y_0)$ contains isomorphic copies of $\pi_n(Y,y_0)$ for all $n\leq r$. Also, Whitehead products become commutators in the torus homotopy group. By passing to the limit over $r$ one obtains the <em>(infinite) torus homotopy group</em> $\tau(Y, y_0)$, which contains all of the homotopy information of $Y$ in one place!</p> <p>Unfortunately for Fox, the idea doesn't seem to have caught on (although I hear he had a few others which did). MathSciNet only turns up 11 papers containing the phrase "torus homotopy groups" (although the most recent is from 2007). </p> http://mathoverflow.net/questions/37792/a-possible-generalization-of-the-homotopy-groups/41003#41003 Answer by Ronnie Brown for A possible generalization of the homotopy groups. Ronnie Brown 2010-10-04T09:57:53Z 2013-02-16T11:37:22Z <p>I was told by Brian Griffiths that Fox was hoping to obtain a generalisation of the van Kampen theorem and so continue work of J.H.C Whitehead on <em>adding relations to homotopy groups</em> (see his 1941 paper with that title). </p> <p>However if one frees oneself from the base point fixation one might be led to consider Loday's cat$^n$-group of a based $(n+1)$-ad, $X_*=(X;X_1, \ldots, X_n)$; let $\Phi X_*$ be the space of maps $I^n \to X$ which take the faces of the $n$-cube $I^n$ in direction $i$ into $X_i$ and the vertices to the base point. Then $\Phi$ has compositions $+_i$ in direction $i$ which form a <em>lax</em> $n$-fold groupoid. However the group $\Pi X_*= \pi_1(\Phi, x)$, where $x$ is the constant map at the base point $x$, inherits these compositions to become a cat$^n$-group, i.e. a strict $n$-fold groupoid internal to the category of groups (the proof is non trivial). </p> <p>There is a Higher Homotopy van Kampen Theorem for this functor $\Pi$ which enables some new nonabelian calculations in homotopy theory (see our paper in Topology 26 (1987) 311-334). </p> <p>So a key step is to move from spaces with base point to certain structured spaces. </p> <p>Comment Feb 16, 2013: The workers in algebraic topology near the beginning of the 20th century were looking for higher dimensional versions of the fundamental group, since they knew that the nonabelian fundamental group was useful in problems of analysis and geometry. In 1932, Cech submitted a paper on Higher Homotopy Groups to the ICM at Zurich, but Alexandroff and Hopf quickly proved the groups were abelian for $n >1$ and on these grounds persuaded Cech to withdraw his paper, so that only a small paragraph appeared in the Proceedings. It is reported that Hurewicz attended that conference. In due course, the idea of higher versions of the fundamental group came to be seen as a mirage. </p> <p>One explanation of the abelian nature of the higher homotopy groups is that <em>group objects in the category of groups are abelian groups</em>, as a result of the interchange law, also called the Eckmann-Hilton argument. However <em>group objects in the category of groupoids</em> are equivalent to <em>crossed modules</em>, and so are in some sense "more nonabelian" than groups. Crossed modules were first defined by J.H.C. Whitehead, 1946, in relation to second relative homotopy groups. This leads to the possibility, now realised, of "higher homotopy groupoids", Higher Homotopy Seifert-van Kampen Theorems, and the notions of <a href="http://pages.bangor.ac.uk/~mas010/hdawb2.htm" rel="nofollow">higher dimensional group theory</a>. </p>