<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>Bloomsbury Journal</title>
	<atom:link href="http://minhyongkim.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://minhyongkim.wordpress.com</link>
	<description>For my students</description>
	<lastBuildDate>Mon, 13 May 2013 06:10:07 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='minhyongkim.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://s2.wp.com/i/buttonw-com.png</url>
		<title>Bloomsbury Journal</title>
		<link>http://minhyongkim.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://minhyongkim.wordpress.com/osd.xml" title="Bloomsbury Journal" />
	<atom:link rel='hub' href='http://minhyongkim.wordpress.com/?pushpress=hub'/>
		<item>
		<title>Is air blue?</title>
		<link>http://minhyongkim.wordpress.com/2013/05/08/is-air-blue/</link>
		<comments>http://minhyongkim.wordpress.com/2013/05/08/is-air-blue/#comments</comments>
		<pubDate>Wed, 08 May 2013 23:16:51 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[education]]></category>
		<category><![CDATA[physics]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1051</guid>
		<description><![CDATA[This blog is now mostly about my teaching at Merton and Oxford. However, I thought I would occasionally insert a post about my learning as well. For the most part, this means learning from my colleagues, whom I tend to pester endlessly over meals with silly and nerdy questions. One such appears in the title [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1051&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>This blog is now mostly about my teaching at Merton and Oxford. However, I thought I would occasionally insert a post about my <em>learning</em> as well. For the most part, this means learning from my colleagues, whom I tend to pester endlessly over meals with silly and nerdy questions. One such appears in the title of this post; the victims were Alan Barr and Alex Schekochihin.</p>
<p>The answer of &#8216;yes&#8217; can be justified as follows:</p>
<p><strong>When we speak of the color of an object, it is the visual sensation* correponding to  the mixture of frequencies in the light it scatters. This color is not constant, but there is a dominant one determined by an interpolation of usual experience.</strong></p>
<p>From this point of view, it seems sensible to say that air in small quantities is transparent, but in large quantities**, it is blue.</p>
<p>So when a young child asks, </p>
<p>&#8216;Why is the sky blue?,&#8217;</p>
<p> a reasonable response is</p>
<p>&#8216;Because air is blue.&#8217; </p>
<p>It&#8217;s not that the usual answer in terms of <a href="http://en.wikipedia.org/wiki/Rayleigh_scattering">Rayleigh scattering</a> is wrong. But this is going into  the deeper explanation of why air is blue. On the other hand, the shallower response above corresponds to something like:</p>
<p>Q: Why are leaves green?</p>
<p>A: Because they contain a lot of chlorophyll, which is green.</p>
<p>The Rayleigh scattering and so forth would then be analogous to an explanation of why chlorophyll is green. (I don&#8217;t know. Of course there must be a chemical explanation of sorts, but I seem to recall that there is also an interesting evolutionary explanation.) You can go into this later when the child is older.</p>
<p>By the way, &#8216;air&#8217; here refers to the substance making up the Earth&#8217;s atmosphere. <a href="http://en.wikipedia.org/wiki/Extraterrestrial_skies">Atmospheric colours seen from other bodies in the solar system</a> seem to be quite diverse.</p>
<p>Invoking the classification of different interactions, one might argue that there is a distinction between a process that involves a good deal of <a href="http://en.wikipedia.org/wiki/Color">absorption-emission</a> (which is the case for most solid objects we see) and one that only has elastic scattering. However, Alan and Alex assure me that these are really no different from a physicist&#8217;s view: It&#8217;s all <a href="http://en.wikipedia.org/wiki/Scattering">scattering</a>.</p>
<p>At the end of the Warden and Tutor&#8217;s meeting today, Simon Hooker contributed the interesting remark that <a href="http://en.wikipedia.org/wiki/Liquid_oxygen">liquid oxygen</a> is a very pretty blue, although that is likely to be a different phenomenon from Rayleigh scattering. </p>
<p>Apparently, Philip Larkin was  aware of this question and answer:</p>
<p>High Windows (1967)</p>
<p>When I see a couple of kids<br />
And guess he’s fucking her and she’s<br />
Taking pills or wearing a diaphragm,<br />
I know this is paradise</p>
<p>Everyone old has dreamed of all their lives—<br />
Bonds and gestures pushed to one side<br />
Like an outdated combine harvester,<br />
And everyone young going down the long slide</p>
<p>To happiness, endlessly. I wonder if<br />
Anyone looked at me, forty years back,<br />
And thought, That’ll be the life;<br />
No God any more, or sweating in the dark</p>
<p>About hell and that, or having to hide<br />
What you think of the priest. He<br />
And his lot will all go down the long slide<br />
Like free bloody birds. And immediately</p>
<p>Rather than words comes the thought of high windows:<br />
The sun-comprehending glass,<br />
And beyond it, the deep blue air, that shows<br />
Nothing, and is nowhere, and is endless.</p>
<p>As you know, a poet chooses his words pretty carefully, especially in a short poem. So Larkin must have meant something nontrivial writing the last stanza: &#8216;blue sky&#8217; would  have been the  phrase coming more readily to mind.</p>
<p>I think Alan summarized his annoyance quite succinctly:</p>
<p>&#8216;They fuck you up, these mathematicians.&#8217;</p>
<p>Well, we don&#8217;t mean to&#8230;</p>
<p>&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8211;</p>
<p>* &#8216;Visual sensation&#8217; here is referring to the fact that color seen by the eye is an equivalence class of light. You may know that the space of colours is three-dimensional, a mere projection of  the space of physical light, which is infinite-dimensional. For an intriguing overview of this topic, I recommend the article &#8216;Geometry in Color Perception&#8217; by A. Ashtekar, A. Corichi and M. Pierri, in: Black Holes, Gravitational Radiation and the University, (Kluwer Dodrecht, 1999), p. 535-549, CGPG pre-print 97/12-7. </p>
<p>** By the way, the fact that colour is an aggregate effect applies to usual objects as well. Gold is rather yellow, but I doubt it would be  if we broke it down into molecules. Obviously, how much stuff needs to be present for us to start experiencing colour will depend on the substance.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1051/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1051/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1051&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/05/08/is-air-blue/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Probability, sheet 4, number 8</title>
		<link>http://minhyongkim.wordpress.com/2013/05/08/1046/</link>
		<comments>http://minhyongkim.wordpress.com/2013/05/08/1046/#comments</comments>
		<pubDate>Wed, 08 May 2013 16:39:46 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[probability]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1046</guid>
		<description><![CDATA[I didn&#8217;t have time to fully discuss number 8 of sheet 4 . But Matej Balog has kindly agreed to let me post his solution on the blog.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1046&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I didn&#8217;t have time to fully discuss number 8 of <a href="http://minhyongkim.files.wordpress.com/2013/05/sheet4_ht2013.pdf">sheet 4 </a>. But Matej Balog has kindly agreed to let me post <a href="http://minhyongkim.files.wordpress.com/2013/05/probability_sheet4_8.pdf">his solution </a> on the blog.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1046/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1046/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1046&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/05/08/1046/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Probability sheet 4, number 9</title>
		<link>http://minhyongkim.wordpress.com/2013/05/08/probability-sheet-4-number-9/</link>
		<comments>http://minhyongkim.wordpress.com/2013/05/08/probability-sheet-4-number-9/#comments</comments>
		<pubDate>Wed, 08 May 2013 15:10:47 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[probability]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1041</guid>
		<description><![CDATA[I would like to highly recommend working out number 9 on probability sheet 4, simply because it&#8217;s so amusing. It reads like this: &#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;- Passengers arrive at a bus stop at rate 1 per minute. Find the distribution of the number of passengers boarding a typical bus in two cases: (a) buses arrive regularly every [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1041&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I would like to highly recommend working out number 9 on <a href="http://minhyongkim.files.wordpress.com/2013/05/sheet4_ht2013.pdf">probability sheet 4</a>, simply because it&#8217;s so amusing.</p>
<p>It reads like this:</p>
<p>&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;-<br />
Passengers arrive at a bus stop at rate 1 per minute. Find the distribution of the number<br />
of passengers boarding a typical bus in two cases: (a) buses arrive regularly every 10<br />
minutes; (b) buses arrive as a Poisson process with rate 1 per 10 minutes. Which one has<br />
higher variance?</p>
<p>I arrive at the bus stop at 2pm. Find the distribution of the number of other passengers<br />
boarding the same bus as me in the two cases above.<br />
&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;&#8212;</p>
<p>Most of the problem is straightforward, and I won&#8217;t go over it here. For example, the mean number of passengers boarding will be 10 in either case, but,  naturally, the variance will be higher in case (b). But what&#8217;s amusing is the second part, where we assume you arrive at the bus at some given time, and calculate the mean number of *other* passengers boarding with you. For case (a), you find 10 as before, but for case (b), the mean turns out to be 20!</p>
<p>This situation is sometimes referred to as the &#8216;inspector&#8217;s paradox&#8217;. That is, if you&#8217;re an inspector trying to check up on the mean number of passengers boarding at a given stop by arriving at 2 PM for a number of days to take the bus,  you will tend to find a larger mean than the true mean for the average bus, at least in the model (b). You should ask yourself why this happens.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1041/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1041/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1041&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/05/08/probability-sheet-4-number-9/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Automorphism groups of groups</title>
		<link>http://minhyongkim.wordpress.com/2013/05/08/automorphism-groups-of-groups/</link>
		<comments>http://minhyongkim.wordpress.com/2013/05/08/automorphism-groups-of-groups/#comments</comments>
		<pubDate>Wed, 08 May 2013 14:55:29 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[algebra]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1038</guid>
		<description><![CDATA[After last week&#8217;s GAGA tutorials, I wrote some notes related to sheet 5.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1038&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>After last week&#8217;s GAGA tutorials, I wrote some <a href="http://minhyongkim.files.wordpress.com/2013/05/autgroups.pdf">notes related to sheet 5</a>.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1038/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1038/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1038&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/05/08/automorphism-groups-of-groups/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Quadratic forms</title>
		<link>http://minhyongkim.wordpress.com/2013/02/21/quadratic-forms-2/</link>
		<comments>http://minhyongkim.wordpress.com/2013/02/21/quadratic-forms-2/#comments</comments>
		<pubDate>Thu, 21 Feb 2013 10:01:02 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[algebra]]></category>
		<category><![CDATA[linear algebra]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1033</guid>
		<description><![CDATA[A quadratic form is essentially the same thing as a symmetric bilinear form, at least over a field of characteristic different from 2. A while ago, I wrote a brief note on quadratic forms dealing with diagonalization and geometry. I hope it&#8217;s useful for HT2013, sheet 4, problem 8, in particular.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1033&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>A quadratic form is essentially the same thing as a symmetric bilinear form, at least over a field of characteristic different from 2. A while ago, I wrote a brief <a href="http://minhyongkim.files.wordpress.com/2013/02/quad.pdf">note on quadratic forms</a> dealing with diagonalization and geometry. I hope it&#8217;s useful for HT2013, sheet 4, problem 8, in particular.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1033/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1033/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1033&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/02/21/quadratic-forms-2/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Orthogonal bases</title>
		<link>http://minhyongkim.wordpress.com/2013/02/20/orthogonal-bases/</link>
		<comments>http://minhyongkim.wordpress.com/2013/02/20/orthogonal-bases/#comments</comments>
		<pubDate>Wed, 20 Feb 2013 22:36:58 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[algebra]]></category>
		<category><![CDATA[linear algebra]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1027</guid>
		<description><![CDATA[I was a bit confused during tutorials today about orthogonal bases, so I wrote up a short note on how to find them. This method is illustrated with problem 5 on sheet 4 for Linear Algebra II.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1027&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I was a bit confused during tutorials today about orthogonal bases, so I wrote up a <a href="http://minhyongkim.files.wordpress.com/2013/02/lasheet41.pdf">short note</a> on how to find them. This method is illustrated with problem 5 on sheet 4 for Linear Algebra II.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1027/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1027/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1027&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/02/20/orthogonal-bases/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Probability sheet 4</title>
		<link>http://minhyongkim.wordpress.com/2013/02/14/probability-sheet-4/</link>
		<comments>http://minhyongkim.wordpress.com/2013/02/14/probability-sheet-4/#comments</comments>
		<pubDate>Thu, 14 Feb 2013 01:05:06 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[probability]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1017</guid>
		<description><![CDATA[Here is a sketch of problem 10 on sheet 4. The convergence question that came up in the tutorial is clarified in an elementary way. Added: Towards the end of the document, I should have stated that is a Riemann sum for the integral with mesh size , Since this goes to zero and we [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1017&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Here is a sketch of <a href="http://minhyongkim.files.wordpress.com/2013/02/prob14-2-131.pdf">problem 10 </a> on sheet 4. The convergence question that came up in the tutorial is clarified in an elementary way.</p>
<p>Added: Towards the end of the document, I should have stated that <img src='http://s0.wp.com/latex.php?latex=S_N&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='S_N' title='S_N' class='latex' /> is a Riemann sum for the integral with mesh size <img src='http://s0.wp.com/latex.php?latex=2%5E%7B-N%2B1%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='2^{-N+1}' title='2^{-N+1}' class='latex' />, Since this goes to zero and we are integrating a continuous function, we get convergence of the sum to the integral.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1017/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1017/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1017&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/02/14/probability-sheet-4/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Homomorphism of formal groups</title>
		<link>http://minhyongkim.wordpress.com/2013/02/13/homomorphism-of-formal-groups/</link>
		<comments>http://minhyongkim.wordpress.com/2013/02/13/homomorphism-of-formal-groups/#comments</comments>
		<pubDate>Wed, 13 Feb 2013 18:08:10 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[algebraic geometry]]></category>
		<category><![CDATA[number theory]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=1012</guid>
		<description><![CDATA[Wei Yue asks the following question: In the definition of a homomorphism between two formal groups and , what is the reason we required ? The short reason is that we want to preserve the origin, that is, . A more complicated reason is that in general, the expression may not make sense for a [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1012&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Wei Yue asks the following question: In the definition of a homomorphism <img src='http://s0.wp.com/latex.php?latex=f%28T%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='f(T)' title='f(T)' class='latex' /> between two formal groups <img src='http://s0.wp.com/latex.php?latex=F&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F' title='F' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=G&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='G' title='G' class='latex' />, what is the reason we required <img src='http://s0.wp.com/latex.php?latex=f%5Cin+TR%5B%5BT%5D%5D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='f&#92;in TR[[T]]' title='f&#92;in TR[[T]]' class='latex' />? The short reason is that we want <img src='http://s0.wp.com/latex.php?latex=f&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='f' title='f' class='latex' /> to preserve the origin, that is, <img src='http://s0.wp.com/latex.php?latex=f%280%29%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='f(0)=0' title='f(0)=0' class='latex' />. A more complicated reason is that in general, the expression <img src='http://s0.wp.com/latex.php?latex=G%28f%28X%29%2C+f%28Y%29%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='G(f(X), f(Y))' title='G(f(X), f(Y))' class='latex' /> may not make sense for a power series <img src='http://s0.wp.com/latex.php?latex=G%28X%2CY%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='G(X,Y)' title='G(X,Y)' class='latex' /> if <img src='http://s0.wp.com/latex.php?latex=f&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='f' title='f' class='latex' /> has a non-zero constant term. This is a point we have been somewhat cavalier about: When can we substitute one power series in another and get a well-defined power series as the answer? You should ponder this for yourself a bit, and then try to formulate some conditions precisely using the definition</p>
<p><img src='http://s0.wp.com/latex.php?latex=R%5B%5BT%5D%5D%3D+%5Clim_%7B%5Cleftarrow%7D+R%5BT%5D%2F%28T%5En%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='R[[T]]= &#92;lim_{&#92;leftarrow} R[T]/(T^n)' title='R[[T]]= &#92;lim_{&#92;leftarrow} R[T]/(T^n)' class='latex' /></p>
<p>of the ring of power series with coefficients in <img src='http://s0.wp.com/latex.php?latex=R&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='R' title='R' class='latex' />.</p>
<p>Here is an exercise worth trying out: Suppose <img src='http://s0.wp.com/latex.php?latex=F%28X%2CY%29&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F(X,Y)' title='F(X,Y)' class='latex' /> is a polynomial that defines an algebraic group law on the field <img src='http://s0.wp.com/latex.php?latex=%5Cmathbb%7BC%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;mathbb{C}' title='&#92;mathbb{C}' class='latex' /> with <img src='http://s0.wp.com/latex.php?latex=0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='0' title='0' class='latex' /> as the origin. Then <img src='http://s0.wp.com/latex.php?latex=F%28X%2CY%29%3DX%2BY&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F(X,Y)=X+Y' title='F(X,Y)=X+Y' class='latex' /> is the only choice.<br />
Hang on, what about</p>
<p><img src='http://s0.wp.com/latex.php?latex=X%2BY%2BXY&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='X+Y+XY' title='X+Y+XY' class='latex' />?</p>
<p>Well, you have to formulate a bit carefully what is meant by an algebraic group law. Anyways, the conclusion is that deforming the usual group structure in any reasonable sense requires us to move out of the realm of polynomials.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/1012/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/1012/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=1012&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/02/13/homomorphism-of-formal-groups/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>A quiz about p-adic numbers</title>
		<link>http://minhyongkim.wordpress.com/2013/01/30/a-quiz-about-p-adic-numbers/</link>
		<comments>http://minhyongkim.wordpress.com/2013/01/30/a-quiz-about-p-adic-numbers/#comments</comments>
		<pubDate>Wed, 30 Jan 2013 23:32:32 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[number theory]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=994</guid>
		<description><![CDATA[I mentioned in lecture something called the Hasse Principle, which holds for simple kinds of equations. You can read about this in the book &#8216;A course in arithmetic&#8217; by J.-P. Serre. I highly recommend this book as an introduction to the theory of Diophantine equations with a different flavor from the present course. Now, we&#8217;ve [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=994&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I mentioned in lecture something called the Hasse Principle, which holds for simple kinds of equations. You can read about this in the book &#8216;A course in arithmetic&#8217; by J.-P. Serre. I highly recommend this book as an introduction to the theory of Diophantine equations with a different flavor from the present course.</p>
<p>Now, we&#8217;ve discussed numbers having square-roots in some <img src='http://s0.wp.com/latex.php?latex=%7B%5Cbf+Q%7D_p&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;bf Q}_p' title='{&#92;bf Q}_p' class='latex' />  (or <img src='http://s0.wp.com/latex.php?latex=%7B%5Cbf+R%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;bf R}' title='{&#92;bf R}' class='latex' />) and not others. For example, I hope you can check that <img src='http://s0.wp.com/latex.php?latex=%5Csqrt%7B-1%7D%5Cin+%7B%5Cbf+Q%7D_p&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;sqrt{-1}&#92;in {&#92;bf Q}_p' title='&#92;sqrt{-1}&#92;in {&#92;bf Q}_p' class='latex' /> if and only if <img src='http://s0.wp.com/latex.php?latex=p+%5Cequiv+1+%5Cmod+4&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='p &#92;equiv 1 &#92;mod 4' title='p &#92;equiv 1 &#92;mod 4' class='latex' />. But here is the quiz: Which rational numbers have square-roots in <img src='http://s0.wp.com/latex.php?latex=%7B%5Cbf+R%7D&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;bf R}' title='{&#92;bf R}' class='latex' /> and *all* <img src='http://s0.wp.com/latex.php?latex=%7B%5Cbf+Q%7D_p&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;bf Q}_p' title='{&#92;bf Q}_p' class='latex' />?</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/994/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/994/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=994&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/01/30/a-quiz-about-p-adic-numbers/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
		<item>
		<title>Some obvious singularities</title>
		<link>http://minhyongkim.wordpress.com/2013/01/30/some-obvious-singularities/</link>
		<comments>http://minhyongkim.wordpress.com/2013/01/30/some-obvious-singularities/#comments</comments>
		<pubDate>Wed, 30 Jan 2013 21:55:36 +0000</pubDate>
		<dc:creator>minhyong kim</dc:creator>
				<category><![CDATA[algebraic geometry]]></category>
		<category><![CDATA[number theory]]></category>

		<guid isPermaLink="false">http://minhyongkim.wordpress.com/?p=988</guid>
		<description><![CDATA[Wei Yue asked a question about an assertion that came up in lecture today. It was that if a curve in has defining equation , where for two non-constant homogeneous polynomials and , then is necessarily singular. The reason is the equation So if is a point where and , then . But the zero [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=988&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>Wei Yue asked a question about an assertion that came up in lecture today. It was that if a curve <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> in <img src='http://s0.wp.com/latex.php?latex=%7B%5Cbf+P%7D%5E2&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;bf P}^2' title='{&#92;bf P}^2' class='latex' /> has defining equation <img src='http://s0.wp.com/latex.php?latex=F%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F=0' title='F=0' class='latex' />, where <img src='http://s0.wp.com/latex.php?latex=F%3DGH&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F=GH' title='F=GH' class='latex' /> for two non-constant homogeneous polynomials <img src='http://s0.wp.com/latex.php?latex=G&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='G' title='G' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=H&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='H' title='H' class='latex' />, then <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> is necessarily singular. The reason is the equation</p>
<p><img src='http://s0.wp.com/latex.php?latex=%5Cnabla+F%3D%28%5Cnabla+G%29H%2BG%28%5Cnabla+H%29.&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;nabla F=(&#92;nabla G)H+G(&#92;nabla H).' title='&#92;nabla F=(&#92;nabla G)H+G(&#92;nabla H).' class='latex' /></p>
<p>So if <img src='http://s0.wp.com/latex.php?latex=a&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='a' title='a' class='latex' /> is a point where <img src='http://s0.wp.com/latex.php?latex=G%28a%29%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='G(a)=0' title='G(a)=0' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=H%28a%29%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='H(a)=0' title='H(a)=0' class='latex' />, then <img src='http://s0.wp.com/latex.php?latex=%5Cnabla+F%28a%29%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='&#92;nabla F(a)=0' title='&#92;nabla F(a)=0' class='latex' />. But the zero sets of <img src='http://s0.wp.com/latex.php?latex=G&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='G' title='G' class='latex' /> and <img src='http://s0.wp.com/latex.php?latex=H&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='H' title='H' class='latex' /> must meet (by Bezout&#8217;s theorem) and hence, the curve <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> is singular. </p>
<p>Another way of thinking about this is to explicitly consider the zero sets </p>
<p><img src='http://s0.wp.com/latex.php?latex=D%3A+G%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='D: G=0' title='D: G=0' class='latex' /></p>
<p>and</p>
<p><img src='http://s0.wp.com/latex.php?latex=E%3A+H%3D0&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='E: H=0' title='E: H=0' class='latex' />.</p>
<p>Since <img src='http://s0.wp.com/latex.php?latex=F%3DGH&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F=GH' title='F=GH' class='latex' />, we get</p>
<p><img src='http://s0.wp.com/latex.php?latex=C%3DD%5Ccup+E.&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C=D&#92;cup E.' title='C=D&#92;cup E.' class='latex' /></p>
<p>But there must be a point <img src='http://s0.wp.com/latex.php?latex=a%5Cin+D%5Ccap+E&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='a&#92;in D&#92;cap E' title='a&#92;in D&#92;cap E' class='latex' />, and this is a singular point of <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' />. If you visualize <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> as the union of two curves, you can imagine that these isn&#8217;t a single tangent line to <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> along their intersection (and it *looks* singular there). For the easiest example, consider the union of two lines that meet at a point. (By the way, in <img src='http://s0.wp.com/latex.php?latex=%7B%5Cbf+P%7D%5E2&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='{&#92;bf P}^2' title='{&#92;bf P}^2' class='latex' /> two lines *must* meet.)</p>
<p>Another question was about the factorization of such an <img src='http://s0.wp.com/latex.php?latex=F&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F' title='F' class='latex' />. That is, doesn&#8217;t <img src='http://s0.wp.com/latex.php?latex=F&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F' title='F' class='latex' /> factorize into linear factors anyways? The answer is no in general. The factorization we discussed in the lecture was for homogeneous polynomials in two variables. In three variables, many <img src='http://s0.wp.com/latex.php?latex=F&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F' title='F' class='latex' /> of large degree are *irreducible*.  In fact, what we showed above is that if <img src='http://s0.wp.com/latex.php?latex=F&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='F' title='F' class='latex' /> is reducible (in that case, we also say <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> is reducible), then <img src='http://s0.wp.com/latex.php?latex=C&amp;bg=ffffff&amp;fg=000&amp;s=0' alt='C' title='C' class='latex' /> is necessarily singular.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/minhyongkim.wordpress.com/988/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/minhyongkim.wordpress.com/988/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=minhyongkim.wordpress.com&#038;blog=1867011&#038;post=988&#038;subd=minhyongkim&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://minhyongkim.wordpress.com/2013/01/30/some-obvious-singularities/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/7dd6c613de913bedc008b147c8abb2c9?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">minhyong kim</media:title>
		</media:content>
	</item>
	</channel>
</rss>
