Profile cover photo
Profile photo
Nilay Kumar
mathematician, physicist, coder; passionate about science, education, and the future
mathematician, physicist, coder; passionate about science, education, and the future

Nilay's posts

Post has attachment
Quick update
It seems I've been quiet for a while. I've been keeping busy with various side projects, so I thought I'd just post a quick update on what's up. My friend Matei and I did a reading course on differential geometry and gauge theory with Prof. Peter Woit  this...

Post has shared content
The network of mathematics

Starting in the 1950s, Alexander Grothendieck revolutionized math by introducing many new concepts: schemes, stacks, motives, topoi and more.  He wrote over 6000 pages!  And then, after many quarrels with the mathematical establishment of France, he disappeared into the Pyrenees, where he now lives in seclusion. 

The Stacks Project is an open-source reference book with many authors which aims to explain a lot of the math Grothendieck and his collaborators created.  It's currently 4000 pages long!   You can download it as a single huge PDF file... but much better, you can read it on the web, and see how each result relies on previous ones! 

4 days ago, +Pieter Belmans made this a lot more fun.  You can now see beautiful pictures of this enormous network of mathematics!  For example, the picture below is everything leading up to "result 01WC" which says that “a locally projective morphism is proper”.  

I don't even know what this means... but never mind.  What's cool is that you can go to a page with this picture:

and however your mouse over any dot and see the different results leading up to this one!

Someday, if civilization doesn't collapse, all math will be linked up this way.  There will be tools to help you explore it, starting with the easy stuff - and links to videos where people explain the ideas!  There may even be online cafes where you can hang out and talk to other travelers who are visiting the same branch of math:

"Well, I came here because I was learning about Coxeter groups and someone told me I had to learn about root systems of Lie algebras.  I plan to spend a few days here and then go back - do you want come along?"

But even right now, people are already using these networks to study statistical properties of the structure of mathematics!  For example, +Cathy O'Neil, aka "mathbabe", has gone through all 10,445 items in the Stacks Project.  For each item, she looked at the graph like the one here.   The nodes are the all the items on which the given item depends.  The edges are the links between those items.  Then she plotted the number of edges as a function of the number of nodes.  You can see it here:

What does it mean?  Cathy has some ideas...

... but I think we're starting to see a new kind of metamathematics, where people use statistical methods to study the structure of mathematics itself.  This is mathematics as actually done by people, so it involves issues of taste and style.  These are subjective things.  But I suspect there are some features of math that are fairly independent of who is doing it.  Maybe some theorems are 'important' in a fairly objective sense - important crossroads that most travelers tend to stop at.  And someday we may understand why.

For more on the Stacks Project's new network visualization tools, read this blog article by Cathy O'Neil:


Post has attachment

Post has attachment
Speaking of the twin primes problem, Terence Tao has formally proposed understanding and improving on Zhang's proof as a polymath project:
And in terms of revision history, Scott Morrison has started an associated GitHub project:

It'll be exciting to see where this goes!

Post has attachment

“Should you just be an algebraist or a geometer?” is like saying “Would you rather be deaf or blind?” ~ M. Atiyah

Post has attachment
Anybody got jumper cables? Bringing back the blog...

Post has attachment

Post has shared content
This is one of the most colorful bug reports I've ever read.

"Steps to reproduce:

Post has shared content
I wanna be an architect.
Luxus Ferienhaus in Südafrika beeindruckt mit umwerfendem Ozeanblick
Wait while more posts are being loaded