16:00
Curves and their fundamental groups
Abstract
I will describe a sketch of the proof of Grothendieck conjecture on fundamental groups.
16:00
Descent of a sum of Consecutive Cubes ... Twice!!
Abstract
Given an integer $d$ such that $2 \leq d \leq 50$, we want to
answer the question: When is the sum of
$d$ consecutive cubes a perfect power? In other words, we want to find all
integer solutions to the equation
$(x+1)^3 + (x+2)^3 + \cdots + (x+d)^3 = y^p$. In this talk, we present some
of the techniques used to tackle such diophantine problems.
16:00
Explicit Kummer coordinates for higher genus curves
Abstract
I will explain how to find an explicit embedding of the Kummer variety of a higher genus curve into projective space and discuss applications of such an embedding to the study of rational points on Jacobians of curves, as well as the original curves.
16:00
14:15
The Missing Meteorites of Antarctica
Abstract
The vast majority of the World's documented meteorite specimens have been collected from Antarctica. This is due to Antarctica’s ice dynamics, which allows for the significant concentration of meteorites onto ice surfaces known as Meteorite Stranding Zones. However, meteorite collection data shows a significant anomaly exists: the proportion of iron-based meteorites are under-represented compared to those found in the rest of the World. Here I explain that englacial solar warming provides a plausible explanation for this shortfall: as meteorites are transported up towards the surface of the ice they become exposed to increasing amounts of solar radiation, meaning it is possible for meteorites with a high-enough thermal conductivity (such as iron) to reach a depth at which they melt their underlying ice and sink back downwards, offsetting the upwards transportation. An enticing consequence of this mechanism is that a sparse layer of meteorites lies just beneath the surface of these Meteorite Stranding Zones...
14:15
The Weak Constraint Formulation of Bayesian Inverse Problems
Abstract
Inverse problems arise in many applications. One could solve them by adopting a Bayesian framework, to account for uncertainty which arises from our observations. The solution of an inverse problem is given by a probability distribution. Usually, efficient methods at hand to extract information from this probability distribution involves the solution of an optimization problem, where the objective function is highly nonconvex. In this talk, we explore a reformulation of inverse problems, which helps in convexifying the objective function. We also discuss a method to sample from this probability distribution.
14:15
Effective boundary conditions (EBC) for semi-open dispersive systems: Leaky rigid lid on the atmosphere
Abstract
Much of our understanding of the tropospheric dynamics relies on the concept of discrete internal modes. However, discrete modes are the signature of a finite system, while the atmosphere should be modeled as infinite and "is characterized by a single isolated eigenmode and a continuous spectrum" (Lindzen, JAS 2003). Is it then unphysical to use discrete modes? To resolve this issue we obtain an approximate radiation condition at the tropopause --- this yields an EBC. We then use this EBC to compute a new set of vertical modes: the leaky rigid lid modes. These modes decay, with decay time-scales for the first few modes ranging from an hour to a week. This suggests that the rate of energy loss through upwards propagating waves may be an important factor in setting the time scale for some atmospheric phenomena. The modes are not orthogonal, but they are complete, with a simple way to project initial conditions onto them.
The EBC formulation requires an extension of the dispersive wave theory. There it is shown that sinusoidal waves carry energy with the group speed c_g = d omega / dk, where both the frequency omega and wavenumber k are real. However, when there are losses, complex k's and omega's arise, and a more general theory is required. I will briefly comment on this theory, and on how the Laplace Transform can be used to implement generic EBC.