No Arabic abstract
In his 2011 paper, Teleman proved that a cohomological field theory on the moduli space $overline{mathcal{M}}_{g,n}$ of stable complex curves is uniquely determined by its restriction to the smooth part $mathcal{M}_{g,n}$, provided that the underlying Frobenius algebra is semisimple. This leads to a classification of all semisimple cohomological field theories. The present paper, the outcome of the authors masters thesis, presents Telemans proof following his original paper. The author claims no originality: the main motivation has been to keep the exposition as complete and self-contained as possible.
We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce two new natural extensions of the notion of a CohFT: homotopical (necessary to structure chain-level Gromov--Witten invariants) and quantum (with examples found in the works of Buryak--Rossi on integrable systems). We introduce a new version of Kontsevichs graph complex, enriched with tautological classes on the moduli spaces of stable curves. We use it to study a new universal deformation group which acts naturally on the moduli spaces of quantum homotopy CohFTs, by methods due to Merkulov--Willwacher. This group is shown to contain both the prounipotent Grothendieck--Teichmuller group and the Givental group.
A method of constructing Cohomological Field Theories (CohFTs) with unit using minimal classes on the moduli spaces of curves is developed. As a simple consequence, CohFTs with unit are found which take values outside of the tautological cohomology of the moduli spaces of curves. A study of minimal classes in low genus is presented in the Appendix by D. Petersen.
We introduce and study several new topological operads that should be regarded as nonsymmetric analogues of the operads of little 2-disks, framed little 2-disks, and Deligne-Mumford compactifications of moduli spaces of genus zero curves with marked points. These operads exhibit all the remarkable algebraic and geometric features that their classical analogues possess; in particular, it is possible to define a noncommutative analogue of the notion of cohomological field theory with similar Givental-type symmetries. This relies on rich geometry of the analogues of the Deligne-Mumford spaces, coming from the fact that they admit several equivalent interpretations: as the toric varieties of Lodays realisations of the associahedra, as the brick manifolds recently defined by Escobar, and as the De Concini-Procesi wonderful models for certain subspace arrangements.
We investigate the cohomology rings of regular semisimple Hessenberg varieties whose Hessenberg functions are of the form $h=(h(1),ndots,n)$ in Lie type $A_{n-1}$. The main result of this paper gives an explicit presentation of the cohomology rings in terms of generators and their relations. Our presentation naturally specializes to Borels presentation of the cohomology ring of the flag variety and it is compatible with the representation of the symmetric group $mathfrak{S}_n$ on the cohomology constructed by J. Tymoczko. As a corollary, we also give an explicit presentation of the $mathfrak{S}_n$-invariant subring of the cohomology ring.
We study cohomological obstructions to the existence of global conserved quantities. In particular, we show that, if a given local variational problem is supposed to admit global solutions, certain cohomology classes cannot appear as obstructions. Vice versa, we obtain a new type of cohomological obstruction to the existence of global solutions for a variational problem.