Related papers: Bounding extensions for finite groups and Frobeniu…
Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a…
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…
The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$, where the $F^*_i(G)$ is the generalized Fitting series: $F^*_1(G)=F^*(G)$ and $F^*_{i+1}(G)$ is the inverse image of…
Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for…
We study gradings by noncommutative groups on finite dimensional Lie algebras over an algebraically closed field of characteristic zero. It is shown that if $L$ is gradeg by a non-abelian finite group $G$ then the solvable radical $R$ of…
Let $FH$ be a Frobenius group with kernel $F$ and complement $H$, acting coprimely on the finite solvable group $G$ by automorphisms. We prove that if $C_{G}(H)$ is of Fitting length $n$ then the index of the $n$-th Fitting subgroup…
Let $G$ be a simple simply connected algebraic group over an algebraically closed field $k$ of characteristic $p$, with Frobenius kernel $G_{(1)}$. It is known that when $p\ge 2h-2$, where $h$ is the Coxeter number of $G$, the projective…
Assume $G$ is a solvable group whose elementary abelian sections are all finite. Suppose, further, that $p$ is a prime such that $G$ fails to contain any subgroups isomorphic to $C_{p^\infty}$. We show that if $G$ is nilpotent, then the…
Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(\lambda)$ be the simple rational…
Motivated by classic theorems of Thompson and Berger on the Fitting height of finite groups with a fixed-point-free automorphism of coprime order, we conjecture that, for every non-zero polynomial $f(x) = a_0 + a_1 x + \cdots + a_d x^d \in…
We prove explicit and elementary formulas for the group homology and cohomology of a finite group with coefficients in any module. We describe in elementary terms the cohomology algebra $H^*(G,k)$ as a graded algebra for a finite group $G$…
We produce examples in the cohomology of algebraic groups which answer two questions of Parshall and Scott. Specifically, if $G=SL_2$, then we show: (a) $\dim \Ext_G^2(L,L)$ can be arbitrarily large for a simple module $L$; and (b) the…
Given a finite group scheme $\cG$ over an algebraically closed field $k$ of characteristic $\Char(k)=p>0$, we introduce new invariants for a $\cG$-module $M$ by associating certain morphisms $\deg^j_M : U_M \lra \Gr_d(M) \ \…
Let $M$ be a complete hyperbolic $n$-manifold, $n\geq 2$. Via integration over geodesic simplices, any closed bounded differential 2-form on $M$ defines a bounded cohomology class in $H^2_b(M)$. It was proved by Barge and Ghys (for $n=2$)…
The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new…
Let $\mathbf{G}$ be a reductive group defined over $\mathbb{Q}$ and let $\mathfrak{S}$ be a Siegel set in $\mathbf{G}(\mathbb{R})$. The Siegel property tells us that there are only finitely many $\gamma \in \mathbf{G}(\mathbb{Q})$ of…
Let $G$ be a finite group and $A(G)$ its Burnside ring. For $H \subset G$ let $\mathbb{Z}_H$ denote the $A(G)$-module corresponding to the mark homomorphism associated to $H$. When the order of $G$ is square-free we give a complete…
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 $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ let $\m=(x_1,..., x_n)$ be the maximal ideal generated by the variables, let $^*E$ be the naturally graded injective hull of $R/\m$ and let $^*E(n)$ be…
Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$. Given $r \geq 1$, set $q=p^r$, and let $G(\mathbb{F}_q)$ be the corresponding finite…