Fields Medalists and Topology and Thesis Research and…

Today, I spent the day at IAS, listening to Alex Eskin talk about Teichmuller dynamics.

I don’t know why, but I somehow struggle on some deeper level when it comes to that topic. These talks always start relatively similarly with billiards and the (non-)existence(?) of periodic orbits thereof before providing a dictionary between billiards and Riemann surface theory, an introduction to basic notions in ergodic theory (Ergodic, Uniquely Ergodic…), and then – apparently at some point when my brain shuts down – there’s really deep stuff including conjectures by Fields medalists, etc. etc. Somehow, I understand all the pieces before brain shut-down, but even so, the shut down always seems to happen and leave me scratching my head and wondering wtf happened during.

Maybe it’s a tumor.

I’ve been focusing  more on stuff about universal circles. In particular, I’ve found some other documents online that summarize the Calegari-Dunfield paper a bit, and I’ve been using Calegari’s wonderful book to help get new views on things. It’s slow, but it’s progressing way better than it ever has.

Last week, there were three Minerva lectures at Princeton University by Maryam Mirzakhani. The creative ways in which she applies and broadens the scope of hyperbolic geometry is staggering, and as much as I’d like to say I understood a lot of things, I understood very small fragments of a handful of things. It was an amazing experience that I’ll cherish for a long time, but man – I was so tangibly outclassed during that it was almost embarrassing. Wonderful, but (almost) embarrassing.

Besides that, I’ve been working: Mostly boring monotonous things for Wolfram with the exception of breaking Wolfram|Alpha today, and then finally some progress on fixing the very badly-done FSU Financial Math pages. It’s a lot happening, but it’s all mostly enjoyable and I like being kept busy, etc. Always good.

Unfortunately (or perhaps fortunately for my progress on things that matter), I haven’t typed up any more interesting proofs or anything. At some point, I hope I can blog regularly without feeling like I’m missing out on more important things but honestly? Now is not that time.

I hope this finds everyone well, and if I don’t see you again first: Happy holidays!

Had a great first week at IAS. Their math library is fucking unreal and it gave me a chance to read about tons of stuff I should have already read about but haven’t.

The end result is that I did very little in terms of wage earning, and in particular that our savings is down to approximately $0 and if I don’t start earning pay soon we’re going to starve. Even so, the math library here…?

Tomorrow is the first day of the year’s first directed workshop-thing on 3-manifolds (http://www.math.ias.edu/wgso3m/agenda) and I’m indescribably excited about that. I’ve also gotten to a point where I have a schedule in place to earn a livable wage between all that (yay no starvation!) and will hopefully be able to parlay some of the awesome math I’ve been absorbing into things to post here…

…but today is not that day. ::wink::

Yours in math….

Update

I’ve fallen into a bit of mathematical stagnancy since the first week or so of living here but after much ado, I’ve finally become regimented enough to start doing work and doing math and juggling other obligations, etc. etc.

What can I say? Moving is hard business!

Since falling off the mathematical (and career) wagon, I have managed to buy some new math books (uber sale; it’s my weakness) and to completely build a 95%-ish complete version of a new professional homepage which I hope to deploy within a week or so. As of a few days ago, I also managed to climb back on to the career (sans math) wagon, and as of today (well, yesterday; it’s 4:30am “tomorrow” for me right now), I also managed to do some low-key math with my BFF L. Hoping that pans out.

Later today, I’m going to head to IAS and spend the day doing math things and listening to postdocs talk about stuff I’ll likely never be mature enough to comprehend. Hoping this is day 1 of a lot of consecutive days of doing that and/or things like it. We’ll see.

Mathly yours…

A Sad Day for Mathematics

It is with tremendous regret to the long-term effects to mathematics that I bring you this news…

S^3 (the most basic prime manifold) is prime

So a while ago, I was reading Hatcher’s notes on 3-manifolds. In there, he defines what it means for a manifold to be prime and states, casually, that the 3-sphere is prime. He later says that it follows immediately from Alexander’s Theorem as, and I quote: Every 2-sphere in bounds a 3-ball. And that’s it. Done.

Wait, what?!

Elsewhere, Hatcher expands his above statement: …every 2-sphere in bounds a ball on each side…[and h]ence is prime. Again, though, it isn’t accompanied by anything, and while this is clearly a trivial result, I just couldn’t see it for the longest time…I knew that it followed from a number of things, e.g. the fact that is the identity of the connected sum operation, that is irreducible (and that every irreducible manifold is prime), that one gets the trivial sum by splitting along a 2-sphere in which bounds a 3-ball in , etc. Even so, I didn’t want to leverage some enormous machinery to deduce the smallest of results and what I really wanted was for someone to tell me what I was missing. So I never stopped thinking about this, even after moving forward, until finally – it just clicked!

I figure other people who are as visualization-impaired as I may benefit from seeing this explained in greater depth, so in lieu of typing a blog post containing something new and attention-worthy, I figure I’d share this instead. Details after the break.

Settling in with a new life and a new schedule

Today is the fifth full day at our new place and things are finally starting to settle in. Until today, we’d been sleeping/sitting/otherwise living on the floor, for the most part. In particular:

• A couple days ago, we got our Wifi connected so our internet access went from patchy and occasional to great and full-time.
• After spending the first few days sleeping on the floor, we got a couple air mattresses on Monday. That came with some slight added comfort.
• Today, our new couch came in. I can’t overstate how amazingly comfortable this fucking thing is, and believe me when I say: It’s completely changed my whole attitude to have a comfortable place to sit!

As a result of the added couch-induced comfort, I’m letting today be my first day transitioning to The Princeton Schedule of mathing all day and working (for a wage) at night. So far today, it’s been all 3-manifolds and foliations, particularly getting things I ought to already know typed into Mnemosyne so that I can make sure I know know them moving forward.

There’s so much math I should be better at; I’m really looking forward to using this year to bridge the gap from where I am to where I ought to be.

Implementation for Interesting Proofs (Framework)

Okay, so previously, I blogged about potentially implementing a series on interesting proofs. Unsurprisingly, nobody read that post and/or cared, so I decided to go ahead with it anyway because I’m a loner, Dottie, a real rebel…

…anyway, the framework for that is now in place. It’s a barren landscape presently but I have the content necessary to add one proof with (hopefully) more to come!

Travel Update Finale, or The Times They Are A-Changin’

Interesting proofs series?

One of the things I’ve always enjoyed about moving farther in mathematics is being able to understand/process old information from a variety of different contexts. Of course, I’m still no Benson Farb (if you’ve never heard Benson talk about the insolvability of the quintic using algebro-geometric machinery, you’re really missing out), but I really do enjoy learning new ways to visualize things I’ve known for a while.

For example, there’s a novel trapezoidal proof of the Pythagorean Theorem that makes sense if you know simple things like the area of a right trapezoid:

http://eigenstuff.com/post/128236655616

. Seeing stuff like that makes me happy, and it makes me realize:

It could be fun/worthwhile to begin a blog post series of Interesting Proofs which outlines various “interesting” proofs of fundamental(-ish) mathematical facts. I’m imagining a recurring series of blog posts connected only by the fact that they’re novel proofs of things that most people have known since adolescence.

You guys should chime in to tell me whether you’d be interested in anything like that. Pretends people actually read this nonsense

Travel Update 1

Currently sitting in a hotel room in Virginia.

I’ve spent the last few days enjoying some travel time with the family – so far, we’ve driven through Georgia, South Carolina, and North Carolina – and things are great. Today, we took Aleks to the EdVenture children’s museum in Columbia, SC, and that place was killer! I’ve got a bajillion or so pictures, so I’ll probably come back and upload some of them soon.

Mathematically, things have been pretty stale (because, you know, ROAD TRIPPING). I have been pondering the possibility of adopting a Gödel-like approach to symbolic first-order logic using graph theory instead of numbers, etc. This is something proposed by a friend of mine and it’s opening me up to hopefully learn some stuff I ought to know already but don’t. We’ll see.

That’s all for now. I’m going to try to dredge up some old ideas for expository math things into some new entries not about my family and me. Maybe that’ll work out.

Talk soon, everyone.