Related papers: The abelianization of the Johnson kernel

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

Let $X$ be a topological space upon which a compact connected Lie group $G$ acts. It is well-known that the equivariant cohomology $H_G^*(X;\Q)$ is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology…

Suppose that a metacyclic Frobenius group $FH$, with kernel $F$ and complement $H$, acts by automorphisms on a finite group $G$, in such a way that $C_G(F)$ is trivial and $C_G(H)$ is nilpotent. It is known that $G$ is nilpotent and its…

We prove that for q\in\C* not a nontrivial root of unity the cohomology group defined by invariant 2-cocycles in a completion of Uq(g) is isomorphic to H^2(P/Q;\T), where P and Q are the weight and root lattices of g. This implies that the…

The main goal of this note is to provide evidence that the first rational homology of the Johnson subgroup $K_{g,1}$ of the mapping class group of a genus g surface with one marked point is finite-dimensional. Building on work of…

It is known that the semi-infinite cohomology spaces of the infinitely twisted nilpotent subalgebra in an affine Lie algebra $g$ with coefficients in an integrable simple module over the affine Lie algebra have a base enumerated by elements…

The symmetric algebra g (denoted S(\g)) over a Lie algebra \g (frak g) has the structure of a Poisson algebra. Assume \g is complex semi-simple. Then results of Fomenko- Mischenko (translation of invariants) and A.Tarasev construct a…

We develop new tools to analyze the complexity of the conjugacy equivalence relation $E_\mathsf{lo}(G)$, whenever $G$ is a left-orderable group. Our methods are used to demonstrate non-smoothness of $E_\mathsf{lo}(G)$ for certain groups $G$…

Let $G$ be the Klein Four-group and let $k$ be an arbitrary field of characteristic 2. A classification of indecomposable $kG$-modules is known. We calculate the relative cohomology groups $H_\{chi}^i(G,N)$ for every indecomposable…

It is well known that the moduli space of flat connections on a trivial principal bundle MxG, where G is a connected Lie group, is isomorphic to the representation variety Hom(\pi_1(M), G)/G. For a tiling T, viewed as a marked copy of R^d,…

Let $H$ be a finite dimensional pointed rank one Hopf algebra of nilpotent type. We first determine all finite dimensional indecomposable $H$-modules up to isomorphism, and then establish the Clebsch-Gordan formulas for the decompositions…

Let $M= G/\Gamma$ be a compact nilmanifold endowed with an invariant complex structure. We prove that, on an open set of any connected component of the moduli space ${\cal C} ({\frak g})$ of invariant complex structures on $M$, the…

We compute the integral cohomology of the minimal non-trivial nilpotent orbit in a complex simple (or quasi-simple) Lie algebra. We find by a uniform approach that the middle cohomology group is isomorphic to the fundamental group of the…

We prove a conjecture of J. Carlson, N. Mazza and J. Th\'evenaz; namely, we will prove that if $G$ is a finite $p$-nilpotent group which contains a non-cyclic elementary Abelian $p$-subgroup and $k$ is an algebraically closed field of…

We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are…

We establish vanishing results for the first cohomology group of nilpotent groups and Lie rings when the submodule of invariants is trivial. Our results are obtained within a model-theoretic setting, namely for structures that are definable…

Let $\Gamma$ be the mapping class group of an oriented surface $\Sigma$ of genus g with r boundary components. We prove that the first cohomology group $H^1(\Gamma, O(M_{SL(2, C)})^*)$ is non-trivial, where the coefficient module is the…

Building on our previous work, we study the non-relative homology of quantum group convolution algebras. Our main result establishes the equivalence of amenability of a locally compact quantum group $\mathbb{G}$ and 1-injectivity of…

The paper has three parts. It is conjectured that for every elementary amenable group G and every non-zero commutative ring k, the homological dimension of G over k is equal to the Hirsch length of G whenever G has no k-torsion. In Part I…

We show that the mod $\ell$ cohomology of any finite group of Lie type in characteristic $p$ different from $\ell$ admits the structure of a module over the mod $\ell$ cohomology of the free loop space of the classifying space $BG$ of the…