<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:admin="http://webns.net/mvcb/"
     xmlns:content="http://purl.org/rss/1.0/modules/content/"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
	<channel> 

	<title>Comments on: Horn O&apos; Everything</title>
	<link>http://www.metafilter.com/32493/Horn-O-Everything/</link>
	<description>Comments on MetaFilter post Horn O&apos; Everything</description>
	<pubDate>Thu, 15 Apr 2004 07:37:31 -0800</pubDate>
	<lastBuildDate>Thu, 15 Apr 2004 07:37:31 -0800</lastBuildDate>
	<language>en-us</language>
	<docs>http://blogs.law.harvard.edu/tech/rss</docs>
	<ttl>60</ttl>

	<item>
		<title>Horn O&apos; Everything</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything</link>	
		<description>&lt;a href="http://www.newscientist.com/news/print.jsp?id=ns99994879"&gt;Absolutely, The Universe Could Be Funnel-Shaped&lt;/a&gt; &lt;em&gt;At an extreme enough point, you would be able to &lt;a href=&quot;http://www.etsu.edu/physics/etsuobs/starprty/120598bg/section5.htm&quot;&gt;see the back of your own head&lt;/a&gt;. It would be an &lt;a href=&quot;http://www.newscientist.com/data/images/ns/9999/99994879F1.JPG&quot;&gt;interesting place to explore &lt;/a&gt;- but we are probably too far from the narrow end of the horn to examine it with telescopes.&lt;/em&gt;

&lt;a href=&quot;http://www.physik.uni-ulm.de/theo/qc/&quot;&gt;Frank Steiner&apos;s Quantum Chaos group&lt;/a&gt;</description>
		<guid isPermaLink="false">post:www.metafilter.com,2004:site.32493</guid>
		<pubDate>Thu, 15 Apr 2004 07:35:39 -0800</pubDate>
		<dc:creator>mcgraw</dc:creator>		<category>franksteiner</category>		<category>quantumchaos</category>		<category>universe</category>
	</item>	<item>
		<title>By: mcgraw</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655442</link>	
		<description>&lt;a href=&quot;http://www.newscientist.com/news/news.jsp?id=ns99994879&quot;&gt;Click here if that printer-friendly link stops working.&lt;/a&gt;</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655442</guid>
		<pubDate>Thu, 15 Apr 2004 07:37:31 -0800</pubDate>
		<dc:creator>mcgraw</dc:creator>
	</item>	<item>
		<title>By: moonbird</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655451</link>	
		<description>Very good, thanks!</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655451</guid>
		<pubDate>Thu, 15 Apr 2004 07:50:34 -0800</pubDate>
		<dc:creator>moonbird</dc:creator>
	</item>	<item>
		<title>By: Pericles</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655478</link>	
		<description>It&apos;s fascinating to speculate - but does it matter? I&apos;m not being rhetorical; I can&apos;t understand the value of knowing it&apos;s shaped like a doghnut, horn or giant spacekitten.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655478</guid>
		<pubDate>Thu, 15 Apr 2004 08:19:45 -0800</pubDate>
		<dc:creator>Pericles</dc:creator>
	</item>	<item>
		<title>By: jjray</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655494</link>	
		<description>This is interesting. However, questions are always brought up in my mind whenever the large scale structure of the universe is being considered. Perhaps this is naive, but would knowing the topology perhaps explain the initial conditions (i.e. at the big bang)? I have always thought of the initial  universe being like a single point- how then does something with a weird topology come out of that? Also, they talk about curvature of the universe in their &lt;a href=&quot;http://xxx.uni-augsburg.de/abs/astro-ph/0403597&quot;&gt;paper&lt;/a&gt; on this; I get the impression that it is always assumed that the curvature, once it is measured, is constant for all the universe (or having some uniform property- for instance, no one ever suggests a spiral shape). Why would this necessarily be so? 

(Ok, this non-cosmologist will stop asking naive questions.) Good stuff, mcgraw, thanks.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655494</guid>
		<pubDate>Thu, 15 Apr 2004 08:36:42 -0800</pubDate>
		<dc:creator>jjray</dc:creator>
	</item>	<item>
		<title>By: gleuschk</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655523</link>	
		<description>Oddly, googling &quot;picard topology&quot; returns no results.  I wonder if it&apos;s simply an analogue of &lt;a href=&quot;http://mathworld.wolfram.com/GabrielsHorn.html&quot;&gt;Gabriel&apos;s Horn&lt;/a&gt;, which would explain the &quot;finite volume&quot; comment.  My calculus students always start gibbering incomprehensibly when I tell them that something can have finite volume but infinite surface area.  (If that doesn&apos;t confuse you immediately, think about painting the interior: you couldn&apos;t ever coat the inside surface with a brush, but you could pour in a 4-gallon can and fill the whole thing.)</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655523</guid>
		<pubDate>Thu, 15 Apr 2004 09:08:41 -0800</pubDate>
		<dc:creator>gleuschk</dc:creator>
	</item>	<item>
		<title>By: Blue Stone</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655570</link>	
		<description>&lt;a href=&quot;http://news.independent.co.uk/europe/story.jsp?story=511559&quot;&gt;Cosmologilicious&lt;/a&gt;.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655570</guid>
		<pubDate>Thu, 15 Apr 2004 10:02:09 -0800</pubDate>
		<dc:creator>Blue Stone</dc:creator>
	</item>	<item>
		<title>By: jjray</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655599</link>	
		<description>From the paper by Steiner&apos;s group, they reference for the Picard topology another paper that talks about &lt;a href=&quot;http://mathworld.wolfram.com/PicardGroup.html&quot;&gt;Picard groups&lt;/a&gt;. However, I cannot find a good explanation of the connection anywhere. 

One issue about these apparent paradoxes is their utilization of the properties of continuity to exist. Gabriel&apos;s Horn assumes that everything is continuous. However, if we were to attempt to realize it physically, the paint we would use to fill it would not be continuous at a small enough scale, so even if we had a cone like that with &quot;infinite&quot; volume, enough paint would eventually fill it up because somewhere the local volume is more narrow than the paint. Another of these sorts of paradoxes (that I would love to see applied to a nugget of gold) is the &lt;a href=&quot;http://mathworld.wolfram.com/Banach-TarskiParadox.html&quot;&gt;Banach-Tarski paradox&lt;/a&gt;.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655599</guid>
		<pubDate>Thu, 15 Apr 2004 10:38:55 -0800</pubDate>
		<dc:creator>jjray</dc:creator>
	</item>	<item>
		<title>By: The Card Cheat</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655620</link>	
		<description>This is fascinating, but as an amateur astronomy/physics enthusiast, I&apos;m a bit amused by how our ideas about the universe at large are continually changing as our ability to observe it improves. Every few years, someone comes out with a new theory based on the latest data that doesn&apos;t match up with the old theories...I look forward to future hypothesies stating that the universe is shaped like a star, a silly straw, and a turtle.

Of course, that&apos;s science for you...always changing when the &quot;facts&quot; do. ; )</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655620</guid>
		<pubDate>Thu, 15 Apr 2004 10:59:32 -0800</pubDate>
		<dc:creator>The Card Cheat</dc:creator>
	</item>	<item>
		<title>By: gleuschk</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655637</link>	
		<description>That&apos;s a different Picard Group than the one they&apos;re apparently talking about, jjray.  &lt;a href=&quot;http://xxx.uni-augsburg.de/abs/math-ph/0305048&quot;&gt;Then&apos;s paper&lt;/a&gt;, referenced in the Steiner group&apos;s paper, describes what they mean by the Picard Group.  It&apos;s just  a three-dimensional analogue of the classical so-called &quot;modular group&quot;, better known as PSL(2,Z).  Then&apos;s paper is fairly reasonable, provided you&apos;re down with some complex analysis and are willing to ignore some buzzwords like &quot;orbifold&quot;.

The Picard Group described in your MathWorld link is an invariant, rather than a uniquely defined group.  It&apos;s a group attached to any order in an algebraic number field (or, actually, attached to any commutative ring -- MathWorld is rarely as complete in their descriptions as one might like).  So the Picard group for the integers is zero, while the Picard group for the ring k[x,y,z]/(xy-z^n) is isomorphic to Z/nZ..

Also, Gabriel&apos;s Horn isn&apos;t really a paradox, just nonintuitive.  You can get way more bizarre behavior from fractals (like Sierpinski&apos;s gasket), but Gabriel&apos;s Horn just points out that &quot;common sense&quot; doesn&apos;t work so well when you start talking about infinite quanties/objects.  Banach-Tarski is similar, though much more sophisticated, since it calls for the &lt;a href=&quot;http://www.math.vanderbilt.edu/~schectex/ccc/choice.html&quot;&gt;Axiom of Choice&lt;/a&gt; (which might be regarded as the grandaddy of all ways in which infinity is slippery stuff).</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655637</guid>
		<pubDate>Thu, 15 Apr 2004 11:21:27 -0800</pubDate>
		<dc:creator>gleuschk</dc:creator>
	</item>	<item>
		<title>By: jjray</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655656</link>	
		<description>Uh. Oh, I was looking at Then&apos;s paper, and I didn&apos;t look closely at the MathWorld link. Sorry, I should have been reading more closely instead of assuming &quot;same name means same thing&quot;.  I should have been more careful, because I have found other shortcomings in the MathWorld descriptions in the past as well.  Thanks for the clarification on that.

Also, and I am not trying to quibble, Gabriel&apos;s Horn &lt;em&gt;is&lt;/em&gt; a paradox in the sense that it is seemingly contradictory, though is actually true. In the sense of &lt;em&gt;essentially&lt;/em&gt; self-contradictory, however, I agree that it is not.</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655656</guid>
		<pubDate>Thu, 15 Apr 2004 11:52:18 -0800</pubDate>
		<dc:creator>jjray</dc:creator>
	</item>	<item>
		<title>By: trondant</title>
		<link>http://www.metafilter.com/32493/Horn-O-Everything#655717</link>	
		<description>So, the Big Bang might&apos;ve been a shaped charge?</description>
		<guid isPermaLink="false">comment:www.metafilter.com,2004:site.32493-655717</guid>
		<pubDate>Thu, 15 Apr 2004 13:26:32 -0800</pubDate>
		<dc:creator>trondant</dc:creator>
	</item>
	</channel>
</rss>
