Related papers: The adjunction problem over torsion-free groups

Recently, Cochran and Harvey defined torsion-free derived series of groups and proved an injectivity theorem on the associated torsion-free quotients. We show that there is a universal construction which extends such an injectivity theorem…

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…

We prove an interpolation result for homogeneous polynomials over the integers, or more generally for PIDs with finite residue fields. Previous proofs of this result use the well-known but nontrivial fact that class groups of rings of…

We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives…

The Resolution Theorem for Compact Abelian Groups is applied to show that the profinite subgroups of a finite-dimensional compact connected abelian group (protorus) which induce tori quotients comprise a lattice under intersection (meet)…

We prove a theorem relating the automorphism group of a Cartan geometry to the group on which the geometry is modeled: a component of the adjoint representation of the first embeds in the adjoint representation of the second. Consequences…

We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…

We develop a method to show that some (abstract) groups can be embedded into a free pro-$p$ group. In particular, we show that a finitely generated subgroup of a free $\mathbb Q$-group can be embedded into a free pro-$p$ group for almost…

Let H and K be quasiconvex subgroups of a negatively curved torsion-free group G. We give an algorithm which decides whether an element of H is conjugated in G to an element of K.

In the first part of this paper, we prove the existence of torsion free covers in the category of representations of quivers, $(Q,R-Mod)$, for a wide class of quivers included in the class of the so-called source injective representation…

A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…

We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic…

We prove a flat torus theorem for quadric complexes. In particular, we show that if a non-cyclic free abelian group $G$ acts metrically properly on a quadric complex $X$, then $G \cong \mathbb{Z}^2$ and $X$ contains a $G$-invariant…

We prove some vanishing and torsion-freeness results for higher direct images of adjoint pairs satisfying relative abundance and nefness conditions. These are applied to generic vanishing and weak positivity.

The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…

In this article we prove a generalization of Selberg's lemma on the existence of torsion free, finite index subgroups of arithmetic groups. Some of the geometric applications are the resolution a conjecture of Nimershiem and answers to…

We show that the Diophantine problem(decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively…

We provide some language for algebraic study of the mapping class groups for surfaces with non-connected boundary. As applications, we generalize our previous results on Dehn twists to any compact connected oriented surfaces with non-empty…

We prove a converse theorem for the multiplicative Borcherds lift for lattices of square-free level whose associated discriminant group is anisotropic. This can be seen as generalization of Bruinier's results in \cite{Br2}, which provides a…

We prove the torsion freeness of the decomposable Orlik--Solomon algebra of a simple matroid on ground set $[n]$. In the class of hypersolvable \& non-supersolvable complex hyperplane arrangements, the torsion freeness, in a certain degree,…