Related papers: An infinitely generated virtual cohomology group f…
We compute the Hochschild and Gerstenhaber-Schack cohomological dimensions of the universal cosovereign Hopf algebras, when the matrix of parameters is a generic asymmetry. Our main tools are considerations on the cohomologies of free…
We prove a new structural result for the spherical Tits building attached to SL_n(K) for many number fields K, and more generally for the fraction fields of many Dedekind domains O: the Steinberg module St_n(K) is generated by integral…
We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions over a dihedral group D_m, with m=4a> 11. We obtain this…
For a totally real number field $F$ and a nonarchimedean prime $\mathfrak{p}$ of $F$ lying above a prime number $p$ we introduce certain sheaf cohomology groups that intertwine the $\mathfrak{p}^{\infty}$-tower of a quaternionic Hilbert…
Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is…
We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first…
For a group G we consider the set of natural numbers n for which the nth cohomology functor of G commutes with filtered colimit systems of coefficient modules. We find that for the large class of hierarchically decomposable groups there is…
Our main result is to show that every infinite, countable, residually finite group $G$ admits a Hausdorff group topology which is neither discrete nor precompact.
We prove that the degree $r(2p-3)$ cohomology of any finite group of Lie type over $\mathbb{F}_{p^r}$, with coefficients in characteristic $p$, is nonzero as long as its Coxeter number is at most $p$. We do this by providing a simple…
Let $G$ be a locally semisimple ind-group, $P$ be a parabolic subgroup, and $E$ be a finite-dimensional $P$-module. We show that, under a certain condition on $E$, the nonzero cohomologies of the homogeneous vector bundle…
Let A be a commutative unital algebra over an algebraically closed field k of characteristic not equal to 2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let Q be a Hopf algebra…
We describe an essential improvement of our recent algorithm for computing cohomology of Lie (super)algebra based on partition of the whole cochain complex into minimal subcomplexes. We replace the arithmetic of rational numbers or integers…
We study nilpotent groups acting faithfully on complex algebraic varieties. We use a method of base change. For finite p-groups, we go from $k$, a number field, to a finite field in order to use counting lemmas. We show that a finite…
Let $k$ be a field. We characterize the group schemes $G$ over $k$, not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in…
We use geometry of Davis complex of a Coxeter group to prove the following result: if G is an infinite indecomposable Coxeter group and $H\subset G$ is a finite index reflection subgroup then the rank of H is not less than the rank of G.…
We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as…
Let $R$ be an excellent regular ring of dimension $d$ containing a field $K$ of characteristic zero. Let $I$ be an ideal in $R$. We show that $Ass \ H^{d-1}_I(R)$ is a finite set. As an application we show that if $I$ is an ideal of height…
Let $K$ be a number field with ring of integers $R = \mathcal{O}_K$. We show that if $R$ is not a principal ideal domain, then the symplectic group $\operatorname{Sp}_{2n}(R)$ has non-trivial rational cohomology in its virtual cohomological…
We construct a new family of infinite-dimensional quasi-graded Lie algebras on hyperelliptic curves. We show that constructed algebras possess infinite number of invariant functions and admit a decomposition into the direct sum of two…
We extend the decomposition conjecture to 2d quantum field theories with a gauged $\text{Rep}(H)$ symmetry category for $H$ a finite-dimensional semisimple Hopf algebra with $\text{Rep}(G)$ trivially-acting and $\text{Vec}(\Gamma)$ the…