Related papers: The third Milgram-Priddy class lifts
By considering the Bredon analogue of complete cohomology of a group, we show that every group in the class $\LHFF$ of type Bredon-$\FP_\infty$ admits a finite dimensional model for $\EFG$. We also show that abelian-by-infinite cyclic…
This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…
We extend our previous work by building a smooth complete manifold $(M^6,g,p)$ with $\mathrm{Ric}\geq 0$ and whose fundamental group $\pi_1(M^6)=\mathbb{Q}/\mathbb{Z}$ is infinitely generated. The example is built with a variety of…
Computations based on explicit 4-periodic resolutions are given for the cohomology of the finite groups G known to act freely on S^3, as well as the cohomology rings of the associated 3-manifolds (spherical space forms) M = S^3/G. Chain…
We completely calculate the $RO(G)$-graded coefficients of ordinary equivariant cohomology where $G$ is the dihedral group of order $2p$ for a prime $p>2$ both with constant and Burnside ring coefficients. The authors first proved it for…
Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring…
We study homology and cohomology of triassociative algebras with non-trivial coefficients.
This paper is concerned with absolutely irreducible quasisimple subgroups $G$ of a finite general linear group $GL_d(\mathbb{F}_q)$ for which some element $g\in G$ of prime order $r$, in its action on the natural module…
Let G be a closed subgroup of the isometry group of a proper CAT(0)-space X. We show that if G is non-elementary and contains a rank-one element then its second bounded cohomology group with coefficients in the regular representation is…
We show a Prime Geodesic Theorem for the group SL3(Z), counting those geodesics whose lifts lie in the split Cartan subgroup. This is the first arithmetic Prime Geodesic Theorem of higher rank for a non-cocompact group.
We show that mod $2$ cohomological invariants of the moduli stack $\mathscr{M}_{3,n}$ of smooth pointed curves of genus three contain a free module with generators in degree $0$, $2$, $3$, $4$ and $6$, formed by the invariants of the…
A finite group $G$ is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class $[c]\in H^2(G,\C^*)$ ($G$ acts trivially on $\C^*$). Groups of central type play a fundamental role in the classification of…
We show that most of the genus-zero subgroups of the braid group $\mathbb{B}_3$ (which are roughly the braid monodromy groups of the trigonal curves on the Hirzebruch surfaces) are irrelevant as far as the Alexander invariant is concerned:…
We classify the bireflections (products of 2 involutions) in the commutator subgroup G an orthogonal group O(V) over a finite field GF(q) of characteristic not 2. We show that every element of G is a bireflection if it is reversible…
We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_{\omega}$. We also prove that the set of primitive elements in finite rank free groups is not uniformly…
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…
For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the…
We consider the finite generation property for cohomology algebra of pointed finite tensor categories via de-equivariantization and exact sequence of finite tensor categories. As a result, we prove that all coradically graded pointed finite…
Let p be a prime. We prove that if a finite group G has non-abelian Sylow p-subgroups, and the class size of every p-element in G is coprime to p; then G contains a simple group as a subquotient which exhibits the same property. In addition…
We determine and classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradicals are isomorphic to dual Radford algebras of dimension $4p$ for a prime $p>5$. In particular, we…