User some guy on the street - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T13:38:41Z http://mathoverflow.net/feeds/user/1631 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices Discrete disjoint covering of integer lattices some guy on the street 2013-05-07T16:20:44Z 2013-05-09T14:53:12Z <p>Is there a covering of $\mathbb{Z}^n$ by disjoint translates of the <s>basis-and-origin</s> minimal integer $n$-simplex? By haphazard I have such coverings for $\mathbb{Z}$, $\mathbb{Z}^2$ and $\mathbb{Z}^3$, where the wanted translations are lattices spanned by $\{2\}$, $\{(2,-1),(-1,2)\}$, and $\{(1,1,-1),(1,-1,1),(-1,1,1)\}$, but rhyme nor reason can I see in this sequence of families to extend.</p> http://mathoverflow.net/questions/116556/status-of-the-isomorphism-problem-for-automatic-groups Status of the Isomorphism problem for automatic groups? some guy on the street 2012-12-17T00:39:43Z 2012-12-17T01:16:24Z <p>I only ask because I don't know how to look for the answer.</p> http://mathoverflow.net/questions/104206/conventional-names-for-finite-categories/104220#104220 Answer by some guy on the street for Conventional names for finite categories some guy on the street 2012-08-07T18:44:54Z 2012-08-07T18:44:54Z <p>I notice that the categories considered for naming here are all the domains, or shapes, of basic <em>diagrams</em>; an object, an arrow, an endomorphism (n.b., my instinct was just to call that $\mathbb{N}$), a composable sequence, parallel arrows, equalized arrows... Not that diagrams <em>in</em> these categories aren't also interesting (a composable sequence in a composable sequence category, e.g., is well-worth half-an-hour's thought), but as diagram domains is where they all come up first for most of us; so why not call them what they are?</p> <ul> <li>$\fbox{$\phantom{X}$}$, the trivial diagram domain/the shape of the empty diagram</li> <li>$\fbox{$\bullet$}$, the <em>object</em> diagram domain/the shape of an object</li> <li>$\fbox{$\overset\bullet\circlearrowleft$}$, the endomorphism diagram domain/the shape of an endomorphism...</li> </ul> <p>Of course, to establish a convention, one must write a famous textbook. Good luck with that!</p> http://mathoverflow.net/questions/97718/what-is-the-precise-relationship-between-prodsimplicial-sets-and-rooted-trees/97722#97722 Answer by some guy on the street for What is the precise relationship between "prodsimplicial sets" and rooted trees? some guy on the street 2012-05-23T05:40:09Z 2012-05-23T05:40:09Z <p>There are a short list of operations described as generating the desired polyhedra: </p> <ul> <li>$X : \mathrm{Prism} \vdash C X : \mathrm{Prism}$ </li> <li>$l : \mathrm{list}\ \mathrm{Prism} \vdash \Pi l : \mathrm{Prism}$ </li> </ul> <p>There are a short list of operations needed to generate the family of rooted trees:</p> <ul> <li>$T : \mathrm{Tree}\ \vdash \mathrm{Stem}\ T : \mathrm{Tree}$</li> <li>$F : \mathrm{list}\ \mathrm{Tree}\ \vdash \mathrm{graft}\ F : \mathrm{Tree}$</li> </ul> <p>That makes the correspondence obvious; the distinction is in the semantics of prisms vs. trees.</p> <p>Now, the generators I've given would seem to distinguish between $\Pi (\Pi (A, B), C)$ and $\Pi (A, B, C)$, just as they seem to distinguish between ... , well, I'd have to draw pictures, and I don't really want to. I think that's quite alright, I don't mind many isomorphic polyhedra having distinct descriptions. But if that worries you, you can argue that the strange plurality of trees is isomorphic to the strange plurality of products in a natural way. And that should be enough.</p> http://mathoverflow.net/questions/94513/tracking-spectral-sequence-differentials/94594#94594 Answer by some guy on the street for Tracking spectral sequence differentials some guy on the street 2012-04-20T02:57:28Z 2012-04-20T02:57:28Z <p>Without meaning to be snarky, I think there's some confusion here about what spectral sequences are for. In particular, the sense in which a SpSeq (or even a long exact sequence!) serves as a computational tool isn't that it tells you how to calculate things --- particularly, not how to calculate the things in it. Rather, it gives you a way to organize things you already know how to calculate; maybe it suggests a helpful summary of your calculations; and it will certainly remind you of what things you don't already know --- it will provide helpful questions to consider --- if you try to squeeze modules out of it.</p> <p>As a small example, the usual snake-shapped diagram chase proving the isomorphism of, e.g. de-Rham and real Čech cohomology, is neatly summarized by noting that there's a related double complex which is very nearly exact in every way, and thus all the later pages are mostly zero, while the transgression is an isomorphism. We get a proof, because we already know what enough of the modules and differentials are.</p> <p>If you really want to ask what the pages and differentials of some SpSeq are, there are algorithmic tools (i.e., programmes --- usually not suitable for human consumption!), provided you can properly specify what your particular spectral sequence is about. See e.g. (Ana Romero's thesis)<a href="http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Ana-Thesis.pdf" rel="nofollow">1</a>, building on homological perturbation lemmata (start at <a href="http://ncatlab.org/nlab/show/homological+perturbation+theory" rel="nofollow">2</a>).</p> http://mathoverflow.net/questions/90016/the-most-general-context-of-mathers-cube-theorems The most general context of Mather's Cube Theorems some guy on the street 2012-03-02T07:13:04Z 2012-03-03T16:09:29Z <p>Quite simply, I'd like to know what is the broadest or most natural context in which either (or both) of Mather's cube theorems hold. If you like, this may mean any of</p> <ul> <li>What properties of $Top$ or $Top^*$ are essential to the proofs?</li> <li>(where) are model/homotopical categories verifying Mather's theorems studied as such in the literature?</li> <li>Are there more examples known verifying Mather's theorems?</li> </ul> <p>I ask because Mather's proof strikes me as fairly gritty and seems to rely on explicit cellular constructions.</p> <hr> <p>For reference, the cube theorems concern a cubical diagram whose faces commute up to homotopy in a coherent way, and assert</p> <ol> <li>If one pair of opposite faces are homotopy push-outs and the two remaining faces adjecent the source vertex are homotopy pull-backs, then the final two faces are also homotopy pull-backs</li> <li>If two pairs of opposite faces are homotopy pull-backs, and the remaining face adjacent the target vertex is a homotopy push-out, then the remaining face is a homotopy push-out.</li> </ol> http://mathoverflow.net/questions/87501/a-programming-language-that-can-only-create-algorithms-with-polynomial-runtime/87503#87503 Answer by some guy on the street for A programming language that can only create algorithms with polynomial runtime? some guy on the street 2012-02-04T02:58:59Z 2012-02-04T02:58:59Z <p>If I understand the paper's abstract, <a href="http://www.cs.toronto.edu/~sacook/homepage/ptime.pdf" rel="nofollow">Yes</a>.</p> http://mathoverflow.net/questions/75303/thoms-principle-rich-structures-are-more-numerous-in-low-dimension/75324#75324 Answer by some guy on the street for Thom's Principle: rich structures are more numerous in low dimension some guy on the street 2011-09-13T15:44:22Z 2011-09-13T15:44:22Z <h3>Pro</h3> <p>I think the examples given are instances of Guy's "strong law of small numbers". That seems at least poetic reason for low-dimensional specializations of your favorite theory to be different in character from high-dimensional specializations.</p> <h3>Con</h3> <p>An example of increasing richness indicating Thom was thinking about something else:</p> <ul> <li>"The" connected 0-manifold is a point</li> <li>"The" connected compact 1-manifold is a circle</li> <li>Connected compact 2-manifolds are connect sums of tori or of projective planes; they are uniformizable.</li> <li>Connected compact smooth 3-manifolds are piecewise geometrizable, where the joints are among spheres and tori.</li> <li>Connected compact $(3+n)$-manifolds "solve" the word problem for groups; particularly weird: there are smooth examples that have contractible stable closed periodic geodesics in <em>any smooth metric</em>.</li> </ul> <p>This is sort-of what I'd call <em>rigidity</em> in low dimensions, and <em>richness</em> in high dimensions. Perhaps the <em>theories</em> in low dimension are richer in the sense that there are more universal statements we can prove, but there seems to be a greater wealth of useful examples in higher dimension.</p> <p>Whether this is an instance of Thom's principle as quoted or an exception, it is still an instance of Guy's law, in that the low-dimensional behaviour isn't representative of high-dimensional behaviour.</p> http://mathoverflow.net/questions/74214/examples-where-its-useful-to-know-that-a-mathematical-object-belongs-to-some-fam/74322#74322 Answer by some guy on the street for Examples where it's useful to know that a mathematical object belongs to some family of objects some guy on the street 2011-09-02T01:29:04Z 2011-09-02T17:15:38Z <p>I have two related sorts of example to suggest, probably exhibiting my categorical bias vs. the analytic/geometric-topology weight of the preceding examples.</p> <h3>Galois-theoretic</h3> <p>Let $P\in K[x]$ be an irreducible (separable) polynomial of degree $n$ over a field $K$, and consider the extension field $L = F[x]/(P)$. It is fruitful (i.e., it's the whole categorical view of Galois theory) to view $L$ as one of serveral isomorphic extensions, with possibly non-trivial automorphism group relative to $F$. In one sense, everything you might wish to know about $L$ and $K$ is contained in your ability to understand $K$ and $P$, but it's evidently fruitful to look at commutative diagrams $L//F\to L'//F$</p> <h3>Topological-algebraic</h3> <p>So you want to understand some algebraic gadget? A vector space/lie algebra/group? Then study bundles of such things!</p> <p>For example, it can be a bit stifling to think of a Lie algebra of a Lie group as the tangent space at the identity. Sometimes it's better to think of it as either space of half-invariant vector fields; and then the Lie bracket is given by the Lie bracket! (ha-hah!) But there is plenty of room to study other things, exploting the bundle of isomorphic Lie algebras.</p> <p>Other times it's helpful to study the universal bundle $EG\to BG$ of some discrete group $G$. These realise the group both as a particular fiber and as the fundamental group of $BG$ at your favourite basepoint, and so you learn things about the group (e.g. related homology functors) by studying the whole collection of groups $\pi_1(BG,b)$ and torsors $EG_b$ for $b\in BG$.</p> http://mathoverflow.net/questions/72928/connecting-group-ring-abelianization Connecting group ring, abelianization some guy on the street 2011-08-15T13:55:30Z 2011-08-15T13:55:30Z <p>For reasons arising in algebraic topology, I'm wanting to better understand the relations between two functors from groups to abelian groups, $\mathbb{Z}[\cdot]$ and $\operatorname{ab}$; group ring and abelianization.</p> <p>Specifically, we can extend the homomorphism $G\to \operatorname{ab}(G)$ to an additive map $\mathbb{Z}[G]\to \operatorname{ab}(G)$, and this map is clearly natural. It seems too vague to ask "what should I do with this next?", so instead the question is</p> <blockquote> <p>What references are there that consider this natural transformation?</p> </blockquote> <p>For instance, I'd be immensely pleased if this is a good way to start a free resolution of $\operatorname{ab}$ without forgetting too much about $G$, and to learn what's the natural way to continue... but I'm not picky! You'll understand when I complain that automatic search-engines aren't too helpful in looking for anonymous natural transformations.</p> <p>Thanks.</p> http://mathoverflow.net/questions/71008/whats-so-difficult-about-pi-15so What's so difficult about $\pi_{15}(SO)$? some guy on the street 2011-07-22T17:09:56Z 2011-07-22T17:09:56Z <p>Regarding the table of $SO(n)$s-of-origin in Davis+Mahowald (<a href="http://www.ams.org/mathscinet/search/publdoc.html?arg3=&amp;co4=AND&amp;co5=AND&amp;co6=AND&amp;co7=AND&amp;dr=all&amp;pg4=MR&amp;pg5=RT&amp;pg6=PC&amp;pg7=ALLF&amp;pg8=ET&amp;r=1&amp;review_format=html&amp;s4=1005425&amp;s5=&amp;s6=&amp;s7=&amp;s8=All&amp;vfpref=html&amp;yearRangeFirst=&amp;yearRangeSecond=&amp;yrop=eq" rel="nofollow">if you can get MathSciNet</a>), is there a <em>good reason</em> that it should take longer for $\pi_{15}(SO)$ to be representable than $\pi_{19}(SO)$, which is already fully representable in $SO(11)$?</p> http://mathoverflow.net/questions/65863/topological-localization-of-the-simply-connected-cover-of-so-or-spin Topological Localization of (the simply-connected cover of) SO or Spin some guy on the street 2011-05-24T15:33:57Z 2011-05-25T09:37:24Z <p>This is essentially a (cw) reference request, because it seems like the sort of thing that should have been looked at already.</p> <p>Setting aside, for now, how to think what the localization of a general <em>space</em> is really; what's the right way to think about localization of $SO(n)$ --- or, if that doesn't make sense, of $Spin(n)$ --- <em>as a space</em>? (whether Sulivan's construction or Bousfield-Kan or ...)</p> <p>some points of curiosity: Is it still a homotopy group? Is it better known as something else? Is there any good interaction between the algebraic side of localization and the group structure?</p> http://mathoverflow.net/questions/63602/homology-or-cohomology/63676#63676 Answer by some guy on the street for Homology or cohomology? some guy on the street 2011-05-02T05:00:05Z 2011-05-02T05:00:05Z <p>(CW because it's more an over-long comment than a real answer.)</p> <p>I think there are too many competing normalizations to make a good choice. In lieu of sensible default, call one of them homology, and call the other cohomology and I'm sure it'll be fine. This is also probably why someone worked out the language "left-derived" and "right-derived".</p> <p>Personally, I think the distinction between "homological" and "cohomological" chain complexes is artificial; what <em>might</em> make a chain complex "co"-chain is that it was initially zero, whereas "really-chain" complexes might be eventually zero. Of course, we're often interested in things that do both, and things that do neither --- e.g. either theory on manifolds, or geometric K theory and elliptic cohomology. Anyways, if you're playing with chain complexes, I'd always call the kernel-mod-image construction the "homology" of a chain complex. We'd reserve the right to write "cohomology of X" for the homology of a contravariant construction from X, but it's still a homology of something.</p> <p>Historically, "Homology" comes from a relation that Poincar&eacute; described on submanifolds of a manifold; there are both covariant and contravariant ways to make this functorial and algebraic on the category of smooth manifolds; for eitehr one you probably have to deal with singular submanifolds eventually. The contravariant one is called cobordism[1] these days and is represented by a spectrum indexed by <em>codimension</em>. There <em>is</em> that theorem that all reasonable "cohomology" theories on spaces are corepresentable; there are reasonable representable homology theories (like homotopy), and there are homology theories that aren't representable (like singular homology of spaces, iirc). Perhaps if your things are always corepresenable it'd be reasonable to call them cohomologies.</p> <p>[1] That's "co" meaning "together", not "dual". That is, two things may be "co-bordant"; not that "co-bordisms" pair with bordisms. Although, I suppose they might, anyways...</p> http://mathoverflow.net/questions/60884/limits-are-terminal-objects-in-another-category-when-are-they-colimits-of-ano Limits are terminal objects in another category; (when) are they colimits of (another diagram)? some guy on the street 2011-04-07T04:42:50Z 2011-04-07T21:02:41Z <p>Let $C$ be a category with finite limits; that is, for any finite category $D$ and functor $F:D\to C$ the category $\mathrm{Cone} F$ of cones over $F$ is inhabited and has terminal objects (we could turn the morphisms around and call the limit an <em>initial</em> obect, but never mind).</p> <p>That is, define $$(A,\phi): \mathrm{Cone} F \iff \phi:Nat(\Delta_A, F)$$ where $\Delta_A(d) = A$ and $\Delta_A(\delta:d\to d')= 1_A$; and for $(A,\phi),(B,\psi):\mathrm{Cone} F$ define $$\mathrm{Cone}F((A,\phi),(B,\psi)) = \{ f:A\to B \mid \phi_d = \psi_d\circ f\} .$$ A <em>limit</em> for $F$ is a terminal object $(H,\eta)$ in $\mathrm{Cone}F$.</p> <p>Now there is an obvious forgetful functor $F^\perp: \mathrm{Cone} F \to C$ with $F^\perp(A,\phi)=A$. More: for any limit $(H,\eta)$ there is a co-cone $(H,\chi)$ with $\chi_\phi:F^\perp(\phi)\to H$, the unique one showing that $(H,\eta)$ IS a limit. For any co-cone $(A,c)$ under $F^\perp$, there is by hypothesis a morphism $c_\eta:H\to A$, again by hypothesis making everything commute that should; thus $\chi$ ( $\eta$ (or $H$)) is <em>versal</em> for cocones under $F^\perp$.</p> <p>I'd <em>like</em> to eventually conclude that $H$ is <em>universal</em> --- that $c_\eta$ is the only thing making everything commute where it should, so that $\chi$ makes $H$ a colimit for $F^\perp$, but from the diagrams, I'm afraid it probably doesn't.</p> <p>Are there supplementary assumptions that'll make everything work out nicely? Does it work out nicely and I just don't see it?</p> <p>Or maybe I'm wrong about something!? That'd be OK, too.</p> http://mathoverflow.net/questions/60877/geometric-meaning-of-torsion-in-homotopy-groups/60881#60881 Answer by some guy on the street for Geometric meaning of torsion in homotopy groups some guy on the street 2011-04-07T03:55:56Z 2011-04-07T13:07:36Z <p>Well, the silly answer is that $f:\mathbb{S}^k\to X$ represents a torsion element of order $p$ if $p \cdot f:\mathbb{S}^k\to X$ extends along $\mathbb{S}^k \hookrightarrow D^{k+1}$ to a map $\varphi: D^{k+1}\to X$.</p> <p>The slightly less silly answer --- the slightly deeper answer, that is --- is that, equivalently, $f$ itself extends to a map $\tilde f: P^{k+1}(p)\to X$. Here $P^{k+1}(p)$ is the CW complex built of a point, a $k$-cell and a $(k+1)$-cell, where the $(k+1)$-cell is attached by a degree-$p$ map ${"p}$; and it's called the $(k+1)$th (cyclic) Moore space of order $p$.</p> <p>For any $p$ the Moore spaces form a suspension spectrum $P^{k+1}(p) \simeq \mathbb{S}^1\wedge P^k(p)$, and there is in fact a long cofibration sequence $$\mathbb{S}^1 \overset{"p}{\to} \mathbb{S}^1 \to P^2(p) \to \mathbb{S}^2 \overset{"p}{\to} \dots$$ which gives rise to a long exact sequence of generalized homotopy groups $$\pi_1(X) \leftarrow \pi_2(X,p) \leftarrow \pi_2(X) \overset{p}{\leftarrow} \pi_2(X) \leftarrow \pi_3(X,p)\leftarrow \cdots$$ which in turn, for $n$ large enough, breaks up into the homotopy Universal Coefficient Theorem $$0\leftarrow \mathrm{Tor}(\pi_n(X),\mathbb{Z}/(p)) \leftarrow \pi_{n+1}(X,p) \leftarrow \pi_{n+1}(X)\otimes \mathbb{Z}/(p) \leftarrow 0.$$</p> <p>The letter $P$ is used here because, at least because they have also been called <em>Peterson</em> spaces, and maybe because $P^2(2)\simeq \mathbb{RP}^2$ is the real projective plane.</p> <hr> <p>Note that I'm using the letter $p$ because when I worry about these things $p$ is usually prime, but that's not necessary in the above.</p> <hr> <p>We give up continuing the sequence at the first $\pi_1(X)$ because, without more information, it's not clear that $({"p})_\sharp$ should be a group homomorphism. Someone else can remind me what we can still say about the underlying sets.</p> http://mathoverflow.net/questions/21387/contractability-of-exotic-r4s Contractability of Exotic R^4s some guy on the street 2010-04-14T20:43:04Z 2011-03-16T00:22:13Z <p>Notation: $\mathbf{R}^4$ is a smooth manifold with underlying topology $(\mathbb{R})^4$; ${\mathbb{R}}^4$ is the standard smooth structure.</p> <p>The two things I know best about $\mathbf{R}^4$ is that it is <em>locally</em> diffeomorphic to $\mathbb{R} ^4$, and that it's contractible. It's easy to see that the contraction can be acheived by a smooth map ${\mathbb{R}}^4\times I\rightarrow{\mathbb{R}}^4$.</p> <ul> <li>Do I suppose correctly that the same contraction is <em>not</em> smooth as a map ${\mathbf{R}}^4\times I\rightarrow{\mathbf{R}}^4$?</li> <li>Do the exotic smooth structures have any smooth contractions?</li> <li>If not, are there <em>continuous</em> contractions $\mathbf{R}^4\times I\rightarrow\mathbf{R}^4$ within the smooth maps $\mathbf{R}^4\rightarrow\mathbf{R}^4$?</li> </ul> http://mathoverflow.net/questions/51754/clearing-misconceptions-defining-is-a-model-of-zfc-in-zfc/51769#51769 Answer by some guy on the street for Clearing misconceptions: Defining "is a model of ZFC" in ZFC some guy on the street 2011-01-11T15:24:18Z 2011-01-11T15:24:18Z <p>I suspect these sorts of problems arise in two ways: ignoring <em>wrongness</em> (e.g. Skolem's paradox, that there are countable models of set theory which believe in uncountable sets) and ignoring <em>first-orderness</em>: First-order theories with infinite models have models of every larger size; but in any universe there is exactly one isomorphism class of complete ordered field --- being a complete ordered field is NOT a first-order property of the field, but a first-order statement about a thing <em>in some universe</em>.</p> <p>Contrapositivewise, teaching clearly about these two sorts of phenomena ought to help us keep clear of trouble. Unless, of course, ZFC proves itself consistent...</p> http://mathoverflow.net/questions/50665/a-curious-construction-of-a-chain-complex-and-its-homology A curious construction of a chain complex and its homology some guy on the street 2010-12-29T16:01:40Z 2010-12-29T21:56:23Z <p>... curious to me, that is.</p> <p>Suppose two module filtrations $$\cdots &lt; A_3 &lt; A_2 &lt; A_1 &lt; \cdots$$ and $$\cdots &lt; B_3 &lt; B_2 &lt; B_1 &lt; \cdots$$ are comparable in the sense that for all $j$, $B_{j+1} &lt; A_{j} &lt; B_{j-1}$; then there are natural complexes $$\cdots \to \frac{A_3}{B_4} \to \frac{A_2}{B_3} \to \frac{A_1}{B_2} \to \cdots$$ and $$\cdots \to \frac{B_3}{A_4} \to \frac{B_2}{A_3} \to \frac{B_1}{A_2} \to \cdots$$ both of which have homology groups $$\frac{A_i\cap B_i}{A_{i+1} + B_{i+1}} .$$</p> <p>My question is in two parts:</p> <ol> <li><p>this canonical isomorphism $H(A^+/B)\simeq H(B^+/A)$, has it got a name?</p></li> <li><p>is it <em>useful</em>?</p></li> </ol> http://mathoverflow.net/questions/48294/associativity-with-infinite-nesting/48535#48535 Answer by some guy on the street for Associativity with infinite nesting some guy on the street 2010-12-07T05:18:37Z 2010-12-07T05:18:37Z <p>First, it's important that the infinite connect sum $A \# B \# A \# \cdots$ is <em>not</em> the <a href="http://ncatlab.org/nlab/show/limit" rel="nofollow">limit</a> of the finite connect sums $A,A\# B, A\# B \# A,\dots$; in fact, I'm sure the binary connect sum is as wrong a notation for the infinite connect sum as $+$ is the wrong notation for $\sum$. Similarly, a conditionally-convergent infinite sum of numbers is the limit of a particular sequence: the <em>initial</em> finite sums; whereas an absolutely convergent sum of real numbers $x_i$ is a (sum of) limit(s) for much bigger diagrams: $$\sum x_i = \sup_{W\ \mbox{finite}} \sum_{i\in W} x_i + \inf_{V\ \mbox{finite}} \sum_{j\in V} x_j$$</p> <p>Looking for a better description of our infinite connect sum, let's first note that $A\# B$ means a particular <a href="http://ncatlab.org/nlab/show/colimit" rel="nofollow">colimit</a> $$\begin{array}{c} {} &amp; &amp; S^n &amp; &amp; \\ &amp;\swarrow &amp; &amp; \searrow &amp; \\ Q &amp; &amp; &amp; &amp; R \\ &amp; \searrow &amp; &amp; \swarrow &amp; \\ &amp; &amp; Q\sqcup_{S^n} R &amp; &amp; \end{array}$$ Note that $A$ and $B$ are also colimits, $A= Q \sqcup_{S^n} D$ and $B=D\sqcup_{S^n} R$. In fact, it's best to keep things open at both ends: for $X$ and two maps $S^n\rightrightarrows X$, let $Q = D\sqcup_{S^n}X$ and similarly define $R$ in terms of $Y$ and two maps.</p> <p>Instead of the infiite connect sum, we have an infinite diagram $$\begin{array}{c} {} &amp; &amp; S^n &amp; &amp; &amp; &amp; S^n &amp; &amp; \\ &amp;\swarrow &amp; &amp; \searrow &amp; &amp;\swarrow &amp; &amp; \searrow &amp; &amp; \swarrow \cdots \\ X &amp; &amp; &amp; &amp; Y &amp; &amp; &amp; &amp; X \\ \end{array}$$ and its colimit.</p> <p>The two-ended construction you describe is (if I understand you correctly) a colimit for a different diagram. The fact that you'll get the homeomorphic <em>spaces</em> in the colimit spot for these two diagrams is a nontrivial fact, and is where you need to use the hypothesis $X\sqcup_{S^n} Y \simeq I\times S^n$.</p> <p>In summary, to test your intuition, pay attention to what limit (or limits) you're considering, and then see if additional hypotheses let you decide on or against equivalence.</p> http://mathoverflow.net/questions/45927/a-conceptual-proof-that-local-fibrations-over-paracompact-spaces-are-global-fibra/45968#45968 Answer by some guy on the street for A conceptual proof that local fibrations over paracompact spaces are global fibrations? some guy on the street 2010-11-13T20:44:14Z 2010-11-13T20:44:14Z <p>The following runs out of steam towards the end; I may also be making important mistakes, so be on your guard --- but that's half the fun! Anyways, it was too long for a comment.</p> <p>Choose a locally-finite cover $V\to B$ such that the pullback $$\begin{array}{ccc} E' &amp; \rightarrow &amp; E \\ \downarrow &amp; &amp; \downarrow \\ V &amp; \rightarrow &amp; B\end{array}$$ has $E'\rightarrow V$ a Hurrewicz fibration. Fix a lifting problem $X\to E$, $X\times I\to B$. Then consider also the pull-backs $$\begin{array}{cccccc} X' &amp; \rightarrow &amp; X &amp; H &amp;\to &amp; X\times I \\ \downarrow &amp; &amp; \downarrow &amp; \downarrow &amp; &amp; \downarrow \\ E' &amp; \rightarrow &amp; E &amp; V &amp; \to &amp; B \end{array}$$ and note that $$\begin{array}{ccc} X' &amp; \to &amp; X \\ \downarrow &amp; &amp; \downarrow \\ V &amp; \to &amp; B \end{array}$$ is again a pull-back. Since $V\to B$ is a locally-finite covering, so are all the horizontal maps in these pull-backs. Because $H$ is defined by a pull-back, the composites $X'\to X\to X\times I$ and $X'\to V$ give a unique map $X'\to H$ such that $$\begin{array}{ccc} X' &amp; \to &amp; E' \\ \downarrow &amp; &amp; \downarrow \\ H &amp; \to &amp; V \end{array}$$ commutes. Now, the structure of $H$ is as a locally-finite cover of $X\times I$; in particular, every point of $X'\to H$ inhabits an open set in $H$ of the form $U\times [0,a)$; each of these defines a lifting problem, which is solvable by construction of $E'\to V$.</p> <p>My instinct at this point is to appeal to local-finiteness again, using the compactness of $I$ to solve finitely-many lifting problems in $E'\to V$, hoping they glue together properly; which, admitedly, was the problem to start with; only now it looks more hopeful: in particular, I expect we can claim a lemma that for $E'\to V$ a Hurrewicz fibration, we can solve not only the initial-value lifting problems, but the initial-closed-interval lifting problems: for $\alpha:X\to [0,1]$ continuous, $$\begin{array}{ccc} X\times[0,\alpha] &amp; \to &amp; E' \\ \downarrow &amp; \nearrow &amp; \downarrow \\ X\times I &amp; \to &amp; V \end{array}$$</p> <p>It might be worth-while noting that, because $V\to B$ is locally-finite, the nerve of the cover has finite-depth on a neighborhood of every point. We might also save some work by using a universal lifting problem, as in <a href="http://ncatlab.org/nlab/show/Hurewicz+connection" rel="nofollow">Hurewicz Connection at the nCatLab</a>.</p> http://mathoverflow.net/questions/37525/what-is-your-favorite-isomorphism/37552#37552 Answer by some guy on the street for What is your favorite isomorphism? some guy on the street 2010-09-02T22:36:43Z 2010-09-02T22:36:43Z <p>I should say I'm fond of the Thom isomorphism, but I still find the contents rather mysterious.</p> http://mathoverflow.net/questions/28380/a-canonical-and-categorical-construction-for-geometric-realization/36694#36694 Answer by some guy on the street for A canonical and categorical construction for geometric realization some guy on the street 2010-08-25T21:18:49Z 2010-08-25T21:25:48Z <p>I'd just like to point out that there is a monad on $Top$, (which in the homotopy category looks rather dull,) assigning to each space $X$ its cone $CX$, the mapping cylinder of $X\to *$. The unit map is the inclusion of $X \to CX$, and the composition $CCX\to CX$ may as well be the map $[[x,s],t]\mapsto [x,s+t-ts].$ (This ugly formula is just a natural obfuscation of the heuristic description of $CX$ as the union of convex combinations of points $x\in X$ and the new point $*$.) Another way to think of it is that $CX$ is the underlying space of the free contraction of $X$.</p> <p>The topological (realization of the) simplex category is just the orbit of a one-point space $\star$ under this monad, together with the maps derived from the monad and the maps $C\star\to \star$ and $\star\to *\to C\star$. I think this gets at what <a href="http://mathoverflow.net/users/1556/grigory-m" rel="nofollow">Grigory M</a> means <a href="http://mathoverflow.net/questions/28380/a-canonical-and-categorical-construction-for-geometric-realization/36692#36692" rel="nofollow">above</a> by "most natural" contractible set on $n$ points. Somewhere in this nonsense I should say "Bar construction", but I can't remember precisely where.</p> http://mathoverflow.net/questions/24688/efficiently-sampling-points-uniformly-from-the-surface-of-an-n-sphere/24695#24695 Answer by some guy on the street for Efficiently sampling points uniformly from the surface of an n-sphere some guy on the street 2010-05-15T04:57:46Z 2010-05-15T04:57:46Z <p>In case you don't want to worry about dividing by small norms (admittedly, less and less of an issue for higher $n$...)</p> <p>Generate a point $\mathbf{x}$ on the $(n-1)$-sphere; and generate a number $y\in [-1,1]$ with density $k (1-y^2)^{(n-2)/2}$ for the appropriate constant $k$. Letting $\mathbf{x}'=(y,(1-y^2)^{1/2} \mathbf{x})$ is a uniform point on the $n$-sphere.</p> <hr> <p>Alternatively, in the unlikely event that you don't mind funny correlations between consecutively generated points, you might prefer randomly generating elements of the orthogonal group, for instance letting $A_n$ be sufficiently random${}^1$ antisymmetric matrices, $O_n=(I-A_n)^{-1}(I+A_n)$ is orthonormal, and then the sequence of matrices $U_0=I$, $U_{n+1} = O_n U_n$ is uniformly distributed w.r.t. Haar measure. If later you want to kill consecutive correlations, generate a bunch of them and then sample the sequence at random.</p> <hr> <p>${}^1$: "Sufficiently random": Leveraging the mean-value theorem for all it's worth, we might even take the $A_n$s concentrated on a "generic curve in general position". For sure this isn't <em>efficient</em>, but it gives an idea of how little is needed to get quantitative convergence to uniformity.</p> http://mathoverflow.net/questions/24426/what-do-people-mean-by-subcategory/24442#24442 Answer by some guy on the street for What do people mean by "subcategory"? some guy on the street 2010-05-12T21:59:07Z 2010-05-12T21:59:07Z <blockquote> <p>Do people tend to mean the official definition?</p> </blockquote> <p>I think "official" belongs in scare-quotes... I tend to think that "subcategory" is an <a href="http://ncatlab.org/nlab/show/evil" rel="nofollow">evil</a> notion. I'm not published anywhere, but in my notes I use "subcategory" to mean "a subset of $\operatorname{Hom}$, closed under $1_{-}$ and composition." Then you can suitably mimic Mac Lane's definition by specifying $$\operatorname{SubC}(A,X)=\operatorname{SubC}(X,A) = \left\{\begin{array}{c} \{1_A\} &amp; A=X \\ \emptyset &amp; A\neq X \end{array} \right.$$ for any objects $A$ you might want to ignore; they become isolated and trivial. That does feel a bit kludgy, though.</p> <blockquote> <p>or do they also require full? containing all the automorphisms?</p> </blockquote> <p>Probably not, in either case. That just looks weird to me... but what do I know?</p> <blockquote> <p>Are there other useful intermediate notions?</p> </blockquote> <p>Definitely.</p> <p>Mac Lane's definition of subcategory given in the question corresponds to a functor which is strongly faithful in the sense that $F(g)=F(h)\implies g=h$ <em>without hypotheses on the sources and targets of</em> $g,h$; this strong property comes from the fact that functors don't generally have sensible image categories: what do you do if all objects are mapped to the same object!?</p> <p>The ordinary sense of faithful is a slightly less strict condition: if $f,g:S\to T$ and $F(f)=F(g)$ then $f=g$.</p> <p>Consider functors of groupoids $F:\mathcal{A}\to\mathcal{B}$. Every such functor factors in an essentially unique way as $$F = G_3 \circ G_2 \circ G_1$$ where $G_i$ <em>omits</em> <strong>only</strong> property $i$ among</p> <ol> <li>Faithful</li> <li>Full</li> <li>Essentially Surjective</li> </ol> <p>The same construction${}^1$ that gives this factorization makes good sense for general categories as well, although it's then complicated by other functor properties you might want to consider (reflects isomorphisms, reflects isomorphy, etc.). $G_3$ might be called "full objectwise-subcategory" (the reference calls it "forgets only property") and $G_2$ ("only structure"), I think, generalizes the notion I describe at the top of this answer.</p> <p>(To be clear, "$G:\mathcal{X}\to \mathcal{Y}$ is essentially surjective" means that every morphism of $\mathcal{Y}$ factors as $i\circ G(\varphi) \circ j$ for isomorphisms $i,j$ in $\mathcal{Y}$. This implies a property of $G$ relative to objects which isn't worth spelling out here.)</p> <hr> <p>${}^1$take a day to read <a href="http://math.ucr.edu/home/baez/qg-spring2004/discussion.html" rel="nofollow">this page</a></p> http://mathoverflow.net/questions/23250/what-is-the-earliest-definition-given-by-a-universal-mapping-property/23465#23465 Answer by some guy on the street for What is the earliest definition given by a universal mapping property? some guy on the street 2010-05-04T18:08:18Z 2010-05-04T18:08:18Z <p>I'm betting on Supremum.</p> http://mathoverflow.net/questions/21881/how-should-one-present-curl-and-divergence-in-an-undergraduate-multivariable-calc/21893#21893 Answer by some guy on the street for How should one present curl and divergence in an undergraduate multivariable calculus class? some guy on the street 2010-04-19T21:07:35Z 2010-04-19T21:07:35Z <p>Depending <code>(*)</code> on the underlying degree of analyticity <code>(**)</code> in your calculus course, it might be just as well to <em>start</em> with the Stokes theorem, stating it as an existence and uniqueness theorem:</p> <blockquote> <p>Theorem (Stokes) Given a differentiable vector field $X$ on a region $U$ of $\mathbb{R}^3$ there is a unique continuous vector field $\operatorname{curl} X$ such that for any regularly parametrized surface $(u,v):D^2\rightarrow U$ with normal field $\hat{\mathbf{n}}$ and boundary tangent field $\mathbf{s}$, the integrals $$\iint (\operatorname{curl} X)\cdot \hat{\mathbf{n}} dA$$ and $$\oint X \cdot \mathbf{s}\ dt$$ are equal</p> </blockquote> <p>From there you can proceed by deducing properties of $\operatorname{curl} X$ sufficient to give its formula in coordinates and at the same time prove the theorem.</p> <p>Note for instance that even stated only as an existence theorem, it already says there's a sufficient local criterion for local integrability of a vector field; the actual formula for curl then tells you what the criterion is.</p> <p>This style of approach also gives you a quick proof that $\operatorname{div}\operatorname{curl}(X)=0$, because a sphere can be regularly parametrized by a disk such that $\mathbf{s} \equiv 0$.</p> <hr> <p>(*) Here I mean roughly that if you show them sufficient variations of the mean value theorem to prove that itterated derivatives commute when they're continuous, then it should be feasible to give this construction with comparable rigor.</p> <p>(**) none of these words used here with any standard mathematical sense.</p> http://mathoverflow.net/questions/21470/subset-of-the-plane-that-intersects-every-line-exactly-twice/21476#21476 Answer by some guy on the street for Subset of the plane that intersects every line exactly twice some guy on the street 2010-04-15T16:56:02Z 2010-04-15T17:02:51Z <p>By AC, choose a <em>cardinal</em> well-ordering of the lines in in the plane and any well-ordering of all the points.</p> <p>We proceed by transfinite induction.</p> <p>Suppose $A_l$ is a set of points, no three colinear, and let $B_l$ be the set of lines spanned by points of $A_l$, and let $C_l=\cup B_l$. Suppose further that $l'\prec l$ implies $l'\in B_l$. Note that $|A_l| \leq |B_l| &lt; |l|$, so that $$|C_l\cap l| = |\cup_{l'\in B_l} l\cap l'| &lt; |l| .$$</p> <ul> <li>If $l\in B_l$, let $A_{Sl} = A_l$.</li> <li>If $a\in l \cap A_l$, take the minimal point $b\in l\backslash C_l$ and let $A_{Sl} = A_l\cup \{b\}$.</li> <li>If $A_l\cap l = \emptyset$, take the minimal two points $a,b\in l\backslash C_l$, and let $A_{Sl}=A_l\cup\{a,b\}$.</li> <li>Otherwise if $l'\$ is a limit ordinal, let $A_{l'} = \bigcup_{l\prec l'} A_l$.</li> </ul> <p>It is easy to check that $A_{l'}$ has no three points colinear --- they'd have to all be in some $A_l$ for $l\prec l'$. The final union $\bigcup_l A_l$ has exactly two points on each line $l$.</p> http://mathoverflow.net/questions/21081/is-there-a-category-theoretic-definition-of-the-arithmetic-grothendieck-group/21131#21131 Answer by some guy on the street for Is there a category-theoretic definition of the arithmetic Grothendieck group some guy on the street 2010-04-12T17:35:23Z 2010-04-12T17:35:23Z <p>The classical group $K_0$ can also be thought of as consisting of equivalence classes of chain complexes of vector bundles, such that the <em>exact</em> sequences represent the zero of $K_0$ --- and furthermore every complex is equivalent to a two-term complex, a.k.a. a bundle morphism; the graded tensor product of complexes also gives a ring structure on $K_0$. If you like, classical $K_0$ is a categorical interpolation between the Euler Characteristic and the homology of a chain complex. The present construction looks like a refinement of that idea, where instead of representing a <em>trivial</em> element, an exact sequence is equivalent to a particular (sum of) differential form(s).</p> http://mathoverflow.net/questions/20391/how-to-motivate-the-skein-relations/20405#20405 Answer by some guy on the street for How to motivate the skein relations? some guy on the street 2010-04-05T18:31:50Z 2010-04-05T18:31:50Z <p>Why they are useful is related to one reason Polynomial invariants are useful themselves: they let you prove theorems, when they acutally do let you prove theorems. In particular, if you have a gadget determined by a link-diagram, AND you know that it satisfies a skein relation, THEN that information <em>may</em> be enough to prove that your gadget is isotopy-invariant, because if you're lucky, you can relate the Reidemeister moves to a very few skein-relation applications. Of course, this may not always be the case, but it's handy when it is.</p> http://mathoverflow.net/questions/19243/do-the-empty-set-and-the-entire-set-really-need-to-be-open/19281#19281 Answer by some guy on the street for Do the empty set AND the entire set really need to be open? some guy on the street 2010-03-25T05:52:39Z 2010-03-25T05:52:39Z <p>To address the question in a somewhat less-categorical way, I would point out that you <em>can</em> in fact do all of topology without using the expression "open set", by instead refering to the filter of neighborhoods of every point --- then a function $f:X\rightarrow Y$ is continuous iff for all $x\in X$ and every neighborhood $V$ of $f(x)$ there is a neighborhood $U$ of $x$ such that $f(U)\subset V$. You'll remember this as the "epsilon-delta"-style of continuity criterion from calculus, only without mentioning $&epsilon;$ or $&delta;$. The viewpoints are equivalent in the sense that one can define an open set as being a neighborhood of all its points, or contrariwise define a neighborhood of $x$ as including some open set containing $x$.</p> <p>There's another alternative, to study <em>presentations</em> of topologies; usually a <a href="http://ncatlab.org/nlab/show/base" rel="nofollow"><em>base</em></a> for a topology is given. These have the advantage of being available as raw data, because the closure requirements for a base are much less stringent from a set-theoretic point of view than those of the whole system of open sets; one consequence is that you can study the topological space $(X,\langle B\rangle)$ in any universe including $X$, $B$ and $(X,B)$. This notion of a <em>presented topology</em> then lets you compare how the properties of a space-given-the-base change after a forcing extension of the universe --- if you're into that sort of thing.</p> <p>The moral of this story is that open sets are not really the object of study in topology, and changing what you mean by "open set" is mostly going to distract you; continuous functions <em>are</em> one object of study --- as others have pointed out --- and there are many ways to define those.</p> http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices/130175#130175 Comment by some guy on the street some guy on the street 2013-05-09T18:26:38Z 2013-05-09T18:26:38Z I think that's what I was trying to say... but I'd have quibbled $\Sigma a_{ij} v_j$; and now I'm convinced that there are always exactly $n$ such $[a_{i\dot}]$; and so the interest is in how might this fail to give a basis for $\mathbb{Z}^n$... I'm now convinced this gives a list of all solutions in every case; I still like that Kevin's answer gives a specific solution in all dimensions, which is closer to what I was wondering about, but this is really nifty! http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices/130175#130175 Comment by some guy on the street some guy on the street 2013-05-09T15:34:22Z 2013-05-09T15:34:22Z could you explain the &quot;$\Sigma a_i v_i=u_i&quot;? I can see that there are finitely many HNFs to check, and that they're enough... are we basically trying to see if the cube spanned by an HNF contains enough independent integer points? http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices/130109#130109 Comment by some guy on the street some guy on the street 2013-05-09T12:06:40Z 2013-05-09T12:06:40Z And it turns out that the Cartan matrix for$A_n$is always a solution; this explains the bases already in the$n=1,2$case; the haphazard found base for$n=3$I suspect has the noncyclic group of order$4$as quotient. http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices/130109#130109 Comment by some guy on the street some guy on the street 2013-05-09T01:50:54Z 2013-05-09T01:50:54Z I also want to say that this really is quite beautiful. Thanks! http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices/130109#130109 Comment by some guy on the street some guy on the street 2013-05-09T01:44:12Z 2013-05-09T01:44:12Z OK, I think I believe you, but let me check this... http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices Comment by some guy on the street some guy on the street 2013-05-08T14:30:53Z 2013-05-08T14:30:53Z or else I could have omited &quot;translates of&quot; http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices Comment by some guy on the street some guy on the street 2013-05-08T14:30:29Z 2013-05-08T14:30:29Z The intent is, pick <i>one</i> such simplex, and cover$Z^n$with translates of that. http://mathoverflow.net/questions/129983/discrete-disjoint-covering-of-integer-lattices Comment by some guy on the street some guy on the street 2013-05-08T13:46:45Z 2013-05-08T13:46:45Z @Gerry, Ben has it right; I should have said &quot;minimal$n$-simplex&quot;, because they're all$SL_n$-the same... in fact, I think I will. http://mathoverflow.net/questions/128522/stratifications-and-cohomology-computations Comment by some guy on the street some guy on the street 2013-04-23T20:49:39Z 2013-04-23T20:49:39Z I think you are looking for Spectral Sequences (which thought makes me feel somewhat gloomy...) on which there is a thorough reference by McCleary. Good luck to you! http://mathoverflow.net/questions/126305/bar-cobar-or-cobar-bar Comment by some guy on the street some guy on the street 2013-04-02T20:24:47Z 2013-04-02T20:24:47Z ahem, [nlab entry](<a href="http://ncatlab.org/nlab/show/bar+and+cobar+construction" rel="nofollow">ncatlab.org/nlab/show/bar+and+cobar+construction</a>) http://mathoverflow.net/questions/126305/bar-cobar-or-cobar-bar Comment by some guy on the street some guy on the street 2013-04-02T20:22:35Z 2013-04-02T20:22:35Z ... are you wanting to update the nLab entry? or is it something else? http://mathoverflow.net/questions/4117/when-can-you-desuspend-a-homotopy-cogroup/4128#4128 Comment by some guy on the street some guy on the street 2013-04-01T01:05:45Z 2013-04-01T01:05:45Z all spaces are$A_1$; H means$A_2$;$A_n$is the playground Stasheff built, and where associahedra are from; he constructs a family of$H$spaces that are$A_p$but not$A_{p+1}$for many (I think prime?) values of$p$(or$p+1\$, perhaps... this paper is sitting in my computer, why don't I look it up?!) Anyways, Stasheff, Transactions AMS Vol 108 No.2 pp 275-292 http://mathoverflow.net/questions/116556/status-of-the-isomorphism-problem-for-automatic-groups Comment by some guy on the street some guy on the street 2012-12-19T03:06:52Z 2012-12-19T03:06:52Z @Andr&#233;, you know, I mean it feels a bit like cheating... http://mathoverflow.net/questions/116556/status-of-the-isomorphism-problem-for-automatic-groups Comment by some guy on the street some guy on the street 2012-12-19T03:05:42Z 2012-12-19T03:05:42Z @Jim: what I mean is, this is the sort of picky question that I'm sure, if settled, was only done recently and I furthermore don't know who would write about it, nor what keywords to put into mathscinet/arxiv/google scholar search etc. Eight years ago or so my first move would have been to ask Dani Wise, just because he taught me about Gromov hyperbolic groups and the Rips complex, but he's not handy right now and I can't get to a library. http://mathoverflow.net/questions/104206/conventional-names-for-finite-categories/104220#104220 Comment by some guy on the street some guy on the street 2012-08-13T15:54:24Z 2012-08-13T15:54:24Z True. Choosing one convention or the other is a matter of poetics; the question struck me as being one of poetics at the beginning, anyway. However: it seems that one shouldn't call any category a &quot;free coequalizer&quot;, because the thing that comes to mind admits functors that aren't coequalizer of anything, but it <i>nearly is</i> &quot;the shape of a coequalizer&quot; in a sensible way. This distinction may be artificial, however, since being a coequalizer is a property, not just stuff.