Objective New Directions in Derived Algebraic Geometry: In this proposal we propose to give a new impulsion on derived algebraic geometry by exploring new domains of applicability as well as developing new ideas and fundamental results. For this, we propose to focus on the, still very much unexplored, interactions of derived algebraic geometry with an extremely rich domain: singularity theory (to be understood in a broad sense, possibly in positive and mixed characteristics, but also singularities of meromorphic flat connections and of constructible sheaves). We plan to use the fruitful interactions between these two subjects in a two-fold manner: on the one hand derived techniques will be used in order to prove long standing open problems, and on the other hand we propose new developments in derived algebraic itself and thus open new research directions.The proposal has three major parts, interacting with each other in a coherent manner. In a first part we explore some direct applications of derived techniques to the study of singularities of degenerating families of proper schemes with the objective to prove a long standing major conjecture in the subject: the Bloch’s conductor formula. This is achieved by the introduction of a new trend of ideas in non-commutative geometry and more precisely by the introduction of a trace formula in the non-commutative setting. The second part is devoted to the exploration of trace and index formula for sheaves in two different, but very similar, setting: l-adic constructible sheaves and quasi-coherent sheaves with flat connections along a given algebraic foliations. In a third part we propose to make progress towards an unexplored domain: moduli spaces of flat, possibly irregular, connections on higher dimensional varieties and their relations with Poisson and symplectic geometry. The objective here is a far reaching generalization of fundamental results on moduli spaces of flat connections on open curves and their symplectic aspects. Fields of science natural sciencesmathematicspure mathematicstopologysymplectic topologynatural sciencesmathematicspure mathematicsgeometrynatural sciencesmathematicspure mathematicsalgebraalgebraic geometry Keywords Derived algebraic geometry derived categories non-commutative geometry trace and index formula meromorphic connections conductor formula singularity theory Programme(s) H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC) Main Programme Topic(s) ERC-2016-ADG - ERC Advanced Grant Call for proposal ERC-2016-ADG See other projects for this call Funding Scheme ERC-ADG - Advanced Grant Host institution CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS Net EU contribution € 1 255 697,50 Address RUE MICHEL ANGE 3 75794 Paris France See on map Region Ile-de-France Ile-de-France Paris Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 1 255 697,50 Beneficiaries (1) Sort alphabetically Sort by Net EU contribution Expand all Collapse all CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS France Net EU contribution € 1 255 697,50 Address RUE MICHEL ANGE 3 75794 Paris See on map Region Ile-de-France Ile-de-France Paris Activity type Research Organisations Links Contact the organisation Opens in new window Website Opens in new window Participation in EU R&I programmes Opens in new window HORIZON collaboration network Opens in new window Total cost € 1 255 697,50