Related papers: The abelianization of the Johnson kernel

We study complex solvmanifolds $\Gamma\backslash G$ with holomorphically trivial canonical bundle. We show that the trivializing section of this bundle can be either invariant or non-invariant by the action of $G$. First we characterize the…

The authors proved that a Weyl module for a simple algebraic group is irreducible over every field if and only if the module is isomorphic to the adjoint representation for $E_{8}$ or its highest weight is minuscule. In this paper, we prove…

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…

We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex…

In this note, I propose the following conjecture: a finite group G is nilpotent if and only if its largest quotient B-group \beta(G) is nilpotent. I give a proof of this conjecture under the additional assumption that G be solvable. I also…

A celebrated result of J. Thompson says that if a finite group $G$ has a fixed-point-free automorphism of prime order, then $G$ is nilpotent. The main purpose of this note is to extend this result to finite inverse semigroups. An earlier…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a \mbox{finite group of} odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ be the square root of the inverse different of $K_h/K$, which exists by…

Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…

Let $G$ be a simple simply connected group scheme defined over ${\mathbb F}_{p}$ and $k$ be an algebraically closed field of characteristic $p>0$. Moreover, let $B$ be a Borel subgroup of $G$ and $U$ be the unipotent radical of $B$. In this…

In 1972, B. E. Johnson proved that a locally compact group $G$ is amenable if and only if certain Hochschild cohomology groups of its convolution algebra $L^1(G)$ vanish. Similarly, $G$ is compact if and only if $L^1(G)$ is biprojective: In…

Here, we show that the first isomorphism theorem, the orbit-stabilizer theorem, and the non-uniqueness of solutions of underdetermined linear systems are all manifestations of the same underlying algebraic property. We will call this…

Let $G$ be a simple algebraic group and $\ggg=\Lie(G)$ over $k=\bar\bbf_q$ where $q$ is a power of the prime characteristic of $k$, and $F$ a Frobenius morphism on $G$ which can be defined naturally on $\ggg$. In this paper, we investigate…

A simplicial complex L on n vertices determines a subcomplex T_L of the n-torus, with fundamental group the right-angled Artin group G_L. Given an epimorphism \chi\colon G_L\to \Z, let T_L^\chi be the corresponding cover, with fundamental…

Let $\mathfrak F$ be a formation and let $G$ be a group. A subgroup $H$ of $G$ is $\mathrm{K}\mathfrak F$-subnormal (submodular) in $G$ if there is a subgroup chain $H=H_0\le \ H_1 \le \ \ldots \le H_i \leq H_{i+1}\le \ldots \le \ H_n=G$…

We study three related homological properties of modules in the BGG category O for basic classical Lie superalgebras, with specific focus on the general linear superalgebra. These are the projective dimension, associated variety and…

Let G be a complex reductive algebraic group. Fix a Borel subgroup B of G, with unipotent radical U, and a maximal torus T in B with character group X(T). Let S be a submonoid of X(T) generated by finitely many dominant weights. V. Alexeev…

As the first main result of this article, we prove that if $e$ and $e'$ are idempotents of a commutative ring $A$, then there is a canonical isomorphism of $A$-modules: $$Ae\oplus Ae'\simeq Ae/Ae(1-e')\oplus Ae'/Ae'(1-e)\oplus…

Let X and X' be compact Riemann surfaces of genus at least 3, and let G and G' be nonabelian reductive complex groups. If one component M_G^d(X) of the moduli space for semistable principal G-bundles over X is isomorphic to another…

We study the first homology group of the mapping class group and Torelli group with coefficients in the first rational homology group of the universal abelian cover of the surface. We prove two contrasting results: for surfaces with one…

In this paper we prove some properties of the nonabelian cohomology $H^1(A,G)$ of a group $A$ with coefficients in a connected Lie group $G$. When $A$ is finite, we show that for every $A$-submodule $K$ of $G$ which is a maximal compact…