Greenslopes Seminar

[Department of Mathematics]
Thursdays 11AM ENG E105
Co-Organizers: Dean Bisogno and Tanner Strunk


For the seminar attendance sheet, click here.
Abstracts appear below.

Date Speaker Title Advisor
Jan 25 Mark Blumstein Principal $G$-Bundles and Where to Find Them Dr. Jeanne Duflot
Feb 1 Andy Fry Euler's "Proof" for Fermat's Last Theorem for n=3 Dr. Renzo Cavalieri
Feb 8 Vance Blankers A Family of Differential Equations in Enumerative Algebraic Geometry Dr. Renzo Cavalieri
Feb 15 Liam Coulter Astronomical Image Deblurring for Optical Navigation In the hunt
Feb 22 Dustin Sauriol Introduction to Spectral Sequences Dr. Amit Patel
Mar 1 Rashmi Murthy Images Reconstructed using Electrical Impedance Tomography Dr. Jennifer Mueller
Mar 8 Jessica Gehrtz TBA Dr. Jessica Ellis Hagman
Mar 15 No Greenslopes - Spring Break
Mar 22 Various Recruitment Day Speed Talks IN WAGAR 133
Mar 29 Derek Handwerk TBA Dr. Patrick Shipman
April 5 Javier Alvarez Quantum Mechanics from Operator Algebras Dr. Chris Peterson & Dr. Michael Kirby
April 12 Brady Tyburski TBA Dr. James Wilson
April 19 Sophia Potoczak TBA Dr. Olivier Pinaud
April 26 Nathan Mankovich TBA TBD
May 3 Javier Alvarez Manifold Learning from Integral Invariants Dr. Chris Peterson & Dr. Michael Kirby


01/25/2018 - Principal $G$-Bundles and Where to Find Them - Mark Blumstein
Abstract: In this talk, we will consider situations where topology, algebraic/differential geometry, algebra, and group theory all get together to have a good time. Rather than a rigorous math talk, this talk will be more like a walking tour, where we walk to one stop, pause to try and get some sense of what's happening or maybe look at a few simple examples, and then keep moving.
The topological and geometric objects we will consider are spaces with a group action. At first it might not be completely clear why one would care about abstract groups acting on abstract spaces, so I'll try to briefly motivate this by pointing out examples familiar to everyone, e.g. the general linear group (group of invertible matrices) acting on a vector space. I'll also mention an example from differential geometry known as a "Klein geometry." Throughout the talk, most of the applications we will consider come from the case where $G$ is a Lie group, or $G$ is discrete (e.g. finite.)
The walking tour will then take a turn towards the homotopy theoretic, so weather permitting, a few stops we might make are:
1a) The classifying space of a group, and how its topology completely determines a purely algebraic construct called group cohomology (defined algebraically by the Ext functor on the coefficient module.)
1b) How $\mathbb{C}$-vector bundles (objects familiar from geometry) are classified by the universal principal bundle over the unitary group.
2) How representation theory fits into the picture above (Atiyah's work on topological K-theory started out as a study of representations of finite groups.)
3) How ordinary singular cohomology is a "representable functor" and the "universal object" is the classifying space of the coefficient group. Meaning that if you want to compute the singular cohomology of any topological space $X$ with coefficients in $\mathbb{Z}$, you can take a homotopy theoretic stance and consider just how $X$ relates to the classifying space of $\mathbb{Z}$'s pretty cool that the cohomology of any topological space can be boiled down to how it compares to these classifying spaces (i.e. Eilenberg-Maclane spaces)
Any one of these bullet points could take a whole semester to explain with any rigor, and I'm not an expert in all (or any?) of these points, so the intent is really just to bring awareness to some neat connections between different areas of math. I'll also mention that this talk is geared largely towards pure math, but maybe in a future talk I can talk about applications. e.g. Lie was initially interested in his transformation groups because he wanted an analogue for solutions of systems of differential equations to Galois' work on the group of symmetries for the roots of polynomial systems of equations (or so I read.)

02/01/2018 - Euler's "Proof" for Fermat's Last Theorem when n=3 - Andy Fry
Abstract: Around 1770 Leonhard Euler provided a proof of FLT for the case n=3. Euler applied the same technique of the proof that Fermat used to prove the n=4 case, the method of infinite descent. However, Euler's proof contained an error. We will go through his proof and analyze his "fallacious" argument and how one might fix it.

02/08/2018 - A Family of Differential Equations in Enumerative Algebraic Geometry - Vance Blankers
In 1991, Edward Witten (the only physicist to have won a Field Medal!) made a conjecture concerning the intersection products of special classes on the moduli spaces of marked curves. The Witten conjecture was proved just a year later, but it has still managed to drive significant progress in the study of moduli spaces of curves up to the present day. In this talk I will primarily be attempting to justify as many of the keywords in the title as possible while giving some background on the conjecture and on new approaches to its proof. This will be a research talk concerning ongoing joint work with Renzo, so it will be very open-ended and will hopefully serve to give you an idea of how pure mathematics research is sometimes done: in fits and bursts and random collections of facts.

02/15/2018 - Astronomical Image Deblurring for Optical Navigation - Liam Coulter
This project focuses on image deblurring and centerfinding for astronomical optical navigation. Optical navigation (OPNAV) has been in use in multiple spacecraft for many years, and is an important component of spacecraft navigation. However, OPNAV deals with images which are blurry and contain noise, so image processing is an integral part of OPNAV. This project seeks to solve traditional OPNAV problems with a new approach: deblurring using inverse matrix linear algebra, paired with centerfinding techniques. To accomplish this we use filtering, regularization, and sparse inversion methods. Also, for all you SVD groupies, most of the methods were based on the SVD!

02/22/2018 - Introduction to Spectral Sequences - Dustin Sauriol
Spectral sequences offer a powerful tool for computation in homological algebra. The machinery allows us to systematically compute homology groups of filtered chain complexes in a way that gives more detailed information about the maps involved. Many commutative diagrams can be viewed as filtered differential graded modules, and thus we can use spectral sequences to extract information about the maps involved. In this talk we will introduce spectral sequences with basic examples from topology and then give a proof of the snake lemma using spectral sequences. The huge advantage of this proof is we can reach the desired result without any messy diagram chasing.

03/01/2018 - Images Reconstructed using Electrical Impedance Tomography - Rashmi Murthy
Come take a look at the images and possibly videos of lungs and heart reconstructed using Electrical Impedance Tomography. After the images, if you are interested, we talk about the amazing math behind the reconstructions.

03/08/2018 - TBA - Jessica Gehrtz

03/15/2018 - No Greenslopes - Spring Break

03/22/2018 - Recruitment Day Speed Talks

03/29/2018 - TBA - Derek Handwerk


04/12/2018 - TBA - Brady Tyburski

04/19/2018 - TBA - Sophia Potoczak


Search ColoState.Edu : Student Web Page Disclaimer : University Disclaimer Statement: University Equal Opportunity Statement