# Past Colloquia

20 June 2014
16:30
Abstract

Universal fluctuations are shown to exist when well-known and widely used numerical algorithms are applied with random data. Similar universal behavior is shown in stochastic algorithms and algorithms that model neural computation. The question of whether universality is present in all, or nearly all, computation is raised. (Joint work with G.Menon, S.Olver and T. Trogdon.)

• Colloquia
6 June 2014
16:30
Prof. Michael Brenner
Abstract

Evolution by natural selection has resulted in a remarkable diversity of organism morphologies. But is it possible for developmental processes to create “any possible shape?” Or are there intrinsic constraints? I will discuss our recent exploration into the shapes of bird beaks. Initially, inspired by the discovery of genes controlling the shapes of beaks of Darwin's finches, we showed that the morphological diversity in the beaks of Darwin’s Finches is quantitatively accounted for by the mathematical group of affine transformations. We have extended this to show that the space of shapes of bird beaks is not large, and that a large phylogeny (including finches, cardinals, sparrows, etc.) are accurately spanned by only three independent parameters -- the shapes of these bird beaks are all pieces of conic sections. After summarizing the evidence for these conclusions, I will delve into our efforts to create mathematical models that connect these patterns to the developmental mechanism leading to a beak. It turns out that there are simple (but precise) constraints on any mathematical model that leads to the observed phenomenology, leading to explicit predictions for the time dynamics of beak development in song birds. Experiments testing these predictions for the development of zebra finch beaks will be presented.

Based on the following papers:

http://www.pnas.org/content/107/8/3356.short

http://www.nature.com/ncomms/2014/140416/ncomms4700/full/ncomms4700.html

• Colloquia
28 February 2014
16:30
Professor Camillo De Lellis
Abstract

The Plateau's problem, named after the Belgian physicist J. Plateau, is a classic in the calculus of variations and regards minimizing the area among all surfaces spanning a given contour. Although Plateau's original concern were $2$-dimensional surfaces in the $3$-dimensional space, generations of mathematicians have considered such problem in its generality. A successful existence theory, that of integral currents, was developed by De Giorgi in the case of hypersurfaces in the fifties and by Federer and Fleming in the general case in the sixties. When dealing with hypersurfaces, the minimizers found in this way are rather regular: the corresponding regularity theory has been the achievement of several mathematicians in the 60es, 70es and 80es (De Giorgi, Fleming, Almgren, Simons, Bombieri, Giusti, Simon among others).

In codimension higher than one, a phenomenon which is absent for hypersurfaces, namely that of branching, causes very serious problems: a famous theorem of Wirtinger and Federer shows that any holomorphic subvariety in $\mathbb C^n$ is indeed an area-minimizing current. A celebrated monograph of Almgren solved the issue at the beginning of the 80es, proving that the singular set of a general area-minimizing (integral) current has (real) codimension at least 2. However, his original (typewritten) manuscript was more than 1700 pages long. In a recent series of works with Emanuele Spadaro we have given a substantially shorter and simpler version of Almgren's theory, building upon large portions of his program but also bringing some new ideas from partial differential equations, metric analysis and metric geometry. In this talk I will try to give a feeling for the difficulties in the proof and how they can be overcome.

• Colloquia
31 January 2014
16:30
Abstract

The surface subgroup problem asks whether a given group contains a subgroup that is isomorphic to the fundamental group of a closed surface. In this talk I will survey the role that the surface subgroup problem plays in some important solved and unsolved problems in the theory of 3-manifolds, the geometric group theory, and the theory of arithmetic manifolds.

• Colloquia
15 November 2013
16:30
Professor Kazuya Kato
Abstract

The height of a rational number a/b (a,b integers which are coprime) is defined as max(|a|, |b|). A rational number with small (resp. big) height is a simple (resp. complicated) number. Though the notion height is so naive, height has played a fundamental role in number theory. There are important variants of this notion. In 1983, when Faltings proved the Mordell conjecture (a conjecture formulated in 1921), he first proved the Tate conjecture for abelian varieties (it was also a great conjecture) by defining heights of abelian varieties, and then deducing Mordell conjecture from this. The height of an abelian variety tells how complicated are the numbers we need to define the abelian variety. In this talk, after these initial explanations, I will explain that this height is generalized to heights of motives. (A motive is a kind of generalisation of abelian variety.) This generalisation of height is related to open problems in number theory. If we can prove finiteness of the number of motives of bounded height, we can prove important conjectures in number theory such as general Tate conjecture and Mordell-Weil type conjectures in many cases.

• Colloquia