Related papers: A cancellation theorem for modules over integral g…

We show that it is impossible to algorithmically decide if the l^2-cohomology of the universal cover of a finite CW complex is trivial, even if we only consider complexes whose fundamental group is equal to the elementary amenable group…

Testing isomorphism of infinite groups is a classical topic, but from the complexity theory viewpoint, few results are known. S{\'e}nizergues and the fifth author (ICALP2018) proved that the isomorphism problem for virtually free groups is…

We work in the density model of random groups. We prove that they satisfy an isoperimetric inequality with sharp constant $1-2d$ depending upon the density parameter $d$. This implies in particular a property generalizing the ordinary $C'$…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

The integral group ring $\mathbb{Z} G$ of a group $G$ has only trivial central units, if the only central units of $\mathbb{Z} G$ are $\pm z$ for $z$ in the center of $G$. We show that the order of a finite solvable group $G$ with this…

We develop the theory of fragile words by introducing the concept of eraser morphism and extending the concept to more general contexts such as (free) inverse monoids. We characterize the image of the eraser morphism in the free group case,…

We investigate the "theta-deformed spheres" C(S^{3}_{theta}) and C(S^{4}_{theta}), where theta is any real number. We show that all finitely-generated projective modules over C(S^{3}_{theta}) are free, and that C(S^{4}_{theta}) has the…

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

Let A be a ring of dimension d and let P be a projective A-module of rank d. We prove that if for every finite extension R of A, R^d is cancellative, then P is cancellative. This gives an alternate proof of Bhatwadekar's result: every…

Let $F$ be a finitely generated free group and let $H\le F$ be a finitely generated subgroup. Given an element $g\in F$, we study the ideal $\mathfrak{I}_g$ of equations for $g$ with coefficients in $H$, i.e. the elements $w(x)\in H*\langle…

Let $k$ be a division ring and let $G$ be either a torsion-free virtually compact special group or a finitely generated torsion-free $3$-manifold group. We embed the group algebra $kG$ in a division ring and prove that the embedding is…

We have proved the following Problem:{\it Let $R$ be a $\mathbb{C}$-affine domain, let $T$ be an element in $R \setminus \mathbb{C}$ and let $i : \mathbb{C}[T] \hookrightarrow R$ be the inclusion. Assume that $R/TR \cong_{\mathbb{C}}…

In this note we prove the following results: $\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists…

We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…

Cayley's theorem tells us that all groups $\mathbf{G}$ occur as subgroups of the group of automorphisms over some set $X$. In this paper we consider a `sort-of' converse to this question: given a set $X$ and some transformation group…

We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an…

We develop two approaches to obstruction theory for deformations of derived isomorphism classes of complexes $Z^\bullet$ of modules for a profinite group $G$ over a complete local Noetherian ring $A$ of positive residue characteristic…

We fix a path model for the space of filters of the inverse semigroup $\mathcal{S}_\Lambda$ associated to a left cancellative small category $\Lambda$. Then, we compute its tight groupoid, thus giving a representation of its $C^*$-algebra…

Let $A$ be an $\mathbf{E}_{\infty}$-ring spectrum over the rational numbers. If $A$ satisfies a noetherian condition on its homotopy groups $\pi_*(A)$, we construct a collection of $\mathbf{E}_{\infty}$-$A$-algebras that realize on homotopy…

Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our…