Related papers: Effectiveness of Walker's Cancellation Theorem

Valiant's Holant theorem is a powerful tool for algorithms and reductions for counting problems. It states that if two sets $\mathcal{F}$ and $\mathcal{G}$ of tensors (a.k.a. constraint functions or signatures) are related by a…

An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, \Omega^*) of X is isomorphic with the…

Let $M$ be the circle or a compact interval, and let $\alpha=k+\tau\ge1$ be a real number such that $k=\lfloor \alpha\rfloor$. We write $\mathrm{Diff}_+^{\alpha}(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives…

We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

Let W be an Iwahori-Weyl group of a connected reductive group G over a non-archimedean local field. I prove that if w is an element of W that does not act on the corresponding apartment of G by a translation then one can apply to w a…

For locally compact groups G and H let A(G) denote the Fourier algebra of G and B(H) the Fourier-Stieltjes algebra of H. Any continuous piecewise affine map alpha:Y -> G (where Y is an element of the open coset ring of H) induces a…

We consider a finitely generated virtually abelian group $G$ acting properly and without inversions on a CAT(0) cube complex $X$. We prove that $G$ stabilizes a finite dimensional CAT(0) subcomplex $Y \subseteq X$ that is isometrically…

Let $k$ be a field of arbitrary characteristic. Nakai (1978) proved a structure theorem for $k$-domains admitting a nontrivial locally finite iterative higher derivation when $k$ is algebraically closed. In this paper, we generalize Nakai's…

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

We prove that the $K$-group of reciprocity functors, defined by F. Ivorra and the first author, vanishes over a perfect field as soon as one of the reciprocity functors is $\mathbb{G}_a$ and one is an abelian variety.

In this thesis, we investigate the proof of the Baum-Connes Conjecture with Coefficients for a-$T$-menable groups. We will mostly and essentially follow the argument employed by N. Higson and G. Kasparov in the paper [Nigel Higson and…

This paper is a new contribution to the partial Galois theory of groups. First, given a unital partial action $\alpha_G$ of a finite group $G$ on an algebra $S$ such that $S$ is an $\alpha_G$-partial Galois extension of $S^{\alpha_G}$ and a…

The famous theorem of It\^{o} in group theory states that if a group $G=HK$ is the product of two abelian subgroups $H$ and $K$, then $G$ is metabelian. We shall generalize this to the setting of a skew brace $(A,{\cdot\,},\circ)$. Our main…

The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very…

An $S$-ring (Schur ring) is called separable with respect to a class of $S$-rings $\mathcal{K}$ if it is determined up to isomorphism in $\mathcal{K}$ only by the tensor of its structure constants. An abelian group is said to be separable…

Graph homomorphism has been an important research topic since its introduction [17]. Stated in the language of binary relational structures in that paper [17], Lov\'asz proved a fundamental theorem that, for a graph $H$ given by its $0$-$1$…

In this paper we define countable-configuration of groups and prove that two Hopfian groups with the same set of countable-configurations are isomorphic and vice versa. We also study the countable paradoxical decomposition of groups. It is…

In a recent preprint, Gullerud and Walker [2] proved a theorem and made a conjecture about the correctness of efficiently generating B\'ezout trees for Pythagorean pairs. In this note, we give a simple proof of their theorem, confirm that…

Let A be a basic connected finite dimensional algebra over an algebraically closed field, let G be a group, let T be a basic tilting A-module and let B the endomorphism algebra of T. Under a hypothesis on T, we establish a correspondence…