<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	>
<channel>
	<title>Comments on: Universal Family</title>
	<atom:link href="http://www.arsmathematica.net/archives/2008/06/14/universal-family/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.arsmathematica.net/archives/2008/06/14/universal-family/</link>
	<description>Dedicated to the mathematical arts.</description>
	<pubDate>Thu, 08 Jan 2009 12:40:32 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.5.1</generator>
		<item>
		<title>By: Jonathan Vos Post</title>
		<link>http://www.arsmathematica.net/archives/2008/06/14/universal-family/#comment-60233</link>
		<dc:creator>Jonathan Vos Post</dc:creator>
		<pubDate>Sun, 15 Jun 2008 23:10:54 +0000</pubDate>
		<guid isPermaLink="false">http://www.arsmathematica.net/?p=672#comment-60233</guid>
		<description>I made the common mistake of not looking past the first Google page.  The second page has the gem:

http://www.physicsforums.com/showthread.php?t=168317

 Hermann Weyl stated

"In these days the angel of toplogy and the devil of abstract algebra fight for the soul of every individual discipline of mathematics."

...

if you are a geometer, and have much experience with learning sheaf theory, and cohomology, you will understand what he is saying.

there are even geometric topoologists who dislike algebraic topology. I have tried to teach toric varieties to geometers and topologists who after seeing the definitions via spectra of various rings, asked, "OK, but where is the geometry? how do you get your HANDS on them?"

there is a feeling that algebraic methods take away intuition and render simple arguments too abstract. e.g. do you believe an irreducible non singular affine algebraic curve is really an integrally closed integral domain of krull dimension one?

or that the tangent bundle to a variety is really the set of k[e] valued points where k[e] = k[t](t^2) is the dual numbers? (actually this is fermat's original definition, almost.)

or that a universal family of geometric objects should be regarded as a representable functor?

or that the right way to view a sheaf on a topological space is as a contravariant functor on category defined by the toopology where inclusions are the only morphisms?

You should, as this gives rise to the observation that one can generalize them to categories with more than one map between two objects, leading to the etale topology, and "stacks" where even single points have automorphisms.

these are needed to deal appropriately with local quotient spaces by groups acting with fixed points.

topologists tend to prefer homotopy to homology for this reaon, it is more geometric. Ed Brown Jr. considered his representation thoerem for cohomology as showing that cohomology was better than homology because being representable via homotopy showed that "it occurs in nature".</description>
		<content:encoded><![CDATA[<p>I made the common mistake of not looking past the first Google page.  The second page has the gem:</p>
<p><a href="http://www.physicsforums.com/showthread.php?t=168317" rel="nofollow">http://www.physicsforums.com/showthread.php?t=168317</a></p>
<p> Hermann Weyl stated</p>
<p>&#8220;In these days the angel of toplogy and the devil of abstract algebra fight for the soul of every individual discipline of mathematics.&#8221;</p>
<p>&#8230;</p>
<p>if you are a geometer, and have much experience with learning sheaf theory, and cohomology, you will understand what he is saying.</p>
<p>there are even geometric topoologists who dislike algebraic topology. I have tried to teach toric varieties to geometers and topologists who after seeing the definitions via spectra of various rings, asked, &#8220;OK, but where is the geometry? how do you get your HANDS on them?&#8221;</p>
<p>there is a feeling that algebraic methods take away intuition and render simple arguments too abstract. e.g. do you believe an irreducible non singular affine algebraic curve is really an integrally closed integral domain of krull dimension one?</p>
<p>or that the tangent bundle to a variety is really the set of k[e] valued points where k[e] = k[t](t^2) is the dual numbers? (actually this is fermat&#8217;s original definition, almost.)</p>
<p>or that a universal family of geometric objects should be regarded as a representable functor?</p>
<p>or that the right way to view a sheaf on a topological space is as a contravariant functor on category defined by the toopology where inclusions are the only morphisms?</p>
<p>You should, as this gives rise to the observation that one can generalize them to categories with more than one map between two objects, leading to the etale topology, and &#8220;stacks&#8221; where even single points have automorphisms.</p>
<p>these are needed to deal appropriately with local quotient spaces by groups acting with fixed points.</p>
<p>topologists tend to prefer homotopy to homology for this reaon, it is more geometric. Ed Brown Jr. considered his representation thoerem for cohomology as showing that cohomology was better than homology because being representable via homotopy showed that &#8220;it occurs in nature&#8221;.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Jonathan Vos Post</title>
		<link>http://www.arsmathematica.net/archives/2008/06/14/universal-family/#comment-60221</link>
		<dc:creator>Jonathan Vos Post</dc:creator>
		<pubDate>Sun, 15 Jun 2008 16:43:33 +0000</pubDate>
		<guid isPermaLink="false">http://www.arsmathematica.net/?p=672#comment-60221</guid>
		<description>If one disambiguates by entering into Google:

"universal family" math

then one gets pages beginning:

[PDF]
arXiv:math.AG/0505084 v1 5 May 2005
File Format: PDF/Adobe Acrobat - View as HTML
math.AG/0505084. Transformation of algebraic Gromov-Witten invariants of .... with its universal family is the descent of the local standard models of ...
arxiv.org/pdf/math/0505084 - Similar pages
[PDF]

&lt;a href="http://arxiv.org/abs/0710.3072v1" rel="nofollow"&gt;arXiv:0710.3072v1 [math ...
File Format: PDF/Adobe Acrobat - View as HTML
arXiv:0710.3072v1 [math.AG] 16 Oct 2007 .... of G-equivariant coherent sheaves on M, with kernel the universal family Z ⊆ Hilb ...
arxiv.org/pdf/0710.3072 - Similar pages
More results from arxiv.org »

[math/0603158v2] Harmonic Magnus Expansion on the Universal Family ...
Title: Harmonic Magnus Expansion on the Universal Family of Riemann Surfaces ... Subjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG) ...
xxx.tau.ac.il/abs/math/0603158v2 - 7k - Cached - Similar pages
[PDF]
What Is...A Stack?, Volume 50, Number 4
File Format: PDF/Adobe Acrobat - View as HTML
of Missouri, Columbia. His email address is edidin@. math.missouri.edu. ... will see that there is a universal family of elliptic ...
homepages.ulb.ac.be/~fschlenk/Maths/What/stack.pdf - Similar pages

Ars Mathematica
If you’re trying to look up the term universal family, my recommendation ... I was looking at the stats for Ars Math, when I saw that we’ve had 525 posts. ...
www.arsmathematica.net/ - Similar pages
Properties of sequence spaces in which l ...
latter yields a weak wedge space universal family of spaces of the form Z for ..... Snyder, A.K.: Universal families for conull FK spaces. Trans. Am. Math. ...
www.springerlink.com/index/U014371W676776X8.pdf - Similar pages

Wapedia - Wiki: Moduli space
Heuristically, if we have a space M for which each point m \in M ... A fine moduli space is a space M which is the base of a universal family. ...
wapedia.mobi/en/Moduli_space - 6k - Cached - Similar pages
Citebase - Harmonic Magnus Expansion on the Universal Family of ...
Harmonic Magnus Expansion on the Universal Family of Riemann Surfaces ... Based on record (harvested at): oai:arXiv.org:math/0603158 (2008-02-17) ...
www.citebase.org/abstract?id=oai%3AarXiv.org%3Amath%2F0603158 - 13k - Cached - Similar pages

Math 416, Fall 2004: Expanded Cumulative Syllabus
Math 416, Fall 2004: Expanded Cumulative Syllabus. Sept 8--10: ... 2-universal hashing: A random hash function from a 2-universal family gives the correct ...
www.eecs.umich.edu/~martinjs/math416/syl.html - 9k - Cached - Similar pages

p-adic variation of motives
Some of the most pressing open questions are: Can one establish the existence of the universal family (or any non-trivial family) of p-motives containing a ...
www.birs.ca/workshops/2003/03w5104/ - 10k - Cached - Similar pages&lt;/a&gt;</description>
		<content:encoded><![CDATA[<p>If one disambiguates by entering into Google:</p>
<p>&#8220;universal family&#8221; math</p>
<p>then one gets pages beginning:</p>
<p>[PDF]<br />
arXiv:math.AG/0505084 v1 5 May 2005<br />
File Format: PDF/Adobe Acrobat - View as HTML<br />
math.AG/0505084. Transformation of algebraic Gromov-Witten invariants of &#8230;. with its universal family is the descent of the local standard models of &#8230;<br />
arxiv.org/pdf/math/0505084 - Similar pages<br />
[PDF]</p>
<p><a href="http://arxiv.org/abs/0710.3072v1" rel="nofollow">arXiv:0710.3072v1 [math ...<br />
File Format: PDF/Adobe Acrobat - View as HTML<br />
arXiv:0710.3072v1 [math.AG] 16 Oct 2007 &#8230;. of G-equivariant coherent sheaves on M, with kernel the universal family Z ⊆ Hilb &#8230;<br />
arxiv.org/pdf/0710.3072 - Similar pages<br />
More results from arxiv.org »</p>
<p>[math/0603158v2] Harmonic Magnus Expansion on the Universal Family &#8230;<br />
Title: Harmonic Magnus Expansion on the Universal Family of Riemann Surfaces &#8230; Subjects: Geometric Topology (math.GT); Algebraic Geometry (math.AG) &#8230;<br />
xxx.tau.ac.il/abs/math/0603158v2 - 7k - Cached - Similar pages<br />
[PDF]<br />
What Is&#8230;A Stack?, Volume 50, Number 4<br />
File Format: PDF/Adobe Acrobat - View as HTML<br />
of Missouri, Columbia. His email address is edidin@. math.missouri.edu. &#8230; will see that there is a universal family of elliptic &#8230;<br />
homepages.ulb.ac.be/~fschlenk/Maths/What/stack.pdf - Similar pages</p>
<p>Ars Mathematica<br />
If you’re trying to look up the term universal family, my recommendation &#8230; I was looking at the stats for Ars Math, when I saw that we’ve had 525 posts. &#8230;<br />
</a><a href="http://www.arsmathematica.net/" rel="nofollow">http://www.arsmathematica.net/</a> - Similar pages<br />
Properties of sequence spaces in which l &#8230;<br />
latter yields a weak wedge space universal family of spaces of the form Z for &#8230;.. Snyder, A.K.: Universal families for conull FK spaces. Trans. Am. Math. &#8230;<br />
<a href="http://www.springerlink.com/index/U014371W676776X8.pdf" rel="nofollow">http://www.springerlink.com/index/U014371W676776X8.pdf</a> - Similar pages</p>
<p>Wapedia - Wiki: Moduli space<br />
Heuristically, if we have a space M for which each point m \in M &#8230; A fine moduli space is a space M which is the base of a universal family. &#8230;<br />
wapedia.mobi/en/Moduli_space - 6k - Cached - Similar pages<br />
Citebase - Harmonic Magnus Expansion on the Universal Family of &#8230;<br />
Harmonic Magnus Expansion on the Universal Family of Riemann Surfaces &#8230; Based on record (harvested at): oai:arXiv.org:math/0603158 (2008-02-17) &#8230;<br />
<a href="http://www.citebase.org/abstract?id=oai%3AarXiv.org%3Amath%2F0603158" rel="nofollow">http://www.citebase.org/abstract?id=oai%3AarXiv.org%3Amath%2F0603158</a> - 13k - Cached - Similar pages</p>
<p>Math 416, Fall 2004: Expanded Cumulative Syllabus<br />
Math 416, Fall 2004: Expanded Cumulative Syllabus. Sept 8&#8211;10: &#8230; 2-universal hashing: A random hash function from a 2-universal family gives the correct &#8230;<br />
<a href="http://www.eecs.umich.edu/~martinjs/math416/syl.html" rel="nofollow">http://www.eecs.umich.edu/~martinjs/math416/syl.html</a> - 9k - Cached - Similar pages</p>
<p>p-adic variation of motives<br />
Some of the most pressing open questions are: Can one establish the existence of the universal family (or any non-trivial family) of p-motives containing a &#8230;<br />
<a href="http://www.birs.ca/workshops/2003/03w5104/" rel="nofollow">http://www.birs.ca/workshops/2003/03w5104/</a> - 10k - Cached - Similar pages</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Matt Heath</title>
		<link>http://www.arsmathematica.net/archives/2008/06/14/universal-family/#comment-60214</link>
		<dc:creator>Matt Heath</dc:creator>
		<pubDate>Sun, 15 Jun 2008 09:05:09 +0000</pubDate>
		<guid isPermaLink="false">http://www.arsmathematica.net/?p=672#comment-60214</guid>
		<description>Well this post is now (10am Sunday, London/Lisbon time) on the front page of that search. If you found definition maybe you could post it here and fix the problem :).</description>
		<content:encoded><![CDATA[<p>Well this post is now (10am Sunday, London/Lisbon time) on the front page of that search. If you found definition maybe you could post it here and fix the problem :).</p>
]]></content:encoded>
	</item>
</channel>
</rss>
