Chris Grossack's math blog and professional website.| Chris Grossack's blog
Earlier this week my friend Shane and I took a day and just did a bunch of computations. In the morning we did some differential geometry, where he told me some things about what he’s doing with symplectic lie algebroids. We went to get lunch, and then in the afternoon we did some computations in derived algebraic geometry. I already wrote a blog post on the differential geometry, and now I want to write one on the derived stuff too! I’m faaaaar from an expert in this stuff, and I’m sur...| Chris Grossack's Blog
This is going to be a very classic post, where we’ll chat about a computation my friend Shane did earlier today. His research is largely about symplecticlie algebroids, and recently we’ve been trying to understand the rich connections between poisson geometry, lie algebroids, lie groupoids, and eventually maybe fukaya categories of lie groupoids (following some ideas of Pascaleff). Shane knows much more about this stuff than I do, so earlier today he helped me compute a super concrete exa...| Chris Grossack's Blog
While doing a computation with my friend Shane the other day, we realized we needed to explicitly compute a local chart near the identity of $SL_2(\mathbb{R})$. It took us longer than I’d like to admit to figure out how to do this (especially since it’s so geometrically obvious in hindsight), and so I want to write down the process for future grad students looking to just do a computation! If you want to see what Shane and I were actually interested in, you can check out the main post her...| Chris Grossack's Blog
The other day my friend Lucas Salim was asking me some questions about categorical logic and constructive math, and he mentioned he’d never seen a proof that there’s no constructive proof of the intermediate value theorem before. I showed him the usual counterexample, and since my recent blog post about choice was so quick to write I decided to quickly write up a post about this too, since I remember being confused by it back when I was first learning it. The key fact is Soundness and Com...| Chris Grossack's Blog
Chris Grossack's math blog and professional website.| Chris Grossack's blog
Chris Grossack's math blog and professional website.| Chris Grossack's blog
Chris Grossack's math blog and professional website.| Chris Grossack's blog
This will be a really quick one! Over the last two weeks I’ve been finishing up a big project to make DOIs for all the papers published in TAC, and my code takes a while to run. So while testing I would hit “go” and have like 10 minutes to kill… which means it’s time to start answering questions on mse again! I haven’t been very active recently because I’ve been spending a lot of time on research and music, but it’s been nice to get back into it. I’m especially proud of a fe...| Chris Grossack's Blog
Chris Grossack's math blog and professional website.| Chris Grossack's blog
Chris Grossack's math blog and professional website.| Chris Grossack's blog
Chris Grossack's math blog and professional website.| Chris Grossack's blog