User simon willerton - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T20:06:16Z http://mathoverflow.net/feeds/user/458 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/104104/how-do-you-see-that-higher-genus-surfaces-are-not-homogeneous How do you see that higher genus surfaces are not homogeneous? Simon Willerton 2012-08-06T12:04:36Z 2012-08-07T17:17:07Z <p>I am trying to get some intuition about why the torus and the sphere are the only surfaces which can be realised as homogeneous spaces. On the one hand, I know this is true because there is the result that homogeneous spaces must have non-negative Euler characteristic:</p> <p><a href="http://dx.doi.org/10.1007/s10711-004-1675-9" rel="nofollow">A Structure Theorem for Homogeneous Spaces, Mostow, G, Geometriae Dedicata, (114) 2005, 87-102</a></p> <p>However, on the other hand, a higher genus surface can be realised as a quotient of hyperbolic space by a group of isometries. The latter would seem (in my head) to give rise to a hyperbolic surface where the points look the same; all of the points have the same curvature, for instance.</p> <p>My question is then: How do you distinguish the points of such a hyperbolic surface?</p> http://mathoverflow.net/questions/9879/using-tikz-in-papers/21479#21479 Answer by Simon Willerton for Using TikZ in papers Simon Willerton 2010-04-15T17:06:58Z 2010-04-15T17:06:58Z <p>It is not exactly answering either of your two questions, but here is another work-around. I had problems putting papers on the arxiv which used pgf/tikz because the version of pgf/tikz they used at the arxiv was not as up to date as my version. The admin at the arxiv told me to do the following. LaTeX your file with the option -recorder. This will create a .fls file containing a list of all of the FiLeS used by LaTeX when typesetting your document. Choose all of the files in the list containing "pgf" or "tikz" and move them into the directory containing your document. You can then send that directory to your collaborator/the arxiv/the journal without worrying about how up to date their set up is. </p> <p>[Unfortunately, I then had the problem that the tikz graphics I produced required an enormous amount of working memory which was greater than the allocation on the arxiv server, so I resorted to using 'grab' on my mac to take a high resolution snap-shot of the graphic, which I then incorporated into the LaTeX file :-(. However, I have used this including-all-the-files technique for subsequent uploads to the arxiv.]</p> http://mathoverflow.net/questions/7417/tropical-mathematics-and-enriched-category-theory Tropical mathematics and enriched category theory Simon Willerton 2009-12-01T11:31:02Z 2009-12-02T10:22:43Z <p>Is there a connection between tropical mathematics and the Lawvere enriched category theory approach to metric spaces? I guess I will give a partial answer to this below, but I mean can they be formally be put on the same level in some sense?</p> <p>In the Lawverian point of view one does category theory with the extended non-negative real numbers, [0,&infin;] or <strong>R</strong><sub>&ge;0</sub>&cup;&infin;, equipped with + as the 'tensor' product and max as the 'categorical' product or sum. In tropical mathematics you work (it seems) with the the extended reals <strong>R</strong>&cup;&infin; equipped with the 'product' + and the 'sum' max (or min depending on your point of view I think).</p> <p>In the enriched category theory approach to metric spaces, one has the notion of a kernel (or bimodule or profunctor depending on your point of view) between two metric spaces <i>X</i> and <i>Y</i> which is just a distance non-increasing function <i>K:X</i>&times;<i>Y</i>->[0,&infin;]. The correct notion of function on a metric space here is a distance non-increasing function <i>&phi;:X</i>->[0,&infin;]. Then the transform of a function &phi; by a kernel <i>K</i> is a function on <i>Y</i> defined by</p> <blockquote> <p><i>K</i>(&phi;)(<i>y</i>):= inf<sub><i>x</i>&epsilon;<i>X</i></sub> ( &phi;(<i>x</i>) + <i>K</i>(<i>x,y</i>) ).</p> </blockquote> <p>There is similarly a dual notion which takes functions on <em>Y</em> to functions on <em>X</em>.</p> <blockquote> <p><i>K</i><sup>^</sup>(&psi;)(<i>x</i>):= sup<sub><i>y</i>&epsilon;<i>Y</i></sub> ( &psi;(<i>y</i>) - <i>K</i>(<em>x,y</em>) ).</p> </blockquote> <p>This is explained in a bit more detail in a post in at the <a href="http://golem.ph.utexas.edu/category/2009/11/equipments.html#c029592" rel="nofollow">n-Category Caf&eacute;</a>.</p> <p>It was pointed out to me that these look similar to the Legendre transform. And looking on the internet I found that tropical mathematics is one way to interpret the Legendre transform as an 'integral transform'.</p> <p>So has anyone ever considered any formal connections between these two points of view?</p> http://mathoverflow.net/questions/7414/what-is-a-monoidal-metric-space/7481#7481 Answer by Simon Willerton for What is a monoidal metric space? Simon Willerton 2009-12-01T19:08:55Z 2009-12-01T22:40:53Z <p>Here are a couple of answers to your wider question.</p> <p>1) Tom Leinster defined the notion of Euler characteristic for a finite categories, generalizing things like cardinality of sets, Euler characteristic of posets and Euler characteristic of finite groups. This can be generalized to enriched categories and specialized to metric spaces, giving rise to an (occasionally undefined) invariant of metric spaces called the <strong>magnitude</strong>. (The names cardinality and Euler characteristic were deemed to be too confusing.) Interestingly, this was discovered in the nineties by some ecologists interested in measuring biodiversity. See our paper http://arxiv.org/abs/0908.1582 for more details.</p> <p>2) Given an endofunctor <em>F</em>:<em>C</em>-><em>C</em> of a category enriched over <em>V</em> there are two ways of taking the 'trace' of <em>F</em> that I know of, both leading to an object of <em>V</em>. One is the end $\int_c C(c,F(c))$ and the other is the coend $\int^c C(c,F(c))$. In the context of metric spaces this means that for a distance non-increasing function <em>f</em>:<em>X</em>-><em>X</em> the two traces are sup<sub>x</sub>d(x,f(x)) and inf<sub>x</sub>d(x,f(x)) - which can be thought of as the furthest distance that <em>f</em> moves points and the least distance that <em>f</em> moves points.</p> <p><hr /></p> http://mathoverflow.net/questions/2238/learning-latex-properly/2265#2265 Answer by Simon Willerton for Learning LaTeX properly Simon Willerton 2009-10-24T08:49:09Z 2009-10-24T08:49:09Z <p>Of course it depends what those bad habits are. Sometimes people's bad habits involve trying to do things traditional typesetters or designers would never do - for example, setting very narrow margins. I would recommend reading a bit about the craft of typesetting in the traditional sense and reading about the ideas of traditional style design. The TeXBook is a good source for references.</p> <p>Sometimes bad habits in LaTeX involve hard-coding things like theorems instead of using environments, for example, \textbf{Theorem 1} {\it This is my theorem.}</p> <p>However, it doesn't sound like your bad habits are of this nature. Maybe you should give us some examples of the kind of bad habits you have in mind.</p> http://mathoverflow.net/questions/1534/induction-and-coinduction-of-representations/1625#1625 Answer by Simon Willerton for Induction and Coinduction of Representations Simon Willerton 2009-10-21T10:49:23Z 2009-10-21T10:49:23Z <p>For 1, you don't need H to be a subgroup of G. If you have a morphism of finite groups, f:H->G, then this gives rise to induction, coinduction and restriction functors between the categories of finite dimensional representations. You can try to write down a natural isomorphism between the induction and coinduction functors and you will find that it involves inverting |ker(f)|, the order of the kernel of f. So provided this order is invertible in your ring then induction and coinduction are isomorphic functors. </p> <p>In particular if the order of the kernel is 1, meaning that f is an inclusion, then you get isomorphic functors regardless of the ring. Also, if the characteristic of the ring is zero then the order of the kernel is automatically invertible and you get isomorphic induction and coinduction functors.</p> http://mathoverflow.net/questions/12394/representability-of-finite-metric-spaces/104296#104296 Comment by Simon Willerton Simon Willerton 2013-04-03T09:41:34Z 2013-04-03T09:41:34Z This is just the Kuratowski embedding or $L_\infty$ embedding alluded to in Tom Leinster's and David Eppstein's comments. (In enriched category theory terms this is the Yoneda embedding.) I would say that there is nothing specifically tropical being used here. http://mathoverflow.net/questions/104104/how-do-you-see-that-higher-genus-surfaces-are-not-homogeneous Comment by Simon Willerton Simon Willerton 2012-08-09T08:47:26Z 2012-08-09T08:47:26Z Thanks for the useful replies everyone. The key pointers for me were the terms &quot;geodesics&quot; and &quot;Weierstrass points&quot;. I've now stitched together much better intuition from what people have said. http://mathoverflow.net/questions/104326/motivation-and-unsolved-problems-of-tqft/104331#104331 Comment by Simon Willerton Simon Willerton 2012-08-09T08:25:23Z 2012-08-09T08:25:23Z +1 for mentioning the Volume Conjecture http://mathoverflow.net/questions/22071/how-to-correct-an-error-in-a-submitted-paper/22077#22077 Comment by Simon Willerton Simon Willerton 2010-04-22T01:28:51Z 2010-04-22T01:28:51Z You think that's disastrous? I had a referee reject a completely different paper of mine! I assume they must have downloaded a random paper of mine off the arxiv. They wrote quite a scathing rejection of the paper without being very specific - fortunately I noticed that they alluded to certain things that were not mentioned in the submitted paper so I was able to point this out to the editor. (And it all ended happily for both papers.) http://mathoverflow.net/questions/9879/using-tikz-in-papers/9883#9883 Comment by Simon Willerton Simon Willerton 2010-04-20T16:01:02Z 2010-04-20T16:01:02Z I had problems with the arxiv not having an up-to-date version of pgf-plots. The arxiv people said &quot;pgf/tikz simply develops at too fast of a pace for us to keep up.&quot; It was suggested that I use the work-around I mention further down this page. http://mathoverflow.net/questions/9879/using-tikz-in-papers/21479#21479 Comment by Simon Willerton Simon Willerton 2010-04-20T15:54:38Z 2010-04-20T15:54:38Z I don't understand your question. Where might I be assuming that? http://mathoverflow.net/questions/7414/what-is-a-monoidal-metric-space/7481#7481 Comment by Simon Willerton Simon Willerton 2009-12-02T08:44:08Z 2009-12-02T08:44:08Z Not that I'm aware of. http://mathoverflow.net/questions/7414/what-is-a-monoidal-metric-space/7433#7433 Comment by Simon Willerton Simon Willerton 2009-12-01T18:32:09Z 2009-12-01T18:32:09Z Don't know what the etiquette is here. Should I just leave David's link or should I copy some of the stuff over? I'm inclined towards the former.