Related papers: Walker's cancellation theorem
We apply small cancellation methods originating from group theory to investigate the structure of a quotient ring $\mathbb{Z}_2\mathcal{F} / \mathcal{I}$, where $\mathbb{Z}_2\mathcal{F}$ is the group algebra of the free group $\mathcal{F}$…
We develop a new method to deal with the Cancellation Conjecture of Zariski in different environments. We prove the conjecture for free associative algebras of rank two. We also produce a new proof of the conjecture for polynomial algebras…
The anomaly cancellation is at the basis of the perturbative consistence of the Standard Model and it provides a partial explanation of charge quantization. We consider an effective Electroweak theory on a lattice, with a quartic…
The Cauchy-Davenport theorem states that for any two nonempty subsets A and B of Z/pZ we have |A+B| >= min{p,|A|+|B|-1}, where A+B:={a+b (mod p) | a in A, b in B}. We generalize this result from Z/pZ to arbitrary finite (including…
We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…
We prove the following vanishing theorem. Let M be an irreducible symmetric space of noncompact type whose dimension exceeds 2 and $M\ne SO_0(2,2)/SO(2)\tm SO(2).$ Let E be any vector bundle over M, Then any E-valued $L^2$ harmonic 1-form…
We give a non-abelian analogue of Whitney's 2-isomorphism theorem for graphs. Whitney's theorem states that the cycle space determines a graph up to 2-isomorphism. Instead of considering the cycle space of a graph which is an abelian…
Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of…
We prove the A-theoretic Isomorphism Conjecture with coefficients and finite wreath products for solvable groups.
We reconsider the Adler-Bardeen theorem for the cancellation of gauge anomalies to all orders, when they vanish at one loop. Using the Batalin-Vilkovisky formalism and combining the dimensional-regularization technique with the…
Let $\A$ and $\B$ be operator algebras with $c_0$-isomorphic diagonals and let $\K$ denote the compact operators. We show that if $\A\otimes\K$ and $\B\otimes\K$ are isometrically isomorphic, then $\A$ and $\B$ are isometrically isomorphic.…
We explain and generalise a construction due to Gromov to realise geometric small cancellation groups over graphs of groups as fundamental groups of non-positively curved 2-dimensional complexes of groups. We then give conditions so that…
Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…
Goodwillie's rational isomorphism between relative algebraic K-theory and relative cyclic homology, together with the lambda decomposition of cyclic homology, illustrates the close relationships among algebraic K-theory, cyclic homology,…
We prove that if A is an infinite von Neumann algebra (i. e., the identity can be decomposed as a sum of a sequence of pairwise disjoint projections, all equivalent to the identity) then the cyclic cohomology of A vanishes. We show that the…
We prove Wise's $W$-cycles conjecture. Consider a compact graph $\Gamma'$ immering into another graph $\Gamma$. For any immersed cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$ from the circular components $\mathbb{S}$ of the…
The automorphism groups of certain factorial complex affine threefolds admitting locally trivial actions of the additive group are determined. As a consequence new counterexamples to a generalized cancellation problem are obtained.
We prove a version for mixed groups for a Fuchs' result about connections between the cancellation property of a group and the unit lifting property of its (Walk-)endomorphism rings.
Let S be a subsemigroup of an abelian torsion-free group G. If S is a positive cone of G, then all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic. Proved by Murphy, this statement…
A Coxeter group W is called reflection independent if its reflections are uniquely determined by W only, independently on the choice of the generating set. We give a new sufficient condition for the reflection independence, and examine this…