Related papers: Vanishing of l^2-cohomology as a computational pro…

The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test…

We study the Diophantine problem (decidability of finite systems of equations) in different classes of finitely generated solvable groups (nilpotent, polycyclic, metabelian, free solvable, etc), which satisfy some natural…

We study surface representatives of homology classes of finite complexes which minimize certain complexity measures, including its genus and Euler characteristic. Our main result is that up to surgery at nullhomotopic curves minimizers are…

We prove that a finitely generated virtually RFRS group of cohomological dimension at most $2$ is coherent if and only if its second $L^{2}$-Betti number vanishes if and only if it is virtually free-by-cyclic. The non-vanishing of the…

We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that $\mathrm{K} \mathbb{Q} \cong \mathbb{Z}[T]/(T^2 + T)$ and $\mathrm{K} \mathbb{Z} =0$, but surprisingly little is known…

Cohomology operations (including the cohomology ring) of a geometric object are finer algebraic invariants than the homology of it. In the literature, there exist various algorithms for computing the homology groups of simplicial complexes…

We prove that the general quartic double solid with $k\leq 7$ nodes does not admit a Chow theoretic decomposition of the diagonal, or equivalently has a nontrivial universal ${\rm CH}_0$ group. The same holds if we replace in this statement…

It is known that the second Leibniz homology group $HL_2(stl_n(R))$ of the Steinberg Leibniz algebra $stl_n(R)$ is trivial for $n\geq 5$. In this paper, we determine $HL_2(stl_n(R))$ explicitly (which are shown to be not necessarily…

We construct finite free resolutions of Z over ZG, where G is the fundamental group of a surface distinct from S^2 and RP^2, and define diagonal approximations for these resolutions. We then procceed to give some possible applications that…

We describe the second homotopy group of any CW-complex $K$ by analyzing the universal cover of a locally finite model of $K$ using the notion of $G$-coloring of a partially ordered set. As applications we prove a generalization of the…

Counterexamples to the Modular Isomorphism Problem were discovered recently. These are non-isomorphic finite $2$-groups $G$ and $H$ that have isomorphic group algebras over the field $\mathbb{Z}/2\mathbb{Z}$ and non-isomorphic group…

In this paper we consider the asymptotic behavior of invariants such as Betti numbers, minimal numbers of generators of singular homology, the order of the torsion subgroup of singular homology, and torsion invariants. We will show that all…

It is conjectured by de Jong that, if $X$ is a connected smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial \'etale fundamental group, any isocrystal on on $X/W$ is trivial. We prove this…

Given a complex manifold containing a relatively compact $Z(q)$ domain, we give sufficient geometric conditions on the domain so that its $L^2$-cohomology in degree $(p,q)$ (known to be finite dimensional) vanishes. The condition consists…

We prove that the word problem for the infinite cyclic group is not EDT0L, and obtain as a corollary that a finitely generated group with EDT0L word problem must be torsion. In addition, we show that the property of having an EDT0L word…

The paper deals with the cohomological invariants of smooth and connected linear algebraic groups over an arbitrary field. More precisely, we study degree $2$ invariants with coefficients $\mathbb{Q}/\mathbb{Z}(1)$, that is invariants…

For each prime p, we exhibit pairs of p-groups all of whose integral cohomology groups are isomorphic. The method used involves very little calculation. The groups are exhibited as kernels of homomorphisms from a compact Lie group G to…

We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and…

We show that the category of Lie triple systems is equivalent to the category of Lie algebras graded by Z/(2Z) such that the odd component generates the algbera and the second graded cohomology group coefficients in any trivial module is…

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…