Related papers: The abelianization of the Johnson kernel

For an almost simple complex algebraic group $G$ with affine Grassmannian $Gr_G= G(C((t)))/G(C[[t]])$ we consider the equivariant homology $H^{G(C[[t]])}(Gr_G)$, and $K$-theory $K^{G(C[[t]])}(Gr_G)$. They both have a commutative ring…

Let R be a Noetherian commutative ring of dimension n >2 and let A=R[T,T^{-1}]. Assume that the height of the Jacobson radical of R is atleast 2. Let P be a projective A-module of rank n=dim A - 1 with trivial determinant. We define an…

Let $G$ be a finite group, and $c$ an element of $\mathbb{Z}\cup \{\infty\}$. A subgroup $H$ of $G$ is said to be {\it $c$-nilpotent} if it is nilpotent, and has nilpotency class at most $c$. A subset $X$ of $G$ is said to be {\it…

Let A be a supersingular abelian variety over a finite field k. We give an approximate description of the structure of the group A(k) of rational points of A over k in terms of the characteristic polynomial f of the Frobenius endomorphism…

Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p > 0$. We consider connected reductive subgroups $X$ of $G$ that contain a given distinguished unipotent element $u$ of $G$. A result of…

Let $H_n$ be the $n$-th group homology functor (with integer coeffcients) and let $\{G_i\} _ {i \in \mathbb{N}}$ be any tower of groups such that all maps $G_{i+1} \to G_i$ are surjective. In this work we study kernel and cokernel of the…

We prove that a map onto a nilpotent group $Q$ has finitely generated kernel if and only if the preimage of the positive cone is coarsely connected as a subset of the Cayley graph for every full archimedean partial order on $Q$. In case $Q$…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

We investigate the topological nilpotence degree, in the sense of Henn-Lannes-Schwartz, of a connected Noetherian unstable algebra $R$. When $R$ is the mod $p$ cohomology ring of a compact Lie group, Kuhn showed how this invariant is…

Based on previous results on the classification of finite-dimensional Nichols algebras over dihedral groups and the characterization of simple modules of Drinfeld doubles, we compute the irreducible characters of the Drinfeld doubles of…

Let $A$ be a commutative comodule algebra over a commutative bialgebra $H$. The group of invertible relative Hopf modules maps to the Picard group of $A$, and the kernel is described as a quotient group of the group of invertible grouplike…

For a complex connected reductive group G, we classify the simple modules whose cone of primitive vectors admits a nontrivial G-invariant deformation. We relate this classification to that of simple Jordan algebras, and to that (due to…

Let X=G/H be the quotient of a connected reductive algebraic C-group G defined over the field of complex numbers C by a finite subgroup H. We describe the topological fundamental group of the homogeneous space X, which is nonabelian when H…

Let $G$ be a reductive algebraic group over an algebraically closed field $k$ of prime characteristic not $2$, whose Lie algebra is denoted $\mathfrak{g}$. We call a subvariety $\mathfrak{X}$ of the nilpotent cone $N \subset \mathfrak{g}$…

Consider the kernel Mag_g of the Magnus representation of the Torelli group and the kernel Bur_n of the Burau representation of the braid group. We prove that for g >= 2 and for n >= 6 the groups Mag_g and Bur_n have infinite rank first…

The paper investigates the locus of non-simple principally polarised abelian $g$-folds. We show that the irreducible components of this locus are $\Is^g_{D}$, defined as the locus of principally polarised $g$-folds having an abelian…

For an infinite group $G$, the poset $\mathcal{L}_G$ of group topologies constitutes a complete lattice. Although $\mathcal{L}_G$ is modular when $G$ is abelian, this property fails to persist for nilpotent groups. Extending Arnautov's 2010…

The weights for a finite group G with respect to a prime number p where introduced by Jon Alperin, in order to formulate his celebrated conjecture affirming that that the number of G-conjugacy classes of weights of G coincides with the…

We compute the top-weight rational cohomology of $A_g$ for $g=5$, $6$, and $7$, and we give some vanishing results for the top-weight rational cohomology of $A_8, A_9,$ and $ A_{10}$. When $g=5$ and $g=7$, we exhibit nonzero cohomology…

Let $U_\zeta$ be the quantum group (Lusztig form) associated to the simple Lie algebra $\mathfrak{g}$, with parameter $\zeta$ specialized to an $\ell$-th root of unity in a field of characteristic $p>0$. In this paper we study certain…