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

Complex braid groups are the natural generalizations of braid groups associated to arbitrary (finite) complex reflection groups. We investigate several methods for computing the homology of these groups. In particular, we get the Poincar\'e…

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0,…

We show that for two afii varieties over an arbitrary field of characteristic zero, there is no general form of an algorithm for checking the presence of an embedding of one algebraic variety in another. Moreover, we establish this for…

We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation…

Group languages are regular languages recognized by finite groups, or equivalently by finite automata in which each letter induces a permutation on the set of states. We investigate the separation problem for this class of languages: given…

Irreducible representations of quantum groups $SL_q(2)$ (in Woronowicz' approach) were classified in J.Wang, B.Parshall, Memoirs AMS 439 in the~case of $q$ being an~odd root of unity. Here we find the~irreducible representations for all…

Let F be a finite field and l a prime not equal to the characteristic of F. Let K be the function field of a surface over F. Assume that K contains a primitive lth root of unity. In the paper we prove a certain local-global principle for…

In Grauert's paper [G] it is noted that finite dimensionality of cohomology groups sometimes implies vanishing of these cohomomogy groups. Later on Laufer formulated a zero or infinity law for the cohomology groups of domains in Stein…

We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more…

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…

We prove that there is no consistent polynomial quantization of the coordinate ring of a basic non-nilpotent coadjoint orbit of a semisimple Lie group.

A referee found an error in the proof of the Theorem 2 that we could not fix. More precisely, the proof of Lemma 2.1 is incorrect. Hence the fact that integer cohomology of complement of toric Weyl arrangements is torsion free is still a…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

Over a field of characteristic zero, every deformation problem with cohomology constraints is controlled by a pair consisting of a differential graded Lie algebra together with a module. Unfortunately, these pairs are usually…

Foundational results in theoretical computer science have established that everything provable, is provable in zero knowledge. However, this assertion fundamentally assumes a classical interpretation of computation and many interesting…

A long standing problem, which has its roots in low-dimensional homotopy theory, is to classify all finite groups $G$ for which the integral group ring $\mathbb{Z}G$ has stably free cancellation (SFC). We extend results of R. G. Swan by…

A covering system of the integers is a finite collection of modular residue classes $\{a_m \bmod{m}\}_{m \in S}$ whose union is all integers. Given a finite set $S$ of moduli, it is often difficult to tell whether there is a choice of…

Let A be a basic connected finite dimensional algebra over an algebraically closed field k. Assuming that A is monomial and that the ordinary quiver Q of A has no oriented cycle and no multiple arrows, we prove that A admits a universal…

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…