<?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/"
	>

<channel>
	<title>#noncommutative</title>
	<atom:link href="http://www.noncommutative.org/index.php/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.noncommutative.org</link>
	<description>noncommutative geometry in 1000 tweets</description>
	<lastBuildDate>Wed, 30 Jun 2010 18:22:08 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0</generator>
		<item>
		<title>Twitterification of the blogosphere</title>
		<link>http://www.noncommutative.org/index.php/twitterification-of-the-blogosphere/</link>
		<comments>http://www.noncommutative.org/index.php/twitterification-of-the-blogosphere/#comments</comments>
		<pubDate>Sat, 19 Jun 2010 13:48:55 +0000</pubDate>
		<dc:creator>lievenlb</dc:creator>
				<category><![CDATA[columns]]></category>
		<category><![CDATA[blogging]]></category>
		<category><![CDATA[google]]></category>
		<category><![CDATA[noncommutative]]></category>
		<category><![CDATA[social media]]></category>
		<category><![CDATA[twitter]]></category>

		<guid isPermaLink="false">http://www.noncommutative.org/?p=526</guid>
		<description><![CDATA[Yesterday, Sean Carroll announced (and twittered) he&#8217;ll suspend blogging at Cosmic Variance in order to concentrate on his research. A couple of months ago, John Baez dropped a bom saying he will stop writing &#8216;This Week&#8217;s Finds in Mathematical Physics&#8217; after week 300, due to a change of focus (&#8220;I&#8217;ve realized that our little planet [...]]]></description>
			<content:encoded><![CDATA[<div class="tweetmeme_button" style="float: right; margin-left: 10px;">
			<a href="http://api.tweetmeme.com/share?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Ftwitterification-of-the-blogosphere%2F"><br />
				<img src="http://api.tweetmeme.com/imagebutton.gif?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Ftwitterification-of-the-blogosphere%2F&amp;style=normal" height="61" width="50" /><br />
			</a>
		</div>
<p><ul>
<li> Yesterday, Sean Carroll <a href="http://blogs.discovermagazine.com/cosmicvariance/2010/06/17/downshifting/">announced</a> (and <a href="http://twitter.com/seanmcarroll/statuses/16478718630">twittered</a>) he&#8217;ll suspend blogging at <a href="http://blogs.discovermagazine.com/cosmicvariance/">Cosmic Variance</a> in order to concentrate on his research.
<li> A couple of months ago, John Baez <a href="http://math.ucr.edu/home/baez/week293.html">dropped a bom</a> saying he will stop writing &#8216;This Week&#8217;s Finds in Mathematical Physics&#8217; after week 300, due to a change of focus (&#8220;I&#8217;ve realized that our little planet needs my help a lot more than the abstract structure of the universe does&#8221;). Since then, the <a href="http://golem.ph.utexas.edu/category/">n-category cafe</a> is grinding to a halt.
<li> At <a href="http://twistedphysics.typepad.com/cocktail_party_physics/">Coctail Party Physics</a> there was a series of reposts <a href="http://twistedphysics.typepad.com/cocktail_party_physics/2010/03/pardon_my_rever.html">because</a> : &#8220;Life is currently kicking our collective asses, both professionally and (for some of us) personally, hence the eerie quiet of late at the cocktail party physics&#8221;.
</ul>
<p>
These are no exceptions. More science- and math-blogs are struggling to maintain an illusion of activity. Sure, in these uncertain times one is more focussed on essentials (job, family) rather than peripherals (such as blogging). But, perhaps there&#8217;s more to it.</p>
<p>
<b>RSS-feeds became status-updates</b></p>
<p>
Most people digest a newspaper by skimming the titles and actually read only a small selection of the articles in some detail. </p>
<p>
A few years ago, every blog was its own newspaper. People checked their favorite blogs periodically by hand (the early adopters had a very small bloglist in their RSS-aggregator), read most of the new material and frequently bookmarked, commented on or linked to the post.</p>
<p>
Today, the RSS-feed has become the newspaper itself. People subscribe to such a large collection of different feeds (news sites, blogs, status updates, forums etc.) that they can only skim the titles, rarely click through and push the &#8216;mark all read&#8217; button in order to keep things somewhat under control. A bit like you manage your Twitter- or Facebook-status update.</p>
<p>
As a result, one gets less interaction and feedback, the stats show decreasing on-site activity and one begins to question the futility of it all. However, there is no reason to despair.</p>
<p>
<b>GoogleAnalytics, a blogger&#8217;s best (only) friend</b></p>
<p>
Trying to write a good post is still worthwhile, at least in the long run. If you&#8217;re on <a href="http://www.google.com/analytics/">Google Analytics</a>, check-out under &#8216;Content&#8217; the posts having accumulated the largest number of hits and having the longest average on-page time. </p>
<p>
Chances are these are your better posts. But, you will see that most of these hits didn&#8217;t take place via RSS-feeds the day it was posted, but over time, via referrals through sites like Wikipedia or MathOverflow, linking to your post.</p>
<p>
That is, bloggers need to go for long term effects rather than instant gratification via comments or visitor-stats. But then, thinking-long-term is so last millennium! </p>
<p>
<b>Microblogging isn&#8217;t the alternative</b></p>
<p>
Perhaps we can combine blogging with getting instant response? I&#8217;m two weeks on Twitter <a href="http://twitter.com/lievenlb">now</a> and thanks to the wide variety of people I&#8217;m following I discovered a lot of material, quickly</p>
<p><ul>
<li> BreakingNews : yesterday, I first learned of Jose Saramago&#8217;s death via <a href="http://twitter.com/thebookslut/status/16469659355">@thebookslut</a>
<li> SillyThings : also yesterday, @divbyzero taugth me how to add vuvuzelas to <a href="http://www.vuvuzela-time.co.uk/www.noncommutative.org">#noncommutative</a>
<li> GoodReads : @JenLucPiquant pointed me to several interesting posts, mostly on science writing
</ul>
<p>
But, if you wonder about the futility of blogging, Twitter is the nec-plus-ultra in futility. A tweet, not picked up immediately, is forgotten and lost in the twitterverse by tomorrow.</p>
<p>
<b>A compromise? Tweet-blogging</b></p>
<p>
Perhaps, we can have the best of both worlds, by writing better posts through immediate feedback on drafts via Twitter. Here&#8217;s the idea (refer to the excellent post <a href="http://informationarchitects.jp/new-and-dirty-tweet-blogging/">New and Dirty : Tweet Blogging</a> for more details)</p>
<p><ul>
<li> Aim for shorter, crispier posts. Your Twitter-experience of trying to capture an idea in 140 characters or less will help you in this.
<li> Condense the main points you want to make in your post into a couple of tweets and twitter them as &#8216;draft versions&#8217; of your post.
<li> If you&#8217;ve collected a good mix of followers, you might expect excellent feedback on your draft, this is also known as <a href="http://en.wikipedia.org/wiki/Crowdsourcing">Crowd sourcing</a>. Edit : <a href="http://twitter.com/BoraZ/statuses/16558073271">BoraZ</a> corrects this as &#8216;mindcasting&#8217;.
<li> Edit your post by combining the key-points (the tweets) with the responses you obtained.
<li> Tweet the URL of your post, thanking your collaborators.
</ul>
<p>
To see it in practice, @divbyzero got me involved in <a href="http://twitter.com/divbyzero/status/15849116622">a question on quiver-terminology</a> resulting in his post <a href="http://divisbyzero.com/2010/06/10/whats-in-a-name/">What&#8217;s in a name</a>.</p>
<p>
<div id="pfButton"><a href="http://www.noncommutative.org/index.php/twitterification-of-the-blogosphere/?pfstyle=wp" title="Print an optimized version of this web page" style="text-decoration: none;"><span style="color: rgb(85, 117, 12);">Print Friendly</span></a></div>]]></content:encoded>
			<wfw:commentRss>http://www.noncommutative.org/index.php/twitterification-of-the-blogosphere/feed/</wfw:commentRss>
		<slash:comments>12</slash:comments>
		</item>
		<item>
		<title>non-commutative or non-communicative?</title>
		<link>http://www.noncommutative.org/index.php/non-commutative-or-non-communicative/</link>
		<comments>http://www.noncommutative.org/index.php/non-commutative-or-non-communicative/#comments</comments>
		<pubDate>Mon, 14 Jun 2010 13:28:27 +0000</pubDate>
		<dc:creator>lievenlb</dc:creator>
				<category><![CDATA[columns]]></category>
		<category><![CDATA[google]]></category>
		<category><![CDATA[noncommutative]]></category>
		<category><![CDATA[noncommutative algebra]]></category>
		<category><![CDATA[noncommutative geometry]]></category>
		<category><![CDATA[social media]]></category>
		<category><![CDATA[social mention]]></category>
		<category><![CDATA[twitter]]></category>

		<guid isPermaLink="false">http://www.noncommutative.org/?p=383</guid>
		<description><![CDATA[Noncommutative geometry and noncommutative algebra appear to have a problem when it comes to their visibility on social-media sites, compared to related topics such as representation theory, algebraic geometry, category theory or string theory. At times when science journalists turn to tools like Twitter for crowdsourcing and more and more people start their information-search from [...]]]></description>
			<content:encoded><![CDATA[<div class="tweetmeme_button" style="float: right; margin-left: 10px;">
			<a href="http://api.tweetmeme.com/share?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Fnon-commutative-or-non-communicative%2F"><br />
				<img src="http://api.tweetmeme.com/imagebutton.gif?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Fnon-commutative-or-non-communicative%2F&amp;style=normal" height="61" width="50" /><br />
			</a>
		</div>
<p>
Noncommutative geometry and noncommutative algebra appear to have a problem when it comes to their visibility on social-media sites, compared to related topics such as representation theory, algebraic geometry, category theory or string theory. </p>
<p>
At times when science journalists turn to tools like Twitter for crowdsourcing and more and more people start their information-search from within preferred social-media sites, the noncommutative message is under threat to become irrelevant, quickly. In future posts we&#8217;ll try out strategies to (hopefully) remedy this a bit, but first we need to get the sobering numbers straight.</p>
<p>
<b>Google Search : </b> A quick way to get an estimate for the number of webpages and blogposts having &#8216;noncommutative geometry&#8217; in the title is to use Google-search and type</p>
<p>
allintitle:&#8221;noncommutative geometry&#8221;</p>
<p>
and record the total number of results returned (search &#8216;Web&#8217; resp. &#8216;more/Blogs&#8217;). Below the blogpost-ranking, together with (blog &#8211; web) data for our list of topics.</p>
<p><ol>
<li> string theory : (12000 &#8211; 71700)
<li> algebraic geometry : (911 &#8211; 109000)
<li> category theory : (441 &#8211; 32400)
<li> representation theory : (405 &#8211; 86300)
<li> noncommutative geometry : (244 &#8211; 24400)
<li> noncommutative algebra : (12 &#8211; 3480)
</ol>
<p>
<b>Google Adwords : </b> Surely (?) nobody&#8217;s going to place a bid on &#8216;noncommutative geometry&#8217; but Google&#8217;s <a href="https://adwords.google.com/select/TrafficEstimatorSandbox">AdWords Traffic Estimator</a> (click through to the new beta version) is an excellent free tool to estimate the number of monthly global searches for specific terms, and their estimated CPC (cost per click). Here the search-ranking and corresponding CPC-value</p>
<p><ol>
<li> string theory : 110000 (&#36; 0.19)
<li> algebraic geometry : 18000 (&#36; 0.52)
<li> representation theory : 8100 (&#36; 0.42)
<li> category theory : 5400 (&#36; 4.54)
<li> noncommutative geometry : 1300 (&#36; 0.40)
<li> noncommutative algebra : &#8211; (&#36; 0.05)
</ol>
<p>
Note the hight CPC for &#8216;category theory&#8217; and insufficient data for &#8216;noncommutative algebra&#8217; to give a credible monthly search estimate.</p>
<p>
The above data gives a rough indication of the relative visibility and popularity of these topics, at least when one restricts to people searching information via Google (or similar search-engines).</p>
<p>
Today, more and more people are surfing the web via the search function of their preferred social-media site, such as <a href="http://digg.com/">Digg</a>, <a href="http://www.reddit.com/r/math/">Reddit</a>, <a href="http://www.facebook.com">Facebook</a> or <a href="http://www.twitter.com">Twitter</a> (and about a 100 similar sites). Some of these have their own search engines, such as <a href="http://search.twitter.com/">Twitter search</a>, but they track only the most recent entries and don&#8217;t return quantifiable data needed to compare different search terms. Another useful twitter-tool is <a href="http://trendistic.com/">Trendistic</a> to spot trends in Twitter. Unfortunately, for all our topics there is insufficient data to draw a full chart and the tool restricts to recent activity. </p>
<p>
A tool giving back quantifiable data (of sorts) is <a href="http://www.socialmention.com/">Social Mention</a>. Social Mention monitors 100+ social media properties directly including: Twitter, Facebook, FriendFeed, YouTube, Digg, Google etc. and attaches numbers to activity over the last few months mentioning the search term. The numbers include</p>
<p><ul>
<li> <b>Strength</b> is the likelihood that the term is being discussed in social media. A very simple calculation is used : search term mentions within the last 24 hours divided by total possible mentions.
<li> <b>Sentiment</b> is the ratio of mentions that are generally positive to those that are generally negative.
<li> <b>Passion</b> is a measure of the likelihood that individuals talking about the search term will do so repeatedly. For example, if you have a small group of very passionate advocates wo talk about the topic all the time, you will have a higher passion score. Conversely if every mention is written by a different author you will have a lower score.
<li> <b>Reach</b> is a measure of the range influence. It is the number of unique authors referencing the topic divided by the total number of mentions.
</ul>
<p>
<p align=center><img width=595 src="http://www.noncommutative.org/wp-content/uploads/2010/06/socialmention.jpg"></p>
<p>
Below the ranking according to strength, with inclusion of the other data.</p>
<p><ol>
<li> category theory : strength 24&#37;, sentiment 7:1, passion 33&#37;, reach 16&#37;
<li> string theory : strength 21&#37;, sentiment 3:1, passion 24&#37;, reach 18&#37;
<li> representation theory : strength 21&#37;, sentiment 3:1, passion 31&#37;, reach 16&#37;
<li> algebraic geometry : strength 4&#37;, sentiment 1:1, passion 36&#37;, reach 14&#37;
<li> noncommutative geometry : strength 0&#37;, sentiment 3:1, passion 23&#37;, reach 16&#37;
<li> noncommutative algebra : strength 0&#37;, sentiment 19:1, passion 14&#37;, reach 10&#37;
</ol>
<p>
An extremely valuable feature of Social Mention is the option to obtain similar data for all the different types of social media : blogs, microblogs, bookmarks, comments, etc. etc. . </p>
<p>
For each of these, Social Mention gives the Top Keywords, Top Users, Top Hashtags and Top Sources. That is, one can quickly determine the most prominent and active voices on a specific topic and click through to their recent postings.</p>
<p>
Similar tools (lacking unfortunately number-data) are <a href="http://www.samepoint.com/">Same Point Social Media Search</a> (&#8220;a conversation search engine that lets you see what people are talking about&#8221;) and <a href="http://www.whostalkin.com/">Who&#8217;s Talking?</a>.</p>
<p>
<div id="pfButton"><a href="http://www.noncommutative.org/index.php/non-commutative-or-non-communicative/?pfstyle=wp" title="Print an optimized version of this web page" style="text-decoration: none;"><span style="color: rgb(85, 117, 12);">Print Friendly</span></a></div>]]></content:encoded>
			<wfw:commentRss>http://www.noncommutative.org/index.php/non-commutative-or-non-communicative/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
		</item>
		<item>
		<title>From Zeroes To Stacks</title>
		<link>http://www.noncommutative.org/index.php/from-zeroes-to-stacks/</link>
		<comments>http://www.noncommutative.org/index.php/from-zeroes-to-stacks/#comments</comments>
		<pubDate>Thu, 10 Jun 2010 14:19:47 +0000</pubDate>
		<dc:creator>lievenlb</dc:creator>
				<category><![CDATA[spaces]]></category>
		<category><![CDATA[schemes]]></category>
		<category><![CDATA[stacks]]></category>
		<category><![CDATA[varieties]]></category>

		<guid isPermaLink="false">http://www.noncommutative.org/?p=313</guid>
		<description><![CDATA[In this series of posts we will walk you through the main paradigm shifts that took place in algebraic geometry over the last century. The short story is : the use of (higher) categories led to (more) flexible geometric objects.. That is, if varieties are 0-categorical geometric objects, then schemes are 1-categorical and stacks 2-categorical objects. The longer story starts here.]]></description>
			<content:encoded><![CDATA[<div class="tweetmeme_button" style="float: right; margin-left: 10px;">
			<a href="http://api.tweetmeme.com/share?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Ffrom-zeroes-to-stacks%2F"><br />
				<img src="http://api.tweetmeme.com/imagebutton.gif?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Ffrom-zeroes-to-stacks%2F&amp;style=normal" height="61" width="50" /><br />
			</a>
		</div>
<p>In this series of posts we will walk you through the main paradigm shifts that took place in algebraic geometry over the last century. The short story is : the use of (higher) categories led to (more) flexible geometric objects..</p>
<p>That is, if varieties are 0-categorical geometric objects, then schemes are 1-categorical and stacks 2-categorical objects. The longer story starts here.</p>
<p><img src="http://www.noncommutative.org/wp-content/uploads/2010/06/FromZeroes3.jpg"></p>
<p>Algebraic geometry addresses a very natural problem. Say, you have a (possibly infinite) system of polynomial equations in a number of complex variables</p>
<p><img src='/latexrender/pictures/7304d3442a5e36b1442d14e10597792b.gif' title='\begin{cases} f_1(x_1,\hdots,x_n) &amp;= 0 \\ &amp; \vdots \\ f_i(x_1,\hdots,x_n) &amp;= 0 \\ &amp; \vdots \end{cases}' alt='\begin{cases} f_1(x_1,\hdots,x_n) &amp;= 0 \\ &amp; \vdots \\ f_i(x_1,\hdots,x_n) &amp;= 0 \\ &amp; \vdots \end{cases}' align=absmiddle></p>
<p>what can you say about its set of solutions? The solutions to just one of these equations form an hypersurface in n-dimensional affine space <img src='/latexrender/pictures/09355d08965267aa05b5e651b748e3bd.gif' title='\C^n' alt='\C^n' align=absmiddle>, so we want to describe the intersection of these (possibly infinite) hypersurfaces.</p>
<p>Linear algebra tells us the answer in the easy case when all the polynomials are linear forms, </p>
<p><img src='/latexrender/pictures/81bbce746079f24d408df6392b2becca.gif' title='f_i(x_1,\hdots,x_n) = a_{i1} x_1 + \hdots + a_{in} x_n + c_{in}' alt='f_i(x_1,\hdots,x_n) = a_{i1} x_1 + \hdots + a_{in} x_n + c_{in}' align=absmiddle></p>
<p>and in this case we have to consider the intersections of the corresponding hyperplanes in <img src='/latexrender/pictures/09355d08965267aa05b5e651b748e3bd.gif' title='\C^n' alt='\C^n' align=absmiddle>. A quick recap of the main facts :</p>
<ul>
<li>(basis) : we can reduce to a finite set of linear forms. Take a basis for the subspace <img src='/latexrender/pictures/6075fe4cb432b9b5b685127a0c4b40cf.gif' title='V = \sum_i \C f_i(x_1,\hdots,x_n)' alt='V = \sum_i \C f_i(x_1,\hdots,x_n)' align=absmiddle> in the <img src='/latexrender/pictures/40b85027598d87611b1c8d5d11e46812.gif' title='n+1' alt='n+1' align=absmiddle>-dimensional space of all linear forms in n variables.</li>
<li>(existence) : there is a solution to the linear system of equations iff the constant function <img src='/latexrender/pictures/daf5a557aed03fc23ef4ec0d06f23bf8.gif' title='1 \notin V' alt='1 \notin V' align=absmiddle>. In fact, <img src='/latexrender/pictures/5206560a306a2e085a437fd258eb57ce.gif' title='V' alt='V' align=absmiddle> is the space of all linear forms vanishing on solutions.</li>
<li>(size) : if solutions exist, they form an affine subspace of <img src='/latexrender/pictures/09355d08965267aa05b5e651b748e3bd.gif' title='\C^n' alt='\C^n' align=absmiddle> of dimension <img src='/latexrender/pictures/30d525b474df086e64fd7a4344e6083f.gif' title='n-dim(V)' alt='n-dim(V)' align=absmiddle>.</li>
</ul>
<p>Perhaps surprisingly, <a href="http://en.wikipedia.org/wiki/David_Hilbert">David Hilbert</a> and <a href="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy Noether</a><br />
were able to extend these facts to arbitrary systems of polynomial equations!</p>
<p><img src="http://www.noncommutative.org/wp-content/uploads/2010/06/FromZeroesStacks0.jpg"></p>
<p>Their main idea was to translate the problem into algebra, whence <strong>algebraic</strong> geometry. In the polynomial algebra <img src='/latexrender/pictures/43dfbe65bdf9c7928043d8a70b295f92.gif' title='\C[x_1,\hdots,x_n]' alt='\C[x_1,\hdots,x_n]' align=absmiddle> we can consider the ideal <img src='/latexrender/pictures/cedee8b058ca4344cbd9bcdf3b7a78d2.gif' title='F=(f_i, i \in I)' alt='F=(f_i, i \in I)' align=absmiddle> generated by all the polynomials <img src='/latexrender/pictures/59bdf0ba696e13164c5a926386f23cb0.gif' title='f_i' alt='f_i' align=absmiddle>. Clearly, if in a point <img src='/latexrender/pictures/7a1679650df790726e854ecb5617ede7.gif' title='p=(\alpha_1,\hdots,\alpha_n) \in \C^n' alt='p=(\alpha_1,\hdots,\alpha_n) \in \C^n' align=absmiddle> all the polynomials <img src='/latexrender/pictures/59bdf0ba696e13164c5a926386f23cb0.gif' title='f_i' alt='f_i' align=absmiddle> evaluate to zero, then so does every polynomial <img src='/latexrender/pictures/8fa14cdd754f91cc6554c9e71929cce7.gif' title='f' alt='f' align=absmiddle> contained in the ideal <img src='/latexrender/pictures/800618943025315f869e4e1f09471012.gif' title='F' alt='F' align=absmiddle>. That is, all zero sets are in fact zero-sets of ideals in <img src='/latexrender/pictures/43dfbe65bdf9c7928043d8a70b295f92.gif' title='\C[x_1,\hdots,x_n]' alt='\C[x_1,\hdots,x_n]' align=absmiddle>.</p>
<p>The <a href="http://en.wikipedia.org/wiki/Hilbert's_basis_theorem">Hilbert basis theorem</a> asserts that the polynomial algebra <img src='/latexrender/pictures/43dfbe65bdf9c7928043d8a70b295f92.gif' title='\C[x_1,\hdots,x_n]' alt='\C[x_1,\hdots,x_n]' align=absmiddle> is Noetherian, that is, every ideal is finitely generated. In particular, our ideal <img src='/latexrender/pictures/cedee8b058ca4344cbd9bcdf3b7a78d2.gif' title='F=(f_i, i \in I)' alt='F=(f_i, i \in I)' align=absmiddle> is of the form <img src='/latexrender/pictures/12e2f3428f17d9552117aba4af6c9ab4.gif' title='F = (g_1,\hdots,g_m)' alt='F = (g_1,\hdots,g_m)' align=absmiddle> for a finite set of polynomials <img src='/latexrender/pictures/a646b08e4fa575a49c67503c41217f94.gif' title='g_(x_1,\hdots,x_n)' alt='g_(x_1,\hdots,x_n)' align=absmiddle>. Phrased differently, all zero sets are zero sets of finite systems of polynomial equations, similar to the situation of linear equations. The difference between the two is that the new polynomials <img src='/latexrender/pictures/8d2d80ef00296b9ed491d989b30cebd1.gif' title='g_j' alt='g_j' align=absmiddle> cannot necessarily be chosen among the original poynomials <img src='/latexrender/pictures/59bdf0ba696e13164c5a926386f23cb0.gif' title='f_i' alt='f_i' align=absmiddle>.</p>
<p>An existence criterium for solutions is given by <a href="http://en.wikipedia.org/wiki/Hilbert's_Nullstellensatz">Hilbert&#8217;s weak Nullstellensatz</a>. It states that there exist solutions to the system of polynomial equations  whenever the associated ideal <img src='/latexrender/pictures/800618943025315f869e4e1f09471012.gif' title='F' alt='F' align=absmiddle>  is proper, that is, does not contain the constant function <img src='/latexrender/pictures/c4ca4238a0b923820dcc509a6f75849b.gif' title='1' alt='1' align=absmiddle>. Compare this to the existence criterium for systems of linear equations. </p>
<p>The easy part of the proof is that whenever <img src='/latexrender/pictures/800618943025315f869e4e1f09471012.gif' title='F' alt='F' align=absmiddle> is a proper ideal, it is contained in a maximal ideal <img src='/latexrender/pictures/1f71cf4490419b8754a837bbd403d9b3.gif' title='\mathfrak{m}' alt='\mathfrak{m}' align=absmiddle> determining a quotient map to a field</p>
<p><img src='/latexrender/pictures/5ebcdb26ec0c9cbce2f2cac07a57566c.gif' title='\C[x_1,\hdots,x_n] \longrightarrow^{\pi} K = \C[x_1,\hdots,x_n]/\mathfrak{m}' alt='\C[x_1,\hdots,x_n] \longrightarrow^{\pi} K = \C[x_1,\hdots,x_n]/\mathfrak{m}' align=absmiddle></p>
<p>If we could now show that <img src='/latexrender/pictures/f9b76bedf2244ce1153c7b51aed8769d.gif' title='K= \C' alt='K= \C' align=absmiddle>, we would be done as then the point <img src='/latexrender/pictures/6f81ad077eb18eaddaa41f52def23cda.gif' title='p=(\pi(x_1),\hdots,\pi(x_n))' alt='p=(\pi(x_1),\hdots,\pi(x_n))' align=absmiddle> would be a zero for all polynomials in <img src='/latexrender/pictures/1f71cf4490419b8754a837bbd403d9b3.gif' title='\mathfrak{m}' alt='\mathfrak{m}' align=absmiddle> and hence a common zero to all polynomials <img src='/latexrender/pictures/59bdf0ba696e13164c5a926386f23cb0.gif' title='f_i' alt='f_i' align=absmiddle>.</p>
<p>However, showing that <img src='/latexrender/pictures/1d4df73dba8e5102b370c589be328316.gif' title='K=\C' alt='K=\C' align=absmiddle> turns out to be somewhat harder than expected and is a consequence of the <a href="http://en.wikipedia.org/wiki/Noether_normalization_lemma">Noether Normalization lemma</a>. This says that an affine commutative <img src='/latexrender/pictures/ee77cd72573eec25fba471d91befc2d2.gif' title='\C' alt='\C' align=absmiddle>-algebra, that any quotient algebra of the form <img src='/latexrender/pictures/868b6710762ca3a754df2cc239405c5f.gif' title='\C[x_1,\hdots,x_n]/F' alt='\C[x_1,\hdots,x_n]/F' align=absmiddle> for an ideal <img src='/latexrender/pictures/91b64e942c6475f7a1f2dd7db9ad832d.gif' title='F \triangleleft \C[x_1,\hdots,x_n]' alt='F \triangleleft \C[x_1,\hdots,x_n]' align=absmiddle>, is always a finitely generated module over a polynomial subalgebra <img src='/latexrender/pictures/9bf7fbfc344682d376626fb03f78dd0c.gif' title='\C[y_1,\hdots,y_d]' alt='\C[y_1,\hdots,y_d]' align=absmiddle>. The proof can be viewed  as the polynomial version of solving a linear system by substitution of variables. </p>
<p>The number of remaining  variables <img src='/latexrender/pictures/8277e0910d750195b448797616e091ad.gif' title='d' alt='d' align=absmiddle> in the formulation of the Noether normalization lemma is then the dimension or the size of the zero set of <img src='/latexrender/pictures/800618943025315f869e4e1f09471012.gif' title='F' alt='F' align=absmiddle>, that is, the number of free parameters on which it depends. The &#8216;size&#8217; refers here to the biggest chunk of the solution set. In general, a zero set can be decomposed in its irreducible components, that is zero-sets which cannot be written as the union of two strictly smaller sets of zeroes. </p>
<p>In our dictionary between the geometry of zero-sets and the algebra of ideals in the polynomial algebra, irreducible zero-sets correspond to prime ideals, that is ideals <img src='/latexrender/pictures/ed10fde5f730ba677a1fb3f340331571.gif' title='P \triangleleft \C[x_1,\hdots,x_n]' alt='P \triangleleft \C[x_1,\hdots,x_n]' align=absmiddle> for which <img src='/latexrender/pictures/4d06dfc9cbad9ba16387e9b97e5024f4.gif' title='f.g \in P' alt='f.g \in P' align=absmiddle> imples that <img src='/latexrender/pictures/8fa14cdd754f91cc6554c9e71929cce7.gif' title='f' alt='f' align=absmiddle> or <img src='/latexrender/pictures/b2f5ff47436671b6e533d8dc3614845d.gif' title='g' alt='g' align=absmiddle> belongs to <img src='/latexrender/pictures/44c29edb103a2872f519ad0c9a0fdaaa.gif' title='P' alt='P' align=absmiddle>. The geometric picture of writing the zero-set of <img src='/latexrender/pictures/800618943025315f869e4e1f09471012.gif' title='F' alt='F' align=absmiddle> as the finite union of its irreducible components corresponds to the algebraic picture of determining the finite number of prime ideals, minimal over the ideal <img src='/latexrender/pictures/800618943025315f869e4e1f09471012.gif' title='F' alt='F' align=absmiddle>.</p>
<p>[amazonify]0521356628[/amazonify]<br />
Proofs of these results can be found in the book <a href="http://www.amazon.com/Undergraduate-Algebraic-Geometry-Mathematical-Society/dp/0521356628/">Undergraduate Algebraic Geometry</a> by <a href="http://en.wikipedia.org/wiki/Miles_Reid">Miles Reid</a>. More details (and, at times, more accurate proofs) are to be found in his other Student Textbook <a href="http://www.amazon.com/Undergraduate-Commutative-Algebra-Mathematical-Society/dp/0521458897/">Undergraduate Commutative Algebra</a>.</p>
<p>Summarizing, Hilbert and Noether gave polynomial versions of basic facts  from linear algebra : we can reduce to finite systems of equations, we can calculate whether the system has a solution and can determine the size of the set of all solutions. Further, we have translated the geometric problems on zero-sets into algebraic problems concerning ideals of polynomial algebras.</p>
<p>However, this dictionary is not perfect as there may be distinct ideals in <img src='/latexrender/pictures/43dfbe65bdf9c7928043d8a70b295f92.gif' title='\C[x_1,\hdots,x_n]' alt='\C[x_1,\hdots,x_n]' align=absmiddle> having the same set of zeroes. For example, it is clear that zeroes of a polynomial <img src='/latexrender/pictures/8fa14cdd754f91cc6554c9e71929cce7.gif' title='f' alt='f' align=absmiddle> are also zeroes of any power <img src='/latexrender/pictures/3dc079c286f60f23eb264396efbeb436.gif' title='f^m' alt='f^m' align=absmiddle>. The full-blown version of the <a href="http://en.wikipedia.org/wiki/Hilbert's_Nullstellensatz">Hilbert Nullstellensatz</a>  assures us that this is the only problem that remains, that is, two ideals <img src='/latexrender/pictures/dd7536794b63bf90eccfd37f9b147d7f.gif' title='I' alt='I' align=absmiddle> and <img src='/latexrender/pictures/ff44570aca8241914870afbc310cdb85.gif' title='J' alt='J' align=absmiddle> have the same set of zeroes precisely when their radicals coincide <img src='/latexrender/pictures/5be206e23f81b03984cc9ef33209076c.gif' title='rad(I)=rad(J)' alt='rad(I)=rad(J)' align=absmiddle>. Recall that <img src='/latexrender/pictures/803aab94bce5c90cf57deb0e0a2ba238.gif' title='rad(I) = \{ f \in \C[x_1,\hdots,x_n]~|~f^m \in I' alt='rad(I) = \{ f \in \C[x_1,\hdots,x_n]~|~f^m \in I' align=absmiddle> for some <img src='/latexrender/pictures/6ddb68f5e50a41f8592eb1a9ebcd6402.gif' title='m \}' alt='m \}' align=absmiddle> and that it is the intersection of all prime ideals containing <img src='/latexrender/pictures/dd7536794b63bf90eccfd37f9b147d7f.gif' title='I' alt='I' align=absmiddle>, which fits nicely with the above decomposition of zero-sets as the union of  their irreducible components.</p>
<p>So, taking as our geometric objects the zero sets in <img src='/latexrender/pictures/09355d08965267aa05b5e651b748e3bd.gif' title='\C^n' alt='\C^n' align=absmiddle> we are only considering radical ideals in <img src='/latexrender/pictures/43dfbe65bdf9c7928043d8a70b295f92.gif' title='\C[x_1,\hdots,x_n]' alt='\C[x_1,\hdots,x_n]' align=absmiddle>. Next time we will extend our class of geometric objects beyond zero-sets so that we can attach distinct objects to distinct ideals, and we will explain why this may be of use.</p>
<div id="pfButton"><a href="http://www.noncommutative.org/index.php/from-zeroes-to-stacks/?pfstyle=wp" title="Print an optimized version of this web page" style="text-decoration: none;"><span style="color: rgb(85, 117, 12);">Print Friendly</span></a></div>]]></content:encoded>
			<wfw:commentRss>http://www.noncommutative.org/index.php/from-zeroes-to-stacks/feed/</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>5 reasons (not) to be on MathOverflow</title>
		<link>http://www.noncommutative.org/index.php/5-reasons-not-to-be-on-mathoverflow/</link>
		<comments>http://www.noncommutative.org/index.php/5-reasons-not-to-be-on-mathoverflow/#comments</comments>
		<pubDate>Sun, 06 Jun 2010 10:06:48 +0000</pubDate>
		<dc:creator>lievenlb</dc:creator>
				<category><![CDATA[columns]]></category>
		<category><![CDATA[arxiv]]></category>
		<category><![CDATA[mathO]]></category>
		<category><![CDATA[noncommutative]]></category>
		<category><![CDATA[research]]></category>

		<guid isPermaLink="false">http://www.noncommutative.org/?p=285</guid>
		<description><![CDATA[[MathOverflow](http://mathoverflow.net/) was started by Berkeley graduate students and postdocs Anton Geraschenko, David Brown, and Scott Morrison in October 2009. Half a year later it has become an essential online research tool for mathematicians, possibly surpassed only by the [arXiv](http://arxiv.org/). 
Why should you be on MathO, or is it a pure waste of time?]]></description>
			<content:encoded><![CDATA[<div class="tweetmeme_button" style="float: right; margin-left: 10px;">
			<a href="http://api.tweetmeme.com/share?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2F5-reasons-not-to-be-on-mathoverflow%2F"><br />
				<img src="http://api.tweetmeme.com/imagebutton.gif?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2F5-reasons-not-to-be-on-mathoverflow%2F&amp;style=normal" height="61" width="50" /><br />
			</a>
		</div>
<p><a href="http://mathoverflow.net/">MathOverflow</a> was started by Berkeley graduate students and postdocs Anton Geraschenko, David Brown, and Scott Morrison in October 2009. Half a year later it has become an essential online research tool for mathematicians, possibly surpassed only by the <a href="http://arxiv.org/">arXiv</a>.<br />
Why should you be on MathO, or is it a pure waste of time?</p>
<p><center><br />
<img src="http://www.noncommutative.org/wp-content/uploads/2010/06/mathO.jpg"><br />
</center></p>
<p><strong>5 reasons to be on MathOverflow</strong></p>
<p><strong>1. CivicDuty :</strong> You should answer Math0-questions in your specific field of expertise. It doesn&#8217;t cost you much effort to explain what is already evident to you, and you&#8217;ll make MathO a more valuable tool.</p>
<p><strong>2. ResearchBooster :</strong> On occasion, a MathO-question may be the hook for you to finally write that paper you&#8217;ve postponed so long. Sometimes, there is that question you feel you should know the answer to, but you simply don&#8217;t.</p>
<p><strong>3. MeetingGround :</strong> Following MathO via your favorite tag, say <a href="http://mathoverflow.net/questions/tagged/noncommutative-geometry">noncommutative geometry</a>, you&#8217;ll get to know new people in your field and the questions they&#8217;re interested in.</p>
<p><strong>4. CelebrityHugging :</strong> Browsing through the first few pages of <a href="http://mathoverflow.net/users">MathO users</a> you&#8217;ll recognize a lot of top-level mathematicians. Click through to their profiles and then to the questions they answer, and you&#8217;ll learn a lot of new facts quickly.</p>
<p><strong>5. TimeEfficient :</strong> Following MathO efficiently doesn&#8217;t cost time. Subscribe to the RSS-feeds of your specific selection of tags, and you&#8217;ll get 3 to 5 new questions a day, top. Browse through them, and if you happen to know the answer, login to MathO via your <a href="http://openid.net/">OpenId</a>, answer, and disappear again in the background. If a specific discussion is of interest, subscribe to that question&#8217;s RSS-feed.</p>
<p><strong>5 reasons NOT to be on MathOverflow</strong></p>
<p><strong>1. OverTheTop :</strong> Arguably there was a better signal/noise ratio a couple of months ago at MathO. Perhaps it&#8217;ll only go downhill from here. See also the meta-mathO- thead <a href="http://meta.mathoverflow.net/discussion/373/is-mathoverflow-becoming-less-fun/#Item_0">&#8216;is mathO becoming less fun?&#8217;</a>.</p>
<p><strong>2. ReputationStress :</strong> If you take your virtual mathO-reputation seriously you shouldn&#8217;t get involved, purely on medical grounds.</p>
<p><strong>3. CorruptVoting :</strong> At times you&#8217;ll get frustrated because your &#8216;perfect&#8217; answer wasn&#8217;t approved while another was, or you&#8217;ll spot groups of MathO-ers consistently upvoting group-member answers. See the meta-mathO threads on <a href="http://meta.mathoverflow.net/discussion/408/perceived-bullying/#Item_0">perceived bullying</a>, <a href="http://meta.mathoverflow.net/discussion/412/constructive-downvoting/#Item_0">constructive downvoting</a> etc. </p>
<p><strong>4. KansasKiddies :</strong> Sometimes, young peoples&#8217; enthusiasm for their ph.d. topic is only surpassed by  idolatry for their advisers. They use mathO to promote their advisers&#8217; great works and, if needed, to rewrite history. Try to ignore them, sectarians are lost cases.</p>
<p><strong>5. TimeWaster :</strong> If you happen to check mathO on an hourly basis  or if you&#8217;re into &#8216;playing the system&#8217; to increase your rating, shut down your computer and try to get some genuine work done.</p>
<div id="pfButton"><a href="http://www.noncommutative.org/index.php/5-reasons-not-to-be-on-mathoverflow/?pfstyle=wp" title="Print an optimized version of this web page" style="text-decoration: none;"><span style="color: rgb(85, 117, 12);">Print Friendly</span></a></div>]]></content:encoded>
			<wfw:commentRss>http://www.noncommutative.org/index.php/5-reasons-not-to-be-on-mathoverflow/feed/</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
		<item>
		<title>Top 10 noncommutative geometry books for newbies</title>
		<link>http://www.noncommutative.org/index.php/top-10-noncommutative-geometry-books-for-newbies/</link>
		<comments>http://www.noncommutative.org/index.php/top-10-noncommutative-geometry-books-for-newbies/#comments</comments>
		<pubDate>Fri, 04 Jun 2010 18:58:27 +0000</pubDate>
		<dc:creator>lievenlb</dc:creator>
				<category><![CDATA[books]]></category>
		<category><![CDATA[nag]]></category>
		<category><![CDATA[ndg]]></category>

		<guid isPermaLink="false">http://www.noncommutative.org/?p=164</guid>
		<description><![CDATA[So, you’ve decided to spend the summer-break finding out (finally) what noncommutative geometry is all about? How would you go about achieving this goal? We propose a list of the Top 10 entry-level introductions to noncommutative geometry, and we will suggest the chapters in them most relevant to obtain a feel for the subject quickly!]]></description>
			<content:encoded><![CDATA[<div class="tweetmeme_button" style="float: right; margin-left: 10px;">
			<a href="http://api.tweetmeme.com/share?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Ftop-10-noncommutative-geometry-books-for-newbies%2F"><br />
				<img src="http://api.tweetmeme.com/imagebutton.gif?url=http%3A%2F%2Fwww.noncommutative.org%2Findex.php%2Ftop-10-noncommutative-geometry-books-for-newbies%2F&amp;style=normal" height="61" width="50" /><br />
			</a>
		</div>
<p>So, you&#8217;ve decided to spend the summer-break finding out (finally) what noncommutative geometry is all about? How would you go about achieving this goal? </p>
<p>Chances are you&#8217;d love to find a readable, entry-level introductory book on the subject. Searching for &#8220;noncommutative geometry&#8221; under Books, Amazon.com spits back a <a href="http://www.amazon.com/s/ref=nb_sb_ss_c_1_7?url=search-alias%3Dstripbooks&amp;field-keywords=noncommutative+geometry&amp;sprefix=noncomm">list</a> of no fewer than 212 items! </p>
<p>The list contains genuine text-books but also a fair number of conference proceedings, and in addition, it is not necessarily ordered in terms of accessibility &#8230; to put is mildly.<br />
We propose a list of the Top 10 entry-level introductions to noncommutative geometry, and we will suggest the chapters in them most relevant to obtain a feel for the subject quickly!</p>
<p><img src="http://www.noncommutative.org/wp-content/uploads/2010/06/top10books.jpg"></p>
<p>[amazonify]3037190612[/amazonify]<br />
<strong>1. Basic Noncommutative Geometry</strong> by Masoud Khalkhali. (NDG)</p>
<p>Blurb : &#8220;This book provides an introduction to noncommutative geometry and some of its applications. It can be used either as a textbook for a graduate course on the subject or for self-study. It will be useful for graduate students and researchers in mathematics and theoretical physics and all those who are interested in gaining an understanding of the subject. One feature of this book is the wealth of examples and exercises that help the reader to navigate through the subject. While background material is provided in the text and in several appendices, some familiarity with basic notions of functional analysis, algebraic topology, differential geometry, and homological algebra at a first-year graduate level is helpful.&#8221;</p>
<p>This is a marvelous, carefully written book and <strong>anyone</strong> should read the first two chapters (1. Examples of algebra-geometry correspondences and 2. Noncommutative quotients), whether you are into NDG (that is, noncommutative differential geometry) or NAG (noncommutative algebraic geometry). They contain enough material familiar to algebraists (affine varieties, affine schemes, Morita equivalence etc.) and relate this to the corresponding notions in the realm of <img src='http://s.wordpress.com/latex.php?latex=C%5E%2A&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C^*' title='C^*' class='latex' />-algebras. I haven&#8217;t seen a more successful attempt to bridge the divide between the two flavors of noncommutative geometry! The remaining chapters (3. Cyclic cohomology and 4. Connes-Chern character) are more technical but, even if you decide to skip those for the time being, you should have a look at section 4.4 on pages 184-185 : &#8216;A final word: basic noncommutative geometry in a nutshell&#8217;. Here, the whole book is summarized in one diagram identifying the topological index with the analytic index.</p>
<p><strong>2. Non-commutative Algebraic Geometry</strong> by <a href="http://www.math.washington.edu/~smith/">S. Paul Smith</a>. (NAG)</p>
<p>This isn&#8217;t a book (yet?), but rather a forgotten (?) book-project. Fortunately, you can still download an unfinished <a href="http://www.math.washington.edu/~smith/Research/nag.pdf">version</a> from Paul&#8217;s website. The reason for including it in this textbook-list being that it is the best elementary introduction to the categorical approach of NAG. One might start with chapter 3 (&#8216;Non-commutative spaces&#8217;), explaining the main idea of viewing Abelian or Grothendieck categories as noncommutative spaces using lots of concrete examples, and consult the two first chapters for categorical details. As soon as you grasp the key facts spend as much time as you need on the marvelous chapter 4 (&#8216;Some non-commutative surfaces&#8217;) containing many very detailed examples. After that you may want to browse through chapter 5 (&#8216;Non-commutative projective spaces&#8217;) to get a readable introduction to NPG (noncommutative projective geometry), you know the stuff with point- and line-modules to study interesting graded algebras such as Sklyanin algebras. An indispensable read if you want to understand NAG!</p>
<p>[amazonify]3540635092:right[/amazonify]<br />
<strong>3. An Introduction to Noncommutative Spaces and Their Geometries</strong> by Giovanni Landi. (NDG)</p>
<p>Blurb : &#8220;These notes arose from a series of introductory seminars on noncommutative geometry the author gave at the University of Trieste. They are mainly an introduction to Connes&#8217; noncommutative geometry and could serve as a &#8220;first aid kit&#8221; before one ventures into the beautiful but bewildering landscape of Connes&#8217; theory. The main difference with other available introductions to Connes&#8217; work is the emphasis on noncommutative spaces seen as concrete spaces.&#8221;</p>
<p>Whereas Khalkhli brought you as far as  spectral triples, to understand them you should read this book. Unfortunately, it seems no longer to be in print, but you can always download the <a href="http://arxiv.org/abs/hep-th/9701078">arXiv paper</a> on which the book is based! By now you may already be familiar with most of chapter 2 (&#8216;Noncommutative spaces and algebras of functions&#8217;), but I would suggest going through chapter 3 (&#8216;Noncommutative lattices&#8217;) in some detail if you&#8217;ve never heard of AF-algebras or Bratelli diagrams. Then, skip to chapter 5 (&#8216;The spectral calculus&#8217;) and try to understand 5.5 (The Canonical Triple over a Manifold) giving the connection between spectral triples and classical (commutative) differential geometry. The finite point spaces (5.8) you may remember from Khalkhali&#8217;s book and combining both cases one gets the application of NDG to the standard model in physics in chapter 8.</p>
<p>[amazonify]0821838334[/amazonify]<br />
<strong>4. Arithmetic Noncommutative Geometry</strong> by Matilde Marcolli. (NDG)</p>
<p>Blurb : &#8220;Arithmetic noncommutative geometry uses ideas and tools from noncommutative geometry to address questions in a new way and to reinterpret results and constructions from number theory and arithmetic algebraic geometry. This general philosophy is applied to the geometry and arithmetic of modular curves and to the fibers at Archimedean places of arithmetic surfaces and varieties. Noncommutative geometry can be expected to say something about topics of arithmetic interest because it provides the right framework for which the tools of geometry continue to make sense on spaces that are very singular and apparently very far from the world of algebraic varieties. This provides a way of refining the boundary structure of certain classes of spaces that arise in the context of arithmetic geometry.&#8221;</p>
<p>From now on the material quickly becomes more advanced and I&#8217;ll stop pointing you to &#8216;must see&#8217; chapters as this choice may depend on your skills and interest. Personally, I like this book because it is terribly well written. For example, you may read through chapter 1 (&#8216;Ouverture&#8217;) to test what you&#8217;ve learned before from Khalkhali and Landi. Pointers I would like to suggest are section 2.2 (The noncommutative boundary of modular curves) and most of chapter 3 on Bost-Connes like systems (if you&#8217;re interested in possible applications of NDG to the Riemann hypothesis). The book is freely available from Matilde&#8217;s website as a <a href="http://www.its.caltech.edu/~matilde/BookAMSULect.pdf">pdf-file</a>.</p>
<p>[amazonify]9048145775:right[/amazonify]<br />
<strong>5. Noncommutative Algebraic Geometry and Representations of Quantized Algebras</strong> by Alexander L. Rosenberg. (NAG)</p>
<p>Blurb : &#8220;This book contains an introduction to the recently developed spectral theory of associative rings and Abelian categories, and its applications to the study of irreducible representations of classes of algebras which play an important part in modern mathematical physics. Audience: A self-contained volume for researchers and graduate students interested in new geometric ideas in algebra, and in the spectral theory of noncommutative rings, currently invading mathematical physics. Valuable reading for mathematicians working on representation theory, quantum groups and related topics, noncommutative algebra, algebraic geometry, and algebraic K-theory.&#8221;</p>
<p>I&#8217;ve included this book, more because it appears to have influenced people working in the categorical approach to NAG, rather than finding it terribly well-written (imho). So, mainly for historical reasons, you might look at the stuff on the spectrum of an Abelian category (chpt. 2) and his use of &#8216;monads&#8217; in chpt 5.</p>
<p>[amazonify]3037190248[/amazonify]<br />
<strong>6. An Introduction to Noncommutative Geometry</strong> by Joseph C. Varilly. (NDG)</p>
<p>Blurb : &#8220;Noncommutative geometry, inspired by quantum physics, describes singular spaces by their noncommutative coordinate algebras and metric structures by Dirac-like operators. Such metric geometries are described mathematically by Connes&#8217; theory of spectral triples. These lectures, delivered at an EMS Summer School on noncommutative geometry and its applications, provide an overview of spectral triples based on examples. This introduction is aimed at graduate students of both mathematics and theoretical physics. It deals with Dirac operators on spin manifolds, noncommutative tori, Moyal quantization and tangent groupoids, action functionals, and isospectral deformations. The structural framework is the concept of a noncommutative spin geometry; the conditions on spectral triples which determine this concept are developed in detail. The emphasis throughout is on gaining understanding by computing the details of specific examples.&#8221;</p>
<p>No doubt, a lot of people will prefer this book to Landi&#8217;s. It covers roughly the same material, is more recent and is very well written. So, switch 3. and 6. if you so prefer and look for similar material, that is chapters 2,3 and 8.</p>
<p>[amazonify]0821827545:right[/amazonify]<br />
<strong>7. Blowing Up of Non-Commutative Smooth Surfaces</strong> by Michel Van den Bergh. (NAG)</p>
<p>Blurb : &#8220;This text looks at topics that include: preliminaries on category theory; non-commutative geometry; pseudo-compact rings; Cohen-Macaulay curves embedded in quasi-schemes; derived categories; quantum plane geometry; and non-commutative cubic surfaces.&#8221;</p>
<p>As the series suggests, this is really a longer research article rather than a book. Still, it is one of the better texts to get an idea of what NPG is all about and why the categorical point of view may be useful. I would certainly urge you to read the introduction carefully and, if you&#8217;re into NAG and NPG, section 3 (&#8216;Non-commutative geometry&#8217;) is also a must-read!<br />
The book is freely available from Michel&#8217;s website as a <a href="http://alpha.uhasselt.be/Research/Algebra/Publications/blowup.ps">ps-file</a>.</p>
<p>[amazonify]0521659914[/amazonify]<br />
<strong>8. An Introduction to Noncommutative Differential Geometry and its Physical Applications</strong> by J. Madore. (NDG)</p>
<p>Blurb : &#8220;This is an introduction to noncommutative geometry, with special emphasis on those cases where the structure algebra, which defines the geometry, is an algebra of matrices over the complex numbers. Applications to elementary particle physics are also discussed. This second edition is thoroughly revised and includes new material on reality conditions and linear connections plus examples from Jordanian deformations and quantum Euclidean spaces. Only some familiarity with ordinary differential geometry and the theory of fiber bundles is assumed, making this book accessible to graduate students and newcomers to this field.&#8221;</p>
<p>A &#8216;must-read&#8217; if you&#8217;re interested in possible applications of NDG to the standard model in physics. At least anyone should read the introduction, starting off with a nice quote from P.A.M. Dirac on Einstein&#8217;s aversion to quantum physics being entirely based on its non-commutativity&#8230;</p>
<p>[amazonify]0821842102:right[/amazonify]<br />
<strong>9. Noncommutative Geometry, Quantum Fields and Motives</strong> by Alain Connes and Matilde Marcolli. (NDG)</p>
<p>Blurb : &#8220;The unifying theme of this book is the interplay among noncommutative geometry, physics, and number theory. The two main objects of investigation are spaces where both the noncommutative and the motivic aspects come to play a role: space-time, where the guiding principle is the problem of developing a quantum theory of gravity, and the space of primes, where one can regard the Riemann Hypothesis as a long-standing problem motivating the development of new geometric tools. The book stresses the relevance of noncommutative geometry in dealing with these two spaces. The first part of the book deals with quantum field theory and the geometric structure of renormalization as a Riemann-Hilbert correspondence. It also presents a model of elementary particle physics based on noncommutative geometry. The main result is a complete derivation of the full Standard Model Lagrangian from a very simple mathematical input. Other topics covered in the first part of the book are a noncommutative geometry model of dimensional regularization and its role in anomaly computations, and a brief introduction to motives and their conjectural relation to quantum field theory. The second part of the book gives an interpretation of the Weil explicit formula as a trace formula and a spectral realization of the zeros of the Riemann zeta function. This is based on the noncommutative geometry of the adele class space, which is also described as the space of commensurability classes of Q-lattices, and is dual to a noncommutative motive (endomotive) whose cyclic homology provides a general setting for spectral realizations of zeros of L-functions. The quantum statistical mechanics of the space of Q-lattices, in one and two dimensions, exhibits spontaneous symmetry breaking. In the low-temperature regime, the equilibrium states of the corresponding systems are related to points of classical moduli spaces and the symmetries to the class field theory of the field of rational numbers and of imaginary quadratic fields, as well as to the automorphisms of the field of modular functions. The book ends with a set of analogies between the noncommutative geometries underlying the mathematical formulation of the Standard Model minimally coupled to gravity and the moduli spaces of Q-lattices used in the study of the zeta function.&#8221;</p>
<p>Yeah well, after such a blurb what is there left to say? If Connes&#8217; first book &#8216;Noncommutative Geometry&#8217; is generally referred to as the &#8216;bible&#8217; of NDG, then this book should be thought of as Connes&#8217; &#8216;new testament&#8217;. Anyone aspiring to be a noncommutative-geometer-of-sorts-one-day must acquire a hard-copy of this book. First of all it is good value for money. Secondly, its function is similar to James Joyce&#8217;s &#8216;Finnegan&#8217;s Wake&#8217; in English Literature circles : when visiting a colleague&#8217;s office and spotting a copy in the bookcase one tries to have a peek at the number of pages actually read&#8230; Anyway, my personal copy is pretty worn-out as I really like most of the introductory sections presenting an inspiring account of a wide variety of topics, ranging from number theory to physics. In good tradition, this book is freely available from Alain&#8217;s website as a <a href="http://www.alainconnes.org/docs/bookwebfinal.pdf">pdf-file</a>.</p>
<p>[amazonify]1420060562[/amazonify]<br />
<strong>10. Virtual Topology and Functor Geometry</strong> by Fred Van Oystaeyen. (NAG)</p>
<p>Blurb : &#8220;Intrinsically noncommutative spaces today are considered from the perspective of several branches of modern physics, including quantum gravity, string theory, and statistical physics. From this point of view, it is ideal to devise a concept of space and its geometry that is fundamentally noncommutative. Providing a clear introduction to noncommutative topology, Virtual Topology and Functor Geometry explores new aspects of these areas as well as more established facets of noncommutative algebra. By presenting new ideas for the development of an intrinsically noncommutative geometry, this book fosters the further unification of different kinds of noncommutative geometry and the expression of observations that involve natural phenomena.&#8221;</p>
<p>Fred&#8217;s books contain ideas which, in retrospect, turn out to be important. For example, in 1981 he was co-author of the <a href="http://www.amazon.com/Commutative-Algebraic-Geometry-Lecture-Mathematics/dp/0387111530/ref=sr_1_18?ie=UTF8&amp;s=books&amp;qid=1275673678&amp;sr=8-18">first book</a> having &#8216;noncommutative geometry&#8217; in  the title, at a time when the consensus was that one could investigate almost anything about noncommutative algebras, but their geometry. His latest book is on noncommutative topologies, that is &#8216;spaces&#8217; in which the intersection of two opens <img src='http://s.wordpress.com/latex.php?latex=U%20%5Ccap%20V&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='U \cap V' title='U \cap V' class='latex' /> may very well differ from <img src='http://s.wordpress.com/latex.php?latex=V%20%5Ccap%20U&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='V \cap U' title='V \cap U' class='latex' />. No doubt this will become important, one day&#8230; This book is included in the list for those who believe, after having mastered the previous ones, to know all about noncommutative geometry and the direction it will take in the future. Well, you simply don&#8217;t&#8230;</p>
<p>[amazonify]1420064223:right[/amazonify]<br />
It should be clear from the above that the ordering of the list is rather arbitrary from place 3 or 4 down, and, some people will object to some manifest omissions.</p>
<p>Judging from reactions and reviews on my own book, it may very well deserve a place in the list somewhere, but I&#8217;d rather leave that to others to determine. Most people find the introductory chapter helpful and you can download it on the arXiv as <a href="http://arxiv.org/abs/math/0312221">3 lectures on noncommutative geometry@n</a>. Also the full book is freely available as a <a href="http://win.ua.ac.be/~lebruyn/LeBruyn2007a.pdf">pdf-file</a>.</p>
<p>If this whetted your appetite, Matilde Marcolli has a Listmania <a href="http://www.amazon.com/Noncommutative-geometry/lm/R1EL4RV02KLZI2/ref=cm_srch_res_rpli_alt_1">Noncommutative Geometry</a> list, and, preparing for this post I did compile a slightly larger <a href="http://www.amazon.com/lm/R26S3UDT6Y4Q51/ref=cm_lm_pthnk_view?ie=UTF8&amp;lm_bb=">list</a>, too.</p>
<div id="pfButton"><a href="http://www.noncommutative.org/index.php/top-10-noncommutative-geometry-books-for-newbies/?pfstyle=wp" title="Print an optimized version of this web page" style="text-decoration: none;"><span style="color: rgb(85, 117, 12);">Print Friendly</span></a></div>]]></content:encoded>
			<wfw:commentRss>http://www.noncommutative.org/index.php/top-10-noncommutative-geometry-books-for-newbies/feed/</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
	</channel>
</rss>
