We obtain a system of relations between linear Hodge integrals. As an application, we show that its first non-trivial relation implies the Witten's Conjecture/Kontsevich Theorem.

In this article we study a conjecture of Geiss-Leclerc-Schröer, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type quiver. In the general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.

We study large groups of birational transformations Bir(X), where X is a variety of dimension at least 3, defined over C or a subfield of C. Two prominent cases are when X is the projective space P^n, in which case Bir(X) is the Cremona group of rank n, or when X⊂P^{n+1} is a smooth cubic hypersurface. In both cases, and more generally when X is birational to a conic bundle, we produce infinitely many distinct group homomorphisms from Bir(X) to Z/2, showing in particular that the group Bir(X) is not perfect, and thus not simple. As a consequence, we also obtain that the Cremona group of rank n⩾3 is not generated by linear and Jonquières elements.

Every smooth cubic plane curve has 9 flex points and 27 sextatic points. We study the following question asked by Farb: Is it true that the known algebraic structures give all the possible ways to continuously choose n distinct points on every smooth cubic plane curve, for each given positive integer n? We give an affirmative answer to the question when n=9 and 18 (the smallest open cases), and a negative answer for infinitely many n's.

We prove that the image of period map is algebraic, as conjectured by Griffiths.