10:30
Makanin's algorithm
Abstract
In the late 70s -- early 80s Makanin came up with a very simple, but very powerful idea to approach solving equations in free groups. This simplicity makes Makanin-like procedures ubiquitous in mathematics: in dynamical systems, geometric group theory, 3-dimensional topology etc. In this talk I will explain loosely how Makanin's algorithm works.
Finite subgroups of the classical groups
Abstract
In 1878, Jordan showed that if $G$ is a finite group of complex $n \times n$ matrices, then $G$ has a normal subgroup whose index in $G$ is bounded by a function of $n$ alone. He showed only existence, and early actual bounds on this index were far from optimal. In 1985, Weisfeiler used the classification of finite simple groups to obtain far better bounds, but his work remained incomplete when he disappeared. About eight years ago, I obtained the optimal bounds, and this work has now been extended to subgroups of all (complex) classical groups. I will discuss this topic at a “colloquium” level – i.e., only a rudimentary knowledge of finite group theory will be assumed.
The geometry of auctions and competitive equilibrium with indivisible goods
Abstract
Auctioneers may wish to sell related but different indivisible goods in
a single process. To develop such techniques, we study the geometry of
how an agent's demanded bundle changes as prices change. This object
is the convex-geometric object known as a `tropical hypersurface'.
Moreover, simple geometric properties translate directly to economic
properties, providing a new taxonomy for economic valuations. When
considering multiple agents, we study the unions and intersections of
the corresponding tropical hypersurfaces; in particular, properties of
the intersection are deeply related to whether competitive equilibrium
exists or fails. This leads us to new results and generalisations of
existing results on equilibrium existence. The talk will provide an
introductory tour to relevant economics to show the context of these
applications of tropical geometry. This is joint work with Paul
Klemperer.
15:00
Locally compact hyperbolic groups
Abstract
The common convention when dealing with hyperbolic groups is that such groups are finitely
generated and equipped with the word length metric relative to a finite symmetric generating
subset. Gromov's original work on hyperbolicity already contained ideas that extend beyond the
finitely generated setting. We study the class of locally compact hyperbolic groups and elaborate
on the similarities and differences between the discrete and non-discrete setting.
Finite element approximation of implicitly constituted incompressible fluids
14:15
Stokes Drift and Non-Local Mean Flows Induced by Two-Dimensional Internal Gravity Wave Packets
Morse theory in representation theory and algebraic geometry
Abstract
Hamiltonian reduction arose as a mechanism for reducing complexity of systems in mechanics, but it also provides a tool for constructing complicated but interesting objects from simpler ones. I will illustrate how this works in representation theory and algebraic geometry via examples. I will describe a new structure theory, motivated by Hamiltonian reduction (and in particular the Morse theory that results), for some categories (of D-modules) of interest to representation theorists. I will then explain how this implies a modified form of "hyperkahler Kirwan surjectivity" for the cohomology of certain Hamiltonian reductions. The talk will not assume that members of the audience know the meaning of any of the above-mentioned terms. The talk is based on joint work with K. McGerty.
A spectral difference method for hyperbolic conservation laws
Abstract
We study the behaviour of orthogonal polynomials on triangles and their coefficients in the context of spectral approximations of partial differential equations. For spectral approximation we consider series expansions $u=\sum_{k=0}^{\infty} \hat{u}_k \phi_k$ in terms of orthogonal polynomials $\phi_k$. We show that for any function $u \in C^{\infty}$ the series expansion converges faster than with any polynomial order. With these result we are able to employ the polynomials $\phi_k$ in the spectral difference method in order to solve hyperbolic conservation laws.
It is a well known fact that discontinuities can arise leading to oscillatory numerical solutions. We compare standard filtering and the super spectral vanishing viscosity methods, which uses exponential filters build from the differential operator of the respective orthogonal polynomials. We will extend the spectral difference method for unstructured grids by using
classical orthogonal polynomials and exponential filters. Finally we consider some numerical test cases.
A geometric approach to some overdetermined problems in potential theory
Abstract
We present a new method to establish the rotational symmetry
of solutions to overdetermined elliptic boundary value
problems. We illustrate this approach through a couple of
classical examples arising in potential theory, in both the
exterior and the interior punctured domain. We discuss how
some of the known results can be recovered and we introduce
some new geometric overdetermining conditions, involving the
mean curvature of the boundary and the Neumann data.
An attempt to find the optimal constant in Balog-Szemeredi-Gowers theorem.
Abstract
The Balog-Szemeredi-Gowers theorem states that, given any finite subset of an abelian group with large additive energy, we can find its large subset with small doubling constant. We can ask how this constant depends on the initial additive energy. In the talk, I will give an upper bound, mention the best existing lower bound and, if time permits, present an approach that gives a hope to improve the lower bound and make it asymptotically equal to the upper bound from the beginning of the talk.
Knot Floer homologies
Abstract
Knot Floer homology (introduced by Ozsvath-Szabo and independently by
Rasmussen) is a powerful tool for studying knots and links in the 3-sphere. In
particular, it gives rise to a numerical invariant, which provides a
nontrivial lower bound on the 4-dimensional genus of the knot. By deforming
the definition of knot Floer homology by a real number t from [0,2], we define
a family of homologies, and derive a family of numerical invariants with
similar properties. The resulting invariants provide a family of
homomorphisms on the concordance group. One of these homomorphisms can be
used to estimate the unoriented 4-dimensional genus of the knot. We will
review the basic constructions for knot Floer homology and the deformed
theories and discuss some of the applications. This is joint work with
P. Ozsvath and Z. Szabo.
Geometric Constraints in Heterotic/F-theory Duality
Abstract
Analysis of variational model for nematic shells
Abstract
In this talk, I will introduce and analyse an elastic
surface energy recently introduced by G. Napoli and
L. Vergori to model thin films of nematic liquid crystals.
As it will be clear, the topology and the geometry of
the surface will play a fundamental role in understanding
the behavior of thin films of liquid crystals.
In particular, our results regards the existence of
minimizers, the existence of the gradient flow
of the energy and, in the case of an axisymmetric
toroidal particle, a detailed characterization of global and local minimizers.
This last item is supplemented with numerical experiments.
This is a joint work with M. Snarski (Brown) and M. Veneroni (Pavia).
Provisional title: Break up, coalescence, suspensions and emulsions in multphase flows in STAR-CCM+
Multidimensional asymptotic classes
Abstract
A 1-dimensional asymptotic class (Macpherson-Steinhorn) is a class of finite structures which satisfies the theorem of Chatzidakis-van den Dries-Macintyre about finite fields: definable sets are assigned a measure and dimension which gives the cardinality of the set asymptotically, and there are only finitely many dimensions and measures in any definable family. There are many examples of these classes, and they all have reasonably tame theories. Non-principal ultraproducts of these classes are supersimple of finite rank.
Recently this definition has been generalised to `Multidimensional Asymptotic Class' (joint work with Macpherson-Steinhorn-Wood). This is a much more flexible framework, suitable for multi-sorted structures. Examples are not necessarily simple. I will give conditions which imply simplicity/supersimplicity of non-principal ultraproducts.
An interesting example is the family of vector spaces over finite fields with a non-degenerate bilinear form (either alternating or symmetric). If there's time, I will explain some joint work with Kestner in which we look in detail at this class.
Moral Hazard in Dynamic Risk Management
Abstract
We consider a contracting problem in which a principal hires an agent to manage a risky project. When the agent chooses volatility components of the output process and the principal observes the output continuously, the principal can compute the quadratic variation of the output, but not the individual components. This leads to moral hazard with respect to the risk choices of the agent. Using a very recent theory of singular changes of measures for Ito processes, we formulate the principal-agent problem in this context, and solve it in the case of CARA preferences. In that case, the optimal contract is linear in these factors: the contractible sources of risk, including the output, the quadratic variation of the output and the cross-variations between the output and the contractible risk sources. Thus, path-dependent contracts naturally arise when there is moral hazard with respect to risk management. This is a joint work with Nizar Touzi (CMAP, Ecole Polytechnique) and Jaksa Cvitanic (Caltech).
Improvements in Birch's theorem on forms in many variables.
16:00
Theory and experiments are strongly connected in nonlinear mechanics
Abstract
A perturbative method is introduced to analyze shear bands formation and
development in ductile solids subject to large strain.
Experiments on discrete systems made up of highly-deformable elements [1]
confirm the validity of the method and suggest that an elastic structure
can be realized buckling for dead, tensile loads. This structure has been
calculated, realized and tested and provides the first example of an
elastic structure buckling without elements subject to compression [2].
The perturbative method introduced for the analysis of shear bands can be
successfuly employed to investigate other material instabilities, such as
for instance flutter in a frictional, continuum medium [3]. In this
context, an experiment on an elastic structure subject to a frictional
contact shows for the first time that a follower load can be generated
using dry friction and that this load can induce flutter instability [4].
The perturbative approach may be used to investigate the strain state near
a dislocation nucleated in a metal subject to a high stress level [5].
Eshelby forces, similar to those driving dislocations in solids, are
analyzed on elastic structures designed to produce an energy release and
therefore to evidence configurational forces. These structures have been
realized and they have shown unexpected behaviours, which opens new
perspectives in the design of flexible mechanisms, like for instance, the
realization of an elastic deformable scale [6].
[1] D. Bigoni, Nonlinear Solid Mechanics Bifurcation Theory and Material
Instability. Cambridge Univ. Press, 2012, ISBN:9781107025417.
[2] D. Zaccaria, D. Bigoni, G. Noselli and D. Misseroni Structures
buckling under tensile dead load. Proc. Roy. Soc. A, 2011, 467, 1686.
[3] A. Piccolroaz, D. Bigoni, and J.R. Willis, A dynamical interpretation
of flutter instability in a continuous medium. J. Mech. Phys. Solids,
2006, 54, 2391.
[4] D. Bigoni and G. Noselli Experimental evidence of flutter and
divergence instabilities induced by dry friction. J. Mech. Phys.
Solids,2011,59,2208.
[5] L. Argani, D. Bigoni, G. Mishuris Dislocations and inclusions in
prestressed metals. Proc. Roy. Soc. A, 2013, 469, 2154 20120752.
[6] D. Bigoni, F. Bosi, F. Dal Corso and D. Misseroni, Instability of a
penetrating blade. J. Mech. Phys. Solids, 2014, in press.