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!

Update

Despite my hope to the contrary, it would appear that the math I’ve done while here so far as not parlayed into me blogging super-frequently. For what it’s worth: Life is busy. Just in case you were wondering. ^_^

Lately, I’ve been working from home more than I’ve been going to Princeton/IAS. My goal is to change that soon and I actually had a wonderful day at IAS today. I’d like to go tomorrow but I have a work meeting at the least convenient time one can imagine; there’s also no topology seminar at the University tomorrow, so I suppose I’ll be staying in and working again. No harm no foul, I suppose.

So what have I been working on? Well:

• Universal Circles for Depth-One Foliations of 3-Manifolds. The gist here is: If you have a taut (e.g.) foliation on a 3-manifold, a theorem of Candel says we can find a metric on all the leaves so that they’re hyperbolic. Moreover, by tautness, you can lift to a foliation of the universal cover which is then a foliation whose leaves are hyperbolic discs. A ridiculously deep idea of Thurston was to look at the infinite circle boundaries of these disk leaves and maybe…glue them together? Canonically? And see if that gives insight about things?

  You probably already know how this ends: It’s doable (because he’s Thurston) and it does provide deep insight about the downstairs manifold (see, e.g., the articles by Calegari & Dunfield and/or Fenley, or Calegari’s book…)

  Now, let’s say we do this for certain classes of kind-of-understood-but-still-unknown-enough-to-be-interesting foliations like those of finite depth. Can we get cool manifold stuff by doing this process? I dunno, but maybe.

• Homologies. My ATE was about Gabai’s work on foliating sutured manifolds, so studying sutured manifolds is something I’m still interested in. One way of doing that nowadays is with this colossal, ridiculously-powerful tool called Sutured Floer homology. So…you know…homology…but when talking with other grad students about the millions of homologies out there and about how nobody really understands what motivates discovers of them, I realized that there was a lot I needed to know before focusing on one homology foreverever. So I’m working on learning stuff about homologies.
• Geometric Group Theory. Ian Agol is at IAS this year as the distinguished visitor and a lot of his work is on relationships between GGT and 3-manifolds. If you listen to any talk relating those two things, you realize there’s this whole dictionary of words and acronyms like QCERF and LERF and RAAG and Virtually Special, Residually Finite, etc. etc. I think in order to someday bridge the gap towards doing work like those guys do, I need to know what all these words mean, and what better time to figure that out than right now?! So yea…I’m doing that some, too.
• Dirac Operators, Spin manifolds,…. At some point soon, I’m going to start working on hypercomplex geometry again, and part of that will be the study of Dirac operators. So far, there are lots of perspectives on those, so we’re going to try to first establish the explicit connections between them and then maybe…do some stuff? I dunno. I also have stuff on Clifford analysis / geometry I want to look at, as well as some more things involving generalized geometries. Lots here.
• Topological Quantum Computing. This is a pipe dream until I’m able to feed my family and progress on my dissertation. It’s on the radar, though.

Okay, so this was an update! I’ve also been bookmarking some interesting proofs I’ve run across so I’ll know where to look when I decide to expand things here, and…yea.

Oh! And my professional webpage finally exited alpha and went into beta! http://www.math.fsu.edu/~cstover.

And now, Morrrr…se homology. Morse homology. That’s what I’m looking at as a segue into Floer. Another late night ftw!

Later.

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…

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.

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’

Update since the update

The last time I posted something meaningful here (not counting the 2014 year-in-review and the most recent claim of attempting necromancy), it was June 2014 and I was about to embark on a summer of traveling. Around that same time, my son was 21 months old, I was working part-time at Wolfram, and I was a pre-doctoral candidate whose academic situation had gone (apparently without being blogged about) from two doctoral advisors with two separate projects to a single advisor plus a second non-advisor faculty colleague.

Typing that out makes me realize how much has changed.

For those of you keeping score, it’s now August 2015, and 13 months after the last update, lots and lots of things have changed. For example, my son is now one month away from being three years old. There’s also a lot of professional stuff, too. Let’s go somewhat chronologically.

• I spent summer 2014 traveling.
  • I went to an absolutely amazing topology conference at Cornell (and met a Fields medalist).
  • I spent a month learning how to use Mathematica better at a Wolfram summer school.
  • I went to an okay topology conference at CUNY Staten Island.
• Afterwards, I was offered a full-time position at Wolfram as Math Content Developer. I accepted and took the year off from teaching.
• I landed a lead role in a really awesome math-related project at Wolfram.
• I went to a great conference at Yale and really enjoyed New England. New Haven is absolutely incredible.
• I passed my advanced topics exam (ATE) and became a doctoral candidate. My work was on Gabai’s colossal (first) work on Reebless foliations in 3-manifolds, and while I definitely learned more significant math than I’ve ever learned, I feel like there’s so much in that paper than I’m years away from understanding.
• I went to the Tech Topology Conference soon after becoming a candidate.
• Not long after, FSU had a pretty gnarly conference on Clifford analysis.
• I flew up to Baltimore to interview for an NSA gig. I didn’t get chosen.
• I went to the 40th annual spring lecture series at the University of Arkansas and had a complete blast. I ended up slipping on ice, busting my ankle up pretty badly, and having some travel woes near the end but when all was said and done, I met some cool people (Benson Farb, Allen Hatcher) and saw some really great talks. Oh, and great coffee!
• I went to Rhode Island College and gave an invited lecture on limit sets and computer visualization. It was an honor and I couldn’t have hoped for a better first invited lecture experience.
• I finished a pretty uneventful spring semester at FSU. Lots of work. Lots and lots of work.
• Once summer (2015) rolled around, I got accepted to some pretty great things:
  • An MSRI program on Geometric Group Theory. I eventually had to decline this one.
  • Moduli Crossroads Retreat; also had to decline this guy.
  • A Berkeley summer school in diffeomorphism groups. I went there and had an absolute blast.
  • The first annual Chicago summer school in geometry and topology. I can honestly say that this was the best mathematical experience I’ve ever had, and man: What a beautiful city Chicago is!
• I was fortunate enough to be awarded a pair of scholarships from the FSU math department.

And now, here we are! It’s officially September 1 (1:07am now): That means Fall semester has started at FSU (which means I’m now a fourth year doctoral student; eek) and things are back in full swing. It never gets familiar, really, no matter how many times it happens. C’est la vie, I guess.

I’ve got a bunch of stuff going on, professionally:

• I’m still trying to make progress on my dissertation research (3-manifolds and, eventually, foliations).
• I’m studying Dirac operators / spin manifolds / hypercomplex structures / supermanifolds / miscellaneous things that seem to get more and more into the realm of theoretical physics as we progress. This is with my non-advisor faculty colleague.
• I’m trying to get a small research project going with an undergraduate at FSU on topological quantum computing (maybe Microsoft will take interest?).

Non-professionally, things have also happened. I got pretty serious into working out for a bit; later, I lost track due to travels, though I’ve since made some pretty considerable body transformations due to a healthier diet. I’ve also tuned back my Wolfram hours to give me more time to do student things; I’ve upgraded my workstations (desktop and mobile); I’ve made the switch from Windows to Linux (full-time rather than as a hobby)…

…that may actually be about it!

So there! Now we’re caught up! That means that I can pick up next time with an actual update / piece of newness / whatever. And who knows – maybe there will even be some math thrown in here! gasp

Good night, everyone.

PS: Oh! I was also introduced to Mnemosyne by a mathematician considerably better than myself! So far, I’m a pretty big fan.

Random Update, or A Prologue to Travel

Okay, so I’m almost never around these parts anymore. That’s probably obvious to anyone who lands on the home page. Aside from “the random question regarding Hatcher problems” (read: the random pointing out of something very stupid I did when attempting to solve problems from Hatcher), I usually don’t receive many updates regarding this place either. 

Truth be told: This place is essentially a wasteland. That makes me at least mildly sad.

I’d like to attempt to remedy that at least somewhat, and in order to attempt such an endeavor, I’ve brainstormed a plan. Before sharing, perhaps I should preface:

I’m about to be traveling quite a bit.

In particular, I’m going to be leaving on Friday (20 June) for approximately five weeks. My travels will include extensive bus rides that will land me in Ithaca, New York, Boston, Massachusetts, and Newark, New Jersey (en route to Staten Island, NY) and will include a variety of math- and computer science-related things. 

Much excitement is expected on the professional front.

I figure this makes for at least a somewhat worthwhile opportunity to update this thing, though, since I could use it as a sort of travel diary. Truth be told, I’ve never traveled much, so I don’t know what exactly a travel diary entails; I figure I can come here, vomit out some photos and maybe a video diary or two, and hope that the inspiration I get by being surrounded by greatness will provide me the motivation to at least type up a summary entry or two on some fascinating stuff.

Long story short: Ostensibly, I should be able to post without having to rigorously type up mathematics I’m working on (or attempting to work on). That’s a win.

So yea…I’m at T-minus 51(ish) hours before my first bus departs. There’s lots to do, and so I won’t stick around here much longer. I will try to cough up a legitimate update, though; it’d be silly for me to start a travel diary without at least trying to piece together some sort of update on the journey behind the journey.

In the meantime, I hope this finds the internet in good spirits.

Yours in math,

 

C

Frustration, or Somebody’s got a case of the Tuesdays

This is going to be an entry about my algebraic topology class.

My previous topology classes were taught by someone who’s amazing <i>as a mathematician</i>. Most people in the class would agree, however, that this person was someone who was terrible as an instructor: Somehow, I made it through a graduate sequence of coursework despite receiving terrible grades throughout. This happened despite my spending 50+ hours a week on every homework assignment and slaving until I was on the verge of breakdown week in and week out. Somehow, I got a B.

My topology experience thus far is certainly not one of my finest achievements.

Fast forward to now and I’m in an algebraic topology class taught by someone who’s amazing. Amazing. Not amazing <i>insert quantifier here</i>, no – this person is simply amazing. And this topic is beautiful. And this class is hard.

This class is hard, too, despite the fact that we have no continual responsibilities. Indeed, we have zero homework whatsoever: Not required problems to turn in, not required problems to keep, not even suggested problems for our benefit. We simply have <i>zero homework</i> in this class. That’s a huge relief after last semester.

What we <i>do have</i>, though, are exams. We have three of them, and I have zero doubt now (nor have I had doubt at any point this semester) that my ass will be kicked by each and every one.

As a result, I’m working hard.

A week-ish ago, I spent some time going through the preliminary parts of the stuff we’re talking about (homology theory). I did examples, I spent lots of time drawing pictures, and I didn’t stop until I got it.

That’s right: A week-ish ago, I <i>got it</i>.

Today, however, I’m sitting in my office, frustrated and almost-defeated, blogging to you all and mourning the fact that a lot has apparently changed in the last week-ish. 

Today, I just don’t get it.

If I were to make a list here cataloging the number of screw-ups I made trying to solve one problem over the course of about 20 hours, I’d be (a) making a really long list and (b) really <i>really</i> embarrassed.

I’m really <i>really</i> embarrassed right now.

Finally, after re-reading and re-re-reading Hatcher, I found source 1 of my confusion. Later, after consulting the online resources of mathematicians greater than myself (case in point here), I found the remaining sources of my confusion.

The upside is that now I’m no longer confused. On the other hand, the fact that I was as confused as I was (and about such basic material as that happened to be) makes me really <i>really</i> uneasy moving forward.

I need an intervention.

In the meantime, I’m going to try to dust myself off, hit the salt mines yet again, and lose my frustrations in the never-ending cycle of Lana del Rey that’s been permeating through my office for the past couple hours.

3 weeks, 2 days.