ERC FUNDED PROJECTS

This proposal brings together two fields in biology, namely the emerging field of phase-separated assemblies in cell biology and state-of-the-art cellular cryo-electron tomography, to advance our understanding on a fundamental, yet illusive, question: the molecular organization of the cytoplasm. Eukaryotes organize their biochemical reactions into functionally distinct compartments. Intriguingly, many, if not most, cellular compartments are not membrane enclosed. Rather, they assemble dynamically by phase separation, typically triggered upon a specific event. Despite significant progress on reconstituting such liquid-like assemblies in vitro, we lack information as to whether these compartments in vivo are indeed amorphous liquids, or whether they exhibit structural features such as gels or fibers. My recent work on sample preparation of cells for cryo-electron tomography, including cryo-focused ion beam thinning, guided by 3D correlative fluorescence microscopy, shows that we can now prepare site-specific ‘electron-transparent windows’ in suitable eukaryotic systems, which allow direct examination of structural features of cellular compartments in their cellular context. Here, we will use these techniques to elucidate the structural principles and cytoplasmic environment driving the dynamic assembly of two phase-separated compartments: Stress granules, which are RNA bodies that form rapidly in the cytoplasm upon cellular stress, and centrosomes, which are sites of microtubule nucleation. We will combine these studies with a quantitative description of the crowded nature of cytoplasm and of its local variations, to provide a direct readout of the impact of excluded volume on molecular assembly in living cells. Taken together, these studies will provide fundamental insights into the structural basis by which cells form biochemical compartments.

1 228 125 €

Start date: 2018-02-01, End date: 2023-01-31

This project studies several mathematical topics with a related theme, all of them part of the relatively new discipline known as additive combinatorics. We look at approximate, or rough, variants of familiar mathematical notions such as group, polynomial or homomorphism. In each case we seek to describe the structure of these approximate objects, and then to give applications of the resulting theorems. This endeavour has already lead to groundbreaking results in the theory of prime numbers, group theory and combinatorial number theory.

1 000 000 €

Start date: 2011-10-01, End date: 2016-09-30

Cell volume regulation is crucial for any living cell because changes in volume determine the metabolic activity through e.g. changes in ionic strength, pH, macromolecular crowding and membrane tension. These physical chemical parameters influence interaction rates and affinities of biomolecules, folding rates, and fold stabilities in vivo. Understanding of the underlying volume regulatory mechanisms has immediate application in biotechnology and health, yet these factors are generally ignored in systems analyses of cellular functions. My team has uncovered a number of mechanisms and insights of cell volume regulation. The next step forward is to elucidate how the components of a cell volume regulatory circuit work together and control the physicochemical conditions of the cell. I propose construction of a synthetic cell in which an osmoregulatory transporter and mechanosensitive channel form a minimal volume regulatory network. My group has developed the technology to reconstitute membrane proteins into lipid vesicles (synthetic cells). One of the challenges is to incorporate into the vesicles an efficient pathway for ATP production and maintain energy homeostasis while the load on the system varies. We aim to control the transmembrane flux of osmolytes, which requires elucidation of the molecular mechanism of gating of the osmoregulatory transporter. We will focus on the glycine betaine ABC importer, which is one of the most complex transporters known to date with ten distinct protein domains, transiently interacting with each other. The proposed synthetic metabolic circuit constitutes a fascinating out-of-equilibrium system, allowing us to understand cell volume regulatory mechanisms in a context and at a level of complexity minimally needed for life. Analysis of this circuit will address many outstanding questions and eventually allow us to design more sophisticated vesicular systems with applications, for example as compartmentalized reaction networks.

2 247 231 €

Start date: 2015-07-01, End date: 2020-06-30

I propose to establish a research group to develop completely new tools in order to solve three important problems on the relationships between automorphic forms and Galois representations, which lie at the heart of the Langlands program. The first is to prove Serre’s conjecture for real quadratic fields. I will use automorphic induction to transfer the problem to U(4) over the rational numbers, where I will use automorphy lifting theorems and results on the weight part of Serre's conjecture that I established in my earlier work to reduce the problem to proving results in small weight and level. I will prove these base cases via integral p-adic Hodge theory and discriminant bounds. The second is to develop a geometric theory of moduli spaces of mod p and p-adic Galois representations, and to use it to establish the Breuil–Mézard conjecture in arbitrary dimension, by reinterpreting the conjecture in geometric terms. This will transform the subject by building the first connections between the p-adic Langlands program and the geometric Langlands program, providing an entirely new world of techniques for number theorists. As a consequence of the Breuil-Mézard conjecture, I will be able to deduce far stronger automorphy lifting theorems (in arbitrary dimension) than those currently available. The third is to completely determine the reduction mod p of certain two-dimensional crystalline representations, and as an application prove a strengthened version of the Gouvêa–Mazur conjecture. I will do this by means of explicit computations with the p-adic local Langlands correspondence for GL_2(Q_p), as well as by improving existing arguments which prove multiplicity one theorems via automorphy lifting theorems. This work will show that the existence of counterexamples to the Gouvêa-Mazur conjecture is due to a purely local phenomenon, and that when this local obstruction vanishes, far stronger conjectures of Buzzard on the slopes of the U_p operator hold.

1 131 339 €

Start date: 2012-10-01, End date: 2017-09-30

Algebras of operators on Hilbert spaces were originally introduced as the right framework for the mathematical description of quantum mechanics. In modern mathematics the scope has much broadened due to the highly versatile nature of operator algebras. They are particularly useful in the analysis of groups and their actions. Amenability is a finiteness property which occurs in many different contexts and which can be characterised in many different ways. We will analyse amenability in terms of approximation properties, in the frameworks of abstract C*-algebras, of topological dynamical systems, and of discrete groups. Such approximation properties will serve as bridging devices between these setups, and they will be used to systematically recover geometric information about the underlying structures. When passing from groups, and more generally from dynamical systems, to operator algebras, one loses information, but one gains new tools to isolate and analyse pertinent properties of the underlying structure. We will mostly be interested in the topological setting, and in the associated C*-algebras. Amenability of groups or of dynamical systems then translates into the completely positive approximation property. Systems of completely positive approximations store all the essential data about a C*-algebra, and sometimes one can arrange the systems so that one can directly read of such information. For transformation group C*-algebras, one can achieve this by using approximation properties of the underlying dynamics. To some extent one can even go back, and extract dynamical approximation properties from completely positive approximations of the C*-algebra. This interplay between approximation properties in topological dynamics and in noncommutative topology carries a surprisingly rich structure. It connects directly to the heart of the classification problem for nuclear C*-algebras on the one hand, and to central open questions on amenable dynamics on the other.

1 596 017 €

Start date: 2019-10-01, End date: 2024-09-30

Despite the discovery of amyloidosis more than a century ago, the molecular and cellular mechanisms of these devastating human disorders remain obscure. In addition to their involvement in disease, amyloid fibrils perform physiological functions, whilst others have potentials as biomaterials. To realise their use in nanotechnology and to enable the development of amyloid therapies, there is an urgent need to understand the molecular pathways of amyloid assembly and to determine how amyloid fibrils interact with cells and cellular components. The challenges lie in the transient nature and low population of aggregating species and the panoply of amyloid fibril structures. This molecular complexity renders identification of the culprits of amyloid disease impossible to achieve using traditional methods. Here I propose a series of exciting experiments that aim to cast new light on the molecular and cellular mechanisms of amyloidosis by exploiting approaches capable of imaging individual protein molecules or single protein fibrils in vitro and in living cells. The proposal builds on new data from our laboratory that have shown that amyloid fibrils (disease-associated, functional and created from de novo designed sequences) kill cells by a mechanism that depends on fibril length and on cellular uptake. Specifically, I will (i) use single molecule fluorescence and non-covalent mass spectrometry and to determine why short fibril samples disrupt biological membranes more than their longer counterparts and electron tomography to determine, for the first time, the structural properties of cytotoxic fibril ends; (ii) develop single molecule force spectroscopy to probe the interactions between amyloid precursors, fibrils and cellular membranes; and (iii) develop cell biological assays to discover the biological mechanism(s) of amyloid-induced cell death and high resolution imaging and electron tomography to visualise amyloid fibrils in the act of killing living cells.

2 498 465 €

Start date: 2013-05-01, End date: 2019-04-30

The analysis of geometric and functional inequalities naturally leads to consider the extremal cases, thus looking for optimal sets, or optimal functions, or optimal constants. The most classical examples are the (different versions of the) isoperimetric inequality and the Sobolev-like inequalities. Much is known about equality cases and best constants, but there are still many questions which seem quite natural but yet have no answer. For instance, it is not known, even in the 2-dimensional space, the answer of a question by Brezis: which set, among those with a given volume, has the biggest Sobolev-Poincaré constant for p=1? This is a very natural problem, and it appears reasonable that the optimal set should be the ball, but this has never been proved. The interest in problems like this relies not only in the extreme simplicity of the questions and in their classical flavour, but also in the new ideas and techniques which are needed to provide the answers. The main techniques that we aim to use are fine arguments of symmetrization, geometric constructions and tools from mass transportation (which is well known to be deeply connected with functional inequalities). These are the basic tools that we already used to reach, in last years, many results in a specific direction, namely the search of sharp quantitative inequalities. Our first result, together with Fusco and Maggi, showed what follows. Everybody knows that the set which minimizes the perimeter with given volume is the ball. But is it true that a set which almost minimizes the perimeter must be close to a ball? The question had been posed in the 1920's and many partial result appeared in the years. In our paper (Ann. of Math., 2007) we proved the sharp result. Many other results of this kind were obtained in last two years.

540 000 €

Start date: 2010-08-01, End date: 2015-07-31

Many parts of Graph Theory have witnessed a huge growth over the last years, partly because of their relation to Theoretical Computer Science and Statistical Physics. These connections arise because graphs can be used to model many diverse structures. The focus of this proposal is on asymptotic results, i.e. the graphs under consideration are large. This often unveils patterns and connections which remain obscure when considering only small graphs. It also allows for the use of powerful techniques such as probabilistic arguments, which have led to spectacular new developments. In particular, my aim is to make decisive progress on central problems in the following 4 areas: (1) Factorizations: Factorizations of graphs can be viewed as partitions of the edges of a graph into simple regular structures. They have a rich history and arise in many different settings, such as edge-colouring problems, decomposition problems and in information theory. They also have applications to finding good tours for the famous Travelling salesman problem. (2) Hamilton cycles: A Hamilton cycle is a cycle which contains all the vertices of the graph. One of the most fundamental problems in Graph Theory/Theoretical Computer Science is to find conditions which guarantee the existence of a Hamilton cycle in a graph. (3) Embeddings of graphs: This is a natural (but difficult) continuation of the previous question where the aim is to embed more general structures than Hamilton cycles - there has been exciting progress here in recent years which has opened up new avenues. (4) Resilience of graphs: In many cases, it is important to know whether a graph `strongly’ possesses some property, i.e. one cannot destroy the property by changing a few edges. The systematic study of this notion is a new and rapidly growing area. I have developed new methods for deep and long-standing problems in these areas which will certainly lead to further applications elsewhere.

818 414 €

Start date: 2012-12-01, End date: 2018-11-30

Arl (Arf-like) proteins, GTP-binding proteins of the Ras superfamily, are molecular switches that cycle between a GDP-bound inactive and GTP-bound active state. There are 16 members of the Arl subfamily in the human genome whose basic mechanistic function is unknown. The interactome of Arl2/3 includes proteins involved in retinopathies and other ciliary diseases such as Leber¿s Congenital Amaurosis (LCA) and kidney diseases such as nephronophthisis. Arl6 has been found mutated in Bardet Biedl Syndrome, another pleiotropic ciliary disease. In the proposed interdisciplinary project I want to explore the function of the protein network of Arl2/3 and Arl6 by a combination of biochemical, biophysical and structural methods and use the knowledge obtained to probe their function in live cells. As with other subfamily proteins of the Ras superfamily which have been found to mediate similar biological functions I want to derive a basic understanding of the function of Arl proteins and how it relates to the development and function of the ciliary organelle and how they contribute to ciliary diseases. The molecules in the focus of the project are: the GTP-binding proteins Arl2, 3, 6; RP2, an Arl3GAP mutated in Retinitis pigmentosa; Regulators of Arl2 and 3; PDE¿ and HRG4, effectors of Arl2/3, which bind lipidated proteins; RPGR, mutated in Retinitis pigmentosa, an interactor of PDE¿; RPGRIP and RPGRIPL, interactors of RPGR mutated in LCA and other ciliopathies; Nephrocystin, mutated in nephronophthisis, an interactor of RPGRIP and Arl6, mutated in Bardet Biedl Syndrome, and the BBS complex. The working hypothesis is that Arl protein network(s) mediate ciliary transport processes and that the GTP switch cycle of Arl proteins is an important element of regulation of these processes.

2 434 400 €

Start date: 2011-04-01, End date: 2016-03-31