We investigate bounds on the dimension of cohomology groups for finite groups acting on an irreducible kG-module for G a finite group of bound sectional p-rank and k an algebraically closed field of characteristic p.
We prove that there is a bound on the dimension of the first cohomology group of a finite group with coefficients in an absolutely irreducible in characteristic p in terms of the sectional p-rank of the group.
We study saturated fusion systems on $p$-groups having sectional rank $3$ for all odd primes $p$. For $p\geq 5$, we obtain a complete classification of the ones that do not have any non-trivial normal $p$-subgroups.
We establish the vanishing for non-trivial unitary representations of the bounded cohomology of SL_d up to the rank. It holds more generally for uniformly bounded representations on superreflexive spaces. The same results are obtained for lattices. We also prove that the real bounded cohomology of any lattice is invariant in the same range.
We prove that for any prime $p$ the finite $p$-groups of fixed coclass have only finitely many different mod-$p$ cohomology rings between them. This was conjectured by Carlson; we prove it by first proving a stronger version for groups of bounded rank.
We prove that if $B$ is a $p$-block with non-trivial defect group $D$ of a finite $p$-solvable group $G$, then $\ell(B) < p^r$, where $r$ is the sectional rank of $D$. We remark that there are infinitely many $p$-blocks $B$ with non-Abelian defect groups and $\ell(B) = p^r - 1$. We conjecture that the inequality $\ell(B) \leq p^r$ holds for an arbitrary $p$-block with defect group of sectional rank $r$. We show this to hold for a large class of $p$-blocks of various families of quasi-simple and nearly simple groups.
Let $k$ be a field of characteristic $p$, let $P$ be a finite $p$- group, where $p$ is an odd prime, and let $D(P)$ be the Dade group of endo-permutation $kP$-modules. It is known that $D(P)$ is detected via deflation--restriction by the family of all sections of $P$ which are elementary abelian of rank $\leq2$. In this paper, we improve this result by characterizing $D(P)$ as the limit (with respect to deflation--restriction maps and conjugation maps) of all groups $D(T/S)$ where $T/S$ runs through all sections of $P$ which are either elementary abelian of rank $\leq3$ or extraspecial of orde…
In this paper we study the structure of the rational cohomology groups of the IA-automorphism group $\mathrm{IA}_3$ of a free group of rank three by using combinatorial group theory and representation theory. In particular, we detect non-trivial irreducible component in the second cohomology group of $\mathrm{IA}_3$, which does not contained in the image of the cup product map of the first cohomology groups. We also show that the image of the triple cup product map of the first cohomology groups in the third cohomology group is trivial. As a corollary, we obtain that the fourth term of the low…
Assume that $G$ is a virtually torsion-free solvable group of finite rank and $A$ a $\mathbb ZG$-module whose underlying abelian group is torsion-free and has finite rank. We stipulate a condition on $A$ that ensures that $H^n(G,A)$ and $H_n(G,A)$ are finite for all $n\geq 0$. Using this property for cohomology in dimension two, we deduce two results concerning the presence of near supplements and complements in solvable groups of finite rank. As an application of our near-supplement theorem, we obtain a new result regarding the homological dimension of solvable groups.
We study vanishing results for L2-cohomology of countable groups under the presence of subgroups that satisfy some weak normality condition. As a consequence we show that the L2-Betti numbers of SL(n,R) for any infinite integral domain R vanish below degree n-1. We also give a uniform proof for the vanishing of L2-Betti numbers of Thompson's groups F and T.
Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $Γ$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a higher rank symmetric space iff $H^2_b(M;\R)\to H^2(M;\R)$ is injective (and otherwise the kernel is infinite-dimensional). This is the converse of a theorem of Burger-Monod. The proof uses the celebrated Rank Rigidity Theorem, as well as a new construction of quasi-homomorphisms on groups that act on CAT(0) spaces and contain rank 1 elements.
We determine the mod $2$ cohomology over the Steenrod algebra of the classifying spaces of the free loop groups $LG$ for compact groups $G=Spin(7)$, $Spin(8)$, $Spin(9)$, and $F_4$. Then, we show that they are isomorphic as algebras over the Steenrod algebra to the mod $2$ cohomology of the corresponding Chevalley groups of type $G(q)$, where $q$ is an odd prime power. In a similar manner, we compute the cohomology of the free loop space over $BDI(4)$ and show that it is isomorphic to that of $BSol(q)$ as algebras over the Steenrod algebra.
Let $k$ be a field of characteristic $p>0$. Call a finite group $G$ a poco group over $k$ if any finitely generated cohomological Mackey functor for $G$ over $k$ has polynomial growth. The main result of this paper is that $G$ is a poco group over $k$ if and only if the Sylow $p$-subgroups of $G$ are cyclic, when $p>2$, or have sectional rank at most 2, when $p=2$. A major step in the proof is the case where $G$ is an elementary abelian $p$-group. In particular, when $p=2$, all the extension groups between simple functors can be determined completely, using a presentation of the graded algebra…
We define a class $\mathcal{U}$ of solvable groups of finite abelian section rank which includes all such groups that are virtually torsion-free as well as those that are finitely generated. Assume that $G$ is a group in $\mathcal{U}$ and $A$ a $\mathbb ZG$-module. If $A$ is $\mathbb Z$-torsion-free and has finite $\mathbb Z$-rank, we stipulate a condition on $A$ that guarantees that $H^n(G,A)$ and $H_n(G,A)$ must be finite for $n\geq 0$. Moreover, if the underlying abelian group of $A$ is a Černikov group, we identify a similar condition on $A$ that ensures that $H^n(G,A)$ must be a Černikov …
The `upper rank' of a group is the supremum of the (Prüfer) ranks of its finite quotients, and for a prime $p$, the `upper $p$-rank' is the supremum of the sectional $p$-ranks of those quotients. The former is finite if and only if the latter are finitely bounded as $p$ ranges over all primes (a deep fact). Here we discuss the question: if the upper $p$-ranks of a finitely generated group $G$ are all finite, are they necessarily bounded? The case where $G$ is a soluble group is still an open problem.
For odd primes p, we examine $\hat H^*(Aut(F_{2(p-1)}); \Z_{(p)})$, the Farrell cohomology of the group of automorphisms of a free group $F_{2(p-1)}$ on $2(p-1)$ generators, with coefficients in the integers localized at the prime $(p) \subset \Z$. This extends results by Glover and Mislin, whose calculations yield $\hat H^*(Aut(F_n); \Z_{(p)})$ for $n \in \{p-1,p\}$ and is concurrent with work by Chen where he calculates $\hat H^*(Aut(F_n); \Z_{(p)})$ for $n \in \{p+1,p+2\}$. The main tools used are Ken Brown's ``normalizer spectral sequence'', a modification of Krstic and Vogtmann's proof of…
We prove that the cohomology of semi-simple Lie groups admits boundary values, which are measurable cocycles on the Furstenberg boundary. This generalises known invariants such as the Maslov index on Shilov boundaries, the Euler class on projective space, or the hyperbolic ideal volume on spheres. In rank one, this leads to an isomorphism between the cohomology of the group and of this boundary model. In higher rank, additional classes appear, which we determine completely.
We obtain non-vanishing of group $L^p$-cohomology of Lie groups for $p$ large and when the degree is equal to the rank of the group. This applies both to semisimple and to some suitable solvable groups. In particular, it confirms that Gromov's question on vanishing below the rank is formulated optimally. To achieve this, some complementary vanishings are combined with the use of spectral sequences. To deduce the semisimple case from the solvable one, we also need comparison results between various theories for $L^p$-cohomology, allowing the use of quasi-isometry invariance.
Non-vanishing unitary cohomology of low-rank integral special linear groups
Institut für Mathematische Logik und Grundlagenforschung(数学逻辑与基础研究所);Universität Bonn, Mathematical Institute(波恩大学数学研究所);University of Oxford(牛津大学);Insitute of Mathematics, Polish Academy of Sciences(波兰科学院数学研究所)