Related papers: On the Torelli Lie algebra
Let $S_g$ be a closed, oriented surface of genus $g$, and let $\operatorname{Mod}(S_g)$ denote its mapping class group. The Torelli group $\mathcal{I}_g$ is the subgroup of $\operatorname{Mod}(S_g)$ consisting of mapping classes that act…
The paper is devoted to graded algebras having a single homogeneous relation. Using Gerasimov's theorem, a criterion to be N-Koszul is given, providing new examples. An alternative proof of Gerasimov's theorem for N=2 is given. Some related…
We introduce two Torelli subgroups of the handlebody group. The group $HI_{g,p}^b$ is the subgroup of the handlebody group acting trivially on the first homology of the boundary surface, and $H_B I_{g,p}^b$ is the subgroup of the handlebody…
Let $G$ be a simple simply-connected connected linear algebraic group over $\mathbb{C}$. We proved a $2$-birational Torelli theorem for the moduli space of semistable principal $G$-bundles over a smooth curve of genus $\geq 3$, which says…
We study the algebraic property of the representation of the mapping class group of a closed oriented surface of genus 2 constructed by VFR Jones [Annals of Math. 126 (1987) 335-388]. It arises from the Iwahori-Hecke algebra representations…
We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the…
We generalize the theory of Koszul complexes and Koszul algebras (in particular, Koszul duality between symmetric and exterior algebras) to symmetric tensor categories. In characteristic $p\ge 5$, this theory exhibits peculiar effects, not…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
These are the lecture notes for my course at the 2011 Park City Mathematics Graduate Summer School. The first two lectures covered the basics of the Torelli group and the Johnson homomorphism, and the third and fourth lectures discussed the…
We introduce a generalization of Lie algebras within the theory of nonhomogeneous quadratic algebras and point out its relevance in the theory of quantum groups. In particular the relation between the differential calculus on quantum group…
We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections…
The Johnson kernel is the subgroup of the mapping class group of a surface generated by Dehn twists along bounding simple closed curves, and has the second Johnson homomorphism as a free abelian quotient. In terms of the representation…
We motivate and study the reduced Koszul map, relating the invariant bilinear maps on a Lie algebra and the third homology. We show that it is concentrated in degree 0 for any grading in a torsion-free abelian group, and in particular it…
This paper examines (restricted) Koszul Lie algebras, a class of positively graded Lie algebras with a quadratic presentation and specific cohomological properties. The study employs HNN-extensions as a key tool for decomposing and…
We study three graph complexes related to the higher genus Grothendieck-Teichm\"uller Lie algebra and diffeomorphism groups of manifolds. We show how the cohomology of these graph complexes is related, and we compute the cohomology as the…
We study a family of canonically polarized surfaces introduced by Persson, which arise as Galois $G=(\mathbb{Z}/2\mathbb{Z})^4$-covers of $\mathbf{P}^2$ branched along eight general lines. For this family, we construct the compactified…
Let I_g,* denote the (pointed) Torelli group. This is the group of homotopy classes of homeomorphisms of the genus g >= 2 surface S_g with a marked point, acting trivially on H := H_1(S_g). In 1983 Johnson constructed a beautiful family of…
Any two $(g; 0, 0, k)$-trisected closed 4-manifolds are related to each other by cutting and regluing in regard to $\gamma$ curves by an element of the Torelli group. Moreover, Lambert-Cole showed that this element can be replaced by an…
The Johnson kernel is the subgroup of the mapping class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves. The rational abelianization of the Johnson kernel has been computed by Dimca,…
The Koszul homology algebra of a commutative local (or graded) ring $R$ tends to reflect important information about the ring $R$ and its properties. In fact, certain classes of rings are characterized by the algebra structure on their…