Prof Life


A Weekend in Salem, OR 1

When I was but a wee undergraduate at the Colorado College, one of my professors encouraged me to work on a research project with him one summer.  Over the next couple years, we wrote two papers together. That was Josh Laison, and he is now one of my friends.  I don’t think I realized until partway through grad school that Josh is only six years older than me.  He was a young visiting professor, but I was also a couple years older than my classmates.  I think my first impression of Josh involved math puns and 80s pop songs.  Inevitably, I became friends with Josh and his wife, Steph.

Josh is now a tenured professor at Willamette University, and he is one of the co-PIs for the WMC REU this year.  Now that I’m Salem for the summer, it’s fun to spend time with Josh, Steph, and their hilarious 5-year old.  One of Josh’s mathematical interests lies in games and gaming.*  One of my mathematical interests lies in describing anything I can get my hands on with polynomials.  We’ll see if the intersection of those interests leads to a project.

I’m enjoying getting a chance to talk about math with Josh, but it’s also fun to banter about the craft of teaching.  He’s got myriad great ideas for classes, and he’s got a lot of experience trying new things. I’ve picked up some great ideas, and I feel a renewed sense of courage to go back to Hamilton and try new stuff.  Sometimes even great educators take a promising idea into the classroom only to watch it fail.  When they’re up-front about it, it gives the rest of us the guts to try innovative techniques.  Sometimes they flop.  Life goes on.  Josh has also taught me a lot about working with undergraduates, both as my undergraduate research mentor and now as my colleague.  I’m trying to soak up as many lessons as I can.

When I’m not hanging out with the REU folks or Josh and family, I have plenty of time to myself.  In Salem, it’s easy to find things to do on the weekend to be out among people (but not necessarily with people).  That means that an introvert can have a nice time out and about without feeling awkward.  Farmers markets, coffee shops, bookstores, movies, reading in a park: none of these activities requires a car or other people.  It’s hard to find that in upstate New York.

A weekend feels wasted if I don’t get any work done.  So I scheduled some math and other stuff to get done on Sunday morning.  Happily, I accomplished the modest goals I set out for myself.  Tonight I’ll work a little more, and then I’ll see about an impromptu Skype date with my partner Ryan and my cats.

*Josh’s daughter is already adept at strategy games, and this can be embarrassing for me.  Luckily, she’s a (mostly) gracious winner.


Tensor Products of Complexes

The title pretty much sums it up for the day. We’re working toward a strong foundational understanding of the Koszul complex and how to build it from copies of 0 -> R -> R -> 0.  In each such complex, the interesting map, R->R, is multiplication by a (homogeneous) form.

The tensor product differential is a bit beastly.  The modules in the complex are just new free modules (because the tensor product of free modules is another free module).  However, the differential is a Frankensteinian mix of differentials from the two complexes you tensor together.  Let’s extend the gruesome metaphor for a minute: if you want to stitch together a bunch of human parts to get another human, you have to be careful about how you stitch them together.  So too with the differentials; here, there are a bunch of (-1)^e, where e depends on… stuff. (I have to remind myself that I’m writing a blog, not a textbook!)

TL;DR: These signs that occur so that the resulting module homomorphisms square to zero.

The morning started with a crash course on tensor products of modules.  I assigned a few standard homework exercises that focus on using the universal property to exhibit the basic isomorphisms that we need for the tensor product of complexes.  Then we started tensoring complexes together like mad.  We’ll pick up next week with an equivalent characterization of the differential of the Koszul complex.  This alternative description is much more straightforward.  For one, it’s easier to show that if you start with a regular sequence over a polynomial ring, the Koszul complex is acyclic.  That is, it’s a minimal free resolution of the quotient of R by the ideal generated by the regular sequence.

We’re making some progress on the research project, too.

I’m optimistic for a fun weekend in Salem and looking forward to next week’s math.


Back in Salem

The remote video experiment was a general success, I think.  I was gone just long enough for my group to work on the project just to the point of feeling frustrated and hamstrung (which is, sadly, the primary feeling of doing math research).  I was expecting them to feel that a little sooner in the program.  I tried to set the project up so they’d have plenty of opportunities to feel confused, overwhelmed, and unsure of what to do next.  That’s not because I’m naturally sadistic or uncaring; that’s because I want them to have a real research experience, and these feelings are part of the process.  To become a researcher, you have to learn to live with doubt and uncertainty — and then to get to work.  I also want to give them a taste of criticism and rejection, because that’s part of the process, too.  But ultimately, I want them to learn a lot of math and discover something new.  They’re on track to meet both of those objectives.

However.  Having said all of that, I want to be supportive and helpful, too. I’ll prepare a few lectures on related algebra topics (tensors products of modules and complexes) and give them a little homework to do.  Again, this mimics research: when you realize you have to learn something new to start working on a problem, it’s a relief.  Working through the basics of a theory is like classwork, and by the time you’re doing research, you’re good at classwork.

I’ve also tried to rephrase the research problem a few different ways for the students, based on what they’ve described to me.  The point here is to try to help them interpret the problem in a way that will lead to a specific course of action.  I’m being purposefully vague about what they’re doing; as I keep telling my math friends, you’ll just have to wait for the paper for the full picture.  Consider this blog one long teaser.

As for my work… Before I left last week on my personal trip, I finished editing my parts of a paper and sent it off to my coauthors for their next turns.  Phew.  One item off the to-do list.  I also made some progress on writing a project description for a grant proposal.  I struggle with writing grants; finding the appropriate level of assumed knowledge on the part of the reviewers trips me up.

Time to get my homework done for tomorrow!

 


WMC REU – Day 8

Working with Betti diagrams can be challenging.  To get the most bang for your buck, you should embed them in a rational vector space.  But then you want to cut down the dimension of the ambient space by finding equations that Betti diagrams satisfy (but that random tables of rational numbers need not satisfy).  My group is grappling with this by trying to understand how Boij and Soederberg did this in their paper (using the Herzog-Kuhl equations).  Once they get the general gist of the technique, their task is to come up with similar equations for their particular project.

For my part, I’ve got a few pages of reductions and notes to this end, but I keep reminding myself that it’s not my research project (or at least, not entirely mine) and that the best pedagogical stance I can take is one of “benevolent neglect.”  That is, spend a little time with the group each day, and then step back and let them work and learn and discover.  Repeat the next day.  I’m sure that as the weeks wear on, I’ll vary my level of involvement.  But for now, they’re doing great work on their own!

I’ll be traveling for a few days to take care of some personal business, so I’ll have plenty of opportunities to practice benevolent neglect.  I’ll Skype with my group at least once a day while I’m gone, but they’ll be on their own to formalize their problem and start investigating it.

Tonight, my group will bond by heading up to Portland for dinner (my treat, although they don’t know that part yet).  Then they’ll drop me off at the airport.  It’s hard to know from reading applications whether a group of three students will work well together, but my group exceeds expectations.  They are a very strong working unit.  They’re also really great human beings.


The first mini symposium

Color me impressed. Our REU students are working on some interesting stuff. From uniquely pancyclic matroids (a matroid generalizes a matrix) to algebraic voting theory (measuring fairness through invariance under group actions) to decompositions of Betti tables (understanding the numerics of free resolutions), we’ve got an excellent crop of projects. On my end, it was challenging to score aspects of the presentations while also paying close attention!

When I was a graduate student, I would go to 3-4 hours of classes a day, teach a couple classes, and even go to an hour or two of seminars. Then I’d go home and do my homework and class prep. That’s the kind of stamina I wish I still had.  After a mere 90 minutes of listening intently to math, my brain is still swimming at the end of the day, and I have too many unconnected ideas, questions, and intuitions to do anything useful.


Bring on the printing!

Hooray, hooray! I have printing privileges! This development will seriously help with the paper writing. I envy all of the digital natives out there who don’t have to print a document to proofread it. Alas. That’s the way I learned, and my efforts to edit on-screen yield pretty poor results. Upshot: this is a game-changer.

My REU students and I talked about one of my favorite mathematical topics (today, in the context of rings and modules): how do you tell how big something is? They didn’t realize that they were asking this question — they were, more innocently, asking what a Cohen-Macaulay ring is. We toured the ideas Krull dimension and depth. We discussed in what ways each was a measure of the size of the ring (or module). We looked at the Emmy ring, CC[x,y]/(xy,x^2), and showed that depth need not equal Krull dimension.

It was a good time.

On Tuesday next week, we’ll have our first REU mini-symposium. Each research group has 20-30 minutes to present. We spent some time today outlining possible presentations. As those of you who know me realize, I’m a very competitive person.* So I suggested that we have a little low-stakes competition. Hold up, NSF, I didn’t suggest financial gains or anything like that! Just a round of beverages for the winning group paid for by their mentor; the mentor of the winning group earns a beer on the other mentors). I am confident that my group is capable of winning this competition, but I’m trying to keep the competitive edge out of our meetings. (Deep breath, Gibbons!)

At noon, we headed off to a picnic for all of the scientific research groups on campus. I liked meeting some of the other Willamette faculty. My co-mentors Erin McNicholas (voting theory) and Colin Starr (unipancyclic matroids) are great, and this seems to be true of every new faculty member I meet. In the afternoon, around 3 pm, the REU broke for root beer floats and games. Finally — a chance to crush someone at SET! (Remember what I said about being competitive?)

Now, as I finally wrap up work for the first week of the REU, I’m hoping for a fun weekend in Salem.

*This is why, if I like you, I won’t challenge you to a game of Scrabble. I want to stay friends after.


WMC REU Days 3-4

Yikes.  These past two days have not been particularly productive, research-wise — I think I made negative progress.  Indeed, on Wednesday, I met all sorts of challenges that made everything harder than it needed to be.  For example, I realized that I forgot to pack my cable for my external hard drive, rendering my collection of digital math textbooks inaccessible for now.  This oversight is less of an issue for my research and more of an issue for assigning well-crafted problems to help my REU students learn the necessary background material.  I did create some problems, and I worked them through, and they’ll do for now.  But, still, arrgh!

To change up the format, which has so far ended up with my lecturing, I got to our classroom early on Wednesday and wrote three warm-up problems on the board.  They ended with the note, “Come find me in half an hour or when you’re done.”  I was purposefully vague there; I wanted to see if they would give up at 10:30 or keep working.  At 10:50, they came and found me, and they’d worked through the problems together.  They each presented one of the problems, and it was clear that they had been working together.  After today, I have no doubt that they will form a good team.

Alas, I did end up lecturing a bit, but at least it was less.  We (okay, I) defined “complete intersection,” “graded module homomorphism,” “free resolution,” “Betti diagram,” “pure diagram,” and “degree sequence.”  Examples followed, and I asked them to work through, by hand, examples Betti diagrams of complete intersections and to use the Boij-Soederberg decomposition algorithm by hand for next time.

On Thursday, we spent a lot of time working with the algorithm and talking about what a rational cone is.  I managed to lecture less.  I finally showed them how to access Macaulay2 online and load the Boij-Soederberg package, which does all kinds of Betti table calculations.

I was quite fond of the following pair of problems for these last two days:

Assigned Wednesday: Find an example of a complete intersection with Betti table

      __________
      1 1 - - -
B =   - 3 6 3 -
      - - - 1 1   

or explain why such a complete intersection doesn’t exist.
Assigned Thursday: Use the Boij-Soederberg decomposition algorithm to justify the claim that there is no Cohen-Macaulay R-module with the Betti table B from yesterday’s assignment.

 

Here’s hoping tomorrow is a bit more productive for me!