I will prove that generating sets of surface groups are either reducible or Nielsen equivalent to standard generating sets, improving upon a theorem of Zieschang. Equivalently, Aut(F_n) acts transitively on Epi(F_n,S) when S is a surface group.
Abstract:
this is joint work with Eli Aljadeff.
Let G be a group, H a finite index subgroup. Moore's conjecture says that under a certain condition on G and H (which we call the Moore's condition), a G-module M which is projective over H is projective over G. In other words- if we know that a module is ``almost projective'', then it is projective. In this talk we will survey cases in which the conjecture is known to be true. This includes the case in which the group G is finite and the case in which the group G has finite cohomological dimension.
As a generalization of these two cases, we shall present Kropholler's hierarchy LHF, and discuss the conjecture for groups in this hierarchy. In the case of finite groups and in the case of finite cohomological dimension groups, the conjecture is proved by the same finiteness argument. This argument is straightforward in the finite cohomological dimension case, and is a result of a theorem of Serre in case the group is finite. We will show that inside Kropholler's hierarchy the conjecture holds even though this finiteness condition might fail to hold.
We will also discuss some other cases in which the conjecture is known to be true (e.g. Thompson's group F).
We analyze the question of the minimal index of a normal subgroup in a free group which does not contain a given element. Recent work by BouRabee-McReynolds and Rivin give estimates for the index. By using results on the length of shortest identities in finite simple groups we recover and improve polynomial upper and lower bounds for the order of the quotient. The bounds can be improved further if we assume that the element lies in the lower central series.
Following the works of Sela and Kharlampovich-Myasnikov on the Tarski problem, we are interested in the first-order logic of free (and more generally hyperbolic) groups. It turns out that techniques from geometric group theory can be used to answer many questions coming from model theory on these groups. We showed with Sklinos that free groups of finite rank are homogeneous, namely that two tuples of elements which have the same first-order properties are in the same orbit under the action of the automorphism group. We also show that this is not the case for most surface groups.
Much mathematical work has gone into the creation of time-consistent nonlinear expectations. When we think of implementing these, various problems arise and destroy the beautiful consistency properties we have worked so hard to create. One of these problems is to do with horizon dependence, in particular, where a portfolio's value is considered at a time t+m, where t is the present time and m is a fixed horizon.
In this talk we shall discuss various notions of time consistency and the corresponding solution concepts. In particular, we shall focus on notions which pay attention to the space of available policies, allowing for commitment devices and non-markovian restrictions. We shall see that, for any time-consistent nonlinear expectation, there is a notion of time consistency which is satisfied by the moving horizon problem.
"Scattering amplitudes in gauge theories and gravity have extraordinary properties that are completely invisible in the textbook formulation of quantum field theory using Feynman diagrams. In this usual approach, space-time locality and quantum-mechanical unitarity are made manifest at the cost of introducing huge gauge redundancies in our description of physics. As a consequence, apart from the very simplest processes, Feynman diagram calculations are enormously complicated, while the final results turn out to be amazingly simple, exhibiting hidden infinite-dimensional symmetries. This strongly suggests the existence of a new formulation of quantum field theory where locality and unitarity are derived concepts, while other physical principles are made more manifest. The past few years have seen rapid advances towards uncovering this new picture, especially for the maximally supersymmetric gauge theory in four dimensions.
These developments have interwoven and exposed connections between a remarkable collection of ideas from string theory, twistor theory and integrable systems, as well as a number of new mathematical structures in algebraic geometry. In this talk I will review the current state of this subject and describe a number of ongoing directions of research."